一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

一种直扩信号伪码速率的快速检测方法

为了解决快速提取直接序列扩频通信信号伪码码速率的难题,详细介绍了一种用延时相乘法实现快速提取直扩信号伪码速率的原理和实现方法。理论分析和计算机模拟表明,该方法在较低的输入信噪比条件下具有较高的识别率。     

地空导弹兵混编群作战仿真研究

应用离散事件动态系统仿真的基本理论,建立了地空导弹兵混编群作战过程仿真模型,并用Arena仿真平台实现了仿真。通过仿真实例,分析了不同空袭目标流密度和空袭目标采取低空突防时对目标突防概率的影响。仿真结果表明,在该实例中,增大空袭目标流密度对目标突防概率没有显著的影响,而采取低空突防对目标突防概率影响显著。最后,对仿真结果进行了分析,证明了仿真模型的有效性。     

逼近理想点法在防空兵战斗部署方案排序中的应用

针对指挥员就多个防空兵战斗部署方案难以取舍的问题,运用逼近理想点法进行排序。在分析影响防空兵战斗部署方案因素的基础上确定影响方案优劣的几个重要指标。根据现有的防空兵战斗部署方案,假设不可能存在的一个正理想方案和一个负理想方案,运用逼近理想点法,计算各个方案到理想方案的相对贴近度,得到贴近度最大的为最佳方案。通过实例分析对该方法进行了检验,可为指挥员定下决心提供参考。     

条件事件的表示

为了进行条件推理，本文讨论了条件事件的表示，并给出了相应的逻辑运算规则，引入了零事件间的概率比和多重条件事件的超条件事件概率的概念，它们均是无条件情形的推广。     

C3I系统效能仿真方法及环境研究

采用面向对象的方法和离散事件仿真技术,探讨了C3I系统效能仿真方法,并介绍了C3I系统效能仿真环境的设计思想。该环境能够支持多种模型的集成仿真,并易于扩展和扩充。     

导弹系统安全性分析中的引发事件鉴别方法

引发事件鉴别是基于事故机理安全性分析的首要任务。鉴别结果是否全面、完整直接影响最终分析结果的有效性。导弹系统安全风险涉及面广、影响因素多,需要系统的可操作方法来指导引发事件的鉴别工作。针对导弹工作特点,提出考虑导弹任务剖面,运用主逻辑图对导弹进行系统性的层次化描述,对引发事件进行整理和归纳。将危险与可操作性分析引入导弹系统安全性分析中进行引发事件鉴别,结合故障模式影响分析,支持对单一故障类和参数异常类引发事件的鉴别。结果表明,所提框架为解决导弹系统安全性分析中引发事件鉴别的系统性完整性提供了可行的思路。     

利用脉冲激光的片上系统芯片单粒子效应试验

为评估脉冲激光试验对研究SoC(片上系统芯片)单粒子效应的有效性,构建了一个65 nm SoC的脉冲激光试验系统,并进行了试验。提出并采用坐标定位法、有源区聚焦法、ΔZ补偿法等针对大规模倒装焊集成电路的试验方法。对SoC的片上存储器、寄存器文件、RapidIO、DICE触发器等部件进行了脉冲激光试验和分析。结果表明:片上存储器对脉冲激光最为敏感,部件的激光试验与相应的重离子试验现象吻合,利用脉冲激光试验可有效研究纳米工艺下大规模集成电路的单粒子效应。     

野战防空作战系统的仿真策略

在分析野战防空作战系统特点的基础上,讨论该系统的仿真策略,提出了主动实体交替扫描的仿真策略,并给出了非形式化的描述。该方法体现了事件调度法和活动扫描法的优点,使之更适合于仿真带有对抗性离散事件系统,因此,对其它作战系统,尤其是战术C~3I 系统的仿真,也是适用的。     

基于专家系统的消磁电流决策

分析了建立消磁电流决策的专家系统的可行性 ,从基本概念和实际应用等方面介绍了基于专家系统的消磁电流决策的状态描述、数据库的建立以及推理机的确立等