多值触发器及其在时序电路设计中的应用

本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。作者将ＤＹＬ集成线性“与或“门，用来设定多值逻辑电平的基础上，提出了多值Ｄ、Ｔ、ＪＫ等触发器电路，并将这类多值触发器，作为多值逻辑器件，用于时序电路设计。     

电气成套装置3维设计系统的研究及实现

本文以ＡｕｔｏＣＡＤＲ１２／Ｗｉｎ为平台，以ＢｏｒｌａｎｄＣ＋＋４．０为工具，完成了电气成套装置３维设计系统ＥＬＥ３ＤＣＡＤ。它利用ＡｕｔｏＣＡＤＳＱＬ的程序接口ＡＳＩ，把Ｆｏｘｐｒｏ／Ｗｉｎ编制成的外部数据库与ＡｕｔｏＣＡＤ的图形数据库联系起来。ＥＬＥ３ＤＣＡＤ基于ＡｕｔｏＣＡＤＡＭＥ，是一种实体造型的３维设计系统。该系统可得到任意角度的视图和任意多个剖切平面下的剖视图，可对电气元件进行空间碰撞检测和电气碰撞检则。     

简单晶体管任意进制计数电路

<正> 计数电路可用来构成分频器、计数器、节拍脉冲发生器和各种运算器;在数字仪器、计算机以及工业自动化程序控制中有其广泛的用途。计数电路有的采用单片集成电路,有的采用多个集成电路触发器(如JK触发器、D触发器)组成。当需接成任意进制计数电     

多变量三值时序电路综合

本文提出多变量三值时序电路综合基本方法，首先从转移条件推出电路方程，使功能复杂的多变量三值时序电路易于实现，接着本文研究电路状态分配原则和指数运算定理，最后扩展三值非完全描述的概念，用以表达任意型触发器的激盛函数。     

二值触发器和三值触发器的关系

本文研究二值触发器和二值触发器的关系。当三值信号中有一值不会出现时，各型三值触发器在功能上将转化为相应类型的二值触发器，立即转化为相同结构的二值触发器，另一些三值触发器结构稍加变换也转化为常用结构的二值触发器，便于用统一的方法研究三值时序电路，以及二值与三值混合的时序电路。     

模N混值计数器及其快速综合

本文提出一种模Ｎ计数器的混值编码方案，并利用逻辑函数修改技术导出了用纯二值结构的三值触发器和普通二值触发器设计模Ｎ混值计数器的代数公式。     

一种用于实现任意基数值时序逻辑的阈值存储电路

本文基于多值时序电路的次态方程和输出方程最小项展开式,提出了一种具有任意值输入、双轨二值输出的阈值存储电路设计方案,它和多值与或门配合,运用Disjoint代数能够设计出任意基数值时序电路.文中通过三值九进制计数器的设计,阐明了任意基数值时序电路的设计方法.     

三值边沿触发器的研究

本文从实用考虑出发,利用时钟信号的竞争提出三值边沿触发器的逻辑设计,从而完整了对三轨三值触发器系列的研究。 作为多值数字系统中的关键部件,对多值存储单元的研究一直受到重视。研究表明,如果它们能用传统的集成技术与二值存储单元制作在同一芯片上,则可构成冗余态较少,可靠性较强,及电路较简单的混值计数器,这种计数器可以在系统中替代相应的二     

面向对象数据库系统的触发器机制

如何将触发器机制引入数据库系统是人们长期以来一直关心、考虑的问题。本文就面向对象数据库系统（ＯＯＤＢＳ）中的触发器机制进行了讨论，具体介绍了我们研制的ＯＯＤＢＳ中触发子的描述形式与操作，处理方式。     

数据库表格自动快照的实现

有人可能想到会在数据库中通过触发器实现快照，但我们知道有些数据库中触发器是不能通过时间触发的，譬如SQL Server中就不能通过时间触发。那么我们怎样在任意时刻为某个表格建立快照哪?     

Multi-valued autoepistemic logic

