混合系统等步长仿真时钟同步方法及性能评价

通过对一类混合系统仿真中的连续系统、离散事件系统及推理决策系统各自仿真时钟的分析,得出了推理决策系统仿真依赖于其他2个系统的结果,继而提出了用其中的离散事件系统仿真时钟去同步具有等步长策略的连续系统仿真时钟的等步长方法,并给出了相应的软件实现方法与性能评价准则,解决了该类混合系统仿真时钟的同步问题,从而为该类混合系统的仿真提供理论依据.      

混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

计算机生成兵力模型的实时调度技术

针对计算机生成兵力系统在采用步长法推进逻辑时间时其实时性易受影响的问题,提出了将时间同步和模型调度进行解耦的实时推进方法,其中同步过程使用独立的线程读取本地时钟并通过运行支撑环境(RTI)驱动逻辑时间推进.同时提出了一种适合兵力模型的新的静态调度算法.该算法根据模型运行周期和系统步长划分调度表,并基于负载均衡的原则为模型分配仿真步长,具体包括3个处理过程:为仿真实体分配节点、产生初始调度表、运行时调整调度表.实验结果表明所提出的方法在保证良好的实时性基础上具有较小的开销和较高的处理器利用率.      

应用Stateflow技术的安全性建模与仿真

为了保障高风险系统的使用安全性,探索事故的运动规律与应急决策,提出了面向事故过程的安全性仿真方法,并结合有限状态机原理与Stateflow技术设计了建模方法与仿真机制,该方法能实现混合系统过程状态逻辑与连续机理的建模与仿真,仿真结果能反映事故发展过程中系统的状态-时间特性、人机交互特性以及过程机理,为应急决策提供定量的依据.最后,对某产品实例的事故过程进行了模型设计与仿真实验,验证了该仿真方法的有效性与合理性.      

一类混合动态系统的稳定性

混合动态系统是一类同时含有连续时间变量和离散事件变量的系统，在这类系统中，两类变量耦合在一起，具有复杂的动力学特性和时钟关系。本文在一般度量空间上刻画了混合动态系统，并给出了混合动态系统在Ｌｙａｐｕｎｏｖ意义下稳定和渐近稳定的定义及其充分必要条件，同时研究了一类混合动态系统稳定与其连续和离散事件子系统的稳定性之间的关系。     

微小卫星轨道保持的混合切换控制方法

固体微推力器阵列作为一种新型推力装置用于微小卫星轨道保持具有精度高、无燃料泄漏、冲量可调等优点,但是微推力器推力不连续的特点,使得控制系统设计时与以往的连续系统有所不同。为了充分发挥微推力器高精度的特性,采用基于混合系统的切换控制思想,建立了微推力器混合切换系统控制模型。首先,根据固体微推力器的推力特点推导了卫星离散动力学模型;其次,以李雅普诺夫稳定性定律为基础,设计了混合系统脉冲切换控制律;最后,针对小卫星轨道控制进行了仿真验证。结果表明,基于混合系统建立的控制模型能准确反映微推力器的特点,轨道保持精度能达到0.2m,而且推力器消耗量满足卫星长时间在轨运行要求。     

基于同步仿真的卫星姿轨控软件验证方法

传统的仿真系统一般采用Matlab/Simulink进行建模,Simulink模型可以在仿真环境下模拟真实环境下的系统架构和动态数据交互,也可以动态模拟真实目标机的运行。在Simulink建模体系对目标机系统的仿真中,其自身的时钟步长和数据流处理逻辑,可能与真实物理环境要求的系统有一定的出入,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,从而造成一定程度的失真,影响仿真效果。提出了基于同步仿真的卫星姿轨控软件验证方法,包含虚拟目标机能够实现对真实物理目标机运行功能的完全模拟,结合协同仿真组件和Simulink模型对各个子系统单元的动态建模仿真,全面验证软件的功能,增加了卫星控制软件的可靠性和安全性。     

DS/FH混合系统快速同步的研究

对于DS(Direct Sequence)/FH(Frequency Hopping)混合系统,提出了一种快速同步方案.同步包括捕获和跟踪两个阶段,在捕获阶段,利用快速频率识别方法对接收信号频率进行估计,实现混合系统的快速捕获;在跟踪阶段,根据获得的接收信号频率信息,等待在某一个特定的频率,通过直扩信号的捕获、跟踪、解调过程,获取接收信号的跳频同步信息,从而实现混合系统的快速同步.建立了DS/FH混合系统同步过程的数学模型,推导出采用该方案平均捕获时间表达式以及等待搜索同步法平均捕获时间计算公式.在高斯白噪声环境下,仿真结果证明了方案的有效性,在E_c/N₀=-15?dB时,通过合适的门限选取,混合系统的最小平均捕获时间可以缩短为一般常用等待搜索同步法的1/4.     

