-
题名基于最小项表计算e导数的方法
被引量：3
- 1
-
-
作者
马汝星
陈偕雄
-
机构
金华职业技术学院信息学院
浙江大学信息与电子工程学系
-
出处
《浙江大学学报（理学版）》
CAS
CSCD
2013年第5期531-534,共4页
-
基金
浙江省重点科技创新团队基金项目(2010R50006)
-
文摘
给出了布尔函数的e导数、高阶e导数以及e偏导数的定义,在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以及e偏导数的表格方法.该方法具有简单、不受变量数限制以及易于计算机编程操作等优点.
-
关键词
布尔函数
表格方法
最小项表
e导数
密码学
-
Keywords
Boolean function
tabular methods
minterm table
e-derivative
cryptography
-
分类号
TP331
[自动化与计算机技术—计算机系统结构]
-
-
题名基于列表法的全部质蕴含项的程序实现
被引量：1
- 2
-
-
作者
王忠林
张秀伟
-
机构
滨州学院物理与电子科学系
-
出处
《滨州学院学报》
2008年第3期87-89,共3页
-
基金
滨州学院教学研究项目(BZXYJY200515)
滨州学院实验技术研究重点项目(BZXYSYXM200702)
-
文摘
针对全部质蕴含项进行研究并给出简单易行的计算机编程方案,结果表明,这种计算机软件编程实现方法与手动化逻辑函数简的结果完全一致,可以达到降低系统成本、减小复杂度、提高可靠性的目的.
-
关键词
列表法
逻辑函数
质蕴含项
-
Keywords
tabular methods
logical function
prime implication
-
分类号
TP33
[自动化与计算机技术—计算机系统结构]
-
-
题名表格语言的分析比较
- 3
-
-
作者
陈怡海
缪淮扣
-
机构
上海大学计算机工程与科学学院
上海市计算机软件评测重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2014年第3期23-26,共4页
-
基金
国家自然科学基金项目(61073050
61170044)资助
-
文摘
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
-
关键词
表格方法
形式方法
规格说明验证与确认
工具支持
-
Keywords
tabular notations
Formal methods
Specification verification and validation
Tool support
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
