675,235 Hits in 4.6 sec

An Application of Logic Engineering

Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas
2005 Logic Journal of the IGPL  
So we are faced with the following paradigm of application of LE: Paradigm of Application of Logic Engineering Computing Problems ⇓ ⇑ Feedback Formal Approaches Focus 1 ↔ · · · ↔ Focus n transf. · · ·  ...  We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing.  ...  The role of the logic engineer is, given an application, to identify, among the available formalisms, the adequate ones for such application.  ... 
doi:10.1093/jigpal/jzi003 fatcat:ano25kawbrf2hlzko52eupbk7a

An engineering application of logic-structure tables

R. C. Nickerson
1961 Communications of the ACM  
An Engineering Application of Logic-Structure Tables R. C.  ...  This paper describes an application of logic table definition to a relatively complex engineering calculation.  ... 
doi:10.1145/366813.366851 fatcat:xpu6lydjxfh7dnrkkeab4t4d6i

An Application of Fuzzy Logic Control to a Classical Military Tracking Problem

Erik S. Smith
1995 Naval engineers journal (Print)  
Pacini and Kosko have described an application of fuzzy logic to a two-dimensional tracking problem.  ...  Even though fuzzy logic had potential for application in many problems, scientists and engineers in the United States distrusted its use.  ... 
doi:10.1111/j.1559-3584.1995.tb02577.x fatcat:fmpcmysk6nhf3m23wox6caugyi

An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies

Marcos Ribeiro do Nascimento, Luiz Alberto Vieira Dias, Joao Inacio Da Silva Filho
2014 Journal of Software Engineering and Applications  
4, an application of the Paraconsistent Annotated Logic (PAL); Section 5, the conclusions reached.  ...  Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design  ...  Acknowledgements The Authors would like to thank the Brazilian Aeronautics Institute of Technology (ITA), for its scientific development incentives by using Research & Development Projects at ITA; the  ... 
doi:10.4236/jsea.2014.75034 fatcat:pfmbxaj2qjexroidf3gdsy3gqq

Fuzzy Logic Application for Intelligent Control of An Asynchronous Machine

Zineb Mekrini, Seddik Bri
2017 Indonesian Journal of Electrical Engineering and Computer Science  
of an asynchronous machine.  ...  In this proposed technique, the two hysteresis controllers are replaced by fuzzy logic controllers and a methodology for implementation of a rule based fuzzy logic controller are presented.  ...  Figure 3 . 3 Design of the flux error using fuzzy logic IJEECS ISSN: 2502-4752  Fuzzy Logic Application for Intelligent Control of An Asynchronous Machine (Zineb Mekrini) Figure 5 . 5 Angle of flux  ... 
doi:10.11591/ijeecs.v7.i1.pp61-70 fatcat:zi5ptv5c3fa4hmfd6kqgii2juu

Fuzzy-logic-based reactive behavior control of an autonomous mobile system in unknown environments

Wei Li
1994 Engineering applications of artificial intelligence  
This paper presents a method for fuzzy-logic-based reactive behavior control of an autonomous mobile system in unknown environments.  ...  by an array of ultrasonic sensors.  ...  Davis, Deputy Director of the MIT AI Laboratory, for his valuable discussions on behavior-based control during his visit to Tsinghua University.  ... 
doi:10.1016/0952-1976(94)90031-0 fatcat:rjkp6uoajreajcvzlcuxnnkzoi

Topology optimization of bistable elastic structures — An application to logic gates

Mathias Wallin, Anna Dalklint, Daniel Tortorelli
2021 Computer Methods in Applied Mechanics and Engineering  
The objective of the optimization is to maximize the stiffness of a gate in the stable configurations while ensuring an adequate energy and distance separations between them and constraining the peak stress  ...  In this paper, bistable gates which can be used as building blocks in logic gates are designed using topology optimization.  ...  Acknowledgments This work was performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under Contract DE-AC52-07NA33344.  ... 
doi:10.1016/j.cma.2021.113912 fatcat:53hyrbmm35hljmorjlglxuyvza

An Anti-Spam Engine using Fuzzy Logic with Enhanced Performance Tuning

Vijayan R, Viknesh S T G M, Subhashini S
2011 International Journal of Computer Applications  
PROPOSED ENHANCEMENT OF ASSP The new engine was implemented using the following strategies:  Whitelisting  Spam Buckets  Attachment Scanning  Fuzzy Logic Technique The whitelisted addresses are readily  ...  This engine was developed and implemented in an organization with users to check its working and performance.  ... 
doi:10.5120/1992-2685 fatcat:7iko4qmuvngebmjl7l6igyajmi

CRFM: An application of the fuzzy logic in apell programme

C. Cosenza, G. Sandres, P. Souza Junior, E. Siggete
2016 International Journal of Safety and Security Engineering  
An application of new tool will be accomplished.  ...  an indicator for measuring the level of risk protection (PRL) identified in a community.  ... 
doi:10.2495/safe-v6-n1-63-72 fatcat:r27pb7dcrnhh5keweweyfhsemm

Inductive verification of data model invariants in web applications using first-order logic

Ivan Bocić, Tevfik Bultan, Nicolás Rosner
2018 Automated Software Engineering : An International Journal  
We investigate the use of many-sorted logic in data model verification in order to improve the effectiveness of this approach.  ...  We have developed a framework for verification of data models via translation to First Order Logic (FOL), followed by automated theorem proving.  ...  Unless the theorem prover integrates sorts within its resolution engine, we can expect many-sorted logic to perform no better than unsorted logic.  ... 
doi:10.1007/s10515-018-0249-2 fatcat:2sfo6vslpjgglgttjwyygnyoha

An Addiction Detection Application Playing Free Fire Games Based on Android Using Tsukamoto's Fuzzy Logic

Hasan Basri, Mochamad Alfan Rosyid
2021 Procedia of Engineering and Life Science  
By utilizing the fuzzy logic method tsukamoto allows it to detect the level of addiction of a person which is an android-based application.  ...  By utilizing the data owned by each player as an input variable that will produce output in the form of an addiction level percentage.  ...  Dari beberapa Procedia of Engineering and Life Science Vol. 1.  ... 
doi:10.21070/pels.v1i2.1014 fatcat:akfplungkbg5flcxortphfxn3q


Adnan Aktepe, S Ersoz, AK Turker, N Barisci, A Dalgic
2018 South African Journal of Industrial Engineering  
The classification of inventories requires using several criteria to control different functions of inventory management.  ...  To achieve this, the classical ABC classification method is integrated with expert systems, clustering, and fuzzy logic methods.  ...  Application of Step 2: An expert team consisting of two professors, one store manager, and two industrial engineers have produced the decision rules for the expert assignment.  ... 
doi:10.7166/29-1-1784 fatcat:tqnelnjmtnehpc4aqxlg3obnme

An Improved Adaptive Binarization Algorithm Based on Fuzzy Logic

Ho Chang Lee, Kwang Baek Kim, Hyun Jun Park, Eui-Young Cha
2016 International Journal of Software Engineering and Its Applications  
Especially, the boundaries are bold if a block is simple and has not enough difference of brightness.  ...  Local binarization algorithms make boundary lines because these algorithms split the image into a specific size of blocks.  ...  Introduction Fundamental purpose of binarization is to find an optimal threshold.  ... 
doi:10.14257/ijseia.2016.10.10.01 fatcat:ot7pct57lfexnmrbeqn4x6pbzq

Development of an expert system for fault diagnosis in scooter engine platform using fuzzy-logic inference

Jian-Da Wu, Yu-Hsuan Wang, Mingsian R. Bai
2007 Expert systems with applications  
In the present study, a fault diagnosis system using acoustic emission with an adaptive order tracking technique and fuzzy-logic interference for a scooter platform is described.  ...  A fuzzy-logic inference is proposed to develop the diagnostic rules of the data base in the present fault diagnosis system.  ...  Acknowledgement The study was supported by the National Science Council of Taiwan, the Republic of China, under project number NSC-94-2218-E-018-001.  ... 
doi:10.1016/j.eswa.2006.08.011 fatcat:wrcco7boxjgk3hy2x667qlbczm

An Optimal Design of UP-DOWN Counter as SAR Logic Based ADC using CMOS 45nm Technology

Miss. Rohini Mane, Prof. Swati Shetkar
2017 International Journal of Engineering Research and Applications  
In this paper an analog to digital converter architecture is introduced. The proposed design is based on Up-Down counter approach SAR type ADC.  ...  The ADC is designed with control signal like Start of conversion (SOC) and End of conversion (EOC). The ADC design consumes 3.2mW of power. The proposed ADC design is optimized to area of 829.6µm2.  ...  Journal of Engineering Research and Application ISSN : 2248-9622, Vol. 7, Issue 4, ( Part -6) April 2017, pp.36-40 IV.  ... 
doi:10.9790/9622-0704063640 fatcat:7m33fcscgjfkphjexelj6p3rwm
« Previous Showing results 1 — 15 out of 675,235 results