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

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

低频宽带SAR/GMTI试验系统

低频宽带SAR/GMTI能对开阔或叶簇覆盖地区的静止和运动目标进行侦察、监视及成像.详细介绍了低频宽带SAR/GMTI系统及其信息处理过程,讨论了其中的谱修正、成像及通道均衡等问题;针对系统的低载频特性,采用了STAP、DPCA结合ATI、图像域STAP 3种GMTI方法.外场试验证明,该系统能够有效地抑制杂波,检测运...     

激光辐照下树脂基复合材料温度场MSPH算法的并行化

改进的光滑粒子方法在模拟激光对树脂基复合材料的辐照效应时具有明显优势,但串行计算通常难以满足需求。为了提高程序的运行效率,基于消息传递界面并行编程环境实现了串行程序的并行化。将个人电脑完成的串行计算结果与峰值5万亿次的计算机集群完成的并行计算结果进行了比较,并对并行程序的加速比和并行效率进行了测试。数值计算表明,并行计算结果与串行计算结果一致,且并行效果显著,说明基于消息传递界面的并行化是成功的。     

防空作战战场态势的定量化分析模型

在防空作战中,战场态势的分析非常重要,它是辅助决策的基础。针对战场态势的问题,以集对分析的同异反联系度为基础,构造了战场态势的分析模型,进行了深入探讨。最后,通过实例计算表明了分析模型对于评估战场态势的可行性和有效性。     

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

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

射频/红外复合制导半实物仿真技术的发展

射频 /红外双模复合制导技术的不断发展引发了对射频 /红外双模复合制导仿真工具的迫切需求。国外从 20世纪 80年代末就开始了射频 /红外半实物仿真系统的研究。分析了美国海军空战中心等 4个单位的射频 /红外半实物仿真系统及其发展过程、技术特点。     

采用包络检波去除SISAR直达波干扰的新方法

为了去除直达波干扰,从强的直达波干扰背景中有效提取SISAR侧影成像的目标全息信号,提出了对接收的含有目标全息信号和强直达波的混合信号直接进行包络检波,然后通过对检波后的输出进行时域的正交分解,恢复目标的全息信号的新方法.仿真结果验证了理论分析的正确性.     

密码学中的布尔函数研究综述

概述了目前密码学中布尔函数的研究现状和重要研究方向上的新成果,并对布尔函数的研究进行了展望,指出了一些重要的研究热点问题.     

新型船用气体稳压器启动充气过程的建模及仿真研究

基于船用核动力一体化反应堆结构的需要,建立了新型船用气体稳压器启动充气过程的数学模型,并进行了仿真计算.计算结果表明,该模型能正确地描述该型稳压器实际的启动充气过程,满足工程设计及系统研究的需要.     

基于PDA的保障数据管理系统的设计与实现

分析了数据管理系统的框架结构及各模块的功能,介绍了数据库结构设计和应用.NETCF环境所开发程序的运行机理,提供了以某自行高炮系统为实例开发的数据管理系统的部分程序示例。