共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
4.
Petri网用于Horn子句的逻辑推论 总被引:5,自引:1,他引:5
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。 相似文献
5.
本文介绍了用于计算机硬件逻辑设计中的仿真系统的实现和使用,它可作为分析,设计和生产各种VLSI芯片前的分析,测试和验证的工具。它的成功开发为硬件设计者提供了一种非常强有力的仿真工具,特别是经移植后本系统可为其它仿真系统所采纳。 相似文献
6.
7.
和众多超频玩家的想法不同,笔者是一个不折不扣的“够用”主义者,在别人连升“三级”(指升级电脑3次)的情况下,依然是我行我素,因为我想不出除了玩游戏需要升级电脑外,能让我升级电脑的其它理由。而且笔者在平时的计算机应用中,还特意找了几款能够延长硬件使用寿命的软件,因此一年下来,我比其它同事省了许多银子,现在拿出来与大家一同探讨。 相似文献
8.
9.
10.
11.
模糊逻辑控制器的演化硬件实现 总被引:1,自引:0,他引:1
讨论在演化硬件(EHW)平台上实现模糊逻辑控制器的演化,模糊逻辑控制器是由一些if-the。规则的集合和具有模糊逻辑的输入输出语言术语特点的一些成员属性函数所构成,这里的演化硬件平台是指可编程模拟选择器阵列,通过遗传算法(GA)演化出的电路具有很强的自适应、自修复能力。 相似文献
12.
13.
14.
15.
16.