基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

巨峰葡萄胚培养技术的研究

选用巨峰葡萄在花后35～60 d,取其胚接种在含有GA3I、AA、6-BA的不同激素水平MS培养基上进行胚挽救,以研究葡萄的幼胚培养技术.结果表明,巨峰葡萄在花后60 d效果最好.在附加GA30.5 mg/LI、AA1.0 mg/L、6-BA0.5 mg/L的最佳培养基上得到了(76.0±16.7)%的发育率和(69.1±13.1)%的成苗率.     

郑州市水资源开发利用评价及前景分析

采用对比分析方法,分析郑州市水资源开发利用现状,说明郑州市水资源开发利用程度、开发问题和潜力,论证郑州市属于资源缺水型城市,并对今后郑州市水资源的开发利用情况及趋势进行分析,提出一些解决郑州市水问题的途径和方法.     

煤矿环境中人体ESD模型

在有瓦斯的煤矿环境中,井下工作人员等效于移动的孤立静电导体,人体静电比井下器材静电更具有隐蔽性、偶发性、危险性.本文通过实验确定能代表煤矿特殊环境中的人体电容、人体电阻,建立煤矿环境中的人体ESD物理模型,为制定煤矿人体静电安全标准提供实验依据.     

车辆电容称重传感器静态标定

针对传统车辆称重装置存在的不足,开发了一种车辆电容称重传感器.文章中从结构设计、称重原理对车辆电容称重传感器作了介绍,重点讨论了静态标定过程,根据试验数据,从非线性、重复性、迟滞性等方面进行了误差分析,给出了补偿办法.     

信息系统开发的并行工程方法

叙述了并行工程的概念和特点 ,并且将并行工程的原理应用于信息系统开发过程 ,提出了信息系统开发的生命周期、信息系统开发的上游工程和下游工程等概念 ,并以一具体开发实例说明这种方法的优点 .     

Petri网建模工具的面向对象设计

Petri网建模环境的开发有利于Petri网应用理论的验证和实现。介绍一个Petri网建模工具的面向对象设计方法 ,并且主要给出了该建模工具的结构组成、建模工具条、Petri网图形元素的构造方法以及Petri网点火机制的计算机实现方法。成果为基于Petri网的系统分析方法的研究提供了一个灵活可用的辅助工具。     

钻柱、钻头与岩石系统计算机仿真

国内外在研究钻柱振动时都把钻柱下端当作铰支,假设激振源为周期性的,偏离实际。本文从建立符合实际的下端边界条件入手,着重研究了钻柱的纵向振动。用有限单元法,求出整体质量、整体刚度,整体阻尼矩阵采用的是比例阻尼矩阵,利用牛顿法得到钻柱的振动方程,另外通过钻头与岩石的相互作用模型得到了真实的钻柱下端边界条件,并利用Ｈｏｕｂｏｌｔ软件,并进行了大量仿真实验,通过对实验结果分析得到了有意义的结论。     

分布式虚拟环境中虚拟人运动的表示

网络虚拟环境中虚拟人的运动表示与交通工具的运动表示具有完全不同的特点。对此 ,本文提出了一种运动表示法 ,以运动信息的形式表达人体所有关节的变化结果 ,并采用信息包的方式在网上传送 ,可以有效地降低维持虚拟人逼真运动所需要的最小信息传送数量     

A Modeling and Decision Making Based on Evolution

1　ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｒｅａｒｅｍａｎｙｄｉｆｆｉｃｕｌｔｉｅｓｉｎｑｕａｎｔｉｔａｔｉｖｅｒｅｓｅａｒｃｈｆｏｒｓｕｓｔａｉｎａｂｌｅｄｅｖｅｌｏｐｍｅｎｔｓｙｓｔｅｍ .Ｓｕｓ ｔａｉｎａｂｌｅｄｅｖｅｌｏｐｍｅｎｔｓｙｓｔｅｍｃｏｎｓｉｓｔｓｏｆａｎｕｍｂｅｒｏｆｓｕｂｓｙｓｔｅｍｓｔｈａｔａｒｅｉｎｔｅｒａｃｔｉｖｅｅａｃｈｏｔｈｅｒ ,ｗｈｉｃｈｉｓｎｏｎｌｉｎｅａｒａｎｄｌｏｎｇ ｔｅｒｍ .Ｉｔｓｏｂｊｅｃｔｓａｎｄｃｏｎｄｉｔｉｏｎｓａｒｅｅｎｔａｎｇｌｅｍｅｎｔｗｉｔｈｍａ…