多值Boole过程

摘要：

采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充,提出了多值Boole过程的概念及其运算,为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径.提出基于Allen-Givone代数的带状波形概念,用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础.这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型.在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中,这种方法有它的应用前景.

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

所属期刊栏目：29

分类号：O153.2;O158(代数、数论、组合理论)

资助基金：国家自然科学基金69973014

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：21-23