GO-FLOW法在飞机EHA可靠性分析中的应用

应用GO-FLOW法分析了飞机电静液作动器(EHA)的可靠性。首先在EHA单元功能合理划分的基础上,建立了EHA的GO-FLOW可靠性分析模型,采用布尔代数求解描述反馈环的布尔方程,解决了GO-FLOW图不允许存在循环的难题;其次进行了GO-FLOW运算,得到EHA系统在各时间点的可靠度;再次与GO法的结果比较,验证了GO-FLOW法的可行性和准确性;最后通过MATLAB曲线拟合,得到系统可靠度随时间的变化规律,以便及时对系统进行检修和维护。结果表明GO-FLOW法只需一次运算,就可得到系统在各时间点的可靠度,在减小计算复杂度方面较GO法有优势。     

一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性

我们在文[1]中的基B_L上引入代数结构形成一个布尔代数,并给出布尔代数的一些重要子集。构造了一个完全理论,即文[1]中S的一个元。证明了B_L是一个完全布尔代数的子代数,并在这个子代数中给出一个不弱于一阶逻辑紧致性定理的条件。本文给出了等式逻辑中簇在被等式集公理化时所体现出的与点集拓朴的紧致性相类似的性质。     

谈谈逻辑运算的技巧

当今数字技术飞速发展，引导着电子工业的不断革命，数字式电视的发展，数字ＶＣＤ的出现，还有数字电子计算机的更新换代，这些无不与最基础的《数字电子技术》有关，而学习《数字电子技术基础》这门课程，又离不开逻辑代数。     

逻辑代数分析多电源切换的控制模式

逻辑代数亦称布尔代数，由英国数学家乔治·布尔（George Boole）于1849年创立。逻辑代数有一系列的定律和规则，在实际应用中，主要用于对数字电路的简化、变换、分析和设计。笔者认为，逻辑代数同样可以应用于多电源切换的控制逻辑。而且，逻辑代数可以覆盖配电系统的所有状态，即能实现状态控制，又能进行过程控制，对保证配电系统运行的可靠性和安全性有极大的促进作用。     

决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。