BaTiO3的相温度曲线

根据BaTiO3的吉布斯自由能展开式，讨论了对称群Oh操作的所有不可约表示，考虑到不同不可约表示项的相互作用，并利用相稳定条件，推导出可能对称相的温度曲线。     

保障救援争分夺秒 星夜驰援王家岭矿

3月28日，位于山西省乡宁县的王家岭矿发生透水事故，救援行动十万火急。各路救援大军齐聚王家岭，矿上原有工房无法满足需求。4月1日中午，临汾军分区受领了急赴现场搭建帐篷的任务。分区立即启动应急预案，率队领导边开进、边部署。     

地空导弹维修保障能力评估与备件优化模型

地空导弹武器系统维修保障能力评估与备件优化是制定维修保障方案的重要内容,能够对平时和战时防空作战任务的维修保障产生重大影响.运用更新过程理论,给出了部件寿命服从指数分布和威布尔分布情况下,单部件和多个同种部件的备件满足率模型.在备件满足率模型的基础上,结合地空导弹装备和部件任务结构关系,得到了系统任务成功概率评估模型.在满足任务成功概率与备件费用约束条件下,建立了系统备件携行量优化模型,用边际分析法进行了求解.通过实例验证,得到了满意的结果.该模型已经应用于某地空导弹使用阶段综合保障信息系统.     

数字化部队保障装备能力需求满足度评价模型

针对数字化部队保障装备不能较好的执行战时装备保障任务,依据部队作战和保障的特点和实际,运用IDEF 3方法形式化描述了作战和保障任务基本流程。为了提高指标体系的全面性和适用性,从满足装备执行作战和保障任务需求角度出发,按照"保障活动-保障能力-保障效果"逻辑关系逐步分析,在依据相关原则和进行重要度、稳定度判定的基础上,确立了数字化部队保障装备能力需求满足度评价指标体系。为提供指标权重的客观性和准确性,采用改进的群体层次分析法(IGAHP)对评价指标赋权。针对评价过程中的模糊性和随机性,运用云理论实现指标聚合和综合评价。最后,以某部队保障装备为对象进行示例评价,验证了模型的合理性和适用性。     

细长锥型射弹不可压缩超空泡流的数值计算方法

假定理想不可压缩流体呈无旋定常流动、起空泡尾部Riabushinsky为闭合方式,基于水动力学势漉理论及细长体理论.建立了描述水下细长锥型射弹超空泡流动的积分微分方程.谊方法发展了求解谊类方程的数值离散方法,提出了多种超空泡外形初值解.分析了它们对超空泡形态计算结果的影响,优化了计算过程,简化了初始遮代条件.计算得到的...     

最常见的复杂系统——不可重复系统

大系统与复杂系统是系统学中的主要研究对象。突变论、混沌、耗散结构等理论揭示了复杂系统的一些新的特征,对于我们深化对复杂系统的理解有重要的作用。前些年国内学术界提出了复杂大系统的理论,对系统学是重要的发展。 但是纵观我们实际研究中遇到的许多社会经济系统、军事系统,似乎这些理论还远远不够,还不能反映“复杂”的关键所在。于是促使我们开动脑筋思索,经过多年研究,笔者认为实际复杂大系统往往不是少数几个微分方程就能描述的,而是不可重复系统。     

时序电路故障可测性分析

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。文中提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。