Zrealizować konwerter/plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX.

Chodzi o obsługę podstawowej składni, w tym:

• {sub}*section
• czcionki \text… \emph, etc.
• generowanie \label i \ref z odpowiednich nagłówków wiki

W trybie podstawowym program może działać offline, t.j. poza wiki (kopiuje strone na dysk i tam uruchamiam konwerter).

Tryb zaawansowany:

• praca na kilku stronach wiki (zadanych regexp, ew przestrzenią nazw)
• włączanie obrazków
• praca jako plugin wiki.

j.w. ale konwersja latex do formatu wiki. Może pracować offline, t.j. poza wiki.

Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc.

Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu XMI, do formatu ARDML.

j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML.

Model ARD w XMI z uwzględnieniem MOF.

Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu XMI, do formatu XTTML.

j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML.

generowanie szablonu prac mgr z wiki

testowanie API dla NXT w Prologu.

ewaluacja możliwości uruchamiania kodu prologu bezpośrednio na mindstorms, np.:

• Kompilacja do kodu bajtowego NXT File and Bytecode Reference
• kompilacja do Java bytecode

Integracja bazy przykładów w Prologu z aiwiki.

Opracowanie niskopoziomowych predykatów do kontrolowania MindstormsNXT w Prologu przez port szeregowy (USB/BT).

Kontynuacja miw08_mindstormscontrols Kroki:

• testy komunikacji z SWI Prologu (http://gollem.science.uva.nl/SWI-Prolog/Manual/IO.html)
• ustawienie parametrów portu (stty w Unixie)
• testy prostego we/wy
• opracowanie/rozbudowa istniejacych predykatow tak, aby pokrywaly calą funkcjonalność protokołu lego nxt
• można do pewnego stopnia oprzeć się koncepcyjnie na Legolog-u (ale ma on średniezastosowanie bo jest do starych Mindstorms RCX
• w miarę możliwości praca po usb i BT