Binarne Diagramy Decyzyjne w technologii .NET

• Autorzy: Łabiak G. , Makowski T.

Warianty tytułu

EN

Binary Decision Diagrams in .NET Technology

• Języki publikacji: PL

Abstrakty

PL

W referacie przedstawiono sposób adaptacji istniejącego pakietu BDD (CUDD), napisanego w języku C/C++ dla środowiska UNIX, na platformę .NET. Opracowane przejście opiera się w głównej mierze na wykorzystaniu bibliotek DLL. Uzyskane wyniki potwierdzają dobrą jakość opracowanej transformacji, czego dowodem jest uzyskanie porównywalnego rezultatu dekompozycji funkcji boolowskiej dla funkcji znanych z literatury.

EN

The paper presents a method of implementation of BDD package in .NET platform, originally designed for UNIX operating system. Described transformation consists in using mainly Dynamic Link Library. Obtained results proved its usefulness, what is confirmed by the outcome for literature example of Boolean function decomposition, which turned out to be comparable.

Słowa kluczowe

PL

BDD; DLL; Platform Invocation Service; NET; C#

EN

BDD; DLL; Platform Invocation Service; .NET; C#

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2007
• Tom: R. 53, nr 5
• Strony: 78--80
• Opis fizyczny: Bibliogr. 9 poz., rys., tab., wzory

Twórcy

autor

Łabiak G.

autor

Makowski T.

• Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski,

Bibliografia

• [1] Jagocki A.: P/Invoke i iphlpapi.dll - czyli jak zarządzać nie zarządzanym kodem, http://codegiumpl/article-232.aspx
• [2] Łabiak G., Adamski M.: Hierarchiczny diagram stanów i jego odwzorowanie w strukturze logicznej FPGA, Reprogramowalne Układy Cyfrowe - RUC 2004, Mat. VII Krajowej Konferencji. Naukowej. Szczecin, Polska, 2004 (www.uz.zgora.plt-glabiak)
• [3] Łabiak G.: Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych, Oficyna Wydaw. Uniwersytetu Zielonogórskiego (oraz http://zbc.uz.zgora.p1 ), 2005.
• [4] Makowski T.: Projekt i realizacja obiektu dokonującego minimalizacji funkcji logicznych metodą dekompozycji, Praca magisterska, WEiT Uniwersytet Zielonogórski, Zielona Góra 2006.
• [5] de Mitcheli G.: Synteza i optymalizacja układów cyfrowych, WNT, Warszawa 1998.
• [6] Minato S. -I.: Binary Decision Diagrams and Applications for VLSI CAD, Kluwer Academic Publishers, Boston, 1996.
• [7] Petzold Ch.: Programowanie Windows. Kompletny podręcznik Win32 API do Windows 95/98/NT, RM, wyd. V, Warszawa 1999.
• [8] Somenzi F.: CUDD: CU Decision Diagram Package, http://vlsi.colorado.edu/--fabio/CUDD/cuddlntro.html
• [9] hup://www.microsoft.com/poland/deyeloper/net/podstawy/wprowadzenie.mspx