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

• Autorzy: Tkacz J. , Adamski M.

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.

Słowa kluczowe

PL

logika Gentzena; sekwent; wnioskowanie symboliczne; minimalizacja; tablice decyzyjne; VHDL

EN

VHDL; Gentzen logic; sequent; symbolic deduction; minimization; decision tables

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
• Rocznik: 2008
• Tom: R. 81, nr 6
• Strony: 728--730
• Opis fizyczny: Bibliogr. 13 poz., tab.

Twórcy

autor

Tkacz J.

autor

Adamski M.

• Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki,

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