Preservation of stochastic orders for random minima and maxima,with applications

It is shown, in this note, that the right spread order and the increasing convex order are both preserved under the taking of random maxima, and the total time on test transform order and the increasing concave order are preserved under the taking of random minima. Some inequalities and preservation properties in reliability and economics are given as applications. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

高比重钨合金的烧结成形与组织性能研究

采用液相烧结成形工艺制备了90W-Ni-Fe合金棒,通过分析烧结态钨合金的组织形貌和力学性能,观察合金的断口组织形貌,研究了烧结工艺对高比重钨合金组织性能的影响,认为减少W-W界面,增加W-W界面的结合强度,是提高烧结态钨合金力学性能的有效途径。     

维恩位移定律2种表述之间的关系

讨论了维恩位移定律2种表述之间的关系,并与麦克斯韦分子分布函数的峰值相关量进行对比,说明原始的维恩表述是由实验决定的.并对2种表述的物理意义作了阐述.     

升压变换装置研制过程中难点问题的解决

结合大功率数字式全电力炮控系统所用的升压变换装置(270 V/32 A)的研制,详细阐述了尖峰电压、偏磁现象、波形振荡产生的机理,并从理论上提出了解决上述问题的方法.研制过程中,通过推挽式变压器的合理设计、控制方案的完善、总体布局的优化等一系列技术措施,较好地抑制了尖峰电压、偏磁、波形振荡的产生;试验结果表明所采取措施的有效性和正确性.     

基于"网云端"的新型指挥控制系统体系结构建模

指挥控制系统是综合电子信息系统的核心,是作战效能的"倍增器"和作战指挥的"神经中枢".从"网-云-端"的结构出发,分析了新型指挥控制系统的总体架构和组成关系;通过分析美国国防部体系结构框架(DoDAF2.0),提出了基于DoDAF2.0的新型指挥控制系统体系结构建模流程;采用结构化和面向对象相结合的方法,设计了新型指挥控制系统作战视角、服务视角、能力视角以及系统视角的关键模型,为系统的具体设计与开发、系统评估与分析提供可靠的模型支持.     

军队会计流程存在的问题及优化策略

在新军事变革的背景下,军队会计流程存在不适应新管理体制需要、信息技术应用对会计流程再造力度不够、军队会计科目设置影响流程等问题。本文从界定军队会计流程的含义入手,提出了优化军队会计流程、建立智能化军队会计信息系统的四项策略,即重塑军队会计流程体系、重构军队会计信息系统、调整军队会计科目体系以及完善各流程会计处理方法。优化军队会计流程、建设智能化军队会计信息系统,不仅能够反映军事经济活动的历史信息,还能为不同类型的信息使用者提供预测、决策等支持,并有利于改善军队会计核算质量,准确反映各类资产负债的价值信息和单位的真实财务状况,对于提高军队会计信息质量具有一定的借鉴意义。     

军队工程协同设计主体识别模型优化研究

协同设计是军队工程建设军民深度融合发展和综合效益提高的必然趋势.如何有效识别协同设计主体是有效实施协同设计的关键.针对军队工程建设特点,构建协同设计主体评价指标体系,用GRD对TOPSIS模型进行优化整合,既发扬了TOPSIS法在应用上能很好地对多属性、少样本事件进行评价的优点,又利用GRD的曲线相似度的柔性评价标准,巧妙规避了TOPSIS求解刚性过强、权重过于主观、评价标准单一、偶尔无法区分两主体优劣的缺陷.实例和灰色聚类的验证结果均表明:该优化组合模型对客观、准确识别军队工程协同设计主体效果较好.     

舰空导弹武器系统抗干扰能力试验方法

针对舰空导弹武器系统抗干扰能力考核需求,提出一种试验方法,基于舰空导弹武器系统的制导控制系统半实物仿真试验对多种干扰环境下的武器系统抗干扰能力进行逐一检验,通过外场飞行试验进行典型工况下的验证,该方法实现了对舰空导弹武器系统抗干扰成功概率的有效考核,还可以支撑对防空导弹武器系统在单一、复合干扰形式下的抗干扰能力指标的评估.     

面向任务的指挥控制系统能力适配分析研究

系统能力准确适配作战任务需求是面向任务的指挥控制系统构建的基础.分别建立典型作战任务模型和面向任务的指挥控制系统能力模型,并使用UML语言规范性检查方法,使上述概念形成规范的语义表达.通过将作战任务分解到元任务,建立作战任务与系统能力需求的映射关系.在此基础上,采集并分析指挥控制系统资源性能参数,实现对面向任务的指挥控制系统适配作战任务需求的定量评价.