PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Wykorzystanie komputerowego wnioskowania w projektowaniu kombinacyjnych układów sterowania

Autorzy
Identyfikatory
Warianty tytułu
EN
Computer-based reasoning in combinational digital system design
Konferencja
Informatyka - sztuka czy rzemiosło/konferencja (5 ; 23-26.06.2008 ; Szklarska Poręba, Polska)
Języki publikacji
PL
Abstrakty
PL
Przedstawiono możliwości zastosowania komputerowego wnioskowania symbolicznego Gentzena w projektowaniu układów cyfrowych oraz do rozwiązywania skomplikowanych problemów logicznych. Wykorzystując przykład sterownika zaczerpnięty z literatury, przedstawiono sposób uzyskiwania uproszczonego opisu układu kombinacyjnego, kilkukrotnie odwołujący się do systemu wnioskującego. Metoda polega na zastąpieniu silnie nieokreślonej klasycznej tablicy decyzyjnej sekwentami, które opisują relacje pomiędzy wejściami i wyjściami układu. W wyniku normalizacji tych sekwentów otrzymuje się zbiór reguł typu if-then, równoważny formie koniunkcyjnej lub dysjunkcyjnej funkcji boolowskich.
EN
The paper presents a new idea of an application of Gentzen logic symbolic reasoning for solving some combinational problems in the digital system design. Taking into account an example of industrial combinational logic controller, which could be alternatively described in classic way as an binary decision table, it is demonstrated how to apply a new efficient version of automated theorem prover in propositional sequent logic for a direct design from behavioural specification.
Rocznik
Strony
728--730
Opis fizyczny
Bibliogr. 13 poz., tab.
Twórcy
autor
autor
Bibliografia
  • [1] Adamski M.: Projektowanie układów cyfrowych systematyczną metodą strukturalną, Wydawnictwo Wyższej Szkoły Inżynierskiej w Zielonej Górze, Zielona Góra 1990.
  • [2] Ben-Ari M.: Logika matematyczna w informatyce. Wydawnictwa Naukowo-Techniczne, Warszawa 2005.
  • [3] Ershov Yu. L, Palyutin E. A.: Mathematical Logic. Mir Publisher, Mcscow1984
  • [4] Gallier J. H: Logic for computer science. Foundations of Automatic Theorem Proving. Harper & Row 1986
  • [5] Huzar Z.: Elementy logiki dla informatyków. Oficyna Wydawnicza Politechniki Wrocławskiej. Wrocław 2002
  • [6] Łuba T, Rawski M., Tomasiewicz P. Zbierzchowski B.: Synfeza układów cyfrowych. Praca zbiorowa pod redakcją prof. Tadeusza Łuby. Wydawnictwa Komunikacji i Łącznosci Warszawa 2003
  • [7] Kamionka-MikutaH. Matysia* H.. Pocnopień B.: Synteza i analiza układów cyfrowych. Wydawnictwo Pracowni Komputerowej Jacka Skalmierskiego. Gliwice 2006
  • [8] Mathony H J.: Universal :logic design algorithm and its application to the synthesis of two-lewel switching circuits. IEE Proceedings~E, Computers and Digital Technniques, Vol. 136, Part E, Number 3. May 1989
  • [9] Pawalak Z Automatyczne dowodzenie twierdzeń. Państwowe ZakładyWydawnictw Szkolnych, Warszawa 1965
  • [10] Perkowski M., Rydzewski A., Misiurewicz P.: Teoria układów logicznych – zagadnienia wybrane. Wydawnictwo Politechniki Warszawskiej. Warszawa 1977
  • [11] J Matysiak H. (red.): Zbiór zadań z układów przełączających. 'Wydawnictwo Politechniki Śląskiej. Gliwice 2003
  • [12] Szajna J.: Projektowanie układów cyfrowych z wykorzystaniem programowania logicznego. Wydawnictwo Politechniki Zielonogórskiej, Zielona Góra 1996
  • [13] Tkacz J.: Komputerowe wspomaganie przekształceń symbolicznych Gentzena. IV Krajowa Konferencja: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim. Kraków, Polska, 2003
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPOM-0005-0019
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.