【摘 要】
：
本文给出了动态模糊逻辑(DFL)程序设计语言的基本数据类型及其抽象语法结构。在此基础上,根据范畴论和指称语义的原理,给出了动态模糊逻辑程序设计语言的范畴描述,定义了它的
论文部分内容阅读
本文给出了动态模糊逻辑(DFL)程序设计语言的基本数据类型及其抽象语法结构。在此基础上,根据范畴论和指称语义的原理,给出了动态模糊逻辑程序设计语言的范畴描述,定义了它的语义域、语义函数,从而给出其指称语义。最后给出了动态模糊逻辑程序设计语言的实例分析。本文的特色主要体现在如下几个方面:1.给出了动态模糊逻辑程序设计语言的范畴描述;2.给出了动态模糊逻辑程序设计语言的代数语义模型,包括DFL程序设计语言的极限代数语义、伴随语义、模结构代数语义及加法范畴语义;3.提出了动态模糊逻辑程序设计语言的拓展语义,给出了动态模糊层范畴的定义、基本原理、性质和操作等;总之,本文的工作进一步丰富和发展了动态模糊逻辑程序设计语言的研究内容。相信不久的将来,动态模糊逻辑程序设计语言会给我们带来无穷的益处。
其他文献
随着计算机网络和通信技术的发展，通信网络的通信能力越来越强，同时通信网络支持的业务类型也趋向于多样化。现有通信网络的通信能力较以前已经有很大提高，但是随着信息量的日益
双语词汇的构建是自然语言处理领域一项很基础的工作。双语词汇的好坏直接影响到机器翻译、跨语言检索等自然语言处理系统的性能。像人名、地名、机构名、技术术语以及各类新
近年来，随着高性能并行计算的迅速发展，多级互连网作为现代并行计算机和交换系统的核心连接网络，需要更好的支持在并行分布计算机系统里多个要求协作的处理器之间的通信--会议组
近年来,随着科技的飞速发展,新的技术不断被应用到煤矿上,采矿业正在朝智能化方向迈进。但目前传统的采矿方法还无法被完全取代,井下工作人员的生命安全时刻受到突发状况的威
现在,随着信息化建设的高速发展,各个企业,学校,以及党政机关都根据自身具体的需要开发或使用各种信息化管理系统,用以日常的信息化管理工作。但是,由于各个信息化系统采用了
本文采用二阶Z变换对转录因子结合位点序列进行建模。在建模的过程中充分考虑了DNA序列中各位点碱基之间的依赖性，对以往所采用的经典模型进行了一定的改进。在建模过程中采用
人脸识别技术由于在视频监控、安全检测,乃至家庭娱乐等方面潜在的巨大应用前景,近年来受到许多学者、企业、政府部门的普遍关注,并成为生物特征识别领域的研究热点。相对于
移动Ad Hoc网络是由一组具有无线通信能力的移动终端组成的临时的自组织网络。在这个网络中,每个终端既可以作为通信主体提供服务,同时也转发其他终端发送过来的数据分组,行
随着计算领域资源规模不断扩展、处理能力日益增强，资源种类丰富多样，寻求新型的计算机理与模式成为一大热点研究课题，而虚拟化技术为此提供了良好的契机。随着x86服务器市场的
21世纪,是知识和信息的时代,人们渴求各种有用的信息来获得美好的生活。学习机的诞生和普及,改变了人们传统的获取信息的方式,尤其改变了从纸质的书本获取知识的方式。一台便