首页 | 本学科首页   官方微博 | 高级检索  
     

多值Boole过程
引用本文:杜振军,马光胜.多值Boole过程[J].计算机工程,2003,29(10):21-23.
作者姓名:杜振军  马光胜
作者单位:哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001
基金项目:国家自然科学基金项目(69973014)
摘    要:采用文献1]中定义的扩展Allen-Givone代数概念将Boo1e过程沦扩充,提出了多值Boo1e过程的概念及其运算,为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念,用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中,这种方法有它的应用前景。

关 键 词:Boole过程  多值逻辑电路  带状波形  Allen-Givone代数
文章编号:1000-3428(2003)10-0021-03
修稿时间:2002年6月6日

Multi-valued Boolean Process
DU Zhenjun,MA Guangsheng.Multi-valued Boolean Process[J].Computer Engineering,2003,29(10):21-23.
Authors:DU Zhenjun  MA Guangsheng
Abstract: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.
Keywords:Boolean process  MVL circuits  Belt waveform  Allen givone algebra
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号