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

动态模糊逻辑程序设计语言的代数语义模型及应用研究 中文摘要 动态模糊逻辑程序设计语言的代数语义模型及应用研究幸 中文摘要 本文给出了动态模糊逻辑(DFL)程序设计语言的基本数据类型及其抽象语法结 构。在此基础上，根据范畴论和指称语义的原理，给出了动态模糊逻辑程序设计语言 的范畴描述，定义了它的语义域、语义函数，从而给出其指称语义。最后给出了动态 模糊逻辑程序设计语言的实例分析。 本文的特色主要体现在如下几个方面： 1．给出了动态模糊逻辑程序设计语言的范畴描述； 2．给出了动态模糊逻辑程序设计语言的代数语义模型，包括DFL程序设计语言 的极限代数语义、伴随语义、模结构代数语义及加法范畴语义； 3．提出了动态模糊逻辑程序设计语言的拓展语义，给出了动态模糊层范畴的定 义、基本原理、性质和操作等； 总之，本文的工作进一步丰富和发展了动态模糊逻辑程序设计语言的研究内容。 相信不久的将来，动态模糊逻辑程序设计语言会给我们带来无穷的益处。 关键词：动态模糊逻辑；动态模糊逻辑程序设计语言；范畴；代数语义模型 作 ．者：韩小芬 指导老师：李凡长(教授) ’本文的研究得到国家自然科学基金资助 and Research onthe Semantics ApplicationsAlgebra ModelsofDFL ProgrammingLanguage Abstract This the basicdata andabstract structureof papergives types grammatical dynamic fuzzy tothe andmethodof logic(DFL)programming principle language．According and ofDFL denotational definesits category semantics，this paper categoricaldescription thendentinessemantics functionsand programminglanguage，and domains，semantics denotationalsemantics all modelofDFL last，we programminglanguage．Atgiveexample oftheDFL programminglanguage． Thecharacteristicofthis asfollows： is paper (1)The ofDFL