Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw2008_tematy [2008/03/11 12:04] gjn |
pl:miw:miw2008_tematy [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 32: | Linia 32: | ||
| * 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 ====== | ||
| Linia 157: | Linia 206: | ||
| * 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 | ||
| Linia 383: | Linia 432: | ||
| ==== 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>]] | ||
| Linia 474: | Linia 523: | ||
| R: [[miw08_MindStormsControlS|Marek Siara (4AR) <siara@student.agh.edu.pl>]] | R: [[miw08_MindStormsControlS|Marek Siara (4AR) <siara@student.agh.edu.pl>]] | ||
| - | |||
| - | ==== 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 601: | Linia 645: | ||
| 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 ==== | ||
| Linia 617: | Linia 662: | ||
| * [[http://www.sics.se/sicstus|SICStus]] | * [[http://www.sics.se/sicstus|SICStus]] | ||
| + | R: [[miw08_prolog_adv|Sławomir Polański (5AR) <wawele@gmail.com>]] | ||
| Linia 673: | Linia 718: | ||
| ==== 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]] | ||
| Linia 691: | Linia 736: | ||
| R: Zwoźniak David <david_z@poczta.fm> | R: Zwoźniak David <david_z@poczta.fm> | ||
| https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_rbs_back | https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_rbs_back | ||
| - | |||
| - | ===== Intelligent Robots ===== | ||
| - | |||
| - | ==== 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 ;-) | ||
