表格方法相关论文
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求.在过去的30多年间,表格语言已经成功地应用于多个安全关键......
为了简化Reed—Muller型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法．该方法通过用表格列出Reed—Muller......
分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题，在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与......
讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方......
给出了布尔函数的e导数、高阶e导数以及e偏导数的定义，在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以......
随着数字电路的设计规模和复杂程度的大大提高，传统的数字理论已不能很好的满足需要，有必要对它做进一步的探讨和研究。近代数字理论......