基于ADS的接收机码元同步算法实现

数字通信系统中,码元同步对于实现信号的准确判决码元和降低系统误码率起着关键作用。介绍了在ADS仿真环境下实现16QAM接收机码元同步算法。采用的定时误差提取算法消除了传统算法在16QAM系统中引起的时钟抖动问题,实现了接收信号和发送信号同步。并对该算法在ADS环境下进行了仿真,仿真结果表明该算法实现了码元同步的功能,并对干扰有较强的抵抗能力。     

在时分通讯导航系统中的时间同步问题

本文对时分通讯导航系统中的时间同步问题进行了初步的研究,讨论了时系的构成,系统中时钟的稳定度;入网同步;系统的工作区域等问题。提出了各种测量时钟之间时差的各种方法,并对时差的误差进行了分析。     

静态排列知识库专家系统时间估计模型的研究

在一些复杂系统中,专家系统是作为决策环节,服从于整个系统的运行,因而研究专家系统的推理时间就有其必要性。专家系统的推理时间与其推理模式、知识库结构、计算机性能以及其支持语言等若干因素有关。针对知识库结构,研究了自然排列知识库专家系统的推理时间问题,利用时间齐次马尔柯夫链为专家系统的知识库进行建模,并给出了相应的时间估计数学模型及计算量的确定问题,为复杂系统控制及实时仿真提供理论依据。     

Cohen公式的一种证明

用了与Ｋａｒｐ不同的方法,证明了Ｃｏｈｅｎ关于计算“线性”离散事件动态系统的闭环系统矩阵在极大代数意义下的特征值的公式。     

大型复杂装备研发成本控制专家系统

根据大型复杂装备研发周期长、耗资大、风险大的特点,引入前馈控制机制,建立了大型复杂装备研发项目成本控制专家系统的体系结构,同时以该体系结构为主体,给出专家系统的知识表示及推理机的一种实现方法,最终使得知识库和推理机得以独立实现.实现后的系统以知识库和专家系统相结合的方式对装备研发成本进行实时监控和预测,对于输入的问题,系统经过推理后给出相应的参考建议,为成本管理智能化提供可行依据.由于知识库和推理机是相对独立实现,因此该系统相对传统专家系统来说具有更好的可维护性和可靠性.     

地地弹道导弹可用性仿真评估系统构建

阐述了地地弹道导弹可用性评估的重要性,并以此为需求牵引,提出了以MTMC-RDEDS(Mission Time Monte Carlo Random Discrete Event Dynamic Systems)为核心的可用性建模与仿真一体化框架,结合实际应用,以模型重用技术为基础,构建了拥有丰富建模与仿真知识库、模块化设计与开放式接口的导弹可用性仿真评估系统总体框架及软件层次结构,并给出了涉及工作状态、维修保障、统计优化在内的核心仿真模型与算法,探讨了系统实现的关键技术,包括:随机变量建模、武器系统建模、仿真系统可信度评估.利用VC++和相关软件开发了地地弹道导弹可用性仿真评估系统,给出了仿真运行界面,并进行实例分析,验证模型和系统的有效性.仿真的结果与实际试验情况吻合较好,表明该动态评估方法快捷有效,评估系统建设方案合理可行,适用于工程分析,不失为地地弹道导弹可用性评估的一种有效手段.     

基于兴趣划分的内容发布订阅系统关键算法

在基于内容发布订阅系统中,将订阅兴趣在多个代理之间划分是代理负载均衡的重要方法.提出了基于事件空间的K-D树划分方法.通过将事件空间划分成负载相同的区域,优化了系统负载均衡的性能.基于逻辑空间最短距离的概念提出了与划分相关的事件和兴趣路由算法以及单播和多播混和的通知路由方法.两种路由算法减少了事件匹配操作,提高了路由的效率.利用事件空间的区域合并和分裂实现了系统的自组织.实验和与相关工作比较表明,划分方法及其相关算法的引入提高了系统的可伸缩、容错和负载均衡性能.      

决策支持系统中的反馈机制研究

将反馈机制引入决策支持系统的研究与设计，分析了ＤＳＳ中反馈的基本特点，应用控制论，行为科学、人机工程学及系统仿真理论的有关思想和方法，提出了决策状态反馈与决策输出反馈的基本概念，并给出了相应的人机交互与策略仿真两种反馈模式，研究了其对决策的影响，最后结合具体实例分析研究了引入反馈后的决策过程和结果，研究表明，反馈机制的引进能有效地提高决策有效性。