Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw2008_tematy [2008/02/19 14:42] gjn |
pl:miw:miw2008_tematy [2019/06/27 15:50] (aktualna) |
* Modelling: UML, MVC, XTT... | * 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 ====== | ====== Tematy MIW08 ====== |
| |
R: [[miw08_XTT_Serialization|Karol Gorlach (4AR) <karol.gorlach@gmail.com>]] | R: [[miw08_XTT_Serialization|Karol Gorlach (4AR) <karol.gorlach@gmail.com>]] |
| |
| |
| |
==== UML_URML ==== | ==== UML_URML ==== |
Design rbs examples with URML | Design rbs examples with URML |
| |
| |
| [[miw08_uml_urml|R: Piotr Przybycin (4AR) <pit4@o2.pl>]] |
| |
==== XTTplusApps ==== | ==== XTTplusApps ==== |
FIXME | FIXME |
| |
R: Łukasz Dziewanowski (4AR) <dziewano@student.agh.edu.pl> | R: [[miw08_xttplusapps|Łukasz Dziewanowski (4AR) <dziewano@student.agh.edu.pl>]] |
| |
| |
* input | * 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]]), | * 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 | * output |
Feasibility study, a description how to create such editors with GEF, a prototype editor | Feasibility study, a description how to create such editors with GEF, a prototype editor |
| |
R: [[miw08_ard_xml|Michał Tomana (4AR) <mtomana@student.agh.edu.pl>]] | R: [[miw08_ard_xml|Michał Tomana (4AR) <mtomana@student.agh.edu.pl>]] |
| |
| |
| |
ontologie (OWL), graphviz | 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>]] |
| |
| |
| |
===== HeKatE Runtime ===== | ===== HeKatE Runtime ===== |
| |
| |
| |
* JSR94 http://jcp.org/en/jsr/detail?id=94 | * JSR94 http://jcp.org/en/jsr/detail?id=94 |
* Jess http://www.jessrules.com | * Jess http://www.jessrules.com |
* JenaRules | * JenaRules http://jena.sourceforge.net/ |
* integration http://www.manning.com/friedman-hill | * integration http://www.manning.com/friedman-hill |
* output | * output |
| |
==== DokuViz ==== | ==== 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>]] | R: [[miw08_dokuviz|Michał Kotra (4AR) <mkotra@student.agh.edu.pl>]] |
| |
[[miw08_DokuBibTeX|R: Tomasz Huczek (4AR) <tomasz.huczek@gmail.com>]] | [[miw08_DokuBibTeX|R: Tomasz Huczek (4AR) <tomasz.huczek@gmail.com>]] |
| |
| |
| |
| |
| |
R: Marcin Juszkiewicz, (4AR) <monitorr@interia.pl> | R: [[miw08_Semantic_Wiki|Marcin Juszkiewicz, (4AR) <monitorr@interia.pl>]] |
| |
| |
build a nice web page about mindstorms, mrl, etc. using wiki | 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 ===== | ===== Mindstorms ===== |
| |
| |
==== 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> | |
| |
| |
| |
| |
R: [[miw2008_mindstormscontrolj|Paweł Gutowski (4AR) <pawel.gutowski@gmail.com>]] | R: [[miw08_mindstormscontrolj|Paweł Gutowski (4AR) <pawel.gutowski@gmail.com>]] |
| |
| |
* Prolog | * 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 ==== | ==== MindStormsEnv ==== |
| |
perhaps some :!: or :!!: should be assigned... | perhaps some :!: or :!!: should be assigned... |
| |
| |
| |
| |
[[miw08_prolog_javasockets|R: Łukasz Łysik <llysik@gmail.com>]] | [[miw08_prolog_javasockets|R: Łukasz Łysik <llysik@gmail.com>]] |
| |
IS: chętni: Wojciech Leś, Michał Łosiewicz, keepsake@o2.pl, albo Prolog_Java | |
| |
==== Prolog_ARDgviz ==== | ==== Prolog_ARDgviz ==== |
| |
R: [[miw08_Prolog_XML|Wojciech Szymański <wojtek.szym@gmail.com>]] | R: [[miw08_Prolog_XML|Wojciech Szymański <wojtek.szym@gmail.com>]] |
| |
| |
==== Prolog_Adv ==== | ==== Prolog_Adv ==== |
* [[http://www.sics.se/sicstus|SICStus]] | * [[http://www.sics.se/sicstus|SICStus]] |
| |
| R: [[miw08_prolog_adv|Sławomir Polański (5AR) <wawele@gmail.com>]] |
| |
| |
| |
==== RBS_CHR ==== | ==== 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]] | [[http://chr.informatik.uni-ulm.de/~webchr/|Demo]] |
| |
Porównanie jak CHR ma się do CLP (Constraint Logic Programming). | 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 ;-) | |