有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。     

Mathematical methods of geoinformatics. III. Fuzzy comparisons and recognition of anomalies in time series

The search for anomalies in time series by methods of fuzzy logic is further explored. The algorithms DRAS and FLARS underlying these methods are further developed in the form of the algorithm FCARS that is completely based on fuzzy comparisons. Parts 1 and 2 were published in Cybernetics and Systems Analysis, No. 2, 2002 and No. 4, 2003. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 3–18, May–June 2008.     

Architectural Methodology Based on Intentional Configuration of Behaviors

Intelligence has been an object of study for a long time. Different architectures try to capture and reproduce these aspects into artificial systems (or agents), but there is still no agreement on how to integrate them into a general framework. With this objective in mind, we propose an architectural methodology based on the idea of intentional configuration of behaviors. Behavior‐producing modules are used as basic control components that are selected and modified dynamically according to the intentions of the agent. These intentions are influenced by the situation perceived, knowledge about the world, and internal variables that monitor the state of the agent. The architectural methodology preserves the emergence of functionality associated with the behavior‐based paradigm in the more abstract levels involved in configuring the behaviors. Validation of this architecture is done using a simulated world for mobile robots, in which the agent must deal with various goals such as managing its energy and its well‐being, finding targets, and acquiring knowledge about its environment. Fuzzy logic, a topologic map learning algorithm, and activation variables with a propagation mechanism are used to implement the architecture for this agent.     

The Dynamics of Syntactic Knowledge

The syntactic approach to epistemic logic avoids the logicalomniscience problem by taking knowledge as primary rather thanas defined in terms of possible worlds. In this study, we combinethe syntactic approach with modal logic, using transition systemsto model reasoning. We use two syntactic epistemic modalities:‘knowing at least’ a set of formulae and ‘knowingat most’ a set of formulae. We are particularly interestedin models restricting the set of formulae known by an agentat a point in time to be finite. The resulting systems are investigatedfrom the point of view of axiomatization and complexity. Weshow how these logics can be used to formalise non-omniscientagents who know some inference rules, and study their relationshipto other systems of syntactic epistemic logics, such as Ågotnesand Walicki (2004, Proc. 2nd EUMAS, pp. 1–10), Alechinaet al. (2004, Proc. 3rd AAMAS, pp. 601–613), Duc (1997,J. Logic Comput., 7, 633–648).     

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

以可靠性为中心的维修在核电站维修优化中的应用与创新

以可靠性为中心的维修(简称RCM)是目前国外广泛采用的维修优化方法。本文介绍了RCM分析方法以及该方法在大亚湾核电站的应用情况,并介绍了对RCM决断逻辑进行优化和改进的情况,最后通过实例说明RCM改进后所取得的效果。     

Design of an intelligent fuzzy logic controller for a nuclear research reactor

The main objective of this paper is to design an intelligent controller system based on the concepts of fuzzy logic. This latter will be used to control the power of a nuclear reactor. The principle of this controller is based on rules established from experiments used with a classical controller and from the knowledge and the expertise of the operators of the reactor. This intelligent controller could be used in parallel with the actual system, which is semiautomatic, as a decision aided system to assist the operators in the control room.     

Fuzzy logic control of vehicle suspensions with dry friction nonlinearity

We design and investigate the performance of fuzzy logic-controlled (FLC) active suspensions on a nonlinear vehicle model with four degrees of freedom, without causing any degeneration in suspension working limits. Force actuators were mounted parallel to the suspensions. In this new approach, linear combinations of the vertical velocities of the suspension ends and accelerations of the points of connection of the suspension to the body have been used as input variables. The study clearly demonstrates the effectiveness of the fuzzy logic controller for active suspension systems. Suspension working space degeneration is the most important problem in various applications. Decreasing the amplitudes of vehicle body vibrations improves ride comfort. Body bounce and pitch motion of the vehicle are presented both in time domain when travelling over a ramp-step road profile and in frequency domain. The results are compared with those of uncontrolled systems. At the end of this study, the performance and the advantage of the suggested approach and the improvement in ride comfort are discussed.     

Fuzzy logic for signal prediction in nuclear systems

In this paper, we present a fuzzy logic-based algorithm which allows to build a predictive model of an evolving signal. The if-then rules are inferred from the available input-output data. The errors of the model predictions with respect to the measured plant signals can then be used to detect, in real-time, any deviation of the process due either to a component's failure or to an operator's action. Applications of the approach are presented with respect to a chaotic time series of literature and to the water level in the steam generator of a PWR.     

The uses of fuzzy logic in autonomous robot navigation

 The development of techniques for autonomous navigation in real-world environments constitutes one of the major trends in the current research on robotics. An important problem in autonomous navigation is the need to cope with the large amount of uncertainty that is inherent of natural environments. Fuzzy logic has features that make it an adequate tool to address this problem. In this paper, we review some of the possible uses of fuzzy logic in the field of autonomous navigation. We focus on four issues: how to design robust behavior-producing modules; how to coordinate the activity of several such modules; how to use data from the sensors; and how to integrate high-level reasoning and low-level execution. For each issue, we review some of the proposals in the literature, and discuss the pros and cons of fuzzy logic solutions. Received: 31 March 1997 / Accepted: 24 September 1997