共查询到20条相似文献,搜索用时 15 毫秒
1.
动态模糊问题是普遍存在的,但是现存的程序设计语言中适合解决动态模糊问题的极少,本文试图作这方面的研究,设计一种适合解决动态模糊性问题的程序设计语言.本文仿照监督命令的程序结构,给出动态模糊逻辑程序设计语言的一个抽象模型,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义. 相似文献
2.
动态模糊逻辑程序设计语言的指称语义 总被引:1,自引:0,他引:1
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程. 相似文献
3.
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言.仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性. 相似文献
4.
5.
本文提出了一种兼备函数/逻辑功能的程序设计语言RFUNLOG。它不仅具有统一的语法形式和丰富的语言设施,而且有统一的操作语义,整个语言可以用图归约的概念来解释。 相似文献
6.
Zhen-HuaDuan MaciejKoutny 《计算机科学技术学报》2004,19(C00):20-20
本文提出了区间时序逻辑的一个变种——投影时序逻辑,给出了它的语法规则和语义定义,并建立了该逻辑系统的模型理论。在该逻辑系统中,我们引入了一个新的投影操作符(prj)。这使得我们不仅能够在不同的时间层次上控制进程的并行操作,而且可以以该操作符为基础定义顺序操作符(chop)和并行操作符(‖)。因此,该逻辑系统比区间时序逻辑具有更强的表达能力。同时,本文也给出了与投影操作相关的一些性质。 相似文献
7.
本文设计了一个GHC的并行抽象推理机,对该推理机的进程管理、环境管理、挂起机制、托付机制等一系列课题进行了探讨和研究,并提出了相应的策略和算法。本文提出了一种新的挂起机制实现方法。该方法在保持环境访问效率的前提下,具有较小的系统开销,为GHC的高效实现提供了可能。 相似文献
8.
9.
分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给出了FDDL的语法和语义,研究了FDDL的推理机制。与动态描述逻辑DDL相比,该FDDL可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足。 相似文献
10.
11.
动态模糊主动数据库系统的设计方法初探 总被引:5,自引:0,他引:5
目前,尽管数据库已在各种应用中起着越来越重要的作用,但仍不能满足某些应用的需求这些需求包括:①实时控制功能;②例外或错误的主动处理和制动恢复功能;③系统瞬时状态的输或关键点 相似文献
12.
基于动态模糊逻辑的一种学习模型 总被引:1,自引:0,他引:1
机器学习是人工智能的重要组成部分,可以说人工智能的进一步发展与机器学习的进展是不可分的。要使计算机具有智能,最关键的一点就是要使其具有学习的能力。本文以动态模糊集为基础得到了一个新的学习模型。 相似文献
13.
14.
15.
在动态模糊逻辑的理论基础上,提出一种求动态模糊相似矩阵的传递闭包的简便求法,这种简便求法适合阶数比较大的矩阵,能够降低计算量。 相似文献
16.
17.
一种基于动态模糊逻辑(DFL)的时序推理模型 总被引:1,自引:0,他引:1
在我们生活的环境中,动态模糊事件是普遍存在的,而当今,随着计算机科学技术的发展,人们又试图用计算机来模拟这些具有“动态模糊性”的事件,因此,已往有关文献提出了动态模糊逻辑,动态模糊集,基于DFL的一种学习模型及动态模糊主动数据库系统的设计方法和基本概念,这些理论的提出,虽然为人们解决具有动态模糊性的问题提供了一定的理论依据,但从整个动态模糊系统来看,这些工作仅仅是一些初步的工作,还有许多工作需进一 相似文献
18.
在我们的研究领域中 ,普遍存在动态模糊事件 .而当今 ,随着计算机科学技术的发展 ,人们又试图用计算机来模拟这些具有“动态模糊性”的事件 .因此 ,以往有关文献提出了动态模糊逻辑、动态模糊集、基于 DFL的一种学习模型及动态模糊主动数据库系统的设计方法和基本概念 ,这些理论的提出 ,虽然为人们解决具有动态模糊性的问题提供了一定的理论依据 ,但从整个动态模糊系统来看 ,这些工作仅仅是一些初步的工作 ,还有许多工作需要进一步研究 .文中给出的基于 DFL的时序推理模型正是这种工作的一个补充 . 相似文献
19.
20.