Metody sztucznej inteligencji w syntezie systemów typu kompleks zasobów i operacji

Abstract

The goal of this synthesis is to find an optimum solution satisfying the requirements and constraints enforced by the given specification of the system. The partition of the functions between hardware and software is the basic problem of synthesis. Such partition is significant, because every computer system must be realized as result of hardware implementation for its certain tasks. Due to the fact that synthesis problems and their optimizations are NP-complete we suggest meta-heuristic approaches.

Celem wysoko-poziomowej syntezy złożonych systemów przetwarzania, a także wytwarzania (systemów typu kompleks zasobów i operacji) jest znalezienie rozwiązania optymalnego, które dla przyjętych kryteriów optymalnosei będzie spełniało wymagania i ograniczenia narzucone przez zadaną specyfikację projektowanego systemu. Ponieważ problemy syntezy i ich optymalizacje są obliczeniowo NP-zupełne, zastosowano do ich rozwiązania wybrane metody sztucznej inteligencji i niektóre wyniki obliczeń tych metod są prezentowane w niniejszej pracy.