Subiecte pentru lucrarea de licen - 2014

Specializarea: Infomatic (romn i englez)Informatic !plicat (indiferent de limba

n care este descris tema).
Coordonator: Prof. dr. Dana Petcu (petcu@info.uvt.ro)
Nr Tema Detalii
1 ap!"educe concept and
support tec#nolo$ies %
Conceptul ap!"educe si
te#nolo$iile de suport
De de&voltat o biblioteca care mentine un inde'.
(plicatie si documentatie descrise la:
#ttps:%%)i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%Tas*Coordin
ation,-stem
. Process #ierarc#ies%+erar#ii
ale proceselor
De de&voltat o solutie care fortea&a ierar#i&area proceselor in /inu'.
(plicatie si documentatie descrise la:
#ttps:%%)i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%/inu'Proces
s0ierarc#ies
1 2e- retention 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%CiprianDorinCraciun%Notes%+deas%/inu'2e-"e
tention,ervice4ile,-stem
5
,emnaturi 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%CiprianDorinCraciun%Notes%+deas%Distributed
Di$italNotar-,-stem
6 Tas* coordination
s-stems%,isteme de
coordonare a sarcinilor
De de&voltat un sistem de coordonare a sarciniilor.
(plicatie si documentatie descrise la:
#ttps:%%)i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%Tas*Coordin
ation,-stem
7 Net)or*in$ utilities for
data control% 8tilitare de
retea pentru controlul
datelor
De de&voltat un utilitar similar cu netcat9 pentru protocolul 0TTP.
(plicatie si documentatie descrise la:
#ttps:%%)i*i.volution.ro%CiprianDorinCraciun%Notes%+deas%:ebCat
; ana$ementul sistemelor
de 3siere distribuite in
Cloud
Partea aplicativa: 0adoop <n Demand: (plica=ie de mana$ement a
sistemului 0adoop n cadrul sistemelor de plani3care de tip >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: 0adoop9 +> 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: AD(/9 (pac#e Bac*"abbit9 (pac#e ,olr9 aven9 (pac#e
CC49 <" (Dclipse/in*)9 Post$resEl ?i PostA+, sau o ba&a de date
No,F/ cu facilit=i de inde'are spa=ial.
Coordonator: Prof. dr. Daniela Ga#arie (d&a#arie@info.uvt.ro)
Nr Tema Detalii
1 D'tra$erea informatiilor
din documente
(semi)structurate.
%CH distiller
Problema: Pornind de la documente (semi)structurate cum sunt de
e'emplu CH!urile de tip Duropass se pune problema anali&ei
acestora ?i a e'tra$erii informa=iilor de diferite tipuri.
Scop lucrare: +denti3carea unor te#nici adecvate de e'tra$ere de
informatii din documente (semi)structurate ?i implementarea unei
aplica=ii de e'tra$ere a diferitelor tipuri de informa=ii din CH!uri
(date de identi3care9 informa=ii privind educa=ia9 competen=e etc.)
Cunotine: pro$ramare9 al$oritmi ?i structuri de date9 te#nici de
parsare.
Instrument: CII%Bava%P-t#on%la ale$ere I instrumente pentru
anali&a documentelor te't ((pac#e Ti*a9 A(TD)
. /ocali&area entit=ilor
speci3cate prin nume n
documente te't
%Named entit- retrieval
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 rspunde la ntrebri de tipul JDste Popescu e'pert
n BavaKL. 8na dintre prelucrri este identi3carea referirilor ctre o
persoan pre&ente ntr!un set dat de documente.
Scop lucrare: ,tudiul metodelor de locali&are a numelor ntr!un
document9 a metodelor de de&ambi$ui&are ?i a modelelor 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.
Cunotine: 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 A(TD)
1 +denti3care pro3luri de
utili&atori din mesaMe
T)itter
% T)itter user pro3lin$
Problema: identi3carea de utili&atori cu interese similare pornind de
la mesaMe postate pe T)itter.
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 $ruprii mesaMelor din
T)itter.
Cunotine: pro$ramare9 al$oritmi de $rupare9 te#nici de prelucrare
te't
Instrument: P-t#on!T)itter
(#ttps:%%code.$oo$le.com%p%p-t#on!t)itter%)9 ,ci*it!learn
(#ttp:%%sci*it!learn.or$%stable%inde'.#tml)
5 suri de similaritate n
anali&a potrivirii dup
cuvinte c#eie
% ,imilarit- measures for
*e-)ord matc#in$
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 lucrri 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 lucrri (speci3cate printr!un set de cuvinte
c#eie) unor recen&ori (pentru care se cunoa?te domeniul de
e'perti&)
Cunotine: pro$ramare9 no=iuni fundamentale de probabilit=i ?i
statistic9 al$oritmi de cutare
Instrument: Bava%P-t#on I instrumente pentru anali&a
documentelor te't ((pac#e Ti*a9 A(TD% P-/ucene)
6 D'tra$erea re$ulilor de
asociere din date
% (ssociation "ules inin$
Problema: (vNnd la dispo&i=ie o ba& de date cu tran&ac=ii (o
tran&ac=ie poate con=ine lista produselor cumprate de ctre un
client) se pune problema dac e'ist produse care sunt frecvent
cumprate 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).
Cunotine: pro$ramare9 al$oritmi ?i structuri de date9 ba&e de
date9 no=iuni elementare de data minin$.
Instrument: Bava I:e*a
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
Cunotine: pro$ramare9 al$oritmi ?i structuri de date.
Instrument: BavaI<ptaPlanner (#ttp:%%))).optaplanner.or$%)
; Te#nici de prelucrare a
ima$inilor pentru
monitori&area culturilor de
celule stem
% +ma$e Processin$ for
onitorin$ ,tem Cells
Cultures
Problema: Pe ima$inile microscopice ale plcilor de cultur pot 3
vi&uali&ate diferite tipuri de celule. +nteresea& n mod particular
distribu=ia spa=ial a acestor tipuri de celule ?i evolu=ia acesteia.
Scop lucrare: +denti3carea9 implementarea ?i anali&a unor al$oritmi
de prelucrare a ima$inilor care s permit e'tra$erea distribu=iei
spa=iale a celulelor
Cunotine: 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': <penCH9 +ma$eB9 ,ci*it!+ma$e)
@ +nstrumente pentru
accesarea ba&elor de date
biolo$ice
% Tools for biolo$ical
databases
Problema: ,ecven=ele biolo$ice pot 3 descrcate direct prin
intermediul serviciilor )eb accesibile la NC>+ sau din aplica=ii
soft)are prin intermediul e!utilitarelor (Dntre& Pro$rammin$
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.
Cunotine: te#nolo$ii )eb9 ba&e de date9 concepte de ba& din
bioinformatic
Instrument: Bava%Perl
Coordonator: Prof. dr. Hiorel Ne$ru (vne$ru @info.uvt.ro)
Nr Tema Detalii
1 (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
/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+
. ,istem inteli$ent pentru
Mocuri
in timp real
(A. +u#as&)
(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 ! P(rti3cial +ntelli$ence for Aames9
,econd DditionQ9
or$an 2aufmann9 +,>N:R;@S1.1;5;11S
(le' B. C#ampandard ! P(+ Aame DevelopmentQ9 Ne) "iders9
+,>N:R;@16R.;1SS5R
1 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 ,D
b) Descrierea unei aplicatiiT testare si evaluare
! Deprinderi:+nteli$enta (rti3cala9 ,isteme D'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# B(DD9 4. >ellifemine9 A. Caire9
D. Areen)ood.
Cunostiinte minimale:Bava9 Dclipse9 B(DD9 -,F/9 C/.
7 (plicatie soft)are pentru
administrarea resurselor
intr!un mediu cloud
(>. anate)
Descriere:
,cop: (plicatie soft)are cu interfata $ra3ca care sa ofere o
functionalitate similara cu (:, ana$ement console
( #ttp:%%a)s.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 Ducal-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:%%a)s.ama&on.com%console% ).
Ducal-ptus
( #ttp:%%))).eucal-ptus.com%eucal-ptus!cloud%documentation )
Cunostiinte minimale:Bava%(dobe 4le'9 Dclipse9 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 #ard)are V soft)are utili&at
b) Descrierea aplicatiei
c) Demo
Deprinderi: Pro$ramare C%Bava
+nstrumente: speci3ce aplicatiei
@ AP8!>ased
+mplementations
of D4(s 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 +D9 performance of some of t#e best *no)n
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 frame)or* 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 ,.: Ar(Hit-: a massivel- parallel
antivirus en$ine. Proceedin$s of t#e 11t# international conference
on "ecent advances in intrusion detection ("(+DX1S)9
,prin$er!Herla$ >erlin
(.S1S)
b) Tuc*9 N.9 ,#er)ood9 T.9 Calder9 >. Har$#ese9 A.: Deterministic
memor-!ecient strin$ matc#in$ al$orit#ms for intrusion detection.
.1rd (nnualBoint Conference of t#e +DDD Computer and
Communications ,ocieties (+N4<C<)9 59 .7.@Y.71R (.SS5)
c) G#a9 C. and ,a#ni9 ,.: 0i$#l- Compressed (#o!Corasic*
(utomata 4or Dcient +ntrusion Detection. +DDD ,-mposium on
Computers and Communications (+,CC)9
.R@!1S1 (.SS@)
R emor-!Compression
of Deterministic 4inite
(utomata for +ntrusion
Detection ,-stems
(C. Pun$ila)
+Description: +ntrusion detection s-stems usin$ D4(s involve a ver-
#i$# number of +"9 +D9 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 *no)n 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 D4(s.
Aoal: <ptimi&in$ memor- usa$e of deterministic 3nite automata in
+D,.
"eEuirements: +mplementin$ one or more D4( mor-!compression
tec#niEues for net)or* or antivirus +D,.
>ac*$round: Pattern matc#in$ al$orit#ms9 $rap# t#eor-9 formal
lan$ua$es.
>iblio:
a) G#a9 C. and ,a#ni9 ,.: 0i$#l- Compressed (#o!Corasic*
(utomata 4or Dcient +ntrusion Detection. +DDD ,-mposium on
Computers and Communications (+,CC)9 .R@Y1S1 (.SS@)
b) Tuc*9 N.9 ,#er)ood9 T.9 Calder9 >. Har$#ese9 A.: Deterministic
memor-!ecient strin$ matc#in$ al$orit#ms for intrusion detection.
.1rd (nnualBoint Conference of t#e +DDD Computer and
Communications ,ocieties (+N4<C<)9 59 .7.@Y.71R (.SS5)
c) /ee9 T.0.: Aenerali&ed (#o!Corasic* (l$orit#m for ,i$nature
>ased (nti!Hirus (pplications. Proceedin$s of 17t# +nternational
Conference on Computer Communications and Net)or*s (+CCN)
(.SS;)
1S ,mart Cit- Auide
(<. (ritoni)
Descrierea mecanismului prin care pot 3 create aplicatii 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 soft)are va 3 de&voltat conform
ar#itecturii client Z server :
! 3ecare persoana va dispune de un dispo&itiv mobil ! +P#one9
Poc*etPC9 PD(9 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 C/9 (ndroid (P+9 etc.
Coordonator: Conf. dr. Hictoria +ordan (iordan@info.uvt.ro)
Nr Tema Detalii
1 Cripto$ra3a \i securitatea
re[elelor de calculatoare
Pre&entare9 descriere9 compara[ii al$oritmi criptare.
+mplementare de al$oritmi de criptare in Bava.
. Criptosisteme cu c#ei
publice (plicatii Bava.
Pre&entare9 descriere9 compara[ii al$oritmi criptare.
+mplementare de al$oritmi de criptare in Bava.
1 Te#nolo$ii )eb utili&ate n
reali&area de aplica[ii de
comer[ electronic
Pro$ramare :eb si ba&e de date9 P0P9 -,F/%<racle
5 8tili&area te#nolo$iei
,ervlet in $enerarea
dinamica a pa$inilor :eb
B,P9 /e$atura intre 0T/ si B,P9 Bava ,cript
6 Crearea \i publicarea unei
pa$ini pe +nternet
Pro$ramare :eb9 P0P9 -,F/%<racle 9 Bava ,cript
7 De&voltarea aplicatiilor
:D> folosind C0T/9 P0P
si -,F/
"eali&area unei pa$ini :eb dinamice
C0T/9 P0P9 -,Fl
; Pro$ramarea n re[ea
folosind Bava
8tili&area soc*eturilor n reali&area unei aplica[ii de tip client!server
@ Te#nolo$ii C/ utili&ate in
de&voltarea de aplica[ii
"eali&area unui site :eb folosind te#nolo$ii C/
R (pelarea metodelor la
distan[ folosind
mecanismul Bava ! "+
+mplementarea mecanismului "+ ("emote et#od +nvocation) n
reali&area unei aplica[ii
1S Crearea de aplica[ii
distribuite n Bava
Descrierea mecanismului prin care pot 3 create aplicatii distribuite
in Bava. "eali&area unei implementari.
Bava9 "+9 al$oritmi distribuiti
11 De&voltarea aplicatiilor de
$estiune folosind
te#nolo$ii )eb
(plicatie de tip client!server
P#p9 C0tml9 C,,9 Bava ,cript9 >D
1. Tema la ale$erea
studentului
Coordonator: Conf. dr. Teodor!4lorin 4orti\ (fortis@info.uvt.ro)
<bs. Pentru toate subiectele este ncuraMat implicarea studen=ilor din anii 1!.. Toate aplica=iile reali&ate
vor 3 oferite9 de preferat9 sub o licen= open!source.
Nr Tema Detalii
1 :eb2it%Aec*o !!
customi&ed bro)sin$
:eb2+T este un proiect care ofer un X<pen,ource )eb bro)ser
en$ineX. ,copul acestui tip de lucrare este construirea unui set de
aplica=ii in pornind de la facilit=ile oferite de :eb2+T.
Pentru aceasta tema sunt acceptate ec#ipe de cate . studen=i.
Cererea va 3 nso=it de speci3carea tipului de aplica=ie avuta in
vedere9 de preferat cross!platform.
Cel mult . subiecte pot 3 acceptate.
. Dpub%Dpub1
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.
1 edia!,erver%Presentati
on!,erver
,copul acestui tip de lucrare este investi$area si construirea de
aplica=ii care sa ofere suport pentru streamin$%s#arin$ de 3?iere
media9 e'. ba&at pe A,treamer9 "-$el9 Uumotion9 red69 videolan
etc.
Dste 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-]
frame)or*
Pla-] este un frame)or* 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 bro)sere )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 bro)ser.
,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$.
1 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&olvarea problemelor
propo&itionale cuanti3cate
(F>4 Z Euanti3ed boolean
formulas)
,e va reali&a o sinte&a a re&ultatelor in domeniu si se va
implementa cel putin o metoda de re&olvare a problemelor cu
constran$eri.
@ (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 (cmindruta@info.uvt.ro)
Nr Tema Detalii
1 (sistent soft)are pentru
prototiparea intefe[elor
aplica[iilor pentru
dispo&itive mobile.
(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 soft)are suport pentru prototiparea
interfe[elor $ra3ce ale aplica[iilor adaptat la speci3cul acestora.
. Prototiparea interac=iunii
utili&atorului cu sistemul
soft)are folosind +4/
(+nteraction 4lo) odelin$
/an$ua$e). ,tudiu de ca&.
,e va studia standardul +4/ ?i se va utili&a limbaMul pentru
reali&area prototipului unei aplica=ii interactive.
#ttp:%%))).)ebratio.com%portal%content%en%ifml!standard
1 ,oft)are $eneric pentru
reali&are clasi3cri cu
criterii multiple.
,e va de&volta un soft)are $eneric pentru reali&are de clasi3cri
dup criterii multiple. Pro$ramul va permite con3$urarea de
clasi3cri pe ba&a seturilor de criterii de clasi3care ?i ponderilor
alocate acestora. De asemenea9 va permite con3$urarea reali&arii
de clasi3cri pe seturi de date preluate din diferite surse.
5 Client A8+ pentru serviciul
de autenti3care al
platformei <pen,tac*.
,e va studia (P+!ul serviciului de autenti3care al platformei
<pen,tac* pentru cloud computin$ ?i se va de&volta o interfa=
$ra3c pentru folosirea acestuia.
6 Dditor A8+ pentru
dia$rama de robuste=e.
,e va de&volta un instrument soft)are suport pentru editarea
dia$ramei de robuste=e. Dditorul 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 soft)are reutili&abil9 din cate$oria cadru
(frame)or*) pentru aplica[ii9 ce s permit de&voltarea de aplica[ii
pentru $estionarea alocrii 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 recomandri pentru
pacien=ii aUa=i sub suprave$#ere.
@ (sistent soft)are pentru
instruire \i antrenare.
,e va de&volta un instrument soft)are 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.
Coordonator: /ect.dr. (driana Popovici (apopovic@info.uvt.ro)
Nr
crt
Titlu Descriere
1. Procesorul Z Creierul
calculatorului
(T#e Processor Z t#e
Computer >rain)
De3nirea procesorului9 preci&area elementelor componente.
Dvolutia 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.
1. Dispo&itivele periferice ale
unui sistem de calcul
(Computer D'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. Dlementele 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$ramrii n limbaM de asamblare. "eali&area unei aplicatii care s
ilustre&e utilitatea pro$ramrii 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
(0ard!dis*s)
De3nire. Preci&area rolului sau in cadrul sistemului de calcul.
Dlemente componente. Descrierea functionalitatii. ari 3rme
producatoare. Detectarea defectelor. etode de recuperare a
informatiilor.
Coordonator: /ect. dr. (drian Craciun (acraciun@info.uvt.ro)
Nr Tema Detalii
1 Computin$ 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 CoCo(9 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 *no)led$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 CoCo(9 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 *no)led$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).
1 /o$ical 4rame)or*s
( lo$ical frame)or* is a formal meta!lan$ua$e for deductive
s-stems. T#e primar- tas*s supported in lo$ical frame)or*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 <rder 8ni3cation
and atc#in$
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 dra)n 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 *no)led$e
T#ere are several formali&e mat#ematical *no)led$e bases
available (e.$. t#e i&ar librar-9 0D/). T#ere are man-
computer!supported s-stems for doin$ mat#ematics. aet 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 *no)led$e bases
of mat#ematics easier to navi$ate: de3ne and implement (visual)
tools to navi$ate%e'plore suc# *no)led$e bases.
7 (bstract ,tate ac#ines
and (pplications (1!.
t#eses)
T#e (bstract ,tate ac#ine ((,) ProMect (formerl- *no)n as t#e
Dvolvin$ (l$ebras ProMect) )as started b- auri Aurevic# as an
attempt to brid$e t#e $ap bet)een 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 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!frame)or* and its
applications (1!. t#eses)
2 is a re)rite!based e'ecutable semantic frame)or* 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 (re)rite) 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 re)ritin$ 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.
@ (utomated desi$n and
optimisation of di$ital
circuits
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.
R Topics proposed b-
students
+ )ill also accept to supervise topics proposed b- students9
provided t#at +Xm in position to do so9 i.e. topics 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#alas@info.uvt.ro)
Nr Tema Detalii
1 T#e implementation of
an al$orit#m for t#e
conve' dra)in$ of a
planar $rap#.
Aiven a 1!connected planar $rap#9 $enerate a $rap#ml 3le )#ic#
describes a conve' dra)in$ of t#e $rap#. /an$ua$es: C%Bava%CII9
at#ematica
. Planar trian$ulations
$eneration and t#e
normali&ed form of t#eir
c#romatic pol-nomials
T#e pro$ram )ill $enerate (randoml- or in a prede3ned )a-) planar
trian$ulations and )ill compute t#eir normali&ed c#romatic
pol-nomial. /an$ua$es: C%Bava
1 Bava implementation of
t#e Di$ital ,i$nature
,tandard
Dnd to end implementation of D,, usin$ t#e Bava pro$rammin$
lan$ua$e.
5 CII implementation of
t#e Di$ital ,i$nature
,tandard
Dnd to end implementation of D,, usin$ t#e CII pro$rammin$
lan$ua$e.
6 DWcient implementation
of t#e (dvanced
Dncr-ption ,tandard
usin$ CII and
(ssembler
+mplement an (D, tool usin$ a CII user interface and an
assembler implementation of t#e al$orit#m.
7 DWcient implementation
of ,ecure 0as#
(l$orit#m version 1
usin$ CII
(nd (ssembler
+mplement a ,0(!1 tool usin$ a CII user interface and an
assembler implementation of t#e al$orit#m.
; Ternar- representations
and operations on
rooted trees
Ternar- representations of trees are succinct representations of
rooted trees allo)in$ eWcient operations on trees. T#e $oal of t#e
application is to convert classical tree representations into ternar-
representations 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

Coordonator: /ect. dr. ircea arin (mmarin@info.uvt.ro)
Nr Tema Detalii
1 "e&olvarea sistemelor
de ecuatii in teorii
descrise cu sisteme de
rescriere
D!uni3carea (re&olvarea automata a ecuatiilor in o teorie
ecuationala D) este o te#nica fundamentala in rationamentul
automati&at. 8n ca& special frecvent intalnit este cel in care D este
un sistem conUuent de re$uli de rescriere. +n acest ca& poate 3
folosita metoda de la&- narro)in$ pentru a aUa toate solutiile
sistemului de ecuatii.
(ceasta lucrare va consta din:
1) Descrierea si implementarea metodei de la&- narro)in$ 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)
1) (plicatii9 e'emple.
. +mplementarea unui
sistem reactiv ba&at pe
evaluare lenesa
Dvaluarea 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.
1 (plicatii ale sistemelor
multia$ent pentru
re&olvarea distribuita
cooperativa a
problemelor
"e&olvarea distribuita cooperativa a problemelor consta din 1
etape: (1) descompunerea problemei in subproblemeT (.)
re&olvarea ubproblemelor de catre a$enti individualiT (1) 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 problemelorT
(.) Descrierea unei aplicatii: testare si evaluare
Deprinderi: +nteli$enta arti3ciala9 sisteme multia$ent
+nstrumente: Bava9 Bade
5 Aeometrie
computationala.
Demonstrarea automata
a teoremelor
$eometrice.
Traducerea problemelor $eometrice in descrieri al$ebrice (ecuatii
si%sau inecuatii liniare) care descriu proprietatile obiectelor
$eometrice in plan sau spatiu9 permite demonstrarea lor cu aMutorul
metodelor de calcul simbolic. D'emple tipice sunt metoda >a&elor
Aroebner9 metoda lui :u9 si Descompunerea (l$ebrica Cilindrica9
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 sistemuluiT
(.) un translator al unei probleme descrise $eometric (e$alitate de
se$mente9 apartenenta unui punct la o dreapta9 etc.) in descrieri
polinomialeT (1) 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) D'emple ilustrative
Deprinderi: cunostinte de ba&a din $eometria analbtica (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)
6 ,uW' trees and t#eir
uses
( 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
t)o 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!*no)n linear!time construction
al$orit#ms of suW' trees (8**onen9 :erner9 cCrei$#t)
(.) Describe some applications: testin$ and evaluation
7 :eb application for
mat# problem solvin$
; Completion of term
re)ritin$
Terminatin$ term re)rite s-stems (T",) are a po)erful 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 re)ritten an- more). ( desirable
propert- of terminatin$ T", is confuence9 )#ic# $uarantees t#at
ever- e'pression #as a uniEue normal form. <ften9 eEuational
t#eories are described b- terminatin$ but nonconUuent T",s9 )#ic#
are automaticall- e'tended )it# ne) re)rite rules until t#e-
become conUuent. T#is process is called completion.
T#e purpose of t#is t#esis is to:
(1) Desi$n and implement t#e completion procedure of a
terminatin$ T",. +n $eneral9 t#e completion procedure is
parameteri&ed )it# a termination orderin$9 )#ic# $uarantees t#at
t#e termination propert- is preserved durin$ completion.
(.) D'periment )it# several termination orderin$s (e.$.9
le'ico$rap#ic pat# orderin$9 pol-nomial orderin$s9 c).
(1) Describe some applications of completion V e'periments
@ /o$ic pro$rammin$ )it#
user!de3ned searc#
strate$ies
+n /o$ic Pro$rammin$9 pro$rams consist of rules and facts
describin$ :0(T t#e user *no)s9 and Eueries are ans)ered b- a
built!in strate$- )#ic# performs an e'#austive searc# for all
ans)ers. <ften9 t#is searc# space is too lar$e9 and t#e user )ould
li*e to #ave some declarative )a- to control t#e searc# space for
ans)ers.
T#e purpose of t#is t#esis is to implement an e'tension of Prolo$
)it# a small number of primitive operations9 t#at can be used b-
t#e user to specif- #is%#er o)n searc# strate$ies. T#e bene3t of
suc# an e'tension )ill be illustrated )it# concrete e'amples.
Coordonator: /ect. dr. Daniel Pop (danielpop@info.uvt.ro)
Nr Tema Detalii
1 Dclipse "ic# Client
Platform
- Dclipse "CP este o platforma care permite de&voltatorilor sa
cree&e aplicatii des*top e'tensibile9 modulare folosind
platforma Dclipse
- ,cop: ,tudiu de te#nolo$ie cu aplicatii practice
- <biective: overvie)9 studiu de ar#itectura si desi$n9
pre&entare detaliata module si facilitati9 reali&are de aplicatii
demonstrative (studiu de ca&)
- Cerinte: Bava
- #ttp:%%)i*i.eclipse.or$%inde'.p#p%"ic#PClientPPlatform
- #ttp:%%))).vo$ella.de%articles%Dclipse"CP%article.#tml
. +denti3carea automata a
sabloanelor de
proiectare in cod
open!source
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
1. <biective: familiari&area cu astfel de unelte9 e'perimente pe
cod open!source
5. Cerinte: Bava%CII
6. He&i si:
#ttp:%%citeseer'.ist.psu.edu%vie)doc%do)nloadTMsessionid^6D
(C45.;4(77(C6S@1(.@@@S.R6.4D.4K
doi^1S.1.1.;6.11@7Vrep^rep1Vt-pe^pdf
1 De&voltarea aplicatie
:eb de tip JautostopL
virtual
- Cerinte: administrarea utili&atorilor9 inre$istrare ruta
(plecare!ddestinatie)9 inscriere pentru o ruta etc.
- ,cop: +nvatarea bibliotecii (n$ularB, de&voltand o aplicatie
practica
- <biective: de3nire cerinte aplicatie9 studiu (n$ularB,9
de&voltare si testare aplicatie9 modelul HC9 deplo-ment pe
o infrastructura de tip Cloud
- Cerinte: Bava
- He&i si #ttp:%%blablacar.com9 #ttp:%%an$ularMs.or$
Coordonator: /ect. dr. Cosmin >onc#is (cosmin.bonc#is@e!uvt.ro)
N
r
Tema Detalii
1 Colorarea $rafurilor
folosind partitii de
multimii%multiseturi
,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
date potrivite in al$oritmi
de compresie.
,e vor implementa diferiti al$oritmi de compresie cu aMutorul
alborilor spla-% cu su3'e. ,e vor face anali&e comparative cu alte
structuri de date pentru diverse surse de informatii.
1 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 testare
automata a unui cod sursa.
Coordonator: /ect.dr. Ciprian Pun$il (cpun$ila@info.uvt.ro)
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 evite9 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.
1 D-namic robot
locali&ation and
cooperation
+mplementarea unui mecanism soft)are pentru auto!or$ani&area
unor robo=i ntr!un spa=iu tridimensional (e.$. orientare9 re$sire
reciproc9 $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 <penC/).
Cuno?tin=e necesare: structuri de date avansate9 al$oritmic9 calcul
paralel
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 <penC/).
Cuno?tin=e necesare: structuri de date avansate9 automate 3nite
deterministe9 al$oritmic9 calcul paralel
7 +mplementation of
similarit- measures on
t#e AP8
+mplementarea a cel pu=in 1 msuri de similitudine folosind
pro$ramarea AP8 (C8D( sau <penC/). "eali&area unui pro3l de
performan= a implementrilor.
Cuno?tin=e necesare: structuri de date avansate9 msuri de
similitudine9 al$oritmic9 calcul paralel
; +mplementin$ data
compression on t#e AP8
+mplementarea a cel pu=in un al$oritm de compresie a datelor
folosind pro$ramarea AP8 (C8D( sau <penC/). "eali&area unui
pro3l de performan= versus varianta sin$le!core CP8.
Cuno?tin=e necesare: al$oritmi de compresie (0ueman9 /empel!Giv9
etc.)9 structure de date avansate9 arbori9 calcul paralel
@ otion control of a
"aspberr-Pi!based robot
t#rou$# $estures usin$
icrosoft 2inect
+mplementarea unui sistem soft)are pentru controlul unui robot
ba&at pe platforma "aspberr-Pi folosind recunoa?terea $esturilor
prin intermediul sen&orului icrosoft 2inect.
Pentru alte teme pute=i lua le$atura direct cu urmtorii profesori coordonatori:
Conf.dr. Dva 2asli* f*asli*@info.uvt.rod
/ect. dr. i#ai C#is fc#is@mat#.uvt.rod
/ect. dr. Calin ,andru fcsandru@info.uvt.rod
/ect dr. P<P( 0oria!Dmil f#popa@info.uvt.rod
/ect. dr. Tanasie (driana!/oredana fatanasie@info.uvt.rod
/ect. dr. 4lavia icota f&Uavia@info.uvt.rod
(sist. dr. Dramnesc +sabela fidramnesc@info.uvt.rod
(sist. dr. Aaianu i#ail fm$aianu@info.uvt.rod