逻辑函数的if-then子句表示法

下载PDF

导出

摘要本文提出了逻辑函数的另一种表示方法,与传统的用布尔表达式中表示逻辑的方法不同,这里采用了if-then子句集的形式。本文还讨论了如何将一个布尔表达式转换成等价的if-then子句形式。逻辑函数的这种表示方法加快了逻辑模拟的速度,并且解决了采用诸如OCCAM等并发进程语言来进行逻辑模拟过程中的死锁问题。

作者金海银海

机构地区华中理工大学计算机系蛇口新欣软件产业有限公司

出处《计算机工程与应用》 CSCD 北大核心 1992年第4期33-35,共3页 Computer Engineering and Applications

关键词逻辑函数 if-then子句

分类号 TP31 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1李林功,吴慎山.Transputer和Occam[J].河南师范大学学报（自然科学版）,1992,20(1):92-97.
2倪永仁.话音输入输出接口的设计与实现[J].通信学报,1990,11(5):94-96. 被引量：1
3陈万胜.一个可重构的多Transputer系统的开发[J].舰船电子对抗,1996,19(2):31-33.
4Leon J. Osterweil.Formalisms to Support the Definition of Processes[J].Journal of Computer Science & Technology,2009,24(2):198-211.
5欧阳电平,彭德纯.IBMPC机分布并行语言OCCAM程序设计[J].微电子学与计算机,1989,6(3):22-26.
6管惠维,孙永强.通信进程及OCCAM并行程序设计语言[J].上海工业大学学报,1992,13(5):438-444.
7倪永仁.Transputer和Occam的开发及应用[J].计算机研究与发展,1991,28(3):1-7.
8郭庆平.分布式并行处理模型和OCCAM程序设计[J].交通与计算机,1991(6):42-49.
9陈根社,文传源.Transputer在实时控制中的应用研究现状(上)[J].测控技术,1995,14(2):24-26.
10孙亚军,曹磊,虞厥邦.使用“通信顺序进程”机制的神经网络仿真[J].小型微型计算机系统,1996,17(4):35-39. 被引量：1

计算机工程与应用

1992年第4期

浏览历史

内容加载中请稍等...

逻辑函数的if-then子句表示法

相关作者

相关机构

相关主题

浏览历史