基于Web Services的分布式储层建模系统的设计与实现

针对目前普遍使用的单机版储层建模软件的不足，提出了一个分布式储层建模系统。基于Web Services技术，给出了其基于Web Services的体系架构设计、业务处理逻辑设计、各处理单元的功能设计及系统的实现模型。该系统能够弥补单机版储层建模软件在海量数据处理、与异构系统的数据共享等方面的不足。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

同步协同设计关键问题与解决方法

针对同步协同存在的协同实时性差、协同方式受限、协同冲突问题突出、无法实现跨平台的协同等4个瓶颈问题，提出了基于图象的同步协同策略，论述了采用这一策略解决以上问题的原理，并介绍了具体的实现方法．     

水力过渡过程计算软件的可视化输入系统

在利用水力过渡过程计算软件预测管网系统中水锤的大小时,管网的建模和参数输入都是在非可视化环境中进行的,不但效率低下而且修改困难.采用面向对象的思想,结合工程实际,设计了水力过渡过程计算软件的可视化输入系统.该系统实现了管网建模和参数输入的可视化,既能满足工程约束条件,又能够高效完成管网建模,大大提高了管网系统水力过渡过程分析计算的效率。     

协同设计技术应用研究

本文介绍了协同设计的内涵、特点和关键技术，分析了协同设计的体系结构和基本功能模块。重点阐述了几种协同工作技术的内涵和应用．并对其进行了分析和比较．强调应根据不同目的选取不同的协同技术．最后提出了协同设计研究和应用方面几个值得思考的问题。     

面向表单的分析：一种基于表单的应用程序模型的新方法

在软件工程中，企业系统最为吸引人也是最为需求的。本书对企业系统建模作概念性的介绍和全面地综述。提出了分析与设计基于表单的企业系统的一种特殊目的建模技术。对特殊领域建模语言一直存在着强烈的需求。本书的作者来自科学家和对此类商业应用程序有兴趣的专业人员，他们以一种创新的方法修改了已被广泛接受的基本建模技术，实现对所需应用程序领域建模框架的优化。     

远程军事理论训练系统中的UML建模

基于UML，利用建模工具Rational Rose建立系统模型，开发了适合军队开展军事理论训练与考核的网上训练系统，取得了较好的效果．     

企业整体式模式在航天高科技企业的应用

针对航天高科技企业技术综合性和系统集成性强,知识密集性和技术密集性程度高,并处于特殊的军工行业,在产业方面具有经营的非均衡性和技术驱动性的特点,提出利用企业整体式模式理论,建构航天高科技企业整体式模式,对该模式的作用机理、目标、主要内容、构建过程及效果进行了系统的分析。阐明了运用整体观点进行整合管理,在提高企业协调能力和适应能力上的优越性。