基于实际生产过程的FMS多任务可靠性仿真用户界面的实现

仿真方法是分析FMS可靠性的一种十分有效的方法和工具,可用于系统发展的不同阶段.由于受仿真语言、建模工作者、应用环境等限制,仿真方法在FMS可靠性研究中难以得到广泛的应用.本文首先简要介绍基于实际生产过程的FMS多任务可靠性仿真方法;然后,采用面向对象的思想和编程方法,建模仿真并实现了基于实际生产过程的FMS多任务可靠性仿真的用户界面.该用户界面具有建模方便、易学,修改模型快捷,界面友好,工作量少,生成的源程序可靠等优点.它为FMS的可靠性仿真提供了一条从模型到仿真源程序方便转换的捷径,对仿真方法在FMS可靠性研究中的广泛应用起了推动作用.该用户界面已应用于北京和长春FMS试验中心.     

用MATLAB实现自适应天线阵仿真系统

介绍了基于MATLAB自适应天线阵仿真系统的思路、方法及实现方案，可以对信号产生、信道传输、天阵阵配置、算法参数选择和输出性能进行模拟仿真。对自适应天线阵的实验室研究提供了方便的工具。     

分布式多传感器信息融合仿真系统设计与实现

针对多传感器信息融合算法仿真验证应用背景,通过系统需求分析,提出了基于HLA的分布式仿真系统结构,通过构建实体模型,生成红蓝双方的兵力,配置多种典型剧情、作战平台、传感器,实现在全局意义下验证局部信息融合算法的效果.并对系统开发过程中的想定配置、雷达模型、传感器数据处理,软件集成进行了讨论.此项研究对于其他分布式仿真系统的设计和开发具有参考价值.     

同步数字体系的光纤通信系统仿真模型与算法

同步数字体系(SDH)的光纤通信仿真系统的建模及仿真算法是实现其仿真软件的关键问题，本文为通用SDH设备的仿真系统提供了一种建模方法和模型实例，并给出了在模型实例下仿真实现，这种模型结构同样适于其他的通信系统仿真。     

集成任务级与运动级协调的多机器人仿真系统

仿真验证是检验多机器人协调策略与算法的重要一环.为满足多种策略、算法验证的需求,研发多机器人仿真系统是必要的.为此,开发了一个集成任务级与运动级协调的多机器人仿真系统ColonySin,融入了基于合同网的任务分配和基于有限状态机的任务建模机制,为用户提供简单快捷的任务建模和分配接口.该仿真系统人机界面友好,独立于用户算法设计,能够实现多算法多任务验证功能.仿真系统的功能通过仿真实验进行了验证.     

地空导弹训练仿真系统的设计与实现

以一类指令制导地空导弹为对象，设计并研制了地空导弹训练仿真器样机，实现了导弹武器系统的多种训练功能，本文提出了该训练仿真器的设计原则；介绍了武器系统的仿真建模方法、监控台的功能和多媒体演示方案；重点展示了训练仿真系统的硬件结构，软件实现手段以及系统所实现的各种训练模式，并分析了系统的时空一致性。     

基于PLC教学仿真系统的设计与实现

介绍了一个基于可编程逻辑控制器（PLC）的教学仿真系统，该系统的结构，功能是根据PLC工业控制系统的基本特点，结合实际水泥生产控制中的工艺要求，设备情况等信息设计实现的。本文重点讨论了设备仿真子系统的组织方式，实现方法和可适应性，并结合水泥生产中的重要设备-回转窑具体说明设备仿真的基本设计原则，该教学仿真系统目前已经应用于实际。     

FMS动态仿真建模研究

基于现代设计方法的特点提出了一种面向FMS的动态仿真建模方法,并以此为核心结合面向对象及智能体等先进技术构造了FMS系统仿真的动态建模框架,同时论述了动态模型的建模机制、解决方案及关键技术,最后给出了一个面向FMS动态仿真建模的仿真环境。     

非马尔科夫可修公共备用系统可靠性数字仿真

给出了任意非马尔科夫可修公共备用系统可靠性数字仿真的数学模型,仿真算法,通过仿真可以获得非马尔科夫可修公共备用系统的任意瞬态可靠性指标。本文给出了多种仿真实例,并对算法进行了检验。     

FMS可视化建模、仿真和验证的集成设计方法

