Subiecte pentru lucrarea de licenţă - 2014 Specializarea: Infomatică (română şi engleză)Informatică !plicată (indiferent de limba în care care este descrisă descrisă tema).
Coordonator: Prof. Prof. dr. dr. Dana Petcu Petcu (
[email protected] [email protected])) Nr
Tema
Detalii De de&voltat o biblioteca care mentine un inde'. plicatie si documentatie descrise la: #ttps:%%i*i.volution.ro%CiprianDorinCraci #ttps:%%i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%T un%Notes%+deas%Tas*Coordin as*Coordin ation,-stem
1
ap!"educe concept and support tec#nolo$ies % Conceptul ap!"educe si te#nolo$iile de suport
Proces ocess s #ier ierarc# arc#ie iess%+er %+erar ar# #ii De de&voltat o solutie care fortea&a ierar#i&area proceselor in /inu'. plicatie si documentatie descrise la: ale proceselor #ttps:%%i*i.volution.ro%CiprianDorinCraci #ttps:%%i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%/inu'Pr un%Notes%+deas%/inu'Proces oces s0ierarc#ies
2e- re retention se services% ,ervicii de retinere a c#eilor
De de&voltat un serviciu care permite utili&area de catre nucleul /inu' a c#eilor cripto$ra3ce. plicatie si documentatie descrise la: #ttps:%%i*i.volution.ro%CiprianDorinCraci #ttps:%%i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%/inu'2 un%Notes%+deas%/inu'2e-"e e-"e tention,ervice4ile,-stem
,emnaturi di$itale%Di$ital di$itale%Di$ital si$natures
De de&voltat un sistem care permite obtinerea unei semnaturi di$itale a unei date. #ttps:%%i*i.volution.ro%CiprianDorinCraci #ttps:%%i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%Distributed un%Notes%+deas%Distributed Di$italNotar-,-stem
6
Tas* coordination s-stems%,isteme s-stems%,isteme de coordonare a sarcinilor
De de&voltat un sistem de coordonare a sarciniilor. sarciniilor. plicatie si documentatie descrise la: #ttps:%%i*i.volution.ro%CiprianDorinCraci #ttps:%%i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%T un%Notes%+deas%Tas*Coordin as*Coordin ation,-stem
7
Netor*in$ utilities for data control% 8tilitare de retea pentru controlul datelor
De de&voltat un utilitar similar cu netcat9 pentru protocolul 0TTP. 0TTP. plicatie si documentatie descrise la: #ttps:%%i*i.volution.ro%CiprianDorinCraci #ttps:%%i*i.volution.ro%CiprianDorinCraciun%Notes%+deas% un%Notes%+deas%ebCat ebCat
;
ana$ementul sistemelor de 3siere distribuite in Cloud
Partea aplicativa: 0adoop
atc# clasice (Condor9 /oad/eveler9 ,/8"9 P>,). plica=ia ar urma să permită utili&atorilor să cree&e9 controle&e ?i distru$ă instan=e ale pac#e 0adoop Te#nolo$ii: Te#nolo$ii: 0adoop9 +> Tivoli9 Tivoli9 /oad/eveler9 bas#9 p-t#on
+nde'area datelor $eo$ra3ce
Partea aplicativa: A+, Data Catalo$: plica=ie%,erver de inde'are a datelor $eo$ra3ce (ima$ini satelitare9 dem!uri9 foto$rame9 /+D") $eoreferen=iate. Te#nolo$ii: Te#nolo$ii: AD/9 pac#e Bac*"abbit9 Bac*"abbit9 pac#e ,olr9 aven9 pac#e C49 <" (clipse/in*)9 Post$resEl Post$resEl ?i PostA+, sau o ba&a de date No,F/ cu facilită=i de inde'are spa=ială.
5
Coordonator: Prof. Prof. dr. dr. Daniela Ga#arie ( d&a#[email protected] ) Nr 1
Tema 'tra$erea in informatiilor din documente (semi)structurate. %CH distiller
/ocali&area entită=ilor speci3cate prin nume în documente te't %Named entit- retrieval
+denti3care pr pro3luri de de utili&atori din mesaMe Titter Titter % Titter user pro3lin$
5
ăsuri de similaritate în anali&a potrivirii după cuvinte c#eie % ,imilarit- measures for *e-ord matc#in$
Detalii Problema: Pornind de la documente (semi)structurate cum sunt de e'em e'empl plu u CH!u CH!uri rile le de tip tip uro uropa pass ss se pune pune prob proble lema ma anal anali& i&ei ei acestora ?i a e'tra$erii informa=iilor de diferite tipuri. Scop Scop lucrar lucrare: e: +denti3carea unor te#nici adecvate de e'tra$ere de informatii informatii din documente documente (semi)stru (semi)structurat cturate e ?i implementa implementarea rea unei aplica=ii aplica=ii de e'tra$ere e'tra$ere a diferitelor diferitelor tipuri de informa=ii informa=ii din CH!uri CH!uri (date de identi3care9 informa=ii privind educa=ia9 competen=e etc.) pro$ramare9 e9 al$oritmi al$oritmi ?i structuri structuri de date9 te#nici te#nici de Cunoștinț Cunoștințe: e: pro$ramar parsare. Instrument: CII%Bava%P-t#on%la ale$ere I instrumente pentru anali&a documentelor te't (pac#e Ti*a9 AT) Problema: +n anali&a automată a e'perti&ei unei persoane într!un anumit domeniu este necesar să se identi3ce co!ocuren=e în documente ale numelui persoanei ?i a unor cuvinte c#eie de interes pentru a putea răspunde la întrebări de tipul Jste Popescu e'pert în BavaKL. 8na dintre prelucrări este identi3carea identi3carea referirilor către o persoană pre&ente într!un set dat de documente. ,tudiull metode metodelor lor de locali locali&ar &are e a numelo numelorr într într!un Scop Scop lucr lucrar are: e: ,tudiu docu docume ment nt99 a meto metode delo lorr de de&a de&amb mbi$ i$ui ui&a &are re ?i a mode modele lelo lorr de cuanti3care a relevan=ei co!ocuren=ei. ,e va implementa o aplica=ie care locali&a referirile la o persoană într!un set de documente ?i va evalua $radul de relevan=ă în raport cu un set de cuvinte c#eie. Cunoștințe: pro$ramare9 al$oritmi ?i structuri de date9 te#nici de parsare9 probabilită=i. Instrument: CII%Bava%P-t#on%la ale$ere I instrumente pentru anali&a documentelor te't (pac#e Ti*a9 AT) Problema: identi3carea de utili&atori cu interese similare pornind de la mesaMe postate pe Titter. Scop lucrare: nali&a comparativă a unor al$oritmi de $rupare a datelor: parti=ionali (e':*eans) ?i ierar#ici (e': al$oritm a$lomerativ simplu) ?i testarea lor in ca&ul $rupării mesaMelor din Titter Titter.. Cunoștințe: pro$ramare9 al$oritmi de $rupare9 te#nici de prelucrare te't Instrument: P-t#on!Titter (#ttps:%%code.$oo$le.com%p%p-t#on!titter%)9 (#ttps:%%code.$oo$le.com%p%p-t# on!titter%)9 ,ci*it!learn (#ttp:%%sci*it!learn.or$%stable%inde'.#tml) Problema: nali&a $radului de potrivire între două seturi de cuvinte c#eie apare frecvent la identi3carea de speciali?ti dintr!un anumit domeniu (de e'emplu pentru a asi$na lucrări unor recen&ori). Scop lucrare: ,tudiul anali&ei similarită=ii între secven=e scurte de cuvinte c#eie sau concepte ?i implementarea unui sistem simplu de asi$nare automată de lucrări (speci3cate printr!un set de cuvinte c#eie) unor recen&ori (pentru care se cunoa?te domeniul de e'perti&ă) Cunoștințe: pro$ramare9 no=iuni fundamentale de probabilită=i ?i statistică9 al$oritmi de căutare anali&a Instrument: Bava%P-t#on I instrumente pentru anali&a documentelor te't (pac#e Ti*a9 AT% P-/ucene)
6
'tra$erea re$ulilor de asociere din date % ssociation "ules inin$
7
l$oritmi pentru plani3carea activită=ilor %l$orit#ms for sc#edulin$
;
Problema: Plani3carea activită=ilor (cursuri9 e'amene9 ture ale asistentelor într!un spital etc) conduce la necesitatea de a re&olva probleme de satisfacere a restric=iilor sau probleme de optimi&are cu restric=ii pentru care e'istă Scop lucrare: ,tudiul unor al$oritmi de plani3care (e'ac=i9 apro'imativi sau (meta)euristici)9 implementarea ?i testarea pentru o problemă concretă de plani3care Cunoștințe: pro$ramare9 al$oritmi ?i structuri de date. Instrument: BavaI
Problema: Pe ima$inile microscopice ale plăcilor de cultură pot 3 Te#nici de prelucrare a vi&uali&ate diferite tipuri de celule. +nteresea&ă în mod particular ima$inilor pentru monitori&area culturilor de distribu=ia spa=ială a acestor tipuri de celule ?i evolu=ia acesteia. Scop lucrare: +denti3carea9 implementarea ?i anali&a unor al$oritmi celule stem
% +ma$e Processin$ for onitorin$ ,tem Cells Cultures
Problema: vnd la dispo&i=ie o ba&ă de date cu tran&ac=ii (o tran&ac=ie poate con=ine lista produselor cumpărate de către un client) se pune problema dacă e'istă produse care sunt frecvent cumpărate simultan (freEuent itemsets). Scop lucrare: +mplementarea ?i studiul comparativ al mai multor variante de al$oritmi de e'tra$ere a re$ulilor de asociere (minimal: două variante ale al$oritmului priori). Cunoștințe: pro$ramare9 al$oritmi ?i structuri de date9 ba&e de date9 no=iuni elementare de data minin$. Instrument: Bava Ie*a
de prelucrare a ima$inilor care să permită e'tra$erea distribu=iei spa=iale a celulelor Cunoștințe: pro$ramare9 al$oritmi ?i structuri de date9 prelucrarea ima$inilor Instrument: CII%Bava%P-t#on%la ale$ere I biblioteci pentru prelucrarea ima$inilor (e':
Problema: ,ecven=ele biolo$ice pot 3 descărcate direct prin +nstrumente pentru accesarea ba&elor de date intermediul serviciilor eb accesibile la NC>+ sau din aplica=ii softare prin intermediul e!utilitarelor (ntre& Pro$rammin$ biolo$ice
% Tools for biolo$ical databases
8tilities). Scop lucrare: nali&a variantelor de acces la ba&ele de date de la NC>+ si implementarea unei interfete simple care sa ilustre&e diferitele variante. Cunoștințe: te#nolo$ii eb9 ba&e de date9 concepte de ba&ă din bioinformatică Instrument: Bava%Perl
Coordonator: Prof. dr. Hiorel Ne$ru ([email protected]) Nr 1
Tema l$oritmi euristici de cautare a) familia O si variante b) cu aplicare în Mocuri: sa#9 $o etc c) propa$are constran$eri d) te#nici #ibride ,istem inteli$ent pentru Mocuri in timp real (A. +u#as&)
Detalii /ucrarea trebuie sa cuprinda: a) ,tudiu teoretic al al$oritmilor euristici de cautare b) Descriere aplicatie. Teste. Comparatii. Deprinderi: +nt. rti3ciala9 l$oritmi +nstrumente: /imbaM de nivel inalt. 8tili&are A8+
ceasta lucrare va repre&enta un sistem inteli$ent (>ot) ce poate sa Moace un Moc in timp real. cest sistem poate 3i considerat un a$ent sau Non!Pla-er C#aracter (NPC) care va 3 oponentul Mucatorului. ,e are in vedere ?i utili&area a$entului creat impotriva altor a$enti sau a$entilor pree'istenti in cadrul Mocului ales. Pentru aceasta lucrare cunostiintele minime%recomandate: ! cunostinte CII ! cunostinte minime limbaMe ba&ate pe scripturi (e': lua9 unrealscript etc.) ! sisteme ba&ate pe a$enti ! cunostinte Mocuri >iblio +an illin$ton9 Bo#n 4un$e ! rti3cial +ntelli$ence for Aames9 ,econd ditionQ9 or$an 2aufmann9 +,>N:R;S1;5;1S le' B. C#ampandard ! + Aame DevelopmentQ9 Ne "iders9 +,>N:R;16R;SS5R
Tutoriale de invatare%sisteme de e!learnin$ cu aplica=ii în matematica9 3&ica9 c#imie9 in$inerie9 etc.
/ucrarea trebuie sa cuprinda: ! Descrierea instruirii asistate de calculator (tutoriale inteli$ente). odele9 metode9 te#nici9 al$oritmi ! Descrierea unei ar#itecturi9 proiectarea unui sistem si proiectarea si implementarea unui prototip cu aplicare in informatica9 matematica9 3&ica9 c#imie9 in$inerie ! Deprinderi: +nteli$enta arti3ciala9 +nterfete $ra3ce +ntrumente: /imbaM obiect9 A8+
5
plicatii ale sistemelor inteli$ente (in stiinte9 economie9 medicina9 drept9 etc)
/ucrarea trebuie sa cuprinda: a) r#itectura sistemelor e'pert. Descrierea unui $enerator de , b) Descrierea unei aplicatii testare si evaluare ! Deprinderi:+nteli$enta rti3cala9 ,isteme 'pert +nstrumente: Bess % Clips % Bade
6
,istem multi!a$ent pentru simularea activitatilor intr!un mediu ambiental. (>. anate9 Todor +vascu)
Descriere: ,cop: "eali&area unui sistem multi!a$ent care sa simule&e reali&area unor activitati intr!un mediu ambiental (casa9 cladire de birouri9 etc.). Pe ba&a activitatilor simulate sistemul va trebui sa stoc#e&e pe ba&a unor sen&ori aUati in mediul simulat (sen&or curent9 sen&or apa9 etc). Datele vor 3 stocate intr!o ba&a de date. ,istemul trebuie sa permita adau$area dinamica a mediilor ambientale (e': adau$are camera9 adau$are cladire ) si a sen&orilor disponibili in aceste medii. ,cenariile $enerate vor 3 salvate intr!un 3sier pentru a putea 3 rulate fara a 3 necesara o
noua de3nire a scenariilor. >iblio$ra3e selectiva: Developin$ ulti!$ent ,-stems it# BD9 4. >ellifemine9 A. Caire9 D. Areenood. Cunostiinte minimale:Bava9 clipse9 BD9 -,F/9 /.
7
plicatie softare pentru administrarea resurselor intr!un mediu cloud (>. anate)
Descriere: ,cop: plicatie softare cu interfata $ra3ca care sa ofere o functionalitate similara cu , ana$ement console ( #ttp:%%as.ama&on.com%console%). plicatia va permite administrarea resurselor (listare instante9 listare ima$ini9 start instanta9 stop instanta9 etc. ) in cadrul mai multor cloud providers ( ma&on9 ucal-ptus9 Cloud,i$ma9 4le'i,cale9 etc. ). >iblio$ra3e selectiva: Cloud pplication rc#itectures: >uildin$ pplications and +nfrastructure in t#e Cloud9 A. "eese. , ana$ement console ( #ttp:%%as.ama&on.com%console% ). ucal-ptus ( #ttp:%%.eucal-ptus.com%eucal-ptus!cloud%documentation ) Cunostiinte minimale:Bava%dobe 4le'9 clipse9 t-pica (#ttp:%%code.$oo$le.com%p%t-pica% )
;
plicatii ba&ate pe sen&ori ! ambient inteli$ent % plicatii cu roboti (plani3care % deplasare printre obstacole) % plicatii embedded (automotive) OTeme recomandate si pentru practica de vara
/ucrarea trebuie sa cuprinda: a) Descrierea sistemului #ardare V softare utili&at b) Descrierea aplicatiei c) Demo Deprinderi: Pro$ramare C%Bava +nstrumente: speci3ce aplicatiei
AP8!>ased +mplementations of D4s for +ntrusion Detection ,-stems (C. Pun$ila)
Description. T#e purpose of t#is stud- is to propose9 anal-&e and pro3le t#e +"9 +9 performance of some of t#e best *non AP8!based implementations of deterministic + 3nite automata used in +D,. Aiven t#e #i$#!number of si$natures e'istin$ in +D, toda-9 it# a #i$#l-!sparsed D4 containin$ tens of millions of nodes or more9 AP8!accelerated implementations reEuire careful resource allocation and eWcient cac#e!localit-. Aoal: 4amiliari&in$ it# data structures9 $rap# t#eor- and formal lan$ua$es usin$ a AP8!based frameor* suc# as C8D or T+ stream processors. "eEuirements: +mplementin$ at least one D4!based9 AP8!accelerated approac# to intrusion detection. >ac*$round: Pattern matc#in$ al$orit#ms9 $rap# t#eor-9 formal lan$ua$es9 data structures9 C8D or T+ stream processor arc#itecture. >iblio: a) Hasiliadis9 A. and +oannidis9 ,.: ArHit-: a massivel- parallel antivirus en$ine. Proceedin$s of t#e 1t# international conference on "ecent advances in intrusion detection ("+DX1S)9 ,prin$er!Herla$ >erlin (S1S) b) Tuc*9 N.9 ,#erood9 T.9 Calder9 >. Har$#ese9 A.: Deterministic
memor-!ecient strin$ matc#in$ al$orit#ms for intrusion detection. rd nnualBoint Conference of t#e + Computer and Communications ,ocieties (+N4
R
emor-!Compression of Deterministic 4inite utomata for +ntrusion Detection ,-stems (C. Pun$ila)
+Description: +ntrusion detection s-stems usin$ D4s involve a ver#i$# number of +"9 +9 states (sometimes in t#e order of tens of millions) durin$ t#e memor-!allocation sta$e9 + #ic# translates into a #u$e amount of memor- resources bein$ used. T#is paper focuses on modern tec#niEues *non for si$ni3cantl- reducin$ memor- usa$e9 b- a fe important factors9 it#out compromisin$ t#e speed si$ni3cantl-9 and proposes some of t#e best a-s for ac#ievin$ a #i$#l- eWcient memor- compression representation of t#e D4s. Aoal: ac*$round: Pattern matc#in$ al$orit#ms9 $rap# t#eor-9 formal lan$ua$es. >iblio: a) G#a9 . and ,a#ni9 ,.: 0i$#l- Compressed #o!Corasic* utomata 4or cient +ntrusion Detection. + ,-mposium on Computers and Communications (+,CC)9 RYS (SS) b) Tuc*9 N.9 ,#erood9 T.9 Calder9 >. Har$#ese9 A.: Deterministic memor-!ecient strin$ matc#in$ al$orit#ms for intrusion detection. rd nnualBoint Conference of t#e + Computer and Communications ,ocieties (+N4ased nti!Hirus pplications. Proceedin$s of 17t# +nternational Conference on Computer Communications and Netor*s (+CCN) (SS;)
1S
,mart Cit- Auide (<. ritoni)
Descrierea mecanismului prin care pot 3 create a plicatii distribuite in Bava. "eali&area unei implementari. Bava9 "+9 al$oritmi distribuiti ,copul acestui proiect este de a de&volta un sistem de asistenta de calatorie pentru persoanele din unicipiul Timisoara. Prototipul softare va 3 de&voltat conform ar#itecturii client Z server : ! 3ecare persoana va dispune de un dispo&itiv mobil ! +P#one9 Poc*etPC9 PD9 etc. ! un server care va furni&a informa[iile necesare clientilor sai. /a 3ecare moment dispo&itivul va cunoaste po&itia sa9 si implicit a persoanei care utili&ea&a dispo&itivul9 in coordonate $eo$ra3ce : latitudine si lon$itudine. sistenta care va 3 furni&ata va consta in urmatorele servicii9 pornind de la cunoasterea e'acta a po&itiei : ! a3sarea po&itiei persoanei in cau&a. ,e va a3sa po&itia sa in termeni de strada si un posibil numar. 8n a$ent ba&at pe re$uli9 (ba&at pe Bess sau C/+P,) se va ocupa de tratarea cererii. ! a3sarea obiectivelor importante din &ona in care se aUa (insitutii sanitar!medicale9 de invatamant9 comerciale9 restaurant9 #otel9 etc). ! a3sarea starii real!time a ve#iculelor de tra3c urban (tramvaie9
autobu&e9 etc). ! utili&atorul va putea face o cerere pentru a putea aMun$e din punctul in care se aUa intr!un alt punct din oras9 utili&and pe cat posibil ve#iculele publice de transport urban. ! a3sarea conditiilor meteorolo$ice. ! a3sarea de informatii de interes turistic. Te#nolo$ii utili&ate: Bava9 >a&e de date9 /9 ndroid P+9 etc.
Coordonator: Conf. dr. Hictoria +ordan ([email protected] ) Nr
Tema
Detalii
1
Cripto$ra3a \i securitatea Pre&entare9 descriere9 compara[ii al$oritmi criptare. +mplementare de al$oritmi de criptare in Bava. re[elelor de calculatoare
Criptosisteme cu c#ei Pre&entare9 descriere9 compara[ii al$oritmi criptare. +mplementare de al$oritmi de criptare in Bava. publice plicatii Bava.
Te#nolo$ii eb utili&ate în Pro$ramare eb si ba&e de date9 P0P9 -,F/%
5
8tili&area te#nolo$iei ,ervlet in $enerarea dinamica a pa$inilor eb
6
Crearea \i publicarea unei Pro$ramare eb9 P0P9 -,F/%
7
De&voltarea aplicatiilor "eali&area unei pa$ini eb dinamice > folosind 0T/9 P0P 0T/9 P0P9 -,Fl si -,F/
;
Pro$ramarea folosind Bava
Te#nolo$ii / utili&ate in "eali&area unui site eb folosind te#nolo$ii / de&voltarea de aplica[ii
R
pelarea metodelor la +mplementarea mecanismului "+ ("emote et#od +nvocation) în distan[ă folosind reali&area unei aplica[ii mecanismul Bava ! "+
1S
Crearea de aplica[ii Descrierea mecanismului prin care pot 3 create a plicatii distribuite in Bava. "eali&area unei implementari. distribuite în Bava
în
B,P9 /e$atura intre 0T/ si B,P9 Bava ,cript
re[ea 8tili&area soc*eturilor în reali&area unei aplica[ii de tip client!server
Bava9 "+9 al$oritmi distribuiti
11
De&voltarea aplicatiilor de plicatie de tip client!server $estiune folosind P#p9 0tml9 C,,9 Bava ,cript9 >D te#nolo$ii eb
1
Tema la ale$erea studentului
Coordonator: Conf. dr. Teodor!4lorin 4orti\ ([email protected])
Nr 1
Tema
eb2it%Aec*o !! customi&ed brosin$
Detalii eb2+T este un proiect care oferă un X
pub%pub
ePub este un standard desc#is pentru e!boo*s9 de&voltat de +DP4. ,copul acestui tip de lucrare este de a e'ploata posibilită=ile ePub pentru a de&volta aplica=ii e!boo* interactive. Pentru aceasta tema sunt acceptate doar teme individuale. Cererea va 3 înso=ită de speci3carea tipului de aplica=ie avuta in vedere9 de preferat orientata spre construirea de cursuri%laboratoare si%sau testarea cuno?tin=elor. Pot 3 acceptate cel mult subiecte.
edia!,erver%Presentati ,copul acestui tip de lucrare este investi$area si construirea de aplica=ii care sa ofere suport pentru streamin$%s#arin$ de 3?iere on!,erver
media9 e'. ba&at pe A,treamer9 "-$el9 Uumotion9 red69 videolan etc. ste necesara si de&voltarea unor aplicatii client9 e'. pentru dispo&itive mobile%smartTH. Pentru aceasta tema sunt acceptate ec#ipe de cate studen=i. Cererea va 3 înso=ită de speci3carea tipului de aplica=ie avuta in vedere. Pot 3 acceptate cel mult subiecte. Cel pu=in unul dintre acestea va oferi suport pentru un Xpresentation serverX.
5
"eactive apps%Pla-] frameor*
Pla-] este un frameor* ba&at pe ,cala%BavaI**a pentru de&voltare de aplica=ii eb scalabile9 ba&ate pe HC. ,copul acestei cate$orii de teme este de a identi3ca si de&volta aplica=ii scalabile si distribuite9 de preferat orientate spre cerin=ele 8HT si%sau ale 4acultă=ii de atematica si +nformatica. Pentru aceasta tema sunt acceptate ec#ipe de 1! studen=i. Cererea va 3 înso=ită de speci3carea tipului de aplica=ie avuta in vedere. Pot 3 acceptate cel mult subiecte.
6
pac#e ,torm!based apps
cest tip de lucrare urmea&ă sa 3e construita in Murul sistemului pac#e ,torm: un sistem pentru Xdistributed realtime computationX. ,copul acestei cate$orii de teme este de a identi3ca si de&volta aplica=ii care necesita suportul pac#e ,torm9 de preferat orientate spre cerin=ele 8HT si%sau ale 4acultă=ii de atematica si +nformatica. Pentru aceasta tema sunt acceptate ec#ipe de 1! studen=i. Cererea va 3 înso=ită de speci3carea tipului de aplica=ie avuta in vedere. Pot 3 acceptate cel mult subiecte. lte biblioteci utili&abile: pac#e 2af*a9 pac#e Camel9 **a.io
7
eb"TC!based apps
Arupul de lucru eb "eal!Time Communication de3ne?te un P+ pentru a facilita comunicarea "eal!Time in brosere eb. ,copul acestui tip de lucrare este de a e'ploata acest P+ (eventual folosind suportul ebrtc.or$%libMin$le) si de a de&volta aplica=ii care presupun comunicarea in timp real la nivel de broser. ,uplimentar9 pot 3 utili&ate facilită=i oferite de 0T/6 Pentru aceasta tema sunt acceptate ec#ipe de 1! studen=i. Cererea va 3 înso=ită de speci3carea tipului de aplica=ie avuta in vedere. Pot 3 acceptate cel mult subiecte.
Coordonator: Conf. dr. Aabriel +strate ( $abriel.istrate@$mail.com)
Nr
Tema
Detalii
1
nali&a e'perimentala a unor al$oritmi de apro'imare
,e vor implementa si evalua al$oritmi de apro'imare cu aMutorul A8"<>+%p-t#on%CII
nali&a e'perimentala a unor al$oritmi pentru re&olvarea problemei satis3abilitatii
,e vor implementa $eneratoare de instante pentru formule propo&itionale. ,e vor evalua aceste formula folosind pro$rame $en minisat9 lin$elin$.
etode ba&ate pe teoria Mocurilor in anali&a retelelor sociale.
,e vor implementa diversi al$oritmi pentru cuanti3carea centralitatii unui nod intr!o retea sociala.
5
"e&olvarea problemei satis3abilitatii cu metode de tip JConUict!driven clause learnin$L (CDC/)
,e va reali&a o sinte&a a utili&arii al$oritmilor de tip CDC/ in solvere pentru problema satis3abilitatii. ,e va implementa un al$oritm propriu care utili&ea&a aceasta metoda.
6
"estrictii re&olvabile ale problemei satis3abilitatii
,e vor implementa concepte precum Jautar*iesL sau Jbac*doorsL care reduc comple'itatea unor instante ale problemei ,T.
7
Concepte si solutii in teoria computationala Mocurilor cooperative.
,e vor discuta si implementa metode pentru $asirea unor solutii Jec#itabileL (valoare ,#aple-9 nucleolus9 etc) in Mocuri cooperative.
;
,e va reali&a o sinte&a a re&ultatelor in domeniu si se va "e&olvarea problemelor propo&itionale cuanti3cate implementa cel putin o metoda de re&olvare a problemelor cu (F>4 Z Euanti3ed boolean constran$eri. formulas)
nali&a e'perimentala a invatarii limbaMelor re$ulate prin e'emple
,e vor implementa si evalua metode ba&ate pe al$oritmul lui n$luin de invatare a limbaMelor re$ulate.
Coordonator: Conf. dr. Cristina indruta ([email protected] )
Nr 1
Tema sistent softare pentru prototiparea intefe[elor aplica[iilor pentru dispo&itive mobile.
Detalii plica[iile pentru dispo&itive mobile sunt aplica[ii puternic interactive. +nterfe[ele dispo&itivelor mobile9 în compara[ie cu interfe[ele des*top \i laptop9 impun restric[ii de dimensiune a ecranului \i oferă e'tensii ale metodelor de preluare a datelor de intrare. ,e va de&volta un instrument softare suport pentru prototiparea interfe[elor $ra3ce ale aplica[iilor adaptat la speci3cul acestora.
,e va studia standardul +4/ ?i se va utili&a limbaMul pentru Prototiparea interac=iunii reali&area prototipului unei aplica=ii interactive. utili&atorului cu sistemul softare folosind +4/ #ttp:%%.ebratio.com%portal%content%en%ifml!standard (+nteraction 4lo odelin$ /an$ua$e). ,tudiu de ca&.
,oftare $eneric pentru reali&are clasi3cări cu criterii multiple.
5
Client A8+ pentru serviciul ,e va studia P+!ul serviciului de autenti3care al platformei
6
ditor A8+ pentru dia$rama de robuste=e.
,e va de&volta un instrument softare suport pentru editarea dia$ramei de robuste=e. ditorul va oferi ?i posibilitatea de a e'porta dia$rama de robustete în diferite tipuri de 3siere.
7
Cadru $eneric pentru alocarea unei resurse.
,e va de&volta un softare reutili&abil9 din cate$oria cadru (frameor*) pentru aplica[ii9 ce să permită de&voltarea de a plica[ii pentru $estionarea alocării de resurse speci3ce.
;
,ite eb pentru cabinet oftalmolo$ic.
,e va de&volta un site eb care sa ofere facilitati $enerale de pro$ramare online a pacientilor9 func=ii speci3ce cabinetelor de oftalmolo$ie ?i func=ii de acces la re&ultate ?i recomandări pentru pacien=ii aUa=i sub suprave$#ere.
sistent softare pentru instruire \i antrenare.
,e va de&volta un instrument softare ce va pre&enta un set de cuno\tin[e fundamentale \i metode de re&olvare caracteristice unui subiect ales \i va oferi un simulator pentru antrenare în re&olvarea de probleme speci3ce subiectului respectiv.
,e va de&volta un softare $eneric pentru reali&are de clasi3cări după criterii multiple. Pro$ramul va permite con3$urarea de clasi3cări pe ba&a seturilor de criterii de clasi3care ?i ponderilor alocate acestora. De asemenea9 va permite con3$urarea reali&arii de clasi3cări pe seturi de date preluate din diferite surse.
Coordonator: /ect.dr. driana Popovici ( [email protected])
Nr crt
Titlu
Descriere
1.
Procesorul Z Creierul calculatorului (T#e Processor Z t#e Computer >rain)
De3nirea procesorului9 preci&area elementelor componente. volutia in timp a procesoarelor. /iderii producatorilor de procesoare. Caracteristici. Comparatii. Principii de functionare. "eali&area unui soft pentru testarea unui procesor.
.
emoria unui sistem de calcul (Computer emor-)
< scurta descriere a evolutiei in timp. De3nitii9 caracteristici ale memoriei. Clasi3cari. 4irme producatoare. Compatibilitate. Testarea memoriei unui sistem de calcul.
.
Dispo&itivele periferice ale unui sistem de calcul (Computer 'ternal Devices)
De3nirea si preci&area rolului acestora. Clasi3carea dispo&itivelor tinand cont de diverse criterii. Tipuri. Descrierea functionalitatii acestora. "eali&area unei aplicatii pentru testarea functionalitatii unui dispo&itiv periferic.
5.
a$istralele unui sistem de calcul (Computer >uses)
De3nirea conceptului. "olul ma$istralelor in cadrul unui sistem de calcul. lementele de3nitorii ale unei ma$istrale. Tipuri de ma$istrale si descrierea acestora.
6.
+nterfete de intrare!iesire (+%< +nterfaces)
De3nirea interfetelor de intrare!iesire. "olul acestora si elementele componente. Clasi3care. Descrierea modului de functionare in functie de tipul de transfer adoptat. Protocol de comunicatie. Proiectarea unei interfete de intrare!iesire. Testare.
7.
Pro$ramare în limbaM de asamblare (ssemblin$ /an$ua$es)
Descrierea unui limbaM de asamblare. vantaMele si de&avantaMele pro$ramării în limbaM de asamblare. "eali&area unei aplicatii care să ilustre&e utilitatea pro$ramării în limbaM de asamblare
;.
Dispo&itive multimedia (ultimedia Devices)
De3nire. Preci&area rolului dispo&itivelor multimedia. Tipuri si descrierea functionalitatii acestora. ari 3rme producatoare.
.
Placa de ba&a Z coloana vertebrala a unui sistem de calcul (ainboard Z t#e Computer >ac*bone)
De3nitie. Principalele elemente componente si descrierea acestora. Compatibilitate cu celelalte componente ale sistemului de calcul. ari 3rme producatoare. ontare. Detectarea defectelor.
R.
0ard!discul unui calculator De3nire. Preci&area rolului sau in cadrul sistemului de calcul. lemente componente. Descrierea functionalitatii. ari 3rme (0ard!dis*s)
producatoare. Detectarea defectelor. etode de recuperare a informatiilor.
Coordonator: /ect. dr. drian Craciun ([email protected]) Nr 1
Tema Computin$ Aroebner >ases
Detalii T#e met#od of Aroebner bases is an al$orit#mic met#od in multivariate pol-nomial rin$s9 introduced b- >runo >uc#ber$er in 1R76. +t #as numerous applications in pol-nomial ideal problems (ideal members#ip9 ideal inclusion)9 solvin$ s-stems of pol-nomial eEuations9 etc. Aroebner bases proved useful in man- domains: al$ebraic $eometr-9 functional anal-sis9 codin$ t#eor-9 cr-pto$rap#-9 pro$ram veri3cation9 s-mbolic summation9 t#eorem provin$9 combinatorics9 $rap# t#eor-. T#e al$orit#m is implemented in man- computer al$ebra s-stems (at#ematica9 aple9 CoCo9 acaula-9 ,in$ular9 etc.). T#e purpose of t#is t#esis is t#e implementation of an al$orit#m for computin$ Aroebner bases. Previous *noled$e: lo$ic9 mat#ematical t#in*in$9 al$ebra9 pro$rammin$ (CII9 C9 or related).
pplications of Aroebner >ases
T#e met#od of Aroebner bases is an al$orit#mic met#od in multivariate pol-nomial rin$s9 introduced b- >runo >uc#ber$er in 1R76. +t #as numerous applications in pol-nomial ideal problems (ideal members#ip9 ideal inclusion)9 solvin$ s-stems of pol-nomial eEuations9 etc. Aroebner bases proved useful in man- domains: al$ebraic $eometr-9 functional anal-sis9 codin$ t#eor-9 cr-pto$rap#-9 pro$ram veri3cation9 s-mbolic summation9 t#eorem provin$9 combinatorics9 $rap# t#eor-. T#e al$orit#m is implemented in man- computer al$ebra s-stems (at#ematica9 aple9 CoCo9 acaula-9 ,in$ular9 etc.). T#e purpose of t#is t#esis is to e'plore possible applications of Aroebner bases (t#eorem provin$ in $eometr-9 solvin$ s-stems of eEuations9 etc.). Previous *noled$e: lo$ic9 mat#ematical t#in*in$9 al$ebra9 computer al$ebra s-stems9 pro$rammin$ (CII9 C9 or at#ematica9 aple9 etc).
/o$ical 4rameor*s
lo$ical frameor* is a formal meta!lan$ua$e for deductive s-stems. T#e primar- tas*s supported in lo$ical frameor*s to var-in$ de$rees are O speci3cation of deductive s-stems9 O searc# for derivations it#in deductive s-stems9 O meta!pro$rammin$ of al$orit#ms pertainin$ to deductive s-stems9 O provin$ meta!t#eorems about deductive s-stems. T#e purpose of t#esis is t#e stud- of t#e formalism and its applications.
5
0i$#er
0i$#er!order uni3cation is t#e problem: $iven an eEuation t ^ u containin$ free variables9 is t#ere a solution substitution _si$ma` suc# t#at t_si$ma` and u_si$ma` #ave t#e same normal formK T#e terms are dran from t#e simpl- t-ped lambda calculus. 0i$#er order matc#in$ is t#e particular instance: #en t#e term u is closed9 can t be pattern matc#ed to uK lt#ou$# #i$#er!order uni3cation is undecidable (even if free variables are onl- second!order)9 #i$#er!order matc#in$ as conMectured to be decidable b- 0uet. T#e aim of t#is t#esis is to stud- t#e t#eoretical foundations and to implement #i$#er order uni3cation%matc#in$9 and appl- t#e implementation in relevant e'amples.
6
Hisuali&ation met#ods for lar$e libraries of mat#ematical *noled$e
T#ere are several formali&e mat#ematical *noled$e bases available (e.$. t#e i&ar librar-9 0/). T#ere are mancomputer!supported s-stems for doin$ mat#ematics. et t#ese #ad little impact t#e a- mat#ematicians or*. T#is #as partl- to do it# t#e fact t#at t#ese s-stems are #ard to use. T#e aim of t#is t#esis is to investi$ate tec#niEues to ma*e lar$e *noled$e bases of mat#ematics easier to navi$ate: de3ne and implement (visual) tools to navi$ate%e'plore suc# *noled$e bases.
7
bstract ,tate ac#ines and pplications (1! t#eses)
T#e bstract ,tate ac#ine (,) ProMect (formerl- *non as t#e volvin$ l$ebras ProMect) as started b- uri Aurevic# as an attempt to brid$e t#e $ap beteen formal models of computation and practical speci3cation met#ods. T#e , t#esis is t#at an- al$orit#m can be modeled at its natural abstraction level b- an appropriate ,. >ased upon t#is t#esis9 members of t#e , communit- #ave sou$#t to develop a met#odolo$- based upon mat#ematics #ic# ould allo al$orit#ms to be modeled naturall- t#at is9 described at t#eir natural abstraction levels. T#e purpose of t#is t#esis is to investi$ate and use in practical e'amples t#e concept of ,s.
;
2!frameor* and its applications (1! t#eses)
2 is a rerite!based e'ecutable semantic frameor* in #ic# pro$rammin$ lan$ua$es9 t-pe s-stems and formal anal-sis tools can be de3ned usin$ con3$urations9 computations and rules. Con3$urations or$ani&e t#e state in units called cells9 #ic# are labeled and can be nested. Computations carr- computational meanin$ as special nested list structures seEuentiali&in$ computational tas*s9 suc# as fra$ments of pro$ram. Computations e'tend t#e ori$inal lan$ua$e abstract s-nta'. 2 (rerite) rules ma*e it e'plicit #ic# parts of t#e term t#e- read!onl-9 rite!onl-9 read!rite9 or do not care about. T#is ma*es 2 suitable for de3nin$ trul- concurrent lan$ua$es even in t#e presence of s#arin$.
Computations are li*e an- ot#er terms in a reritin$ environment: t#e- can be matc#ed9 moved from one place to anot#er9 modi3ed9 or deleted. T#is ma*es 2 suitable for de3nin$ control!intensive features suc# as abrupt termination9 e'ceptions or call%cc. T#e purpose of t#is t#esis is to investi$ate and use in practical e'amples t#e concepts from 2.
R
utomated desi$n and optimisation of di$ital circuits Topics proposed bstudents
Propositional lo$ic can be used to desi$n and optimise di$ital circuits. T#e purpose of t#is t#esis is to stud- and implement met#ods for t#e desi$n9 optimisation9 visualisation of di$ital circuits. + ill also accept to supervise topics proposed b- students9 provided t#at +Xm in position to do so9 i.e. to pics covered are lo$ic9 lo$ic pro$rammin$9 constraint solvin$9 t#eorem provin$9 computer al$ebra.
Coordonator: /ect. dr. ,telian i#ala\ (smi#[email protected]) Nr
Tema
Detalii Aiven a !connected planar $rap#9 $enerate a $rap#ml 3le #ic# describes a conve' drain$ of t#e $rap#. /an$ua$es: C%Bava%CII9 at#ematica
1
T#e implementation of an al$orit#m for t#e conve' drain$ of a planar $rap#.
T#e pro$ram ill $enerate (randoml- or in a prede3ned a-) planar Planar trian$ulations trian$ulations and ill compute t#eir normali&ed c#romatic $eneration and t#e pol-nomial. /an$ua$es: C%Bava normali&ed form of t#eir c#romatic pol-nomials
Bava implementation of t#e Di$ital ,i$nature ,tandard
5
CII implementation of nd to end implementation of D,, usin$ t#e CII pro$rammin$ lan$ua$e. t#e Di$ital ,i$nature ,tandard
6
Wcient implementation +mplement an , tool usin$ a CII user interface and an assembler implementation of t#e al$orit#m. of t#e dvanced ncr-ption ,tandard usin$ CII and ssembler
7
Wcient implementation +mplement a ,0! tool usin$ a CII user interface and an assembler implementation of t#e al$orit#m. of ,ecure 0as# l$orit#m version usin$ CII nd ssembler
;
Ternar- representations and operations on rooted trees
Ternar- representations of trees are succinct representations of rooted trees alloin$ eWcient operations on trees. T#e $oal of t#e application is to convert classical tree representations into ternarrepresentations and to implement basic operations on trees.
Personal eb site implemented in 0T/6
Create a personal eb site usin$ t#e novelties in 0T/6
nd to end implementation of D,, usin$ t#e Bava pro$rammin$ lan$ua$e.
Coordonator: /ect. dr. ircea arin ([email protected]) Nr
Tema
Detalii
1
"e&olvarea sistemelor de ecuatii in teorii descrise cu sisteme de rescriere
!uni3carea (re&olvarea automata a ecuatiilor in o teorie ecuationala ) este o te#nica fundamentala in rationamentul automati&at. 8n ca& special frecvent intalnit este cel in care este un sistem conUuent de re$uli de rescriere. +n acest ca& poate 3 folosita metoda de la&- narroin$ pentru a aUa toate solutiile sistemului de ecuatii. ceasta lucrare va consta din: 1) Descrierea si implementarea metodei de la&- narroin$ pentru re&olvarea sistemelor de ecuatii in teorii descrise cu sisteme conUuente de rescriere. ) ,tudiul proprietatilor metodei de calcul9 precum corectitudine (sunt corecte toate raspunsurile calculateK) si completitudine (se calculea&a toate solutiileK) ) plicatii9 e'emple.
+mplementarea unui sistem reactiv ba&at pe evaluare lenesa
valuarea lenesa este un model avansat de calcul in pro$ramarea functionala care evaluea&a e'presii doar atunci cand acestea devin necesare pentru obtinerea unui re&ultat 3nal. Printre altele9 acest mod de calcul permite lucrul cu Uu'uri si structuri in3nite de date9 si are aplicatii remarcabile in implementarea sistemelor reactive. ,copul acestei te&e este implementarea unui sistem reactiv9 precum un editor $ra3c ba&at pe evenimente (tastatura9 mouse) intr!un limbaM de pro$ramare functionala care poate efectua evaluari lenese9 precum 0as*ell.
plicatii ale sistemelor multia$ent pentru re&olvarea distribuita cooperativa a problemelor
"e&olvarea distribuita cooperativa a problemelor consta din etape: (1) descompunerea problemei in subprobleme () re&olvarea ubproblemelor de catre a$enti individuali () sinte&a solutiilor problemei initiale din solutiile subproblemelor. /ucrarea va trebui sa contina: (1) o descriere a unei ar#itecturi multia$ent pentru re&olvarea distribuita cooperativa a problemelor () Descrierea unei aplicatii: testare si evaluare Deprinderi: +nteli$enta arti3ciala9 sisteme multia$ent +nstrumente: Bava9 Bade
5
Traducerea problemelor $eometrice in descrieri al$ebrice (ecuatii Aeometrie si%sau inecuatii liniare) care descriu proprietatile obiectelor computationala. $eometrice in plan sau spatiu9 permite demonstrarea lor cu aMutorul Demonstrarea automata metodelor de calcul simbolic. 'emple tipice sunt metoda >a&elor a teoremelor Aroebner9 metoda lui u9 si Descompunerea l$ebrica Cilindrica9 $eometrice. care operea&a cu descrieri polinomiale ale obiectelor $eometrice. ,copul acestei lucrari este descrierea si implementarea unui sistem de demonstrare automata a teoremelor. /ucrarea va trebui sa contina: (1) o descriere a ar#itecturii $enerale sistemului () un translator al unei probleme descrise $eometric (e$alitate de se$mente9 apartenenta unui punct la o dreapta9 etc.) in descrieri polinomiale () apelul unei metode al$ebrice de deci&ie (de e'.9 ba&e Aroebner) pentru demonstrarea al$ebrica a problemei. (+mplementari e3ciente ale metodelor al$ebrice e'ista in maMoritatea sistemelor de calcul simbolic: aple9 at#ematica9
etc.) (5) +nterpretarea $eometrica a re&ultatului obtinut. (6) 'emple ilustrative Deprinderi: cunostinte de ba&a din $eometria analtica (cum se pot e'prima proprietati $eometrice ca ecuatii intre coordonate din spatiul carte&ian)9 familiari&are dcu un sistem de calcul al$ebri (de e'.9 aple sau at#ematica) suW' tree is a data structure describin$ t#e internal structure of a strin$ in a manner t#at enables to solve eWcientl- several strin$ related problems: e'act strin$ matc#in$9 t#e substrin$ problem for a database of patterns9 3ndin$ t#e lon$est common substrin$ of to or more strin$s9 reco$ni&in$ DN contamination9 etc. T#e purpose of t#is or* is to: (1) a*e an overvie of t#e ell!*non linear!time construction al$orit#ms of suW' trees (8**onen9 erner9 cCrei$#t) () Describe some applications: testin$ and evaluation
6
,uW' trees and t#eir uses
7
eb application for mat# problem solvin$
;
Completion of term reritin$
Terminatin$ term rerite s-stems (T",) are a poerful and convenient tool for specif-in$ eEuational t#eories in #ic# t#e values of e'pressions are identi3ed it# t#eir normal forms (t#at is9 e'pressions t#at can not be reritten an- more). desirable propert- of terminatin$ T", is confuence9 #ic# $uarantees t#at ever- e'pression #as a uniEue normal form.
/o$ic pro$rammin$ it# user!de3ned searc# strate$ies
+n /o$ic Pro$rammin$9 pro$rams consist of rules and facts describin$ 0T t#e user *nos9 and Eueries are ansered b- a built!in strate$- #ic# performs an e'#austive searc# for all ansers.
Coordonator: /ect. dr. Daniel Pop ([email protected]) Nr 1
Tema clipse "ic# Client Platform
Detalii -
-
-
-
+denti3carea automata a sabloanelor de proiectare in cod open!source
De&voltarea aplicatie eb de tip JautostopL virtual
clipse "CP este o platforma care permite de&voltatorilor sa cree&e aplicatii des*top e'tensibile9 modulare folosind platforma clipse ,cop: ,tudiu de te#nolo$ie cu aplicatii practice
1. +denti3carea sabloanelor de proiectare intr!o ba&a de cod e'istent este un pas important inspre o intele$ere cat mai buna a codului9 pentru o mentenanta de calitate in viitor . ,cop: utili&area uneltelor pentru anali&a automata de cod si identi3carea automata de sabloane .
-
-
Cerinte: administrarea utili&atorilor9 inre$istrare ruta (plecare!destinatie)9 inscriere pentru o ruta etc. ,cop: +nvatarea bibliotecii n$ularB, de&voltand o aplicatie practica
Coordonator: /ect. dr. Cosmin >onc#is (cosmin.bonc#is@e!uvt.ro) N r
Tema
1 Colorarea $rafurilor folosind partitii de multimii%multiseturi
Detalii ,e vor anali&a al$oritmi de partitionare a multimilor si se va anali&a folosirea partitiilor de multiseturi pentru problema colorarii $rafurilor.
8tili&area unor structuri de ,e vor implementa diferiti al$oritmi de compresie cu aMutorul date potrivite in al$oritmi alborilor spla-% cu su3'e. ,e vor face anali&e comparative cu alte structuri de date pentru diverse surse de informatii. de compresie. Boculete pentru ndroid%i<,
+mplementarea unor mini Moculete pentru antrenarea memoriei pentru ndroid%i<,
5 Boculete educative pentru ndroid%i<,
+mplementarea unor mini Moculete educative si interesante pentru copii prescolari. plicatia va 3 implementata pentru sisteme mobile: ndroid%i<,.
6 Heri3care statica a codului +mplementarea unui anali&or de cod capabil sa anali&e&e calitatea
unui cod sursa in raport cu standardele de pro$ramare (cum sunt +," pentru limbaMul C) plicatia trebuie sa 3e capabila sa $enere&e statistici in urma anali&elor si sa poata 3 inte$rata intr!o intefata $ra3ca.
7 +mplementarea unei aplicatii pentru mana$ementul memoriei.
,e va implementa o aplicatie (un fel de $arba$e collector) pentru anali&a memoriei #eap. ,e vor marca &onele folosite si dealoca &onele nefolosite.
; Aenereare nerepetitiva a partitiilor de multimi si multiseturi
Descrierea9 implementarea si anali&area unui al$oritm pentru $enerarea unica a tuturor partitiilor de multimi si multiseturi. plicatie directa $enerarea tuturor testelor posibile pentru te stare automata a unui cod sursa.
Coordonator: /ect.dr. Ciprian Pun$ilă ([email protected] ) Nr
Tema
Detalii
1
utonomous robot movement
+mplementarea unui robot autonom folosind "aspberr-Pi ca ?i suport9 folosind diverse tipuri de sen&ori monta=i pe ace?tia9 capabil să se mi?te sin$ur9 să detecte&e obstacole ?i să le e vite9 etc. Cuno?tin=e necesare: structuri de date avansate9 al$oritmică
"obot obstacle detection and anal-sis in a cooperative environment
+mplementarea unui sistem de detec=ie ?i anali&ă a obstacolelor pentru mai mul=i robo=i9 folosind diverse tipuri de sen&ori monta=i pe ace?tia ?i diverse mecanisme cooperative.
D-namic robot locali&ation and cooperation
+mplementarea unui mecanism softare pentru auto!or$ani&area unor robo=i într!un spa=iu tridimensional (e.$. orientare9 re$ăsire reciprocă9 $rupare9 cooperare9 etc.) folosind diverse tipuri de sen&ori monta=i pe ace?tia.
5
+mplementation of pattern!matc#in$ al$orit#ms on t#e AP8
+mplementarea unuia sau mai multor al$oritmi pentru re$ăsirea de ?abloane (te'te) folosind pro$ramarea AP8 (C8D sau
6
+mplementation of multiple pattern!matc#in$ al$orit#ms on t#e AP8
+mplementarea unuia sau mai multor al$oritmi pentru re$ăsirea de ?abloane (te'te) folosind al$oritmi consacra=i (#o!Corasic*9 Comment&!alter9 u!anber9 etc.) pe AP8 (C8D sau
7
+mplementation of similarit- measures on t#e AP8
+mplementarea a cel pu=in măsuri de similitudine folosind pro$ramarea AP8 (C8D sau
;
+mplementarea a cel pu=in un al$oritm de compresie a datelor +mplementin$ data compression on t#e AP8 folosind pro$ramarea AP8 (C8D sau
pro3l de performan=ă versus varianta sin$le!core CP8. Cuno?tin=e necesare: al$oritmi de compresie (0uman9 /empel!Giv9 etc.)9 structure de date avansate9 arbori9 calcul paralel
+mplementarea unui sistem softare pentru controlul unui robot otion control of a "aspberr-Pi!based robot ba&at pe platforma "aspberr-Pi folosind recunoa?terea $esturilor prin intermediul sen&orului icrosoft 2inect. t#rou$# $estures usin$ icrosoft 2inect
Pentru alte teme pute=i lua le$atura direct cu următorii profesori coordonatori: Conf.dr. va 2asli* *asli*@info.uvt.ro /ect. dr. i#ai C#is c#is@mat#.uvt.ro /ect. dr. Calin ,andru [email protected] /ect dr. P
