军事信息系统需求模型一致性检验方法

在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。     

复杂环境下线天线隔离度分析

讨论了一种复杂环境下线天线隔离度分析方法,此方法可以广泛运用于飞机、战车、导弹、舰船等复杂环境.采用一种矩量法(MOM)和一致几何绕射理论(UTD)的混合法,并结合二端口网络下天线间隔离度的知识来计算复杂环境下线天线隔离度.此混合法克服了单纯的矩量法难以计算电大尺寸系统中的天线,以及一致几何绕射理论的计算精度不够的缺点,最终能实现计算速度和计算精度的统一.     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

层次分析法在反坦克导弹阵地选择中的应用

反坦克导弹是未来高技术战争中不可或缺的反装甲兵种,特别是在渡海登岛作战中,先头抢滩登陆部队能否巩固和扩大登陆场地,很大程度取决于登陆部队反装甲力量的运用.在此过程中,反坦克导弹分队的阵地选择极其重要,运用层次分析法建立反坦克导弹阵地选择的递阶层次模型,通过计算,确定反坦克导弹阵地选择的最佳方案通过组合一致性检验,选择地形单元C_1为反坦克导弹阵地,作为最终的决策依据.     

基于似然比检验的橡胶密封件加速试验机理一致性判别方法

加速退化试验广泛应用于橡胶密封件等长寿命产品的可靠性评估,试验过程中需要将高应力水平下的试验结果外推到正常应力水平。要获得准确的产品可靠性评估结果,需要保证加速应力下的退化失效机理与正常应力下的退化失效机理一致。基于似然比检验原理,提出加速退化试验机理一致性判别方法及流程。针对失效机理一致与失效机理变化两种场合,提出对数线性及非对数线性两类加速模型,并结合混合效应模型描述产品退化过程。利用似然比检验判断加速模型参数是否变化,完成失效机理一致性判别。仿真算例和应用实例表明,该方法能够有效判别橡胶密封件失效机理是否变化,并找到失效机理不变的应力水平边界。     

涵盖I/O的广义存储一致性模型

作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统存储一致性问题,研究广义存储一致性,定义了涵盖I/O的广义程序概念,建立了广义域存储一致性模型,研究了基于广义域存储一致性模型的Cache-Memory-I/O一致性协议实现技术,对于DSM系统实现全局共享I/O具有指导意义和参考价值。     

空间军事系统综合集成研讨厅中群决策优化模型

空间军事系统综合集成研讨厅是研究空间军事系统这类复杂巨系统问题的一种有效组织形式,群决策是它研究问题的主要手段.结合粒子群算法提出了一种群决策优化模型,通过对专家间的不一致意见的处理,来寻找问题最优解,以解决研讨厅中专家思维收敛问题.     

农一师水利水电工程处创新党建工作思路 静态建好支部 动态管好党员

农一师水利水电工程处针对工程建筑单位点多、线长、面广的特点,采取"静态建好支部,动态管好党员"的办法,加强基层党组织建设,取得了党建