本文提出了一种运用面向对象的建模语言“统一建模语言(UML)”和SPIN(PROMELA模型)来对柔性制造系统进行建模和验证的方法。运用UML中的类图来表示FMS中对象之间的静态关系,运用状态图来描述系统的动态行为。然后将UML的模型自动转化为PORMELA模型,运用模型检查工具SPIN来对此模型进行检查,以验证模型的正确性。此方法可以描述和检查系统的性质,从建模,仿真一直到模型检查,提供对FMS的全面系统的设计,并可被用来设计可靠的FMS控制软件。     

柔性制造系统任务成功性模型

本文针对ＦＭＳ在完成任务过程中，系统或系统的某些单元发生了不超过规定时间内修复且不影响任务完成的故障情况，给出任务成功性的定义，典型情况的任务成功度模型和ＦＭＳ多任务成功性模型。本文作者所提的ＦＭＳ任务成功性模型已应用于北京和长春ＦＭＳ试验中心，为合理评估两个中心的广义可靠性提供了理论依据。     

基于生物免疫机制的复杂系统健康监测与评估

生物免疫机制的模拟与实现对复杂系统的健康状态监控有重要的现实意义。分析了免疫的机制和特点，构建了基于多Agent的分布式免疫机制模拟结构模型，并给出了免疫Agent的逻辑结构模型，模拟生物免疫机制对故障进行监测、诊断和学习。在此基础上以一实际的柔性制造系统为背景进行了应用研究，给出了故障识别及其影响评估方法，可作为系统协调控制的依据，仿真试验表明该方法是有效可行的。     

实时仿真飞行管理系统的研究

对在基于网络的实时仿真系统上建立可行的仿真飞行管理系统进行了研究。在满足实时性要求前提下，实现了飞行管理系统中控制显示组块（ＣＤＵ）的动态图形仿真。对横向飞行剖面的生成进行了讨论，并实现了实时运行环境中横向飞行计划的生成。给贞了一种航线导航的控制率设计方法。建立了一个通用的、基于网络连接的飞行管理系统模型。     

基于事件驱动的Job Shop仿真调度系统

解析模型通常难以适用于ＦＭＳ调度中，本文提出了一种事件驱动的仿真模型，并结合滚动调度策略介绍了这种模型的仿真原理。在此仿真模型的基础上，研究了工件连续到达，且在加工过程中有机器件损坏和修复及工件到期时间可改变这样的动态环境下的ＪｏｐＳｈｏｐ调度问题。最后给出了仿真结果。     

FMS建模和形式化验证

提出了一种FMS的建模方法,此方法是基于时间自动机模型。运用模型检查工具UPPAAL来进行建模,仿真和验证。由于时间的因素被考虑到建模方法中,因此FMS的调度和控制问题可以被集成到这个模型中。在系统的行为被控制的同时,可以保证系统的性能指标。从而最优调度和最优控制可以得到检查和验证。     

舰载光电跟踪系统的虚拟仿真系统研究

针对舰载光电跟踪系统训练中存在的缺乏目标跟踪环境的实际问题，首先，介绍了国内外虚拟仿真技术在武器系统训练中的应用，其次，介绍了舰载光电跟踪系统的虚拟仿真系统的功能；第三，提出了虚拟仿真系统的总体设计方案，最后，说明虚拟仿真技术是人在回路仿真训练系统研制中新的有效手段。     

基于实际生产过程用SLAM网络模型仿真评估FMS的可靠性

本文首先给出典型的柔性制造系统（ＦＭＳ）结构和典型的工件加工工序，并介绍与ＦＭＳ可靠性有关的基本概念。在此基础上，作者运用ＳＬＡＭ网络模型对该系统进行仿真评估，给出系统平均无故障时间（ＭＴＢＦ）、可用度和有效生产率，并考察了该系统的各组成单元可靠性因素变化对整个系统的影响。作者认为：ＳＬＡＭ网络建模和仿真是研究ＦＭＳ可靠性的一种有效手段。     

FMS任务可靠性分析模型

研究ＦＭＳ任务可靠性必须综合考虑系统的结构、加工工件集、加工线路集的影响，而且由于ＦＭＳ具有加工和线路柔性，因此用常规的串、并联关系难以建立ＦＭＳ的任务可靠性模型。本文结合ＦＭＳ的特点，提出了ＦＭＳ任务可靠性分析模型的建模方法，并将该建模方法用于一实例，作者认为该建模方法既综合考虑系统的结构、加工工件集、加工线路集的影响，又较好地解决了预计系统任务可靠性的复杂程度高、难度大等问题。该建模方法可用于：（１）确定整个系统或特定工件的关键设备，利于维修的安排；（２）确定最可靠的加工线路集；（３）确定系统在不同条件下的任务可靠性，这是ＦＭＳ任务可靠性综合预计模型的基础。