National Repository of Dissertations in Serbia
    • English
    • Српски
    • Српски (Serbia)
  • English 
    • English
    • Serbian (Cyrilic)
    • Serbian (Latin)
  • Login
View Item 
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Факултет техничких наука
  • View Item
  •   NaRDuS home
  • Универзитет у Новом Саду
  • Факултет техничких наука
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Dizajn i minimizacija rekurzivnih Bulovih formula za memristivna logička kola

Logic design and minimization of recursive Boolean formulas for memristive circuits

Thumbnail
2014
Disertacija.pdf (5.722Mb)
IzvestajKomisije.pdf (85.60Kb)
Author
Teodorović, Predrag
Mentor
Malbaša, Veljko
Committee members
Živanov, Ljiljana
Dautović, Staniša
Struharik, Rastislav
Milutinović, Veljko
Malbaša, Veljko
Metadata
Show full item record
Abstract
U radu je razmatran problem dizajna i minimizacije rekurzivne Bulove formule konstruisane za proizvoljnu Bulovu funkciju y:BN →B. U cilju rešavanja ovog problema, predstavljene su dve algoritamske heuristike za minimizaciju rekurzivne Bulove formule. Minimizacija rekurzivne Bulove formule vrši se korišćenjem regularnih poredaka pozitivnih proizvod termova. U disertaciji je dokazano kako je ova regularnost poredaka zapravo potreban i dovoljan uslov da željena Bulova funcija y bude korektno predstavljena rekurzivnom Bulovom formulom konstruisanom na osnovu tih poredaka. Pokazano je i kako predstavljeni algoritmi daju bolje rezultate za veći broj instanci problema u poređenju sa algoritmima dostupnim u literaturi.
In this thesis, the problem of design and minimization of recursive Boolean formula, based on an arbitrary Boolean function y:BN →B , is considered. As a solution of a problem, two heuristic algorithms that minimize the length of recursive Boolean formula, were presented. Minimization, itself, is done by using regular orders of positive product terms. In the thesis it was proved that the regularity of orders represents necessary and sufficient condition for correct representation of Boolean function y by recursive Boolean formula based on such regular order. Developed algorithms are compared with other heuristic algorithms for recursive Boolean formula minimization, available in the literature, and it is shown how algorithms proposed in this thesis provide better results for more problem instances.
Faculty:
Универзитет у Новом Саду, Факултет техничких наука
Date:
02-07-2014
Keywords:
Memristori (memristivni sistemi / Memristors (memristive systems / mem-elementi) / Logička kola / rekurzivna Bulova formula / Bulova logička implikacija / mem-elements) / logic circuits / recursiveBoolean formula / Boolean implication
[ Google Scholar ]
Handle
https://hdl.handle.net/21.15107/rcub_nardus_1927
URI
http://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija140370967405647.pdf?controlNumber=(BISIS)86541&fileName=140370967405647.pdf&id=2333&source=NaRDuS&language=sr
https://nardus.mpn.gov.rs/handle/123456789/1927
http://www.cris.uns.ac.rs/record.jsf?recordId=86541&source=NaRDuS&language=sr
http://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije139842381112539.pdf?controlNumber=(BISIS)86541&fileName=139842381112539.pdf&id=1867&source=NaRDuS&language=sr

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS
 

 

Browse

All of DSpaceUniversities & FacultiesAuthorsMentorCommittee membersSubjectsThis CollectionAuthorsMentorCommittee membersSubjects

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS