Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
pl:miw:piw2008_tematy [2008/04/18 12:23]
wojnicki wiki upload
pl:miw:piw2008_tematy [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
 +====== Projekty PIW2008 ======
  
 +Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008.
 +
 +Dodatkowe informacje organizacyjne znajdują się (od połowy kwietnia) tu: [[piw2008_organizacja]].
 +
 +Uwagi:
 +  * Tematy oznaczone znaczkiem :!: należy uznać za tematy o podwyższonym priorytecie
 +  * Tematy są realizowane 2 osobowo (chyba, że ktoś chce indywidualnie)
 +  * Niektóre tematy mogą być realizowane przez więcej niż jeden zespół (do negocjacji :-))
 +
 +Osoby, które zrealizują w sposób wyróżniający się, a także będą zainteresowane tematyką poruszaną w projektach, będą mogły kontynuować pracę w ramach tematyki pochodnej do PIW 2008 w ramach:
 +  * pracy magisterskiej u dr. inż. G. J. Nalepy lub u dr. inż. I. Wojnickiego,​ //​uaktualniona//​ lista tematów będzie dostępna na wiosnę, wstępnie do końca kwietnia
 +  * projektu [[http://​hekate.ia.agh.edu.pl|Hekate]],​ potencjalnie za wynagrodzeniem
 +
 +
 +===== UML2ARD =====
 +:!:
 +
 +Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML 
 +[[pl:​miw:​miw08_umlandardxtt:​umlandard:​approach2#​zaleznosci_trace_use_i_derive|w zadanym formacie]] zapisanych w postaci modelu [[hekate:​XMI]] ([[pl:​miw:​miw08_umlandardxtt:​notatki|i tu]]), do formatu [[hekate:​hekate_markup_language|ARDML]].
 +
 +===== ARD2UML =====
 +:!:
 +
 +j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML.
 +
 +
 +===== XMI_ARD =====
 +:!:
 +
 +Model ARD w XMI z uwzględnieniem MOF.
 +
 +
 +===== UML2XTT =====
 +:!:
 +
 +Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML 
 +[[pl:​miw:​miw08_umlandardxtt:​activity_diagrams#​section1|w zadanym formacie]]
 +zapisanych w postaci modelu [[hekate:​XMI]] ([[pl:​miw:​miw08_umlandardxtt:​notatki|i tu]]), do formatu [[hekate:​hekate_markup_language|XTTML]].
 +
 +===== XTT2UML =====
 +:!:
 +
 +j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML.
 +
 +===== XTT_Serialization =====
 +Try to propose an effective encoding of XTT with UML and Java.
 +
 +
 +===== NXTAPItest =====
 +:!:
 +
 +Testowanie[[pl:​miw:​miw08_mindstormsapi|API dla NXT w Prologu]].
 +
 +//Uwaga//: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu!
 +
 +===== NXTcompile =====
 +ewaluacja możliwości uruchamiania kodu prologu bezpośrednio na mindstorms, np.:
 +  * Kompilacja do kodu bajtowego NXT [[http://​mindstorms.lego.com/​Overview/​NXTreme.aspx|File and Bytecode Reference]]
 +  * kompilacja do Java bytecode???
 +
 +//Uwaga//: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu!
 +
 +===== NXTserialProlog =====
 +:!:
 +
 +Opracowanie niskopoziomowych predykatów do kontrolowania MindstormsNXT w Prologu przez port szeregowy (USB/BT).
 +
 +Kontynuacja [[pl:​miw:​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 [[pl:​miw:​miw08_mindstormscontrols#​projekt|istniejacych predykatow]] tak, aby pokrywaly calą funkcjonalność [[pl:​mindstorms:​dokumentacja:​dokumentacja_techniczna|protokołu lego nxt]]
 +  * można do pewnego stopnia oprzeć się koncepcyjnie na [[http://​www.cs.toronto.edu/​cogrobo/​Legolog/​|Legolog]]-u (ale ma on średniezastosowanie bo jest do starych Mindstorms RCX
 +  * w miarę możliwości praca po usb i BT
 +
 +//Uwaga//: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu!
 +
 +==== 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>​
 +
 +
 +===== NXTherd =====
 +
 +Zaproponowanie API dla NXT w Prologu do współpracy grupowej robotów.
 +Przemyślenie scenariuszy,​ konfiguracji,​ np.:
 +  * P2P
 +  * MasterSlave
 +  * saoorganizacja metodami computational intelligence
 +
 +//Uwaga//: istnieje możliwość wypożyczenia zestawu MindStorms NXT w okresie 30.4-19.5.2008 na potrezby realizacji projektu!
 +
 +===== XTT_Prolog =====
 +:!:
 +
 +Reprezentacja XTT w Prologu + prosty interpreter.
 +
 +Zainteresowani?:​ Szymon Bobek & Michał Gawędzki (4IS)
 +
 +
 +===== ARD_Prolog =====
 +
 +Reprezentacja ARD w Prologu + prosty interpreter. Analogiczne do VARDA, from scratch.
 +Rozważenie użycia [[http://​www.swi-prolog.org/​packages/​xpce/​|XPCE]].
 +
 +
 +===== VARDAshell =====
 +
 +Rozbudowa i naprawa VARDA 
 +
 +[[piw08_vardashell|Paweł Muchacki]]
 +
 +===== XTTplusApps =====
 +Try to apply, refine xtt+ features, design real-life SE cases using xtt+
 +
 +    *      input
 +
 +SE cases, well documented MVC-based UML code
 +
 +    *      output
 +
 +ARD/XTT based representation of the cases
 +
 +
 +===== GEFARDXTT =====
 +:!:
 +
 +GEF and Eclipse based editor for ARD and XTT. Evaluation, feasibility,​ prototype. XTTv2 Editor requirements
 +
 +    *      input
 +      * Eclipse: EMF, GEF resources (GEF, http://​www.eclipse.org/​articles/​Article-GEF-editor/​gef-schema-editor.html),​
 +      * ARD: Towards Formalization of ARD+ Conceptual Design and Refinement Method and An ARD+ Design and Visualization Toolchain Prototype in Prolog and UServ Case Study, Conceptual Design with ARD+ Method.
 +    *      output
 +
 +Feasibility study, a description how to create such editors with GEF, a prototype editor MS Thesis regarding GEF: Interfejs graficzny do budowy aplikacji komponentowych zapewniający weryfikację semantyczną,​ ARD+ Editor requirements
 +
 +
 +
 +===== BizRulesVocab =====
 +
 +It is a common visual notation used in the Business_Process_Modeling that is a modeling/​design problem in the Business_process_management. The BPMN is officially standarized by OMG. Some possible areas of investigation(at 1st sight):
 +
 +    *      input
 +          *  relation between BPMN and UML, e.g. see Use of UML and Model Transformations for Workflow Process Definitions
 +          *  how could we use Business_Process_Execution_Language
 +          *  the general idea of workflow and tools such as yawl is worth digging in...
 +          *  SBVR
 +    *      output
 +
 +Extended ARD. 
 +
 +
 +
 +
 +
 +
 +===== HekateOnto =====
 +:!:
 +
 + ​porównać i omówić metody reprezentowania atrybutów w językach:
 +
 +    *      RDF
 +    *      OWL
 +    *      RIF
 +    *      R2ML
 +    *      RuleML
 +oraz metody reprezentowania reguł w:
 +    *      RIF
 +    *      R2ML
 +    *      RuleML
 +
 +
 +business rules orchestration
 +
 +[[piw08_hekateonto|Weronika Furmańska(4IS)]]
 +
 +
 +===== RuleRuntimeJO =====
 +
 +:!:
 +
 +Investigate runtime integration aspects, mainly Prolog+Java integration possibilities
 +Investigate runtime integration aspects, mainly the integration of the Object-Oriented Model in Prolog with a Java VC possibilities executable design, LogTalk, etc.
 +
 +    *      input
 +            Prolog/Java APIs, Java, OO Prolog documentation,​ MVC concept. Prolog OOP, LogTalk, TrincProlog,​ SICStus Prolog
 +    *      output
 +
 +How to integrate Prolog and Java in the best way regarding performance,​ and coding easiness + examples.
 +
 +Feasibility study, a prototype.
 +
 +===== Prolog_Java =====
 +Podobnie jak powyższe, dla innej grupy :-)
 +
 +[[piw08_prolog_java|Wojciech Leś, Michał Łosiewicz]]
 +
 +===== Prolog_XML =====
 +
 +Zaproponować zestaw predykatów realizujących w SWI prologu budowanie dokumentu XML zgodnego z [[http://​www.swi-prolog.org/​packages/​sgml2pl.html#​sec:​sec-3.1|parserem SWI]].
 +
 +W tej chwili SWI prolog pozwala na wczytanie dokumentu do listy i następnie jej ew. zapis z powrotem w XML.
 +Chodzi o dostarczenie predykatów,​ które będą w stanie wspomóc budowanie w.w. listu od zera, oraz manipulowanie nią.
 +
 +Patrz też [[http://​www.w3.org/​DOM/​|DOM.]]
 +
 +===== Prolog_CodeLib =====
 +:!:
 +
 +Integracja bazy przykładów w Prologu z aiwiki.
 +
 +
 +===== Wiki_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.
 +
 +===== Wiki_LaTeX2Doku =====
 +:!:
 +
 +j.w. ale konwersja latex do formatu wiki.
 +Może pracować offline, t.j. poza wiki.
 +
 +===== Wiki_Search =====
 +Należy wykonać złożony plugin wyszukiwawczy do doku wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc.
 +
 +
 +===== Wiki_Msc =====
 +Generowanie szablonu prac mgr z wiki
 +
 +Opis może być w tabelce, lub nagłówkami.
 +
 +Generowanie może polegać na jakiejś translacji (np. XSLT), lub dostarczeniu sensownego CSS.
 +
 +===== Wiki_Upload =====
 +
 +Wersjonowanie plików w DokuWiki. Przegląd i testowanie aktualnych rozwiązań / zaproponowanie rozwiązania.
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