CCD多值逻辑电路

作者提出了一种采用电荷耦合器件(CCD)的多值逻辑电路,它输出的数字信息稳定可靠,并可借以实现所需基数值(由二值直到数百值以上)的多值逻辑。文中介绍了CCD器件的有关原理和基本结构,和据此设计的多值逻辑电路,讨论了其性质及几种应用。     

部分多值逻辑函数集中准完备集的分类问题研究

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。     

逻辑系统Ht中三-I算法的另一种证明

在讨论Ht代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论。     

关系数据库中信息空缺与多值逻辑的研究

研究了信息空缺问题中的多值逻辑，并讨论了多值逻辑对逻辑代数、关系数据库的影响以及SQL对多值逻辑的支持。     

多值逻辑网络的输出跟踪牵制控制

本文利用代数状态空间方法,研究了多值逻辑控制网络的输出跟踪牵制控制.首先利用矩阵的半张量积给出了带牵制控制的多值逻辑控制网络的代数表示.其次基于该代数表示,定义了一组合适的能达集,并建立了多值逻辑控制网络输出跟踪牵制控制器的设计方法.再次,利用多值逻辑哑算子的性质,给出了多值逻辑控制网络分布式输出跟踪控制问题可解的充要条件.最后将所得的理论结果应用于网络演化博弈的演化行为分析.     

基于XY·CN总线的数据采集系统的设计

阐述了一种以TI公司新一代16位单片机MSP430G2553为核心,全桥传感器作为采集前端,并选用XY·CN总线进行远距离传输的数据采集系统。具体介绍了它的工作原理、硬件设计和软件流程。此系统具有低功耗、通讯速率高、总线供电等特点。     

多值逻辑的矢量变换与二值器件实现的综合

本文利用逻辑代数的矢量变换法分析了多值逻辑函数的展开问题,提出了分量递椎式的建立方法,举例说明了用二值元件实现多值逻辑函数的综合过程。本文结果表明,利用矢量变换法,可以用类似于二值逻辑的方法来处理多值逻辑问题。     

含空值关系数据库中的多值逻辑的研究

论述了含空值关系数据库中的多值逻辑推导及演化过程,并且定义了基于三值逻辑运算的处理规则以及多值逻辑的应用     

多值逻辑函数发生器的优化设计方法

将二值逻辑系统的设计方法巧妙地溶入了多值逻辑系统的设计当中,找到了实现多值逻辑系统设计的最优方法.并通过典型实例的分析,总结出三点结论,可望促进多值逻辑技术的普及与发展.     

多值逻辑研究的进展与动向

本文综述了近年来我国多值逻辑研究的进展,并对其中较有代表性的成果作了重点介绍.分析了国际上多值逻辑研究的新动向,重点讨论了多值逻辑研究与分子计算机、光计算机及人工智能等研究领域的关系.     

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.     

Multilayer Feedforward Neural Network Based on Multi-valued Neurons (MLMVN) and a Backpropagation Learning Algorithm

A multilayer neural network based on multi-valued neurons (MLMVN) is considered in the paper. A multi-valued neuron (MVN) is based on the principles of multiple-valued threshold logic over the field of the complex numbers. The most important properties of MVN are: the complex-valued weights, inputs and output coded by the kth roots of unity and the activation function, which maps the complex plane into the unit circle. MVN learning is reduced to the movement along the unit circle, it is based on a simple linear error correction rule and it does not require a derivative. It is shown that using a traditional architecture of multilayer feedforward neural network (MLF) and the high functionality of the MVN, it is possible to obtain a new powerful neural network. Its training does not require a derivative of the activation function and its functionality is higher than the functionality of MLF containing the same number of layers and neurons. These advantages of MLMVN are confirmed by testing using parity n, two spirals and “sonar” benchmarks and the Mackey–Glass time series prediction.     

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

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

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

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

Reconfiguring system hierarchies with multi-valued logic

We propose a mathematical formalism to define a system hierarchy and choose a way to reconfigure it based on multi-valued logic. We consider an application of this formalism to control over a group surveying the danger zone after a natural disaster.     

任意值数触发器电路设计及其应用

本文在运用ＤＹＬ集成线性“与或”门构成多值反相器的基础上，设计出可存储任意逻辑状态值的ＲＳ触发器，Ｄ触发器和ＪＫ触发器，这类任意值数触发器可作为多值逻辑器件，用于多值时序电路设计。     

基于STM32的航天器电气负载监控系统设计

针对传统电气负载监控系统通信纠错率较低,造成航天器电气负载监控准确率较差的问题,基于STM32设计一种新的航天器电气负载监控系统;分别设计电气负载监控系统的硬件和软件;系统硬件主要设计了嵌入式数据接口以及外接设备、驱动芯片以及监控继电器控制模块,WLAN驱动芯片能够有效降低成本和功耗,提高通信速率;通过电气负载监控执行实现软件功能,建立电力负载管理中心软件,提高监控系统的通信能力,提升负载监控的准确性;实验结果表明,基于STM32的航天器电气负载监控系统通信纠错率平均值为92%,航天器电气负载监控过程误差较小,具有一定的实际应用性。     

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

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

Decrease-radix design principle for carrying/borrowing free multi-valued and application in ternary optical computer

In this paper a new theory referred to as the decrease-radix design （DRD） is proposed, which is found in the research of logic units of ternary （tri-valued） optical computer. Based on the theory proposed, the principles and the regulations of the DRD for making operation units of multi-valued operation with carrying/borrowing free are also presented. The research work has come to the following important conclusion： let D be a special state contained in n physical informative states, then one may figure out any multi-valued processors within n^（n×n） carrying/borrowing free n-valued units by the composition some of n×n×（n-1） simplest basic operating units according to the regulations of DRD proposed in this paper. The detailed systematic way of our design regulations is highlighted step by step in the paper with an example of design of a tri-valued logic optical operating unit. The real architecture, the procedure, and the experimental results of our sample in tri-valued logic operating unit are given. Finally, a re-constructible model of ternary logical optical processor is introduced. The theory proposed in the paper has laid down a solid foundation for the design of re-constructible carrying/borrowing free operating units in ternary optical computers and can be widely used as the designing reference in a variety of multi-valued logic operating units.     

Shape and topology preserving multi-valued image pyramids for multi-resolution skeletonization

Starting from a binary digital image, a multi-valued pyramid is built and suitably treated, so that shape and topology properties of the pattern are preserved satisfactorily at all resolution levels. The multi-valued pyramid can then be used as input data to any grey-level skeletonization algorithm. In this way, a multi-resolution skeleton is computed, which could be useful in many image analysis tasks.