Determine the best place to implement groundwater artificial pond design by using two methods of boolean and AHP by Omid Bagheri Dadvokalaii, Jamal Mohammadvali samani, Javad Sarvarian

“…In this research, two methods of boolean and ahp using GIS (arc geographic information system) were used to determine the best site for implementing groundwater artificial gutters in the Garmsar plain of Semnan. …”
Get full text

Hardware implementation of Boolean functions based on the automaton model by A. A. Butov

“…Another approach can be proposed where a control device with a standard structure is synthesized from typical integrated circuits and implements a Boolean function describing the required control actions.The purpose of the work is to investigate the possibility of implementing Boolean functions using devices with a standard structure, the design of which is based on the use of a discrete automaton model.Methods. …”
Get full text

CIRCUIT IMPLEMENTATION OF VHDL-DESCRIPTIONS OF SYSTEMS OF PARTIAL BOOLEAN FUNCTIONS by P. N. Bibilo

“…Method for description of incompletely specified (partial) Boolean functions in VHDL is proposed. …”
Get full text

OPTIMIZATION PROBLEM FOR NUMBER OF LOGIC GATES NEEDED TO IMPLEMENT MULTIPLE BOOLEAN FUNCTIONS USING DECODER by M. Onai, H. Skopyk

“…An opportunity for their optimization was found in one of the ways to implement a circuit, which involves a decoder. Decoders are basic circuit components whose behavior makes it easy to implement multiple Boolean functions. …”
Get full text

Technology independent optimization when implementing sparse systems of disjunctive normal forms of Boolean functions in ASIC by P. N. Bibilo, S. N. Kardash

“…The problem of choosing the best methods and programs for circuit implementation as part of digital ASIC (Application-Specific Integrated Circuit) sparse systems of disjunctive normal forms (DNF) of completely defined Boolean functions is considered. …”
Get full text

Signal correction for combinational automation devices on the basis of Boolean complement with control of calculations by parity by V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov

Get full text

The self-checking integrated control circuits synthesis based on the boolean complement method to "2-out-of-4" constant-weight code by D. V. Efanov, V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Pivovarov

“…The article describes the features of integrated control circuits implementation by the Boolean complement method. It is noted that it is possible to synthesize the structures of discrete devices, which have less structural redundancy than in situation of the control circuit implementation by the method of duplication. …”
Get full text

Logical optimization of Boolean nets using Shannon expansion by P. N. Bibilo, Yu. Y. Lankevich

“…Minimization is based on Shannon expansion and a search of equal (with accuracy up to inversion) nodes in Boolean net. Such algorithm of logical optimization was implemented as application. …”
Get full text

SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

Get full text

The search for subsystems of related functions from multilevel representation of systems of Boolean functions1 by P. N. Bibilo, A. M. Pazniak

“…One of the directions of logical optimization of multilevel representations of systems of Boolean     functions is the methods based on the search of subsystems of functions that have the same parts in the domains of functions of selected subsystems. …”
Get full text

BISGA: Recalculating the Entire Boolean-Valued Information System from Aggregates Using a Genetic Algorithm by Salman Ali, Muhammad Sadiq Khan, Habib Shah, Harish Garg, Abdullah Alsheddy

“…Based on that concept, this paper presents an algorithm to recalculate the entire BIS through a genetic algorithm (GA), named BISGA which is more general and easy to implement than the supposition method. A solved example is presented which explains how BISGA works. …”
Get full text

Algorithms for extracting subsystems from a multilevel representation of a system of Boolean functions for joint minimization by P. N. Bibilo, N. A. Kirienko, V. I. Romanov

“…The purpose of experimental research is to determine the effectiveness of new algorithms for extracting the so-called connected subsystems from formula descriptions of the original system of Boolean functions. Subsequently each of the extracted subsystems is minimized independently of the others, but the functions that make up each connected subsystem are minimized jointly.Methods. …”
Get full text

DC Bus Overcurrent Protection Scheme in Metro DC Traction Power Supply System Based on Boolean Logic Calculation by LIU Yuxing, ZHENG Chunchun, LAI Peixin, XIE Jinlian, XIE Yuehai, LIU Yajie

“…Boolean logic calculations are used to extract and refine the logical basis for bus overcurrent protection. …”
Get full text

Models, systems, networks in economics, engineering, nature and society by S.I. Noskov, E.S. Popov

“…This goal is formalized by setting the task of automating the formation of the composition of the index set of observation numbers to implement the antirobust estimation method within the framework of the mixed estimation method by solving a linear Boolean programming problem. …”

DECODING OF STRUCTURALLY AND LOGICAL CODES by Yu. D. Ivanov, I. N. Nikolov, B. V. Lozka

“…There are shown the basic points of the generalized algorithm of decoding SLC, which is based on the method of perfect matrix arrangement (PMA) of the n-dimensional cube vertices for adequate representation and transformation of boolean functions, which is based on the method of generating sequences of variables for building the maximum coverage of the cube vertices. …”
Get full text

A SYSTEMATIC REVIEW ON THE IMPLEMENTATION OF LEAN HOSPITAL TO IMPROVE CHEMOTHERAPY UNIT SERVICES IN HOSPITAL by Evelyn Hemme Tambunan

“…Boolean operators and truncation were applied to refine results, with the search limited to peer-reviewed articles published between 2015 and 2023. …”
Get full text

Algorithms for partitioning logical circuits into subcircuits by N. A. Kirienko

Get full text

Enhanced Rotor Field-Oriented Control for Low-Voltage Delta Inverter-Fed IMs With Look-Up Table Implementation by Imen Nouira El Badsi, Bassem El Badsi

Get full text

Application of decision diagrams of incompletely specified of k-valued logic functions in the synthesis of logical circuits by P. N. Bibilo

“…According to these representations of Boolean functions, technological mapping is performed at the second stage of the synthesis of logic circuits.Methods. …”
Get full text

SYNTHESIS METHODS OF ALGEBRAIC NORMAL FORM OF MANY-VALUED LOGIC FUNCTIONS by A. V. Sokolov, O. N. Zhdanov, O. A. Ayvazian

“…In addition, the fast method of synthesis of algebraic normal form of many-valued logic functions is the basis for their software and hardware implementation.…”
Get full text