Logic of non-interacting programs and reactive systems

OpenAIRE

Shelekhov, Vladimir; Tumurov, Erdem

2012-01-01

The notion of a program logic is introduced to denote a set of predicates which are true in different program points. The program logic can be easily constructed for different kinds of statements of an imperative or a functional language with data types except pointers. For a non-interacting program, a total correctness formula based on the program logic is defined. The rules of program correctness proof have been developed for proving the statements of various kinds. For a reactive system, t...

Permission-Based Separation Logic for Multithreaded Java Programs

NARCIS (Netherlands)

Haack, Christian; Huisman, Marieke; Hurlin, C.

2011-01-01

This paper motivates and presents a program logic for reasoning about multithreaded Java-like programs with concurrency primitives such as dynamic thread creation, thread joining and reentrant object monitors. The logic is based on concurrent separation logic. It is the first detailed adaptation of

Universal Programmable Logic Controller Software

International Nuclear Information System (INIS)

Mohd Arif Hamzah; Azhar Shamsudin; Fadil Ismail; Muhammad Nor Atan; Anwar Abdul Rahman

2013-01-01

Programmable Logic Controller (PLC) is an electronic hardware which is widely used in manufacturing or processing industries. It is also serve as the main control system hardware to run the production and manufacturing process. There are more than ten (10) well known company producing PLC hardware, with their own specialties, including the method of programming and language used. Malaysia Nuclear Agency have various plant and equipment, runs and control by PLC, such as Mintex Sinagama Plant, Alurtron Plant, and few laboratory equipment. Since all the equipment and plant are equipped with various brand or different manufacture of PLC, it creates difficulties to the supporting staff to master the control program. The same problems occur for new application of this hardware, since there no policies to purchase only one specific brand of PLC. (author)

Automated termination proofs for logic programs by term rewriting

NARCIS (Netherlands)

Schneider-Kamp, P.; Giesl, J.; Serebrenik, A.; Thiemann, R.

2009-01-01

There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the logic program. Transformational approaches transform a logic program into a Term Rewrite System (TRS) and then analyze

Integrated plant automation using programmable logic controllers

International Nuclear Information System (INIS)

Qureshi, S.A.

2002-01-01

In the world of automation the Programmable Logic Controller (PLC) has became for control. It now not only replaces the earlier relay logic controls but also has taken over many additional control functions. Initially the PLC was used to replace relay logic, but is ever-increasing range of functions means that it is found in many and more complex applications. As the structure of the PLC is based on the same principles as those employed in computer architecture, it is capable of performance not only relay switching tasks, but also other applications such as counting, calculating, comparing and the processing of analogue signals. Due to the simplicity of entering and modifying the programmed instructions to suit the requirements of the process under control, the PLC is truly a versatile and flexible device that can be employed easily and efficiently to repeatedly control tasks that vary in nature and complexes. A photograph of the Siemens S-5 95U. To illustrate the advantage of using a PLC over a traditional relay logic system, consider a control system with 20 input/output points. This assembly could comprise 60-80 relays, some counter/timers and a great deal of wiring. This assembly would be cumbersome with a power consumption of 30-40VA. A considerable time would be required to design, test and commission the assembly and once it is in full working order any desired modification, even of minor nature, could require major hardware changes. (author)

Logical design for computers and control

CERN Document Server

Dodd, Kenneth N

1972-01-01

Logical Design for Computers and Control Logical Design for Computers and Control gives an introduction to the concepts and principles, applications, and advancements in the field of control logic. The text covers topics such as logic elements; high and low logic; kinds of flip-flops; binary counting and arithmetic; and Boolean algebra, Boolean laws, and De Morgan's theorem. Also covered are topics such as electrostatics and atomic theory; the integrated circuit and simple control systems; the conversion of analog to digital systems; and computer applications and control. The book is recommend

Programmable logic controllers in Heavy Water Project, Manuguru (Paper No. 3.4)

International Nuclear Information System (INIS)

Gupta, S.C.; Bhaskar, R.; Maiti, A.; Venkatesu, G.; Satish, P.; Goel, R.K.

1992-01-01

Enhancement to plant operational flexibility has been achieved in Heavy Water Project, Manuguru by installing programmable logic controllers for its control equipment. The earlier sulfide based Heavy Water Plant, Kota is using relay logic and diode based program-matrix for binary controls. Performance improvement and advantages of PLC and experience in its operation are described. (author). 3 refs

Methods in Logic Based Control

DEFF Research Database (Denmark)

Christensen, Georg Kronborg

1999-01-01

Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC...

Introduction to type-2 fuzzy logic control theory and applications

CERN Document Server

Mendel, Jerry M; Tan, Woei-Wan; Melek, William W; Ying, Hao

2014-01-01

Written by world-class leaders in type-2 fuzzy logic control, this book offers a self-contained reference for both researchers and students. The coverage provides both background and an extensive literature survey on fuzzy logic and related type-2 fuzzy control. It also includes research questions, experiment and simulation results, and downloadable computer programs on an associated website. This key resource will prove useful to students and engineers wanting to learn type-2 fuzzy control theory and its applications.

Permission-based separation logic for multi-threaded Java programs

NARCIS (Netherlands)

Amighi, A.; Haack, Christian; Huisman, Marieke; Hurlin, C.

This paper presents a program logic for reasoning about multithreaded Java-like programs with concurrency primitives such as dynamic thread creation, thread joining and reentrant object monitors. The logic is based on concurrent separation logic. It is the first detailed adaptation of concurrent

Proving termination of logic programs with delay declarations

NARCIS (Netherlands)

E. Marchiori; F. Teusink (Frank)

1996-01-01

textabstractIn this paper we propose a method for proving termination of logic programs with delay declarations. The method is based on the notion of recurrent logic program, which is used to prove programs terminating wrt an arbitrary selection rule. Most importantly, we use the notion of bound

Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs

DEFF Research Database (Denmark)

Giesl, J.; Ströder, T.; Schneider-Kamp, P.

2013-01-01

There exist many powerful techniques to analyze termination and complexity of term rewrite systems (TRSs). Our goal is to use these techniques for the analysis of other programming languages as well. For instance, approaches to prove termination of definite logic programs by a transformation...... to TRSs have been studied for decades. However, a challenge is to handle languages with more complex evaluation strategies (such as Prolog, where predicates like the cut influence the control flow). We present a general methodology for the analysis of such programs. Here, the logic program is first...... information on the termination or complexity of the original logic program. More information can be found in the full paper [1]. © 2013 Springer-Verlag....

Procedural and Logic Programming: A Comparison.

Science.gov (United States)

Watkins, Will; And Others

1988-01-01

Examines the similarities and fundamental differences between procedural programing and logic programing by comparing LogoWriter and PROLOG. Suggests that PROLOG may be a good first programing language for students to learn. (MVL)

Testing Automation of Context-Oriented Programs Using Separation Logic

Directory of Open Access Journals (Sweden)

Mohamed A. El-Zawawy

2014-01-01

Full Text Available A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP. This technique is more structured and modular than object-oriented and aspect-oriented programming and hence more flexible. For context-oriented programming, as implemented in COP languages such as ContextJ* and ContextL, this paper introduces accurate operational semantics. The language model of this paper uses Java concepts and is equipped with layer techniques for activation/deactivation of layer contexts. This paper also presents a logical system for COP programs. This logic is necessary for the automation of testing, developing, and validating of partial correctness specifications for COP programs and is an extension of separation logic. A mathematical soundness proof for the logical system against the proposed operational semantics is presented in the paper.

Fusion Control of Flexible Logic Control and Neural Network

Directory of Open Access Journals (Sweden)

Lihua Fu

2014-01-01

Full Text Available Based on the basic physical meaning of error E and error variety EC, this paper analyzes the logical relationship between them and uses Universal Combinatorial Operation Model in Universal Logic to describe it. Accordingly, a flexible logic control method is put forward to realize effective control on multivariable nonlinear system. In order to implement fusion control with artificial neural network, this paper proposes a new neuron model of Zero-level Universal Combinatorial Operation in Universal Logic. And the artificial neural network of flexible logic control model is implemented based on the proposed neuron model. Finally, stability control, anti-interference control of double inverted-pendulum system, and free walking of cart pendulum system on a level track are realized, showing experimentally the feasibility and validity of this method.

Realization of logical functions by vector programs

Energy Technology Data Exchange (ETDEWEB)

Lapkin, L Ya

1983-03-01

Recent computing and control applications often require program realization of finite automata in general and of an important particular class of memoryless automata specified by systems of Boolean functions. Logical control and computing machines which receive sequences of discrete signals on the input and convert them into sequences of discrete output signals using finite memory may be described by a finite automation model. However, in distinction from the circuit interpretation of finite automata, the automaton algorithm represents the structure of the automaton program and not the structure of the machine itself. Therefore, the complexity of the computer realization of an automaton is the complexity of the computer program, and not the complexity of the hardware. Two classes of programs currently used to evalute boolean functions are operator programs and binary programs. However, computing machines, including microcomputers, are equipped with additional possibilities for evaluation of Boolean functions, which are not utilized in programs of these two basic classes. In this article, we consider the design of vector programs for program realization of systems of Boolean functions. 3 references.

Logic programming and metadata specifications

Science.gov (United States)

Lopez, Antonio M., Jr.; Saacks, Marguerite E.

1992-01-01

Artificial intelligence (AI) ideas and techniques are critical to the development of intelligent information systems that will be used to collect, manipulate, and retrieve the vast amounts of space data produced by 'Missions to Planet Earth.' Natural language processing, inference, and expert systems are at the core of this space application of AI. This paper presents logic programming as an AI tool that can support inference (the ability to draw conclusions from a set of complicated and interrelated facts). It reports on the use of logic programming in the study of metadata specifications for a small problem domain of airborne sensors, and the dataset characteristics and pointers that are needed for data access.

Fuzzy logic control of nuclear power plant

International Nuclear Information System (INIS)

Yao Liangzhong; Guo Renjun; Ma Changwen

1996-01-01

The main advantage of the fuzzy logic control is that the method does not require a detailed mathematical model of the object to be controlled. In this paper, the shortcomings and limitations of the model-based method in nuclear power plant control were presented, the theory of the fuzzy logic control was briefly introduced, and the applications of the fuzzy logic control technology in nuclear power plant controls were surveyed. Finally, the problems to be solved by using the fuzzy logic control in nuclear power plants were discussed

Logic Programming in LISP.

Science.gov (United States)

1981-01-01

Rapport, Groupe Intelligence Pasero, R., Artificielle , Universite d’Aix-Marseille, Roussel, P. Luminy, France, 1973. [Kowalski 1974] Kowalski, R. A...THIS PAGZ(Whan Doee Es tMord) Item 20 (Cont’d) ------ work in the area of artificial intelligence and those used in general program development into a...logic programming with LISP for implementing intelligent data base query systems. Continued developments will allow for enhancements to be made to the

Molecular implementation of simple logic programs.

Science.gov (United States)

Ran, Tom; Kaplan, Shai; Shapiro, Ehud

2009-10-01

Autonomous programmable computing devices made of biomolecules could interact with a biological environment and be used in future biological and medical applications. Biomolecular implementations of finite automata and logic gates have already been developed. Here, we report an autonomous programmable molecular system based on the manipulation of DNA strands that is capable of performing simple logical deductions. Using molecular representations of facts such as Man(Socrates) and rules such as Mortal(X) logical deductions and delivers the result. This prototype is the first simple programming language with a molecular-scale implementation.

Application of fuzzy logic control in industry

International Nuclear Information System (INIS)

Van der Wal, A.J.

1994-01-01

An overview is given of the various ways fuzzy logic can be used to improve industrial control. The application of fuzzy logic in control is illustrated by two case studies. The first example shows how fuzzy logic, incorporated in the hardware of an industrial controller, helps to finetune a PID controller, without the operator having any a priori knowledge of the system to be controlled. The second example is from process industry. Here, fuzzy logic supervisory control is implemented in software and enhances the operation of a sintering oven through a subtle combination of priority management and deviation-controlled timing

Optically controllable molecular logic circuits

International Nuclear Information System (INIS)

Nishimura, Takahiro; Fujii, Ryo; Ogura, Yusuke; Tanida, Jun

2015-01-01

Molecular logic circuits represent a promising technology for observation and manipulation of biological systems at the molecular level. However, the implementation of molecular logic circuits for temporal and programmable operation remains challenging. In this paper, we demonstrate an optically controllable logic circuit that uses fluorescence resonance energy transfer (FRET) for signaling. The FRET-based signaling process is modulated by both molecular and optical inputs. Based on the distance dependence of FRET, the FRET pathways required to execute molecular logic operations are formed on a DNA nanostructure as a circuit based on its molecular inputs. In addition, the FRET pathways on the DNA nanostructure are controlled optically, using photoswitching fluorescent molecules to instruct the execution of the desired operation and the related timings. The behavior of the circuit can thus be controlled using external optical signals. As an example, a molecular logic circuit capable of executing two different logic operations was studied. The circuit contains functional DNAs and a DNA scaffold to construct two FRET routes for executing Input 1 AND Input 2 and Input 1 AND NOT Input 3 operations on molecular inputs. The circuit produced the correct outputs with all possible combinations of the inputs by following the light signals. Moreover, the operation execution timings were controlled based on light irradiation and the circuit responded to time-dependent inputs. The experimental results demonstrate that the circuit changes the output for the required operations following the input of temporal light signals

Logic Programming with Requests

NARCIS (Netherlands)

De Schreye, Danny; Etalle, Sandro; van Raamsdonk, Femke

1999-01-01

We propose an extension of logic programming where the user can specify, together with the initial query, the information he is interested in by means of a request. This allows one to extract a result from an incomplete computation, such as the prefix of an infinite derivation. The classical

Modular Logic Programming for Web Data, Inheritance and Agents

Science.gov (United States)

Karali, Isambo

The Semantic Web provides a framework and a set of technologies enabling an effective machine processable information. However, most of the problems that are addressed in the Semantic Web were tackled by the artificial intelligence community, in the past. Within this period, Logic Programming emerged as a complete framework ranging from a sound formal theory, based on Horn clauses, to a declarative description language and an operational behavior that can be executed. Logic programming and its extensions have been already used in various approaches in the Semantic Web or the traditional Web context. In this work, we investigate the use of Modular Logic Programming, i.e. Logic Programming extended with modules, to address issues of the Semantic Web ranging from the ontology layer to reasoning and agents. These techniques provide a uniform framework ranging from the data layer to the higher layers of logic, avoiding the problem of incompatibilities of technologies related with different Semantic Web layers. What is more is that it can operate directly on top of existent World Wide Web sources.

Constraint Logic Programming approach to protein structure prediction

Directory of Open Access Journals (Sweden)

Fogolari Federico

2004-11-01

