表格方法相关论文
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求.在过去的30多年间,表格语言已经成功地应用于多个安全关键......
为了简化Reed—Muller型逻辑函数的布尔差分与布尔偏导数的计算过程，提出了一种基于表格的新方法．该方法通过用表格列出Reed—Muller......
分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题，在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与......
讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方......
讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式．在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法．根据二阶布尔......
阐述了用逻辑函数的布尔除／符合展开的3种表示形式：代数表示，图形表示和表格表示，讨论了变量极性改变与0值布尔除项表变化的关系．在此基......
讨论了旋转对称函数的定义和性质，提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法，提出了直接从RM型逻辑函数的Reed—Mu......
给出了布尔函数的e导数、高阶e导数以及e偏导数的定义，在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以......
众所周知使用Excel可通过简单的操作即可完成复杂的表格制作,然而Autocad在制表方面功能较弱。您是否有这样的经验,在你已经用Exce......
随着数字电路的设计规模和复杂程度的大大提高，传统的数字理论已不能很好的满足需要，有必要对它做进一步的探讨和研究。近代数字理论......
