Różnice

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

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:miw:piw2008_tematy [2008/04/12 16:09]
gjn
pl:miw:piw2008_tematy [2019/06/27 15:50] (aktualna)
Linia 3: Linia 3:
 Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008. Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008.
  
-Dodatkowe informacje organizacyjne znajdują się tu: [[piw2008_organizacja]].+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
  
-===== Doku2LaTeX ===== 
-Zrealizować konwerter/​plugin dla/do DokuWiki, który ze strony Wiki generuje dokument LaTeX. 
  
-Chodzi o obsługę podstawowej składni, w tym:  +===== UML2ARD ​===== 
-  * {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.+
  
-===== AIwikiSearch ===== +Stworzyć arkusz XSLT przeprowadzający translację ​diagramów aktywności UML  
-Należy wykonać złożony plugin wyszukiwawczy ​do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc.+[[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]].
  
-===== UML2ARD ​===== +===== ARD2UML ​===== 
-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. j.w. tylko w 2. stronę, t.j. generowanie XMI z ARDML.
 +
  
 ===== XMI_ARD ===== ===== XMI_ARD =====
 +:!:
 +
 Model ARD w XMI z uwzględnieniem MOF. Model ARD w XMI z uwzględnieniem MOF.
 +
  
 ===== UML2XTT ===== ===== UML2XTT =====
-Stworzyć arkusz XSLT przeprowadzający translację z diagramów aktywności UML (z góry zadanym formaciezapisanych w postaci modelu [[hekate:​XMI]],​ do formatu [[hekate:​hekate_markup_language|XTTML]].+:!: 
 + 
 +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 ===== ===== XTT2UML =====
 +:!:
 +
 j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML. j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML.
  
-===== WikiMsc ​===== +===== XTT_Serialization ​===== 
-generowanie szablonu prac mgr z wiki+Try to propose an effective encoding of XTT with UML and Java.
  
  
 ===== NXTAPItest ===== ===== NXTAPItest =====
-testowanie ​API dla NXT w Prologu.+:!: 
 + 
 +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 ===== ===== NXTcompile =====
 ewaluacja możliwości uruchamiania kodu prologu bezpośrednio na mindstorms, np.: 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 kodu bajtowego NXT [[http://​mindstorms.lego.com/​Overview/​NXTreme.aspx|File and Bytecode Reference]]
-  * kompilacja do Java bytecode+  * 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 =====
 +:!:
  
-===== CodeLib ===== 
-Integracja bazy przykładów w Prologu z aiwiki. 
- 
- 
-===== NXTserialProlog ===== 
 Opracowanie niskopoziomowych predykatów do kontrolowania MindstormsNXT w Prologu przez port szeregowy (USB/BT). Opracowanie niskopoziomowych predykatów do kontrolowania MindstormsNXT w Prologu przez port szeregowy (USB/BT).
  
Linia 72: Linia 76:
   * 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   * 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   * 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.
pl/miw/piw2008_tematy.1208009351.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)
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