VHDL语言在个体域D为{0,1}的谓词逻辑定理证明中的应用

›› 2003, Vol. 29 ›› Issue (02): 91-92.

VHDL语言在个体域D为{0,1}的谓词逻辑定理证明中的应用

冷明,唐毅,吴悦,杨洪斌

上海大学计算机学院,上海大学计算机学院,上海大学计算机学院,上海大学计算机学院上海 200072, 上海 200072, 上海 200072, 上海 200072

发布日期:2003-01-25

Application of VHDL Language in Testifying Predicate_Logic Whose Universe D is{0,1}

LENG Ming，TANG Yi，WU Yue，YANG Hongbin

(School of Computer Engineering and Science, Shanghai University, Shanghai 200072)

Published:2003-01-25

摘要/Abstract

摘要： 提出了以VHDL语言为手段，介绍了针对个体域D为{0,1}的谓词逻辑定理证明的实现方法，并在Active-HDL环境中举例说明。

关键词: VHDL语言, 谓词逻辑, 定理证明

Abstract: This paper proposes the application of VHDL language in testifying Predicate_Logic whose universe D is{0,1}, and exemplifies in Active-HDL。

中图分类号:

TP312

冷明,唐毅,吴悦,杨洪斌. VHDL语言在个体域D为{0,1}的谓词逻辑定理证明中的应用[J]. , 2003, 29(02): 91-92.

LENG Ming，TANG Yi，WU Yue，YANG Hongbin. Application of VHDL Language in Testifying Predicate_Logic Whose Universe D is{0,1}[J]. , 2003, 29(02): 91-92.

[1]	王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285.
[2]	夏锐, 钱振江, 刘苇. 一种基于Isabelle/HOL的安全通信协议验证方法[J]. 计算机工程, 2021, 47(1): 146-153.
[3]	钟建, 徐扬, 陈树伟, 何星星. 一阶逻辑中基于稳定度的项评估方法[J]. 计算机工程, 2019, 45(11): 183-190,197.
[4]	祁龙云, 吕小亮, 路红, 黄皓. 汇编级顺序语句块的自动形式化规约及其验证[J]. 计算机工程, 2019, 45(10): 64-69,77.
[5]	徐亮，谭煌. BLP改进模型的形式化描述及自动化验证[J]. 计算机工程, 2013, 39(12): 130-135.
[6]	孙茂华, 缪淮扣, 高洪皓. Web应用中数据库交互行为验证[J]. 计算机工程, 2012, 38(16): 52-56.
[7]	钱振江, 刘苇, 黄皓. 操作系统形式化设计与验证综述[J]. 计算机工程, 2012, 38(11): 234-238.
[8]	臧明相, 王甜甜, 黄战武. 一种电路板智能审查方法[J]. 计算机工程, 2011, 37(7): 265-267.
[9]	崔艳莉, 沈昌祥. 属性远程证明中完整性测量的可信性证明[J]. 计算机工程, 2010, 36(21): 11-13,16.
[10]	陈楠, 李建华, 刘贤. 基于参数关联矩阵的服务组合研究[J]. 计算机工程, 2010, 36(20): 49-51.
[11]	曾宪炼, 马捷中, 任向隆, 何世强. 基于VHDL的故障注入技术[J]. 计算机工程, 2010, 36(11): 244-246,249.
[12]	梁伟;徐建波;唐明董;姜磊. 基于AES的低成本可重构高速加密引擎[J]. 计算机工程, 2008, 34(18): 164-166.
[13]	叶　力;陈俊亮. 基于程序生成的自动化服务组合技术[J]. 计算机工程, 2007, 33(18): 15-17.
[14]	师雪霖, 牛振东, 宋瀚涛. 一种基于 RDF 的半结构化数据查询语言Rquery[J]. 计算机工程, 2006, 32(5): 13-14，25.
[15]	方欢;印玉兰;徐誉尹. 利用谓词/变迁网证明的一阶谓词逻辑命题[J]. 计算机工程, 2006, 32(23): 191-192,.

选择文件类型/文献管理软件名称

选择包含的内容