The Improvement of Quine-McCluskey Method Using Set Covering Problem for Safety Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F19%3APU132741" target="_blank" >RIV/00216305:26220/19:PU132741 - isvavai.cz</a>
Result on the web
<a href="https://ieeexplore.ieee.org/document/8886174" target="_blank" >https://ieeexplore.ieee.org/document/8886174</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/IGBSG.2019.8886174" target="_blank" >10.1109/IGBSG.2019.8886174</a>
Alternative languages
Result language
angličtina
Original language name
The Improvement of Quine-McCluskey Method Using Set Covering Problem for Safety Systems
Original language description
When designing complex safety systems which consist of large scale logical circuits, the basic requirement is to minimise the number of elements that will implement the given logical functions. This will increase the reliability, and thus potentially the security of the devices. For logical functions with a number of variables of no more than 4, Karnaugh maps are preferred. However, in practice, we encounter much more complex functions, either directly applying Boolean algebra laws or using the Quine-McCluskey method, which is based on their systematic use. However, because this method does not provide a minimal form of logical function, and as a result, there may be redundant expressions, we will show that the additional phase of minimisation means solving the problem of covering all inputs by the obtained output expressions. For the purpose of clear representation and implementation process of post-processing method, the genetic algorithms and simulated annealing were implemented on OR-Library benchmarks.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20202 - Communication engineering and systems
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The 4rd International Conference on Intelligent Green Building and Smart Grid (IGBSG 2019)
ISBN
978-1-7281-2148-2
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
282-286
Publisher name
Institute of Electrical and Electronics Engineers
Place of publication
New York
Event location
Yichang
Event date
Sep 6, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000610369700059