多值Boole过程  

Multi-valued Boolean Process

作　　者：杜振军[1] 马光胜[1] 

机构地区：[1]哈尔滨工程大学计算机科学与技术学院,哈尔滨150001

出　　处：《计算机工程》2003年第10期21-23,共3页Computer Engineering

基　　金：国家自然科学基金项目(69973014)

摘　　要：采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充，提出了多值Boole过程的概念及其运算，为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念，用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中，这种方法有它的应用前景。This paper adopts definitions of the algebra described in documentation [1], in which is presented an extension of Allen-Givone implementation oriented algebra. In this paper,Boolean process is extended as multi-valued Boolean process to provide an analytical approach to MVL circuits representation to precisely describe logical and timing behavior simultaneously. Examples show it can be used in many disciplines such as testing, simulation and synthesis, having wide application prospect in the field of design automation.

关 键 词：Boole过程 多值逻辑电路 带状波形 Allen-Givone代数 

分 类 号：O153.2[理学—数学] O158[理学—基础数学]