Full Text Available Abstract Background The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models. The protein structure prediction problem can be cast in the form of an optimization problem. Notwithstanding its importance, the problem has very seldom been tackled by Constraint Logic Programming, a declarative programming paradigm suitable for solving combinatorial optimization problems. Results Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model. Molecular dynamics techniques, endowed with the notion of constraint, have been also exploited. Even using a very simplified model, Constraint Logic Programming on the face-centered cube lattice model allowed us to obtain acceptable results for a few small proteins. As a test implementation their (known secondary structure and the presence of disulfide bridges are used as constraints. Simplified structures obtained in this way have been converted to all atom models with plausible structure. Results have been compared with a similar approach using a well-established technique as molecular dynamics. Conclusions The results obtained on small proteins show that Constraint Logic Programming techniques can be employed for studying protein simplified models, which can be converted into realistic all atom models. The advantage of Constraint Logic Programming over other, much more explored, methodologies, resides in the rapid software prototyping, in the easy way of encoding heuristics, and in exploiting all the advances made in this research area, e.g. in constraint propagation and its use for pruning the huge search space.

Constraint Logic Programming approach to protein structure prediction.

Science.gov (United States)

Dal Palù, Alessandro; Dovier, Agostino; Fogolari, Federico

2004-11-30

The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models. The protein structure prediction problem can be cast in the form of an optimization problem. Notwithstanding its importance, the problem has very seldom been tackled by Constraint Logic Programming, a declarative programming paradigm suitable for solving combinatorial optimization problems. Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model. Molecular dynamics techniques, endowed with the notion of constraint, have been also exploited. Even using a very simplified model, Constraint Logic Programming on the face-centered cube lattice model allowed us to obtain acceptable results for a few small proteins. As a test implementation their (known) secondary structure and the presence of disulfide bridges are used as constraints. Simplified structures obtained in this way have been converted to all atom models with plausible structure. Results have been compared with a similar approach using a well-established technique as molecular dynamics. The results obtained on small proteins show that Constraint Logic Programming techniques can be employed for studying protein simplified models, which can be converted into realistic all atom models. The advantage of Constraint Logic Programming over other, much more explored, methodologies, resides in the rapid software prototyping, in the easy way of encoding heuristics, and in exploiting all the advances made in this research area, e.g. in constraint propagation and its use for pruning the huge search space.

Access control, security, and trust a logical approach

CERN Document Server

Chin, Shiu-Kai

2010-01-01

Access Control, Security, Trust, and Logic Deconstructing Access Control Decisions A Logical Approach to Access Control PRELIMINARIES A Language for Access ControlSets and Relations Syntax SemanticsReasoning about Access Control Logical RulesFormal Proofs and Theorems Soundness of Logical RulesBasic Concepts Reference Monitors Access Control Mechanisms: Tickets and Lists Authentication Security PoliciesConfidentiality, Integrity, and Availability Discretionary Security Policies Mandatory Security Policies Military Security Policies Commercial PoliciesDISTRIBUTED ACCESS CONTROL Digital Authenti

Logic Programming for Linguistics

DEFF Research Database (Denmark)

Christiansen, Henning

2010-01-01

This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...

Supervisory control system implemented in programmable logical controller web server

OpenAIRE

Milavec, Simon

2012-01-01

In this thesis, we study the feasibility of supervisory control and data acquisition (SCADA) system realisation in a web server of a programmable logic controller. With the introduction of Ethernet protocol to the area of process control, the more powerful programmable logic controllers obtained integrated web servers. The web server of a programmable logic controller, produced by Siemens, will also be described in this thesis. Firstly, the software and the hardware equipment used for real...

Project W-058 monitor and control system logic

International Nuclear Information System (INIS)

ROBERTS, J.B.

1999-01-01

This supporting document contains the printout of the control logic for the Project W-058 Monitor and Control System, as developed by Programmable Control Services, Inc. The logic is arranged in five appendices, one for each programmable logic controller console

Logic-programming language enriches design processes

Energy Technology Data Exchange (ETDEWEB)

Kitson, B.; Ow-Wing, K.

1984-03-22

With the emergence of a set of high-level CAD tools for programmable logic devices, designers can translate logic into functional custom devices simply and efficiently. The core of the package is a blockstructured hardware description language called PLPL, for ''programmable-logic programming language.'' The cheif advantage of PLPL lies in its multiple input formats, which permit different design approaches for a variety of design problems. The higher the level of the approach, the closer PLPL will come to directly specifying the desired function. Intermediate steps in the design process can be eliminated, along with the errors that might have been generated during those steps.

Logic integer programming models for signaling networks.

Science.gov (United States)

Haus, Utz-Uwe; Niermann, Kathrin; Truemper, Klaus; Weismantel, Robert

2009-05-01

We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this, we use the two different mathematical tools of Propositional Logic and Integer Programming. The power of discrete mathematics for handling qualitative as well as quantitative data has so far not been exploited in molecular biology, which is mostly driven by experimental research, relying on first-order or statistical models. The arising logic statements and integer programs are analyzed and can be solved with standard software. For a restricted class of problems the logic models reduce to a polynomial-time solvable satisfiability algorithm. Additionally, a more dynamic model enables enumeration of possible time resolutions in poly-logarithmic time. Computational experiments are included.

Quantum probabilistic logic programming

Science.gov (United States)

Balu, Radhakrishnan

2015-05-01

We describe a quantum mechanics based logic programming language that supports Horn clauses, random variables, and covariance matrices to express and solve problems in probabilistic logic. The Horn clauses of the language wrap random variables, including infinite valued, to express probability distributions and statistical correlations, a powerful feature to capture relationship between distributions that are not independent. The expressive power of the language is based on a mechanism to implement statistical ensembles and to solve the underlying SAT instances using quantum mechanical machinery. We exploit the fact that classical random variables have quantum decompositions to build the Horn clauses. We establish the semantics of the language in a rigorous fashion by considering an existing probabilistic logic language called PRISM with classical probability measures defined on the Herbrand base and extending it to the quantum context. In the classical case H-interpretations form the sample space and probability measures defined on them lead to consistent definition of probabilities for well formed formulae. In the quantum counterpart, we define probability amplitudes on Hinterpretations facilitating the model generations and verifications via quantum mechanical superpositions and entanglements. We cast the well formed formulae of the language as quantum mechanical observables thus providing an elegant interpretation for their probabilities. We discuss several examples to combine statistical ensembles and predicates of first order logic to reason with situations involving uncertainty.

A Web Based Educational Programming Logic Controller Training Set Based on Vocational High School Students' Demands

Directory of Open Access Journals (Sweden)

Abdullah Alper Efe

2018-01-01

Full Text Available The purpose of this study was to design and develop aProgramming Logic Controller Training Set according to vocational high school students’ educational needs. In this regard, by using the properties of distance education the proposed system supported “hands-on” PLC programming laboratory exercises in industrial automation area. The system allowed students to access and control the PLC training set remotely. For this purpose, researcher designed a web site to facilitate students’ interactivity and support PLC programming. In the training set, Induction Motor, Frequency Converter and Encoder tripart controlled by Siemens Simatic S7-200 PLC controller by the help of SIMATIC Step 7 Programming Software were used to make the system more effective and efficient. Moreover, training set included an IP camera system allowing to monitor devices and pilot application. By working with this novel remote accessible training set, students and researchers recieved a chance to inhere self paced learning experiences. Also, The PLC training set offered an effective learning enviroenment for distance education, which is based on presenting the content on the web and opening it to the online users and provided a safe and economical solution for multiple users in a workplace to enhance the quality of education with less overall cost.

Parametric Analysis of Flexible Logic Control Model

Directory of Open Access Journals (Sweden)

Lihua Fu

2013-01-01

Full Text Available Based on deep analysis about the essential relation between two input variables of normal two-dimensional fuzzy controller, we used universal combinatorial operation model to describe the logic relationship and gave a flexible logic control method to realize the effective control for complex system. In practical control application, how to determine the general correlation coefficient of flexible logic control model is a problem for further studies. First, the conventional universal combinatorial operation model has been limited in the interval [0,1]. Consequently, this paper studies a kind of universal combinatorial operation model based on the interval [a,b]. And some important theorems are given and proved, which provide a foundation for the flexible logic control method. For dealing reasonably with the complex relations of every factor in complex system, a kind of universal combinatorial operation model with unequal weights is put forward. Then, this paper has carried out the parametric analysis of flexible logic control model. And some research results have been given, which have important directive to determine the values of the general correlation coefficients in practical control application.

Devil is in the details: Using logic models to investigate program process.

Science.gov (United States)

Peyton, David J; Scicchitano, Michael

2017-12-01

Theory-based logic models are commonly developed as part of requirements for grant funding. As a tool to communicate complex social programs, theory based logic models are an effective visual communication. However, after initial development, theory based logic models are often abandoned and remain in their initial form despite changes in the program process. This paper examines the potential benefits of committing time and resources to revising the initial theory driven logic model and developing detailed logic models that describe key activities to accurately reflect the program and assist in effective program management. The authors use a funded special education teacher preparation program to exemplify the utility of drill down logic models. The paper concludes with lessons learned from the iterative revision process and suggests how the process can lead to more flexible and calibrated program management. Copyright © 2017 Elsevier Ltd. All rights reserved.

Autonomous vehicle motion control, approximate maps, and fuzzy logic

Science.gov (United States)

Ruspini, Enrique H.

1993-01-01

Progress on research on the control of actions of autonomous mobile agents using fuzzy logic is presented. The innovations described encompass theoretical and applied developments. At the theoretical level, results of research leading to the combined utilization of conventional artificial planning techniques with fuzzy logic approaches for the control of local motion and perception actions are presented. Also formulations of dynamic programming approaches to optimal control in the context of the analysis of approximate models of the real world are examined. Also a new approach to goal conflict resolution that does not require specification of numerical values representing relative goal importance is reviewed. Applied developments include the introduction of the notion of approximate map. A fuzzy relational database structure for the representation of vague and imprecise information about the robot's environment is proposed. Also the central notions of control point and control structure are discussed.

A Case Study on Cyber-security Program for the Programmable Logic Controller of Modern NPPs

International Nuclear Information System (INIS)

Song, S. H.; Lee, M. S.; Kim, T. H.; Park, C. H.; Park, S. P.; Kim, H. S.

2014-01-01

As instrumentation and control (I and C) systems for modern Nuclear Power Plants (NPPs) have been digitalized to cope with their growing complexity, the cyber-security has become an important issue. To protect the I and C systems adequately from cyber threats, such as Stuxnet that attacked Iran's nuclear facilities, regulations of many countries require a cyber-security program covering all the life cycle phases of the system development, from the concept to the retirement. This paper presents a case study of cyber-security program that has been performed during the development of the programmable logic controller (PLC) for modern NPPs of Korea. In the case study, a cyber-security plan, including technical, management, and operational controls, was established through a security risk assessment. Cyber-security activities, such as development of security functions and periodic inspections, were conducted according to the plan: the security functions were applied to the PLC as the technical controls, and periodic inspections and audits were held to check the security of the development environment, as the management and operational controls. A final penetration test was conducted to inspect all the security problems that had been issued during the development. The case study has shown that the systematic cyber-security program detected and removed the vulnerabilities of the target system, which could not be found otherwise, enhancing the cyber-security of the system

A Case Study on Cyber-security Program for the Programmable Logic Controller of Modern NPPs

Energy Technology Data Exchange (ETDEWEB)

Song, S. H. [Korea University, Seoul (Korea, Republic of); Lee, M. S.; Kim, T. H. [Formal Work Inc., Seoul (Korea, Republic of); Park, C. H. [LINE Corp., Tokyo (Japan); Park, S. P. [Ahnlab Inc., Seoul (Korea, Republic of); Kim, H. S. [Sejong University, Seoul (Korea, Republic of)

2014-08-15

As instrumentation and control (I and C) systems for modern Nuclear Power Plants (NPPs) have been digitalized to cope with their growing complexity, the cyber-security has become an important issue. To protect the I and C systems adequately from cyber threats, such as Stuxnet that attacked Iran's nuclear facilities, regulations of many countries require a cyber-security program covering all the life cycle phases of the system development, from the concept to the retirement. This paper presents a case study of cyber-security program that has been performed during the development of the programmable logic controller (PLC) for modern NPPs of Korea. In the case study, a cyber-security plan, including technical, management, and operational controls, was established through a security risk assessment. Cyber-security activities, such as development of security functions and periodic inspections, were conducted according to the plan: the security functions were applied to the PLC as the technical controls, and periodic inspections and audits were held to check the security of the development environment, as the management and operational controls. A final penetration test was conducted to inspect all the security problems that had been issued during the development. The case study has shown that the systematic cyber-security program detected and removed the vulnerabilities of the target system, which could not be found otherwise, enhancing the cyber-security of the system.

Wide-range nuclear reactor temperature control using automatically tuned fuzzy logic controller

International Nuclear Information System (INIS)

Ramaswamy, P.; Edwards, R.M.; Lee, K.Y.

1992-01-01

In this paper, a fuzzy logic controller design for optimal reactor temperature control is presented. Since fuzzy logic controllers rely on an expert's knowledge of the process, they are hard to optimize. An optimal controller is used in this paper as a reference model, and a Kalman filter is used to automatically determine the rules for the fuzzy logic controller. To demonstrate the robustness of this design, a nonlinear six-delayed-neutron-group plant is controlled using a fuzzy logic controller that utilizes estimated reactor temperatures from a one-delayed-neutron-group observer. The fuzzy logic controller displayed good stability and performance robustness characteristics for a wide range of operation

A Logic Programming Testbed for Inductive Thought and Specification.

Science.gov (United States)

Neff, Norman D.

This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary.…

Implementation of fuzzy logic control algorithm in embedded ...

African Journals Online (AJOL)

Fuzzy logic control algorithm solves problems that are difficult to address with traditional control techniques. This paper describes an implementation of fuzzy logic control algorithm using inexpensive hardware as well as how to use fuzzy logic to tackle a specific control problem without any special software tools. As a case ...

Fuzzy logic based control system for fresh water aquaculture: A MATLAB based simulation approach

Directory of Open Access Journals (Sweden)

Rana Dinesh Singh

2015-01-01

Full Text Available Fuzzy control is regarded as the most widely used application of fuzzy logic. Fuzzy logic is an innovative technology to design solutions for multiparameter and non-linear control problems. One of the greatest advantages of fuzzy control is that it uses human experience and process information obtained from operator rather than a mathematical model for the definition of a control strategy. As a result, it often delivers solutions faster than conventional control design techniques. The proposed system is an attempt to apply fuzzy logic techniques to predict the stress factor on the fish, based on line data and rule base generated using domain expert. The proposed work includes a use of Data acquisition system, an interfacing device for on line parameter acquisition and analysis, fuzzy logic controller (FLC for inferring the stress factor. The system takes stress parameters on the fish as inputs, fuzzified by using FLC with knowledge base rules and finally provides single output. All the parameters are controlled and calibrated by the fuzzy logic toolbox and MATLAB programming.

Phonotactics in inductive logic programming

NARCIS (Netherlands)

Nerbonne, J.; Konstantopoulos, S.; Klopotek, M.A.; Wierzchon, S.T.; Trojanowski, K.

2004-01-01

We examine the results of applying inductive logic programming (ILP) to a relatively simple linguistic task, that of recognizing monosyllables in one language. ILP is suited to linguistic problems given linguists' preference for formulating their theories in discrete rules, and because of ILP's

Core TuLiP - Logic Programming for Trust Management

NARCIS (Netherlands)

Czenko, M.R.; Etalle, Sandro; Dahl, V.; Niemelä, I.

2007-01-01

We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM languages such as RT; in particular clauses are issued by different authorities and stored in a distributed manner. We

A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley

Directory of Open Access Journals (Sweden)

Baltasar Trancón y Widemann

2017-01-01

Full Text Available Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms, it brings the power of functional-logic processing of arbitrary data objects to the Java platform, without constraining the underlying object-oriented semantics. Here we present an extension to the Paisley framework that adds pattern-based control flow. It exploits recent additions to the Java language, namely functional interfaces and lambda expressions, for an explicit and transparent continuation-passing style approach to control. We evaluate the practical impact of the novel features on a real-world case study that reengineers a third-party open-source project to use Paisley in place of conventional object-oriented data query idioms. We find the approach viable for incremental refactoring of legacy code, with significant qualitative improvements regarding separation of concerns, clarity and intentionality, thus making for easier code understanding, testing and debugging.

A SELF-ORGANISING FUZZY LOGIC CONTROLLER

African Journals Online (AJOL)

ES Obe

One major drawback of fuzzy logic controllers is the difficulty encountered in the construction of a rule- base ... The greatest limitation of fuzzy logic control is the lack ..... c(kT)= e(kT)-e((k-1)T). (16) .... with the aid of fuzzy models”, It in Industrial.

Fuzzy logic applications to control engineering

Science.gov (United States)

Langari, Reza

1993-12-01

This paper presents the results of a project presently under way at Texas A&M which focuses on the use of fuzzy logic in integrated control of manufacturing systems. The specific problems investigated here include diagnosis of critical tool wear in machining of metals via a neuro-fuzzy algorithm, as well as compensation of friction in mechanical positioning systems via an adaptive fuzzy logic algorithm. The results indicate that fuzzy logic in conjunction with conventional algorithmic based approaches or neural nets can prove useful in dealing with the intricacies of control/monitoring of manufacturing systems and can potentially play an active role in multi-modal integrated control systems of the future.

Determination Of Adaptive Control Parameter Using Fuzzy Logic Controller

Directory of Open Access Journals (Sweden)

Omur Can Ozguney

2017-08-01

Full Text Available The robot industry has developed along with the increasing the use of robots in industry. This has led to increase the studies on robots. The most important part of these studies is that the robots must be work with minimum tracking trajectory error. But it is not easy for robots to track the desired trajectory because of the external disturbances and parametric uncertainty. Therefore adaptive and robust controllers are used to decrease tracking error. The aim of this study is to increase the tracking performance of the robot and minimize the trajectory tracking error. For this purpose adaptive control law for robot manipulator is identified and fuzzy logic controller is applied to find the accurate values for adaptive control parameter. Based on the Lyapunov theory stability of the uncertain system is guaranteed. In this study robot parameters are assumed to be unknown. This controller is applied to a robot model and the results of simulations are given. Controller with fuzzy logic and without fuzzy logic are compared with each other. Simulation results show that the fuzzy logic controller has improved the results.

Separation Logic

DEFF Research Database (Denmark)

Reynolds, John C.

2002-01-01

In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure. The simple imperative programming language is extended with commands (not...... with the inductive definition of predicates on abstract data structures, this extension permits the concise and flexible description of structures with controlled sharing. In this paper, we will survey the current development of this program logic, including extensions that permit unrestricted address arithmetic...

Computing single step operators of logic programming in radial basis function neural networks

Science.gov (United States)

Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong

2014-07-01

Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (Tp:I→I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed a new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks.

Computing single step operators of logic programming in radial basis function neural networks

Energy Technology Data Exchange (ETDEWEB)

Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong [School of Mathematical Sciences, Universiti Sains Malaysia, 11800 USM, Penang (Malaysia)

2014-07-10

Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (T{sub p}:I→I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed a new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks.

Computing single step operators of logic programming in radial basis function neural networks

International Nuclear Information System (INIS)

Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong

2014-01-01

Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (T p :I→I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed a new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks

The lazy functional side of logic programming

NARCIS (Netherlands)

Etalle, Sandro; Lau, K.K.; Mountjoy, Jon

In this paper we show, among other things, that logical structures such as di erence lists have a natural counterpart in lazy functional programs; i.e. that most programs using di erence-lists are functional in nature. This shows immediately that many common non-well-moded programs are functional in

The Application of Logic Programming to Communication Education.

Science.gov (United States)

Sanford, David L.

Recommending that communication students be required to learn to use computers not merely as number crunchers, word processors, data bases, and graphics generators, but also as logical inference makers, this paper examines the recently developed technology of logical programing in computer languages. It presents two syllogisms and shows how they…

The Haskell Road to Logic, Maths and Programming, Second Edition

NARCIS (Netherlands)

H.C. Doets; D.J.N. van Eijck (Jan)

2012-01-01

textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family. Haskell emerged in the last decade as a

Analysis of Logic Programs Using Regular Tree Languages

DEFF Research Database (Denmark)

Gallagher, John Patrick

2012-01-01

The eld of nite tree automata provides fundamental notations and tools for reasoning about set of terms called regular or recognizable tree languages. We consider two kinds of analysis using regular tree languages, applied to logic programs. The rst approach is to try to discover automatically...... a tree automaton from a logic program, approximating its minimal Herbrand model. In this case the input for the analysis is a program, and the output is a tree automaton. The second approach is to expose or check properties of the program that can be expressed by a given tree automaton. The input...... to the analysis is a program and a tree automaton, and the output is an abstract model of the program. These two contrasting abstract interpretations can be used in a wide range of analysis and verication problems....

Control Logic for the Interlock system of the ATLAS Insertable B-Layer

CERN Document Server

Riegel, Christian

Part of the first upgrade program of the ATLAS detector is the installation of the Insertable B-Layer (IBL) as a fourth and innermost detector layer of the ATLAS pixel detector to prepare the tracking system for the expected increase of pile-up events. As with every sub-detector, the IBL and its components have to be monitored and controlled via a Detector Control System (DCS). A hardware-based interlock system is installed on-site to prevent detector and people working at the detector from serious harm and damage. For the IBL, the logical processing of interlock signals is realised in Interlock Matrix Crates (IMCs) using Complex Programmable Logic Devices (CPLD). One part of this master thesis is the automatic implementation of the logical assignments from database information. A script was developed to generate the needed file to program the CPLD. The second part of this thesis is the design of a test setup to verify the functionality of the electrical components of each IMC and to confirm the correct proce...

Functional and Logic Programming - 14th International Symposium (FLOPS 2018)

DEFF Research Database (Denmark)

This volume contains the proceedings of the 14th International Symposium on Functional and Logic Programming - FLOPS 2018 - held in Nagoya, Japan, May 9 - 11, 2018......This volume contains the proceedings of the 14th International Symposium on Functional and Logic Programming - FLOPS 2018 - held in Nagoya, Japan, May 9 - 11, 2018...

DC motor speed control using fuzzy logic controller

Science.gov (United States)

Ismail, N. L.; Zakaria, K. A.; Nazar, N. S. Moh; Syaripuddin, M.; Mokhtar, A. S. N.; Thanakodi, S.

2018-02-01

The automatic control has played a vital role in the advance of engineering and science. Nowadays in industries, the control of direct current (DC) motor is a common practice thus the implementation of DC motor controller speed is important. The main purpose of motor speed control is to keep the rotation of the motor at the present speed and to drive a system at the demand speed. The main purpose of this project is to control speed of DC Series Wound Motor using Fuzzy Logic Controller (FLC). The expectation of this project is the Fuzzy Logic Controller will get the best performance compared to dc motor without controller in terms of settling time (Ts), rise time (Tr), peak time (Tp) and percent overshoot (%OS).

Mixed wasted integrated program: Logic diagram

International Nuclear Information System (INIS)

Mayberry, J.; Stelle, S.; O'Brien, M.; Rudin, M.; Ferguson, J.; McFee, J.

1994-01-01

The Mixed Waste Integrated Program Logic Diagram was developed to provide technical alternative for mixed wastes projects for the Office of Technology Development's Mixed Waste Integrated Program (MWIP). Technical solutions in the areas of characterization, treatment, and disposal were matched to a select number of US Department of Energy (DOE) treatability groups represented by waste streams found in the Mixed Waste Inventory Report (MWIR)

Mixed wasted integrated program: Logic diagram

Energy Technology Data Exchange (ETDEWEB)

Mayberry, J.; Stelle, S. [Science Applications International Corp., Idaho Falls, ID (United States); O`Brien, M. [Univ. of Arizona, Tucson, AZ (United States); Rudin, M. [Univ. of Nevada, Las Vegas, NV (United States); Ferguson, J. [Lockheed Idaho Technologies Co., Idaho Falls, ID (United States); McFee, J. [I.T. Corp., Albuquerque, NM (United States)

1994-11-30

The Mixed Waste Integrated Program Logic Diagram was developed to provide technical alternative for mixed wastes projects for the Office of Technology Development`s Mixed Waste Integrated Program (MWIP). Technical solutions in the areas of characterization, treatment, and disposal were matched to a select number of US Department of Energy (DOE) treatability groups represented by waste streams found in the Mixed Waste Inventory Report (MWIR).

A hybrid nanomemristor/transistor logic circuit capable of self-programming.

Science.gov (United States)

Borghetti, Julien; Li, Zhiyong; Straznicky, Joseph; Li, Xuema; Ohlberg, Douglas A A; Wu, Wei; Stewart, Duncan R; Williams, R Stanley

2009-02-10

Memristor crossbars were fabricated at 40 nm half-pitch, using nanoimprint lithography on the same substrate with Si metal-oxide-semiconductor field effect transistor (MOS FET) arrays to form fully integrated hybrid memory resistor (memristor)/transistor circuits. The digitally configured memristor crossbars were used to perform logic functions, to serve as a routing fabric for interconnecting the FETs and as the target for storing information. As an illustrative demonstration, the compound Boolean logic operation (A AND B) OR (C AND D) was performed with kilohertz frequency inputs, using resistor-based logic in a memristor crossbar with FET inverter/amplifier outputs. By routing the output signal of a logic operation back onto a target memristor inside the array, the crossbar was conditionally configured by setting the state of a nonvolatile switch. Such conditional programming illuminates the way for a variety of self-programmed logic arrays, and for electronic synaptic computing.

Fuzzy Logic Controller Design for Intelligent Robots

Directory of Open Access Journals (Sweden)

Ching-Han Chen

2017-01-01

Full Text Available This paper presents a fuzzy logic controller by which a robot can imitate biological behaviors such as avoiding obstacles or following walls. The proposed structure is implemented by integrating multiple ultrasonic sensors into a robot to collect data from a real-world environment. The decisions that govern the robot’s behavior and autopilot navigation are driven by a field programmable gate array- (FPGA- based fuzzy logic controller. The validity of the proposed controller was demonstrated by simulating three real-world scenarios to test the bionic behavior of a custom-built robot. The results revealed satisfactorily intelligent performance of the proposed fuzzy logic controller. The controller enabled the robot to demonstrate intelligent behaviors in complex environments. Furthermore, the robot’s bionic functions satisfied its design objectives.

Application of fuzzy logic control system for reactor feed-water control

International Nuclear Information System (INIS)

Iijima, T.; Nakajima, Y.

1994-01-01

The successful actual application of a fuzzy logic control system to the a nuclear Fugen nuclear power reactor is described. Fugen is a heavy-water moderated, light-water cooled reactor. The introduction of fuzzy logic control system has enabled operators to control the steam drum water level more effectively in comparison to a conventional proportional-integral (PI) control system

Post optimization paradigm in maximum 3-satisfiability logic programming

Science.gov (United States)

Mansor, Mohd. Asyraf; Sathasivam, Saratha; Kasihmuddin, Mohd Shareduwan Mohd

2017-08-01

Maximum 3-Satisfiability (MAX-3SAT) is a counterpart of the Boolean satisfiability problem that can be treated as a constraint optimization problem. It deals with a conundrum of searching the maximum number of satisfied clauses in a particular 3-SAT formula. This paper presents the implementation of enhanced Hopfield network in hastening the Maximum 3-Satisfiability (MAX-3SAT) logic programming. Four post optimization techniques are investigated, including the Elliot symmetric activation function, Gaussian activation function, Wavelet activation function and Hyperbolic tangent activation function. The performances of these post optimization techniques in accelerating MAX-3SAT logic programming will be discussed in terms of the ratio of maximum satisfied clauses, Hamming distance and the computation time. Dev-C++ was used as the platform for training, testing and validating our proposed techniques. The results depict the Hyperbolic tangent activation function and Elliot symmetric activation function can be used in doing MAX-3SAT logic programming.

Application of fuzzy logic operation and control to BWRs

International Nuclear Information System (INIS)

Junichi Tanji; Mitsuo Kinoshita; Takaharu Fukuzaki; Yasuhiro Kobayashi

1993-01-01

Fuzzy logic control schemes employing linguistic decision rules for flexible operator control strategies have undergone application tests in dynamic systems. The advantages claimed for fuzzy logic control are its abilities: (a) to facilitate direct use of skillful operator know-how for automatic operation and control of the systems and (b) to provide robust multivariable control for complex plants. The authors have also studied applications of fuzzy logic control to automatic startup operations and load-following control in boiling water reactors, pursuing these same advantages

Efficient dynamic optimization of logic programs

Science.gov (United States)

Laird, Phil

1992-01-01

A summary is given of the dynamic optimization approach to speed up learning for logic programs. The problem is to restructure a recursive program into an equivalent program whose expected performance is optimal for an unknown but fixed population of problem instances. We define the term 'optimal' relative to the source of input instances and sketch an algorithm that can come within a logarithmic factor of optimal with high probability. Finally, we show that finding high-utility unfolding operations (such as EBG) can be reduced to clause reordering.

Design of digital logic control for accelerator magnet power supply

International Nuclear Information System (INIS)

Long Fengli; Hu Wei; Cheng Jian

2008-01-01

For the accelerator magnet power supply, usually the Programmable Logic Controller (PLC) is used to server as the controller for logic protection and control. Along with the development of modern accelerator technology, it is a trend to use fully-digital control to the magnet power supply. It is possible to integrate the logic control part into the digital control component of the power supply, for example, the Field Programmable Gate Array (FPGA). The paper introduces to different methods which are designed for the logic protection and control for accelerator magnet power supplies with the FPGA as the control component. (authors)

Development of Fuzzy Logic Controller for Quanser Bench-Top Helicopter

Science.gov (United States)

Jafri, M. H.; Mansor, H.; Gunawan, T. S.

2017-11-01

Bench-top helicopter is a laboratory scale helicopter that usually used as a testing bench of the real helicopter behavior. This helicopter is a 3 Degree of Freedom (DOF) helicopter which works by three different axes wshich are elevation, pitch and travel. Thus, fuzzy logic controller has been proposed to be implemented into Quanser bench-top helicopter because of its ability to work with non-linear system. The objective for this project is to design and apply fuzzy logic controller for Quanser bench-top helicopter. Other than that, fuzzy logic controller performance system has been simulated to analyze and verify its behavior over existing PID controller by using Matlab & Simulink software. In this research, fuzzy logic controller has been designed to control the elevation angle. After simulation has been performed, it can be seen that simulation result shows that fuzzy logic elevation control is working for 4°, 5° and 6°. These three angles produce zero steady state error and has a fast response. Other than that, performance comparisons have been performed between fuzzy logic controller and PID controller. Fuzzy logic elevation control has a better performance compared to PID controller where lower percentage overshoot and faster settling time have been achieved in 4°, 5° and 6° step response test. Both controller are have zero steady state error but fuzzy logic controller is managed to produce a better performance in term of settling time and percentage overshoot which make the proposed controller is reliable compared to the existing PID controller.

Programming Games for Logical Thinking

Directory of Open Access Journals (Sweden)

H. Tsalapatas

2013-03-01

Full Text Available Analytical thinking is a transversal skill that helps learners synthesize knowledge across subject areas; from mathematics, science, and technology to critical reading, critical examination, and evaluation of lessons. While most would not doubt the importance of analytical capacity in academic settings and its growing demand for the skill in professional environments, school curricula do not comprehensively address its development. As a result, the responsibility for structuring related learning activities falls to teachers. This work examines learning paradigms that can be integrated into mathematics and science school education for developing logical thinking through game-based exercises based on programming. The proposed learning design promotes structured algorithmic mindsets, is based on inclusive universal logic present in all cultures, and promotes constructivism educational approaches encouraging learners to drive knowledge building by composing past and emerging experiences.

Logic Models for Program Design, Implementation, and Evaluation: Workshop Toolkit. REL 2015-057

Science.gov (United States)

Shakman, Karen; Rodriguez, Sheila M.

2015-01-01

The Logic Model Workshop Toolkit is designed to help practitioners learn the purpose of logic models, the different elements of a logic model, and the appropriate steps for developing and using a logic model for program evaluation. Topics covered in the sessions include an overview of logic models, the elements of a logic model, an introduction to…

Self-tuning fuzzy logic nuclear reactor controller

International Nuclear Information System (INIS)

Sharif Heger, A.; Alang-Rashid, N.K.

1996-01-01

We present a method for self-tuning of fuzzy logic controllers based on the estimation of the optimum value of the centroids of its output fuzzy set. The method can be implemented on-line and does not require modification of membership functions and control rules. The main features of this method are: the rules are left intact to retain the operator's expertise in the FLC rule base, and the parameters that require any adjustment are identifiable in advance and their number is kept at a minimum. Therefore, the use of this method preserves the control statements in the original form. Results of simulation and actual tests show that this tuning method improves the performance of fuzzy logic controllers in following the desired reactor power level trajectories. In addition, this method demonstrates a similar improvement for power up and power down experiments, based on both simulation and actual case studies. For these experiments, the control rules for the fuzzy logic controller were derived from control statements that expressed the relationships between error, rate of error change, and duration of direction of control rod movements

Verification and Planning Based on Coinductive Logic Programming

Science.gov (United States)

Bansal, Ajay; Min, Richard; Simon, Luke; Mallya, Ajay; Gupta, Gopal

2008-01-01

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution

Using program logic model analysis to evaluate and better deliver what works

International Nuclear Information System (INIS)

Megdal, Lori; Engle, Victoria; Pakenas, Larry; Albert, Scott; Peters, Jane; Jordan, Gretchen

2005-01-01

There is a rich history in using program theories and logic models (PT/LM) for evaluation, monitoring, and program refinement in a variety of fields, such as health care, social and education programs. The use of these tools to evaluate and improve energy efficiency programs has been growing over the last 5-7 years. This paper provides an overview of the state-of-the-art methods of logic model development, with analysis that significantly contributed to: Assessing the logic behind how the program expects to be able to meets its ultimate goals, including the 'who', the 'how', and through what mechanism. In doing so, gaps and questions that still need to be addressed can be identified. Identifying and prioritize the indicators that should be measured to evaluate the program and program theory. Determining key researchable questions that need to be answered by evaluation/research, to assess whether the mechanism assumed to cause the changes in actions, attitudes, behaviours, and business practices is workable and efficient. Also will assess the validity in the program logic and the likelihood that the program can accomplish its ultimate goals. Incorporating analysis of prior like programs and social science theories in a framework to identify opportunities for potential program refinements. The paper provides an overview of the tools, techniques and references, and uses as example the energy efficiency program analysis conducted for the New York State Energy Research and Development Authority's (NYSERDA) New York ENERGY $MART SM programs

Control Systems of Rubber Dryer Machinery Components Using Programmable Logic Control (PLC)

Science.gov (United States)

Hendra; Yulianto, A. S.; Indriani, A.; Hernadewita; Hermiyetti

2018-02-01

Application of programmable logic control (PLC) is widely used on the control systems in the many field engineering such as automotive, aviation, food processing and other industries [1-2]. PLC is simply program to control many automatic activity, easy to use, flexible and others. PLC using the ladder program to solve and regulated the control system component. In previous research, PLC was used for control system of rotary dryer machine. In this paper PLC are used for control system of motion component in the rubber dryer machinery. Component of rubber dryer machine is motors, gearbox, sprocket, heater, drying chamber and bearing. Principle working of rubber dryer machinery is wet rubber moving into the drying chamber by sprocket. Sprocket is driven by motors that conducted by PLC to moving and set of wet rubber on the drying chamber. Drying system uses greenhouse effect by making hanger dryer design in the form of line path. In this paper focused on motion control system motors and sensors drying rubber using PLC. The results show that control system of rubber dryer machinery can work in accordance control input and the time required to dry the rubber.

Use of advanced programmable logic controllers to monitor and control the Elmo Bumpy Torus-proof-of-principle device

International Nuclear Information System (INIS)

Boyd, B.A.

1983-01-01

The Elmo Bumpy Torus - Proof-of-Principle (EBT-P) device is designed with an instrumentation and control system based upon the use of an advanced Programmable Logic Controller (PLC). The modern PLC incorporates many advanced programming features not available in earlier PLC's intended for application to conventional relay logic replacement. The additional power and flexibility of these modern PLC's is especially applicable to an experimental device such as EBT-P which is made up of several complex interrelated subsystems whose operational characteristics will be evolving throughout the lifetime of the device. The rationale for the selection of advanced PLC's for EBT-P and the approach taken to design of the software developed to control EBT-P are the topics addressed in this paper

Efficient fuzzy logic controller for magnetic levitation systems | Shu ...

African Journals Online (AJOL)

In this paper magnetic levitation controller using fuzzy logic is proposed. The proposed Fuzzy logic controller (FLC) is designed, and developed using triangular membership function with 7×7 rules. The system model was implemented in MATLAB/SIMULINK and the system responses to Fuzzy controller with different input ...

Fuzzy Logic Temperature Control System For The Induction Furnace

Directory of Open Access Journals (Sweden)

Lei Lei Hnin

2015-08-01

Full Text Available This research paper describes the fuzzy logic temperature control system of the induction furnace. Temperature requirement of the heating system varies during the heating process. In the conventional control schemes the switching losses increase with the change in the load. A closed loop control is required to have a smooth control on the system. In this system pulse width modulation based power control scheme for the induction heating system is developed using the fuzzy logic controller. The induction furnace requires a good voltage regulation to have efficient response. The controller controls the temperature depending upon weight of meat water and time. This control system is implemented in hardware system using microcontroller. Here the fuzzy logic controller is designed and simulated in MATLAB to get the desire condition.

An adaptive maneuvering logic computer program for the simulation of one-on-one air-to-air combat. Volume 1: General description

Science.gov (United States)

Burgin, G. H.; Fogel, L. J.; Phelps, J. P.

1975-01-01

A technique for computer simulation of air combat is described. Volume 1 decribes the computer program and its development in general terms. Two versions of the program exist. Both incorporate a logic for selecting and executing air combat maneuvers with performance models of specific fighter aircraft. In the batch processing version the flight paths of two aircraft engaged in interactive aerial combat and controlled by the same logic are computed. The realtime version permits human pilots to fly air-to-air combat against the adaptive maneuvering logic (AML) in Langley Differential Maneuvering Simulator (DMS). Volume 2 consists of a detailed description of the computer programs.

Verifying object-oriented programs with higher-order separation logic in Coq

DEFF Research Database (Denmark)

Bengtson, Jesper; Jensen, Jonas Braband; Sieczkowski, Filip

2011-01-01

We present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, we develop novel specification and proof patterns for reasoning in higher-order separation logic with nested triples about programs that use interfaces...... and interface inheritance. In particular, we show how to use the higher-order features of the Coq formalisation to specify and reason modularly about programs that (1) depend on some unknown code satisfying a specification or that (2) return objects conforming to a certain specification. All of our results have...

Logic and control module for the Fermilab booster beam damper

International Nuclear Information System (INIS)

Sandberg, B.R.

1977-01-01

A logic and control module is included in the electronic system of the booster superdamper. This module produces a 9-bit digital word that controls the delay of beam bunch position information in the Fermilab booster synchrotron so that it arrives at the damping electrodes at the same time as the bunch of beam to be corrected. This delay word generator also has an output feature that only allows delay time decreases as the booster synchrotron frequency program increases monotonically. Such a feature guards against low-index incidental FM from affecting the delay computations

Proving deadlock freedom of logic programs with dynamic scheduling

NARCIS (Netherlands)

E. Marchiori; F. Teusink (Frank)

1996-01-01

textabstractIn increasingly many logic programming systems, the Prolog left to right selection rule has been replaced with dynamic selection rules, that select an atom of a query among those satisfying suitable conditions. These conditions describe the form of the arguments of every program

Real Time Implementation of a DC Motor Speed Control by Fuzzy Logic Controller and PI Controller Using FPGA

Directory of Open Access Journals (Sweden)

G. Sakthivel

2010-10-01

Full Text Available Fuzzy logic control has met with growing interest in many motor control applications due to its non-linearity, handling features and independence of plant modelling. The hardware implementation of fuzzy logic controller (FLC on FPGA is very important because of the increasing number of fuzzy applications requiring highly parallel and high speed fuzzy processing. Implementation of a fuzzy logic controller and conventional PI controller on an FPGA using VHDL for DC motor speed control is presented in this paper. The proposed scheme is to improve tracking performance of D.C. motor as compared to the conventional (PI control strategy .This paper describes the hardware implementation of two inputs (error and change in error, one output fuzzy logic controller based on PI controller and conventional PI controller using VHDL. Real time implementation FLC and conventional PI controller is made on Spartan-3A DSP FPGA (XC3SD1800A FPGA for the speed control of DC motor. It is observed that fuzzy logic based controllers give better responses than the conventional PI controller for the speed control of dc motor.

Defining, illustrating and reflecting on logic analysis with an example from a professional development program.

Science.gov (United States)

Tremblay, Marie-Claude; Brousselle, Astrid; Richard, Lucie; Beaudet, Nicole

2013-10-01

Program designers and evaluators should make a point of testing the validity of a program's intervention theory before investing either in implementation or in any type of evaluation. In this context, logic analysis can be a particularly useful option, since it can be used to test the plausibility of a program's intervention theory using scientific knowledge. Professional development in public health is one field among several that would truly benefit from logic analysis, as it appears to be generally lacking in theorization and evaluation. This article presents the application of this analysis method to an innovative public health professional development program, the Health Promotion Laboratory. More specifically, this paper aims to (1) define the logic analysis approach and differentiate it from similar evaluative methods; (2) illustrate the application of this method by a concrete example (logic analysis of a professional development program); and (3) reflect on the requirements of each phase of logic analysis, as well as on the advantages and disadvantages of such an evaluation method. Using logic analysis to evaluate the Health Promotion Laboratory showed that, generally speaking, the program's intervention theory appeared to have been well designed. By testing and critically discussing logic analysis, this article also contributes to further improving and clarifying the method. Copyright © 2013 Elsevier Ltd. All rights reserved.

Logical model for the control of a BWR turbine

International Nuclear Information System (INIS)

Vargas O, Y.; Amador G, R.; Ortiz V, J.; Castillo D, R.

2009-01-01

In this work a design of a logical model is presented for the turbine control of a nuclear power plant with a BWR like energy source. The model is sought to implement later on inside the thermal hydraulics code of better estimate RELAP/SCDAPSIM. The logical model is developed for the control and protection of the turbine, and the consequent protection to the BWR, considering that the turbine control will be been able to use for one or several turbines in series. The quality of the present design of the logical model of the turbine control is that it considers the most important parameters in the operation of a turbine, besides that they have incorporated to the logical model the secondary parameters that will be activated originally as true when the turbine model is substituted by a detailed model. The development of the logical model of a turbine will be of utility in the short and medium term to carry out analysis on the turbine operation with different operation conditions, of vapor extraction, specific steps of the turbine to feed other equipment s, in addition to analyze the separate and the integrated effect. (Author)

An automatic tuning method of a fuzzy logic controller for nuclear reactors

International Nuclear Information System (INIS)

Ramaswamy, P.; Lee, K.Y.; Edwards, R.M.

1993-01-01

The design and evaluation by simulation of an automatically tuned fuzzy logic controller is presented. Typically, fuzzy logic controllers are designed based on an expert's knowledge of the process. However, this approach has its limitations in the fact that the controller is hard to optimize or tune to get the desired control action. A method to automate the tuning process using a simplified Kalman filter approach is presented for the fuzzy logic controller to track a suitable reference trajectory. Here, for purposes of illustration an optimal controller's response is used as a reference trajectory to determine automatically the rules for the fuzzy logic controller. To demonstrate the robustness of this design approach, a nonlinear six-delayed neutron group plant is controlled using a fuzzy logic controller that utilizes estimated reactor temperatures from a one-delayed neutron group observer. The fuzzy logic controller displayed good stability and performance robustness characteristics for a wide range of operation

Structured flowcharts for control logic specification in the Tritium Systems Test Assembly

International Nuclear Information System (INIS)

Nielson, C.W.; Claborn, G.W.

1983-01-01

The Tritium Systems Test Assembly (TSTA) contains several subsystems employing sophisticated chemical and physical processes to purify, transport, and capture the isotopes of hydrogen. The ultimate responsibility for the correct and safe operation of these subsystems lies with their designers. However, the logic is implemented in a computer system with program control. A means to insure unambiguous specification of the control logic in a form understandable to both the non-programming designers and the software staff was required. The computer programs are written in RATFOR, a language providing clear control structures and powerful symbol definition facilities. However, the actual code was considered unsatisfactory as a means of primary specification by the non-programming designers. On the other hand, simple English language descriptions of the desired behavior were not precise enough to insure correctness. Experimentation with traditional flowcharts proved that they were more difficult to follow than the RATFOR code. On the other hand, the use of structured flowcharts derived from those introduced by Nassi and Shneidermanl have proven to be very powerful. Using simple geometric forms for the basic control structures such as loops and conditional tests, and by using expansion rather than connection as the means of reducing any flowchart to a single page, a specification that is both understandable and precise has been obtained. A computer code automates the production and modification of these flowcharts. Combining these flowcharts with primitive subroutines which hide most of the details of control implementation has provided an effective medium for algorithm specification and validation. Examples of the flowcharts and the language used to specify them will be given

Logical Characterisation of Ontology Construction using Fuzzy Description Logics

DEFF Research Database (Denmark)

Badie, Farshad; Götzsche, Hans

had the extension of ontologies with Fuzzy Logic capabilities which plan to make proper backgrounds for ontology driven reasoning and argumentation on vague and imprecise domains. This presentation conceptualises learning from fuzzy classes using the Inductive Logic Programming framework. Then......, employs Description Logics in characterising and analysing fuzzy statements. And finally, provides a conceptual framework describing fuzzy concept learning in ontologies using the Inductive Logic Programming....

Implementation of programmable logic controller for proposed new instrumentation and control system of RTP

International Nuclear Information System (INIS)

Mohd Khairulezwan Abdul Manan; Mohd Idris Taib; Mohd Dzul Aiman Aslan

2010-01-01

Reactor Monitoring System is one of very important part of Reactor Instrumentation and Control system. Current monitoring system is using analog system whereby all circuits are discrete circuit and all displays and indicators are not digitalized. The proposed new system will use using a Commercial Off-The-Shelf, state of the art, Supervisory Control and Data Acquisition system such as Programmable Logic Controller as well as Computer System. The implementations of Programmable Logic Controller are used for Data Acquisition System and as a sub-system for Computer System where all the activities involved are stored for operation record and report as well as use for research purposes. Programmable Logic Controller receives galvanised or optically isolated signal from Reactor Protection System. Programmable Logic Controller also receives signal from other parameters as a digital and analog input related to reactor system. (author)

The thermal effects of some control logics used in GDHS

International Nuclear Information System (INIS)

Kuecueka, Serhan

2007-01-01

The temperature of the water returning from the network affects greatly the efficiency of a geothermal district-heating system (GDHS). The temperature of the returning water depends on whether there is a heat exchanger between network flow and indoor circulation. The return temperature also depends on outdoor temperature and logic of the indoor temperature control system. In this paper, four control logics are defined depending on whether indoor circulation is separated from network circulation or not. Return temperature and circulation rate of network flow are calculated for these control logics. The results show that the flow rate of the network flow and annual consumption of the geothermal fluid could be decreased about 10% or over by using optimum control logic in district heating systems

A test system and supervisory control and data acquisition application with programmable logic controller for thermoelectric generators

International Nuclear Information System (INIS)

Ahiska, Rasit; Mamur, Hayati

2012-01-01

Highlights: ► A new TEG test measurement system with the PLC has been carried out. ► A new SCADA program has been written and tested for the test measurement system. ► An operator panel has been used for monitoring to the instant TEG data. ► All of the measurement data of TEG have been aggregated in the system. - Abstract: In this study, a new test measurement system and supervisory control and data acquisition application with programmable logic controller has been carried out to be enable the collection of the data of thermoelectric generator for the usage of thermoelectric modules as thermoelectric generator. During the production of the electric energy from the thermoelectric generator, the temperatures of the surfaces of the thermoelectric generator, current–voltage values obtained from output of the thermoelectric generator, hot and cold flows have been measured by the newly established system instantly. All these data have been monitored continuously from the computer and recorded by a supervisory control and data acquisition program. At the same time, in environments where there was no computer, an operator panel with the ability to communicate with the programmable logic controller has been added for the monitoring of the instant thermoelectric generator data. All of the measurement data of the thermoelectric generator have been aggregated in the new test measurement and supervisory control and data acquisition system. The setup test measurement system has been implemented on the thermoelectric generator system with about 10 W. Thermoelectric generators, Altec-GM-1 brand-coded have been examined by the new proposed test measurement system and the values of maximum power and thermoelectric generator efficiency were calculated by the programmable logic controller. When the obtained results were compared with the datasheets, the relative error for the maximum power was around 4% and the value for efficiency was below 3%.

A fuzzy logic pitch angle controller for power system stabilization

Energy Technology Data Exchange (ETDEWEB)

Jauch, Clemens; Cronin, Tom; Sorensen, Poul [Wind Energy Department, Riso National Laboratory, PO Box 49, DK-4000 Roskilde, (Denmark); Jensen, Birgitte Bak [Institute of Energy Technology, Aalborg University, Pontoppidanstraede 101, DK-9220 Aalborg East, (Denmark)

2006-07-12

In this article the design of a fuzzy logic pitch angle controller for a fixed speed, active-stall wind turbine, which is used for power system stabilization, is presented. The system to be controlled, which is the wind turbine and the power system to which the turbine is connected, is described. The advantages of fuzzy logic control when applied to large-signal control of active-stall wind turbines are outlined. The general steps of the design process for a fuzzy logic controller, including definition of the controller inputs, set-up of the fuzzy rules and the method of defuzzification, are described. The performance of the controller is assessed by simulation, where the wind turbine's task is to dampen power system oscillations. In the scenario simulated for this work, the wind turbine has to ride through a transient short-circuit fault and subsequently contribute to the damping of the grid frequency oscillations that are caused by the transient fault. It is concluded that the fuzzy logic controller enables the wind turbine to dampen power system oscillations. It is also concluded that, owing to the inherent non-linearities in a wind turbine and the unpredictability of the whole system, the fuzzy logic controller is very suitable for this application. (Author).

Probabilistic Abductive Logic Programming in Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning

A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-explanations and most-probable-explanations versions are given. % Compared with other...

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

NARCIS (Netherlands)

Mancarella, P.; Terreni, G.; Sadri, F.; Toni, F.; Endriss, U.

2009-01-01

We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and

Design of a Tele-Control Electrical Vehicle System Using a Fuzzy Logic Control

Directory of Open Access Journals (Sweden)

M. Boukhnifer

2012-11-01

Full Text Available This paper presents a fuzzy logic design of a tele-control electrical vehicle system. We showed that the application of fuzzy logic control allows the stability of tele-vehicle system in spite of communication delays between the operator and the vehicle. A robust bilateral controller design using fuzzy logic frameworks was proposed. This approach allows a convenient means to trade off robustness and stability for a pre-specified time-delay margin. Both the performance and robustness of the proposed method were demonstrated by simulation results for a constant time delay between the operator and the electrical vehicle system.

A new approach of active compliance control via fuzzy logic control for multifingered robot hand

Science.gov (United States)

Jamil, M. F. A.; Jalani, J.; Ahmad, A.

2016-07-01

Safety is a vital issue in Human-Robot Interaction (HRI). In order to guarantee safety in HRI, a model reference impedance control can be a very useful approach introducing a compliant control. In particular, this paper establishes a fuzzy logic compliance control (i.e. active compliance control) to reduce impact and forces during physical interaction between humans/objects and robots. Exploiting a virtual mass-spring-damper system allows us to determine a desired compliant level by understanding the behavior of the model reference impedance control. The performance of fuzzy logic compliant control is tested in simulation for a robotic hand known as the RED Hand. The results show that the fuzzy logic is a feasible control approach, particularly to control position and to provide compliant control. In addition, the fuzzy logic control allows us to simplify the controller design process (i.e. avoid complex computation) when dealing with nonlinearities and uncertainties.

control of a dc motor using fuzzy logic control algorithm

African Journals Online (AJOL)

user

controller in the control performance of an industrial type DC motor using MATLAB. The fuzzy logic .... controlled separately excited permanent magnet DC motor (PMDC). ... When the field current is constant, the flux induced by the field ...

Different control applications on a vehicle using fuzzy logic control

Indian Academy of Sciences (India)

Vehicle vibrations; active suspensions; fuzzy logic control; vehicle model. 1. .... The general expression of the mathematical model is shown below: .... Figure 5a presents the time history of the control force when the controller exists only under.

Use of UPFC device controlled by fuzzy logic controllers for decoupled power flow control

Directory of Open Access Journals (Sweden)

Ivković Sanja

2014-01-01

Full Text Available This paper investigates the possibility of decoupled active and reactive power flow control in a power system using a UPFC device controlled by fuzzy logic controllers. A Brief theoretical review of the operation principles and applications of UPFC devices and design principles of the fuzzy logic controller used are given. A Matlab/Simulink model of the system with UPFC, the fuzzy controller setup, and graphs of the results are presented. Conclusions are drawn regarding the possibility of using this system for decoupled control of the power flow in power systems based on analysis of these graphs.

Implementation of a Fuzzy Logic Speed Controller for a Permanent ...

African Journals Online (AJOL)

In this paper DC motor control models were mathematically extracted and implemented using fuzzy logic speed controller. All control systems suffer from problems related to undesirable overshoot, longer settling times and vibrations while going from one state to another. To overcome the maximum overshoot, fuzzy logic ...

Fluid logic control circuit operates nutator actuator motor

Science.gov (United States)

1966-01-01

Fluid logic control circuit operates a pneumatic nutator actuator motor. It has no moving parts and consists of connected fluid interaction devices. The operation of this circuit demonstrates the ability of fluid interaction devices to operate in a complex combination of series and parallel logic sequence.

Evaluating bacterial gene-finding HMM structures as probabilistic logic programs.

Science.gov (United States)

Mørk, Søren; Holmes, Ian

2012-03-01

Probabilistic logic programming offers a powerful way to describe and evaluate structured statistical models. To investigate the practicality of probabilistic logic programming for structure learning in bioinformatics, we undertook a simplified bacterial gene-finding benchmark in PRISM, a probabilistic dialect of Prolog. We evaluate Hidden Markov Model structures for bacterial protein-coding gene potential, including a simple null model structure, three structures based on existing bacterial gene finders and two novel model structures. We test standard versions as well as ADPH length modeling and three-state versions of the five model structures. The models are all represented as probabilistic logic programs and evaluated using the PRISM machine learning system in terms of statistical information criteria and gene-finding prediction accuracy, in two bacterial genomes. Neither of our implementations of the two currently most used model structures are best performing in terms of statistical information criteria or prediction performances, suggesting that better-fitting models might be achievable. The source code of all PRISM models, data and additional scripts are freely available for download at: http://github.com/somork/codonhmm. Supplementary data are available at Bioinformatics online.

Automatic control logics to eliminate xenon oscillation based on Axial Offsets Trajectory Method

International Nuclear Information System (INIS)

Shimazu, Yoichiro

1996-01-01

We have proposed Axial Offsets (AO) Trajectory Method for xenon oscillation control in pressurized water reactors. The features of this method are described as such that it can clearly give necessary control operations to eliminate xenon oscillations. It is expected that using the features automatic control logics for xenon oscillations can be simple and be realized easily. We investigated automatic control logics. The AO Trajectory Method could realize a very simple logic only for eliminating xenon oscillations. However it was necessary to give another considerations to eliminate the xenon oscillation with a given axial power distribution. The other control logic based on the modern control theory was also studied for comparison of the control performance of the new control logic. As the results, it is presented that the automatic control logics based on the AO Trajectory Method are very simple and effective. (author)

Implementation of fault-tolerant quantum logic gates via optimal control

International Nuclear Information System (INIS)

Nigmatullin, R; Schirmer, S G

2009-01-01

The implementation of fault-tolerant quantum gates on encoded logic qubits is considered. It is shown that transversal implementation of logic gates based on simple geometric control ideas is problematic for realistic physical systems suffering from imperfections such as qubit inhomogeneity or uncontrollable interactions between qubits. However, this problem can be overcome by formulating the task as an optimal control problem and designing efficient algorithms to solve it. In particular, we can find solutions that implement all of the elementary logic gates in a fixed amount of time with limited control resources for the five-qubit stabilizer code. Most importantly, logic gates that are extremely difficult to implement using conventional techniques even for ideal systems, such as the T-gate for the five-qubit stabilizer code, do not appear to pose a problem for optimal control.

Performance analysis of PM synchronous motor using fuzzy logic and self tuning fuzzy PI speed controls

International Nuclear Information System (INIS)

Karakaya, A.; Karakas, E.

2008-01-01

Permanent Magnet Synchronous Motors have nonlinear characteristics whose dynamics changes with time. In spite of this structure the permanent magnet synchronous motor has answered engineering problems in industry such as motion control which need high torque values. This paper obtains a nonlinear mathematical model for Permanent Magnet Synchronous Motor and realizes stimulation of the obtained model in the Matlab/Simulink program. Motor parameters are determined by an experimental set-up and they are used in the motor model. Speed control of motor model is made with Fuzzy Logic and Self Tuning logic PI controllers. Using the speed graphs obtained, rise time, overshoot, steady-state error and settling time are analyzed and controller performances are compared. (author)

Controllability of switched singular mix-valued logical control networks with constraints

Science.gov (United States)

Deng, Lei; Gong, Mengmeng; Zhu, Peiyong

2018-03-01

The present paper investigates the controllability problem of switched singular mix-valued logical control networks (SSMLCNs) with constraints on states and controls. First, using the semi-tenser product (STP) of matrices, the SSMLCN is expressed in an algebraic form, based on which a necessary and sufficient condition is given for the uniqueness of solution of SSMLCNs. Second, a necessary and sufficient criteria is derived for the controllability of constrained SSMLCNs, by converting a constrained SSMLCN into a parallel constrained switched mix-valued logical control network. Third, an algorithm is presented to design a proper switching sequence and a control scheme which force a state to a reachable state. Finally, a numerical example is given to demonstrate the efficiency of the results obtained in this paper.

A Comparison of Fuzzy and Annotated Logic Programming

Czech Academy of Sciences Publication Activity Database

Krajči, S.; Lencses, R.; Vojtáš, Peter

2004-01-01

Roč. 144, - (2004), s. 173-192 ISSN 0165-0114 R&D Projects: GA ČR GA201/00/1489 Grant - others:VEGA(SK) 1/7557/20; VEGA(SK) 1/7555/20; VEGA(SK) 1/0385/03 Institutional research plan: CEZ:AV0Z1030915 Keywords : fuzzy logic programming * generalized annotated programs * declarative and procedural semantics * continuous semantics and computable fixpoint * soundness and completeness Subject RIV: BA - General Mathematics Impact factor: 0.734, year: 2004

Enabling Concise and Modular Specifications in Separation Logic

DEFF Research Database (Denmark)

Jensen, Jonas Buhrkal

2014-01-01

logics and examples of using these logics to verify challenging programs. The article Modular Verification of Linked Lists with Views via Separation Logic reports on verification of a practical data structure with separation logic. The challenges identified in this work has served as motivation for later...... unstructured control flow and the lack of basic facilities in the language such as memory allocation and procedure calls. Finally, the chapter Techniques for Model Construction in Separation Logic surveys the mathematical techniques used to develop the previous separation logics and many other logics...

Virtual reality simulation of fuzzy-logic control during underwater dynamic positioning

Science.gov (United States)

Thekkedan, Midhin Das; Chin, Cheng Siong; Woo, Wai Lok

2015-03-01

In this paper, graphical-user-interface (GUI) software for simulation and fuzzy-logic control of a remotely operated vehicle (ROV) using MATLAB™ GUI Designing Environment is proposed. The proposed ROV's GUI platform allows the controller such as fuzzy-logic control systems design to be compared with other controllers such as proportional-integral-derivative (PID) and sliding-mode controller (SMC) systematically and interactively. External disturbance such as sea current can be added to improve the modelling in actual underwater environment. The simulated results showed the position responses of the fuzzy-logic control exhibit reasonable performance under the sea current disturbance.

Logic control of microfluidics with smart colloid

KAUST Repository

Wang, Limu

2010-01-01

We report the successful realization of a microfluidic chip with switching and corresponding inverting functionalities. The chips are identical logic control components incorporating a type of smart colloid, giant electrorheological fluid (GERF), which possesses reversible characteristics via a liquid-solid phase transition under external electric field. Two pairs of electrodes embedded on the sides of two microfluidic channels serve as signal input and output, respectively. One, located in the GERF micro-channel is used to control the flow status of GERF, while another one in the ither micro-fluidic channel is used to detect the signal generated with a passing-by droplet (defined as a signal droplet). Switching of the GERF from the suspended state (off-state) to the flowing state (on-state) or vice versa in the micro-channel is controlled by the appearance of signal droplets whenever they pass through the detection electrode. The output on-off signals can be easily demonstrated, clearly matching with GERF flow status. Our results show that such a logic switch is also a logic IF gate, while its inverter functions as a NOT gate. © The Royal Society of Chemistry 2010.

PLC and DTAM Software Programs for Pumping Instrumentation and Control Skid N

International Nuclear Information System (INIS)

KOCH, M.R.

2000-01-01

This document describe the software programs for the Programmable Logic Controller and the Datable Access Module for Pumping Instrumentation and Control skid ''N''. The Appendices contains copies of the printouts of these software programs. This document describes the software programs for the Allen-Bradley SLC 500 programmable logic controller (PLC) and the Allen-Bradley DTAM PLUS operator interface module used on Pumping Instrumentation and Control (PIC) skid ''N''. The software programs for the SLC 500 and DTAM Plus are based on the core programs provided by Allen-Bradley. The PLC and DTAM software programs on skid ''D'' for SX-104 are the baseline programs. These baselines have been tailored for U-farm skids. The skid ''N'' program for U-109 is similar to the skid ''M'' program for U-102. An Acceptance Test Procedure (ATP) and an Operational Test Procedure (OTP) verify that the software programs meet the specific requirements for U-109 pumping. This document represents the final PLC and DTAM programs for PIC skid ''N'' at U-109. These programs were printed out after the performance of the OTP. The OTP acts as the final qualification test for the software programs. Functional requirements and details of the PLC ladder logic are described in this document. The final programs entered into the PLC and DTAM Plus are included as Appendices to this document

Fuzzy Logic Controlled Solar Module for Driving Three- Phase Induction Motor

Science.gov (United States)

Afiqah Zainal, Nurul; Sooi Tat, Chan; Ajisman

2016-02-01

Renewable energy produced by solar module gives advantages for generated three- phase induction motor in remote area. But, solar module's ou tput is uncertain and complex. Fuzzy logic controller is one of controllers that can handle non-linear system and maximum power of solar module. Fuzzy logic controller used for Maximum Power Point Tracking (MPPT) technique to control Pulse-Width Modulation (PWM) for switching power electronics circuit. DC-DC boost converter used to boost up photovoltaic voltage to desired output and supply voltage source inverter which controlled by three-phase PWM generated by microcontroller. IGBT switched Voltage source inverter (VSI) produced alternating current (AC) voltage from direct current (DC) source to control speed of three-phase induction motor from boost converter output. Results showed that, the output power of solar module is optimized and controlled by using fuzzy logic controller. Besides that, the three-phase induction motor can be drive and control using VSI switching by the PWM signal generated by the fuzzy logic controller. This concluded that the non-linear system can be controlled and used in driving three-phase induction motor.

Coordinated signal control for arterial intersections using fuzzy logic

Science.gov (United States)

Kermanian, Davood; Zare, Assef; Balochian, Saeed

2013-09-01

Every day growth of the vehicles has become one of the biggest problems of urbanism especially in major cities. This can waste people's time, increase the fuel consumption, air pollution, and increase the density of cars and vehicles. Fuzzy controllers have been widely used in many consumer products and industrial applications with success over the past two decades. This article proposes a comprehensive model of urban traffic network using state space equations and then using Fuzzy Logic Tool Box and SIMULINK Program MATLAB a fuzzy controller in order to optimize and coordinate signal control at two intersections at an arterial road. The fuzzy controller decides to extend, early cut or terminate a signal phase and phase sequence to ensure smooth flow of traffic with minimal waiting time and length of queue. Results show that the performance of the proposed traffic controller at novel fuzzy model is better that of conventional controllers under normal and abnormal traffic conditions.

PLC/DTAM Software Programs for Pumping Instrumentation and Control Skid ''L''

International Nuclear Information System (INIS)

KOCH, M.R.

2000-01-01

This document describes the software programs for the Programmable Logic Controller and the Data Table Access Module for Pumping Instrumentation and Control skid ''L''. The Appendices contains copies of the printouts of these software programs

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning

2008-01-01

A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-explanations and most-probable-explanations versions are given. Compared with other...

Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic

Science.gov (United States)

Xu, Huan

Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, actuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based specifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems. This thesis will focus on design considerations for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area. This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller. The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and

Fuzzy logic control of water level in advanced boiling water reactor

International Nuclear Information System (INIS)

Lin, Chaung; Lee, Chi-Szu; Raghavan, R.; Fahrner, D.M.

1995-01-01

The feedwater control system in the Advanced Boiling Water Reactor (ABWR) is more challenging to design compared to other control systems in the plant, due to the possible change in level from void collapses and swells during transient events. A basic fuzzy logic controller is developed using a simplified ABWR mathematical model to demonstrate and compare the performance of this controller with a simplified conventional controller. To reduce the design effort, methods are developed to automatically tune the scaling factors and control rules. As a first step in developing the fuzzy controller, a fuzzy controller with a limited number of rules is developed to respond to normal plant transients such as setpoint changes of plant parameters and load demand changes. Various simulations for setpoint and load demand changes of plant performances were conducted to evaluate the modeled fuzzy logic design against the simplified ABWR model control system. The simulation results show that the performance of the fuzzy logic controller is comparable to that of the Proportional-Integral (PI) controller, However, the fuzzy logic controller produced shorter settling time for step setpoint changes compared to the simplified conventional controller

A modeling of fuzzy logic controller on gamma scanning device

International Nuclear Information System (INIS)

Arjoni Amir

2010-01-01

Modeling and simulation of controller to set the high position and direction of the source of gamma radiation isotope Co-60 and Nal(TL) detector of gamma scanning device by using fuzzy logic controller FLC have been done. The high positions and in the right direction of gamma radiation and Nal (TI) detector obtained the optimal enumeration. The counting data obtained from gamma scanning device counting system is affected by the instability of high position and direction of the gamma radiation source and Nal(TI) detector or the height and direction are not equal between the gamma radiation source and Nal(TI) detector. Assumed a high position and direction of radiation sources can be fixed while the high position detector h (2, 1,0, -1, -2) can be adjusted up and down and the detector can be changed direction to the left or right angle ω (2, 1 , 0, -1, -2) when the position and direction are no longer aligned with the direction of the source of gamma radiation, the counting results obtained will not be optimal. Movement detector direction towards the left or right and the high detector arranged by the DC motor using fuzzy logic control in order to obtain the amount of output fuzzy logic control which forms the optimal output quantity count. The variation of height difference h between the source position of the gamma radiation detector and change direction with the detector angle ω becomes the input variable membership function (member function) whereas the fuzzy logic for the output variable membership function of fuzzy logic control output is selected scale fuzzy logic is directly proportional to the amount of optimal counting. From the simulation results obtained by the relationship between the amount of data output variable of fuzzy logic controller and the amount of data input variable height h and direction detector ω is depicted in graphical form surface. (author)

FUZZY LOGIC CONTROL OF ELECTRIC MOTORS AND MOTOR DRIVES: FEASIBILITY STUDY

Science.gov (United States)

The report gives results of a study (part 1) of fuzzy logic motor control (FLMC). The study included: 1) reviews of existing applications of fuzzy logic, of motor operation, and of motor control; 2) a description of motor control schemes that can utilize FLMC; 3) selection of a m...

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs

Directory of Open Access Journals (Sweden)

Angelos Charalambidis

2015-09-01

Full Text Available Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming. The former approach uses classical domain theoretic tools while the latter builds on a fixed-point construction defined on a syntactic instantiation of the source program. The relationships between these two approaches had not been investigated until now. In this paper we demonstrate that for a very broad class of programs, namely the class of definitional programs introduced by W. W. Wadge, the two approaches coincide (with respect to ground atoms that involve symbols of the program. On the other hand, we argue that if existential higher-order variables are allowed to appear in the bodies of program rules, the two approaches are in general different. The results of the paper contribute to a better understanding of the semantics of higher-order logic programming.

Fuzzy Logic Controlled Solar Module for Driving Three- Phase Induction Motor

International Nuclear Information System (INIS)

Zainal, Nurul Afiqah; Tat, Chan Sooi; Ajisman

2016-01-01

Renewable energy produced by solar module gives advantages for generated three- phase induction motor in remote area. But, solar module's output is uncertain and complex. Fuzzy logic controller is one of controllers that can handle non-linear system and maximum power of solar module. Fuzzy logic controller used for Maximum Power Point Tracking (MPPT) technique to control Pulse-Width Modulation (PWM) for switching power electronics circuit. DC-DC boost converter used to boost up photovoltaic voltage to desired output and supply voltage source inverter which controlled by three-phase PWM generated by microcontroller. IGBT switched Voltage source inverter (VSI) produced alternating current (AC) voltage from direct current (DC) source to control speed of three-phase induction motor from boost converter output. Results showed that, the output power of solar module is optimized and controlled by using fuzzy logic controller. Besides that, the three-phase induction motor can be drive and control using VSI switching by the PWM signal generated by the fuzzy logic controller. This concluded that the non-linear system can be controlled and used in driving three-phase induction motor. (paper)

Fuzzy logic controller for weaning neonates from mechanical ventilation.

OpenAIRE

Hatzakis, G. E.; Davis, G. M.

2002-01-01

Weaning from mechanical ventilation is the gradual detachment from any ventilatory support till normal spontaneous breathing can be fully resumed. To date, we have developed a fuzzy logic controller for weaning COPD adults using pressure support ventilation (PS). However, adults and newborns differ in the pathophysiology of lung disease. We therefore used our fuzzy logic-based weaning platform to develop modularized components for weaning newborns with lung disease. Our controller uses the he...

Fuzzy logic controller for stabilization of biped robot gait

Directory of Open Access Journals (Sweden)

Ryadchikov I.V.

2018-01-01

Full Text Available The article centers round the problem of stabilization of biped robot gait through smoothing out the jumps of first and second order derivatives of a biped robot control vector using the fuzzy logic approach. The structure of a composite Takagi-Sugeno fuzzy logic controller developed by the authors is presented. The simulation study of a robot gait with climbing an obstacle is carried out and the results provided in the article showed that the developed controller performed significantly better than the analytical formula model in terms of smoothing out the derivatives of the control vector.

Hybrid fuzzy logic control of laser surface heat treatments

International Nuclear Information System (INIS)

Perez, Jose Antonio; Ocana, Jose Luis; Molpeceres, Carlos

2007-01-01

This paper presents an advanced hybrid fuzzy logic control system for laser surface heat treatments, which allows to increase significantly the uniformity and final quality of the obtained product, reducing the rejection rate and increasing the productivity and efficiency of the treatment. Basically, the proposed hybrid control structure combines a fuzzy logic controller, with a pure integral action, both fully decoupled, improving the performances of the process with a reasonable design cost, since the system nonlinearities are fully compensated by the fuzzy component of the controller, while the integral action contributes to eliminate the steady-state error

Scalable control program for multiprecursor flow-type atomic layer deposition system

Energy Technology Data Exchange (ETDEWEB)

Selvaraj, Sathees Kannan [Department of Chemical Engineering, University of Illinois at Chicago, Chicago, Illinois 60607 (United States); Takoudis, Christos G., E-mail: takoudis@uic.edu [Department of Chemical Engineering, University of Illinois at Chicago, Chicago, Illinois 60607 and Department of Bioengineering, University of Illinois at Chicago, Chicago, Illinois 60607 (United States)

2015-01-01

The authors report the development and implementation of a scalable control program to control flow type atomic layer deposition (ALD) reactor with multiple precursor delivery lines. The program logic is written and tested in LABVIEW environment to control ALD reactor with four precursor delivery lines to deposit up to four layers of different materials in cyclic manner. The programming logic is conceived such that to facilitate scale up for depositing more layers with multiple precursors and scale down for using single layer with any one precursor in the ALD reactor. The program takes precursor and oxidizer exposure and purging times as input and controls the sequential opening and closing of the valves to facilitate the complex ALD process in cyclic manner. The program could be used to deposit materials from any single line or in tandem with other lines in any combination and in any sequence.

Implementation of Fuzzy Logic Based Temperature-Controlled Heat ...

African Journals Online (AJOL)

This research then compares the control performance of PID (Proportional Integral and Derivative) and Fuzzy logic controllers. Conclusions are made based on these control performances. The results show that the control performance for a Fuzzy controller is quite similar to PID controller but comparatively gives a better ...

Development of a program logic model and evaluation plan for a participatory ergonomics intervention in construction.

Science.gov (United States)

Jaegers, Lisa; Dale, Ann Marie; Weaver, Nancy; Buchholz, Bryan; Welch, Laura; Evanoff, Bradley

2014-03-01

Intervention studies in participatory ergonomics (PE) are often difficult to interpret due to limited descriptions of program planning and evaluation. In an ongoing PE program with floor layers, we developed a logic model to describe our program plan, and process and summative evaluations designed to describe the efficacy of the program. The logic model was a useful tool for describing the program elements and subsequent modifications. The process evaluation measured how well the program was delivered as intended, and revealed the need for program modifications. The summative evaluation provided early measures of the efficacy of the program as delivered. Inadequate information on program delivery may lead to erroneous conclusions about intervention efficacy due to Type III error. A logic model guided the delivery and evaluation of our intervention and provides useful information to aid interpretation of results. © 2013 Wiley Periodicals, Inc.

Development of a Program Logic Model and Evaluation Plan for a Participatory Ergonomics Intervention in Construction

Science.gov (United States)

Jaegers, Lisa; Dale, Ann Marie; Weaver, Nancy; Buchholz, Bryan; Welch, Laura; Evanoff, Bradley

2013-01-01

Background Intervention studies in participatory ergonomics (PE) are often difficult to interpret due to limited descriptions of program planning and evaluation. Methods In an ongoing PE program with floor layers, we developed a logic model to describe our program plan, and process and summative evaluations designed to describe the efficacy of the program. Results The logic model was a useful tool for describing the program elements and subsequent modifications. The process evaluation measured how well the program was delivered as intended, and revealed the need for program modifications. The summative evaluation provided early measures of the efficacy of the program as delivered. Conclusions Inadequate information on program delivery may lead to erroneous conclusions about intervention efficacy due to Type III error. A logic model guided the delivery and evaluation of our intervention and provides useful information to aid interpretation of results. PMID:24006097

Fuzzy Logic Decoupled Lateral Control for General Aviation Airplanes

Science.gov (United States)

Duerksen, Noel

1997-01-01

It has been hypothesized that a human pilot uses the same set of generic skills to control a wide variety of aircraft. If this is true, then it should be possible to construct an electronic controller which embodies this generic skill set such that it can successfully control different airplanes without being matched to a specific airplane. In an attempt to create such a system, a fuzzy logic controller was devised to control aileron or roll spoiler position. This controller was used to control bank angle for both a piston powered single engine aileron equipped airplane simulation and a business jet simulation which used spoilers for primary roll control. Overspeed, stall and overbank protection were incorporated in the form of expert systems supervisors and weighted fuzzy rules. It was found that by using the artificial intelligence techniques of fuzzy logic and expert systems, a generic lateral controller could be successfully used on two general aviation aircraft types that have very different characteristics. These controllers worked for both airplanes over their entire flight envelopes. The controllers for both airplanes were identical except for airplane specific limits (maximum allowable airspeed, throttle ]ever travel, etc.). This research validated the fact that the same fuzzy logic based controller can control two very different general aviation airplanes. It also developed the basic controller architecture and specific control parameters required for such a general controller.

Implementation Of Automatic Wiper Speed Control And Headlight Modes Control Systems Using Fuzzy Logic

OpenAIRE

ThetKoKo; ZawMyoTun; Hla Myo Tun

2015-01-01

Abstract This research paper describes the design and simulation of the automatic wiper speed and headlight modes controllers using fuzzy logic. This proposed system consists of a fuzzy logic controller to control a cars wiper speed and headlight modes. The automatic wiper system detects the rain and its intensity. And according to the rain intensity the wiper speed is automatically controlled. Headlight modes automatically changes either from low beam mode to high beam mode or form high beam...

Intelligent neural network and fuzzy logic control of industrial and power systems

Science.gov (United States)

Kuljaca, Ognjen

The main role played by neural network and fuzzy logic intelligent control algorithms today is to identify and compensate unknown nonlinear system dynamics. There are a number of methods developed, but often the stability analysis of neural network and fuzzy control systems was not provided. This work will meet those problems for the several algorithms. Some more complicated control algorithms included backstepping and adaptive critics will be designed. Nonlinear fuzzy control with nonadaptive fuzzy controllers is also analyzed. An experimental method for determining describing function of SISO fuzzy controller is given. The adaptive neural network tracking controller for an autonomous underwater vehicle is analyzed. A novel stability proof is provided. The implementation of the backstepping neural network controller for the coupled motor drives is described. Analysis and synthesis of adaptive critic neural network control is also provided in the work. Novel tuning laws for the system with action generating neural network and adaptive fuzzy critic are given. Stability proofs are derived for all those control methods. It is shown how these control algorithms and approaches can be used in practical engineering control. Stability proofs are given. Adaptive fuzzy logic control is analyzed. Simulation study is conducted to analyze the behavior of the adaptive fuzzy system on the different environment changes. A novel stability proof for adaptive fuzzy logic systems is given. Also, adaptive elastic fuzzy logic control architecture is described and analyzed. A novel membership function is used for elastic fuzzy logic system. The stability proof is proffered. Adaptive elastic fuzzy logic control is compared with the adaptive nonelastic fuzzy logic control. The work described in this dissertation serves as foundation on which analysis of particular representative industrial systems will be conducted. Also, it gives a good starting point for analysis of learning abilities of

Automated logic conversion method for plant controller systems

International Nuclear Information System (INIS)

Wada, Yutaka; Kobayashi, Yasuhiro; Miyo, Tsunemasa; Okano, Masato.

1990-01-01

An automated method is proposed for logic conversion from functional description diagrams to detailed logic schematics by incorporating expertise knowledge in plant controller systems design. The method uses connection data of function elements in the functional description diagram as input, and synthesizes a detailed logic structure by adding elements to the given connection data incrementally, and to generate detailed logic schematics. In logic synthesis, for building up complex synthesis procedures by combining generally-described knowledge, knowledge is applied by groups. The search order of the groups is given by upper-level knowledge. Furthermore, the knowledge is expressed in terms of two classes of rules; one for generating a hypothesis of individual synthesis operations and the other for considering several hypotheses to determine the connection ordering of elements to be added. In the generation of detailed logic schematics, knowledge is used as rules for deriving various kinds of layout conditions on schematics, and rules for generating two-dimensional coordinates of layout objects. Rules in the latter class use layout conditions to predict intersections among layout objects without their coordinates being fixed. The effectiveness of the method with 150 rules was verified by its experimental application to some logic conversions in a real power plant design. Evaluation of the results showed them to be equivalent to those obtained by well qualified designers. (author)

PLC/DTAM Software Programs for Pumping Instrumentation and Control Skid L

Energy Technology Data Exchange (ETDEWEB)

KOCH, M.R.

2000-01-03

This document describes the software programs for the Programmable Logic Controller and the Data Table Access Module for Pumping Instrumentation and Control skid ''L''. The Appendices contains copies of the printouts of these software programs.

CRA Control Logic Realization for MARS 1-D/MASTER coupled Code System

International Nuclear Information System (INIS)

Han, Soonkyoo; Jeong, Sungsu; Lee, Suyong

2013-01-01

Both Multi-dimensional Analysis Reactor Safety (MARS) code and Multi-purpose Analyzer for Static and Transient Effects of Reactors (MASTER) code, developed by Korea Atomic Energy Research Institute (KAERI), can be coupled for various simulations of nuclear reactor system. In the MARS 1-D/MASTER coupled code system, MARS is used for the thermal hydraulic calculations and MASTER is used for reactor core calculations. In case of using this coupled code system, the movements of control rod assembly (CRA) are controlled by MASTER. MASTER, however, has a CRA control function which is inputted by user as a form of time dependent table. When simulations related to sequential CRA insertion or withdrawal which are not ejection or drop are performed, this CRA control function is not sufficient to demonstrate the process of CRA movements. Therefore an alternative way is proposed for realization of CRA control logic in MASTER. In this study, the manually realized CRA control logic was applied by inputting the time dependent CRA positions into MASTER. And the points of CRA movements were decided by iterations. At the end of CRA movement, the reactor power difference and the average coolant temperature difference were not out of the range of their dead bands. Therefore it means that this manually realized CRA control logic works appropriately in the dead bands of the logic. Therefore the proper CRA movement points could be decided by using this manually realized CRA control logic. Based on these results, it is verified that the proper CRA movement points can be chosen by using the proposed CRA control logic in this article. In conclusion, it is expected that this proposed CRA control logic in MASTER can be used to properly demonstrate the process related to CRA sequential movements in the MARS 1-D/MASTER coupled code system

Type-2 fuzzy logic uncertain systems’ modeling and control

CERN Document Server

Antão, Rómulo

2017-01-01

This book focuses on a particular domain of Type-2 Fuzzy Logic, related to process modeling and control applications. It deepens readers’understanding of Type-2 Fuzzy Logic with regard to the following three topics: using simpler methods to train a Type-2 Takagi-Sugeno Fuzzy Model; using the principles of Type-2 Fuzzy Logic to reduce the influence of modeling uncertainties on a locally linear n-step ahead predictor; and developing model-based control algorithms according to the Generalized Predictive Control principles using Type-2 Fuzzy Sets. Throughout the book, theory is always complemented with practical applications and readers are invited to take their learning process one step farther and implement their own applications using the algorithms’ source codes (provided). As such, the book offers avaluable referenceguide for allengineers and researchers in the field ofcomputer science who are interested in intelligent systems, rule-based systems and modeling uncertainty.

PLC and DTAM Software Programs for Pumping Instrumentation and Control Skid P

International Nuclear Information System (INIS)

KOCH, M.R.

2000-01-01

This document describe the software programs for the Programmable Logic Controller and the Datable Access Module for Pumping Instrumentation and Control skid ''P''. The Appendices contains copies of the printouts of these software programs

Agent Programming Languages and Logics in Agent-Based Simulation

DEFF Research Database (Denmark)

Larsen, John

2018-01-01

and social behavior, and work on verification. Agent-based simulation is an approach for simulation that also uses the notion of agents. Although agent programming languages and logics are much less used in agent-based simulation, there are successful examples with agents designed according to the BDI...

PLC and DTAM Software Programs for Pumping Instrumentation and Control Skid ''M''

International Nuclear Information System (INIS)

KOCH, M.R.

2000-01-01

This document describes the software programs for the Programmable Logic Controller and the Data Table Access Module for Pumping Instrumentation and Control skid ''M''. The Appendices contains copies of the printouts of these software programs

Fuzzy logic-based advanced on–off control for thermal comfort in residential buildings

International Nuclear Information System (INIS)

Kang, Chang-Soon; Hyun, Chang-Ho; Park, Mignon

2015-01-01

Highlights: • Fuzzy logic-based advanced on–off control is proposed. • An anticipative control mechanism is implemented by using fuzzy theory. • Novel thermal analysis program including solar irradiation as a factor is developed. • The proposed controller solves over-heating and under-heating thermal problems. • Solar energy compensation method is applied to compensate for the solar energy. - Abstract: In this paper, an advanced on–off control method based on fuzzy logic is proposed for maintaining thermal comfort in residential buildings. Due to the time-lag of the control systems and the late building thermal response, an anticipative control mechanism is required to reduce energy loss and thermal discomfort. The proposed controller is implemented based on an on–off controller combined with a fuzzy algorithm. On–off control was chosen over other conventional control methods because of its structural simplicity. However, because conventional on–off control has a fixed operating range and a limited ability for improvements in control performance, fuzzy theory can be applied to overcome these limitations. Furthermore, a fuzzy-based solar energy compensation algorithm can be applied to the proposed controller to compensate for the energy gained from solar radiation according to the time of day. Simulations were conducted to compare the proposed controller with a conventional on–off controller under identical external conditions such as outdoor temperature and solar energy; these simulations were carried out by using a previously reported thermal analysis program that was modified to consider such external conditions. In addition, experiments were conducted in a residential building called Green Home Plus, in which hydronic radiant floor heating is used; in these experiments, the proposed system performed better than a system employing conventional on–off control methods

Divide and control: split design of multi-input DNA logic gates.

Science.gov (United States)

Gerasimova, Yulia V; Kolpashchikov, Dmitry M

2015-01-18

Logic gates made of DNA have received significant attention as biocompatible building blocks for molecular circuits. The majority of DNA logic gates, however, are controlled by the minimum number of inputs: one, two or three. Here we report a strategy to design a multi-input logic gate by splitting a DNA construct.

A fuzzy-logic antiswing controller for three-dimensional overhead cranes.

Science.gov (United States)

Cho, Sung-Kun; Lee, Ho-Hoon

2002-04-01

In this paper, a new fuzzy antiswing control scheme is proposed for a three-dimensional overhead crane. The proposed control consists of a position servo control and a fuzzy-logic control. The position servo control is used to control crane position and rope length, and the fuzzy-logic control is used to suppress load swing. The proposed control guarantees not only prompt suppression of load swing but also accurate control of crane position and rope length for simultaneous travel, traverse, and hoisting motions of the crane. Furthermore, the proposed control provides practical gain tuning criteria for easy application. The effectiveness of the proposed control is shown by experiments with a three-dimensional prototype overhead crane.

Improvements to the adaptive maneuvering logic program

Science.gov (United States)

Burgin, George H.

1986-01-01

The Adaptive Maneuvering Logic (AML) computer program simulates close-in, one-on-one air-to-air combat between two fighter aircraft. Three important improvements are described. First, the previously available versions of AML were examined for their suitability as a baseline program. The selected program was then revised to eliminate some programming bugs which were uncovered over the years. A listing of this baseline program is included. Second, the equations governing the motion of the aircraft were completely revised. This resulted in a model with substantially higher fidelity than the original equations of motion provided. It also completely eliminated the over-the-top problem, which occurred in the older versions when the AML-driven aircraft attempted a vertical or near vertical loop. Third, the requirements for a versatile generic, yet realistic, aircraft model were studied and implemented in the program. The report contains detailed tables which make the generic aircraft to be either a modern, high performance aircraft, an older high performance aircraft, or a previous generation jet fighter.

Fuzzy logic controllers and chaotic natural convection loops

International Nuclear Information System (INIS)

Theler, German

2007-01-01

The study of natural circulation loops is a subject of special concern for the engineering design of advanced nuclear reactors, as natural convection provides an efficient and completely passive heat removal system. However, under certain circumstances thermal-fluid-dynamical instabilities may appear, threatening the reactor safety as a whole.On the other hand, fuzzy logic controllers provide an ideal framework to approach highly non-linear control problems. In the present work, we develop a software-based fuzzy logic controller and study its application to chaotic natural convection loops.We numerically analyse the linguistic control of the loop known as the Welander problem in such conditions that, if the controller were not present, the circulation flow would be non-periodic unstable.We also design a Taka gi-Sugeno fuzzy controller based on a fuzzy model of a natural convection loop with a toroidal geometry, in order to stabilize a Lorenz-chaotic behaviour.Finally, we show experimental results obtained in a rectangular natural circulation loop [es

CONTROL SYSTEM DESIGN WITH FUZZY LOGIC PID-СONTROLLER TYPE 2

Directory of Open Access Journals (Sweden)

A. Tунік

2011-04-01

Full Text Available This paper presents a fuzzy logic PID-controller synthesis method for solid body guidance. Formany nonlinear systems with nonlinearities and uncertainties, the performance of fuzzy controllertype 1 may not be satisfactory. Therefore, in this work, fuzzy logic type 2 controller design isintroduced. These controllers capture the advantage of a linear controller in terms of simplicity andalso can handle nonlinearity because of their inference mechanism.The main feature of the proposedmethod constitutes in a membership functions type 2 applications. The membership function type 2is represented by upper and lower membership functions of type 1. The interval between these twofunctions represent the footprint of uncertainty, which give an opportunity to synthesize commonregulator for set of a models. The structure of fuzzy logic controller for solid body control isgrounded. Simulation results confirm the effectiveness of the proposed approach.

Contour tracking and corner detection in a logic programming environment

DEFF Research Database (Denmark)

Bell, Benjamin; Pau, L. F.

1990-01-01

The added functionality such as contour tracking and corner detection which logic programming lends to standard image operators is described. An environment for implementing low-level imaging operations with Prolog predicates is considered. Within this environment, higher-level image predicates (...

PLC and DTAM Software Programs for Pumping Instrumentation and Control Skid M

Energy Technology Data Exchange (ETDEWEB)

KOCH, M.R.

2000-02-14

This document describes the software programs for the Programmable Logic Controller and the Data Table Access Module for Pumping Instrumentation and Control skid ''M''. The Appendices contains copies of the printouts of these software programs.

Research on uranium resource models. Part IV. Logic: a computer graphics program to construct integrated logic circuits for genetic-geologic models. Progress report

International Nuclear Information System (INIS)

Scott, W.A.; Turner, R.M.; McCammon, R.B.

1981-01-01

Integrated logic circuits were described as a means of formally representing genetic-geologic models for estimating undiscovered uranium resources. The logic circuits are logical combinations of selected geologic characteristics judged to be associated with particular types of uranium deposits. Each combination takes on a value which corresponds to the combined presence, absence, or don't know states of the selected characteristic within a specified geographic cell. Within each cell, the output of the logic circuit is taken as a measure of the favorability of occurrence of an undiscovered deposit of the type being considered. In this way, geological, geochemical, and geophysical data are incorporated explicitly into potential uranium resource estimates. The present report describes how integrated logic circuits are constructed by use of a computer graphics program. A user's guide is also included

Conditioning of high voltage radio frequency cavities by using fuzzy logic in connection with rule based programming

CERN Document Server

Perréard, S

1993-01-01

Many processes are controlled by experts using some kind of mental model to decide actions and make conclusions. This model, based on heuristic knowledge, can often be conveniently represented in rules and has not to be particularly accurate. This is the case for the problem of conditioning high voltage radio-frequency cavities: the expert has to decide, by observing some criteria, if he can increase or if he has to decrease the voltage and by how much. A program has been implemented which can be applied to a class of similar problems. The kernel of the program is a small rule base, which is independent of the kind of cavity. To model a specific cavity, we use fuzzy logic which is implemented as a separate routine called by the rule base. We use fuzzy logic to translate from numeric to symbolic information. The example we chose for applying this kind of technique can be implemented by sequential programming. The two versions exist for comparison. However, we believe that this kind of programming can be powerf...

Increase efficiency CNC lathe with the help of fuzzy logic controller (FLC

Directory of Open Access Journals (Sweden)

Mošorinski Predrag R.

2016-01-01

Full Text Available This paper discusses the process of increasing the effectiveness of CNC lathe for carrying out the appropriate experiments. Experiments are related to the plastics processing machine and programming fuzzy logic controller (FLC for the requirements of machining. Input parameters of the FLCare obtained as a result of previous experimental parameters set by experience and with a great subjective impact of technologists. Expected results of FLC's settings are based on the complete autonomy of the process and eliminating subjective errors.

Verification of Imperative Programs by Constraint Logic Program Transformation

Directory of Open Access Journals (Sweden)

Emanuele De Angelis

2013-09-01

Full Text Available We present a method for verifying partial correctness properties of imperative programs that manipulate integers and arrays by using techniques based on the transformation of constraint logic programs (CLP. We use CLP as a metalanguage for representing imperative programs, their executions, and their properties. First, we encode the correctness of an imperative program, say prog, as the negation of a predicate 'incorrect' defined by a CLP program T. By construction, 'incorrect' holds in the least model of T if and only if the execution of prog from an initial configuration eventually halts in an error configuration. Then, we apply to program T a sequence of transformations that preserve its least model semantics. These transformations are based on well-known transformation rules, such as unfolding and folding, guided by suitable transformation strategies, such as specialization and generalization. The objective of the transformations is to derive a new CLP program TransfT where the predicate 'incorrect' is defined either by (i the fact 'incorrect.' (and in this case prog is not correct, or by (ii the empty set of clauses (and in this case prog is correct. In the case where we derive a CLP program such that neither (i nor (ii holds, we iterate the transformation. Since the problem is undecidable, this process may not terminate. We show through examples that our method can be applied in a rather systematic way, and is amenable to automation by transferring to the field of program verification many techniques developed in the field of program transformation.

Performance of Globally Linearized Controller and Two Region Fuzzy Logic Controller on a Nonlinear Process

Directory of Open Access Journals (Sweden)

N. Jaya

2008-10-01

Full Text Available In this work, a design and implementation of a Conventional PI controller, single region fuzzy logic controller, two region fuzzy logic controller and Globally Linearized Controller (GLC for a two capacity interacting nonlinear process is carried out. The performance of this process using single region FLC, two region FLC and GLC are compared with the performance of conventional PI controller about an operating point of 50 %. It has been observed that GLC and two region FLC provides better performance. Further, this procedure is also validated by real time experimentation using dSPACE.

Relational Parametricity and Separation Logic

DEFF Research Database (Denmark)

Birkedal, Lars; Yang, Hongseok

2008-01-01

Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds's relational...... parametricity, and it provides a formal connection between separation logic and data abstraction. Udgivelsesdato: 2008...

Programmable logic controller (PLC) for safety systems of nuclear plants

International Nuclear Information System (INIS)

Sen, S.K.; Karmakar, G.; Joseph, Jose; Patil, R.K.

2002-01-01

Full text: A programmable logic controller (PLC) has been developed by RCnD, BARC for use in the safety critical systems in nuclear power plants. This PLC uses qualified hardware developed in RCnD for use in NPP. The programming software conforms to IEC-61131 part 3. The application programming is done on function block diagram (FBD) editor and the FBD is automatically converted into code in high level language (C / C++). This feature makes the application easily decipherable and therefore easily subjected to reviews and other validation techniques. The key to make quality software for use in nuclear systems is to enforce various standards in the design and development of the software, something, which is not possible to do with a commercially available PLC. This PLC with its software completely transparent lends itself to rigorous verification and validation easily

Fuzzy Logic Applied to an Oven Temperature Control System

Directory of Open Access Journals (Sweden)

Nagabhushana KATTE

2011-10-01

Full Text Available The paper describes the methodology of design and development of fuzzy logic based oven temperature control system. As simple fuzzy logic controller (FLC structure with an efficient realization and a small rule base that can be easily implemented in existing underwater control systems is proposed. The FLC has been designed using bell-shaped membership function for fuzzification, 49 control rules in its rule base and centre of gravity technique for defuzzification. Analog interface card with 16-bits resolution is designed to achieve higher precision in temperature measurement and control. The experimental results of PID and FLC implemented system are drawn for a step input and presented in a comparative fashion. FLC exhibits fast response and it has got sharp rise time and smooth control over conventional PID controller. The paper scrupulously discusses the hardware and software (developed using ‘C’ language features of the system.

The effectiveness of web-programming module based on scientific approach to train logical thinking ability for students in vocational high school

Science.gov (United States)

Nashiroh, Putri Khoirin; Kamdi, Waras; Elmunsyah, Hakkun

2017-09-01

Web programming is a basic subject in Computer and Informatics Engineering, a program study in a vocational high school. It requires logical thinking ability in its learning activities. The purposes of this research were (1) to develop a web programming module that implement scientific approach that can improve logical thinking ability for students in vocational high school; and (2) to test the effectiveness of web programming module based on scientific approach to train students' logical thinking ability. The results of this research was a web-programming module that apply scientific approach for learning activities to improve logical thinking ability of students in the vocational high school. The results of the effectiveness test of web-programming module give conclusion that it was very effective to train logical thinking ability and to improve learning result, this conclusion was supported by: (1) the average of posttest result of students exceeds the minimum criterion value, it was 79.91; (2) the average percentage of students' logical thinking score is 82,98; and (3) the average percentage of students' responses to the web programming module was 81.86%.

Development of a Logic Model to Guide Evaluations of the ASCA National Model for School Counseling Programs

Science.gov (United States)

Martin, Ian; Carey, John

2014-01-01

A logic model was developed based on an analysis of the 2012 American School Counselor Association (ASCA) National Model in order to provide direction for program evaluation initiatives. The logic model identified three outcomes (increased student achievement/gap reduction, increased school counseling program resources, and systemic change and…

Modifications to River Protection Project (RPP) Level -0 Logic

International Nuclear Information System (INIS)

SEEMAN, S.E.

2000-01-01

The following modifications were made to the River Protection Project Level-0 logic in going from Rev. I to Rev. 2. The first change was the change to the heading at the top of the drawing: ''TWRS Program Logic'' to ''River Protection Project Mission Logic''. Note that purely format changes (e.g., fonts, location of boxes, date format, addition of numbers to ''ghost'' boxes) are not discussed. However, the major format change was to show DOE-BNFL Inc. Interface Control Documents (ICDs) on the logic

A Verification Logic for GOAL Agents

Science.gov (United States)

Hindriks, K. V.

Although there has been a growing body of literature on verification of agents programs, it has been difficult to design a verification logic for agent programs that fully characterizes such programs and to connect agent programs to agent theory. The challenge is to define an agent programming language that defines a computational framework but also allows for a logical characterization useful for verification. The agent programming language GOAL has been originally designed to connect agent programming to agent theory and we present additional results here that GOAL agents can be fully represented by a logical theory. GOAL agents can thus be said to execute the corresponding logical theory.

Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae

Science.gov (United States)

Rosu, Grigore; Havelund, Klaus

2001-01-01

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as input. The generated algorithm runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula.

Logic programming to infer complex RNA expression patterns from RNA-seq data.

Science.gov (United States)

Weirick, Tyler; Militello, Giuseppe; Ponomareva, Yuliya; John, David; Döring, Claudia; Dimmeler, Stefanie; Uchida, Shizuka

2018-03-01

To meet the increasing demand in the field, numerous long noncoding RNA (lncRNA) databases are available. Given many lncRNAs are specifically expressed in certain cell types and/or time-dependent manners, most lncRNA databases fall short of providing such profiles. We developed a strategy using logic programming to handle the complex organization of organs, their tissues and cell types as well as gender and developmental time points. To showcase this strategy, we introduce 'RenalDB' (http://renaldb.uni-frankfurt.de), a database providing expression profiles of RNAs in major organs focusing on kidney tissues and cells. RenalDB uses logic programming to describe complex anatomy, sample metadata and logical relationships defining expression, enrichment or specificity. We validated the content of RenalDB with biological experiments and functionally characterized two long intergenic noncoding RNAs: LOC440173 is important for cell growth or cell survival, whereas PAXIP1-AS1 is a regulator of cell death. We anticipate RenalDB will be used as a first step toward functional studies of lncRNAs in the kidney.

Fuzzy Logic System for Intermixed Biogas and Photovoltaics Measurement and Control

Directory of Open Access Journals (Sweden)

Liston Matindife

2018-01-01

Full Text Available This study develops a new integrated measurement and control system for intermixed biogas and photovoltaic systems to achieve safe and optimal energy usage. Literature and field studies show that existing control methods on small- to medium-scale systems fall short of comprehensive system optimization and fault diagnosis, hence the need to revisit these control methods. The control strategy developed in this study is intelligent as it is wholly based on fuzzy logic algorithms. Fuzzy logic controllers due to their superior nonlinear problem solving capabilities to classical controllers considerably simplify controller design. The mathematical models that define classical controllers are difficult or impossible to realize in biogas and photovoltaic generation process. A microcontroller centered fuzzy logic measurement and control embedded system is designed and developed on the existing hybrid biogas and photovoltaic installations. The designed system is able to accurately predict digester stability, quantify biogas output, and carry out biogas fault detection and control. Optimized battery charging and photovoltaic fault detection and control are also successfully implemented. The system is able to optimize the operation and performance of biogas and photovoltaic energy generation.

PLC/DTAM Software Programs for Pumping Instrumentation and Control Skid X

International Nuclear Information System (INIS)

HORNER, T.M.

2001-01-01

This document describes the software programs for the Allen-Bradley SLC 500 programmable logic controller (PLC) and the Allen-Bradley DTAM PLUS operator interface module used on Pumping Instrumentation and Control (PIC) skid ''X''. The software programs for the SLC 500 and DTAM Plus are based on the core programs provided by Allen-Bradley. The PLC and DTAM software programs on skid ''D'' for SX-104 are the baseline programs. These baselines will be tailored for each individual BY-farm skid. An Acceptance Test Procedure (ATP) and an Operational Test Procedure (OTP) verify that the software programs meet the specific requirements for BY-105 pumping. This document represents the final PLC and DTAM programs for PIC skid ''X'' at BY-105. These programs were printed out after the performance of the OTP. The OTP acts as the final qualification test for the software programs. Functional requirements and details of the PLC ladder logic are described in this document. The final programs entered into the PLC and DTAM Plus are included as Appendices to this document

Development of Steam Pressure Control Logic for SMART

International Nuclear Information System (INIS)

Sneed, Todd; Godbole, Sadashiva; Streaath, Drew

2011-01-01

The objective of this work is to develop the Steam Pressure Control Logic(SPCL) in order to satisfy the performance requirements of SMART plant control systems. The final conceptual SPCL described in this report has been developed after studying the SMART system together with the secondary system, patents of control systems for fossil and unclear power plants featuring OTSG's, and familiarity and experience with power plant control systems. The logic represents a combination of good features from various control concepts to make SPCL effective in controlling relevant SMART secondary system parameter. The SPCL includes some new features, such as use of FCV position setpoint to control pump speed, relaxation of the measure RC hot-leg temperature to accelerate load-following response, and use of steam flow as feedwater flow setpoint. This report describes performance evaluation results for the SMART SPCL MMS model. The evaluation is based on three transients under three control modes. Three transients include load-following ramp at normal ramp rate to reduce load and then to increase load, turbin trip, and loss of external electrical load resulting in only house load as the remaining load. The three control modes include coordinated, turbin-following, and feedwater-following. It seems that any of the three control modes is viable for SMART control

Fuzzy Logic Supervised Teleoperation Control for Mobile Robot

Institute of Scientific and Technical Information of China (English)

无

2008-01-01

The supervised teleoperation control is presented for a mobile robot to implement the tasks by using fuzzy logic. The teleoperation control system includes joystick based user interaction mechanism, the high level instruction set and fuzzy logic behaviors integrated in a supervised autonomy teleoperation control system for indoor navigation. These behaviors include left wall following, right wall following, turn left, turn right, left obstacle avoidance, right obstacle avoidance and corridor following based on ultrasonic range finders data. The robot compares the instructive high level command from the operator and relays back a suggestive signal back to the operator in case of mismatch between environment and instructive command. This strategy relieves the operator's cognitive burden, handle unforeseen situations and uncertainties of environment autonomously. The effectiveness of the proposed method for navigation in an unstructured environment is verified by experiments conducted on a mobile robot equipped with only ultrasonic range finders for environment sensing.

Self-learning fuzzy logic controllers based on reinforcement

International Nuclear Information System (INIS)

Wang, Z.; Shao, S.; Ding, J.

1996-01-01

This paper proposes a new method for learning and tuning Fuzzy Logic Controllers. The self-learning scheme in this paper is composed of Bucket-Brigade and Genetic Algorithm. The proposed method is tested on the cart-pole system. Simulation results show that our approach has good learning and control performance

DNAzyme-Based Logic Gate-Mediated DNA Self-Assembly.

Science.gov (United States)

Zhang, Cheng; Yang, Jing; Jiang, Shuoxing; Liu, Yan; Yan, Hao

2016-01-13

Controlling DNA self-assembly processes using rationally designed logic gates is a major goal of DNA-based nanotechnology and programming. Such controls could facilitate the hierarchical engineering of complex nanopatterns responding to various molecular triggers or inputs. Here, we demonstrate the use of a series of DNAzyme-based logic gates to control DNA tile self-assembly onto a prescribed DNA origami frame. Logic systems such as "YES," "OR," "AND," and "logic switch" are implemented based on DNAzyme-mediated tile recognition with the DNA origami frame. DNAzyme is designed to play two roles: (1) as an intermediate messenger to motivate downstream reactions and (2) as a final trigger to report fluorescent signals, enabling information relay between the DNA origami-framed tile assembly and fluorescent signaling. The results of this study demonstrate the plausibility of DNAzyme-mediated hierarchical self-assembly and provide new tools for generating dynamic and responsive self-assembly systems.

How Young Children Learn to Program with Sensor, Action, and Logic Blocks

Science.gov (United States)

Wyeth, Peta

2008-01-01

Electronic Blocks are a new programming environment designed specifically for children aged between 3 and 8 years. These physical, stackable blocks include sensor blocks, action blocks, and logic blocks. By connecting these blocks, children can program a wide variety of structures that interact with one another and the environment. Electronic…

Implementation of a fuzzy logic/neural network multivariable controller

International Nuclear Information System (INIS)

Cordes, G.A.; Clark, D.E.; Johnson, J.A.; Smartt, H.B.; Wickham, K.L.; Larson, T.K.

1992-01-01

This paper describes a multivariable controller developed at the Idaho National Engineering Laboratory (INEL) that incorporates both fuzzy logic rules and a neural network. The controller was implemented in a laboratory demonstration and was robust, producing smooth temperature and water level response curves with short time constants. In the future, intelligent control systems will be a necessity for optimal operation of autonomous reactor systems located on earth or in space. Even today, there is a need for control systems that adapt to the changing environment and process. Hybrid intelligent control systems promise to provide this adaptive capability. Fuzzy logic implements our imprecise, qualitative human reasoning. The values of system variables (controller inputs) and control variables (controller outputs) are described in linguistic terms and subdivided into fully overlapping value ranges. The fuzzy rule base describes how combinations of input parameter ranges determine the output control values. Neural networks implement our human learning. In this controller, neural networks were embedded in the software to explore their potential for adding adaptability

Horn逻辑程序和形式文法之间的对应关系%The Correspondence between Horn Logic Programs and Formal Grammars

Institute of Scientific and Technical Information of China (English)

陈文彬; 王驹

2003-01-01

The paper researches Horn logic programs with grammatical view. The correspondence between Horn logic programs and grammars is found. The method by which type-0 grammars generate the least Herbrand models of logic programs is found. The method by which Horn logic programs generate the languages of type-0 grammars is found.The characterization of Horn Logic programs that are semantically equavanent to type-2 grammars and type-3 grammars is found.

A retrospective review of the Honduras AIN-C program guided by a community health worker performance logic model.

Science.gov (United States)

Rodríguez, Daniela C; Peterson, Lauren A

2016-05-06

Factors that influence performance of community health workers (CHWs) delivering health services are not well understood. A recent logic model proposed categories of support from both health sector and communities that influence CHW performance and program outcomes. This logic model has been used to review a growth monitoring program delivered by CHWs in Honduras, known as Atención Integral a la Niñez en la Comunidad (AIN-C). A retrospective review of AIN-C was conducted through a document desk review and supplemented with in-depth interviews. Documents were systematically coded using the categories from the logic model, and gaps were addressed through interviews. Authors reviewed coded data for each category to analyze program details and outcomes as well as identify potential issues and gaps in the logic model. Categories from the logic model were inconsistently represented, with more information available for health sector than community. Context and input activities were not well documented. Information on health sector systems-level activities was available for governance but limited for other categories, while not much was found for community systems-level activities. Most available information focused on program-level activities with substantial data on technical support. Output, outcome, and impact data were drawn from various resources and suggest mixed results of AIN-C on indicators of interest. Assessing CHW performance through a desk review left gaps that could not be addressed about the relationship of activities and performance. There were critical characteristics of program design that made it contextually appropriate; however, it was difficult to identify clear links between AIN-C and malnutrition indicators. Regarding the logic model, several categories were too broad (e.g., technical support, context) and some aspects of AIN-C did not fit neatly in logic model categories (e.g., political commitment, equity, flexibility in implementation). The

Fuzzy Logic and PID control of a 3 DOF Robotic Arm

Directory of Open Access Journals (Sweden)

Korhan Kayışlı

2017-12-01

Full Text Available The robotic arms are used in many industrial applications at the present time. At this point, high precision control is required for robotics used in fields such as healthcare area. Therefore, the control method applied to robots is also important. In this study, a force was applied to the end function of a three degree-of-freedom robot and the robustness of the controllers are tested. PID and Fuzzy Logic control method are used for this process. The control process of robotic arm which is designed and simulated is obtained by using Fuzzy Logic and classical PID controllers and the results are presented comparatively

Reasoning about Java programs in higher order logic using PVS and Isabelle

NARCIS (Netherlands)

Huisman, Marieke

2001-01-01

This thesis describes the first steps of a project aimed at formal verification of Java programs. The work presented here is part of a larger project called LOOP, for Logic of Object Oriented Programming. A semantics for Java is described in type theory and it is shown how this semantics forms the

Teaching and Learning Logic Programming in Virtual Worlds Using Interactive Microworld Representations

Science.gov (United States)

Vosinakis, Spyros; Anastassakis, George; Koutsabasis, Panayiotis

2018-01-01

Logic Programming (LP) follows the declarative programming paradigm, which novice students often find hard to grasp. The limited availability of visual teaching aids for LP can lead to low motivation for learning. In this paper, we present a platform for teaching and learning Prolog in Virtual Worlds, which enables the visual interpretation and…

Fuzzy logic control of vehicle suspensions with dry friction nonlinearity

Indian Academy of Sciences (India)

Fuzzy logic control; active vehicle suspension; suspension space. 1. ... surface unevenness, stability and directional control during handling ..... Burton A W, Truscott A J, Wellstead P E 1995 Analysis, modeling and control of an advanced.

Learning Probabilistic Logic Models from Probabilistic Examples.

Science.gov (United States)

Chen, Jianzhong; Muggleton, Stephen; Santos, José

2008-10-01

We revisit an application developed originally using abductive Inductive Logic Programming (ILP) for modeling inhibition in metabolic networks. The example data was derived from studies of the effects of toxins on rats using Nuclear Magnetic Resonance (NMR) time-trace analysis of their biofluids together with background knowledge representing a subset of the Kyoto Encyclopedia of Genes and Genomes (KEGG). We now apply two Probabilistic ILP (PILP) approaches - abductive Stochastic Logic Programs (SLPs) and PRogramming In Statistical modeling (PRISM) to the application. Both approaches support abductive learning and probability predictions. Abductive SLPs are a PILP framework that provides possible worlds semantics to SLPs through abduction. Instead of learning logic models from non-probabilistic examples as done in ILP, the PILP approach applied in this paper is based on a general technique for introducing probability labels within a standard scientific experimental setting involving control and treated data. Our results demonstrate that the PILP approach provides a way of learning probabilistic logic models from probabilistic examples, and the PILP models learned from probabilistic examples lead to a significant decrease in error accompanied by improved insight from the learned results compared with the PILP models learned from non-probabilistic examples.

Constraints and Logic Programming in Grammars and Language Analysis

DEFF Research Database (Denmark)

Christiansen, Henning

2014-01-01

Constraints are an important notion in grammars and language analysis, and constraint programming techniques have been developed concurrently for solving a variety of complex problems. In this chapter we consider the synthesis of these branches into practical and effective methods for language...... methods that combine constraints with logic grammars such as Definite Clause Grammars and CHR Grammars, and show also a direct relationship to abductive reasoning....

From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief

DEFF Research Database (Denmark)

Bolander, Thomas

2003-01-01

that we can keep the predicate approach if we make suitable restrictions to our set of epistemic axioms. Their results are proved by careful translations from corresponding modal formalisms. In the present paper we show that their results fit nicely into the framework of logic programming semantics......, in that we show their results to be corollaries of well-known results in this field. This does not only allow us to demonstrate a close connection between consistency problems in the syntactic treatment of propositional attitudes and problems in semantics for logic programs, but it also allows us......This paper concerns formal theories for reasoning about the knowledge and belief of agents. It has seemed attractive to researchers in artificial intelligence to formalise these propositional attitudes as predicates of first-order predicate logic. This allows the agents to express stronger...

Efficiency of particle swarm optimization applied on fuzzy logic DC motor speed control

Directory of Open Access Journals (Sweden)

Allaoua Boumediene

2008-01-01

Full Text Available This paper presents the application of Fuzzy Logic for DC motor speed control using Particle Swarm Optimization (PSO. Firstly, the controller designed according to Fuzzy Logic rules is such that the systems are fundamentally robust. Secondly, the Fuzzy Logic controller (FLC used earlier was optimized with PSO so as to obtain optimal adjustment of the membership functions only. Finally, the FLC is completely optimized by Swarm Intelligence Algorithms. Digital simulation results demonstrate that in comparison with the FLC the designed FLC-PSO speed controller obtains better dynamic behavior and superior performance of the DC motor, as well as perfect speed tracking with no overshoot.

A New Control Strategy Based Multi Converter UPQC Using Fuzzy Logic Controller to Improve the Power Quality Issues

Directory of Open Access Journals (Sweden)

Chandra Babu Paduchuri

2014-01-01

Full Text Available A design of multiconverter unified power quality conditioner to improve the power quality issues is presents in this paper. Modified SRF theory and fuzzy logic controller technique are incorporated in this modelling. This newly designed controller is connected to a source in order to compensate voltage and current in the two feeders. The expanded concept of UPQC is multi converter-UPQC; this system has two series voltage source converter (VSC and one shunt VSC connected back to back. In the proposed system, the power can be conveyed from one feeder to another in order to mitigate the voltage sag, swell, interruption and transient response of the system. The control strategies of multi converter-UPQC are designed based on the modified synchronous reference frame theory with fuzzy logic controller. The transient response of the fuzzy logic controller in dc-link voltage controller will be very fast. The relevant simulation and compensation performance analysis of multi converter-UPQC with fuzzy logic controller is performed using MATLAB/Simulink software.

Application of Logic Models in a Large Scientific Research Program

Science.gov (United States)

O'Keefe, Christine M.; Head, Richard J.

2011-01-01

It is the purpose of this article to discuss the development and application of a logic model in the context of a large scientific research program within the Commonwealth Scientific and Industrial Research Organisation (CSIRO). CSIRO is Australia's national science agency and is a publicly funded part of Australia's innovation system. It conducts…

Diagnosable structured logic array

Science.gov (United States)

Whitaker, Sterling (Inventor); Miles, Lowell (Inventor); Gambles, Jody (Inventor); Maki, Gary K. (Inventor)

2009-01-01

A diagnosable structured logic array and associated process is provided. A base cell structure is provided comprising a logic unit comprising a plurality of input nodes, a plurality of selection nodes, and an output node, a plurality of switches coupled to the selection nodes, where the switches comprises a plurality of input lines, a selection line and an output line, a memory cell coupled to the output node, and a test address bus and a program control bus coupled to the plurality of input lines and the selection line of the plurality of switches. A state on each of the plurality of input nodes is verifiably loaded and read from the memory cell. A trusted memory block is provided. The associated process is provided for testing and verifying a plurality of truth table inputs of the logic unit.

Standardising the Lay: Logics of Change in Programs of Disease Self-management

Directory of Open Access Journals (Sweden)

Annegrete Juul Nielsen

2012-11-01

Full Text Available The health political discourse on self-care is dominated by the view that the selfmanaging patient represents a more democratic and patient-centric perspective, as he or she is believed to renegotiate the terms on which patient participation in health care has hitherto taken place. The self-managing patient is intended as a challenge to traditional medical authority by introducing lay methods of knowing disease. Rather than a meeting between authoritative professionals and vulnerable patients, the self-managing patient seeks to open up new spaces for a meeting between experts. The present paper questions these assumptions through an ethnographic exploration of a patient-led self-management program called the Chronic Disease Self-Management Program. The program is concerned with what its developers call the social and mental aspects of living with a chronic disease and uses trained patients as role models and program leaders. Drawing inspiration from Annemarie Mol’s term ‘logic’, we explore the rationale of ‘situations of selfmanagement’ and identify what we call a ‘logic of change’, which involves very specific ideas on how life with a chronic condition should be dealt with and directs attention towards particular manageable aspects of life with a chronic condition. This logic of change entails, we argue, a clash not between ‘medical’ and ‘lay’ forms of knowledge but between different logics or perceptions of how transformation can be achieved: through open-ended and ongoing reflection and experimentation in social settings or through standardised trajectories of change. Returning to the literature on lay forms of knowledge and illness perspectives, we question whether programs such as the Chronic Disease Self-Management Program – despite its apparent patient-centric perspective – reproduces classical hierarchical relations between lay and expert knowledge, albeit in new forms.

Design and FPGA-implementation of an improved adaptive fuzzy logic controller for DC motor speed control

Directory of Open Access Journals (Sweden)

E.A. Ramadan

2014-09-01

Full Text Available This paper presents an improved adaptive fuzzy logic speed controller for a DC motor, based on field programmable gate array (FPGA hardware implementation. The developed controller includes an adaptive fuzzy logic control (AFLC algorithm, which is designed and verified with a nonlinear model of DC motor. Then, it has been synthesised, functionally verified and implemented using Xilinx Integrated Software Environment (ISE and Spartan-3E FPGA. The performance of this controller has been successfully validated with good tracking results under different operating conditions.

Fuzzy logic control for selective hydrogenation of acetylene in ethylene rich streams using visual basic

International Nuclear Information System (INIS)

Malik, S.R.; Suleman, H.; Khan, J.R.

2010-01-01

Presence of acetylene is technically disadvantageous in the ethylene rich gas streams from steam crackers. Acetylene tends to polymerize and inactivates the transition metal catalysts, forming highly explosive compounds. The acetylene content has to be selectively reduced to less than one part per million for such streams. The acetylene hydrogenation unit requires stringent control parameters and needs specialized process control techniques for its operation. This study is concerned with application of Fuzzy Logic Control to manipulate and control the process plant with higher precision and greater simplicity. The control program has been written in visual Basic and entails all major scenarios of work modes for successful hydrogenation of Acetylene. (author)

NWTS waste package program plan. Volume II. Program logic networks

International Nuclear Information System (INIS)

1981-10-01

This document describes the work planned for developing the technology to design, test and produce packages used for the long-term isolation of nuclear waste in deep geologic repositories. Waste forms considered include spent fuel and high-level waste. The testing and selection effort for barrier materials for radionuclide containment is described. The NWTS waste package program is a design-driven effort; waste package conceptual designs are used as input for preliminary designs, which are upgraded to a final design as materials and testing data become available. Performance assessment models are developed and validated. Milestones and a detailed schedule are given for the waste package development effort. Program logic networks defining work flow, interfaces among the NWTS Projects, and interrelationships of specific activities are presented. Detailed work elements are provided for the Waste Package Program Plan subtasks - design and development, waste form, barrier materials, and performance evaluation - for salt and basalt, host rocks for which the state of waste package knowledge and the corresponding data base are advanced

Deep Space Network Antenna Logic Controller

Science.gov (United States)

Ahlstrom, Harlow; Morgan, Scott; Hames, Peter; Strain, Martha; Owen, Christopher; Shimizu, Kenneth; Wilson, Karen; Shaller, David; Doktomomtaz, Said; Leung, Patrick

2007-01-01

The Antenna Logic Controller (ALC) software controls and monitors the motion control equipment of the 4,000-metric-ton structure of the Deep Space Network 70-meter antenna. This program coordinates the control of 42 hydraulic pumps, while monitoring several interlocks for personnel and equipment safety. Remote operation of the ALC runs via the Antenna Monitor & Control (AMC) computer, which orchestrates the tracking functions of the entire antenna. This software provides a graphical user interface for local control, monitoring, and identification of faults as well as, at a high level, providing for the digital control of the axis brakes so that the servo of the AMC may control the motion of the antenna. Specific functions of the ALC also include routines for startup in cold weather, controlled shutdown for both normal and fault situations, and pump switching on failure. The increased monitoring, the ability to trend key performance characteristics, the improved fault detection and recovery, the centralization of all control at a single panel, and the simplification of the user interface have all reduced the required workforce to run 70-meter antennas. The ALC also increases the antenna availability by reducing the time required to start up the antenna, to diagnose faults, and by providing additional insight into the performance of key parameters that aid in preventive maintenance to avoid key element failure. The ALC User Display (AUD) is a graphical user interface with hierarchical display structure, which provides high-level status information to the operation of the ALC, as well as detailed information for virtually all aspects of the ALC via drill-down displays. The operational status of an item, be it a function or assembly, is shown in the higher-level display. By pressing the item on the display screen, a new screen opens to show more detail of the function/assembly. Navigation tools and the map button allow immediate access to all screens.

Target Control in Logical Models Using the Domain of Influence of Nodes.

Science.gov (United States)

Yang, Gang; Gómez Tejeda Zañudo, Jorge; Albert, Réka

2018-01-01

Dynamical models of biomolecular networks are successfully used to understand the mechanisms underlying complex diseases and to design therapeutic strategies. Network control and its special case of target control, is a promising avenue toward developing disease therapies. In target control it is assumed that a small subset of nodes is most relevant to the system's state and the goal is to drive the target nodes into their desired states. An example of target control would be driving a cell to commit to apoptosis (programmed cell death). From the experimental perspective, gene knockout, pharmacological inhibition of proteins, and providing sustained external signals are among practical intervention techniques. We identify methodologies to use the stabilizing effect of sustained interventions for target control in Boolean network models of biomolecular networks. Specifically, we define the domain of influence (DOI) of a node (in a certain state) to be the nodes (and their corresponding states) that will be ultimately stabilized by the sustained state of this node regardless of the initial state of the system. We also define the related concept of the logical domain of influence (LDOI) of a node, and develop an algorithm for its identification using an auxiliary network that incorporates the regulatory logic. This way a solution to the target control problem is a set of nodes whose DOI can cover the desired target node states. We perform greedy randomized adaptive search in node state space to find such solutions. We apply our strategy to in silico biological network models of real systems to demonstrate its effectiveness.

Fuzzy logic electric vehicle regenerative antiskid braking and traction control system

Science.gov (United States)

Cikanek, Susan R.

1994-01-01

An regenerative antiskid braking and traction control system using fuzzy logic for an electric or hybrid vehicle having a regenerative braking system operatively connected to an electric traction motor, and a separate hydraulic braking system includes sensors for monitoring present vehicle parameters and a processor, responsive to the sensors, for calculating vehicle parameters defining the vehicle behavior not directly measurable by the sensor and determining if regenerative antiskid braking control, requiring hydraulic braking control, and requiring traction control are required. The processor then employs fuzzy logic based on the determined vehicle state and provides command signals to a motor controller to control operation of the electric traction motor and to the brake controller to control fluid pressure applied at each vehicle wheel to provide the appropriate regenerative braking control, hydraulic braking control, and traction control.

Programming Cell Adhesion for On-Chip Sequential Boolean Logic Functions.

Science.gov (United States)

Qu, Xiangmeng; Wang, Shaopeng; Ge, Zhilei; Wang, Jianbang; Yao, Guangbao; Li, Jiang; Zuo, Xiaolei; Shi, Jiye; Song, Shiping; Wang, Lihua; Li, Li; Pei, Hao; Fan, Chunhai

2017-08-02

Programmable remodelling of cell surfaces enables high-precision regulation of cell behavior. In this work, we developed in vitro constructed DNA-based chemical reaction networks (CRNs) to program on-chip cell adhesion. We found that the RGD-functionalized DNA CRNs are entirely noninvasive when interfaced with the fluidic mosaic membrane of living cells. DNA toehold with different lengths could tunably alter the release kinetics of cells, which shows rapid release in minutes with the use of a 6-base toehold. We further demonstrated the realization of Boolean logic functions by using DNA strand displacement reactions, which include multi-input and sequential cell logic gates (AND, OR, XOR, and AND-OR). This study provides a highly generic tool for self-organization of biological systems.

Localized and Energy-Efficient Topology Control in Wireless Sensor Networks Using Fuzzy-Logic Control Approaches

Directory of Open Access Journals (Sweden)

Yuanjiang Huang

2014-01-01

Full Text Available The sensor nodes in the Wireless Sensor Networks (WSNs are prone to failures due to many reasons, for example, running out of battery or harsh environment deployment; therefore, the WSNs are expected to be able to maintain network connectivity and tolerate certain amount of node failures. By applying fuzzy-logic approach to control the network topology, this paper aims at improving the network connectivity and fault-tolerant capability in response to node failures, while taking into account that the control approach has to be localized and energy efficient. Two fuzzy controllers are proposed in this paper: one is Learning-based Fuzzy-logic Topology Control (LFTC, of which the fuzzy controller is learnt from a training data set; another one is Rules-based Fuzzy-logic Topology Control (RFTC, of which the fuzzy controller is obtained through designing if-then rules and membership functions. Both LFTC and RFTC do not rely on location information, and they are localized. Comparing them with other three representative algorithms (LTRT, List-based, and NONE through extensive simulations, our two proposed fuzzy controllers have been proved to be very energy efficient to achieve desired node degree and improve the network connectivity when sensor nodes run out of battery or are subject to random attacks.

Single axis control of ball position in magnetic levitation system using fuzzy logic control

Science.gov (United States)

Sahoo, Narayan; Tripathy, Ashis; Sharma, Priyaranjan

2018-03-01

This paper presents the design and real time implementation of Fuzzy logic control(FLC) for the control of the position of a ferromagnetic ball by manipulating the current flowing in an electromagnet that changes the magnetic field acting on the ball. This system is highly nonlinear and open loop unstable. Many un-measurable disturbances are also acting on the system, making the control of it highly complex but interesting for any researcher in control system domain. First the system is modelled using the fundamental laws, which gives a nonlinear equation. The nonlinear model is then linearized at an operating point. Fuzzy logic controller is designed after studying the system in closed loop under PID control action. The controller is then implemented in real time using Simulink real time environment. The controller is tuned manually to get a stable and robust performance. The set point tracking performance of FLC and PID controllers were compared and analyzed.

Flow Logic for Process Calculi

DEFF Research Database (Denmark)

Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik

2012-01-01

Flow Logic is an approach to statically determining the behavior of programs and processes. It borrows methods and techniques from Abstract Interpretation, Data Flow Analysis and Constraint Based Analysis while presenting the analysis in a style more reminiscent of Type Systems. Traditionally...... developed for programming languages, this article provides a tutorial development of the approach of Flow Logic for process calculi based on a decade of research. We first develop a simple analysis for the π-calculus; this consists of the specification, semantic soundness (in the form of subject reduction......, and finally, we extend it to a relational analysis. A Flow Logic is a program logic---in the same sense that a Hoare’s logic is. We conclude with an executive summary presenting the highlights of the approach from this perspective including a discussion of theoretical properties as well as implementation...

Fuzzy logic electric vehicle regenerative antiskid braking and traction control system

Science.gov (United States)

Cikanek, S.R.

1994-10-25

An regenerative antiskid braking and traction control system using fuzzy logic for an electric or hybrid vehicle having a regenerative braking system operatively connected to an electric traction motor, and a separate hydraulic braking system includes sensors for monitoring present vehicle parameters and a processor, responsive to the sensors, for calculating vehicle parameters defining the vehicle behavior not directly measurable by the sensor and determining if regenerative antiskid braking control, requiring hydraulic braking control, and requiring traction control are required. The processor then employs fuzzy logic based on the determined vehicle state and provides command signals to a motor controller to control operation of the electric traction motor and to the brake controller to control fluid pressure applied at each vehicle wheel to provide the appropriate regenerative braking control, hydraulic braking control, and traction control. 123 figs.

Improved Fuzzy Logic based DTC of Induction machine for wide range of speed control using AI based controllers

Directory of Open Access Journals (Sweden)

H. Sudheer

2016-06-01

Full Text Available This paper presents improvements in Direct Torque control of induction motor using Fuzzy logic switching controller (FDTC. The conventional DTC (CDTC and FDTC drive performance is compared using Conventional PI, Fuzzy controller and Neural Network controllers. The major disadvantages of CDTC are high torque and flux ripples in steady state operation of the drive, inferior performance at low speed operation and variable switching frequency. The presence of hysteresis bands is the major reason for high torque and flux ripples in CDTC. In FDTC the hysteresis band and switching table are replaced by Fuzzy logic switching controller. Using fuzzy logic torque, stator flux space are divided into smaller subsections which results in precise and optimal selection of switching state to meet load torque. In high performance drives accurate tuning of PI speed controller is required. The conventional PI controller cannot adapt to the variation in model parameters. Artificial intelligence based fuzzy controller and neural network controller are compared with PI controller for both CDTC and FDTC of Induction machine. The proposed schemes are developed in Matlab/Simulink environment. Simulation results shows reduction in torque and flux ripples in FDTC and dynamic performance of the drive at low speeds and sudden change in load torque can be improved using Fuzzy logic controller compared to PI and neural network controller.

Systematic methods for the design of a class of fuzzy logic controllers

Science.gov (United States)

Yasin, Saad Yaser

2002-09-01

Fuzzy logic control, a relatively new branch of control, can be used effectively whenever conventional control techniques become inapplicable or impractical. Various attempts have been made to create a generalized fuzzy control system and to formulate an analytically based fuzzy control law. In this study, two methods, the left and right parameterization method and the normalized spline-base membership function method, were utilized for formulating analytical fuzzy control laws in important practical control applications. The first model was used to design an idle speed controller, while the second was used to control an inverted control problem. The results of both showed that a fuzzy logic control system based on the developed models could be used effectively to control highly nonlinear and complex systems. This study also investigated the application of fuzzy control in areas not fully utilizing fuzzy logic control. Three important practical applications pertaining to the automotive industries were studied. The first automotive-related application was the idle speed of spark ignition engines, using two fuzzy control methods: (1) left and right parameterization, and (2) fuzzy clustering techniques and experimental data. The simulation and experimental results showed that a conventional controller-like performance fuzzy controller could be designed based only on experimental data and intuitive knowledge of the system. In the second application, the automotive cruise control problem, a fuzzy control model was developed using parameters adaptive Proportional plus Integral plus Derivative (PID)-type fuzzy logic controller. Results were comparable to those using linearized conventional PID and linear quadratic regulator (LQR) controllers and, in certain cases and conditions, the developed controller outperformed the conventional PID and LQR controllers. The third application involved the air/fuel ratio control problem, using fuzzy clustering techniques, experimental

Development of an object-oriented software based on fuzzy-logic for controlling temperatures in PAC experiments

Energy Technology Data Exchange (ETDEWEB)

Lapolli, Andre L.; Yamagishi, Sueli; Domienikan, Claudio; Schoueri, Roberto M.; Carbonari, Artur W.; Saxena, Rajendra N., E-mail: alapolli@ipen.b [Instituto de Pesquisas Energeticas e Nucleares (IPEN/CNEN-SP), Sao Paulo, SP (Brazil)

2009-07-01

The Hyperfine Interaction Laboratory at Instituto de Pesquisas Energeticas e Nucleares (IPEN) has been using Perturbed Angular Correlation (PAC) technique for studying material science for more than 20 years. One of the important aspects of the research involves the study of the behavior of measured properties of samples as a function of temperature. For temperatures higher than room temperature a small resistance furnace is used to heat the sample. The need to carry out the PAC measurement at predefined temperatures steps in a programmed manner is obvious. The present work describes a procedure for the furnace temperature control and automatic data acquisition at different temperatures based on fuzzy logic. The procedure consists in determining the linguistic input (temp, DELTAtemp) and output (pow) variables and their pertinence functions. After defining the variables, an object.oriented program is written in Java language which is an interface between principal data acquisition program and electronic temperature controller of the mini furnace. In addition to the implementation of the class that involves the fuzzy logic and classes with strategic algorithms defined for each temperature range there are classes of communication between systems based on modbus protocol RTU (Remote Terminal Unit) connected to serial interface RS-488. In this manner the applied technology for the development of software permits higher software life requiring only small alterations or implementation of classes in the use with new equipment. (author)

Data acquisition and control system with a programmable logic controller (PLC) for a pulsed chemical oxygen-iodine laser

Science.gov (United States)

Yu, Haijun; Li, Guofu; Duo, Liping; Jin, Yuqi; Wang, Jian; Sang, Fengting; Kang, Yuanfu; Li, Liucheng; Wang, Yuanhu; Tang, Shukai; Yu, Hongliang

2015-02-01

A user-friendly data acquisition and control system (DACS) for a pulsed chemical oxygen -iodine laser (PCOIL) has been developed. It is implemented by an industrial control computer，a PLC, and a distributed input/output (I/O) module, as well as the valve and transmitter. The system is capable of handling 200 analogue/digital channels for performing various operations such as on-line acquisition, display, safety measures and control of various valves. These operations are controlled either by control switches configured on a PC while not running or by a pre-determined sequence or timings during the run. The system is capable of real-time acquisition and on-line estimation of important diagnostic parameters for optimization of a PCOIL. The DACS system has been programmed using software programmable logic controller (PLC). Using this DACS, more than 200 runs were given performed successfully.

A system at the cross-roads of functional and logic programming

NARCIS (Netherlands)

Kamareddine, F.

1992-01-01

The type-free ¿-calculus is powerful enough to contain all the polymorphic and higher-order nature of functional programming and furthermore types could be constructed inside it. However, mixing the type-free ¿-calculus with logic is not very straightforward (see Aczel [1] and Scott [15]). In this

Fuzzy logic controller implementation for a solar air-conditioning system

International Nuclear Information System (INIS)

Lygouras, J.N.; Botsaris, P.N.; Vourvoulakis, J.; Kodogiannis, V.

2007-01-01

The implementation of a variable structure fuzzy logic controller for a solar powered air conditioning system and its advantages are investigated in this paper. Two DC motors are used to drive the generator pump and the feed pump of the solar air-conditioner. Two different control schemes for the DC motors rotational speed adjustment are implemented and tested: the first one is a pure fuzzy controller, its output being the control signal for the DC motor driver. A 7 x 7 fuzzy matrix assigns the controller output with respect to the error value and the derivative of the error. The second scheme is a two-level controller. The lower level is a conventional PID controller, and the higher level is a fuzzy controller acting over the parameters of the low level controller. Step response of the two control loops are presented as experimental results. The contribution of this design is that in the control system, the fuzzy logic is implemented through software in a common, inexpensive, 16-bit microcontroller, which does not have special abilities for fuzzy control

Fuzzy logic controller implementation for a solar air-conditioning system

Energy Technology Data Exchange (ETDEWEB)

Lygouras, J.N.; Vourvoulakis, J. [Laboratory of Electronics, School of Electrical and Computer Engineering, Democritus University of Thrace, Vas. Sofias 12, 67100 Xanthi (Greece); Botsaris, P.N. [Laboratory of Materials, Processes and Mechanical Design, School of Production and Management Engineering, Democritus University of Thrace 67100 Xanthi (Greece); Kodogiannis, V. [Centre for Systems Analysis, School of Computer Science, University of Westminster, London, HA1 3TP (United Kingdom)

2007-12-15

The implementation of a variable structure fuzzy logic controller for a solar powered air conditioning system and its advantages are investigated in this paper. Two DC motors are used to drive the generator pump and the feed pump of the solar air-conditioner. Two different control schemes for the DC motors rotational speed adjustment are implemented and tested: the first one is a pure fuzzy controller, its output being the control signal for the DC motor driver. A 7 x 7 fuzzy matrix assigns the controller output with respect to the error value and the derivative of the error. The second scheme is a two-level controller. The lower level is a conventional PID controller, and the higher level is a fuzzy controller acting over the parameters of the low level controller. Step response of the two control loops are presented as experimental results. The contribution of this design is that in the control system, the fuzzy logic is implemented through software in a common, inexpensive, 16-bit microcontroller, which does not have special abilities for fuzzy control. (author)

Design of reconfigurable logic controllers

CERN Document Server

Bukowiec, Arkadiusz; Doligalski, Michał; Tkacz, Jacek

2016-01-01

This book presents the original concepts and modern techniques for specification, synthesis, optimisation and implementation of parallel logical control devices. It deals with essential problems of reconfigurable control systems like dependability, modularity and portability. Reconfigurable systems require a wider variety of design and verification options than the application-specific integrated circuits. The book presents a comprehensive selection of possible design techniques. The diversity of the modelling approaches covers Petri nets, state machines and activity diagrams. The preferences of the presented optimization and synthesis methods are not limited to increasing of the efficiency of resource use. One of the biggest advantages of the presented methods is the platform independence, the FPGA devices and single board computers are some of the examples of possible platforms. These issues and problems are illustrated with practical cases of complete control systems. If you expect a new look at the recon...

Multifunctional four-port directional control valve constructed from logic valves

International Nuclear Information System (INIS)

Lisowski, E.; Czyżycki, W.; Rajda, J.

2014-01-01

Highlights: • Directional valve with standard ISO 440-08 has been constructed from logic valves. • Only one innovative valve may replace whole family of the standard valves. • CFD analysis and bench tests of the innovative valve has been carried. • Parameters of the innovative valve are equaling or surpassing the standard ones. • The innovative valve has additional possibilities of pressure and flow control. - Abstract: The paper refers to four-port solenoid pilot operated valves, which are subplate mounted in a hydraulic system in accordance with the ISO 4401 standard. Their widespread use in many machines and devices causes a continuing interest in the development of their design by both the scientific centers and the industry. This paper presents an innovative directional control valve based on the use of logic valves and a methodology followed for the design of it by using Solid Edge CAD and ANSYS/Fluent CFD software. The valve design methodology takes into account the need to seek solutions that minimize flow resistance through the valve. For this purpose, the flow paths are prepared by means of CAD software and pressure-flow curves are determined as a result of CFD analysis. The obtained curves are compared with the curves available in the catalogs of spool type directional control valves. The new solution allows to replace the whole family of spool type four-port directional control valves by one valve built of logic valves. In addition, the innovative directional control valve provides leak-proof shutting the flow paths off and also it can control flow rate and even pressure of working liquid. A prototype of the valve designed by the presented method has been made and tested on the test bench. The results quoted in the paper confirm that the developed logic type directional control valve is able to meet all designed connection configurations, and the obtained pressure-flow curves show very good conformity with the results of CFD analysis

Design and verification of distributed logic controllers with application of Petri nets

Energy Technology Data Exchange (ETDEWEB)

Wiśniewski, Remigiusz; Grobelna, Iwona; Grobelny, Michał; Wiśniewska, Monika [University of Zielona Góra, Licealna 9, 65-417 Zielona Góra (Poland)

2015-12-31

The paper deals with the designing and verification of distributed logic controllers. The control system is initially modelled with Petri nets and formally verified against structural and behavioral properties with the application of the temporal logic and model checking technique. After that it is decomposed into separate sequential automata that are working concurrently. Each of them is re-verified and if the validation is successful, the system can be finally implemented.

Stealth low-level manipulation of programmable logic controllers I/O by pin control exploitation

NARCIS (Netherlands)

Abbasi, A.; Hashemi, M.; Zambon, E.; Etalle, S.; Havarneanu, G.; Setola, R.; Nassopoulos, H.; Wolthusen, S.

2016-01-01

Input/OutputisthemechanismthroughwhichProgrammable Logic Controllers (PLCs) interact with and control the outside world. Particularly when employed in critical infrastructures, the I/O of PLCs has to be both reliable and secure. PLCs I/O like other embedded devices are controlled by a pin based

Fuzzy logic control for camera tracking system

Science.gov (United States)

Lea, Robert N.; Fritz, R. H.; Giarratano, J.; Jani, Yashvant

1992-01-01

A concept utilizing fuzzy theory has been developed for a camera tracking system to provide support for proximity operations and traffic management around the Space Station Freedom. Fuzzy sets and fuzzy logic based reasoning are used in a control system which utilizes images from a camera and generates required pan and tilt commands to track and maintain a moving target in the camera's field of view. This control system can be implemented on a fuzzy chip to provide an intelligent sensor for autonomous operations. Capabilities of the control system can be expanded to include approach, handover to other sensors, caution and warning messages.

Multi-region fuzzy logic controller with local PID controllers for U-tube steam generator in nuclear power plant

Directory of Open Access Journals (Sweden)

Puchalski Bartosz

2015-12-01

Full Text Available In the paper, analysis of multi-region fuzzy logic controller with local PID controllers for steam generator of pressurized water reactor (PWR working in wide range of thermal power changes is presented. The U-tube steam generator has a nonlinear dynamics depending on thermal power transferred from coolant of the primary loop of the PWR plant. Control of water level in the steam generator conducted by a traditional PID controller which is designed for nominal power level of the nuclear reactor operates insufficiently well in wide range of operational conditions, especially at the low thermal power level. Thus the steam generator is often controlled manually by operators. Incorrect water level in the steam generator may lead to accidental shutdown of the nuclear reactor and consequently financial losses. In the paper a comparison of proposed multi region fuzzy logic controller and traditional PID controllers designed only for nominal condition is presented. The gains of the local PID controllers have been derived by solving appropriate optimization tasks with the cost function in a form of integrated squared error (ISE criterion. In both cases, a model of steam generator which is readily available in literature was used for control algorithms synthesis purposes. The proposed multi-region fuzzy logic controller and traditional PID controller were subjected to broad-based simulation tests in rapid prototyping software - Matlab/Simulink. These tests proved the advantage of multi-region fuzzy logic controller with local PID controllers over its traditional counterpart.

Controlling Smart Green House Using Fuzzy Logic Method

Directory of Open Access Journals (Sweden)

Rafiuddin Syam

2017-03-01

Full Text Available To increase agricultural output it is needed a system that can help the environmental conditions for optimum plant growth. Smart greenhouse allows for plants to grow optimally, because the temperature and humidity can be controlled so that no drastic changes. It is necessary for optimal smart greenhouse needed a system to manipulate the environment in accordance with the needs of the plant. In this case the setting temperature and humidity in the greenhouse according to the needs of the plant. So using an automated system for keeping such environmental condition is important. In this study, the authors use fuzzy logic to make the duration of watering the plants more dynamic in accordance with the input temperature and humidity so that the temperature and humidity in the green house plants maintained in accordance to the reference condition. Based on the experimental results using fuzzy logic method is effective to control the duration of watering and to maintain the optimum temperature and humidity inside the greenhouse

Controlling Smart Green House Using Fuzzy Logic Method

Directory of Open Access Journals (Sweden)

Rafiuddin Syam

2015-10-01

Full Text Available To increase agricultural output it is needed a system that can help the environmental conditions for optimum plant growth. Smart greenhouse allows for plants to grow optimally, because the temperature and humidity can be controlled so that no drastic changes. It is necessary for optimal smart greenhouse needed a system to manipulate the environment in accordance with the needs of the plant. In this case the setting temperature and humidity in the greenhouse according to the needs of the plant. So using an automated system for keeping such environmental condition is important. In this study, the authors use fuzzy logic to make the duration of watering the plants more dynamic in accordance with the input temperature and humidity so that the temperature and humidity in the green house plants maintained in accordance to the reference condition. Based on the experimental results using fuzzy logic method is effective to control the duration of watering and to maintain the optimum temperature and humidity inside the greenhouse

Fuzzy Logic Based Set-Point Weighting Controller Tuning for an Internal Model Control Based PID Controller

Directory of Open Access Journals (Sweden)

Maruthai Suresh

2009-10-01

Full Text Available Controller tuning is the process of adjusting the parameters of the selected controller to achieve optimum response for the controlled process. For many of the control problems, a satisfactory performance is obtained by using PID controllers. One of the main problems with mathematical models of physical systems is that the parameters used in the models cannot be determined with absolute accuracy. The values of the parameters may change with time or various effects. In these cases, conventional controller tuning methods suffer when trying a lot to produce optimum response. In order to overcome these difficulties a fuzzy logic based Set- Point weighting controller tuning method is proposed. The effectiveness of the proposed scheme is analyzed through computer simulation using SIMULINK software and the results are presented. The fuzzy logic based simulation results are compared with Cohen-Coon (CC, Ziegler- Nichols (ZN, Ziegler – Nichols with Set- Point weighting (ZN-SPW, Internal Model Control (IMC and Internal model based PID controller responses (IMC-PID. The effects of process modeling errors and the importance of controller tuning have been brought out using the proposed control scheme.

Design a Fuzzy Logic Controller for a Rotary Flexible Joint Robotic Arm

Directory of Open Access Journals (Sweden)

Jalani Jamaludin

2018-01-01

Full Text Available The purpose of this research is to design a fuzzy logic feedback controller (FLC in order to control a desired tip angle position a rotary flexible joint robotic arm. The FLC is also employed to dampen the vibration emanated from a rotary flexible joint robotic arm when reaching a desired tip angle position. The performance of FLC is tested in simulation and experiment. It is found that the FLC is successfully designed, applied and tested. The results show that fuzzy logic controller performed satisfactorily control a desired tip angle position and reduce the oscillations.

Life Cycle V and V Process for Hardware Description Language Programs of Programmable Logic Device-based Instrumentation and Control Systems

International Nuclear Information System (INIS)

Cha, K. H.; Lee, D. Y.

2010-01-01

Programmable Logic Device (PLD), especially Complex PLD (CPLD) or Field Programmable Logic Array (FPGA), has been growing in interest in nuclear Instrumentation and Control (I and C) applications. PLD has been applied to replace an obsolete analog device or old-fashioned microprocessor, or to develop digital controller, subsystem or overall system on hardware aspects. This is the main reason why the PLD-based I and C design provides higher flexibility than the analog-based one, and the PLD-based I and C systems shows better real-time performance than the processor-based I and C systems. Due to the development of the PLD-based I and C systems, their nuclear qualification has been issued in the nuclear industry. Verification and Validation (V and V) is one of necessary qualification activities when a Hardware Description Language (HDL) is used to implement functions of the PLD-based I and C systems. The life cycle V and V process, described in this paper, has been defined as satisfying the nuclear V and V requirements, and it has been applied to verify Correctness, Completeness, and Consistency (3C) among design outputs in a safety-grade programmable logic controller and a safety-critical data communication system. Especially, software engineering techniques such as the Fagan Inspection, formal verification, simulated verification and automated testing have been defined for the life cycle V and V tasks of behavioral, structural, and physical design in VHDL

Program Verification with Monadic Second-Order Logic & Languages for Web Service Development

DEFF Research Database (Denmark)

Møller, Anders

applications, this implementation forms the basis of a verification technique for imperative programs that perform data-type operations using pointers. To achieve this, the basic logic is extended with layers of language abstractions. Also, a language for expressing data structures and operations along...

SITE PROGRAM DEMONSTRATION ECO LOGIC INTERNATIONAL GAS-PHASE CHEMICAL REDUCTION PROCESS, BAY CITY, MICHIGAN TECHNOLOGY EVALUATION REPORT

Science.gov (United States)

The SITE Program funded a field demonstration to evaluate the Eco Logic Gas-Phase Chemical Reduction Process developed by ELI Eco Logic International Inc. (ELI), Ontario, Canada. The Demonstration took place at the Middleground Landfill in Bay City, Michigan using landfill wa...

Self-tuning fuzzy logic nuclear reactor controller

International Nuclear Information System (INIS)

Alang-Rashid, N. K.; Heger, A.S.

1994-01-01

A method for self-timing of a fuzzy logic controller (FLC) based on the estimation of the optimum value of the centroids of the its output fuzzy sets is proposed. The method can be implemented on-line and does not modify the membership function and the control rules, thus preserving the description of control statements in their original forms. Results of simulation and actual tests show that the tuning method improves the FLCs performance in following desired reactor power level trajectories (simulation tests) and simple power up and power down experiments (simulation and actual tests). The FLC control rules were derived from control statements expressing the relations between error, rate of error change, and control rod duration and direction of movements

Self-tuning fuzzy logic nuclear reactor controller

Energy Technology Data Exchange (ETDEWEB)

Alang-Rashid, N K; Heger, A S

1994-12-31

A method for self-timing of a fuzzy logic controller (FLC) based on the estimation of the optimum value of the centroids of the its output fuzzy sets is proposed. The method can be implemented on-line and does not modify the membership function and the control rules, thus preserving the description of control statements in their original forms. Results of simulation and actual tests show that the tuning method improves the FLCs performance in following desired reactor power level trajectories (simulation tests) and simple power up and power down experiments (simulation and actual tests). The FLC control rules were derived from control statements expressing the relations between error, rate of error change, and control rod duration and direction of movements.

Application of programmable logic controller in nuclear experiments

International Nuclear Information System (INIS)

Ponikvar, D.

1991-09-01

The applicability of programmable logic controller (PLC) in nuclear experiments was studied on an example that simulated the monitoring and control of an ion beam in an accelerator. Using infrared and laser light, a comparison was made between the complexity and suitability of PLC compared to a setup using a personal computer. The experiments are described in detail. The routines for registration of signals from appropriate sensors and for control of the stepper monitor were written in quick BASIC. (author). 5 figs

Switch Reluctance Motor Control Based on Fuzzy Logic System

Directory of Open Access Journals (Sweden)

S. V. Aleksandrovsky

2012-01-01

Full Text Available Due to its intrinsic simplicity and reliability, the switched reluctance motor (SRM has now become a promising candidate for variable-speed drive applications as an alternative induction motor in various industrial application. However, the SRM has the disadvantage of nonlinear characteristic and control. It is suggested to use controller based on fuzzy logic system. Design of FLS controller and simulation model presented.

Amplifying genetic logic gates.

Science.gov (United States)

Bonnet, Jerome; Yin, Peter; Ortiz, Monica E; Subsoontorn, Pakpoom; Endy, Drew

2013-05-03

Organisms must process information encoded via developmental and environmental signals to survive and reproduce. Researchers have also engineered synthetic genetic logic to realize simpler, independent control of biological processes. We developed a three-terminal device architecture, termed the transcriptor, that uses bacteriophage serine integrases to control the flow of RNA polymerase along DNA. Integrase-mediated inversion or deletion of DNA encoding transcription terminators or a promoter modulates transcription rates. We realized permanent amplifying AND, NAND, OR, XOR, NOR, and XNOR gates actuated across common control signal ranges and sequential logic supporting autonomous cell-cell communication of DNA encoding distinct logic-gate states. The single-layer digital logic architecture developed here enables engineering of amplifying logic gates to control transcription rates within and across diverse organisms.

Evaluation of a Multi-Variable Self-Learning Fuzzy Logic Controller ...

African Journals Online (AJOL)

In spite of the usefulness of fuzzy control, its main drawback comes from lack of a systematic control design methodology. The most challenging aspect of the design of a fuzzy logic controller is the elicitation of the control rules for its rule base. In this paper, a scheme capable of elicitation of acceptable rules for multivariable ...

Design and Simulation of the Robust ABS and ESP Fuzzy Logic Controller on the Complex Braking Maneuvers

Directory of Open Access Journals (Sweden)

Andrei Aksjonov

2016-11-01

Full Text Available Automotive driving safety systems such as an anti-lock braking system (ABS and an electronic stability program (ESP assist drivers in controlling the vehicle to avoid road accidents. In this paper, ABS and the ESP, based on the fuzzy logic theory, are integrated for vehicle stability control in complex braking maneuvers. The proposed control algorithm is implemented for a sport utility vehicle (SUV and investigated for braking on different surfaces. The results obtained for the vehicle software simulator confirm the robustness of the developed control strategy for a variety of road profiles and surfaces.

All-optical bistable logic control based on coupled Tamm plasmons.

Science.gov (United States)

Zhang, Wei Li; Jiang, Yao; Zhu, Ye Yu; Wang, Fen; Rao, Yun Jiang

2013-10-15

A method for realizing low-threshold all-optical bistable logic control is proposed based on Tamm plasmons (TPs), which are formed in an asymmetric dielectric Bragg reflector (DBR)-metal-DBR (ADMD) structure with a layer of Kerr medium embedded. The ADMD structure supports two TPs due to coupling of trapped modes at each metal-DBR interface, generating two dips in the structure's reflection spectrum. Thus, control (i.e., pump) and controlled (i.e., probe) light with wavelengths close to the two dips, respectively, can be imported. It is verified theoretically that, thanks to the enhanced Kerr nonlinearity related to excitation of high-quality TP, bistable switching at very low injection intensity can be initiated by strength or direction variation of the pump. Meanwhile, the probe changes correspondingly with the pump. Thus, all-optical bistable logic operation of the probe can be controlled by the pump.

Pneumatic motor speed control by trajectory tracking fuzzy logic

Indian Academy of Sciences (India)

In this study, trajectory tracking fuzzy logic controller (TTFLC) is proposed for the speed control of a pneumatic motor (PM). A third order trajectory is defined to determine the trajectory function that has to be tracked by the PM speed. Genetic algorithm (GA) is used to find the TTFLC boundary values of membership functions ...

Anticoincidence logic using PALs

International Nuclear Information System (INIS)

Bolanos, L.; Arista Romeu, E.

1997-01-01

This paper describes the functioning principle of an anticoincidence logic and a design of this based on programing logic. The circuit was included in a discriminator of an equipment for single-photon absorptiometry

Adaptive Interval Type-2 Fuzzy Logic Control for PMSM Drives with a Modified Reference Frame

KAUST Repository

Chaoui, Hicham; Khayamy, Mehdy; Aljarboua, Abdullah Abdulaziz

2017-01-01

In this paper, an adaptive interval type-2 fuzzy logic control scheme is proposed for high-performance permanent magnet synchronous machine drives. This strategy combines the power of type-2 fuzzy logic systems with the adaptive control theory

THRESHOLD LOGIC IN ARTIFICIAL INTELLIGENCE

Science.gov (United States)

COMPUTER LOGIC, ARTIFICIAL INTELLIGENCE , BIONICS, GEOMETRY, INPUT OUTPUT DEVICES, LINEAR PROGRAMMING, MATHEMATICAL LOGIC, MATHEMATICAL PREDICTION, NETWORKS, PATTERN RECOGNITION, PROBABILITY, SWITCHING CIRCUITS, SYNTHESIS

Implementation Of Automatic Wiper Speed Control And Headlight Modes Control Systems Using Fuzzy Logic

Directory of Open Access Journals (Sweden)

ThetKoKo

2015-07-01

Full Text Available Abstract This research paper describes the design and simulation of the automatic wiper speed and headlight modes controllers using fuzzy logic. This proposed system consists of a fuzzy logic controller to control a cars wiper speed and headlight modes. The automatic wiper system detects the rain and its intensity. And according to the rain intensity the wiper speed is automatically controlled. Headlight modes automatically changes either from low beam mode to high beam mode or form high beam mode to low beam mode depending on the light intensity from the other vehicle coming from the opposite direction. The system comprises of PIC impedance sensor piezoelectric vibration sensor LDR headlamps and a DC motor to accurate the windshield wiper. Piezoelectric sensor is used to detect the rain intensity which is based on the piezoelectric effect. MATLAB software is used to achieve the designed goal.

FUZZY LOGIC CONTROLLER IMPLEMENTATION FOR PHOTOVOLTAIC STATION

Directory of Open Access Journals (Sweden)

Imad Zein

2014-01-01

Full Text Available Solar panels have a nonlinear voltage-current characteristic, with a distinct maximum power point (MPP, which depends on the environmental factors, such as temperature and irradiation. In order to continuously harvest maximum power from the solar panels, they have to operate at their MPP despite the inevitable changes in the environment. This is why the controllers of all solar power electronic converters employ some method for maximum power point tracking (MPPT . Over the past years many MPPT techniques have been published and based on that the main paper’s objective is to analyze one of the most promising MPPT control algorithms: fuzzy logic controller. 

Using RUFDATA to guide a logic model for a quality assurance process in an undergraduate university program.

Science.gov (United States)

Sherman, Paul David

2016-04-01

This article presents a framework to identify key mechanisms for developing a logic model blueprint that can be used for an impending comprehensive evaluation of an undergraduate degree program in a Canadian university. The evaluation is a requirement of a comprehensive quality assurance process mandated by the university. A modified RUFDATA (Saunders, 2000) evaluation model is applied as an initiating framework to assist in decision making to provide a guide for conceptualizing a logic model for the quality assurance process. This article will show how an educational evaluation is strengthened by employing a RUFDATA reflective process in exploring key elements of the evaluation process, and then translating this information into a logic model format that could serve to offer a more focussed pathway for the quality assurance activities. Using preliminary program evaluation data from two key stakeholders of the undergraduate program as well as an audit of the curriculum's course syllabi, a case is made for, (1) the importance of inclusivity of key stakeholders participation in the design of the evaluation process to enrich the authenticity and accuracy of program participants' feedback, and (2) the diversification of data collection methods to ensure that stakeholders' narrative feedback is given ample exposure. It is suggested that the modified RUFDATA/logic model framework be applied to all academic programs at the university undergoing the quality assurance process at the same time so that economies of scale may be realized. Copyright © 2015 Elsevier Ltd. All rights reserved.

Development of an object-oriented software based on fuzzy-logic for controlling temperatures in PAC experiments

International Nuclear Information System (INIS)

Lapolli, Andre L.; Yamagishi, Sueli; Domienikan, Claudio; Schoueri, Roberto M.; Carbonari, Artur W.; Saxena, Rajendra N.

2009-01-01

The Hyperfine Interaction Laboratory at Instituto de Pesquisas Energeticas e Nucleares (IPEN) has been using Perturbed Angular Correlation (PAC) technique for studying material science for more than 20 years. One of the important aspects of the research involves the study of the behavior of measured properties of samples as a function of temperature. For temperatures higher than room temperature a small resistance furnace is used to heat the sample. The need to carry out the PAC measurement at predefined temperatures steps in a programmed manner is obvious. The present work describes a procedure for the furnace temperature control and automatic data acquisition at different temperatures based on fuzzy logic. The procedure consists in determining the linguistic input (temp, Δtemp) and output (pow) variables and their pertinence functions. After defining the variables, an object.oriented program is written in Java language which is an interface between principal data acquisition program and electronic temperature controller of the mini furnace. In addition to the implementation of the class that involves the fuzzy logic and classes with strategic algorithms defined for each temperature range there are classes of communication between systems based on modbus protocol RTU (Remote Terminal Unit) connected to serial interface RS-488. In this manner the applied technology for the development of software permits higher software life requiring only small alterations or implementation of classes in the use with new equipment. (author)

Dissecting the logical types of network control in gene expression profiles

Directory of Open Access Journals (Sweden)

Geertz Marcel

2008-02-01

Full Text Available Abstract Background In the bacterium Escherichia coli the transcriptional regulation of gene expression involves both dedicated regulators binding specific DNA sites with high affinity and also global regulators – abundant DNA architectural proteins of the bacterial nucleoid binding multiple sites with a wide range of affinities and thus modulating the superhelical density of DNA. The first form of transcriptional regulation is predominantly pairwise and specific, representing digitial control, while the second form is (in strength and distribution continuous, representing analog control. Results Here we look at the properties of effective networks derived from significant gene expression changes under variation of the two forms of control and find that upon limitations of one type of control (caused e.g. by mutation of a global DNA architectural factor the other type can compensate for compromised regulation. Mutations of global regulators significantly enhance the digital control, whereas in the presence of global DNA architectural proteins regulation is mostly of the analog type, coupling spatially neighboring genomic loci. Taken together our data suggest that two logically distinct – digital and analog – types of control are balancing each other. Conclusion By revealing two distinct logical types of control, our approach provides basic insights into both the organizational principles of transcriptional regulation and the mechanisms buffering genetic flexibility. We anticipate that the general concept of distinguishing logical types of control will apply to many complex biological networks.

Fuzzy Logic Based Control of Power of PEM Fuel Cell System for Residential Application

Directory of Open Access Journals (Sweden)

Khaled MAMMAR

2009-07-01

Full Text Available This paper presents a dynamic model of Fuel cell system for residential power generation. The models proposed include a fuel cell stack model, reformer model and DC/AC inverter model. Furthermore a fuzzy logic (FLC controller is used to control active power of PEM fuel cell system. The controller modifies the hydrogen flow feedback from the terminal load. Simulation results confirmed the high performance capability of the fuzzy logic controller to control power generation.

GOAL Agents Instantiate Intention Logic

OpenAIRE

Hindriks, Koen; van der Hoek, Wiebe

2008-01-01

It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used t...

Contribution of Warsaw Logicians to Computational Logic

Directory of Open Access Journals (Sweden)

Damian Niwiński

2016-06-01

Full Text Available The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. This gave rise to the concept of algorithmic logic developed since the 1970s by Rasiowa, Salwicki, Mirkowska, and their followers. Together with Pratt’s dynamic logic, algorithmic logic evolved into a mainstream branch of research: logic of programs. In the late 1980s, Warsaw logicians Tiuryn and Urzyczyn categorized various logics of programs, depending on the class of programs involved. Quite unexpectedly, they discovered that some persistent open questions about the expressive power of logics are equivalent to famous open problems in complexity theory. This, along with parallel discoveries by Harel, Immerman and Vardi, contributed to the creation of an important area of theoretical computer science: descriptive complexity. By that time, the modal μ-calculus was recognized as a sort of a universal logic of programs. The mid 1990s saw a landmark result by Walukiewicz, who showed completeness of a natural axiomatization for the μ-calculus proposed by Kozen. The difficult proof of this result, based on automata theory, opened a path to further investigations. Later, Bojanczyk opened a new chapter by introducing an unboundedness quantifier, which allowed for expressing some quantitative properties of programs. Yet another topic, linking the past with the future, is the subject of automata founded in the Fraenkel-Mostowski set theory. The studies on intuitionism found their continuation in the studies of Curry-Howard isomorphism. ukasiewicz’s landmark idea of many-valued logic found its continuation in various approaches to incompleteness and uncertainty.

Fuzzy logic and intelligent technologies in nuclear science

International Nuclear Information System (INIS)

Ruan, D.

1998-01-01

The research project on Fuzzy Logic and Intelligent technologies (FLINS) aims to bridge the gap between novel technologies and the nuclear industry. It aims to initiate research and development programs for solving intricate problems pertaining to the nuclear environment by using modern technologies as additional tool. The major achievements for 1997 include the application of the fuzzy-logic to the BR-1 reactor, the elaboration of a Fuzzy-control model as well as contributions to several workshops and publications

Control of beam halo-chaos using fuzzy logic controller

International Nuclear Information System (INIS)

Gao Yuan; Yuan Haiying; Tan Guangxing; Luo Wenguang

2012-01-01

Considering the ion beam with initial K-V distribution in the periodic focusing magnetic filed channels (PFCs) as a typical sample, a fuzzy control method for control- ling beam halo-chaos was studied. A fuzzy proportional controller, using output of fuzzy inference as a control factor, was presented for adjusting exterior focusing magnetic field. The stability of controlled system was proved by fuzzy phase plane analysis. The simulation results demonstrate that the chaotic radius of envelope can be controlled to the matched radius via controlling magnetic field. This method was also applied to the multi-particle model. Under the control condition, the beam halos and its regeneration can be eliminated effectively, and that both the compactness and the uniformity of ion beam are improved evidently. Since the exterior magnetic field can be rather easily adjusted by proportional control and the fuzzy logic controller is independent to the mathematical model, this method has adaptive ability and is easily realized in experiment. The research offers a valuable reference for the design of the PFCs in the high- current linear ion accelerators. (authors)

Logical model for the control of a BWR turbine;Modelo logico para el control de una turbina de un BWR

Energy Technology Data Exchange (ETDEWEB)

Vargas O, Y. [Universidad del Valle de Mexico, Campus Toluca, Av. Las Palmas No. 136, Col. San Jorge Pueblo Nuevo, 52140 Metepec, Estado de Mexico (Mexico); Amador G, R.; Ortiz V, J.; Castillo D, R., E-mail: yonaeton@hotmail.co [ININ, Carretera Mexico-Toluca s/n, 52750 Ocoyoacac, Estado de Mexico (Mexico)

2009-07-01

In this work a design of a logical model is presented for the turbine control of a nuclear power plant with a BWR like energy source. The model is sought to implement later on inside the thermal hydraulics code of better estimate RELAP/SCDAPSIM. The logical model is developed for the control and protection of the turbine, and the consequent protection to the BWR, considering that the turbine control will be been able to use for one or several turbines in series. The quality of the present design of the logical model of the turbine control is that it considers the most important parameters in the operation of a turbine, besides that they have incorporated to the logical model the secondary parameters that will be activated originally as true when the turbine model is substituted by a detailed model. The development of the logical model of a turbine will be of utility in the short and medium term to carry out analysis on the turbine operation with different operation conditions, of vapor extraction, specific steps of the turbine to feed other equipment s, in addition to analyze the separate and the integrated effect. (Author)

The Father Friendly Initiative within Families: Using a logic model to develop program theory for a father support program.

Science.gov (United States)

Gervais, Christine; de Montigny, Francine; Lacharité, Carl; Dubeau, Diane

2015-10-01

The transition to fatherhood, with its numerous challenges, has been well documented. Likewise, fathers' relationships with health and social services have also begun to be explored. Yet despite the problems fathers experience in interactions with healthcare services, few programs have been developed for them. To explain this, some authors point to the difficulty practitioners encounter in developing and structuring the theory of programs they are trying to create to promote and support father involvement (Savaya, R., & Waysman, M. (2005). Administration in Social Work, 29(2), 85), even when such theory is key to a program's effectiveness (Chen, H.-T. (2005). Practical program evaluation. Thousand Oaks, CA: Sage Publications). The objective of the present paper is to present a tool, the logic model, to bridge this gap and to equip practitioners for structuring program theory. This paper addresses two questions: (1) What would be a useful instrument for structuring the development of program theory in interventions for fathers? (2) How would the concepts of a father involvement program best be organized? The case of the Father Friendly Initiative within Families (FFIF) program is used to present and illustrate six simple steps for developing a logic model that are based on program theory and demonstrate its relevance. Crown Copyright © 2015. Published by Elsevier Ltd. All rights reserved.

Sensitivity-based self-learning fuzzy logic control for a servo system

NARCIS (Netherlands)

Balenovic, M.

1998-01-01

Describes an experimental verification of a self-learning fuzzy logic controller (SLFLC). The SLFLC contains a learning algorithm that utilizes a second-order reference model and a sensitivity model related to the fuzzy controller parameters. The effectiveness of the proposed controller has been

Feasibility analysis of fuzzy logic control for ITER Poloidal field (PF) AC/DC converter system

Energy Technology Data Exchange (ETDEWEB)

Hassan, Mahmood Ul; Fu, Peng [Institute of Plasma Physics, Chinese Academy of Sciences, Hefei 230031 (China); University of Science and Technology of China (China); Song, Zhiquan, E-mail: zhquansong@ipp.ac.cn [Institute of Plasma Physics, Chinese Academy of Sciences, Hefei 230031 (China); Chen, Xiaojiao [Institute of Plasma Physics, Chinese Academy of Sciences, Hefei 230031 (China); University of Science and Technology of China (China); Zhang, Xiuqing [Institute of Plasma Physics, Chinese Academy of Sciences, Hefei 230031 (China); Humayun, Muhammad [Shanghai Jiaotong University (China)

2017-05-15

Highlights: • The implementation of the Fuzzy controller for the ITER PF converter system is presented. • The comparison of the FLC and PI simulation are investigated. • The FLC single and parallel bridge operation are presented. • Fuzzification and Defuzzification algorithms are presented using FLC controller. - Abstract: This paper describes the feasibility analysis of the fuzzy logic control to increase the performance of the ITER poloidal field (PF) converter systems. A fuzzy-logic-based controller is designed for ITER PF converter system, using the traditional PI controller and Fuzzy controller (FC), the dynamic behavior and transient response of the PF converter system are compared under normal operation by analysis and simulation. The analysis results show that the fuzzy logic control can achieve better operation performance than PI control.

Reconfigurable logic via gate controlled domain wall trajectory in magnetic network structure

Science.gov (United States)

Murapaka, C.; Sethi, P.; Goolaup, S.; Lew, W. S.

2016-01-01

An all-magnetic logic scheme has the advantages of being non-volatile and energy efficient over the conventional transistor based logic devices. In this work, we present a reconfigurable magnetic logic device which is capable of performing all basic logic operations in a single device. The device exploits the deterministic trajectory of domain wall (DW) in ferromagnetic asymmetric branch structure for obtaining different output combinations. The programmability of the device is achieved by using a current-controlled magnetic gate, which generates a local Oersted field. The field generated at the magnetic gate influences the trajectory of the DW within the structure by exploiting its inherent transverse charge distribution. DW transformation from vortex to transverse configuration close to the output branch plays a pivotal role in governing the DW chirality and hence the output. By simply switching the current direction through the magnetic gate, two universal logic gate functionalities can be obtained in this device. Using magnetic force microscopy imaging and magnetoresistance measurements, all basic logic functionalities are demonstrated. PMID:26839036

Robust position control of induction motor using fuzzy logic control

International Nuclear Information System (INIS)

Kim, Sei Chan; Kim, Duk Hun; Yang, Seung Ho; Won, Chung Yuen

1993-01-01

In recent years, fuzzy logic or fuzzy set theory has reveived attention of a number of researchers in the area of power electronics and motion control. The paper describes a vector-controlled induction motor position servo drive where fuzzy control is used to get robustness against parameter variation and load torque disturbance effects. Both coarse and fine control with the help of look-up rule tables are used to improve transient response and system settling time. The performance characteristics are then compared with those of proportional-integral(PI) control. The simulation results clearly indicate the superiority of fuzzy control with larger number of rules. The fuzzy controller was implemented with a 16-bit microprocessor and tested in laboratory on a 3-hp IGBT inverter induction motor drive system. The test results verify the simulation performance. (Author)

LOGICAL CONDITIONS ANALYSIS METHOD FOR DIAGNOSTIC TEST RESULTS DECODING APPLIED TO COMPETENCE ELEMENTS PROFICIENCY

Directory of Open Access Journals (Sweden)

V. I. Freyman

2015-11-01

Full Text Available Subject of Research.Representation features of education results for competence-based educational programs are analyzed. Solution importance of decoding and proficiency estimation for elements and components of discipline parts of competences is shown. The purpose and objectives of research are formulated. Methods. The paper deals with methods of mathematical logic, Boolean algebra, and parametrical analysis of complex diagnostic test results, that controls proficiency of some discipline competence elements. Results. The method of logical conditions analysis is created. It will give the possibility to formulate logical conditions for proficiency determination of each discipline competence element, controlled by complex diagnostic test. Normalized test result is divided into noncrossing zones; a logical condition about controlled elements proficiency is formulated for each of them. Summarized characteristics for test result zones are imposed. An example of logical conditions forming for diagnostic test with preset features is provided. Practical Relevance. The proposed method of logical conditions analysis is applied in the decoding algorithm of proficiency test diagnosis for discipline competence elements. It will give the possibility to automate the search procedure for elements with insufficient proficiency, and is also usable for estimation of education results of a discipline or a component of competence-based educational program.

Optimal fuzzy logic-based PID controller for load-frequency control including superconducting magnetic energy storage units

International Nuclear Information System (INIS)

Pothiya, Saravuth; Ngamroo, Issarachai

2008-01-01

This paper proposes a new optimal fuzzy logic-based-proportional-integral-derivative (FLPID) controller for load frequency control (LFC) including superconducting magnetic energy storage (SMES) units. Conventionally, the membership functions and control rules of fuzzy logic control are obtained by trial and error method or experiences of designers. To overcome this problem, the multiple tabu search (MTS) algorithm is applied to simultaneously tune PID gains, membership functions and control rules of FLPID controller to minimize frequency deviations of the system against load disturbances. The MTS algorithm introduces additional techniques for improvement of search process such as initialization, adaptive search, multiple searches, crossover and restarting process. Simulation results explicitly show that the performance of the optimum FLPID controller is superior to the conventional PID controller and the non-optimum FLPID controller in terms of the overshoot, settling time and robustness against variations of system parameters

A fuzzy logic sliding mode controlled electronic differential for a direct wheel drive EV

Science.gov (United States)

Ozkop, Emre; Altas, Ismail H.; Okumus, H. Ibrahim; Sharaf, Adel M.

2015-11-01

In this study, a direct wheel drive electric vehicle based on an electronic differential system with a fuzzy logic sliding mode controller (FLSMC) is studied. The conventional sliding surface is modified using a fuzzy rule base to obtain fuzzy dynamic sliding surfaces by changing its slopes using the global error and its derivative in a fuzzy logic inference system. The controller is compared with proportional-integral-derivative (PID) and sliding mode controllers (SMCs), which are usually preferred to be used in industry. The proposed controller provides robustness and flexibility to direct wheel drive electric vehicles. The fuzzy logic sliding mode controller, electronic differential system and the overall electrical vehicle mechanism are modelled and digitally simulated by using the Matlab software. Simulation results show that the system with FLSMC has better efficiency and performance compared to those of PID and SMCs.

An external logic architecture for implementing traffic signal system control strategies.

Science.gov (United States)

2011-09-01

The built-in logic functions in traffic controllers have very limited capability to store information, to analyze input data, to estimate performance measures, and to adopt control strategy decisions. These capabilities are imperative to support traf...

Development of a control logic for nuclear heating operation for primary system for SMART

International Nuclear Information System (INIS)

Seo, Jae Kwang; Kang, H. O.; Yoon, J. H.; Kim, K. K.; Lee, D. J.

2000-11-01

A nuclear heating concept is adopted in the SMART compared with the commercial nuclear power plant using the primary coolant pumps for heating the primary system. In this report, five options of heatup control logic are proposed and each option is evaluated using MMS code. In option 1, control rod is controlled by a signal of difference in require heatup rate (dT/dt)req. and actual heatup rate (dT/dt)act., which is calculated from the measured value of core outlet temperature. In option 2, control rod is controlled by a signal of difference in reference temperature and actual measured temperature. In option 3, control rod is controlled by a signal of difference in required core power Qcore and actual measured core power N. Primary side temperature difference in measured values between steam generator (SG) inlet and outlet is used in determining Qcore in option 3. Because of this dependency on difference in measured temperature Qcore, in conjunction with measurement channel error in temperature, involves certain uncertainty during specially low flow conditions where primary side temperature difference in SG inlet and outlet is very small. Option 4 is a modified version of option 3. In option 4, SG outlet temperature is not needed to calculate Qcore. However a compensating program which enable Qcore to be evaluated without SG outlet temperature is needed. In option 5, control rod is controlled by a signal of difference in required preset step core power Qcore and actual measured core power N. From the simulation results it is concluded that option 5 using step power setting during heatup operation is suitable for as a heatup control logic for SMART

Position controller for the arm of a neutron diffractometer using fuzzy logic

International Nuclear Information System (INIS)

Ayala P, G.F.

1994-01-01

The neutron diffractometer is an important instrument coupled to one of the radial outlets of the TRIGA-3-Salazar Reactor and is used mainly to analyze textures and crystal lattices. One of its main components is the velocity analysis goniometer which controls in a tangential way the movements of the sensor requiring for this a resolution of a hundredth of degree, but at the same time wide displacements are required. It is necessary to design and construct a system on the basis of a micro controller which control the long movements in a rapid way and with the needed accuracy. In this work, a proposition is presented: to replace the A.C. motor with a D.C. motor with a wide range of velocity and supplied with a card (DAC) to control the velocity by means of digital data. Moreover, a programmed micro controller with an algorithm based on fuzzy logic receiving data in BCD will be use. The use of micro controller will allow to set free the personal computer of the position of the goniometer; nevertheless, the system will report to the P C and its control program about the present position of the goniometer and the time when the desired position is reached. It is also consider that the user will be away from the system (a minimum of 15 meters) in order to avoid the zone with a high intensity of background radiation. (Author)

Support vector inductive logic programming outperforms the naive Bayes classifier and inductive logic programming for the classification of bioactive chemical compounds.

Science.gov (United States)

Cannon, Edward O; Amini, Ata; Bender, Andreas; Sternberg, Michael J E; Muggleton, Stephen H; Glen, Robert C; Mitchell, John B O

2007-05-01

We investigate the classification performance of circular fingerprints in combination with the Naive Bayes Classifier (MP2D), Inductive Logic Programming (ILP) and Support Vector Inductive Logic Programming (SVILP) on a standard molecular benchmark dataset comprising 11 activity classes and about 102,000 structures. The Naive Bayes Classifier treats features independently while ILP combines structural fragments, and then creates new features with higher predictive power. SVILP is a very recently presented method which adds a support vector machine after common ILP procedures. The performance of the methods is evaluated via a number of statistical measures, namely recall, specificity, precision, F-measure, Matthews Correlation Coefficient, area under the Receiver Operating Characteristic (ROC) curve and enrichment factor (EF). According to the F-measure, which takes both recall and precision into account, SVILP is for seven out of the 11 classes the superior method. The results show that the Bayes Classifier gives the best recall performance for eight of the 11 targets, but has a much lower precision, specificity and F-measure. The SVILP model on the other hand has the highest recall for only three of the 11 classes, but generally far superior specificity and precision. To evaluate the statistical significance of the SVILP superiority, we employ McNemar's test which shows that SVILP performs significantly (p < 5%) better than both other methods for six out of 11 activity classes, while being superior with less significance for three of the remaining classes. While previously the Bayes Classifier was shown to perform very well in molecular classification studies, these results suggest that SVILP is able to extract additional knowledge from the data, thus improving classification results further.

ARTIFICIAL NEURAL NETWORK AND FUZZY LOGIC CONTROLLER FOR GTAW MODELING AND CONTROL

Institute of Scientific and Technical Information of China (English)

无

2002-01-01

An artificial neural network(ANN) and a self-adjusting fuzzy logic controller(FLC) for modeling and control of gas tungsten arc welding(GTAW) process are presented. The discussion is mainly focused on the modeling and control of the weld pool depth with ANN and the intelligent control for weld seam tracking with FLC. The proposed neural network can produce highly complex nonlinear multi-variable model of the GTAW process that offers the accurate prediction of welding penetration depth. A self-adjusting fuzzy controller used for seam tracking adjusts the control parameters on-line automatically according to the tracking errors so that the torch position can be controlled accurately.

Fuzzy Logic vs. Neutrosophic Logic: Operations Logic

Directory of Open Access Journals (Sweden)

Salah Bouzina

2016-12-01

Full Text Available The goal of this research is first to show how different, thorough, widespread and effective are the operations logic of the neutrosophic logic compared to the fuzzy logic’s operations logical. The second aim is to observe how a fully new logic, the neutrosophic logic, is established starting by changing the previous logical perspective fuzzy logic, and by changing that, we mean changing changing the truth values from the truth and falsity degrees membership in fuzzy logic, to the truth, falsity and indeterminacy degrees membership in neutrosophic logic; and thirdly, to observe that there is no limit to the logical discoveries - we only change the principle, then the system changes completely.

Digital Fuzzy logic and PI control of phase-shifted full-bridge current-doubler converter

DEFF Research Database (Denmark)

Török, Lajos; Munk-Nielsen, Stig

2011-01-01

Simple digital fuzzy logic voltage control of a phaseshifted full-bridge (PSFB) converter is proposed in this article. A comparison of the fuzzy controller and the classical PI voltage controller is presented and their effects on the converter dynamics are analyzed. Simulation model of the conver...... of the converter was built in Matlab/Simulink using PLECS. A 600W PSFB convert was designed and built and the control strategies were implemented in a 16 bit fixed point dsPIC microcontroller. The advantages and disadvantages of using Fuzzy logic control are highlighted....

Logic Models: A Tool for Effective Program Planning, Collaboration, and Monitoring. REL 2014-025

Science.gov (United States)

Kekahio, Wendy; Lawton, Brian; Cicchinelli, Louis; Brandon, Paul R.

2014-01-01

A logic model is a visual representation of the assumptions and theory of action that underlie the structure of an education program. A program can be a strategy for instruction in a classroom, a training session for a group of teachers, a grade-level curriculum, a building-level intervention, or a district-or statewide initiative. This guide, an…

First-order modal logic theorem proving and standard PROLOG

OpenAIRE

Nonnengart, A.

1992-01-01

Many attempts have been started to combine logic programming and modal logics. Most of them however, do not use classical PROLOG, but extend the PROLOG idea in order to cope with modal logic formulae directly. These approaches have the disadvantage that for each logic new logic programming systems are to be developed and the knowledge and experience gathered from PROLOG can hardly be utilized. Modal logics based on Kripke-style relational semantics, however, allow a direct translation from mo...

A Logic Programming Based Approach to Applying Abstract Interpretation to Embedded Software

DEFF Research Database (Denmark)

Henriksen, Kim Steen

anvendt til at analysere programmer udviklet til indlejrede systemer. Et givet indlejret system modelleres som en emulator skrevet i en variant af logikprogrammering kaldet constraint logic programming (CLP). Emulatoren specialiseres med hensyn til et givet program, hvilket resulterer i et nyt program i...... programmeringsparadigme der har et solidt matematisk fundament. Et af dets karakteristika er adskillelsen af logik (betydningen af et program) og kontrol (hvordan programmet udføres), hvilket gør logikprogrammering til et meget anvendeligt sprog hvad angår programanalyse. I denne afhandling bliver logikprogrammering...... skrevet i sproget CLP der samtidig er isomorft med programmet skrevet til det indlejrede system. Anvendes abstract interpretation baserede analysatorer på det specialiserede program, kan resultater fra denne analyse direkte overføres til den indlejrede program, da dette program og den specialiserede...

Fuzzy logic controller for crude oil levels at Escravos Tank Farm ...

African Journals Online (AJOL)

Fuzzy logic controller (FLC) for crude oil flow rates and tank levels was designed for monitoring flow and tank level management at Escravos Tank Farm in Nigeria. The fuzzy control system incorporated essence of expert knowledge required to handle the tasks. Proportional Integral Derivative (PID) control of crude flow ...

evaluation of a multi-variable self-learning fuzzy logic controller

African Journals Online (AJOL)

Dr Obe

2003-03-01

Mar 1, 2003 ... The most challenging aspect of the design of a fuzzy logic controller is ... inaccuracy (or structured uncertainty) and unmodelled ... mathematical analysis on paper is impossible ... output (SISO) system that can self-construct ...

Satisfiability of logic programming based on radial basis function neural networks

International Nuclear Information System (INIS)

Hamadneh, Nawaf; Sathasivam, Saratha; Tilahun, Surafel Luleseged; Choon, Ong Hong

2014-01-01

In this paper, we propose a new technique to test the Satisfiability of propositional logic programming and quantified Boolean formula problem in radial basis function neural networks. For this purpose, we built radial basis function neural networks to represent the proportional logic which has exactly three variables in each clause. We used the Prey-predator algorithm to calculate the output weights of the neural networks, while the K-means clustering algorithm is used to determine the hidden parameters (the centers and the widths). Mean of the sum squared error function is used to measure the activity of the two algorithms. We applied the developed technique with the recurrent radial basis function neural networks to represent the quantified Boolean formulas. The new technique can be applied to solve many applications such as electronic circuits and NP-complete problems

Satisfiability of logic programming based on radial basis function neural networks

Energy Technology Data Exchange (ETDEWEB)

Hamadneh, Nawaf; Sathasivam, Saratha; Tilahun, Surafel Luleseged; Choon, Ong Hong [School of Mathematical Sciences, Universiti Sains Malaysia, 11800 USM, Penang (Malaysia)

2014-07-10

In this paper, we propose a new technique to test the Satisfiability of propositional logic programming and quantified Boolean formula problem in radial basis function neural networks. For this purpose, we built radial basis function neural networks to represent the proportional logic which has exactly three variables in each clause. We used the Prey-predator algorithm to calculate the output weights of the neural networks, while the K-means clustering algorithm is used to determine the hidden parameters (the centers and the widths). Mean of the sum squared error function is used to measure the activity of the two algorithms. We applied the developed technique with the recurrent radial basis function neural networks to represent the quantified Boolean formulas. The new technique can be applied to solve many applications such as electronic circuits and NP-complete problems.

Fuzzy Logic Based Controller for Maintaining Human Comfort within Intelligent Building System

Directory of Open Access Journals (Sweden)

Nasrodin .T. Mustapha, Momoh J. E. Salami, Nazim and M. Nasiri

2012-10-01

Full Text Available This paper presents an intelligent control approach for air handling unit (AHU which is an integral part of heat, ventilation, and air conditioning (HVAC system. In the past years various control design for HVAC have been proposed as this system remarkably consumes very high energy. But most of the proposed designs were focused on the control flow of heat-transfer medium such as chilled or heated water while the importance of the efficient mixture of outdoor and indoor enthalpies is sometimes ignored. These enthalpies invariably determine the best strategy to overcome thermal load in a controlled environment to satisfy human comfort, hence a control design strategy must be able to efficiently regulate the flow and mixture of outdoor and indoor enthalpies by a proper control of AHU dampers and fans. This approach requires sensors to measure temperature and relative humidity of both outdoor and indoor environments. However, unpredictable level of disturbances coming from many sources including heat generated by occupants, electrical items and air leaking and the continuous changes of outdoor enthalpy makes it difficult to model the process. Consequently, conventional controllers are not suitable, hence the use of fuzzy logic controller (FLC is proposed in this paper. This proposed controller operates in a master and slave control loop so as to control the AHU dampers and fans with adjustable output membership function whilst at the same time a scaling-factor method is used to drive the master operation. To implement the proposed system, a small scale prototype has been designed and fabricated. This prototype is an AHU model which consists of ductwork, temperature and humidity sensors, dampers, air cooling and heating systems. A small box is used as a conditioning space in which a room temperature is measured. The control algorithm is programmed using National Instrument (NI LabVIEW and executed using NI FieldPoint. Experimental results reveal that

Operational Investigation of Overhead Crane with Fuzzy Logic Anti-Swing Controller Using 3-D Simulation

Directory of Open Access Journals (Sweden)

Y. N. Petrenko

2011-01-01

Full Text Available The purpose of a crane control system is to provide load transfer with minimum swinging. The paper presents a developed three-dimensional simulation model of a bridge crane with fuzzy logic controller designed with application of genetic algorithms. Comparative indices of oscillation while load transferring are given in the paper. The indices have been obtained at various parameters of the fuzzy logic controller. 

PDL as a multi-agent strategy logic

NARCIS (Netherlands)

D.J.N. van Eijck (Jan); B.C. Schipper

2013-01-01

textabstractPropositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming constructs. We propose a new perspective on PDL as a multi-agent strategic logic (MASL). This logic for strategic reasoning has group strategies as first class citizens, and

FPGA based Fuzzy Logic Controller for plasma position control in ADITYA Tokamak

International Nuclear Information System (INIS)

Suratia, Pooja; Patel, Jigneshkumar; Rajpal, Rachana; Kotia, Sorum; Govindarajan, J.

2012-01-01

Highlights: ► Evaluation and comparison of the working performance of FLC is done with that of PID Controller. ► FLC is designed using MATLAB Fuzzy Logic Toolbox, and validated on ADITYA RZIP model. ► FLC was implemented on a FPGA. The close-loop testing is done by interfacing FPGA to MATLAB/Simulink. ► Developed FLC controller is able to maintain the plasma column within required range of ±0.05 m and was found to give robust control against various disturbances and faster and smoother response compared to PID Controller. - Abstract: Tokamaks are the most promising devices for obtaining nuclear fusion energy from high-temperature, ionized gas termed as Plasma. The successful operation of tokamak depends on its ability to confine plasma at the geometric center of vacuum vessel with sufficient stability. The quality of plasma discharge in ADITYA Tokamak is strongly related to the radial position of the plasma column in the vacuum vessel. If the plasma column approaches too near to the wall of vacuum vessel, it leads to minor or complete disruption of plasma. Hence the control of plasma position throughout the entire plasma discharge duration is a fundamental requirement. This paper describes Fuzzy Logic Controller (FLC) which is designed for radial plasma position control. This controller is tested and evaluated on the ADITYA RZIP control model. The performance of this FLC was compared with that of Proportional–Integral–Derivative (PID) Controller and the response was found to be faster and smoother. FLC was implemented on a Field Programmable Gate Array (FPGA) chip with the use of a Very High-Speed Integrated-Circuits Hardware Description-Language (VHDL).

Investigation of phase-wise voltage regulator control logics for compensating voltage deviations in an experimental low voltage network

DEFF Research Database (Denmark)

Hu, Junjie; Zecchino, Antonio; Marinelli, Mattia

2016-01-01

This paper investigates the control logics of an on-load tap-changer (OLTC) transformer by means of an experimental system validation. The experimental low-voltage unbalanced system consists of a decoupled single-phase OLTC transformer, a 75-metre 16 mm2 cable, a controllable single-phase resistive...... load and an electric vehicle, which has the vehicle-to-grid function. Three control logics of the OLTC transformer are described in the study. The three control logics are classified based on their control objectives and control inputs, which include network currents and voltages, and can be measured...... either locally or remotely. To evaluate and compare the control performances of the three control logics, all the tests use the same loading profiles. The experimental results indicate that the modified line compensation control can regulate voltage in a safe band in the case of various load...

Power control of SAFE reactor using fuzzy logic

International Nuclear Information System (INIS)

Irvine, Claude

2002-01-01

Controlling the 100 kW SAFE (Safe Affordable Fission Engine) reactor consists of design and implementation of a fuzzy logic process control system to regulate dynamic variables related to nuclear system power. The first phase of development concentrates primarily on system power startup and regulation, maintaining core temperature equilibrium, and power profile matching. This paper discusses the experimental work performed in those areas. Nuclear core power from the fuel elements is simulated using resistive heating elements while heat rejection is processed by a series of heat pipes. Both axial and radial nuclear power distributions are determined from neuronic modeling codes. The axial temperature profile of the simulated core is matched to the nuclear power profile by varying the resistance of the heating elements. The SAFE model establishes radial temperature profile equivalence by establishing 32 control zones as the nodal coordinates. Control features also allow for slow warm up, since complete shutoff can occur in the heat pipes if heat-source temperatures drop/rise below a certain minimum value, depending on the specific fluid and gas combination in the heat pipe. The entire system is expected to be self-adaptive, i.e., capable of responding to long-range changes in the space environment. Particular attention in the development of the fuzzy logic algorithm shall ensure that the system process remains at set point, virtually eliminating overshoot on start-up and during in-process disturbances. The controller design will withstand harsh environments and applications where it might come in contact with water, corrosive chemicals, radiation fields, etc

Voltage-Controlled Reconfigurable Spin-Wave Nanochannels and Logic Devices

Science.gov (United States)

Rana, Bivas; Otani, YoshiChika

2018-01-01

Propagating spin waves (SWs) promise to be a potential information carrier in future spintronics devices with lower power consumption. Here, we propose reconfigurable nanochannels (NCs) generated by voltage-controlled magnetic anisotropy (VCMA) in an ultrathin ferromagnetic waveguide for SW propagation. Numerical micromagnetic simulations are performed to demonstrate the confinement of magnetostatic forward volumelike spin waves in NCs by VCMA. We demonstrate that the NCs, with a width down to a few tens of a nanometer, can be configured either into a straight or curved structure on an extended SW waveguide. The key advantage is that either a single NC or any combination of a number of NCs can be easily configured by VCMA for simultaneous propagation of SWs either with the same or different wave vectors according to our needs. Furthermore, we demonstrate the logic operation of a voltage-controlled magnonic xnor and universal nand gate and propose a voltage-controlled reconfigurable SW switch for the development of a multiplexer and demultiplexer. We find that the NCs and logic devices can even be functioning in the absence of the external-bias magnetic field. These results are a step towards the development of all-voltage-controlled magnonic devices with an ultralow power consumption.

Quantum Logic and Quantum Reconstruction

OpenAIRE

Stairs, Allen

2015-01-01

Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

From Interpreter to Logic Engine by Defunctionalization

DEFF Research Database (Denmark)

Biernacki, Dariusz; Danvy, Olivier

2003-01-01

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

From Interpreter to Logic Engine by Defunctionalization

DEFF Research Database (Denmark)

Biernacki, Dariusz; Danvy, Olivier

2004-01-01

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

From Interpreter to logic Engine by Defunctionalization

DEFF Research Database (Denmark)

Biernacki, Dariusz; Danvy, Olivier

2003-01-01

Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lam......Starting from a continuation-based interpreter for a simple logic programming language, propositional Prolog with cut, we derive the corresponding logic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied...

IT0: Discrete Math and Programming Logic Topics as a Hybrid Alternative to CS0

Science.gov (United States)

Martin, Nancy L.

2015-01-01

This paper describes the development of a hybrid introductory course for students in their first or second year of an information systems technologies degree program at a large Midwestern university. The course combines topics from discrete mathematics and programming logic and design, a unique twist on most introductory courses. The objective of…

Roles of programmable logic controllers in fuel reprocessing plants

International Nuclear Information System (INIS)

Mishra, Hrishikesh; Balakrishnan, V.P.; Pandya, G.J.

1999-01-01

Fuel charging facility is another application of Programmable Logic Controllers (PLC) in fuel reprocessing plants, that involves automatic operation of fuel cask dolly, charging motor, pneumatic doors, clutches, clamps, stepper motors and rod pushers in a pre-determined sequence. Block diagram of ACF system is given for underlining the scope of control and interlocks requirements involved for automation of the fuel charging system has been provided for the purpose at KARP Plant, Kalpakkam

Neural-Network-Based Fuzzy Logic Navigation Control for Intelligent Vehicles

Directory of Open Access Journals (Sweden)

Ahcene Farah

2002-06-01

Full Text Available This paper proposes a Neural-Network-Based Fuzzy logic system for navigation control of intelligent vehicles. First, the use of Neural Networks and Fuzzy Logic to provide intelligent vehicles  with more autonomy and intelligence is discussed. Second, the system  for the obstacle avoidance behavior is developed. Fuzzy Logic improves Neural Networks (NN obstacle avoidance approach by handling imprecision and rule-based approximate reasoning. This system must make the vehicle able, after supervised learning, to achieve two tasks: 1- to make one’s way towards its target by a NN, and 2- to avoid static or dynamic obstacles by a Fuzzy NN capturing the behavior of a human expert. Afterwards, two association phases between each task and the appropriate actions are carried out by Trial and Error learning and their coordination allows to decide the appropriate action. Finally, the simulation results display the generalization and adaptation abilities of the system by testing it in new unexplored environments.

Comparison of Anti-Virus Programs using Fuzzy Logic

Directory of Open Access Journals (Sweden)

Vaclav Bezdek

2013-07-01

Full Text Available This work follows the previous author´s paper: Possible use of Fuzzy Logic in Database. It tries to show application of Fuzzy Logic in selecting the best anti-virus software based on testing made by AV-Comparatives.

Fuzzy logic type 1 and type 2 based on LabVIEW FPGA

CERN Document Server

Ponce-Cruz, Pedro; MacCleery, Brian

2016-01-01

This book is a comprehensive introduction to LabVIEW FPGA™, a package allowing the programming of intelligent digital controllers in field programmable gate arrays (FPGAs) using graphical code. It shows how both potential difficulties with understanding and programming in VHDL and the consequent difficulty and slowness of implementation can be sidestepped. The text includes a clear theoretical explanation of fuzzy logic (type 1 and type 2) with case studies that implement the theory and systematically demonstrate the implementation process. It goes on to describe basic and advanced levels of programming LabVIEW FPGA and show how implementation of fuzzy-logic control in FPGAs improves system responses. A complete toolkit for implementing fuzzy controllers in LabVIEW FPGA has been developed with the book so that readers can generate new fuzzy controllers and deploy them immediately. Problems and their solutions allow readers to practice the techniques and to absorb the theoretical ideas as they arise. Fuzzy L...

Verification of BGA type FPGA logic applied to a control equipment with Safety Class using the special socket

International Nuclear Information System (INIS)

Chung, YounHu; Yoo, Kwanwoo; Lee, Myeongkyun; Yun, Donghwa

2015-01-01

This article aims to provide the verification method for BGA-type FPGA of Programmable Logic Controller (PLC) developed as Safety Class. The logic of FPGA in the control device with Safety Class is the circuit to control overall logic of PLC. This device converts to the different module from the input signals for both digital and analogue of the equipment in the field and outputs their data. In addition, it should perform the logical controls such as backplane communication control and data communication. We suggest acquiring method of the data signal with efficient logic using the socket in this article. Proposed test socket is made by simpler process than former one, and the process is done in batches by which cost can be reduces, and the test socket can be quickly produced in response to any request. Also, it is possible to reduce the wear by reducing the contact force of the ball phenomenon. The structure on the basis of silicon can be reduced the modification, and it has excellent linearity. At the logic verification, the operation that state data block is designed in the FPGA could be easily confirmed by using a socket

A study of photovoltaic/thermal (PVT)-ground source heat pump hybrid system by using fuzzy logic control

International Nuclear Information System (INIS)

Andrew Putrayudha, S.; Kang, Eun Chul; Evgueniy, E.; Libing, Y.; Lee, Euy Joon

2015-01-01

Renewable Heat Obligation (RHO) implementation in every country becomes an important issue to utilize more renewable energy sources while reducing the usage of fossil fuel. In 2014, South Korea has a target that every commercial building construction that exceeding 10,000 m 2 has to have on-site new & renewable power generation such as combined heat in the beginning of 2016. Photovoltaic/Thermal (PVT) and Geothermal hybrid systems have been introduced in previous research (E.J. Lee et al.) and it showed a great result from its efficiency and also its power consumption for single and multi-building cases. In this paper, Fuzzy Logic control has been applied to optimize the energy consumption of the system. By comparing it with conventional on–off control, fuzzy logic control system shows a better result in reducing primary energy consumption for both heating and cooling systems annually. Two cases were introduced in this paper, GSHP system and PVT–GSHP system with both on–off and fuzzy logic applied respectively. As a result, it shows that fuzzy logic control consumed 13.3% less energy compared with on–off controller for GSHP system annually and 18.3% less energy compared to on–off controller for PVT–GSHP system annually. - Highlights: • Two renewable systems were designed to produce heating, cooling and electricity. • System optimization by applying Fuzzy Logic in terms of energy saving. • Conventional on–off control system vs advance fuzzy logic control system. • Assumption used based on previous research experience, guidelines.

Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming.

Science.gov (United States)

Guziolowski, Carito; Videla, Santiago; Eduati, Federica; Thiele, Sven; Cokelaer, Thomas; Siegel, Anne; Saez-Rodriguez, Julio

2013-09-15

Logic modeling is a useful tool to study signal transduction across multiple pathways. Logic models can be generated by training a network containing the prior knowledge to phospho-proteomics data. The training can be performed using stochastic optimization procedures, but these are unable to guarantee a global optima or to report the complete family of feasible models. This, however, is essential to provide precise insight in the mechanisms underlaying signal transduction and generate reliable predictions. We propose the use of Answer Set Programming to explore exhaustively the space of feasible logic models. Toward this end, we have developed caspo, an open-source Python package that provides a powerful platform to learn and characterize logic models by leveraging the rich modeling language and solving technologies of Answer Set Programming. We illustrate the usefulness of caspo by revisiting a model of pro-growth and inflammatory pathways in liver cells. We show that, if experimental error is taken into account, there are thousands (11 700) of models compatible with the data. Despite the large number, we can extract structural features from the models, such as links that are always (or never) present or modules that appear in a mutual exclusive fashion. To further characterize this family of models, we investigate the input-output behavior of the models. We find 91 behaviors across the 11 700 models and we suggest new experiments to discriminate among them. Our results underscore the importance of characterizing in a global and exhaustive manner the family of feasible models, with important implications for experimental design. caspo is freely available for download (license GPLv3) and as a web service at http://caspo.genouest.org/. Supplementary materials are available at Bioinformatics online. santiago.videla@irisa.fr.

Knowledge discovery from structured mammography reports using inductive logic programming.

Science.gov (United States)

Burnside, Elizabeth S; Davis, Jesse; Costa, Victor Santos; Dutra, Inês de Castro; Kahn, Charles E; Fine, Jason; Page, David

2005-01-01

The development of large mammography databases provides an opportunity for knowledge discovery and data mining techniques to recognize patterns not previously appreciated. Using a database from a breast imaging practice containing patient risk factors, imaging findings, and biopsy results, we tested whether inductive logic programming (ILP) could discover interesting hypotheses that could subsequently be tested and validated. The ILP algorithm discovered two hypotheses from the data that were 1) judged as interesting by a subspecialty trained mammographer and 2) validated by analysis of the data itself.

Beta normal control of TFTR using fuzzy logic

International Nuclear Information System (INIS)

Lawson, J.E.; Bell, M.G.; Marsala, R.J.; Mueller, D.

1995-01-01

In TFTR plasmas heated by neutral beam injection, the fusion power yield increases rapidly with the plasma pressure. However, the pressure is limited by the onset of instabilities which may result in plasma disruptions that would have had an adverse effect on the performance of subsequent discharges and increase the risk of damage to internal components. The likelihood of disruption has been found to correlate with the normalized beta, defined as βN = 2 x 10 8 μ circle left angle p perpendicular to right angle a / BTIp where left angle p perpendicular to right angle is the volume-average plasma perpendicular pressure, a the mid-plane minor radius of the plasma, BT the toroidal magnetic field and Ip the plasma current. Other variables, such as the peaking of the plasma pressure and current profiles, have been found to influence the threshold of βN at which the probability of disruption begins to increase significantly. For TFTR plasmas with high fusion performance (TFTR ''supershots'') the probability of disruption has been found to increase rapidly for βN > 1.8. Since confinement in this regime is affected by plasma-wall interaction, which can vary from shot to shot, operation at high βN with preprogrammed heating power pulses can produce an unacceptably high risk of disruption. To reduce the risk of producing beta-limit disruptions during neutral beam heating experiments, a control system, the Neutral Beam Power Feedback System (NBPFS), has been developed to modulate the total heating power by switching individual neutral beam sources on and off in response to the evolution of the normalized beta so that the limit will not be exceeded. The value of βN is calculated in real time and transmitted to the NBPFS. The value of βN and its calculated time derivative are input to a fuzzy logic controller which implements a proportional-derivative control based on the difference between βN and a programmed reference level βNREF which can be programmed as a function

Building Automation and Control Systems and Electrical Distribution Grids: A Study on the Effects of Loads Control Logics on Power Losses and Peaks

Directory of Open Access Journals (Sweden)

Salvatore Favuzza

2018-03-01

Full Text Available Growing home comfort is causing increasing energy consumption in residential buildings and a consequent stress in urban medium and low voltage distribution networks. Therefore, distribution system operators are obliged to manage problems related to the reliability of the electricity system and, above all, they must consider investments for enhancing the electrical infrastructure. The purpose of this paper is to assess how the reduction of building electricity consumption and the modification of the building load profile, due to load automation, combined with suitable load control programs, can improve network reliability and distribution efficiency. This paper proposes an extensive study on this issue, considering various operating scenarios with four load control programs with different purposes, the presence/absence of local generation connected to the buildings and different external thermal conditions. The study also highlights how different climatic conditions can influence the effects of the load control logics.

Emergency Diesel: Safety-related instrumentation and control with programmable logic controllers

International Nuclear Information System (INIS)

Breidenich, G.; Luedtke, M.

2004-01-01

This report presents a new concept for the design of emergency diesel equipment protection circuits as a part of the safety related instrumentation in the nuclear power plant Biblis, units A and B. The concept was implemented with state of the art SIMATIC S7/316 programmable logic controllers (PLCs) and can be adapted to any system with high availability requirements (e.g. power plant turbines, aircraft engines, mining pumps etc). (orig.)

Investigation of the Flutter Suppression by Fuzzy Logic Control for Hypersonic Wing

Science.gov (United States)

Li, Dongxu; Luo, Qing; Xu, Rui

This paper presents a fundamental study of flutter characteristics and control performance of an aeroelastic system based on a two-dimensional double wedge wing in the hypersonic regime. Dynamic equations were established based on the modified third order nonlinear piston theory and some nonlinear structural effects are also included. A set of important parameters are observed. And then aeroelastic control law is designed to suppress the amplitude of the LCOs for the system in the sub/supercritical speed range by applying fuzzy logic control on the input of the deflection of the flap. The overall effects of the parameters on the aeroelastic system were outlined. Nonlinear aeroelastic responses in the open- and closed-loop system are obtained through numerical methods. The simulations show fuzzy logic control methods are effective in suppressing flutter and provide a smart approach for this complicated system.

Control of electrochemical signals from quantum dots conjugated to organic materials by using DNA structure in an analog logic gate.

Science.gov (United States)

Chen, Qi; Yoo, Si-Youl; Chung, Yong-Ho; Lee, Ji-Young; Min, Junhong; Choi, Jeong-Woo

2016-10-01

Various bio-logic gates have been studied intensively to overcome the rigidity of single-function silicon-based logic devices arising from combinations of various gates. Here, a simple control tool using electrochemical signals from quantum dots (QDs) was constructed using DNA and organic materials for multiple logic functions. The electrochemical redox current generated from QDs was controlled by the DNA structure. DNA structure, in turn, was dependent on the components (organic materials) and the input signal (pH). Independent electrochemical signals from two different logic units containing QDs were merged into a single analog-type logic gate, which was controlled by two inputs. We applied this electrochemical biodevice to a simple logic system and achieved various logic functions from the controlled pH input sets. This could be further improved by choosing QDs, ionic conditions, or DNA sequences. This research provides a feasible method for fabricating an artificial intelligence system. Copyright © 2016 Elsevier B.V. All rights reserved.

Automatic generation control of TCPS based hydrothermal system under open market scenario: A fuzzy logic approach

Energy Technology Data Exchange (ETDEWEB)

Rao, C. Srinivasa [EEE Department, G. Pulla Reddy Engineering College, Kurnool, Andhra Pradesh (India); Nagaraju, S. Siva [EEE Department, J.N.T.U College of Engg., Kakinada, Andhra Pradesh (India); Raju, P. Sangameswara [EEE Department, S.V. University, Tirupati, Andhra Pradesh (India)

2009-09-15

This paper presents the analysis of automatic generation control of a two-area interconnected thyristor controlled phase shifter based hydrothermal system in the continuous mode using fuzzy logic controller under open market scenario. Open transmission access and the evolving of more socialized companies for generation, transmission and distribution affects the formulation of AGC problem. So the traditional AGC two-area system is modified to take into account the effect of bilateral contracts on the dynamics. It is possible to stabilize the system frequency and tie-power oscillations by controlling the phase angle of TCPS which is expected to provide a new ancillary service for the future power systems. A control strategy using TCPS is proposed to provide active control of system frequency. Further dynamic responses for small perturbation considering fuzzy logic controller and PI controller (dual mode controller) have been observed and the superior performance of fuzzy logic controller has been reported analytically and also through simulation. (author)

Student Perceptions of Instructional Tools in Programming Logic: A Comparison of Traditional versus Alice Teaching Environments

Science.gov (United States)

Schultz, Leah

2011-01-01

This research investigates the implementation of the programming language Alice to teach computer programming logic to computer information systems students. Alice has been implemented in other university settings and has been reported to have many benefits including object-oriented concepts and an engaging and fun learning environment. In this…

Fuzzy logic controller versus classical logic controller for residential hybrid solar-wind-storage energy system

Energy Technology Data Exchange (ETDEWEB)

Derrouazin, A., E-mail: derrsid@gmail.com [University Hassiba BenBouali of Chlef, LGEER,Chlef (Algeria); Université de Lorraine, LMOPS, EA 4423, 57070 Metz (France); CentraleSupélec, LMOPS, 57070 Metz (France); Aillerie, M., E-mail: aillerie@metz.supelec.fr; Charles, J. P. [Université de Lorraine, LMOPS, EA 4423, 57070 Metz (France); CentraleSupélec, LMOPS, 57070 Metz (France); Mekkakia-Maaza, N. [Université des sciences et de la Technologie d’Oran, Mohamed Boudiaf-USTO MB,LMSE, Oran Algérie (Algeria)

2016-07-25

Several researches for management of diverse hybrid energy systems and many techniques have been proposed for robustness, savings and environmental purpose. In this work we aim to make a comparative study between two supervision and control techniques: fuzzy and classic logics to manage the hybrid energy system applied for typical housing fed by solar and wind power, with rack of batteries for storage. The system is assisted by the electric grid during energy drop moments. A hydrogen production device is integrated into the system to retrieve surplus energy production from renewable sources for the household purposes, intending the maximum exploitation of these sources over years. The models have been achieved and generated signals for electronic switches command of proposed both techniques are presented and discussed in this paper.

Fuzzy logic controller versus classical logic controller for residential hybrid solar-wind-storage energy system

International Nuclear Information System (INIS)

Derrouazin, A.; Aillerie, M.; Charles, J. P.; Mekkakia-Maaza, N.

2016-01-01

Several researches for management of diverse hybrid energy systems and many techniques have been proposed for robustness, savings and environmental purpose. In this work we aim to make a comparative study between two supervision and control techniques: fuzzy and classic logics to manage the hybrid energy system applied for typical housing fed by solar and wind power, with rack of batteries for storage. The system is assisted by the electric grid during energy drop moments. A hydrogen production device is integrated into the system to retrieve surplus energy production from renewable sources for the household purposes, intending the maximum exploitation of these sources over years. The models have been achieved and generated signals for electronic switches command of proposed both techniques are presented and discussed in this paper.

Management of Industrial Processes with Programmable Logic Controller

Directory of Open Access Journals (Sweden)

Marius Tufoi

2009-10-01

Full Text Available In a modern economy, automation (the control is primarily to raise the competitiveness of a product, either directly through price or quality, or indirectly through the improvement of working conditions of staff productive. The control of industrial processes involves the management of dynamic systems that have continuous states. These systems are described by differential equations and, in general, analog inputs and outputs. Management of these systems is achieved, in general, with classical automation, by automation or with analog computers which contains modules with input / output analog performance. If states, inputs and outputs of a system can be modeled using binary variables, then these systems can be driven with Programmable Logic Controller.

Application of fuzzy logic in nuclear reactor control Part I: An assessment of state-of-the-art

International Nuclear Information System (INIS)

Herger, A.S.; Jamshidl, M.; Alang-Rashid, N.K.

1995-01-01

This article discusses the application of fuzzy logic to nuclear reactor control. The method has been suggested by many investigators in many control applications. Reviews of the application of fuzzy logic in process control are given by Tong and Sugeno. Because fuzzy logic control (FLC) provides a pathway for transforming human abstractions into the numerical domain, it has the potential to assist nuclear reactor operators in the control room. With this transformation, linguistically expressed control principles can be coded into the fuzzy controller rule base. Having acquired the skill of the operators, the FLC can assist an operator in controlling the complex system. The thrust of FLC is to derive a conceptual model of the control operation, without expressing the process as mathematical equations, to assist the human operator in interpreting incoming plant variables and arriving at a proper control action. To introduce the concept of FLC in nuclear reactor operation, an overview of the mythology and a review of its application in both nuclear and nonnuclear control application domains are presented along with subsequent discussion of fuzzy logic controllers, their structures, and their method of information processing. The article concludes with the application of a tunable FLC to a typical reactor control problem

Application of fuzzy logic in nuclear reactor control: Part 1: An assessment of state-of-the-art

International Nuclear Information System (INIS)

Heger, A.S.; Alang-Rashid, N.K.; Jamshidi, M.

1995-01-01

This article discusses the application of fuzzy logic of nuclear reactor control. The method has been suggested by many investigators in many control applications. Reviews of the application of fuzzy logic in process control are given by Tong and Sugeno. Because fuzzy logic control (FLC) provides a pathway for transforming human abstractions into the numerical domain, it has the potential to assist nuclear reactor operators in the control room. With this transformation, linguistically expressed control principles can be coded into the fuzzy controller rule base. Having acquired the skill of he operators, the FLC can assist an operator in controlling the complex system. The thrust of FLC is to derive a conceptual model of the control operation, without expressing the process as mathematical equations, to assist the human operator in interpreting incoming plant variables and arriving at a proper control action. To introduce the concept of FLC in nuclear reactor operation, an overview of the mythology and a review of its application in both nuclear and nonnuclear control application domains are presented along with subsequent discussion of fuzzy logic controllers, their structures, and their method of information processing. The article concludes with the application of a tunable FLC to a typical reactor control problem. 49 refs., 9 figs., 3 tabs

A fuzzy logic controller for feedwater regulation in pressurized water reactors

International Nuclear Information System (INIS)

Eryuerek, E.E.; Upadhyaya, B.R.; Alguindigue, I.E.

1994-01-01

Fuzzy control refers to the application of fuzzy logic theory to control systems. In this paper fuzzy controllers for steam generator water level control and pump speed control are presented, and their performance in the presence of perturbations is discussed. In order to test the robustness of the controllers, their performance is compared with the performance of model based adaptive controllers and traditional PID controllers. The control actions calculated by the fuzzy controllers is have the characteristic of quick and smooth control compared to the others

Introduction to fuzzy logic using Matlab

CERN Document Server

Sivanandam, SN; Deepa, S N

2006-01-01

Fuzzy Logic, at present is a hot topic, among academicians as well various programmers. This book is provided to give a broad, in-depth overview of the field of Fuzzy Logic. The basic principles of Fuzzy Logic are discussed in detail with various solved examples. The different approaches and solutions to the problems given in the book are well balanced and pertinent to the Fuzzy Logic research projects. The applications of Fuzzy Logic are also dealt to make the readers understand the concept of Fuzzy Logic. The solutions to the problems are programmed using MATLAB 6.0 and the simulated results are given. The MATLAB Fuzzy Logic toolbox is provided for easy reference.

242-A Control System device logic software documentation. Revision 2

International Nuclear Information System (INIS)

Berger, J.F.

1995-01-01

A Distributive Process Control system was purchased by Project B-534. This computer-based control system, called the Monitor and Control System (MCS), was installed in the 242-A Evaporator located in the 200 East Area. The purpose of the MCS is to monitor and control the Evaporator and Monitor a number of alarms and other signals from various Tank Farm facilities. Applications software for the MCS was developed by the Waste Treatment System Engineering Group of Westinghouse. This document describes the Device Logic for this system

Depth Control of Sevofluorane Anesthesia with Microcontroller Based Fuzzy Logic System

National Research Council Canada - National Science Library

Yardimci, A

2001-01-01

... at the end of the anesthesia. In this study, sevofluorane depth of anesthesia was examined through a microcontroller-based fuzzy logic control system according to the blood pressure and heart rate taken from the patient...

Fuzzy logic control of vehicle suspensions with dry friction nonlinearity

Indian Academy of Sciences (India)

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 Programmable Logic Controller and its application in nuclear reactor systems

International Nuclear Information System (INIS)

Palomar, J.; Wyman, R.

1993-09-01

This document provides recommendations to guide reviewers in the application of Programmable Logic Controllers (PLCS) to the control, monitoring and protection of nuclear reactors. The first topics addressed are system-level design issues, specifically including safety. The document then discusses concerns about the PLC manufacturing organization and the protection system engineering organization. Supplementing this document are two appendices. Appendix A summarizes PLC characteristics. Specifically addressed are those characteristics that make the PLC more suitable for emergency shutdown systems than other electrical/electronic-based systems, as well as characteristics that improve reliability of a system. Also covered are PLC characteristics that may create an unsafe operating environment. Appendix B provides an overview of the use of programmable logic controllers in emergency shutdown systems. The intent is to familiarize the reader with the design, development, test, and maintenance phases of applying a PLC to an ESD system. Each phase is described in detail and information pertinent to the application of a PLC is pointed out

The Programmable Logic Controller and its application in nuclear reactor systems

Energy Technology Data Exchange (ETDEWEB)

Palomar, J.; Wyman, R. [Lawrence Livermore National Lab., CA (United States)

1993-09-01

This document provides recommendations to guide reviewers in the application of Programmable Logic Controllers (PLCS) to the control, monitoring and protection of nuclear reactors. The first topics addressed are system-level design issues, specifically including safety. The document then discusses concerns about the PLC manufacturing organization and the protection system engineering organization. Supplementing this document are two appendices. Appendix A summarizes PLC characteristics. Specifically addressed are those characteristics that make the PLC more suitable for emergency shutdown systems than other electrical/electronic-based systems, as well as characteristics that improve reliability of a system. Also covered are PLC characteristics that may create an unsafe operating environment. Appendix B provides an overview of the use of programmable logic controllers in emergency shutdown systems. The intent is to familiarize the reader with the design, development, test, and maintenance phases of applying a PLC to an ESD system. Each phase is described in detail and information pertinent to the application of a PLC is pointed out.

Nuclear reactor control with fuzzy logic approaches - strengths, weakness, opportunities, and threats

International Nuclear Information System (INIS)

Ruan, Da

2004-01-01

As part of the special track on 'Lessons learned from computational intelligence in nuclear applications' at the forthcoming FLINS 2004 conference on Applied Computational Intelligence (Blankenberge, Belgium, September 1-3, 2004), research experiences on fuzzy logic techniques in applications of nuclear reactor control operation are critically reviewed in this presentation. Assessment of four real fuzzy control applications at the MIT research reactor in the US, the FUGEN heavy water reactor in Japan, the BR1 research reactor in Belgium, and a TRIGA Mark III reactor in Mexico will be examined thought a SWOT analysis (strengths, weakness, opportunities, and threats). Special attention will be paid to the current cooperation between the Belgian Nuclear Research Centre (SCK-CEN) and the Mexican Nuclear Centre (ININ) on the fuzzy logic control for nuclear reactor control project under the partial support of the National Council for Science and Technology of Mexico (CONACYT). (Author)

Programmable Logic Controllers for Systems of Automatic of the Level Crossing

Directory of Open Access Journals (Sweden)

Mieczyslaw Kornaszewski

2006-01-01

Full Text Available The railway crossings are vulnerable to incidence of high number of accidents often deadly. In order to face this problem, the modern systems of automatic of the level crossing have been introduced. These systems are based on Programmable Logic Controllers, which allow the designers to exploit self-control mechanisms, events acquiring, technical diagnostic which in turn enable remote control and acquisition of faults.

Generator of combined logical signals

International Nuclear Information System (INIS)

Laviron, Andre; Berard, Claude.

1982-01-01

The invention concerns a generator of combined logical signals to form combinations of two outputs at logical level 1 and N-2 outputs at logical level 0, among N generator outputs. This generator is characterized in that it includes a set of N means for storing combinations. Means enable the N storage means to be loaded with the logical levels corresponding to a pre-set starting combination, to control the operations for shifting the contents of the storage means and to control, by transfer facilities, the transfers of contents between these storage means. Controls enable the storage means to be actuated in order to obtain combinations of logical levels 1 and 0. The generation of combinations can be stopped after another pre-set combination. Application is for testing of safety circuits for nuclear power stations [fr

The Design of Artificial Intelligence Robot Based on Fuzzy Logic Controller Algorithm

Science.gov (United States)

Zuhrie, M. S.; Munoto; Hariadi, E.; Muslim, S.

2018-04-01

Artificial Intelligence Robot is a wheeled robot driven by a DC motor that moves along the wall using an ultrasonic sensor as a detector of obstacles. This study uses ultrasonic sensors HC-SR04 to measure the distance between the robot with the wall based ultrasonic wave. This robot uses Fuzzy Logic Controller to adjust the speed of DC motor. When the ultrasonic sensor detects a certain distance, sensor data is processed on ATmega8 then the data goes to ATmega16. From ATmega16, sensor data is calculated based on Fuzzy rules to drive DC motor speed. The program used to adjust the speed of a DC motor is CVAVR program (Code Vision AVR). The readable distance of ultrasonic sensor is 3 cm to 250 cm with response time 0.5 s. Testing of robots on walls with a setpoint value of 9 cm to 10 cm produce an average error value of -12% on the wall of L, -8% on T walls, -8% on U wall, and -1% in square wall.

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

DEFF Research Database (Denmark)

Brunel, Julien Pierre Manuel; Doligez, Damien; Hansen, Rene Rydhof

2008-01-01

an extension of the temporal logic CTL has been applied to the problem of specifying and verifying the transformations commonly performed by optimizing compilers. Nevertheless, in developing the Coccinelle program transformation tool for performing Linux collateral evolutions in systems code, we have found......, using a transformation rule that fixes several reference count bugs in Linux code....

A fast-slow logic system

International Nuclear Information System (INIS)

Kawashima, Hideo.

1977-01-01

A fast-slow logic system has been made for use in multi-detector experiments in nuclear physics such as particle-gamma and particle-particle coincidence experiments. The system consists of a fast logic system and a slow logic system. The fast logic system has a function of fast coincidences and provides timing signals for the slow logic system. The slow logic system has a function of slow coincidences and a routing control of input analog signals to the ADCs. (auth.)

Fuzzy Logic Controller Stability Analysis Using a Satisfiability Modulo Theories Approach

Science.gov (United States)

Arnett, Timothy; Cook, Brandon; Clark, Matthew A.; Rattan, Kuldip

2017-01-01

While many widely accepted methods and techniques exist for validation and verification of traditional controllers, at this time no solutions have been accepted for Fuzzy Logic Controllers (FLCs). Due to the highly nonlinear nature of such systems, and the fact that developing a valid FLC does not require a mathematical model of the system, it is quite difficult to use conventional techniques to prove controller stability. Since safety-critical systems must be tested and verified to work as expected for all possible circumstances, the fact that FLC controllers cannot be tested to achieve such requirements poses limitations on the applications for such technology. Therefore, alternative methods for verification and validation of FLCs needs to be explored. In this study, a novel approach using formal verification methods to ensure the stability of a FLC is proposed. Main research challenges include specification of requirements for a complex system, conversion of a traditional FLC to a piecewise polynomial representation, and using a formal verification tool in a nonlinear solution space. Using the proposed architecture, the Fuzzy Logic Controller was found to always generate negative feedback, but inconclusive for Lyapunov stability.

Active control of flexible structures using a fuzzy logic algorithm

Science.gov (United States)

Cohen, Kelly; Weller, Tanchum; Ben-Asher, Joseph Z.

2002-08-01

This study deals with the development and application of an active control law for the vibration suppression of beam-like flexible structures experiencing transient disturbances. Collocated pairs of sensors/actuators provide active control of the structure. A design methodology for the closed-loop control algorithm based on fuzzy logic is proposed. First, the behavior of the open-loop system is observed. Then, the number and locations of collocated actuator/sensor pairs are selected. The proposed control law, which is based on the principles of passivity, commands the actuator to emulate the behavior of a dynamic vibration absorber. The absorber is tuned to a targeted frequency, whereas the damping coefficient of the dashpot is varied in a closed loop using a fuzzy logic based algorithm. This approach not only ensures inherent stability associated with passive absorbers, but also circumvents the phenomenon of modal spillover. The developed controller is applied to the AFWAL/FIB 10 bar truss. Simulated results using MATLAB© show that the closed-loop system exhibits fairly quick settling times and desirable performance, as well as robustness characteristics. To demonstrate the robustness of the control system to changes in the temporal dynamics of the flexible structure, the transient response to a considerably perturbed plant is simulated. The modal frequencies of the 10 bar truss were raised as well as lowered substantially, thereby significantly perturbing the natural frequencies of vibration. For these cases, too, the developed control law provides adequate settling times and rates of vibrational energy dissipation.

FUZZY LOGIC CONTROLLER AS MODELING TOOL FOR THE BURNING PROCESS OF A CEMENT PRODUCTION PLANT

Directory of Open Access Journals (Sweden)

P.B. Osofisan

2012-01-01

Full Text Available

ENGLISH ABSTRACT: A comprehensive optimisation of the cement production process presents a problem since the input variables as well as the output variables are non-linear, interdependent and contain uncertainties. To arrive at a solution, a Fuzzy Logic controller has been designed to achieve a well-defined relationship between the main and vital variables through the instrumentality of a Fuzzy Model. The Fuzzy Logic controller has been simulated on a digital computer using MATLAB 5.0 Fuzzy Logic Tool Box, using data from a local cement production plant.

AFRIKAANSE OPSOMMING: Die omvattende optimisering van 'n proses wat sement vervaardig, word beskryf deur nie-linieêre inset- en uitsetveranderlikes wat onderling afhanklik is, en ook van onsekere aard is. Om 'n optimum oplossing te verkry, word 'n Wasigheidsmodel gebruik. Die model word getoets deur gebruik te maak van die MATLAB 5.0 Fuzzy Logic Tool Box en data vanaf 'n lokale sementvervaardigingsaanleg.

Realworld maximum power point tracking simulation of PV system based on Fuzzy Logic control

Science.gov (United States)

Othman, Ahmed M.; El-arini, Mahdi M. M.; Ghitas, Ahmed; Fathy, Ahmed

2012-12-01

In the recent years, the solar energy becomes one of the most important alternative sources of electric energy, so it is important to improve the efficiency and reliability of the photovoltaic (PV) systems. Maximum power point tracking (MPPT) plays an important role in photovoltaic power systems because it maximize the power output from a PV system for a given set of conditions, and therefore maximize their array efficiency. This paper presents a maximum power point tracker (MPPT) using Fuzzy Logic theory for a PV system. The work is focused on the well known Perturb and Observe (P&O) algorithm and is compared to a designed fuzzy logic controller (FLC). The simulation work dealing with MPPT controller; a DC/DC Ćuk converter feeding a load is achieved. The results showed that the proposed Fuzzy Logic MPPT in the PV system is valid.

A logical treatment of secondary storage

International Nuclear Information System (INIS)

Foster, I.T.; Kusalik, A.J.

1986-01-01

Existing logic programming environments usually rely on highly imperative primitives and side-effects to achieve I/O with peripheral devices such as disks. This paper describes an alternate approach where the concepts of information input and output are described declarativley. Using a model of a logic-based open system, independent logic systems communicate their beliefs by means of ground logic clauses. The interface to a physical disk is defined as a node in such a system. The contents of the disk are treated as a knowledge base. The model provides the disk with a simple inference mechanism that allows it to assimilate (or reject) assertions made to it by other nodes of the logic system. This disk can also process queries about its contents. An executable specification for such a storage model is given in the parallel logic programming language PARLOG, as well as an actual implementation that uses very low-level term I/O primitives. It is also shown how this model can be extended so that the disk records entity histories, rather than simple clauses. This enables file systems to be constructed very naturally, and allows garbage collection of ''old'' knowledge

Automatic Function Annotations for Hoare Logic

Directory of Open Access Journals (Sweden)

Daniel Matichuk

2012-11-01

Full Text Available In systems verification we are often concerned with multiple, inter-dependent properties that a program must satisfy. To prove that a program satisfies a given property, the correctness of intermediate states of the program must be characterized. However, this intermediate reasoning is not always phrased such that it can be easily re-used in the proofs of subsequent properties. We introduce a function annotation logic that extends Hoare logic in two important ways: (1 when proving that a function satisfies a Hoare triple, intermediate reasoning is automatically stored as function annotations, and (2 these function annotations can be exploited in future Hoare logic proofs. This reduces duplication of reasoning between the proofs of different properties, whilst serving as a drop-in replacement for traditional Hoare logic to avoid the costly process of proof refactoring. We explain how this was implemented in Isabelle/HOL and applied to an experimental branch of the seL4 microkernel to significantly reduce the size and complexity of existing proofs.

Functions and generality of logic reflections on Dedekind's and Frege's logicisms

CERN Document Server

Benis-Sinaceur, Hourya; Sandu, Gabriel

2015-01-01

This book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege's, Ramsey's and Russell's view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind's and Frege's logicisms. The first chapter explains how, although he shares Frege's aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind's and Frege's actual ways of doing and thinking. The second chapter reflects on Frege's notion of a function, in comparison with ...

VLSI System Implementation of 200 MHz, 8-bit, 90nm CMOS Arithmetic and Logic Unit (ALU Processor Controller

Directory of Open Access Journals (Sweden)

Fazal NOORBASHA

2012-08-01

Full Text Available In this present study includes the Very Large Scale Integration (VLSI system implementation of 200MHz, 8-bit, 90nm Complementary Metal Oxide Semiconductor (CMOS Arithmetic and Logic Unit (ALU processor control with logic gate design style and 0.12µm six metal 90nm CMOS fabrication technology. The system blocks and the behaviour are defined and the logical design is implemented in gate level in the design phase. Then, the logic circuits are simulated and the subunits are converted in to 90nm CMOS layout. Finally, in order to construct the VLSI system these units are placed in the floor plan and simulated with analog and digital, logic and switch level simulators. The results of the simulations indicates that the VLSI system can control different instructions which can divided into sub groups: transfer instructions, arithmetic and logic instructions, rotate and shift instructions, branch instructions, input/output instructions, control instructions. The data bus of the system is 16-bit. It runs at 200MHz, and operating power is 1.2V. In this paper, the parametric analysis of the system, the design steps and obtained results are explained.

A Logical Analysis of Quantum Voting Protocols

Science.gov (United States)

Rad, Soroush Rafiee; Shirinkalam, Elahe; Smets, Sonja

2017-12-01

In this paper we provide a logical analysis of the Quantum Voting Protocol for Anonymous Surveying as developed by Horoshko and Kilin in (Phys. Lett. A 375, 1172-1175 2011). In particular we make use of the probabilistic logic of quantum programs as developed in (Int. J. Theor. Phys. 53, 3628-3647 2014) to provide a formal specification of the protocol and to derive its correctness. Our analysis is part of a wider program on the application of quantum logics to the formal verification of protocols in quantum communication and quantum computation.

A fuzzy logic approach to control anaerobic digestion.

Science.gov (United States)

Domnanovich, A M; Strik, D P; Zani, L; Pfeiffer, B; Karlovits, M; Braun, R; Holubar, P

2003-01-01

One of the goals of the EU-Project AMONCO (Advanced Prediction, Monitoring and Controlling of Anaerobic Digestion Process Behaviour towards Biogas Usage in Fuel Cells) is to create a control tool for the anaerobic digestion process, which predicts the volumetric organic loading rate (Bv) for the next day, to obtain a high biogas quality and production. The biogas should contain a high methane concentration (over 50%) and a low concentration of components toxic for fuel cells, e.g. hydrogen sulphide, siloxanes, ammonia and mercaptanes. For producing data to test the control tool, four 20 l anaerobic Continuously Stirred Tank Reactors (CSTR) are operated. For controlling two systems were investigated: a pure fuzzy logic system and a hybrid-system which contains a fuzzy based reactor condition calculation and a hierachial neural net in a cascade of optimisation algorithms.

Fuzzy logic controller architecture for water level control in nuclear power plant steam generator using ANFIS training method

International Nuclear Information System (INIS)

Vosoughi, Naser; Ekrami, AmirHasan; Naseri, Zahra

2003-01-01

Since suitable control of water level can greatly enhance the operation of a power station, a fuzzy logic controller is applied to control the steam generator water level in a pressurized water reactor. The method does not require a detailed mathematical model of the object to be controlled. It is shown that two inputs, a single output and the least number of rules (9 rules) are considered for a controller, and the ANFIS training method is employed to model functions in a controlled system. By using ANFIS training method, initial membership functions will be trained and appropriate functions are generated to control water level inside the steam generator while using the stated rules. The proposed architecture can construct an input-output mapping based on both human knowledge (in the from of fuzzy if - then rules) and stipulated input-output data. This fuzzy logic controller is applied to the steam generator level control by computer simulations. The simulation results confirm the excellent performance of this control architecture in compare with a well-turned PID controller. (author)

Choreographies, Logically

DEFF Research Database (Denmark)

Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten

2014-01-01

In Choreographic Programming, a distributed system is programmed by giving a choreography, a global description of its interactions, instead of separately specifying the behaviour of each of its processes. Process implementations in terms of a distributed language can then be automatically...... projected from a choreography. We present Linear Compositional Choreographies (LCC), a proof theory for reasoning about programs that modularly combine choreographies with processes. Using LCC, we logically reconstruct a semantics and a projection procedure for programs. For the first time, we also obtain...... a procedure for extracting choreographies from process terms....

Neutral network and fuzzy logic based grate control; Roststyrning med neutrala naetverk och fuzzy logic

Energy Technology Data Exchange (ETDEWEB)

Ramstroem, Erik [TPS Termiska Processer AB, Nykoeping (Sweden)

2002-04-01

Grate-control is a complex task in many ways. The relations between controlled variables and the values they depend on are mostly unknown. Research projects are going on to create grate models based on physical laws. Those models are too complex for control implementation. The evaluation time is to long for control use. Another fundamental difficulty is that the relationships are none linear. That is, for a specific change in control value, the change in controlled value depends on the original size of control value, process disturbances and controlled values. There are extensive theories for linear process control. Non-linear control theory is used in robotic applications, but not in process and combustion control. The aim of grate control is to use as much of the grate area as possible, without having unburned material in ash. The outlined strategy is: To keep the position of the final bum out zone constant and its extension controlled. The control variables should be primary airflow, distribution of primary air, and fuel flow. Disturbances that should be measured are the fuel moisture content, the temperature of primary air and the grate temperature under the fuel bed. Technologies used are, fuzzy-logic and neural networks. A combination of booth could be used as well as any of them separately. A Fuzzy-logic controller acts as a computerised operator. Rules are specified with 'if - then' thesis. An example of that is: - if temperature is low, then close the valve The boundaries between the rules are made fuzzy. That makes it possible for the temperature to be just a bit low, which makes the valve open a bit. A lot of rules are created so that the controller knows what to do in every situation. Neural networks are sort of multi dimensional curves, with arbitrary degrees of freedom. The nets are used to predict future process values from measured ones. The model is evaluated from collected data. Parameters are adjusted for best correspondence between

Intelligent control a hybrid approach based on fuzzy logic, neural networks and genetic algorithms

CERN Document Server

Siddique, Nazmul

2014-01-01

Intelligent Control considers non-traditional modelling and control approaches to nonlinear systems. Fuzzy logic, neural networks and evolutionary computing techniques are the main tools used. The book presents a modular switching fuzzy logic controller where a PD-type fuzzy controller is executed first followed by a PI-type fuzzy controller thus improving the performance of the controller compared with a PID-type fuzzy controller.  The advantage of the switching-type fuzzy controller is that it uses one rule-base thus minimises the rule-base during execution. A single rule-base is developed by merging the membership functions for change of error of the PD-type controller and sum of error of the PI-type controller. Membership functions are then optimized using evolutionary algorithms. Since the two fuzzy controllers were executed in series, necessary further tuning of the differential and integral scaling factors of the controller is then performed. Neural-network-based tuning for the scaling parameters of t...

Model Checking Is Static Analysis of Modal Logic

DEFF Research Database (Denmark)

Nielson, Flemming; Nielson, Hanne Riis

2010-01-01

Flow Logic is an approach to the static analysis of programs that has been developed for functional, imperative and object-oriented programming languages and for concurrent, distributed, mobile and cryptographic process calculi. In this paper we extend it; to deal with modal logics and prove...

Controlled data storage for non-volatile memory cells embedded in nano magnetic logic

Science.gov (United States)

Riente, Fabrizio; Ziemys, Grazvydas; Mattersdorfer, Clemens; Boche, Silke; Turvani, Giovanna; Raberg, Wolfgang; Luber, Sebastian; Breitkreutz-v. Gamm, Stephan

2017-05-01

Among the beyond-CMOS technologies, perpendicular Nano Magnetic Logic (pNML) is a promising candidate due to its low power consumption, its non-volatility and its monolithic 3D integrability, which makes it possible to integrate memory and logic into the same device by exploiting the interaction of bi-stable nanomagnets with perpendicular magnetic anisotropy. Logic computation and signal synchronization are achieved by focus ion beam irradiation and by pinning domain walls in magnetic notches. However, in realistic circuits, the information storage and their read-out are crucial issues, often ignored in the exploration of beyond-CMOS devices. In this paper we address these issues by experimentally demonstrating a pNML memory element, whose read and write operations can be controlled by two independent pulsed currents. Our results prove the correct behavior of the proposed structure that enables high density memory embedded in the logic plane of 3D-integrated pNML circuits.

Controlled data storage for non-volatile memory cells embedded in nano magnetic logic

Directory of Open Access Journals (Sweden)

Fabrizio Riente

2017-05-01

Full Text Available Among the beyond-CMOS technologies, perpendicular Nano Magnetic Logic (pNML is a promising candidate due to its low power consumption, its non-volatility and its monolithic 3D integrability, which makes it possible to integrate memory and logic into the same device by exploiting the interaction of bi-stable nanomagnets with perpendicular magnetic anisotropy. Logic computation and signal synchronization are achieved by focus ion beam irradiation and by pinning domain walls in magnetic notches. However, in realistic circuits, the information storage and their read-out are crucial issues, often ignored in the exploration of beyond-CMOS devices. In this paper we address these issues by experimentally demonstrating a pNML memory element, whose read and write operations can be controlled by two independent pulsed currents. Our results prove the correct behavior of the proposed structure that enables high density memory embedded in the logic plane of 3D-integrated pNML circuits.

Modeling and the analysis of control logic for a digital PWM controller based on a nano electronic single electron transistor

Directory of Open Access Journals (Sweden)

Rathnakannan Kailasam

2008-01-01

Full Text Available This paper describes the modelling and the analysis of control logic for a Nano-Device- based PWM controller. A comprehensive simple SPICE schematic model for Single Electron transistor has been proposed. The operation of basic Single Electron Transistor logic gates and SET flip flops were successfully designed and their performances analyzed. The proposed design for realizing the logic gates and flip-flops is used in constructing the PWM controller utilized for switching the buck converter circuit. The output of the converter circuit is compared with reference voltage, and when the error voltage and the reference are matched the latch is reset so as to generate the PWM signal. Due to the simplicity and accuracy of the compact model, the simulation time and speed are much faster, which makes it potentially applicable in large-scale circuit simulation. This study confirms that the SET-based PWM controller is small in size, consumes ultra low power and operates at high speeds without compromising any performance. In addition these devices are capable of measuring charges of extremely high sensitivity.

Fuel Saving Strategy in Spark Ignition Engine Using Fuzzy Logic Engine Torque Control

OpenAIRE

Aris Triwiyatno; Sumardi

2012-01-01

In the case of injection gasoline engine, or better known as spark ignition engines, an effort to improve engine performance as well as to reduce fuel consumption is a fairly complex problem. Generally, engine performance improvement efforts will lead to increase in fuel consumption. However, this problem can be solved by implementing engine torque control based on intelligent regulation such as the fuzzy logic inference system. In this study, fuzzy logic engine torque regulation is used to c...

Project Management Plan for the INEL technology logic diagrams

International Nuclear Information System (INIS)

Rudin, M.J.

1992-10-01

This Project Management Plan (PjMP) describes the elements of project planning and control that apply to activities outlined in Technical Task Plan (TTP) ID-121117, ''Technology Logic Diagrams For The INEL.'' The work on this project will be conducted by personnel in EG ampersand G Idaho, Inc.'s Waste Technology Development Program. Technology logic diagrams represent a formal methodology to identify technology gaps or needs within Environmental Restoration/Waste Management Operations, which will focus on Office of Environmental Restoration and Waste Management (EM-50) research and development, demonstration, test, and evaluation efforts throughout the US Department of Energy complex. This PjMP describes the objectives, organization, roles and responsibilities, workscope and processes for implementing and managing the technology logic diagram for the Idaho National Engineering Laboratory project

Realworld maximum power point tracking simulation of PV system based on Fuzzy Logic control

Directory of Open Access Journals (Sweden)

Ahmed M. Othman

2012-12-01

Full Text Available In the recent years, the solar energy becomes one of the most important alternative sources of electric energy, so it is important to improve the efficiency and reliability of the photovoltaic (PV systems. Maximum power point tracking (MPPT plays an important role in photovoltaic power systems because it maximize the power output from a PV system for a given set of conditions, and therefore maximize their array efficiency. This paper presents a maximum power point tracker (MPPT using Fuzzy Logic theory for a PV system. The work is focused on the well known Perturb and Observe (P&O algorithm and is compared to a designed fuzzy logic controller (FLC. The simulation work dealing with MPPT controller; a DC/DC Ćuk converter feeding a load is achieved. The results showed that the proposed Fuzzy Logic MPPT in the PV system is valid.

Safety logic systems of PFBR

International Nuclear Information System (INIS)

Sambasivan, S. Ilango

2004-01-01

Full text : PFBR is provided with two independent, fast acting and diverse shutdown systems to detect any abnormalities and to initiate safety action. Each system consists of sensors, signal processing systems, logics, drive mechanisms and absorber rods. The absorber rods of the first system are Control and Safety Rods (CSR) and that of the second are called as Diverse Safety Rods (DSR). There are nine CSR and three DSR. While CSR are used for startup, control of reactor power, controlled shutdown and SCRAM, the DSR are used only for SCRAM. The respective drive mechanisms are called as CSRDM and DSRDM. Each of these two systems is capable of executing the shutdown satisfactorily with single failure criteria. Two independent safety logic systems based on diverse principles have been designed for the two shut down systems. The analog outputs of the sensors of Core Monitoring Systems comprising of reactor flux monitoring, core temperature monitoring, failed fuel detection and core flow monitoring systems are processed and converted into binary signals depending on their instantaneous values. Safety logic systems receive the binary signals from these core-monitoring systems and process them logically to protect the reactor against postulated initiating events. Neutronic and power to flow (P/Q) signals form the inputs to safety logic system-I and temperature signals are inputs to the safety logic system II. Failed fuel detection signals are processed by both the shut down systems. The two logic systems to actuate the safety rods are also based on two diverse designs and implemented with solid-state devices to meet all the requirements of safety systems. Safety logic system I that caters to neutronic and P/Q signals is designed around combinational logic and has an on-line test facility to detect struck at faults. The second logic system is based on dynamic logic and hence is inherently safe. This paper gives an overview of the two logic systems that have been

Optical programmable Boolean logic unit.

Science.gov (United States)

Chattopadhyay, Tanay

2011-11-10

Logic units are the building blocks of many important computational operations likes arithmetic, multiplexer-demultiplexer, radix conversion, parity checker cum generator, etc. Multifunctional logic operation is very much essential in this respect. Here a programmable Boolean logic unit is proposed that can perform 16 Boolean logical operations from a single optical input according to the programming input without changing the circuit design. This circuit has two outputs. One output is complementary to the other. Hence no loss of data can occur. The circuit is basically designed by a 2×2 polarization independent optical cross bar switch. Performance of the proposed circuit has been achieved by doing numerical simulations. The binary logical states (0,1) are represented by the absence of light (null) and presence of light, respectively.

NSLS-II Digital RF Controller Logic and Applications

Energy Technology Data Exchange (ETDEWEB)

Holub, B. [Brookhaven National Lab. (BNL), Upton, NY (United States); Gao, F. [Brookhaven National Lab. (BNL), Upton, NY (United States); Kulpin, J. [Brookhaven National Lab. (BNL), Upton, NY (United States); Marques, C. [Brookhaven National Lab. (BNL), Upton, NY (United States); Oliva, J. [Brookhaven National Lab. (BNL), Upton, NY (United States); Rose, J. [Brookhaven National Lab. (BNL), Upton, NY (United States); Towne, N. [Brookhaven National Lab. (BNL), Upton, NY (United States)

2015-05-03

The National Synchrotron Light Source II (NSLS-II) accelerator consists of the Storage Ring, the Booster Ring and Linac along with their associated cavities. Given the number, types and variety of functions of these cavities, we sought to limit the logic development effort by reuse of parameterized code on one hardware platform. Currently there are six controllers installed in the NSLS-II system. There are two in the Storage ring, two in the Booster ring, one in the Linac and one in the Master Oscillator Distribution system.

Design of stability-guaranteed fuzzy logic controller for nuclear steam generators

International Nuclear Information System (INIS)

Cho, B.H.; No, H.C.

1996-01-01

A fuzzy logic controller (FLC) and a fuzzy logic filter (FLF), which have a special type of fuzzifier, inference engine, and defuzzifier, are applied to the water level control of a nuclear steam generator (S/G). It is shown that arbitrary two-input, single-output linear controllers can be adequately expressed by this FLC. A procedure to construct stability-guaranteed FLC rules is proposed. It contains the following steps: (1) the stable sector of linear feedback gains is obtained from the suboptimal concept based on LQR theory and the Lyapunov's stability criteria; (2) the stable sector of linear gains is mapped into two linear rule tables that are used as limits for the FLC rules; and (3) the construction of an FLC rule table is done by choosing certain rules that lie between these limits. This type of FLC guarantees asymptotic stability of the control system. The FLF generates a feedforward signal of S/G feedwater from the steam flow measurement using a fuzzy concept. Through computer simulation, it is found that the FLC with the FLF works better than a well-tuned PID controller with variable gains to reduce swell/shrink phenomena, especially for the water level deviation and abrupt steam flow disturbances that are typical in the existing power plants

Symbolic logic and mechanical theorem proving

CERN Document Server

Chang, Chin-Liang

1969-01-01

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

Fuzzy Logic Based Autonomous Traffic Control System

Directory of Open Access Journals (Sweden)

Muhammad ABBAS

2012-01-01

Full Text Available The aim of this paper is to design and implement fuzzy logic based traffic light Control system to solve the traffic congestion issues. In this system four input parameters: Arrival, Queue, Pedestrian and Emergency Vehicle and two output parameters: Extension in Green and Pedestrian Signals are used. Using Fuzzy Rule Base, the system extends or terminates the Green Signal according to the Traffic situation at the junction. On the presence of emergency vehicle, the system decides which signal(s should be red and how much an extension should be given to Green Signal for Emergency Vehicle. The system also monitors the density of people and makes decisions accordingly. In order to verify the proposed design algorithm MATLAB simulation is adopted and results obtained show concurrency to the calculated values according to the Mamdani Model of the Fuzzy Control System.

Reprogrammable Logic Gate and Logic Circuit Based on Multistimuli-Responsive Raspberry-like Micromotors.

Science.gov (United States)

Zhang, Lina; Zhang, Hui; Liu, Mei; Dong, Bin

2016-06-22

In this paper, we report a polymer-based raspberry-like micromotor. Interestingly, the resulting micromotor exhibits multistimuli-responsive motion behavior. Its on-off-on motion can be regulated by the application of stimuli such as H2O2, near-infrared light, NH3, or their combinations. Because of the versatility in motion control, the current micromotor has great potential in the application field of logic gate and logic circuit. With use of different stimuli as the inputs and the micromotor motion as the output, reprogrammable OR and INHIBIT logic gates or logic circuit consisting of OR, NOT, and AND logic gates can be achieved.

Logic in the curricula of Computer Science

Directory of Open Access Journals (Sweden)

Margareth Quindeless

2014-12-01

Full Text Available The aim of the programs in Computer Science is to educate and train students to understand the problems and build systems that solve them. This process involves applying a special reasoning to model interactions, capabilities, and limitations of the components involved. A good curriculum must involve the use of tools to assist in these tasks, and one that could be considered as a fundamental is the logic, because with it students develop the necessary reasoning. Besides, software developers analyze the behavior of the program during the designed, the depuration, and testing; hardware designers perform minimization and equivalence verification of circuits; designers of operating systems validate routing protocols, programing, and synchronization; and formal logic underlying all these activities. Therefore, a strong background in applied logic would help students to develop or potentiate their ability to reason about complex systems. Unfortunately, few curricula formed and properly trained in logic. Most includes only one or two courses of Discrete Mathematics, which in a few weeks covered truth tables and the propositional calculus, and nothing more. This is not enough, and higher level courses in which they are applied and many other logical concepts are needed. In addition, students will not see the importance of logic in their careers and need to modify the curriculum committees or adapt the curriculum to reverse this situation.

PID Neural Network Based Speed Control of Asynchronous Motor Using Programmable Logic Controller

Directory of Open Access Journals (Sweden)

MARABA, V. A.

2011-11-01

Full Text Available This paper deals with the structure and characteristics of PID Neural Network controller for single input and single output systems. PID Neural Network is a new kind of controller that includes the advantages of artificial neural networks and classic PID controller. Functioning of this controller is based on the update of controller parameters according to the value extracted from system output pursuant to the rules of back propagation algorithm used in artificial neural networks. Parameters obtained from the application of PID Neural Network training algorithm on the speed model of the asynchronous motor exhibiting second order linear behavior were used in the real time speed control of the motor. Programmable logic controller (PLC was used as real time controller. The real time control results show that reference speed successfully maintained under various load conditions.

Optimization of the Fermentation Process in a Brewery with a Fuzzy Logic Controller

Directory of Open Access Journals (Sweden)

Philip B. OSOFISAN

2007-08-01

Full Text Available In this research work, the fermentation process in a Brewery will be optimized, with the application of Fuzzy Logic Controller (FLC. Fermentation is controlled by regulating the temperature, the oxygen content and the pitch rate; but the temperature plays a dominant role in the optimization of the fermentation process. For our case study (Guinness Nigeria Plc the optimal fermentation temperature is 16ºC, so the FLC has been designed to maintain this temperature. The designed FLC can also be applied to maintain any other optimal fermentation temperature e.g. 20ºC. These two cases have been investigated. The FLC has been stimulated on a digital computer using MATLAB 5.0 Fuzzy Logic Tool Box.

Perancangan Coupled Fuzzy Logic Controller pada Prototipe Mesin Computer Numerical Control (CNC

Directory of Open Access Journals (Sweden)

Nabilla Gustiviana

2012-09-01

Full Text Available Tingkat ketelitian mesin CNC dalam membuat suatu kontur merupakan hal yang penting. Adanya gesekan antara mata pahat dengan benda kerja saat melakukan gerakan feeding dalam membentuk suatu kontur dapat berakibat pada kesalahan bentuk kontur yang akan dihasilkan apabila di tiap sumbunya dikontrol secara individu. Untuk mengatasi permasalahan tersebut, maka dirancang kombinasi antara Fuzzy Logic Controller sebagai kontroler individu yang mengatasi permasalahan di tiap sumbu, dengan kontroler koordinasi, yaitu Cross-Coupled Controller. Algoritma dari kontroler ini dibuat dengan menggunakan software LabView 8.6. Hasil simulasi menunjukkan bahwa dengan menambahkan kontroler koordinasi, dapat memperbaiki nilai indeks performansi sebesar 37,5% untuk kontur linier dan 2,78% untuk kontur lingkaran

Multi Channels PWM Controller for Thermoelectric Cooler Using a Programmable Logic Device and Lab-Windows CVI

Directory of Open Access Journals (Sweden)

Eli FLAXER

2008-09-01

Full Text Available We present a complete design of a multi channels PID controller for Thermoelectric Cooler (TEC using a pulse width modulation (PWM technique implemented by a dedicated programmable logic device (PLD programmed by VHDL. The PID control loop is implemented by software written by National Instrument Lab-Windows CVI. Due to the fact that the implementation is by a VHDL and PLD the design is modular, as a result, the circuit is very compact in size and very low cost as compared to any commercial product. In addition, since the control loop is implemented by software running on a personal computer (PC using a C language, it is easy to adjust the controller to various environmental conditions and for a width range of sensors like: a thermo couple (TC, thermistor, resistance temperature detectors (RTD etc. We demonstrate the performance of this circuit as a controller for a small incubator using thermistor as the temperature sensor.

Application of a PID controller based on fuzzy logic to reduce variations in the control parameters in PWR reactors

International Nuclear Information System (INIS)

Vasconcelos, Wagner Eustaquio de; Lira, Carlos Alberto Brayner de Oliveira; Brito, Thiago Souza Pereira de; Afonso, Antonio Claudio Marques; Cruz Filho, Antonio Jose da; Marques, Jose Antonio; Teixeira, Marcello Goulart

2013-01-01

Nuclear reactors are in nature nonlinear systems and their parameters vary with time as a function of power level. These characteristics must be considered if large power variations occur in power plant operational regimes, such as in load-following conditions. A PWR reactor has a component called pressurizer, whose function is to supply the necessary high pressure for its operation and to contain pressure variations in the primary cooling system. The use of control systems capable of reducing fast variations of the operation variables and to maintain the stability of this system is of fundamental importance. The best-known controllers used in industrial control processes are proportional-integral-derivative (PID) controllers due to their simple structure and robust performance in a wide range of operating conditions. However, designing a fuzzy controller is seen to be a much less difficult task. Once a Fuzzy Logic controller is designed for a particular set of parameters of the nonlinear element, it yields satisfactory performance for a range of these parameters. The objective of this work is to develop fuzzy proportional-integral-derivative (fuzzy-PID) control strategies to control the level of water in the reactor. In the study of the pressurizer, several computer codes are used to simulate its dynamic behavior. At the fuzzy-PID control strategy, the fuzzy logic controller is exploited to extend the finite sets of PID gains to the possible combinations of PID gains in stable region. Thus the fuzzy logic controller tunes the gain of PID controller to adapt the model with changes in the water level of reactor. The simulation results showed a favorable performance with the use to fuzzy-PID controllers. (author)

Simulation comparison of proportional integral derivative and fuzzy logic in controlling AC-DC buck boost converter

Science.gov (United States)

Faisal, A.; Hasan, S.; Suherman

2018-03-01

AC-DC converter is widely used in the commercial industry even for daily purposes. The AC-DC converter is used to convert AC voltage into DC. In order to obtain the desired output voltage, the converter usually has a controllable regulator. This paper discusses buck boost regulator with a power MOSFET as switching component which is adjusted based on the duty cycle of pulse width modulation (PWM). The main problems of the buck boost converter at start up are the high overshoot, the long peak time and rise time. This paper compares the effectiveness of two control techniques: proportional integral derivative (PID) and fuzzy logic control in controlling the buck boost converter through simulations. The results show that the PID is more sensitive to voltage change than fuzzy logic. However, PID generates higher overshoot, long peak time and rise time. On the other hand, fuzzy logic generates no overshoot and shorter rise time.

SISTEM PENGEMBANGAN KENDALI FUZZY LOGIC BERBASIS MIKROKONTROLER KELUARGA MCS51 (PetraFuz

Directory of Open Access Journals (Sweden)

Thiang Thiang

1999-01-01

Full Text Available This paper presents a Fuzzy Logic Development Tool called PetraFuz which has been developed at Control System Laboratory, Electrical Engineering Department, Petra Christian University. The system consists of a hardware target based on MCS51 microcontroller and a software support running under PC Windows. The system is targeted for developing fuzzy logic based systems. It supports fuzzy logic design, evaluation, assembly language generator and downloading process to the target hardware to perform on-line fuzzy process. Process action and fuzzy parameters could be transferred to PC monitor via RS-232 serial communication, this on-line process parameters is used for fuzzy tuning, i.e. fuzzy if-then rules and fuzzy membership functions. The PetraFuz tool helps very much for Fuzzy system developments, it could reduce development time significantly. The tool could spur the development of fuzzy systems based on microcontroller systems such as fuzzy control systems, fuzzy information processing, etc. Abstract in Bahasa Indonesia : Makalah ini menyajikan sebuah sistem pengembangan kendali fuzzy logic (PetraFuz, Petra Fuzzy Development System yang dikembangkan oleh laboratorium Sistem Kontrol, Jurusan Teknik Elektro, Universitas Kristen Petra Surabaya. Sistem ini terdiri dari perangkat keras sistem mikrokontroler MCS51 dan perangkat lunak pendukung yang berjalan pada PC. Sistem PetraFuz digunakan untuk mengembangkan sistem berbasis fuzzy logic utamanya pada bidang kendali. Kemampuan sistem meliputi pengembangan pada fase perancangan kendali, evaluasi kendali, pembentukan program bahasa assembly MCS51 dan proses downloading program menuju target sistem mikrokontroler MCS51 untuk dieksekusi melakukan kendali pada plant yang nyata. Aksi kendali dapat diakuisi oleh program PC melalui komunikasi serial RS232 sehingga respon kendali dapat digambarkan pada layar monitor untuk dilakukan analisis lebih lanjut yang diperlukan pada proses tuning if-then fuzzy rules

Drawing Analogies between Logic Programming and Natural Language Argumentation Texts to Scaffold Learners' Understanding

Science.gov (United States)

Ragonis, Noa; Shilo, Gila

2014-01-01

The paper presents a theoretical investigational study of the potential advantages that secondary school learners may gain from learning two different subjects, namely, logic programming within computer science studies and argumentation texts within linguistics studies. The study suggests drawing an analogy between the two subjects since they both…

Proceedings Fifth International Workshop on Verification and Program Transformation

OpenAIRE

Lisitsa, Alexei; Nemytykh, Andrei P.; Proietti, Maurizio

2017-01-01

We extend a technique called Compiling Control. The technique transforms coroutining logic programs into logic programs that, when executed under the standard left-to-right selection rule (and not using any delay features) have the same computational behavior as the coroutining program. In recent work, we revised Compiling Control and reformulated it as an instance of Abstract Conjunctive Partial Deduction. This work was mostly focused on the program analysis performed in Compiling Control. I...

Controlling the power output of a nuclear reactor with fuzzy logic

NARCIS (Netherlands)

Ruan, D.; Wal, A.J. van der

1998-01-01

The application of fuzzy logic control (FLC) in the domain of nuclear industry presents a tremendous challenge. The main reason for this is the public awareness of the risks of nuclear reactors and the very strict safety regulations in force for nuclear power plants. The very same regulations

Controlling the Power Output of a Nuclear Reactor with Fuzzy Logic

NARCIS (Netherlands)

Ruan, D.; Wal, A.J. van der

1997-01-01

The application of fuzzy logic control (FLC) in the domain of nuclear industry presents a tremendous challenge. The main reason for this is the public awareness of the risks of nuclear reactors and the very strict safety regulations in force for nuclear power plants. The very same regulations

Developing and Using a Logic Model for Evaluation and Assessment of University Student Affairs Programming: A Case Study

Science.gov (United States)

Cooper, Jeff

2009-01-01

This dissertation addresses theory and practice of evaluation and assessment in university student affairs, by applying logic modeling/program theory to a case study. I intend to add knowledge to ongoing dialogue among evaluation scholars and practitioners on student affairs program planning and improvement as integral considerations that serve…

A comparison of fuzzy logic-PID control strategies for PWR pressurizer control

International Nuclear Information System (INIS)

Kavaklioglu, K.; Ikonomopoulos, A.

1993-01-01

This paper describes the results obtained from a comparison performed between classical proportional-integral-derivative (PID) and fuzzy logic (FL) controlling the pressure in a pressurized water reactor (PWR). The two methodologies have been tested under various transient scenarios, and their performances are evaluated with respect to robustness and on-time response to external stimuli. One of the main concerns in the safe operation of PWR is the pressure control in the primary side of the system. In order to maintain the pressure in a PWR at the desired level, the pressurizer component equipped with sprayers, heaters, and safety relief valves is used. The control strategy in a Westinghouse PWR is implemented with a PID controller that initiates either the electric heaters or the sprayers, depending on the direction of the coolant pressure deviation from the setpoint

Genetic algorithms optimized fuzzy logic control for the maximum power point tracking in photovoltaic system

Energy Technology Data Exchange (ETDEWEB)

Larbes, C.; Ait Cheikh, S.M.; Obeidi, T.; Zerguerras, A. [Laboratoire des Dispositifs de Communication et de Conversion Photovoltaique, Departement d' Electronique, Ecole Nationale Polytechnique, 10, Avenue Hassen Badi, El Harrach, Alger 16200 (Algeria)

2009-10-15

This paper presents an intelligent control method for the maximum power point tracking (MPPT) of a photovoltaic system under variable temperature and irradiance conditions. First, for the purpose of comparison and because of its proven and good performances, the perturbation and observation (P and O) technique is briefly introduced. A fuzzy logic controller based MPPT (FLC) is then proposed which has shown better performances compared to the P and O MPPT based approach. The proposed FLC has been also improved using genetic algorithms (GA) for optimisation. Different development stages are presented and the optimized fuzzy logic MPPT controller (OFLC) is then simulated and evaluated, which has shown better performances. (author)

Operation logic and functionality of automatic dose rate and image quality control of conventional fluoroscopy

International Nuclear Information System (INIS)

Lin, Pei-Jan Paul

2009-01-01

New generation of fluoroscopic imaging systems is equipped with spectral shaping filters complemented with sophisticated automatic dose rate and image quality control logic called ''fluoroscopy curve'' or ''trajectory''. Such fluoroscopy curves were implemented first on cardiovascular angiographic imaging systems and are now available on conventional fluoroscopy equipment. This study aims to investigate the control logic operations under the fluoroscopy mode and acquisition mode (equivalent to the legacy spot filming) of a conventional fluoroscopy system typically installed for upper-lower gastrointestinal examinations, interventional endoscopy laboratories, gastrointestinal laboratory, and pain clinics.

Using fuzzy logic for automatic control: Case study of a problem of cereals samples classification

Directory of Open Access Journals (Sweden)

Lakhoua Najeh Mohamed

2009-01-01

Full Text Available The aim of this paper is to present the use of fuzzy logic for automatic control of industrial systems particularly the way to approach a problem of classification. We present a case study of a grading system of cereals that allows us to determine the price of transactions of cereals in Tunisia. Our contribution in this work consists in proposing not only an application of the fuzzy logic on the grading system of cereals but also a methodology enabling the proposing of a new grading system based on the concept of 'Grade' while using the fuzzy logic techniques. .

Quantum Logic Networks for Probabilistic and Controlled Teleportation of Unknown Quantum States

Institute of Scientific and Technical Information of China (English)

GAO Ting

2004-01-01

We present simplification schemes for probabilistic and controlled teleportation of the unknown quantum states of both one particle and two particles and construct efficient quantum logic networks for implementing the new schemes by means of the primitive operations consisting of single-qubit gates, two-qubit controlled-not gates, Von Neumann measurement, and classically controlled operations. In these schemes the teleportation are not always successful but with certain probability.

Fuzzy logic control to be conventional method

International Nuclear Information System (INIS)

Eker, Ilyas; Torun, Yunis

2006-01-01

Increasing demands for flexibility and fast reactions in modern process operation and production methods result in nonlinear system behaviour of partly unknown systems, and this necessitates application of alternative control methods to meet the demands. Fuzzy logic (FL) control can play an important role because knowledge based design rules can easily be implemented in systems with unknown structure, and it is going to be a conventional control method since the control design strategy is simple and practical and is based on linguistic information. Computational complexity is not a limitation any more because the computing power of computers has been significantly improved even for high speed industrial applications. This makes FL control an important alternative method to the conventional PID control method for use in nonlinear industrial systems. This paper presents a practical implementation of the FL control to an electrical drive system. Such drive systems used in industry are composed of masses moving under the action of position and velocity dependent forces. These forces exhibit nonlinear behaviour. For a multi-mass drive system, the nonlinearities, like Coulomb friction and dead zone, significantly influence the operation of the systems. The proposed FL control configuration is based on speed error and change of speed error. The feasibility and effectiveness of the control method are experimentally demonstrated. The results obtained from conventional FL control, fuzzy PID and adaptive FL control are compared with traditional PID control for the dynamic responses of the closed loop drive system

Fuzzy logic control to be conventional method

Energy Technology Data Exchange (ETDEWEB)

Eker, Ilyas [University of Gaziantep, Gaziantep (Turkey). Department of Electrical and Electronic Engineering; Torun, Yunis [University of Gaziantep, Gaziantep (Turkey). Technical Vocational School of Higher Education

2006-03-01

Increasing demands for flexibility and fast reactions in modern process operation and production methods result in nonlinear system behaviour of partly unknown systems, and this necessitates application of alternative control methods to meet the demands. Fuzzy logic (FL) control can play an important role because knowledge based design rules can easily be implemented in systems with unknown structure, and it is going to be a conventional control method since the control design strategy is simple and practical and is based on linguistic information. Computational complexity is not a limitation any more because the computing power of computers has been significantly improved even for high speed industrial applications. This makes FL control an important alternative method to the conventional PID control method for use in nonlinear industrial systems. This paper presents a practical implementation of the FL control to an electrical drive system. Such drive systems used in industry are composed of masses moving under the action of position and velocity dependent forces. These forces exhibit nonlinear behaviour. For a multi-mass drive system, the nonlinearities, like Coulomb friction and dead zone, significantly influence the operation of the systems. The proposed FL control configuration is based on speed error and change of speed error. The feasibility and effectiveness of the control method are experimentally demonstrated. The results obtained from conventional FL control, fuzzy PID and adaptive FL control are compared with traditional PID control for the dynamic responses of the closed loop drive system. (author)

Fuzzy logic based variable speed wind generation system

Energy Technology Data Exchange (ETDEWEB)

Simoes, M.G. [Sao Paulo Univ., SP (Brazil). Escola Politecnica. PMC - Mecatronica; Bose, B.K. [Tennessee Univ., Knoxville, TN (United States). Dept. of Electrical Engineering; Spiegel, Ronal J. [Environmental Protection Agency, Research Triangle Park, NC (United States). Air and Energy Engineering Research Lab.

1996-12-31

This work demonstrates the successful application of fuzzy logic to enhance the performance and control of a variable speed wind generation system. A maximum power point tracker control is performed with three fuzzy controllers, without wind velocity measurement, and robust to wind vortex and turbine torque ripple. A squirrel cage induction generator feeds the power to a double-sided PWM converter system which pumps the power to a utility grid or supplies to an autonomous system. The fuzzy logic controller FLC-1 searches on-line the generator speed so that the aerodynamic efficiency of the wind turbine is optimized. A second fuzzy controller FLC-2 programs the machine flux by on-line search so as to optimize the machine-converter system wind vortex. Detailed analysis and simulation studies were performed for development of the control strategy and fuzzy algorithms, and a DSP TMS320C30 based hardware with C control software was built for the performance evaluation of a laboratory experimental set-up. The theoretical development was fully validated and the system is ready to be reproduced in a higher power installation. (author) 7 refs., 3 figs., 1 tab.

Fuzzy logic controller for weaning neonates from mechanical ventilation.

Science.gov (United States)

Hatzakis, G E; Davis, G M

2002-01-01

Weaning from mechanical ventilation is the gradual detachment from any ventilatory support till normal spontaneous breathing can be fully resumed. To date, we have developed a fuzzy logic controller for weaning COPD adults using pressure support ventilation (PS). However, adults and newborns differ in the pathophysiology of lung disease. We therefore used our fuzzy logic-based weaning platform to develop modularized components for weaning newborns with lung disease. Our controller uses the heart rate (HR), respiratory rate (RR), tidal volume (VT) and oxygen saturation (SaO2) and their trends deltaHR/deltat, deltaVT/deltat and deltaSaO2/deltat to evaluate, respectively, the Current and Trend weaning status of the newborn. Through appropriate fuzzification of these vital signs, Current and Trend weaning status can quantitatively determine the increase/decrease in the synchronized intermittent mandatory ventilation (SIMV) setting. The post-operative weaning courses of 10 newborns, 82+/-162 days old, were assessed at 2-hour intervals for 68+/-39 days. The SIMV levels, proposed by our algorithm, were matched to those levels actually applied. For 60% of the time both values coincided. For the remaining 40%, our algorithm suggested lower SIMV support than what was applied. The Area Under the Curve for integrated ventilatory support over time was 1203+/-846 for standard ventilatory strategies and 1152+/-802 for fuzzy controller. This suggests that the algorithm, approximates the actual weaning progression, and may advocate a more aggressive strategy. Moreover, the core of the fuzzy controller facilitates adaptation for body size and diversified disease patterns and sets the premises as an infant-weaning tool.

Logic Programs as a Specification and Description Tool in the Design Process of an Intelligent Tutoring System

OpenAIRE

Möbus, Claus

1987-01-01

We propose the use of logic programs when designing intelligent tutoring systems. With their help we specified the small-step semantics of the learning curriculum, designed the graphical user interface, derived instructions and modelled students' knowledge.

Logic analysis and verification of n-input genetic logic circuits

DEFF Research Database (Denmark)

Baig, Hasan; Madsen, Jan

2017-01-01

. In this paper, we present an approach to analyze and verify the Boolean logic of a genetic circuit from the data obtained through stochastic analog circuit simulations. The usefulness of this analysis is demonstrated through different case studies illustrating how our approach can be used to verify the expected......Nature is using genetic logic circuits to regulate the fundamental processes of life. These genetic logic circuits are triggered by a combination of external signals, such as chemicals, proteins, light and temperature, to emit signals to control other gene expressions or metabolic pathways...... accordingly. As compared to electronic circuits, genetic circuits exhibit stochastic behavior and do not always behave as intended. Therefore, there is a growing interest in being able to analyze and verify the logical behavior of a genetic circuit model, prior to its physical implementation in a laboratory...

Embedding Logics into Product Logic

Czech Academy of Sciences Publication Activity Database

Baaz, M.; Hájek, Petr; Krajíček, Jan; Švejda, David

1998-01-01

Roč. 61, č. 1 (1998), s. 35-47 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030601 Grant - others:COST(XE) Action 15 Keywords : fuzzy logic * Lukasiewicz logic * Gödel logic * product logic * computational complexity * arithmetical hierarchy Subject RIV: BA - General Mathematics

Reconfigurable Magnetic Logic Combined with Nonvolatile Memory Writing

KAUST Repository

Luo, Zhaochu

2016-11-16

In the magnetic logic, four basic Boolean logic operations can be programmed by a magnetic bit at room temperature with a high output ratio (>103%). In the same clock cycle, benefiting from the built-in spin Hall effect, logic results can be directly written into magnetic bits using an all-electric method.

Reconfigurable Magnetic Logic Combined with Nonvolatile Memory Writing

KAUST Repository

Luo, Zhaochu; Lu, Ziyao; Xiong, Chengyue; Zhu, Tao; Wu, Wei; Zhang, Qiang; Wu, Huaqiang; Zhang, Xixiang; Zhang, Xiaozhong

2016-01-01

In the magnetic logic, four basic Boolean logic operations can be programmed by a magnetic bit at room temperature with a high output ratio (>103%). In the same clock cycle, benefiting from the built-in spin Hall effect, logic results can be directly written into magnetic bits using an all-electric method.

Boolean Logic Tree of Label-Free Dual-Signal Electrochemical Aptasensor System for Biosensing, Three-State Logic Computation, and Keypad Lock Security Operation.

Science.gov (United States)

Lu, Jiao Yang; Zhang, Xin Xing; Huang, Wei Tao; Zhu, Qiu Yan; Ding, Xue Zhi; Xia, Li Qiu; Luo, Hong Qun; Li, Nian Bing

2017-09-19

The most serious and yet unsolved problems of molecular logic computing consist in how to connect molecular events in complex systems into a usable device with specific functions and how to selectively control branchy logic processes from the cascading logic systems. This report demonstrates that a Boolean logic tree is utilized to organize and connect "plug and play" chemical events DNA, nanomaterials, organic dye, biomolecule, and denaturant for developing the dual-signal electrochemical evolution aptasensor system with good resettability for amplification detection of thrombin, controllable and selectable three-state logic computation, and keypad lock security operation. The aptasensor system combines the merits of DNA-functionalized nanoamplification architecture and simple dual-signal electroactive dye brilliant cresyl blue for sensitive and selective detection of thrombin with a wide linear response range of 0.02-100 nM and a detection limit of 1.92 pM. By using these aforementioned chemical events as inputs and the differential pulse voltammetry current changes at different voltages as dual outputs, a resettable three-input biomolecular keypad lock based on sequential logic is established. Moreover, the first example of controllable and selectable three-state molecular logic computation with active-high and active-low logic functions can be implemented and allows the output ports to assume a high impediment or nothing (Z) state in addition to the 0 and 1 logic levels, effectively controlling subsequent branchy logic computation processes. Our approach is helpful in developing the advanced controllable and selectable logic computing and sensing system in large-scale integration circuits for application in biomedical engineering, intelligent sensing, and control.

Print preparation of the logical INIS-character set for a digital LNO3 printer

International Nuclear Information System (INIS)

Mueller, M.; Nevyjel, A.

1987-09-01

The implementation of the revised INIS-character set (describedin INIS-Circular Letter No.131) made it necessary to develop a print preparation program, which transfers most of the new INIS logical characters to characters, which are printable on a local LNO3 laser printer. The program is written in PL/I and runs under VAX/VMS on a VAX 11/750. It reads a normal print file and replaces the encoded logical characters by special control sequences, which generate the corresponding images on the LNO3 printer. The program is used for print preparation of any INIS-data records, both input preparation and output tape utilisation on the local VAX system. (Author)

SPEED CONTROL OF DC MOTOR ON LOAD USING FUZZY LOGIC ...

African Journals Online (AJOL)

This paper presents the development of a fuzzy logic controller for the driver DC motor in the lube oil system of the H25 Hitachi gas turbine generator. The turbine generator is required to run at an operating pressure of 1.5bar with the low and the high pressure trip points being 0.78 bar and 1.9 bar respectively. However, the ...

Valleytronics in merging Dirac cones: All-electric-controlled valley filter, valve, and universal reversible logic gate

Science.gov (United States)

Ang, Yee Sin; Yang, Shengyuan A.; Zhang, C.; Ma, Zhongshui; Ang, L. K.

2017-12-01

Despite much anticipation of valleytronics as a candidate to replace the aging complementary metal-oxide-semiconductor (CMOS) based information processing, its progress is severely hindered by the lack of practical ways to manipulate valley polarization all electrically in an electrostatic setting. Here, we propose a class of all-electric-controlled valley filter, valve, and logic gate based on the valley-contrasting transport in a merging Dirac cones system. The central mechanism of these devices lies on the pseudospin-assisted quantum tunneling which effectively quenches the transport of one valley when its pseudospin configuration mismatches that of a gate-controlled scattering region. The valley polarization can be abruptly switched into different states and remains stable over semi-infinite gate-voltage windows. Colossal tunneling valley-pseudomagnetoresistance ratio of over 10 000 % can be achieved in a valley-valve setup. We further propose a valleytronic-based logic gate capable of covering all 16 types of two-input Boolean logics. Remarkably, the valley degree of freedom can be harnessed to resurrect logical reversibility in two-input universal Boolean gate. The (2 +1 ) polarization states (two distinct valleys plus a null polarization) reestablish one-to-one input-to-output mapping, a crucial requirement for logical reversibility, and significantly reduce the complexity of reversible circuits. Our results suggest that the synergy of valleytronics and digital logics may provide new paradigms for valleytronic-based information processing and reversible computing.

Coping with Logical Fallacies: A Developmental Training Program for Learning to Reason

Science.gov (United States)

Christoforides, Michael; Spanoudis, George; Demetriou, Andreas

2016-01-01

This study trained children to master logical fallacies and examined how learning is related to processing efficiency and fluid intelligence (gf). A total of one hundred and eighty 8- and 11-year-old children living in Cyprus were allocated to a control, a limited (LI), and a full instruction (FI) group. The LI group learned the notion of logical…

Preliminary study of S-CO{sub 2} cycle control logic for part load operation

Energy Technology Data Exchange (ETDEWEB)

Ahn, Yoonhan; Lee, Jeong Ik [Korea Advanced Institute of Science and Technology, Daejeon (Korea, Republic of)

2016-05-15

The benefits of S-CO{sub 2} cycle are relatively high efficiency under the mild turbine inlet temperature region, simple layout configuration and small foot-print. In addition, the safety of the SFR system can be inherently enhanced as the violent sodium-water reaction can be substituted with the mild sodium-CO{sub 2} reaction. 75MWe S-CO{sub 2} recompression cycle with radial type turbomachineries and PCHE was designed. Under various part load conditions (30-100% thermal load), off-design performance of the designed system was assessed, and different control logics were first tested. It was identified that the inventory control strategy is the most efficient logic for the part load operation. In the system operation, the compressor surge condition is seriously considered and controlled to avoid the system damage.

Hardware simulation of automatic braking system based on fuzzy logic control

Directory of Open Access Journals (Sweden)

Noor Cholis Basjaruddin

2016-07-01

Full Text Available In certain situations, a moving or stationary object can be a barrier for a vehicle. People and vehicles crossing could potentially get hit by a vehicle. Objects around roads as sidewalks, road separator, power poles, and railroad gates are also a potential source of danger when the driver is inattentive in driving the vehicle. A device that can help the driver to brake automatically is known as Automatic Braking System (ABS. ABS is a part of the Advanced Driver Assistance Systems (ADAS, which is a device designed to assist the driver in driving the process. This device was developed to reduce human error that is a major cause of traffic accidents. This paper presents the design of ABS based on fuzzy logic which is simulated in hardware by using a remote control car. The inputs of fuzzy logic are the speed and distance of the object in front of the vehicle, while the output of fuzzy logic is the intensity of braking. The test results on the three variations of speed: slow-speed, medium-speed, and high-speed shows that the design of ABS can work according to design.

Design of stability-guaranteed fuzzy logic controller for nuclear steam generators

International Nuclear Information System (INIS)

Cho, Byung Hak

1996-02-01

A fuzzy logic controller(FLC) and a fuzzy logic filter(FLF), which have a special type of fuzzifier, inference engine, and defuzzifier, are applied to the water level control of a nuclear steam generator (S/G). It is shown that arbitrary two-input, single-output linear state feedback controllers can be adequately expressed by this FLC. A procedure to construct stability-guaranteed FLC rules is proposed. It contains the following steps: (1) The stable sector of linear feedback gains is obtained from the suboptimal concept based on LQR theory and the Lyapunov's stability criteria: (2) The stable sector of linear gains is mapped into two linear rule tables that are used as limits for the FLC rules: (3) The construction of an FLC rule table is done by choosing certain rules that lie between these limits. This type of FLC guarantees asymptotic stability of the control system. The FLF generates a feedforward signal of S/G feedwater from the steam flow measurement using a fuzzy concept. Through computer simulation, it is found that the FLC with the FLF works better than well-tuned PID controller with variable gains to reduce swell/shrink phenomena especially for the water level deviation and abrupt steam flow disturbances that are typical in the existing power plants. A neurofuzzy logic controller (NFLC), that is implemented by using multi-layered neural network to have the same function as the FLC discussed above, is designed. The automatic generation of NFLC rule table is accomplished by using back-error-propagation (BEP) algorithm. There are two separated paths at the error back-propagation in the S/G. One is to consider the level dynamics depending on the tank capacity, and the other is to take into account the reverse dynamics of S/G. The amounts of error back-propagated through these paths show opposite effects to the BEP algorithm each other at the swell/shrink phenomena. Through the computer simulation, it is found that the BEP algorithm adequately generates NFLC

Programmable logic controller based synchronous motor excitation system

Directory of Open Access Journals (Sweden)

Janda Žarko

2011-01-01

Full Text Available This paper presents a 3.5 MW synchronous motor excitation system reconstruction. In the proposed solution programmable logic controller is used to control motor, which drives the turbo compressor. Comparing to some other solutions that are used in similar situations, the proposed solution is superior due to its flexibility and usage of mass-production hardware. Moreover, the implementation of PLC enables easy integration of the excitation system with the other technological processes in the plant as well as in the voltage regulation of 'smart grid' system. Also, implementation of various optimization algorithms can be done comfortably and it does not require additional investment in hardware. Some experimental results that depict excitation current during motor start-up, as well as, measured static characteristics of the motor, were presented.

Network Based Building Lighting Design and Fuzzy Logic via Remote Control

Directory of Open Access Journals (Sweden)

Cemal YILMAZ

2009-02-01

Full Text Available In this paper, a network based building lighting system is implemented. Profibus-DP network structure is used in the design and Fuzzy Logic Controller (FLC is used on control of the building lighting. Informations received from sensors which measures level of the building illumination is used on FLC and they are transferred to the system by Profibus-DP network. Control of lighting luminaries are made via Profibus-DP network. The illuminance inside the bulding is fitted required level. Energy saving and healthy lighting facilities have been obtained by the design.