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.     

环的广义幂级数扩张的若干性质

研究环R的以严格偏序么半群S为指数集的广义幂级数扩张[[RS,≤]].讨论R为c-可换环、R为p-环时,广义幂级数环[[RS,≤]]具有的性质.指出商理想(I:J)的扩张[[(I:J)S,≤]]与扩张的商理想([[IS,≤]]:[[JS,≤]])之间的关系.     

RBAC授权数字证书的设计与实现

为了避免传统的数据库存储用户口令验证访问控制权限方式因失窃而引起的不安全，设计了一种RBAC 授权数字证书。通过在证书中扩展角色属性，并将角色授权和资源分配与证书的颁发分隔独立，一方面实现了证 书对资源的访问控制，另一方面使得角色授权更加灵活。最后对该方式进行了验证实现。     

现代化图书馆的创新机制

我国现代化图书馆面临5个方面的创新,即思维的科学性、学科的系统性、管理的理性化、人力资源的复合性、馆藏资源的多质性。     

经济全球化进程中的软实力与传统文化的发扬——析"和谐世界"

中国传统文化源远流长,代代相传.它是几千年中国社会发展的思想动力,也是今天中国提出构建“和谐世界“理念的思想源泉.在经济全球化曲折发展的当今时代,在不同民族和地域的文化特点与差异依然存在的情况下,减少摩擦、增加共识.发扬“和为贵“、“和而不同“的思想显得更为重要.“和谐世界“思想既是对中国文化与外来文化千年交往史的经验总结,也是将中华文化中的精髓向世界做郑重推荐,更是提升了中国的软实力.     

数字图书馆信息资源的组织

介绍了数字图书馆,阐述了数字图书信息资源的类型,并对数字图书馆信息资源组织应遵循的原则、技术问题和资源整合问题进行了分析。     

信息安全中的信息隐藏技术研究

简述了信息隐藏的基本概念、原理及其通用模型,重点分析了数字水印技术在数字作品版权保护中的应用及典型的数字水印算法。     

浅析21世纪图书馆发展的新理念

介绍了图书馆发展理念的形成过程,分析了新形势下图书馆理念的新特点,探讨了正确领会图书馆新理念的意义。     

求解电力系统潮流方程全部解的LINGO方法

针对现有电力系统潮流方程全部实数解求解方法的不足,提出了一种用LINGO10.0软件求出全部解的方法。该方法是用LINGO10.0求出一个解后,将该解作为一个约束,使新解与该解不同,直至求出全部解。该方法简单、实用,为潮流方程全部解求解提供了全新的方法。     

基于DSP的超声冲击电源控制系统设计

为解决现有超声冲击模拟电源频率跟踪性能差、恒幅调节步长不可控的缺陷,以TI公司生产的TMS320LF2407A型数字信号处理器(DSP)芯片为控制核心,研制了一套数字化超声冲击电源控制系统.实验证明该设计可以实现精确的频率跟踪、恒幅控制并完成液晶显示,使整个冲击过程维持在良好的谐振状态,从而得到均匀一致的理想冲击表面.