复杂系统可靠度综合计算平台的设计实现

鉴于复杂大系统可靠度综合计算面临诸多困难 ,分析了其复杂性特征 ,提出了一种一体化建模方法———复合逻辑树模型 (CompositeLogicTreeModel,简称CLTM)及其递归调度综合算法 ,并采用面向对象的思想和技术 ,设计实现了可视化的系统可靠度CLTM综合建模与计算软件平台。介绍了软件的总体框架及其功能 ,并通过实例阐明了相应的系统可靠度综合分析方法     

现代飞机交流电源系统的不中断供电技术

现代飞机上安装了大量的微处理机、计算机。由于电源之间正常转换而出现的电源短暂中断现象会对微处理机、计算机的工作产生干扰。研制不中断供电的电源系统已是刻不容缓的任务。本文讨论了电源正常转换时电源中断现象及原因。以现代大型飞机上的电源系统不中断供电技术为例,阐述消除电源中断的技术方案以及汇流条保护控制组件(BPCU),发电机控制组件(GCU)内有关不中断电源转换的逻辑。     

基于模糊奇偶方程的非线性系统传感器故障诊断

 给出了一种非线性系统传感器的故障诊断方法。该方法将T-S 模糊模型、全解耦奇偶方程和参数估计相结合,同时对非线性系统的多个传感器的故障进行检测、隔离与识别。设计出用于产生残差的线性系统全解耦奇偶方程,并给出了全解耦奇偶向量的存在条件,全解耦奇偶方程产生的残差仅对一个传感器故障敏感,而对系统状态、扰动输入和其它传感器输出解耦。引入T-S 模型将全解耦奇偶方程推广到非线性系统中得到了模糊奇偶方程。传感器的故障模型表示为刻度因子和偏差的形式,根据残差信息应用卡尔曼估计方法可识别出故障模型的参数。最后给出了某型号飞机控制系统传感器的故障诊断仿真实例。     

系统动态安全评价与预测的灰色方法

本文提出定量安全评价与预测的动态安全指标，灰色逻辑代数，然后使用ＧＭ（１，１）给出了系统动态安全评价与预测的新方法。     

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

论“两弹一星”精神融入高校思政课的三重逻辑

“两弹一星”精神是中华民族的宝贵精神财富,也是高校思政课不可或缺的重要内容。新时代下如何使“两弹一星”精神更好地融入思政课,需要全面理解并准确把握三重逻辑,即生成逻辑、价值逻辑和实践逻辑。首先,充分认识“两弹一星”精神的科学内涵,了解其与思政课教学内容的内在契合点。其次,深入明晰“两弹一星”精神在政治导向、教学需要和精神传承方面对推进思政课所具有的重大意义。最后,积极贯彻“两弹一星”精神融入课堂教学、实践教学和网络教学的有效途径。     

计算机简化逻辑代数式

本文的目的是用计算机对数字电路、模糊数学领域及其他技术领域中广泛使用的逻辑代数式进行简化,以前简化逻辑代数式的方法一般采用公式法、真值图法、观察法及其他方法处理,但是随着科学技术的飞跃发展,逻辑中所含的变量数目越来越多,给人们的简化工作带来了困难。本文为此对逻辑代数式的规律进行分析,提出用计算机计算的公式,并提出减小计算工作量的方法。     

遗传算法与模糊逻辑的双向集成

简要介绍了模糊逻辑和遗传算法相互结合的途径与方法 ,并提出了一些其中有可能出现的问题。文章认为二者在很多方面具有互补性 ,可以进行广泛而深度地结合 :一方面可以用模糊控制规则来提高遗传算法的性能 ,克服未成熟收敛等现象 :另一方面 ,应用遗传算法可以有助于模糊逻辑的数据库、规则库和知识库的设计与构造。     

CGF系统中多级智能决策实现方法

对于计算机生成兵力系统中上级指挥员决策模型的建模采用了一种基于似然比的方法;而对于下级指挥员的决策模型的建模采用了一种基于模糊逻辑的方法.基于似然比的方法能够有效完成信息融合,从而给出合理的决策结论.基于模糊逻辑的方法所得到的决策输出充分考虑到了指挥员个人的性格、经验以及战场的具体环境,并且这些决策输出将作为上级指挥员决策模型的信息来源.这些方法在计算机生成兵力系统舰艇兵力设计中的应用表明它们能够有效的完成多级智能决策模型的建模.      

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.