用“六防”之网兜住安全之底

<正>安全工作,重在预防,难在预防。针对安全工作涉及人员广、涵盖领域宽、管控风险难等特点,预防工作必须综合施策、同向发力,尤其要在防政治失节、防思想失管、防道德失守、防心理失常、防行为失控、防制度失效上出实招、使长劲、求实效,多域联动、体系防范织密安全之网、兜住安全之底。防政治失节,重点抓政治纯洁。政治不过硬,一切等于零。占领意识形态斗争"主阵地",强化前沿意识,大力开展形势政策和法纪教育,引导官兵认清意识形态领域斗争尖锐性、复杂性,增强政治敏锐,树牢政治意识、纪律观念和底线思维,不受噪音杂音干扰,     

考虑随机共因失效的可修表决系统任务成功性模型

针对装备突发性故障的随机性对装备任务成功性的影响,引入随机共因失效对其进行描述,考虑以往建模采用指数分布等典型分布造成模型适用性较窄、通用性不强的问题,利用Phase-type分布对模型参数进行假设,建立了任务成功稳态概率模型和系统失效故障间隔时间模型,并结合算例演示了部件数量k对系统任务成功性指标的影响。算例结果表明：该模型构建合理,适用性较强,具有一定的实践价值。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

内闭环火控系统技术研究

内闭环火控系统技术研究,是鉴于我国目前对脱靶量检测仪器尚不能很好地解决的情况下,提出的一种折衷的技术途径。它对引起脱靶量的几种主要误差因素的可校正性进行了分析,利用火控、校正、数字图像合成、误差预测和炮控计算机系统,完成内闭环控制、仿真模拟火控系统的脱靶量,将热线控制原理应用于该系统,并提出了工程实现的方案。     

飞行器易损性指标计算的基本理论与方法(Ⅱ)

文章是飞行器易损性指标计算基本理论的第二部分。在第一部分给出的单次击中易损性指标计算公式的基础上, 研究了多次击中情况下飞行器易损性指标计算的两种方法, 并给出了相应的计算公式。最终通过具体的算例说明了方法的有效性     

一类生态捕食模型的局部稳定性

文献3讨论了系统(1)在两个平衡点时平衡点的豫定性,分界线环的存在性等性质,本文则讨论系统(1)在两个平衡点时的局部稳定性。     

软件重用综述

本文综述了软件重用的发展历程、基本概念、形式、技术和方法,然后就软件重用的技术领域和管理范畴分析了目前存在的主要问题后,提出了相关的解决方法,展望了软件重用的未来。     

市场与认识

当代社会中市场机制成了经济体制的主导与主流,因此我们有必要从认识论的角度考察市场机制。在市场经济中价格具有重要的认识功能,价格是数量化的,它使复杂的市场交易权衡过程有了精确的刻度、标尺,同时通过了解某种商品的价格,在宏观上判断这种商品的市场行情与趋势;市场决策是在有限的认识资源条件下的认识活动,是一种处理不完全信息的理性活动;市场认识的重要特征是预见性,市场认识的重要问题是市场预测的准确性和科学性;市场具有博弈性,掌握市场认识的博弈性质及规律可以丰富认识论的研究;市场经济需要政府干预,但政府在认识和决策时也要受到约束和限制,所以市场与政府的认识是互补的。     

一个快速的临界跟踪策略 VLSI故障模拟新方法

运用九故障信息标记（X,D,M,R,E,Q,T,P,U）,提出了加速扇出重汇聚引线临界性计算的一种故障模拟新方法,理论分析表明该方法是有效的。