We generalize Moore's autoepistemic logic to multi-valued autoepistemic logic, where the set of truth-values can be any complete lattice. Multi-valued autoepistemic extensions can be characterized by admissible belief interpretations which are the conrete approximations of extensions and are appropriate to be computed and manipulated. We prove that multi-valued autoepistemic extensions are exactly the theories of maximal multi-valued Kripke models. The class of stratified theories is investigated and it is shown that stratified theories have exactly one multi-valued autoepistemic extension. Finally we present a sequent calculus for multi-valued logic which serves as a tool for a decision procedure for multi-valued autoepistemic logic.     

基于多值逻辑的双向工频自动通信系统

在以电力线为媒介的数据通讯中,双向工频自动通信系统由于具有独特的优点,通讯效果最好。但是它最大的缺点是通讯速率低。为此本文提出了用多值逻辑代替传统的二值逻辑以提高通讯速率。文中给出了多值逻辑条件下数据的调制解调原理和纠错原理,并推导出数字就错的最终求解公式。     

CWA formalizations in multi-valued logics

To enhance the expressive power and the declarative abiltity of a deductive database,various CWA(Closed World Assumption)formalizations including the naive CWA,the generalized CWA and the careful CWA are extended to multi-valued logics.The basic idea is to embed logic formulas into some polynomialring,The extensiona can be applied in a uniform manner to any finitely multi-valued logics,Therefore they also of computational significance.     

Emitter-couple logic circuit design based on the threshold-arithmetic algebraic system

Based on the threshold-arithmetic algebraic system which has been proposed for current-mode circuit design,we propose a systematic methodology for emitter-couple logic(ECL)circuit design.Compared to the traditional methodologies and the theory of differential current switches,the proposed methodology uses the HE map and the characteristics of the internal current signals of ECL circuits to determine the external voltage signals.The operations of the HE map are direct and simple,and the current signals are easy to add or subtract,which make this methodology more flexible,direct,and effective,and make it possible to design arbitrary binary and multi-valued logic functions.Two example circuits are designed and simulated by HSPICE using 0.18μm TSMC technology.Simulation results confirm the validity of the proposed methodology.     

具有多值决策过程的广义可能性计算树逻辑模型检测

模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。     

一种实现三值逻辑电路的DNA计算模型

近年来,随着生物计算和量子计算研究的深入,多值逻辑电路的各种实现成为一个热门的研究方向.发夹结构是DNA分子一种特殊杂交方式的产物,具有结果稳定、特异性强的优点.本文首次提出了一种利用DNA分子来实现多值逻辑电路的方法,用DNA分子的多发夹结构来表示三值逻辑的值,并给出"与"运算和"或"运算的计算模型,该模型适合应用于大规模的多值逻辑电路.     

MVL条件下k—out—of-n：S系统的研究

复杂网络环境下的系统组件往往处于多种不同状态,二值逻辑(BL)在描述多种组件状态时显得无能为力.本文提出了采用多值逻辑(MVL)分析组件状态,重点描述k-out-of-n:S系统模型,并采用Minkowski距离和定义可生存性函数描述系统状态和可生存性.实验表明,MVL条件下的k-out-of-n:S模型很好地描述了系统的状态扣可生存性.     

Data structures for symbolic multi-valued model-checking

Multi-valued logics provide an interesting alternative to classical boolean logic for modeling and reasoning about systems. Such logics can be used for reasoning about partially-specified systems, effectively encode vacuity detection and query-checking problems, help in detecting inconsistencies, and many others.In our earlier work, we identified a useful family of multi-valued logics: those specified over finite distributive lattices where negation preserves involution, i.e., for every element a of the logic. Such structures are called quasi-boolean algebras, and model-checking over these not only extends the domain of applicability of automated reasoning to new problems, but can also speed up solutions to some classical verification problems.Symbolic model-checking over quasi-boolean algebras can be cast in terms of operations over multi-valued sets: sets whose membership functions are multi-valued. In this paper, we propose and empirically evaluate several choices for implementing multi-valued sets with decision diagrams. In particular, we describe two major approaches: (1) representing the multi-valued membership function canonically, using MDDs or ADDs; (2) representing multi-valued sets as a collection of classical sets, using a vector of either MBTDDs or BDDs. The naive implementation of (2) includes having a classical set for each value of the algebra. We exploit a result of lattice theory to reduce the number of such sets that need to be represented.The major contribution of this paper is the evaluation of the different implementations of multi-valued sets, done via a series of experiments and using several case studies.