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

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

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

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

太阳帆板平面度测量系统

介绍了一种采用斜光学三角形测量结构和基于虚拟精密测量基准的太阳帆板平面度无接触测量系统.首次提出斜光学三角形测量结构,使得测量系统的测量面积和分辨率大大提高,从而实现了对大面积平面平面度的高精度无接触测量.提出的虚拟精密基准的建模与误差补偿技术,解决了在非精密基准上实现精密测量这一难题,使得所研制的测量系统利用现有平台可实现对太阳帆板平面度的高精度测量.此外,对测量光斑位置估值精度与光斑图像尺寸大小和能量分布之间的定量关系进行了分析,为激光光斑的优化设计提供了理论依据.实际测量结果表明,该测量系统对面积为2581mm×1755mm太阳帆板的平面度测量精度达0.02mm(RMS).     

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

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(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强大的描述和分析能力.      

导弹总体设计参数优选的一种技术

本文讨论导弹总体设计参数的优选问题。通过实例,讨论了正交设计和逐次撒网登高相结合的优选方法的应用。结果表明,本文提供的方法计算量小,效率高,简便实用。     

散乱点曲面测量造型技术及其在飞机曲面工装模具设计与制造中的应用研究

 分析研究了利用坐标测量机进行曲面模具数控测量的有关理论和方法。提出了一种基于测量规划、散乱点三角划分和采用Ｂｅｚｉｅｒ三角形插值曲面重建曲面模具实物数学模型的方法。目前，这种重建实物数学模型的方法已经在复杂曲面模具散乱点测量、几何造型和数控加工系统３ＭＳ中得到了应用，较好地解决了航空、航天及汽车工业中一类构型十分复杂、形状和边界极不规则曲面产品的设计与制造     

雷电防护技术在靶场测控网中的应用

介绍在靶场测控网中如何采用现代综合防雷技术和措施 ,解决靶场测控网免遭雷击的问题     

运输网络的最短有向路Petri网仿真算法

随着对综合交通体系和智能交通研究的逐步深入,发现必须解决运输需求和运输网络分析的技术问题。在已有的方法中,只有对有向网络有比较成熟的理论和方法,然而,运输网络却是无向的。本文内容是论述如何借助于Petri网论和Petri网图计算机仿真将无向交通运输网络转换为Petri网表示的有向图,并同时求出相应的运输网络中OD（起点终点）对的最短有向路径及路长。本文以图的形式给出Petri网的定义,通过导入“时间Place”和“标记”的附加描述,使Petri网成为扩充的Petri网（EPN）。定义Petri网图仿真器的运行规则和步骤,用Petri网图仿真器、自动将无向运输网络转换成EPN模型,然后自动求出相应的最短有向路径和路长。通过显示、打印或电信号,为用户提供信真报告或电信号。     

研究计划管理系统的Petri网论法

本文以图的形式给出Petri网的定义;通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);用EPN模拟计划管理系统,用EPN仿真器构画计划管理系统的图模型、求系统的时间参数、进行系统的优化。     

面向可重构制造系统的设备建模

可重构制造系统的建模是分析和控制可重构制造系统的关键技术，而可重构制造系统中的设备建模是可重构制造系统建模的基础。本文提出面向可重构制造系统的设备的赋时面向对象Petri网模型，并通过实例研究证实了其正确性。面向可重构制造系统的设备的赋时面向对象Petri网模型能够表示可重构制造系统重构前后设备的作业安排的变化情况．因此它是可重构制造系统中设备的正确的形式化表示。