利用Pi演算实现对服务交互流程的设计

Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现模型描述;后者利用Pi演算的通道移动性,即以名字的传递作为交互信息传递方式来实现对动态交互流程的分析与设计。     

井孔抽水试验参数自动监测仪数据处理软件

介绍了监测仪的主要组成和功能;设计并实现了监测仪软件的数据接收、处理以及S-T和Q-T曲线的显示和打印。     

可伸缩矢量图形(SVG)

SVG是由W3C制定的用矢量描述图形的XML应用标准.他具有可扩充性、动态的、可交互性等优点.SVG支持复杂的事件处理能力,并可以嵌入在XHTML文档中,生成充分集成的高质量的Web页面.介绍了SVG的概念和特点,并描述了SVG文档的基本结构以及基本的SVG形状,最后给出了在XHTML中嵌入SVG文件的方法以及一个完整的文档实例.