分解炉内三维湍流流场数值模拟

针对某大型高性能分解炉的实际尺寸,用Realizable(带旋流修正的)k-ε模型,采用SIMPLE算法,二阶迎风差分格式,模拟了炉内三维湍流流场.计算所得的速度、压力分布与该炉热工标定的结果以及其实际运行的性能符合较好.     

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

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

面向对象技术在仿真测试系统中的应用

面向对象技术在软件系统开发中得到了广泛的应用。本文基于作者的分析与理解,阐述了面向对象设计方法的特点及其为软件设计方法所带来的变化。通过面向对象设计方法的应用,实例化了面向对象设计方法的特点,进一步展示了面向对象设计方法可能为软件方法带来的进步。     

关于TMA的Taylor级数法的分析

对Taylor级数法在纯方位TMA(目标运动分析)问题中的发散问题进行了仿真分析.针对原始方法的奇异性,提出了一种大权值改进方法,依据仿真分析结果,给出了迭代初值的选取原则,最后给出了一种"万无一失"的发散补救方案.仿真结果表明,改进后的方法对于常用态势以及优选的初值没有发散情况出现,全部收敛.     

红色资源在公安现役部队理想信念教育中的运用

在思想观念日益多样化的今天,充分运用红色资源是深化公安现役部队理想信念教育的新途径。通过对红色资源在部队理想信念教育中优势、问题及原因的分析,对如何有效运用红色资源开展公安现役部队的理想信念教育进行了简要阐述。     

某型船钢拉应力与磁场关系试验

舰船磁场包括固定磁场和感应磁场,固定磁场是现有消磁勤务的主要目标.通过对船钢的拉伸试验,在船钢弹性形变范围内,研究其总磁场强度随拉应力的变化关系.由试验结果确定船钢的磁场强度初次发生显著变化时的拉力幅值.施力之前,通过试验从船钢的原始磁场中分离出感应磁场,然后任意选择一船钢总磁场发生显著变化的状态,在同样条件下做感应磁...     

具有集值H-半-伪单调映射的广义向量变分不等式解的存在性

首先推广向量集值半一单调映射到向量集值H-半-伪单调映射,然后利用Kakutani—Fan—Glicksberg不动点定理,研究了具有集值H-半-伪单调映射的广义向量t变分不等式问题,在自反Banach空间中得到了两个存在性结果。     

美军战术级指挥信息系统界面设计的发展及启示

战术级指挥信息系统(T-C4ISR系统)是指挥控制师或师以下部队遂行战术任务的信息平台.围绕T-C4ISR系统用户界面设计相关问题展开如下研究:通过智能化战争条件下T-C4ISR系统界面应具有的新特点引入,首先介绍了美军T-C4ISR系统界面设计理论的演变;结合美军RAPTOR系统,介绍了生态界面设计理论的主要内容和应用;分析了生态界面设计理论对我军T-C4ISR系统建设的一些启示,并展望了下一步可以开展的主要工作.     

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

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

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

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