学位论文 > 优秀研究生学位论文题录展示
动态模糊逻辑程序设计语言的操作语义模型及验证
作 者: 赵小芳
导 师: 李凡长
学 校: 苏州大学
专 业: 计算机应用
关键词: 动态模糊逻辑 动态模糊逻辑程序设计语言 操作语义 λ演算
分类号: TP312
类 型: 硕士论文
年 份: 2006年
下 载: 100次
引 用: 3次
阅 读: 论文下载
内容摘要
动态模糊逻辑(DFL)的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴Dijkstra的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言(DFL Programming Language)的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。主要内容包括:变形传统的λ演算,以更好地描述具有动态模糊性的问题;通过BNF描述了DFL程序设计语言的抽象语法;通过一个三元组<DFSC,DFO,DFSS>给出了DFL程序设计语言的操作语义模型;给出了DFL程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过Hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。在描述、解决具有动态模糊性的问题时,本文所给出的DFL程序设计语言的操作语义模型与常见的高级程序设计语言相比表现出了很好的优越性。本文的特色体现在:(1)提出了可以描述动态模糊性问题的λ演算的变形方法;(2)提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明;(3)提出了DFL程序设计语言的基本框架结构。
|
全文目录
中文摘要 3-4 Abstract 4-7 第一章 引论 7-12 1.1 动态模糊逻辑(DFL)的研究综述 7-8 1.2 问题的提出 8-11 1.3 本文的内容安排 11-12 第二章 动态模糊逻辑程序设计语言的基础理论 12-29 2.1 动态模糊逻辑(DFL)简介 12-17 2.1.1 DFL 的命题演算 12-14 2.1.2 DFL 的谓词演算 14-15 2.1.3 动态模糊数据理论 15-17 2.2 操作语义 17-19 2.2.1 操作语义的研究历史 17-18 2.2.2 结构化操作语义 18-19 2.3 DFL 的λ演算描述 19-27 2.3.1 传统的λ演算 19-23 2.3.1.1 λ项 20-21 2.3.1.2 置换(Substitution) 21 2.3.1.3 α-变换(α-conversion) 21-22 2.3.1.4 β-归约(β-conversion) 22 2.3.1.5 丘奇-罗赛定理(Church-Rosser) 22-23 2.3.2 变形传统的λ演算 23-27 2.3.2.1 变形的λ演算的项 23-25 2.3.2.2 变形的λ演算的置换 25 2.3.2.3 变形的λ演算的α-变换 25-26 2.3.2.4 变形的λ演算的β-归约 26 2.3.2.5 变形的λ演算的丘奇-罗赛定理 26-27 2.3.3 动态模糊命题的λ演算描述 27 2.3.4 动态模糊谓词的λ演算描述 27 2.4 本章小结 27-29 第三章 动态模糊逻辑辑程序设计语言的语法 29-33 3.1 监督命令程序结构 30 3.2 动态模糊逻辑程序设计语言的抽象语法 30-32 3.3 本章小结 32-33 第四章 动态模糊逻辑程序设计语言的操作语义模型 33-45 4.1 动态模糊逻辑程序设计语言的操作语义模型结构 33-37 4.1.1 动态模糊语法范畴(DFSC) 34 4.1.2 动态模糊算子(DFO) 34 4.1.3 动态模糊语义(DFSS) 34-37 4.1.3.1 表达式 35 4.1.3.2 布尔表达式 35 4.1.3.3 语句 35-37 4.1.3.4 监督命令 37 4.2 动态模糊逻辑程序设计语言的数据类型的操作语义 37-44 4.2.1 动态模糊逻辑程序设计语言的基本数据类型的表示 38-39 4.2.2 动态模糊逻辑程序设计语言的基本数据类型的操作语义 39-43 4.2.2.1 动态模糊整型数据(DFInt) 39 4.2.2.2 动态模糊实型数据(DFReal) 39-40 4.2.2.3 动态模糊布尔型数据(DFBool) 40-42 4.2.2.4 动态模糊字符型数据(DFChr) 42-43 4.2.3 其它数据类型 43-44 4.3 本章小结 44-45 第五章 动态模糊逻辑程序设计语言的框架 45-53 5.1 处理对象的动态模糊化 46-48 5.1.1 动态模糊整数 46-48 5.1.2 动态模糊布尔值 48 5.1.3 动态模糊字符 48 5.2 类型的动态模糊化 48-50 5.3 语句的动态模糊化 50-52 5.4 本章小结 52-53 第六章 动态模糊逻辑程序设计语言的应用 53-59 6.1 应用实例 53-57 6.2 程序的执行过程 57-58 6.3 本章小结 58-59 第七章 验证 59-69 7.1 正确性验证 59-63 7.2 可靠性验证 63-68 7.2.1 动态模糊逻辑程序设计语言的指称语义 64-66 7.2.2 推理规则的可靠性证明 66-68 7.3 本章小结 68-69 第八章 结论与展望 69-70 参考文献 70-75 致谢 75-76 附录 76-77 中英文名词对照 77-79 中文详细摘要 79-81
|
相似论文
- 以动词为逻辑驱动的中文信息处理系统的建设,TP391.1
- 一类面向动态模糊数据的学习算法研究,TP181
- rCOS的操作语义及其在程序分析中的应用,TP311.52
- 基于DFL的人力资源评估模型及其应用,F272.92
- 动态模糊逻辑(DFL)真值域谱理论及应用研究,TP18
- 基于本体的空间数据建模,P208
- 一种基于DFL的自主计算模型及其应用研究,TP301
- 基于DFL的多agent学习模型研究,TP18
- 动态模糊逻辑(DFL)的推理模型及应用研究,TP18
- 语义链网络的构建和操作,TP393.02
- 基于事件的Verilog结构化操作语义,TN702
- 基于UML的形式化面向对象软件测试用例辅助生成技术,TP311.5
- 基于DFL的agent的问题求解模型及其应用研究,TP18
- 基于UML Statechart图的软件测试用例自动生成技术研究,TP311.52
- 多级安全系统中主体间信息感知机理的研究,TP309
- 基于动态模糊逻辑(DFL)的Agent推理模型及验证系统,TP18
- 过程式程序设计语言操作语义的可视化实现,TP311.52
- 框架时序逻辑程序语言MSVL的形式语义,TP312.1
- 异构资源中基于本体的信息互操作性研究,TP302
- Java虚拟机安全性的形式化分析和验证,TP312.1
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序语言、算法语言
© 2012 www.xueweilunwen.com
|