Up to now , there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made . in order to further expand the applications of dfl , this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems 动态模糊逻辑( dfl )的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴dijkstra的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言( dflprogramminglanguage )的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics 主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。
The thesis begins with the basic theory of construction project management , and the target management of construction project which is the foundation of effect evaluation has been expatiated firstly ; then the single evaluation methods in construction project management are analysis , which can be used to give evaluation on some points and taken as the foundation of decision - taking in the project management ; to the effect of the construction project management , the weigh of the index by ahp method is applied to build the corresponding evaluation index system , and the methods of fuzzy evaluation , expert evaluation , weigh sum evaluation , entropy evaluation have been used to give comprehensive effect of the construction management in the thesis ; to the dynamic effect evaluation , the evaluation equations for multi - target at different courses have been set up 论文在对管理效果决定因素进行分析的基础上，建立工程项目管理效果的综合评价指标体系，运用层次分析法求出各指标的权重，分别采用模糊评价、号家评价、加权评价和熵评价等方法，对管理效果进行评价。对工程项目管理过程中的动态效果评价问题，建立相应多目标多时序的动态评价模型，运用动态加权和动态模糊评价方法进行动态效果评价。所作的工作中，工程项目管理效果的模糊评价和熵评价的建模与方法应用是首次提出。
In this paper , a general dynamical fuzzy neural network model ? fuzzy hopfield networks with threshold is developed , which is based on the fuzzy operator composition of max ( ) and weakly continuous t - norms . it is shown that the model is global stable with the hamming distance , and its equilibrium point ( attractor ) is lyapunov stable . finally , a simulation example is employed to demonstrate our conclusions 模与取大( )模糊算子的复合,建立了具有一般意义的动态模糊神经网络? ?带阈值的模糊hopfield神经网络,并系统分析了该动态系统的性能:在hamming距离意义下证明了该网络是稳定的,而且其平衡点(吸引子)具有全局lyapunov稳定性。
Because all their works can ’ t deal with the dynamic fuzzy attributes in autonomic computing systems , this paper tries using dfl ( dynamic fuzzy logic ) to research autonomic computing . our main work includes five aspects as follows : ( 1 ) the model of autonomic computing based on dfl is given . ( 2 ) some issues about dependencies between entities in autonomic systems are discussed 本文对当前的自主计算研究现状进行分析,比较了自主计算研究使用的不同理论和方法,采取“有所为有所不为”的原则,针对自主计算系统中存在的动态模糊性问题,引用动态模糊逻辑( dfl )理论来进行研究。
