[[
✎ pl:miw:piw2008_tematy
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== Projekty PIW2008 ====== Tematy dodatkowych projektów dla studentów 4. roku Inf. Stos 2008. Dodatkowe informacje organizacyjne znajdują się tu: [[piw2008_organizacja]]. ===== 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. ===== AIwikiSearch ===== Należy wykonać złożony plugin wyszukiwawczy do ai wiki, gdzie można precyzyjnie zadawać wyrażenia, kryteria, etc. ===== 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. ===== XMI_ARD ===== Model ARD w XMI z uwzględnieniem MOF. ===== UML2XTT ===== 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|XTTML]]. ===== XTT2UML ===== j.w. tylko w 2. stronę, t.j. generowanie XMI z XTTML. ===== WikiMsc ===== generowanie szablonu prac mgr z wiki ===== NXTAPItest ===== testowanie API dla NXT w Prologu. ===== 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 ===== 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). 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 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. Z: Paweł Muchacki (4IS) XTT_Serialization :!: Try to propose an effective encoding of XTT with UML and Java. 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 o Eclipse: EMF, GEF resources (GEF, http://www.eclipse.org/articles/Article-GEF-editor/gef-schema-editor.html), o 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 BizRulesVocabularies :!: 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 o relation between BPMN and UML, e.g. see Use of UML and Model Transformations for Workflow Process Definitions o how could we use Business_Process_Execution_Language o the general idea of workflow and tools such as yawl is worth digging in... o 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
pl/miw/piw2008_tematy.1208009836.txt.gz
· ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry