The Improvement of Quine-McCluskey Method Using Set Covering Problem for Safety Systems

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

The Improvement of Quine-McCluskey Method Using Set Covering Problem for Safety Systems

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

The Improvement of Quine-McCluskey Method Using Set Covering Problem for Safety Systems

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20202 - Communication engineering and systems

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

The 4rd International Conference on Intelligent Green Building and Smart Grid (IGBSG 2019)

ISBN

978-1-7281-2148-2

ISSN

—

e-ISSN

—

Počet stran výsledku

5

Strana od-do

282-286

Název nakladatele

Institute of Electrical and Electronics Engineers

Místo vydání

New York

Místo konání akce

Yichang

Datum konání akce

6. 9. 2019

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000610369700059