一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.      

纵浪大化中不喜亦不惧——记长征三号甲系列火箭总指挥岑拯

湖北浠水一个环境优美的小山村，纯朴的民风，孕育了岑拯质朴的性格，虽然告别那里已多年，在山外的世界历练多年，但与他相识的人依然能感觉到在他高大俊朗的外表下，他那质朴无华的本性，而正是那份质朴无华的本性使他无论是从事什么工作，身处何地能都脚踏实地，踏踏实实的工作作风，也正是那份质朴无华的本性，使他在担任长征三号甲系列火箭总指挥后，也能够以一份平和的心态面对一切困难和荣誉。     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

网壳结构在飞机洞库口部伪装中的应用研究

随着现代战争中打击样式和精度的不断提升,单纯依靠提升工程结构强度已经不能完全满足军事工程在战场中的生存需要.飞机洞库作为重要的军事设施,其战场生存能力好坏直接关系着战时我军战斗力能否正常发挥.因此对该目标进行有效的伪装便成为不可忽视的手段之一.然而我军现有的飞机洞库存在许多问题,无法满足现代战争反侦察的需要.本文正是针对该设施的主要暴露征候的特点,结合网壳结构的结构优势,将其应用于洞库伪装中来,并对中小型飞机洞库口部实施工程伪装的结构方案进行了可行性研究.选用异型网壳作为承重结构,应用3DSMAX和AUTOCAD程序建模,并用有限元分析软件ANSYS作了静力计算及稳定性分析,结果表明该结构方案可行.     

基于Euler方程的三维自适应笛卡尔网格应用研究

本文采用非结构自适应笛卡尔网格和有限体积法求解了三维Euler方程。在网格生成过程中，采用了基于模型几何数据、模型表面曲率和流场特征为基础的网格自适应生成及加密方法，采用模型特征恢复技术保证了计算模型与原始外形的一致。在计算中，将以中心差分为基础的Jameson有限体积法在三维笛卡尔网格中进行了推广。本文中对导弹、歼击机等复杂问题进行了数值实验，计算结果与风洞实验结果符合良好，并在工程实际中成功应用。     

基于面向对象PETRI网的移动式Agent系统

 为了简化移动式Agent 的设计和实现,描述了以OOPN 为建模语言,建立移动式Agent 系统的基本原理。该系统提供了可视化系统建模、死锁检测和实际的系统运作功能。首先介绍OOPN 的基本概念和Agent 编程工具Aglets,在此基础上介绍如何通过OOPN 建模来生成移动式Agent 系统的具体实现机制,包括Agent 的远程创建和动态部署。最后通过生产者—消费者实例来说明整个系统的执行过程。     

欧空局深空网的现状和发展趋势

随着深空任务的发展 ,欧空局 (ESA)正在建设自己的全球深空网。该网主要由欧洲航天操作中心和三个深空地面站组成 ,其中位于澳大利亚珀斯附近的新诺舍 35m深空站已投入使用 ,位于西班牙马德里附近的塞布里洛斯深空站将于 2 0 0 5年初建成。欧空局正为在经度相隔 12 0°左右的地方建设第三个深空地面站选点。三个站的性能指标基本相同。本文介绍了欧洲航天操作中心和新诺舍 35m深空站的组成、功能及技术指标