--- pl:miw:miw2008_tematy [2008/02/19 12:47]
gjn
+++ pl:miw:miw2008_tematy [2019/06/27 15:50] (aktualna)
@@ Linia 32: / Linia 32: @@
   * Modelling: UML, MVC, XTT...
+====== Komp08 ======
+Tematy dla osób z 3. roku InfStos, z przedmiotu kompilatory, u P. Dr. Inż. Jacka Piwowarczyka.
+(pon + wto: 8:30 + czw 12:30)
+Zainteresowanych proszę o kontakt na <gjn@agh.edu.pl>.
+Można też przyjść na konsultacje, we wtorek 10-15, C3, 203
+===== Doku2LaTeX =====
+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.
+===== LaTeX2Doku =====
+j.w. ale konwersja latex do formatu wiki.
+Może pracować offline, t.j. poza wiki.
+===== PrologEns =====
+Kolorowanie składni języka Prolog dla [[http://www.gnu.org/software/enscript/|GNU Enscript]].
+Patrz realizacja dla [[pl:prolog:geshi_prolog|GeSHi]].
+R: [[miw08_prologens|Paweł Marek (5AR) <pmarek@student.agh.edu.pl>]]
+===== AIwikiSearch =====
+Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc.
+===== AIwikiFoz =====
+Należy wykonać search plugin dla firefoxa, przeszukujący [[http://ai.ia.agh.edu.pl/wiki|aiwiki]]
+===== UML2ARD =====
+Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (w z góry zadanym formacie) zapisanych w postaci modelu [[hekate:XMI]], do formatu [[hekate:hekate_markup_language|ARDML]].
+===== ARD2UML =====
+j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML.
+====== Tematy PIW08 ======
+[[pl:miw:piw2008_tematy|patrz dedykowana strona]]
 ====== Tematy MIW08 ======
@@ Linia 125: / Linia 174: @@
 R: [[miw08_XTT_Serialization|Karol Gorlach (4AR) <karol.gorlach@gmail.com>]]
 ==== UML_URML ====
 Design rbs examples with URML
+[[miw08_uml_urml|R: Piotr Przybycin (4AR) <pit4@o2.pl>]]
 ==== XTTplusApps ====
@@ Linia 142: / Linia 195: @@
 FIXME
-R: Łukasz Dziewanowski (4AR) <dziewano@student.agh.edu.pl>
+R: [[miw08_xttplusapps|Łukasz Dziewanowski (4AR) <dziewano@student.agh.edu.pl>]]
@@ Linia 153: / Linia 206: @@
   * input
     * Eclipse: [[http://www.eclipse.org/modeling/|EMF]], GEF resources ([[http://www-128.ibm.com/developerworks/opensource/library/os-eclipse-gef11/?ca=dgr-lnxw07EclipseGEF|GEF]], [[http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html]]),
-    * ARD: [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted|Towards Formalization of ARD+ Conceptual Design and Refinement Method]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted|An ARD+ Design and Visualization Toolchain Prototype in Prolog]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted|UServ Case Study, Conceptual Design with ARD+ Method]].
+    * ARD: [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal|Towards Formalization of ARD+ Conceptual Design and Refinement Method]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog|An ARD+ Design and Visualization Toolchain Prototype in Prolog]] and [[hekate:bib:hekate_bibliography#gjn2008flairs-userv|UServ Case Study, Conceptual Design with ARD+ Method]].
   * output
 Feasibility study, a description how to create such editors with GEF, a prototype editor
@@ Linia 198: / Linia 251: @@
 R: [[miw08_ard_xml|Michał Tomana (4AR) <mtomana@student.agh.edu.pl>]]
@@ Linia 206: / Linia 260: @@
 ontologie (OWL), graphviz
-R: Szymon Deja <sdeja@poczta.onet.pl> <szydej@gmail.com>
+R: [[miw08_xtt_xml|Szymon Deja <sdeja@poczta.onet.pl> <szydej@gmail.com>]]
@@ Linia 213: / Linia 267: @@
 ==== XTT_XMLPro ====
 Translacja XTTML do innych formatów z użyciem Prologu. 8-)
-R: Maksymilian Imioło (4AR) <maximiolo@o2.pl>
 R: [[miw2008_xtt_xmlpro|Maksymilian Imioło(4AR) <maximiolo@o2.pl>]]
 ==== HekateATL ====
@@ Linia 225: / Linia 278: @@
   * output
-R: Marek Mierzwa Jakub Ostrowski (4AR) <kubaostrowski@gmail.com>
+R: [[miw08_HekateATL|Marek Mierzwa Jakub Ostrowski (4AR) <kubaostrowski@gmail.com>]]
@@ Linia 244: / Linia 297: @@
 ==== ARD_Onto ====
 wymiana danych między ARD a ontologiami
@@ Linia 250: / Linia 304: @@
 zapis ARD przy pomocy RDF w XSLT 8-)
-R: Rafał Szymczyk, (4AR), <raf.szymczyk@o2.pl>
+R: [[miw08_ard_rdf|Rafał Szymczyk, (4AR), <raf.szymczyk@o2.pl>]]
 ==== HML_XMI ====
@@ Linia 274: / Linia 328: @@
 ===== HeKatE Runtime =====
@@ Linia 290: / Linia 345: @@
     * JSR94 http://jcp.org/en/jsr/detail?id=94
     * Jess http://www.jessrules.com
-    * JenaRules
+    * JenaRules http://jena.sourceforge.net/
     * integration http://www.manning.com/friedman-hill
   * output
@@ Linia 296: / Linia 351: @@
 R: [[pl:miw:miw08_ruleruntimej|Marcin Gadamer (4AR)]]
 ==== RuleRuntimeO ====
-[[miw2008_ruleruntimeo|RuleRuntimeO]] :
 Investigate runtime integration aspects, mainly
 the integration of the Object-Oriented Model in Prolog with a Java VC possibilities
@@ Linia 309: / Linia 365: @@
 Feasibility study, a prototype.
-R: Grzegorz Caban (4AR) <grzegorz.caban@gmail.com>
+R: [[miw08_RuleRuntimeO|Grzegorz Caban (4AR) <grzegorz.caban@gmail.com>]]
@@ Linia 349: / Linia 405: @@
   * output
  LLVM/HLVM, WAM, JVM
@@ Linia 357: / Linia 414: @@
 FIXME mixdes
-R: Konrad Rybacki (4AR) <konrad.rybacki@gmail.com>
+R: [[miw08_RuleRuntimeP|Konrad Rybacki (4AR) <konrad.rybacki@gmail.com>]]
 ==== RuleRuntimeC ====
@@ Linia 375: / Linia 432: @@
 ==== DokuViz ====
-[[:GraphViz]] plugin dla Dokuwiki, renderowanie diagramow z zamieszczonego w wiki kodu DOT oraz plikow umieszczanych w wiki.
+[[misc:GraphViz]] plugin dla Dokuwiki, renderowanie diagramow z zamieszczonego w wiki kodu DOT oraz plikow umieszczanych w wiki.
 R: [[miw08_dokuviz|Michał Kotra (4AR) <mkotra@student.agh.edu.pl>]]
 ==== DokuLaTeX ====
@@ Linia 384: / Linia 442: @@
 Zaimplementować.
-R: Paweł Miczko (4AR) <mieczyslav@gmail.com>
+R: [[miw08_DokuLaTeX|Paweł Miczko (4AR) <mieczyslav@gmail.com>]]
@@ Linia 393: / Linia 451: @@
 [[miw08_DokuBibTeX|R: Tomasz Huczek (4AR) <tomasz.huczek@gmail.com>]]
@@ Linia 400: / Linia 459: @@
-R: Marcin Juszkiewicz, (4AR) <monitorr@interia.pl>
+R: [[miw08_Semantic_Wiki|Marcin Juszkiewicz, (4AR) <monitorr@interia.pl>]]
@@ Linia 406: / Linia 466: @@
 build a nice web page about mindstorms, mrl, etc. using wiki
-R: Wojciech Piestrak (AR) <wojciechpiestrak@gmail.com>
+R: [[miw08_MindstormsHP|Wojciech Piestrak (AR) <wojciechpiestrak@gmail.com>]]
 ===== Mindstorms =====
@@ Linia 421: / Linia 482: @@
 Is ARD/XTT suitable for Mindstorms control?
-R: Łukasz Zalewski (4AR) <zalewik@gmail.com>
+R: [[miw08_MindStormsDesign|Łukasz Zalewski (4AR) <zalewik@gmail.com>]]
@@ Linia 463: / Linia 524: @@
-==== MindStormsControlT ====
-Build a simple control stack that communicates w/ MS via BT in RT, and exposes the control through a TCP socket, providing a simple control protocol, e. g. for Prolog.
-Z: Pokrzepa Wojciech, Waliszko Jarosław, <jwa@student.agh.edu.pl>
@@ Linia 492: / Linia 550: @@
   * build some simple control logic in Prolog
-   [[miw2008_mindstormscontrolj| WCHODZ TUTAJ]]
-R: Paweł Gutowski (4AR) <pawel.gutowski@gmail.com>
+R: [[miw08_mindstormscontrolj|Paweł Gutowski (4AR) <pawel.gutowski@gmail.com>]]
@@ Linia 507: / Linia 566: @@
     * Prolog
-R: [[miw2008_mindstormscontrolc|Marcin Ziółkowski (4AR) <mziolkow@student.agh.edu.pl>]]
+R: [[miw08_mindstormscontrolc|Marcin Ziółkowski (4AR) <mziolkow@student.agh.edu.pl>]]
 ==== MindStormsEnv ====
@@ Linia 525: / Linia 584: @@
 perhaps some :!: or :!!: should be assigned...
@@ Linia 535: / Linia 595: @@
 [[miw08_prolog_javasockets|R: Łukasz Łysik <llysik@gmail.com>]]
-IS: chętni: Wojciech Leś, Michał Łosiewicz, keepsake@o2.pl, albo Prolog_Java
 ==== Prolog_ARDgviz ====
@@ Linia 568: / Linia 626: @@
 ==== Prolog_Mindstorms ====
 Running Prolog interpreter on Mindstorms NXT hardware.
@@ Linia 585: / Linia 644: @@
   * [[http://www.w3.org/Style/XSL/|XSL]]
-R: Wojciech Szymański <wojtek.szym@gmail.com>
+R: [[miw08_Prolog_XML|Wojciech Szymański <wojtek.szym@gmail.com>]]
 ==== Prolog_Adv ====
@@ Linia 602: / Linia 662: @@
   * [[http://www.sics.se/sicstus|SICStus]]
+R: [[miw08_prolog_adv|Sławomir Polański (5AR) <wawele@gmail.com>]]
@@ Linia 625: / Linia 685: @@
 ===== Other KE =====
 ==== HQedAudit ====
 :!:
-Audyt kodu, dokumentacja, uzupełenie komentarzy w kodzie w języku angielskim, testowanie.
+Audyt kodu, dokumentacja, uzupełnienie komentarzy w kodzie w języku angielskim, testowanie.
-Wymagana znajomość C++, atutem jest znajomośc biblioteki Qt oraz Doxygen, CVS.
+Wymagana znajomość C++, atutem jest znajomość biblioteki Qt oraz Doxygen, CVS.
-R: Lukasz Rachwalski (4AR) <lukaszrachwalski@gmail.com>
+R: [[miw08_HQedAudit|Lukasz Rachwalski (4AR) <lukaszrachwalski@gmail.com>]]
 ==== VisualRuleDesign ====
@@ Linia 647: / Linia 708: @@
   * output
 Possible applications, is it worth dealing with?
 ==== RBS_ML ====
 Uczenie maszynowe w RBS, jako metoda rozbudowy/rozszerzania istniejącego systemu o nowe reguły, modyfikacja reguł, przykłady.
-R: Krzysztof Morcinek (4AR) <krzysztof.morcinek@gmail.com>
+R: [[miw08_RBS_ML|Krzysztof Morcinek (4AR) <krzysztof.morcinek@gmail.com>]]
 FIXME pocz sem spec zadan/metod
 ==== RBS_CHR ====
-[[http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/|Constraint Handling Rules]] (też w [[:Constraint Handling Rules]]), zastosowania, implementacja, aplikacje.
+[[http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/|Constraint Handling Rules]] (też w [[misc:Constraint Handling Rules]]), zastosowania, implementacja, aplikacje.
 [[http://chr.informatik.uni-ulm.de/~webchr/|Demo]]
@@ Linia 667: / Linia 729: @@
 Porównanie jak CHR ma się do CLP (Constraint Logic Programming).
-==== RBS_Back ====
-Przegląd metodologii reprezentacji reguł dla [[wppl>Wnioskowanie w tył|wnioskowania w tył (wstecz)]]. Należy szczególnie uwzględnić reprezentacje graficzne oraz zwrócić uwagę na: przejżystość reguł, gęstość reprezentowanej informacji.
+==== RBS_Back ====
+Przegląd metodologii reprezentacji reguł dla [[wppl>Wnioskowanie w tył|wnioskowania w tył (wstecz)]]. Należy szczególnie uwzględnić reprezentacje graficzne oraz zwrócić uwagę na: przejrzystość reguł, gęstość reprezentowanej informacji.
+R: Zwoźniak David <david_z@poczta.fm>
-===== Intelligent Robots =====
+https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_rbs_back
-==== Abstract Robotic Toolkit ====
-Opracowanie architektury i implementacja biblioteki  do sterowania robotami.
-Biblioteka ma umożliwiać sterowanie robotami za pomocą zunifikowanego zestawu rozkazów. Rozkazy mają być niezależne od robota jaki jest wykorzystywany.
-Szkic architektury:
-Pokrywa się częściowo z [[pl:miw:miw2008_tematy#mindstormsapi]].
- PROLOG => ABSTRACT ROBOTIC TOOLKIT LIB => ROBOT XXX MODULE => LINK ( SERIAL, BT, WIFI, ...) => ROBOT
-Uwagi:
-  * przy dodawaniu obsługi kolejnego robota ma być konieczne tylko napisania modułu dla konkretnej jednostki.
-  * biblioteka ma uwzględniać możliwość sterowania kilkoma robotami o jednakowej architekturze.
-  * biblioteka ma posiadać interfejs do realizacji funkcji specyficznych dla danego robota (coś w rodzaju ioctl dla plików w linuksie)
-  * język implementacji: Prolog / Java / C / C++
-  * system operacyjny wymagany: GNU/Linux
-  * mile widziana niezależność od systemu operacyjnego
-Wymagania funkcjonalność:
-  * poruszanie ( tył, przód, lewo, prawo, obroty)
-  * odczyt sensorów ( IR, sonar, dźwięk, dotyk, ...)
-==== Wielowątkowa biblioteka do sterowania robotami HEXOR ====
-Implementacja biblioteki do sterowania jednocześnie i asynchronicznie wieloma robotami Hexor.:!:
-Uwagi:
-  * warto znać POSIX Threads
-  * można wykorzystać jako start bibliotekę, która aktualnie służy do komunikacji z Hexorem {{:pl:hexor:hexor_prolog.tar.gz|:pl:hexor:hexor_prolog.tar.gz}}
-  * przystosowanie do wykorzystania jako ROBOT HEXOR MODULE dla Abstract Robotic Toolkit
-  * język implementacji: C / C++
-==== Wielowątkowa biblioteka do sterowania Lego Mindstorms ====
-Implementacja biblioteki do sterowania robotami Lego Mindstorms przez Bluetooth
-Pokrywa się z [[pl:miw:miw2008_tematy#mindstormscontrols]].
-Pokrywa się częściowo z [[pl:miw:miw2008_tematy#mindstormsapi]].
-Uwagi:
-  * jednoczesna kontrola wielu robotów
-  * warto znać POSIX Threads ??
-  * system operacyjny: GNU/Linux
-  * przystosowanie do wykorzystania jako ROBOT LEGO MODULE dla Abstract Robotic Toolkit
-Jarosław Waliszko jwa@student.agh.edu.pl,
-Wojciech Pokrzepa, 4IS
-===== Modelowanie systemów regułowych za pomocą EMF ( Eclipse ) =====
-Opierając się na przykładzie [[ http://www.eclipse.org/articles/Article-Rule%20Modeling%20With%20EMF/article.html]] należy sprawdzić możliwość użycia Eclipse+EMF do modelowania XTT. Wynikiem opracowania ma być:
-  * prototyp pokazujący model XTT  w Eclipse
-  * szczegółowy wyjaśnie nie dlaczego nie da się/nie warto modelować XTT z wykorzystaniem EMF
-Warto znać:
-  * java
-  * eclipse
-  * JET
-  * XTT ;-)

pl/miw/miw2008_tematy.1203421636.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice