亚双曲型广义Cartan矩阵的分类

本文解决了一类非双曲型的不定型（亚双曲型）广义Ｃａｒｔａｎ矩阵的分类问题．证明了亚双曲型矩阵的阶数范围，并做出了阶数为３，５，６的亚双曲型广义Ｃａｒｔａｎ矩阵的Ｄｙｎｋｉｎ图．     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

正则地稳定环和模的稳定同构

设R是一个含幺结合环。如果任意两个稳定同构的有限生成投射R－模均是同构的，则称R是强Hermitian环；如果对任意正则元a,b∈R且aR bR=R,均存在y∈R使得a by可逆，则称R是正则地稳定环。本文证明了环R是强Hermitian环，当且仅当对任意自然数n有Mn(R)是正则地稳定环。还给出了正则地稳定环的一些性质和刻画。     

自动控制系统中面向结构图的数字仿真

根据自动控制系统中面向结构图的数字仿真的基本思想，探讨了仿真过程中典型环节的规范化、系统的连接矩阵、仿真求解、程序框图问题；并列出了应用实例，总结了相关特点及相关结论。     

我所经历的5个物理实验

结合亲身经历的5个物理实验,讲解了从事科学研究的独到体会。     

铝钎剂中活性剂的研究

本文指出长期以来,众多研究者一直提到的铝钎剂的活性剂是重金属氯化物的说法是不够确切的。实际上,大多数重金属氯化物不能作为活性剂。同时指出氯化物标准生成自由能判据,仅仅表明取代反应能否正向进行,而不能说明该氯化物是否可以作为活性剂。本研究提出:液态时与铝形成双液层的组元,或者液态时与铝能互相溶解,但在二元合金状态图的非铝端,形成熔点较低共晶物的组元,这些组元的氯化物,原则上可以作铝钎剂的活性剂。     

完善异步电动机能耗制动的理论分析

本文用等效模型对异步电动机能耗制动状态作较全面的理论分析。把能耗制动时的异步电动机等效为一个正常三相交流励磁的异步电动机。得到等效模型。通过对等效模型的分析,自然地把能耗制动纳入异步电动机的四个象限运行。较完整地得出:处在能耗制动时,异步电动机特有的等值电路、相量图及机械特性。     

A New Method for the Detections of Multiple Faults Using Binary Decision Diagrams

With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of a single fault. A new method for the detection of multiple faults in digital circuits is presented in this paper, the method is based on binary decision diagram （BDD）. First of all, the BDDs for the normal circuit and faulty circuit are built respectively. Secondly, a test BDD is obtained by the XOR operation of the BDDs corresponds to normal circuit and faulty circuit. In the test BDD, each input assignment that leads to the leaf node labeled 1 is a test vector of multiple faults. Therefore, the test set of multiple faults is generated by searching for the type of input assignments in the test BDD. Experimental results on some digital circuits show the feasibility of the approach presented in this paper.