- Adejuyigbe S. B; Ismaila S. O; Adekoya A. F; Akanbi O. G
Modeling manual material lifting risk evaluation: A fuzzy logic approach
A New Lattice-Based Information Retrieval Theory
Abstract. Logic-based Information Retrieval (IR) models represent the retrieval decision as an implication d → q between a document d and a query q, where d and q are logical sentences. However, d → q is a binary decision, we thus need a measure to estimate the degree to which d implies q, noted P (d → q). The main problems in the logic-based IR models are the difficulties to implement the decision algorithms and to define the uncertainty measure P as a part of the logic. In this study, we chose the Propositional Logic (PL) as the underlying framework....
Speed Control of Induction Motor Using Fuzzy Logic Control
- Dr T. Govindaraj; G. Divya
Abstract: Measurements validation is a critical feature in monitoring systems required by most industry applications to achieve higher level reliability. This paper presents the use of the measurement thresholds generated from the propagation of parametric uncertainty using fuzzy logic to validate the sensor measurements of an induction motor drive by means of fuzzy techniques. If measurements fail the validation check, they are replaced by reconstructed data to maintain the operation. Reconstruction is performed with fuzzy logic, which also supports the evaluation of the thresholds. The algorithms proposed here have been implemented and tested both in simulation and in real time...
GUI based complex test pattern generation for high speed fault diagnosis in memory chips
- Mohd Arshad Nazeer; Imthiazunissa Begum M-tech; Korani Ravinder Phd; Md Abdul Khader
Abstract: The memory blocks testing is a separate testing procedure followed in VLSI testing. The memory blocks testing involve writing a specific bit sequences in the memory locations and reading them again. This type of test is called March test. A particular March test consists of a sequence of writes followed by reads with increasing or decreasing address. For example the March C- test has the following test pattern. There are several test circuits available for testing the memory chips. However no test setup is developed so far for testing the memory blocks inside the FPGA. The BRAM blocks of...
OPTIMIZATION AND DESIGNING OF PID, FUZZY & PID-FUZZY CONTROLLER
- Ritu Shakya; Kritika Rajanwal; Sanskriti Patel; Rakesh Kumar Maurya
Abstract- Measuring the flow of liquid is a critical need in many industrial plants. The aim of this paper is to do the comparative study of conventional PID, fuzzy logic controller and PID-Fuzzy controller in the area of liquid flow control. In this paper, performance analysis of conventional PID, fuzzy logic and PID-Fuzzy has been done by the use of MATLAB and simulink and in the end comparison of various time domain parameter is done to prove that the PID-Fuzzy logic controller has small overshoot and fast response as compared to PID controller. PID controller is the most IJSER widely...
Energy Management by Adaptive Neuro-Fuzzy For Under Frequency Load Shedding/Case Study
- M. S. Sujatha; Dr M. Vijay Kumar
Abstract- Energy management is the major concern for both developing and developed countries. Energy sources are scarce and expensive to develop and exploit, hence we should confer a procedure to accumulate it by the use of load shedding. The conventional method is to solve an optimal power flow problem to find out the rescheduling for overload alleviation. But this will not give the desired speed of solution. Speed and accuracy of under frequency load shedding (UFLS) has a vital role in its effectiveness for preserving system stability and reducing energy loss. Initial rate of change of frequency is a fast...
Realizability and parametricity in pure type systems
- Marc Lasson
Abstract. We describe a systematic method to build a logic from any programming language described as a Pure Type System (PTS). The formulas of this logic express properties about programs. We define a parametricity theory about programs and a realizability theory for the logic. The logic is expressive enough to internalize both theories. Thanks to the PTS setting, we abstract most idiosyncrasies specific to particular type theories. This confers generality to the results, and reveals parallels between parametricity and realizability. 1
Fuzzy Controller for Solar Reconfigurable Converter Fed BLDC Drive
- Dr. T. Govindaraj; N. Lavanya
Abstract: This paper introduces a new converter called solar reconfigurable converter (SRC) for PMBLDC drive with photovoltaic (PV)-battery application. The basic concept of the SRC is to use a single power conversion system to perform different operation modes such as PV to BLDC drive (dc to ac), PV to battery (dc to dc), battery to BLDC drive (dc to ac), and battery/PV to BLDC drive (dc to ac) for solar PV systems with energy storage. For PMBLDC drive FUZZY LOGIC controller is used to control the motor drive in closed loop. A MPPT technique is also used in DC-DC operation...
An Axiomatization of a First-order Branching Time Temporal Logic
- Dragan Doder; Zoran Ognjanović; Zoran Marković
Abstract: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no finitary axiomatization. We offer a sound and strongly complete axiomatization for the considered logic. Key Words: branching time logic, first order logic, strong completeness
Forestry & Natural-Resource Sciences Last Correction:Aug. 28, 2009 “NEAREST-TREE ” ESTIMATIONS A discussion of their geometry
- Kim Iles
Abstract. The use of “nearest-neighbor ” sampling has a long history. It involves measuring the distance from a random point in an area to the nearest object. That history involves never quite solving the problem, many examinations of special cases that never occur, adjustments that were ad-hoc, and a great deal of uninformative algebra. In forestry we have attempted to use the “nearest-tree ” method for estimating numbers of trees on a landscape but the method is general, and can be used for any objects being sampled. I believe that the literature has never shown the logic and geometry in...
FUZZY MODEL OF THE COMPUTER INTEGRATED DECISION SUPPORT AND MANAGEMENT SYSTEM IN MINERAL PROCESSING
- Igor Miljanović; Slobodan Vujić
Abstract: During the research on the subject of computer integrated systems for decision making and management support in mineral processing based on fuzzy logic, realized at the Department of Applied Computing and System Engineering of the Faculty of Mining and Geology, University of Belgrade, for the needs of doctoral thesis of the first author, and wider demands of the mineral industry, the incompleteness of the developed and contemporary computer integrated systems fuzzy models was noticed. The paper presents an original model with the seven staged hierarchical monitoring-management structure, in which the shortcomings of the models utilized today were eliminated.
Imperfect Information Flow of Agents Communication in Arrow Logic
- Yoshihiko Murakawa; Satoshi Tojo; Susumu Kunifuji
Abstract: This paper formalizes the communication of agents with modal operators in arrow logic. A communication between agents consists of an agent's utterance and the other agent's perception, thus, both of the utterance and the perception are regarded as parts of a communication channel between agents. Information is regarded as a propositional content ofasentence. An information channel where information ows can be considered to be a program, in the sense that it gets an utterance as an input and puts an output to be a perception of some agent. In the real situations, there are so called miscommunications. Thus, the...
How Interactive Whiteboards Can be Used to Support Collaborative Modeling
- Gwendolyn L. Kolfschoten; Mamadou Seck; Gert-jan De Vreede
Abstract: Modeling is a key activity in system analysis and design. Users as well as stakeholders, experts and entrepreneurs need to be able to create shared understanding about a system representation in various phases of a design process. In each of these phases it is important to align views and ensure that differences in understanding of the system are resolved. Visualization is of high importance in this process and thus a logic approach is to involve stakeholders in collaborative modeling. Technology like interactive whiteboards may provide new opportunities in the support of collaborative modeling. In this paper we offer insights...
doi:10.4028/www.scientific.net/SSP.164.95 Implementation of the Type-2 Fuzzy Controller in PLC
- Ireneusz Dominik
Abstract. The main aim of the presented research work was to develop type-2 fuzzy logic controller, which by its own design should be “more intelligent ” than type-1. Along with the intelligence it should provide better results in solving a particular problem. Type-2 fuzzy logic controller is not well-known and it is rarely used at present. The idea of type-2 fuzzy logic set was presented by Zadeh in 1975, shortly after the presentation of type-1 fuzzy set. At the beginning scientists and researchers worked on type-1. Only after developing type-1 the attention was directed towards the type-2. The first applications...
FSM-Based Formal Compliance Verification of Interface Protocols *
- Che-hua Shih; Ya-ching Yang; Chia-chih Yen; Juinn-dar Huang
Verifying whether a building block conforms to a specific interface protocol is one of the important steps in a platform-based system-on-a-chip design methodology. There are limitations for most of the existing methods for interface protocol compliance verification. Simulation-based methods have the false positive problem while formal property checking methods may suffer from memory explosion and excessive runtime. In this paper, we propose a novel approach for interface protocol compliance verification. The properties of the interface protocol are first specified as a specification FSM. Then the compliance of interface logic is formally verified at the higher FSM level so that the...
A Survey of Peirce Semiotics Ontology for Artificial Intelligence and a Nested Graphic Model for Knowledge Representation.
of semiotics ontology to AI modeling. I begin with a survey of semiotics theory and a definition of symbol, communication and the epistemology of semiotics in a conceptual structure. Then I turn to Sowa’s Nested Graphic Model of knowledge representation. Semiotics is the study of signification in the wide sense. This means that semiotics is concerned with significations which are not verbally conveyed, such as by texts, graphics, or other visual signs, or by symbolic logic. Thus semiotics is a systematic science for the AI field which searches to establish general rules and invariants. The purpose of this paper is...
Fuzzy logic controller based operating room air
- Vikas Kumar; Santosh Kumar; Harshit Kansal
Abstract: In this study, a Fuzzy Logic Controller was designed to provide the conditions necessary for operating room. For this purpose, real operating rooms have been studied to see if there are more useful, reliable & comfortable ones. How an operating room can be controlled with FLC & its advantages & disadvantages have also been researched. In this system heat, particle humidity & oxygen are used as input parameters and fresh air entrance & the fan circulation are chosen as output parameters. With the help of an expert, appropriate language expressions were and the membership functions of these expressions were...
On Line Fault Identification of Induction Motor using Fuzzy System 1
- D. K. Chaturvedi; Akash Gautam; Mayank Pratap Singh
Abstract- It is well known that Induction motors are used worldwide as the “workhorse ” in industrial applications. Although, these electromechanical devices are highly reliable, they are susceptible to many types of faults. Such fault can become catastrophic and cause production shutdowns, personal injuries and waste of raw material. However, induction motor faults can be detected in an initial stage in order to prevent the complete failure of an induction motor and unexpected production costs. The motive of this project is to analyse the fault in induction motor through sound and electrical signature produced during the specific fault existing in...
Logic-based event recognition
- Er Artikis; Anastasios Skarlatidis; François Portet; Georgios Paliouras
- Yaka Bulo; Swarnendu K; Chandan T Bhunia
Aggressive Packet Combining (APC) scheme is well established for receiving correct packet in high error prone wireless link. In APC three copies of a packet are transmitted and receiver does bit wise majority decision to get the correct copy. The main research challenge in APC is that if two or more copies of the packet become erroneous at the particular bit location then majority logic fails to correct the error. In this paper we propose a new method of correction in APC which will address the limitation which occurs in conventional APC.