This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26210%2F07%3APU69339%21RIV08-MSM-26210___/
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26210%2F07%3APU69339%21RIV08-MSM-26210___
rdf:type
skos:Concept n10:Vysledek
dcterms:description
Hledání minimálních logických funkcí má významné aplikace v návrhu logických obvodů. Tato úloha se řeší mnoha různými metodami, ty ale často nejsou vhodné pro implementaci v počítači. Stručně shrneme známou Quine-McCluskeyho metodu, která dává jednoznačný postup výpočtu, a tedy ji lze snadno implementovat, avšak dokonce i pro jednoduché příklady negarantuje nalezení optimálního řešení. Protože Petráčkovo rozšíření Quine-McCluskeyho metody není obecně použitelné pro nalezení minima logických funcí s větším počtem hodnot, soustředíme se na interpretaci výsledku Quine-McCluskeyho metody a ukážeme, že představuje problém pokrytí, který však bohužel patří mezi NP-lěžké kombinatorické problémy. Proto musí být řešen heuristickými nebo aproximativními metodami. Navrhujeme přístup založený na genetických algoritmech ukážeme vhodné nastavení jeho parametrů. Finding the minimal logical functions has important applications in the design of logical circuits. This task is solved by many different methods but, frequently, they are not suitable for a computer implementation. We briefly summarise the well-known Quine-McCluskey method, which gives a unique procedure of computing and thus can be simply implemented, but, even for simple examples, does not guarantee an optimal solution. Since the Petrick extension of the Quine-McCluskey method does not give a generally usable method for finding an optimum for logical functions with a high number of values, we focus on interpretation of the result of the Quine-McCluskey method and show that it represents a set covering problem that, unfortunately, is an NP-hard combinatorial problem. Therefore it must be solved by heuristic or approximation methods. We propose an approach based on genetic algorithms and show suitable parameter settings. Finding the minimal logical functions has important applications in the design of logical circuits. This task is solved by many different methods but, frequently, they are not suitable for a computer implementation. We briefly summarise the well-known Quine-McCluskey method, which gives a unique procedure of computing and thus can be simply implemented, but, even for simple examples, does not guarantee an optimal solution. Since the Petrick extension of the Quine-McCluskey method does not give a generally usable method for finding an optimum for logical functions with a high number of values, we focus on interpretation of the result of the Quine-McCluskey method and show that it represents a set covering problem that, unfortunately, is an NP-hard combinatorial problem. Therefore it must be solved by heuristic or approximation methods. We propose an approach based on genetic algorithms and show suitable parameter settings.
dcterms:title
Heuristic Set-Covering-Based Postprocessing for Improving the Quine-McCluskey Method Zlepšení Quine-McCluskeyho metody dodatečnou heuristikou založenou na řešení problému pokrytí Heuristic Set-Covering-Based Postprocessing for Improving the Quine-McCluskey Method
skos:prefLabel
Zlepšení Quine-McCluskeyho metody dodatečnou heuristikou založenou na řešení problému pokrytí Heuristic Set-Covering-Based Postprocessing for Improving the Quine-McCluskey Method Heuristic Set-Covering-Based Postprocessing for Improving the Quine-McCluskey Method
skos:notation
RIV/00216305:26210/07:PU69339!RIV08-MSM-26210___
n4:strany
139-143
n4:aktivita
n16:Z
n4:aktivity
Z(MSM0021630518)
n4:cisloPeriodika
2
n4:dodaniDat
n5:2008
n4:domaciTvurceVysledku
n9:1920863
n4:druhVysledku
n12:J
n4:duvernostUdaju
n17:S
n4:entitaPredkladatele
n18:predkladatel
n4:idSjednocenehoVysledku
424038
n4:idVysledku
RIV/00216305:26210/07:PU69339
n4:jazykVysledku
n11:eng
n4:klicovaSlova
Karnaugh map, Quine-McCluskey method, set covering problem, genetic algorithm
n4:klicoveSlovo
n6:Karnaugh%20map n6:genetic%20algorithm n6:Quine-McCluskey%20method n6:set%20covering%20problem
n4:kodStatuVydavatele
TR - Turecká republika
n4:kontrolniKodProRIV
[CC9B17D2BA77]
n4:nazevZdroje
International Journal of Computational Intelligence
n4:obor
n13:BC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:rokUplatneniVysledku
n5:2007
n4:svazekPeriodika
4
n4:tvurceVysledku
Šeda, Miloš
n4:zamer
n14:MSM0021630518
s:issn
1304-2386
s:numberOfPages
5
n15:organizacniJednotka
26210