- Tytuł:
-
Binarne Diagramy Decyzyjne w technologii .NET
Binary Decision Diagrams in .NET Technology - Autorzy:
-
Łabiak, G.
Makowski, T. - Powiązania:
- https://bibliotekanauki.pl/articles/152908.pdf
- Data publikacji:
- 2007
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
BDD
DLL
Platform Invocation Service
NET
C#
.NET - Opis:
-
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.
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. - Źródło:
-
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 78-80
0032-4140 - Pojawia się w:
- Pomiary Automatyka Kontrola
- Dostawca treści:
- Biblioteka Nauki
Artykuł