To jest stara wersja strony!


Opis

Joanna Jaworek, jaworek.joanna@gmail.com
Temat: Programowanie z wykorzystaniem ograniczeń CLP. Sekwencjonowanie DNA- projekt z wykorzystaniem biblioteki JPL swi-prolog.

Wstęp

Niniejsza praca składa się z sześciu rozdziałów: programowanie logiczne, programowanie logiczne z ograniczeniami, CHR, problemy NP-trudne, sekwencjonowanie DNA oraz podsumowanie. Celem pierwszych dwóch rozdziałów jest przedstawienie koncepcji programowania w prologu oraz zaprezentowanie kilku zaimplementowanych przykładów. Rozdział trzeci przedstawia ciekawe wykorzystanie programowania CLP/CHR do rozwiązywania problemów NP-trudnych, czyli o dużej złożoności czasowej. Tutaj także zaprezentuję aplikację umożliwiającą testowanie programów. Rozdział czwarty odwołuje się do ostatnich nowinek ze świata nauki, które pokładają dużą nadzieję w sekwencjonowanie DNA właśnie w prologu. Rozdział ten także zawiera moją własną implementację prostego sekwencjonowanie DNA. Ostatni rozdział to podsumowanie referatu oraz przedstawienie innych implementacji platform oraz narzędzi opartych na CLP.

Programowanie logiczne

Teoria

Prolog a programowanie w logice

Constraint logic programming -programowanie z ograniczeniami

Teoria

Propagacja ograniczeń

Dystrybucja i poszukiwanie

Ograniczenia

Arytmetyczne

Logiczne

Listy i liczby rzeczywiste

Moduły CLP

clpfd (Constraint Programming Language over Finite Domains)

clp_distinct

CLP(Q,R) Constraint Logic Programming over Rationals or Reals

Wady CLP

CHR -Constraint Handling Rules

Program z przykładami

Przykłady

Implementacja

Sekwencjonowanie DNA

Teoria

Implementacja sekwencjonowania DNA w PROLOGu

Wybór środowiska

Interfejs użytkownika

Podsumowanie

pl/miw/2009/piw09_clp.1244393784.txt.gz · ostatnio zmienione: 2017/07/16 23:25 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0