某型导发架通用测试系统软件复用性设计

测试软件的复用性是摆在测试界面前亟待解决的重要问题。运用统一建模语言(Unified Modeling Language,UML)对测试软件进行建模,包括:测试系统的类图、软件功能分解、功能子系统的上下文模型、测试软件需求特征树以及软件功能子系统的顺序交互视图。在Visual C++6.0环境中,采用"应用程序框架+可复用构件"开发方式,实现了基于可复用构件的某型导发架测试系统应用软件组装,成功解决了导发架测试领域内同一系列产品间测试软件的可复用问题。     

基于复杂性分析方法框架的陆战Agent模型框架研究

陆战Agent是陆军作战复杂系统ABMS核心的基础要素,如何从系统的复杂性研究出发构建陆战Agent模型,是陆军作战复杂系统ABMS必须要解决的关键问题。以复杂性分析方法框架为指导,通过对陆军作战复杂系统ABMS内在本质和陆战Agent特点的分析,提出陆战Agent模型框架,为陆军作战复杂系统的ABMS奠定基础。     

轴对称物体空泡流动的数值计算

基于势流理论和边界元方法,对水下运动的回转体的空泡流进行了数值模拟.将半经验空泡封闭模型由平面流动推广至轴对称流动.对头部为圆锥的圆柱体空泡流动进行了数值计算.分析了空化数、半锥角、空泡长度间的关系.计算与实验结果符合较好.     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

GPS载体姿态测量中的整周模糊度的快速求解

全球定位系统 (GPS)的良好性能和便宜的价格为其在姿态测量领域的应用开辟了广阔的前景 ,GPS载体姿态测量技术也成为 GPS应用中的热门研究方向。以利用 GPS载波相位测量来确定载体姿态为背景 ,介绍了 GPS载波相位差分技术的基本原理 ,并针对其中的关键技术问题——载波相位整周模糊度的快速解算 ,叙述和建立了整周模糊度快速解算的具体方法。详细地介绍了载体姿态测量系统中基线的构置方案和求解载体姿态的基本算法 ,即利用基线长确定整周模糊度的初始解集 ,然后利用约束条件来剔除解集中的假解。     

利用示踪棒测量油料洞库模型坑道烟气流动分区

研究火灾燃烧烟气流动规律,对于掌握初期形式为燃烧的单炕道的火灾的发生和发展,以及爆炸后有持续燃烧的火灾发展规律,具有十分重要的意义。在建立的火灾燃烧模拟实验台上,进行了火灾燃烧实验,利用示踪棒对火灾烟气流动的分区进行了测量,对烟气流动分区现象进行了分析。对"死区"和烟气区内流动和分层现象的研究表明,利用示踪棒测量火灾烟气层高度并定性的揭示流动性状是可行的。     

分解炉内煤粉燃烧和CaCO3分解流场的数值模拟

针对国内某大型水泥高性能分解炉,基于Fluent软件,采用有限速率/涡耗散模型模拟了炉内煤粉燃烧和生料分解的湍动多相流场,给出了炉内速度矢量、温度、压力和组分分布,结果显示,炉内流动趋势合理,可为分解炉的研究提供参考.     

基于一种嵌入式微控制器的微波敌我识别系统研究

传统的敌我识别系统已经不适应信息化作战的要求,现提出了一种以Cygnal公司的嵌入式单片机C8051F020为核心的新型敌我识别系统设计方案,给出了该系统的硬件结构框图和程序流程图.该方案与现有系统相比有很大的技术改进,利用了扩频技术、纠错编码技术、最新的加密标准和GPS系统,各方面性能有了显著提高.     

坦克外部磁场的有限元分析

采用有限元数值计算方法,参考坦克的旋转椭球模型的计算公式,对坦克外部的磁场进行了计算机模拟计算.     

提高MIMO系统容量的检测算法研究

为了满足通信容量的需求,在发射端和接收端设置多元素天线阵列构成多输入多输出系统,可以显著提高频谱的利用率.基于贝尔实验室提出的非线性迫零检测算法,提出了反向迫零检测算法.理论和仿真证明,在相同信噪比条件下,反向迫零检测算法获得的系统容量高于非线性迫零检测以及线性迫零检测算法.与奇异值分解算法相比,该算法虽然得到的系统容量有所减小,但是由于所需的运算量相对较小,因而易于实现.