以可靠性为中心的维修

以可靠性为中心的维修(Reliability Centered maintenance——RCM)是美国航空界和美国防部制订装备预防维修大纲时所使用的一种维修理论,其主要目的是以最低的费用保持复杂装备的固有可靠性水平。本文跟踪RCM的发展过程,简述其基本原理和基本内容,并在综述国内外有关文献的基础上提出了笔者对RCM的认识及在军械系统应用RCM的必要性。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

当代中国航天技术责任化自主创新的哲学基础与实践逻辑

当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。     

基于自抗扰控制的高超声速飞行器再入制导律

鲁棒制导律设计是增强高超声速飞行器再入突防能力、提升飞行安全性的重要保障.针对多约束条件及多种气动参数摄动影响的高超声速飞行器再入轨迹抗干扰跟踪问题,首先,在标准轨迹制导的框架下,结合模型辅助线性自抗扰控制和基于航向角误差走廊的几何制导逻辑,提出了一种可满足纵向和横侧向平面制导任务需求的自抗扰再入制导律;其次,采用反馈...     

核心体系结构数据模型的改进方案

核心体系结构数据模型(Core Architecture Data Model简写为CADM)提供了如何组织C4ISR系统体系结构数据的概念视图,其设计思想对体系结构数据的查询效率、可重用性以及可扩展性有着非常重要的影响.概要介绍了CADM的设计思想,并针对当前CAMD模型数据重用粒度低、扩展性差等缺点,提出了开放性原则、规范性原则、兼容性原则以及重用性原则等数据模型的改进方案,最后分析了这种方案的优缺点.     

基于LBDL逻辑的抗DPA攻击电路设计方法

动态差分逻辑是一种典型的电路级差分功耗攻击(DPA)防护技术.这种技术通过使逻辑门保持恒定的翻转率来降低电路功耗与数据信号之间的相关性.介绍了一种新型的、基于查找表(Look-Up-Table,LUT)结构的动态差分逻辑(LBDL),以及基于这种逻辑的集成电路设计方法.该设计方法仅需在传统的半定制设计流程中添加少量的替换操作就可以实现 ,因而比其他完全需要全定制设计的动态差分逻辑具有更好的实用性.而相对同样适用于半定制实现的动态差分逻辑 WDDL(Wave Dynamic Differential Logic),LBDL逻辑解决了逻辑门翻转时刻与数据信号之间的相关性,从而比WDDL逻辑具有更好的功耗恒定性.实验结果表明,该设计方法能够有效实现具有抗DPA攻击性能的电路.     

TENA体系结构在美军JMETC中的成功运用

美军联合任务环境试验能力(JMETC)是一种真实的、虚拟的和构造的(LVC)分布式试验系统,采用试验与训练使能体系结构(TENA)作为其基础体系结构.TENA提供了促进靶场测控系统间互操作性所需要的体系结构和软件能力,在重要的实地演习和许多分布式的试验事件中都得以成功使用,大幅提升了美军分布式试验和训练能力.     

当代中国军事战略思维与和平发展道路（续）

维护和平发展要求当代中国军事变革必须坚持中国特色 这是当代中国军事战略思维据以展开的第三个基础性判断。这个思维判断包含的逻辑进程,要求回答维护和平发展与有限大幅提升军事实力的关系,提升军事实力与军事变革的关系,以及军事变革的中国特色的要点。