共查询到20条相似文献,搜索用时 93 毫秒
1.
知识概念的模糊模型及模糊目标的识别 总被引:7,自引:0,他引:7
作为EBL(Explanation-BaesedLearning)的发展,从概念的自然形成过程出发,提出了一种新的概念模型FEBM(FuzzyExplanation-BasedModel)当概念的解释谓词集中模糊集以及解释谓词取模糊逻辑值时,给出了求概念真值的表达式;为了解决模糊概念的识别问题,引入了概念的模糊解释树FET,接着给出了对象的模糊识别算法FEBL,最后讨论了FEBM与FEBL的可操作 相似文献
2.
基于Vague集的模糊决策方法 总被引:5,自引:0,他引:5
目前在智能领域中对Vague集的研究已越来越广泛与深入.并运用于决策问题中.为了更加有效地进行模糊决策,提出了一个基于Vague集的模糊决策方法.在这个方法中,对约束条件,从它出现的可能性和不出现的可能性以及未知是否出现的可能性三个方面去综合处理.使得决策更加准确和有效.还给出了一个实例说明这种基于Vague集的模糊决策方法.这个基于Vague集的模糊决策方法的提出,为决策系统提供了一个有用的工具. 相似文献
3.
关于模糊控制理论与应用的若干问题 总被引:31,自引:0,他引:31
根据多年模糊控制系统的理论研究及实际应用的体会,在此简要讨论三个相互关联的问题,希望抛砖引玉,与大家一起探讨.这些论点及具体研究工作已在专著 Fuzzy Control andModeling: alalytical Foundations and Applications(IEEE Press, 2000)中作了全面表述.问题一.模糊控制理论的发展方向 与传统控制理论相比,模糊控制有两大不可比拟的优点.第一,模糊控制在许多应用中可以有效且便捷地实现人的控制策略和经验,这一优点自从模糊控制诞生以来就一直被… 相似文献
4.
5.
6.
7.
本文基于TABLEAU方法,给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论,也给出了作者提出的模糊择优蕴涵的判定过程.据此说明了Yager所给出的推理规则对其所讨论的模糊推理关系是不完备的.分析了本文对前提和结论分别构造TABLEAU推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Prolog的推理机所具有的优越性. 相似文献
8.
模糊Flow-shop问题及其遗传优化 总被引:5,自引:0,他引:5
研究模糊生产环境下的Flow-shop调度问题.针对实际生产中加工时间的不确定性,应用模糊加工时间参数替代传统的清晰参数表示方法,引入了一种新的模糊数比较方法——面积补偿法,构造了一种解模糊Flow-shop问题的有效遗传算法.最后给出计算实例及仿真结果.⒇ 相似文献
9.
基于美国NI公司的图形化软件开发平台Lab-VIEW及其模糊逻辑工具包(Fuzzy Logic for G Toolkit),本文介绍了将LabVIEW应用于基本模糊控制器设计的方法,同时针对其模糊逻辑工具包的不足之处提出了一些改进措施。 相似文献
10.
11.
This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style. 相似文献
12.
为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。 相似文献
13.
14.
Harshavardhana P. Jonckheere E. Silverman L. 《Automatic Control, IEEE Transactions on》1984,29(8):744-746
A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear. 相似文献
15.
16.
17.
Stein Gjessing 《Distributed Computing》1988,2(4):190-200
In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system.
Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages. 相似文献
18.
19.
The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds. 相似文献
20.