系统近似建模技术的研究与比较

对于大系统的优化,子系统由于分析模型计算复杂而大量采用近似模型代替与优化。常用的近似建模技术有响应面模型(RS)、计算机试验设计与分析模型(DACE)和神经网络中的误差后向传播模型(BP)。拟对以上三种近似建模技术进行了比较研究,简要阐述了三种近似建模技术的理论基础,并应用实例分别进行了考核。在各近似模型的近似精度和计算费用等方面进行了初步探讨与研究。     

高性能面向对象场景图系统

描述了一种高性能场景图系统的设计与实现。主要的设计目的是使三维图形应用开发者从繁琐的低级API(如OpenGL)中解放出来并获得最高的图形性能。该系统可以工作在Windows和各种UNIX变体(如IRIX、Linux等)操作系统上，主要的目标操作系统是Windows，主要针对低端(单处理器)硬件平台(如个人电脑)。应用范围包括视景仿真、虚拟现实、科学可视化、临场感娱乐及其他实时三维图形应用。     

具有紧急消息的航电总线Petri网建模与性能分析

在航空电子综合化系统的设计过程中，总线系统的性能指标与整个航电系统的总体指标有着密切的关系。给出了一套完整的基于确定与随机Petri网的综合航电总线系统的性能评价的模型和算法。通过对总线系统的确定与随机Petri网模型的求解，给出了具有紧急消息的总线系统的两个重要性能指标总线负载、延迟时间，通过对性能曲线的分析，可以为综合航电系统的设计和完善提供重要的理论依据。     

分布式被动传感器网异步采样下的机动目标跟踪

针对分布式被动传感器网的特点，提出了一种异步采样条件下机动目标跟踪方法。该方法采用交互式多模型概率数据互联滤波器跟踪机动目标。为启动滤波器，采用最大似然法估计目标初始状态；为适应异步观测条件，提出了马尔可夫转移概率计算方法。仿真实验表明，在分布式被动传感器网中采用该算法能有效进行机动目标跟踪。     

一类多关节机器人系统的模糊滑模控制算法仿真

针对具有参数不确定性的多关节机器人动力学系统，提出了一种基于模糊逻辑的滑模控制方案。该方案采用模糊滑模跟踪控制设计，柔化了控制信号，减轻了一般滑模控制的抖振现象。利用李亚普诺夫定理证明了闭环模糊控制系统的稳定性和跟踪误差、控制信号的有界性。仿真结果表明了所提出的控制策略是有效的。     

基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

基于CPN建模技术的研究

Coloured Petri Nets(CPN) 是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法.     

基于Petri网下的哲学家就餐问题的模拟与验证

哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.     

基于Petri网的防空C3I决策系统的建模分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型.并引入了决策时延这一反映指挥决策系统能力的重要指标.对提高C3I决策系统的实时性和准确性做了初步的探讨,证明了建立有色Petri网模型后,有效地提高了C3I决策系统决策的实时性和有效性.