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

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

基于CPN建模技术的研究

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

舰船目标雷达回波特征信号的建模与仿真

目标建模与特征信号仿真是雷达对目标进行探测与识别的重要前提和基础。针对宽带条件下大型舰船目标的雷达特征信号难以进行实测和缩比测量的难点，采用面元法对目标的雷达散射截面（RCS）进行了有效的预估，通过多频点RCS成像方法获得目标的一维距离像特征信号。给出了具体建模和仿真计算的实例，并进行了详尽的结果分析。     

质子交换膜燃料电池建模与稳态分析

对质子交换膜燃料电池（PEMFC）电堆进行电输出特性研究，有助于改善燃料电池的设计，提高其性能。通过所建立的电堆参数模型，就能够研究主要运行参变量对电堆输出性能和电堆非线性内阻产生的影响。仿真和测试结果表明此参数模型是可操作和有效的，并可方便的用于PEMFC控制方法研究。     

基于纸的物理建模的水墨画扩散效果仿真

为了更真实地模拟中国水墨画的独特艺术效果，提出了一种全新的基于物理建模的仿真方法。该方法构造了一个可控的物理纸模型以模拟宣纸，再在该模型上进行水墨扩散过程的模拟运行，以实现真实水墨画扩散效果的仿真。通过对宣纸纤维分布随机性的模拟，该方法成功地实现了“粒状现象”和不规则扩散边缘的仿真；并且还能控制致密度、吸水性以及纸纹理以模拟各式各样的宣纸。实验表明，该方法达到了十分自然逼真的仿真效果。     

基于Agent的电子战CGF建模研究

计算机生成兵力（CGF）是一个具有自主性、智能性的复杂系统。传统的建模方法难以精确的描述其模型。Agent技术作为面向对象技术的延伸，为解决这类复杂系统的建模与仿真问题提供了有效手段。应用基于Agent建模技术，建立了电子战CGF的层次模型，并解决了个体Agent模型设计中的感知、动作、决策及实现方法上的问题，最后讨论了用于设计聚合级实体的多Agent系统的组织结构、通信语言、通信机制及协作模式。     

燃气蒸汽联合循环燃料系统动力学建模的分析研究

为了提高燃气轮机联合循环动力学建模的精度和适用范围,对影响燃料量的因素进行全面分析.提出将燃料量作为复合自变量进行燃料系统建模的必要性,确立以燃料指令、分配系数、机组负荷、转速和燃料低位发热量作为其简单自变量,采用模块化的灰箱建模法建立燃料系统动态模型.对仿真与实际机组的燃料指令和流量之间的匹配关系进行了研究,提出以燃料设计热耗量为枢纽的仿真系统燃料流量修正方法,建立了更加精确的稳态模型,提高了联合循环动力学模型对于燃料种类变化的适应能力.利用所建立的模型对气、液燃料的切换、混烧过程及机组起动过程进行了数字仿真,分析研究了其动态特性,表明该模型的精度和适应性得到明显的提高.     

基于UML建模的房屋租赁管理系统分析

统一建模语言UML是一种面向对象的建模语言。本分析了UML的建模机制，并以UML为工具进行房屋租赁管理系统建模，给出了设计过程中的用例图、类图、序列图、状态图及活动图，并详细分析了创建这些图的要点及过程，对房屋租赁管理系统的开发具有一定的指导意义。     

利用体系结构的建模方法支持测试设计的重用

将体系结构的建模方法应用于测试设计,测试设计和软件设计自上至下同步进行.利用基于体系结构的建模方法将软件设计规范和测试设计规范紧密结合,形成统一的模型描述框架,从而构建层次化的测试设计模型,同时给出了测试用例之间关系的精确定义.结论是:基于体系结构的建模方法能够大大提高软件开发过程中各工作产品的可测试性和测试用例的可维护性,能够有效地支持测试设计的重用.     

露天矿行车事故频次的灰色预测

针对露天矿运输系统行车事故发生频次数据少的缺点,采用了灰色系统理论对其进行灰建模,灰预测.验证了灰建模的可行性,阐述了灰建模基本步骤,通过实例分析了该方法的有效性和适用性,从而为露天矿调度运输系统超前采取防范措施,提供了依据,将事故损失减少到最低,做到防患于未然.