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

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

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

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

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

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

一种用于热校准风洞的数据采集系统集成及软件设计

简要介绍了研华ＡＤＡＭ４０００系列模块的性能及其特点,并详细阐述了利用该系列模块组成一种用于热校准风洞的数据采集秕 及ＬＡＢＴＥＣＨＣＯＴＲＯＬ组态软件包在整个中的应用。     

计算机辅助质量控制图的应用

在现场利用控制图监控生产过程,调查生产过程的状态,了解工序能力是否适宜,实现了预防为主的思想.如果用手工对控制图进行设计和准则判断非常麻烦,难以在实际生产中推广应用.利用计算机辅助控制图,具有准确、方便、直观和快捷的特点.作者设计和开发了"质量控制模拟系统"软件,该软件适用于操作者在现场对生产状态进行分析和判断,及时预防和控制生产过程,也可作为一种有效的辅助教学软件.      

一种新的能量谱-熵图像聚焦评价函数

针对计算机视觉中图像聚焦评价函数的选择与设计问题,首先对图像聚焦评价函数的基本概念和特征进行了讨论,然后对目前几种主要的图像聚焦评价函数(灰度变化函数、梯度函数、图像灰度熵函数、频域类函数)进行了分析.在此基础之上提出了一种新的能量谱-熵函数评价方法,并且给出了相应的计算公式.该函数的理论依据较之目前常用的评价函数更为充分,最后给出了与其它几种主要评价函数的实验对比结果,证明了能量谱-熵函数比其它评价函数在评价图像聚焦质量方面更为准确、稳定和可靠.      

多线程网络编程在全数字仿真平台中的应用

目前常用的硬件仿真测试平台存在很多不足之处 ,而全数字仿真平台很好地解决了这个问题。本文结合神舟 5号软件测试的“全数字仿真平台”实际研制工作 ,对在VisualC++6 0环境下如何使用多线程进行网络编程作了详细介绍。     

大挠性多体卫星的自抗扰姿态控制系统设计

研究了最近提出的非线性自抗扰控制器 (ADRC)在大挠性多体卫星姿态控制中的应用问题。提出了一种双闭环自抗扰姿态控制器 (ADRAC) ,并从鲁棒性、干扰抑制、动静态性能指标和振动抑制等方面与使用于某挠性卫星的传统PID控制器进行了比较。在考虑了反作用轮和敏感器的实际非线性和敏感器噪声的影响情况下进行了仿真 ,结果表明 ,双闭环自抗扰姿态控制器各方面性能均优于传统的PID。本文提出的自抗扰姿态控制器 ,对实现挠性多体卫星的高精度高稳定度姿态控制 ,具有实际的应用价值     

逆变器并联系统直流环流检测与抑制方法

运算放大器的零点漂移、逆变桥功率开关管的特性不一致等原因会使逆变器输出交流电压中含有直流分量。对于无输出隔离变压器的逆变器并联系统，各模块输出电压直流分量不一致会在模块间产生较大的直流环流。针对这一问题，本研究了逆变器并联系统直流环流检测和抑制方法，通过对逆变器基准正弦波直流分量的高精度数字调节，相应调节逆变器输出电压直流分量以抑制直流环流。试验结果证明，本的直流环流检测与抑制方法对逆变器并联系统直流环流有较好的抑制效果。     

基于飞机壁板特征的扫描路径生成方法研究

为解决航空制造业数字化测量过程中复杂零部件不能完整测量的问题,提出了一种基于特征识别的飞机零部件扫描路径生成方法。对于一个飞机零部件的数字模型,本文的目标是对其中存在的槽特征、筋特征给出若干条扫描路径,使持有扫描仪的机械臂能沿此路径对该零部件的各类特征进行完整精细地扫描。本文采用区域分割的方法对各类特征进行分割和提取。考虑到槽、筋等特征中不易被扫描到的区域均为和扫描方向近似垂直特征面,在对模型进行区域分割之后,将这些特征面进行提取,作为后续处理的基础。扫描路径的规划主要是通过分析提取出的特征面来进行的:将每个特征面投影到一个二维平面内,并在二维空间内对该特征面生成一条合适的扫描路径,将该路径投影返回三维后,对其沿着一定角度进行偏置,得到了最终的三维扫描路径。实验结果显示,本文提出的方法能够准确地生成飞机零部件数字模型的扫描路径,适用于航空制造业的实际数字化测量过程。