动态模糊逻辑程序设计语言的代数语义模型及应用研究.pdf

苏州大学
硕士学位论文
动态模糊逻辑程序设计语言的代数语义模型及应用研究
姓名:韩小芬
申请学位级别:硕士
专业:计算机软件与理论
指导教师:李凡长
20090501
动态模糊逻辑程序设计语言的代数语义模型及应用研究幸中文摘要本文给出了动态模糊逻辑绦蛏杓朴镅缘幕臼堇嘈图捌涑橄笥锓ń的范畴描述,定义了它的语义域、语义函数,从而给出其指称语义。最后给出了动态模糊逻辑程序设计语言的实例分析。隽硕:呒绦蛏杓朴镅缘拇镆迥P停―程序设计语言岢隽硕:呒绦蛏杓朴镅缘耐卣褂镆澹隽硕:惴冻氲亩总之,本文的工作进一步丰富和发展了动态模糊逻辑程序设计语言的研究内容。关键词:动态模糊逻辑;动态模糊逻辑程序设计语言;范畴;代数语义模型指导老师:李凡长淌构。在此基础上,根据范畴论和指称语义的原理,给出了动态模糊逻辑程序设计语言本文的特色主要体现在如下几个方面:隽硕:呒绦蛏杓朴镅缘姆冻朊枋觯的极限代数语义、伴随语义、模结构代数语义及加法范畴语义;义、基本原理、性质和操作等;相信不久的将来,动态模糊逻辑程序设计语言会给我们带来无穷的益处。:韩小芬动态模糊逻辑程序设计语言的代数语义模型及应用研究’本文的研究得到国家自然科学基金资助
籇篋瑃.;.,.琺:瑂,;,.
中英文名词对照论域数据类型指称语义对偶范畴射复合动态模糊逻辑动态模糊逻辑程序设计语言动态模糊性动态模糊集动态模糊命题逻辑动态模糊真假度动态模糊变量动态模糊布尔量隶属函数隶属度动态模糊数据动态模糊整型数据动态模糊实型数据动态模糊布尔型数据动态模糊字符型数据动态模糊赋值语句动态模糊条件语句动态模糊循环语句范畴对象动态模糊逻辑程序设计语言的代数语义模型及应用研究
函子初始对象终结对象自然变换极限伴随函子左伴随右伴随层范畴模动态模糊逻辑程序设计语言的代数语义模型及应用研究中英文名词对照
研究生签名:韩小考期:口研究生签名:赫、艿苏州大学学位论文独创性声明及使用授权的声明学位论文独创性声明行研究工作所取得的成果。除文中已经注明引用的内容外,本论文不含学位论文使用授权声明合作部、中国社科院文献信息情报中心有权保留本人所送交学位论文的内容。论文的公布ǹ授权苏州大学学位办办理。本人郑重声明:所提交的学位论文是本人在导师的指导下,独立进其他个人或集体己经发表或撰写过的研究成果,也不含为获得苏州大学或其它教育机构的学位证书而使用过的材料。对本文的研究作出重要贡献的个人和集体,均已在文中以明确方式标明。本人承担本声明的法律责任。苏州大学、中国科学技术信息研究所、国家图书馆、清华大学论文复印件和电子文档,可以采用影印、缩印或其他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一致。除在保密期内的保密论文外,允许论文被查阅和借阅,可以公布ǹ论文的全部或部分导师日
⒂肟刂啤吩又旧戏⒈砹恕澳:了模糊集合论,奠定了模糊集理论及其应用研究的基础。引入了“隶属度”这个概念来描述处于中介过渡事物对差异一方所具有的倾向性程度,这是精确性对模糊性的一种逼近,首次成功地运用数学方法刻画模糊性的现象。这无疑是一项意义重大的开山之作。从此,模糊数学作为一门新的数学分支而逐步发展起来。提出了模糊语言变量的概念,并将其用于似然推理。:辑与模糊语言用于工业控制,提出了模糊控制论,使模糊逻辑进入实用阶段。:呒辛斯惴憾钊氲难芯俊O衷谀:呒已用于模糊控制、模糊语言、计算机科学和医疗诊断等方面。:湍:呒@砺刍。痈惴旱慕嵌进行深入研究,提出了动态模糊集和动态模糊逻辑的概念。目前,动态模糊逻辑在基的分解定理、表现定理,基于幕驹砗托灾剩岢隽薉的扩展原理。给出了关系、方程求解、积分和概率空间理论等测度理论。贒的系统结构方面,文献等提出了拿庋菟恪⑽酱谟τ梅矫妫珼已经在机器学习、知识工程、专家系统、问题求解、数据库、多砺垩芯康确矫娑既〉昧讼灾某杉ǎ咛蹇梢越樯苋缦拢机器学习方面提出了学习模型穑訢骰餮胺椒ń辛颂教謓钔,知识工程方面提出了立体判定模型牵蠢∈紻锒舷低骋约癉J侗.:⒈怼澳:惴ā保岢隽四:呒砺邸K解决模糊性问题的有力工具之一础理论和应用方面的研究主要包括:贒基础理论方面,专著等给出了幕拘灾剩纾篋演算、推理规则和归结原理。给出了稳定性理论岢隽O肜啾韧评砟P汀动态模糊逻辑程序设计语言的代数语义模型及应用研究
示方法等’汀数据库方面:文献给出了动态模糊专家数据库系统的设计方法,并对系统的模型乜引、数据的运算口和事件代数等内容。多砺垩芯糠矫妫禾岢隽嘶贒的多鞴ぷ髂P托谝’矧,并贒程序设计语言方面:提出了关系数据库设计语言,文献给出了绦蛏杓朴镅缘某醪街J叮南譡隽薉语言设计的基本框架,文献给