液压系统的逻辑链图

介绍了逻辑链图的编制方法和应用逻辑图判别故障的方法．     

采用数据流图的故障模型生成算法及其应用

为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.     

基于自由二元判决图转换的可测性优化方法

提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为FB-DD表达形式,然后用切换单元来替换FBDD中的节点,以形成易测的多级网络,再通过冗余的认定和消除来达到可测性逻辑优化的目的。与以前的可测性设计方法相比,这种方法适用于任意电路,特别是规模较大、不能用两级逻辑表达的电路。     

表达式图样表示法的研究及计算机实现

根据图形参数化技术和图形构造规则,对表达式图样表示法进行了研究,确定了图形表达式的结构和一般内容,建立了标准化图元和标准化子图分类表以及编辑符号分类表,并且在计算机上进行了实现。     

逆PCA方法及其在故障检测与诊断中的应用

针对主元分析方法的特点，提出一种逆主元分析方法，具体采用二次投影逆主元方法，以实现故障发生时，主元空间向故障变量的投影．首先，对负荷矩阵进行方差最大正交旋转，以使某一个或某几个主元能够与某一特定子系统相对应，实现第一次投影；然后，在子系统内部进行故障诊断，实现二次投影．该方法提高了PCA方法的检测灵敏度和诊断效能．     

逻辑函数的四种表示法

本文介绍了逻辑函数的四种表示方法,其中重点介绍了两种逻辑图及其联系与区别。     

二值逻辑函数中的两种映象关系及其应用

从真值表映象的观点定义了补函数和对偶函数，并由此验证了一系列重要的规则、公式和推论，列举了其在几个方面的应用。     

可达树分析法及其在测试中的应用

介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之一——可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。     

基于布尔差分的数字逻辑电路故障诊断

讨论了数字系统的故障分析的内涵,阐述了故障的可测性定理,并以组合逻辑电路为例,介绍如何利用布尔差分法求解其全部测试码,给出了多重故障测试码的公式,说明了布尔差分法数字系统故障诊断的局限性。     

多重分形谱在集成电路动态电流故障诊断中的应用

系统阐述了多重分形的概念和多重分形谱的小波模极大值计算方法,提出了一种新的基于动态电流IDDT多重分形谱分析的集成电路故障诊断方法.该方法利用多重分形分析方法有效地提取信号的几何结构特征信息,利用动态电流的多重分形谱分析来进行集成电路的故障诊断.使用Hspice电路仿真验证了该方法的可行性和有效性.     

数学中的映射变换方法及其在电路中的应用

论述了映射变换方法的原理、思路结构及在电路中的相量映射、ｓ－域映射方法。     

等价关系矩阵与等价关系在Rough集合中的应用

以等价关系矩阵为工具,对两个不同的等价关系之间进行的交、并、补、差及积运算做了探讨,得出两个等价关系交运算后还是等价关系,但它们的并、补、差及积运算后未必是等价关系;同时得出等价关系对交、并、积运算是幂等运算;最后,用所得结论探讨了粗糙集理论中两个知识交运算后的关系.     

基因表达式编程ORF过滤算子的设计和实现

基因表达式编程(GEP)的个体代表了问题的候选解。在缺乏先验知识的情况下,个体长度的设定是个"两难"问题,过长或过短都会降低GEP的效率。对此,分析了个体长度对GEP求解效率的影响;设计了开放阅读框(ORF)过滤算子根据最优个体的进化历程动态调节个体的有效编码区域;验证了ORF过滤算子的有效性,实验结果表明,在同样的进化代数内,引入ORF过滤算子,GEP能进化出更高适应度的最优解且减少平均运行时间17.0%。     

图形集合运算的拓展及其应用

本文设计了以环为基础的统一的图形数据结构，该数据结构覆盖了一般二维图形，零件图和装配图，在两个单环并，并差图形运算的基础上，提出通过搭接单向桥边的方法，将单环算法直接向多外环，多内环拓展，文中详述了多环并，交差算法，同时深入研究了图形运算中的奇异情况，取得了满意效果。多环算法为零件图，装配图的生成提供了一种崭新的方法，因为零件图，装配图不可能用一般二维图形来表达，必然存在多外环，多内环，多环算法使我们可以直接在视图上进行打孔，拼接等操作，零件图拼装成为装配图的操作也极易实现。     

电路等效条件的表示及应用

本文从分流、分压的角度讨论电路等效的条件，在此基础上用短接、断开等方法用简单电路的万法给出了阻抗Ｙ形联接与△形联接等效变换的简单推导。     

用参数自整定模型在线检测空气处理机组故障

大型现代建筑大都安装了能源管理与控制系统（EMCS）,EMCS系统储存的大量监控数据为空调系统的在线故障检测与诊断提供了方便。提出了一种利用参数自整定空调部件模型在线检测变风量空气处理机组故障的方法。利用遗传算法优化模型参数使模型预测数据与实测值数据的残差最小,因此空调部件模型有较高的预测精度。若模型预测数据与实测数据的残差超出了预先设定的阈值,就意味着变风量空气处理机组可能存在故障。针对在实际应用时确定故障检测阈值的困难,给出了用统计方法确定阈值的方法。故障检测方法在真实建筑中进行了应用和验证,结果表明该故障检测方法可以结合EMCS系统准确有效的检测变风量空气处理机组故障。     

基于布尔逻辑的双序列比对协处理器的设计与实现

文章针对基因研究中的快速完成双序列比对工作的需要,设计了一种双序列比对协处理器。该协处理器通过USB接口与主机进行通信,采用基于布尔逻辑的比对算法完成双序列的比对。对碱基进行优化编码,使得用简单的门电路实现比对规则;使用流水寄存器,使得读碱基和序列比对并行工作,从而快速地完成具有显著相似性的DNA序列的比对。实验表明该协处理器具有结构简单、高效稳定、升级方便等特点。