Teme Licenta 2011

Facultatea de Matematica si Informatica Departamentul de Informatica
Teme pentru lucrări de licenţă 2010– 2011
Informatică (română, engleză), Informatică Aplicată
Coordonator: Prof.dr. Viorel Negru (vnegru@info.uvt.ro)
Nr Titlu Descriere Sectia

crt
1 Algoritmi euristici de cautare Lucrarea trebuie sa cuprinda: Inf
a) familia A* a) Studiu teoretic al algoritmilor euristici de cautare Inf Apl
b) cu aplicare in jocuri:sah, go etc b) Descriere aplicatie. Teste. Comparatii.
c) propagare constrangeri Deprinderi: Int. Artificiala, Algoritmi
d) tehnici hibride Instrumente: Limbaj de nivel inalt. Utilizare GUI
(1-2 teme)
2 Aplicatii ale limbajului Lisp / Scheme in algebra Lucrarea trebuie sa cuprinda: Inf
computationala, web semantic etc. (1-3 teme) a) Calcul simbolic. Facilitati oferite de Lisp / Scheme Inf Apl
b) Descriere aplicatie.
Deprinderi:Programare functioala, Calcul simbolic
Instrumente: Lisp / Scheme
3 Aplicatii ale limbajului Prolog (limbaj natural, Lucrarea trebuie sa cuprinda: Inf
demonstrare automata de teoreme, sisteme expert a) Apecte teoretice cu privire la demonstrarea Inf Apl
de diagnosticare etc) (1-2 teme) automata a teoremelor/Limbaj natural/Sisteme expert
b) Proiectarea unei aplicatii si implementarea unui
prototip in Prolog
Deprinderi:Programare
Intrumente: Prolog
4 Tutoriale de invatare / Sisteme de e-learning Lucrarea trebuie sa cuprinda: Inf
cu aplicatii in informatica, matematica, fizica, a) Descrierea instruirii asistate de calculator (tutoriale Inf Apl
chimie, inginerie etc) (1-3 teme) inteligente). Modele, metode, tehnici, algoritmi
b) Descrierea unei arhitecturi, proiectarea unui sistem
si proiectarea si implementarea unui prototip cu
aplicare in informatica, matematica, fizica, chimie,
inginerie
Deprinderi: Inteligenta artificiala, Interfete grafice
Intrumente: Limbaj obiect, GUI
5 Tipuri de rationament in IA (logic, aproximativ, Lucrarea trebuie sa cuprinda: Inf
ipotetic, bazat pe modele, calitativ, temporal, prin a) Aspecte teoretice. Modelare. Reprezentare Inf Apl
clasificare etc). (1-2 teme) cunostinte.
b) Proiectare sistem. Descriere prototip.
Deprinderi:Inteligenta artificiala, Rationament automat
si reprezentarea cunostintelor.
Intrumente: Limbaj de nivel inalt sau limbaj specializat
6 Aplicatii ale sistemelor inteligente (in stiinte, Lucrarea trebuie sa cuprinda: Inf
medicina, economie, drept etc) (2-3 teme). a) Arhitectura sistemelor expert. Descrierea unui Inf Apl
generator de SE
b) Descrierea unei aplicatii; testare si evaluare
Deprinderi:Inteligenta Artificala, Sisteme Expert
Instrumente: Jess / Clips / Jade
7 Aplicatii embedded (automotive) / Aplicatii bazate Lucrarea trebuie sa cuprinda: Inf
pe senzori - ambient inteligent) / Aplicatii cu roboti a) Descrierea sistemului hardware & software Inf Apl
(planificare / deplasare printre obstacole) (1 – 4 utilizat
lucrari) b) Descrierea aplicatiei
c) Demo
Deprinderi: Programare C/Java
Instrumente: specifice aplicatiei
8 Module din cadrul sistemului informatic al Lucrarea trebuie sa cuprinda: Inf
universitatii/facultatii (gestiunea statelor de functii, a) Descrierea coneptelor / limbajelor / sistemelor / Inf Apl
orarul, gestiunea bibliotecii departamentului, platformelor utilizate
gestiunea activitatii de cercetare etc) (1 – 3 teme) b) Descrierea specificatiilor si a sistemului proiectat
Aceste teme presupun si realizarea stagiului de c) Descrierea si testarea aplicatiei
practica in cadrul departamentului cu asigurarea Deprinderi: Baze de date, limbaj de nivel inalt
accesului la resursele de calcul necesare. Instrumente: specifice aplicatiei
Coordonator: Prof.dr. Stefan Balint (balint@math.uvt.ro)
1 Simularea pe calculator a miscarilor unui avion in Lucrarea va cuprinde: ecuatiile generale, ecuatiile de Inf,
jurul centrului de greutate. miscare longitudinala cu viteza constanta, simularea Inf Apl
aterizarii.
2 Simularea pe calculator a transferului interorbital in Lucrarea va cuprinde: ecuatiile generale de miscare, Inf,
cazul satelitilor artificiali ecuatiile de transfer intre doua orbite coplanare, Inf Apl
simularea transferului intre doua orbite circulare
coplanare.
3 Simularea pe calculator a unor fenomene de Lucrarea va cuprinde: ecuatiile generale de transfer de Inf,
transfer de caldura. caldura, simularea transferului in 1D. Inf Apl
4 Determinarea numerica a unor suprafete capilare Lucrarea va cuprinde: ecuatiile generale ale Inf,
in echilibru. suprafetelor capilare in echilibru, determinarea Inf Apl
numerica a unor suprafete capilare simple.
5 Simularea pe calculator a unor fenomene de Lucrarea va cuprinde ecuatiile generale de transfer de Inf,
transfer de masa. masa, simularea pe calculator de transfer de masa in Inf Apl
cazuri simple.
Coordonator: Prof.dr. Alexandru Cicortas (cico@info.uvt.ro)

crt
1 Intretinerea structurii produselor si lansarea Companiile produc anumite familii de produse care se Inf,
montajului acestora caracterizeaza printr-o gama larga de componente Inf Apl
comune. Produsele si componentele lor se pot reprezenta
prin structuri arborescente. Un element compus poate sa
apara in mai multe produse sau chiar in alte elemente
compuse.
Se cere:
a)proiectarea unei baze de date in care sa se poata
reprezenta structura produselor si a compusilor;
b)posibilitatea de evidentiere a compusilor directi ai unui
element specificat, atat ca prezentare utilizatorului cat si ca
structura de date in format XML si retinerea in baza de date
pentru lansarea montajului;
c) evidentierea structurii detaliate a unui element;
d) lansarea (generarea) documentelor de montaj pentru un
compus. Intrarea este o lista de compusi si cantiatile
necesare pentru un orizont dat, cu pastrarea informatiilor in
baza de date;
e) proiectarea fluxului prelucrarilor.
Lucrarea trebuie sa contina o analiza a posibilitatilor de
reprezentare a informatiilor, justificarea optiunii alese si o
abordare a problematicii intr-un context orgaqnizationjal
extins.
Aplicatia trebuie sa fie realizata utilizand tehnologii
moderne si cu posibilitati de exindere. Pentru preluarea
informatiilor sa se utilizeze baza de date existenta si
fromulare adecvate.
Ca si posibilitate de extindere la lansare sa se analizeze
implicatia nivelului sotcului pentru fiecare (sau anumite)
compomenta(e).
2 Simularea traficului in transportul public urban Transportul public urban are anumite caracteristici care Inf,
permit o abordare aspecifica: Inf Apl
-exista tronsoane pe care numarul de linii (autobuze,
tramvaie) este constant. Se impune decuparea in astfel de
tronsoane.
-pe un tronson se dau statiile si distantele dintre ele;
-mijloacele de transport sunt plasate in garaje depouri din
care incepe deplasarea lor;
-numarul de calatori variaza pe durata unei zile dar se pot
defini paliere in care acesta este relativ constant.
a) Sa se analizeze contextul de mai sus si in baza lui sa se
faca planificarea circulatiei mijlocelor de transport in
compun. Sa se conceapa factori perturbatori care sa
implice evolutia dinamicii traficului. Sa se vizualizeze in
fiecare statie sosirile in urmatorul interval de timp (in
dinamica sa).
Sa se faca o analiza a preluarii informatiilor in timp real,
precizandu-se si necesitatile de dotare.
b) In contextul de mai sus sa se completeze cu elemente
referitoare la capacitatea mijlocului, sa se simuleze urcarea
si coborarea calatorilor in statii. In acest sens sa se
conceapa un instrument de vizualizare adecvat. Palierele
orare se impun a fi utilizate eficient.
Aplicatiile de la punctele a) si b) sa utilizeze tehnologii
moderne, baza de date adecvate, simulatoare si
generatoare aleatoare cu diferite carcateristici ale
varioabilelor aleatore. Aplicatiile vor avea fromulare
adecvate de vizualizare a dinamicii.
3 Proiectarea documentelor intr-o companie Se cere o analiza a informatiilor existente pe documentele Inf,
generate intr-o companie producatoare. Din ea se pot Inf Apl
constata ca exista cateva categorii de informatii specifice
documentului (tip data numar), sursei, destinatiei,
continutului. Din acest punct de vedere se pot proiecta
documentele in conteptul orientat-obiect.
Pe de alta parte utilizand conceptul relational, documentele
pot fi proiectate in acest context.
Sa se conceapa un cadru de proiectare si baza de date
adecvata pentru documentele care asigura miscarea
bunurilor intr-o companie producatoare. Aceste documente
sunt comenzile de aprovizionare, comenzile beneficiarilor,
bonuri de consum, facturi.
Sa se finalizaze analiza si sa se accentueze asupra
cerintelor de integritare (referentiala) a datelor. Se vor
utiliza tehnologii moderne de implementare.
Coordonator: Prof.dr. Dana Petcu (petcu@info.uvt.ro)

crt
1 Sistem de administrare a unei baze de date si Teoretic: analiza standardelor si uneltelor pentru virtual Inf
indexare de VAurilor (Virtual Appliances aplliance Inf Apl
Indexing and Database Managment System) Practic: construirea unui sistem de administrare a VAurilor Inf
locale si de indexare a VAurilor aflate la distanta integrabil Eng
in Eclipse/Java
Cunostinte necesare: Java, C, Linux, Eclipse
2 Reprezentarea resurselor in Cloud computing Teoretic: annaliza reprezentarii resurselor de calcul, al Inf
(Resource representation for Cloud virtual appliances si al resurselor software si gasirea unei Inf
computing) solutii pentru o reprezentare unitara Apl,
Practic: Construirea unui editor vizual integrabil in Inf
Eclipse/Java pentru descrierea resurselor (iesire: standard Eng
XML utilizate in CC)
Cunostinte necesare: Java, C, XML, Eclipse
3 Interfata de programare a aplicatiilor pentru Teoretic: analiza solutiilor existente pentru PaaS (Platform Inf
Cloud Computing in Java as a Service) si a APIrilor acestora, extragerea Inf
(Cloud computing API in Java) caracteristicilor pentru construirea unui API general Apl,
Practic: API si implementare intr-un utilitar integrabil Inf
Eclipse/Java Eng
Cunostinte necesare: Java, Eclipse
4 Interfata de programare a aplicatiilor pentru Teoretic: analiza solutiilor existente pentru PaaS (Platform Inf
Cloud Computing in Python as a Service) si a APIrilor acestora, extragerea Inf
(Cloud computing APIs in Python) caracteristicilor pentru construirea unui API general Apl,
Practic: API si implementare in Python Inf
Cunostinte necesare: Python Eng
5 Compunerea serviciilor pentru Cloud Teoretic: analiza tehnicilor de compunere a serviciilor Web, Inf,
Computing a uneltelor pentru workflow si mashup Inf
(Cloud computing services composition) Practic: construirea unui sistem ce permite utilizatorilor Apl,
Eclipse sa compuna servicii pentru Cloud Computing Inf
Cunostinte necesare: Java, Eclipse, servicii Web Eng
6 Motor de executie pentru fluxuri de lucru pentru Teoretic: analiza motoarelor de executie pentru workflowuri Inf,
servicii de Cloud Computing (Worflow si a serviciilor Web pentru Cloud Computing Inf
execution engine for Cloud Computing Practic: Construirea unei sistem de lansare din Eclipse a Apl,
services) workflowurilor ce contin servicii pentru Cloud Computing Inf
Cunostinte necesare: Java, Eclipse, servicii Web Eng
7 Administrarea datelor in Cloud Computing Teoretic: analiza sistemelor de gestionare a datelor in Inf,
(Data management in Cloud Computing) Cloud (e.g. solutii Amazon, Apache), identificarea Inf
caracteristicilor comune si a diferentelor Apl,
Practic: Construirea unui sistem vizual de gestiune a Inf
datelor bazat pe Hadoop integrabil in Eclipse/Java Eng
Cunostinte necesare: Java pt. baze de date, Eclipse
8 Ontologii pentru Cloud Computing Teoretic: analiza sistemelor de reprezentare vizuala a Inf,
(Cloud computing ontologies) ontologiilor, analiza ontologiilor propuse pentru Cloud Inf
Computing Apl,
Practic: Construirea unui editor vizual de ontologii pentru Inf
Cloud Computing integrabil in Eclipse/Java Eng
9 Calitatea serviciilor in Cloud Computing Teoretic: analiza solutiilor existente pentru contractarea Inf,
(Quality of Services in Cloud Computing) serviciilor software (Service Level Agreements - SLAs, Inf
Quality of Services QoS) si monitorizarea respectarii Apl,
contractului Inf
Practic: Construirea unui sistem vizual de definire a Eng
contractului si de urmarire in executie, integrabil in Eclipse
Coordonator: Conf.dr. Mircea Dragan (dragan@info.uvt.ro)

crt
1 Generarea automata a analizoarelor lexicale in Lucrarea trebuie sa cuprinda: Inf,
JAVA (Automatic generation of lexical a) Studiu teoretic: Automate finite Inf Apl,
analysors in JAVA) b) Aplicatii: Realizarea unui analizor lexical pentru Inf Eng
PASCAL sau alt limbaj de programare
Deprinderi: Programare JAVA
Instrumente: JAVA, JAVACC
2 Generarea automata a analizoarelor lexicale in Lucrarea trebuie sa cuprinda: Inf,
C a) Studiu teoretic: Automate finite Inf Apl,
(Automatic generation of lexical analysors in C) b) Aplicatii: Realizarea unui analizor lexical pentru Inf Eng
PASCAL sau alt limbaj de programare
Deprinderi: Programare C
Instrumente: C, PCLEX
3 Calcul paralel in aritmetica (Parallel computing Lucrarea trebuie sa cuprinda: Inf,
in arithmetic) a) studiu teoretic al algoritmilor paraleli pentru operatii Inf Apl,
aritmetice elementare Inf Eng
b) aplicatie in Parallaxis
Intrumente: C, PASCAL, Parallaxis
4 Generarea automata a analizoarelor sintactice Lucrarea trebuie sa cuprinda: Inf,
in JAVA (Automatic generation of parsers in a) Studiu teoretic: Algoritmi de analiza sintactica LL Inf Apl,
JAVA) b) Aplicatii: Realizarea unui analizor sintactic Inf Eng
Deprinderi: Programare JAVA
Instrumente: JAVA, JAVACC
5 Generarea automata a analizoarelor sintactice Lucrarea trebuie sa cuprinda: Inf,
in C a) Studiu teoretic: Analiza LR Inf Apl,
(Automatic generation of parsers in JAVA) b) Aplicatii: Realizarea unui parser pentru PASCAL Inf Eng
sau alt limbaj de programare
Deprinderi: Programare C
Instrumente: C, Yacc
6 Algoritmi pentru constructia invelitorii convexe Lucrarea trebuie sa cuprinda: Inf,
in plan (Convex hull algorithms in the two a) studiu teoretic: algoritmi clasici pentru convex hull Inf Apl,
dimensional euclideean space) b) aplicatie: implementare si comparatii pe multimi Inf Eng
aleatoare de puncte
Intrumente: C
7 Calcul paralel in Geometrie Lucrarea trebuie sa cuprinda: Inf,
Computationala.Triangularizarea Delaunay a) Studiu teoretic: algoritmi clasici de triangularizare si Inf Apl,
(Parallel computational geometry. Delaunay paralelizari folosind modelul MIMD Inf Eng
triangulation) b) aplicatie: triangularizari planare folosind procese
concurente
Intrumente: C, thread
8 Geometrie computationala. Probleme de Lucrarea trebuie sa cuprinda: Inf,
intersectie. (Computational geometry. a) studiu teoretic: algoritmi clasici pentru intersectii de Inf Apl,
Intersection problems) segmente, semiplane Inf Eng
b) aplicatie: Implementare in C
Intrumente: C
Coordonator: Conf.dr. Victoria Iordan (iordan@info.uvt.ro)

crt
1 Administrarea reţelelor de calculatoare sub Retele de calculatoare Inf,
Windows 2000 (studiu de caz) Prezentarea (proiectarea) unei retele cu Windows Inf Apl
2000, care sa exemplifice conceptele legate de
administrare
2 Criptografia şi securitatea reţelelor de Retele de calculatoare Inf,
calculatoare Implementare de algoritmi de criptare in Java sau C++ Inf Apl
3 Criptosisteme cu chei publice Aplicatii Java. Prezentare, descriere, comparaţii algoritmi criptare. Inf,
Implementare de algoritmi de criptare in Java. Inf Apl
4 Conectarea paginilor Web la baze de date Programare Web si baze de date, PHP, Inf,
MySQL/Oracle Inf Apl
5 Crearea de aplicaţii folosind tehnologia JSP, Legatura intre HTML si JSP, Java Script Inf,
JavaServerPages Inf Apl
6 Crearea şi publicarea unei pagini pe Internet Programare Web, PHP, MySQL , Java Script Inf,
Inf Apl
7 Dezvoltarea aplicatiilor WEB folosind XHTML, Realizarea unei pagini Web dinamice Inf,
PHP si MySQL XHTML, PHP, MySQl Inf Apl
8 Programarea în reţea folosind Java Utilizarea socketurilor în realizarea unei aplicaţii de tip Inf,
client-server Inf Apl
9 Tehnologii XML utilizate in dezvoltarea de Realizarea unui site Web folosind tehnologii XML Inf,
aplicaţii Inf Apl
10 Apelarea metodelor la distanţă folosind Implementarea mecanismului RMI (Remote Method Inf,
mecanismul Java - RMI Invocation) în realizarea unei aplicaţii Inf Apl
11 Crearea de aplicaţii distribuite în Java Descrierea mecanismului prin care pot fi create Inf,
aplicatii distribuite in Java. Realizarea unei Inf Apl
implementari.
Java, RMI, algoritmi distribuiti
12 Sistem de management pentru un director Web Aplicatie de tip client-server Inf,
Php, XHtml, CSS, Java Script, BD Inf Apl
Coordonator: Conf.dr. Paraschiva Popovici (popovici@info.uvt.ro)

crt
1 Didactica predării structurilor de date de tip arbore Inf,
Implementări în C
binar Inf Apl
2 Tabele de dispersie în Java Inf,
Implementări în Java
Inf Apl
3 Structuri de date şi Căutare în C++ Inf,
Implementări în C++
Inf Apl
4 Sistem Informatic în Domeniul Financiar Contabil. Inf,
Implementări în Java
Inf Apl
5 Instrumente financiare Inf,
Impementări, folosind FOX-PRO
Inf Apl
6 Analiza algoritmilor Inf,
Implementări în C
Inf Apl
6 Structuri de tip HEAP Implementări în C Inf,
Inf Apl
7 Sisteme informatice geografice Implementări în Java Inf,

Inf Apl
8 Proiectarea unui sistem informatic pentru Implementări în Java Inf,

intreprinderile agricole Inf Apl
9 Grafuri ponderate în Java Implementări în Java Inf,

Inf Apl
10 Aplicaţii ale grafurilor în economie Implementări în C Inf,

Inf Apl
11 Studiu asupra algoritmilor Huffman şi Lempel-Ziv- Implementari in C Inf,

Welch pentru compesia de fişiere Inf Apl
12 Implementarea algoritmilor care rezolvă probleme de Inf,

flux maxim într-un graf, în C Inf Apl
Arbori bicolori in Java
Coordonator:prof.dr. Robert Reisz (reisz@info.uvt.ro)
1 Aplicatie PL/SQL cu baze de date Oracle Descriere: Studentul va propune si analiza un sisteme Inf
(PL/SQL Application with Oracle Databases) informatic condus de date, va efectua designul bazei de Inf Apl
date si va implementa in limbajul PL/SQL o aplicatie de Inf
tip interfata de acces si administrare. Eng
Cunostinte necesare: Baze de date relationale, Baze de
date Oracle, Programare orientata obiect, Sisteme
informatice
Instrumente software: SGBD Oracle, Oracle Developer,
alte instrumente la alegerea studentului
2 Aplicatie Java cu baze de date Oracle Descriere: Studentul va propune si analiza un sisteme Inf
(Java Application with Oracle Databases) informatic condus de date, va efectua designul bazei de Inf Apl
date si va implementa in Java o aplicatie de tip interfata Inf
de acces si administrare. Eng
date Oracle, Programare orientate obiect, Programare
Java, Sisteme informatice
Instrumente software: SGBD Oracle, Java Developer,
3 Manipularea obiectelor mari in baze de date Descriere: Obiectele mari, de tip LOB, desi usor de Inf
Oracle administrat in Oracle nu sunt manipulabile usor in Inf Apl
(Large Objects Manipulation in Oracle contextul bazei de date. Lucrarea de licenta va contine Inf
Databases) studiul caracteristicilor obiectelor mari si va implica Eng
implementarea unei interfete si a unui pachet de
proceduri pentru vizualizarea si editarea continutului
obiectelor mari.
date Oracle, Programare orientata obiect, Programare
4 Sistem de pattern matching cu baze de date Descriere: Lucrarea va include documentarea asupra Inf
(Pattern Matching System with Databases) unor metode de pattern matching in baze de date. Inf Apl
Partea de aplicatie va fi un program de agentie Inf
matrimoniala, si va include designul si implementarea Eng
unei baze de date accesibile on-line in care persoane
interesate isi pot incarca caracteristici personale pentru
ca apoi sistemul sa identifice perechi potrivite pe baza
metodologiei studiate in partea teoretica a lucrarii.
Cunostinte necesare: Baze de date relationale, Retele
de calculatoare, Programare orientata obiect,
Programare Java, Sisteme informatice
Instrumente software: la alegerea studentului
5 Sistem de culegere de date pe smart phone Descriere: Sistemul de culegere de date va permite Inf
pentru sondaje de opinie definirea unui chestionar bazat pe mai multe tipuri Inf Apl
(System for Data Collection on Smart Phones for standard de intrebari. Datele se vor incarca intr-o baza Inf
Opinion Polls) de date. Culegerea datelor se va face cu verificari Eng
bazate pe constrangeri de integritate. Aplicatia va rula pe
un smart phone.
Cunostinte necesare: Baze de date relationale, Sisteme
de operare smart phone (de ex: Symbian, RIM, Apple,
Microsoft) Retele de calculatoare, Programare orientata
obiect, Programare Java, Sisteme informatice
6 Sistem de culegere de date pe PDA pentru Descriere: Sistemul de culegere de date va permite Inf
sondaje de opinie definirea unui chestionar bazat pe mai multe tipuri Inf Apl
(System for Data Collection on PDA for Opinion standard de intrebari. Datele se vor incarca intr-o baza Inf
Polls) de date. Culegerea datelor se va face cu verificari Eng
bazate pe constrangeri de integritate. Aplicatia va rula pe
un PDA.
Cunostinte necesare: Baze de date relationale, Sisteme
de operare smart PDA (de ex: Palm OS, Apple,
Microsoft) Retele de calculatoare, Programare orientata
obiect, Programare Java, Sisteme informatice
7 Pachet de proceduri PL/SQL pentru analiza Descriere: Pachetul de proceduri va contine un numar Inf
statistica a bazei de date de proceduri si functii care va permite analiza coloanelor Inf Apl
unor tabele specificate pentru calculul principalilor Inf
(PL/SQL Procedures for Statistical Analysis of a indicatori statistici precum si a unor teste statistice. Eng
Database) Cunostinte necesare: Baze de date relationale, Baze de
date Oracle, Programare orientata obiect, Sisteme
informatice
Instrumente software: SGBD Oracle, Oracle Developer,
8 Biblioteca Java pentru analiza statistica a bazei Descriere: Biblioteca va contine un numar de proceduri Inf
de date si functii care va permite analiza coloanelor unor tabele Inf Apl
(Java Library for Statistical Analysis of a specificate pentru calculul principalilor indicatori statistici Inf
Database) precum si a unor teste statistice. Eng
date Oracle, Programare orientata obiect, Programare
Coordonator: prof.dr. Daniela Zaharie (dzaharie@info.uvt.ro)

crt
1 Identificarea formelor circulare in imaginile Scop: Analiza si implementarea unor algoritmi pentru Inf
digitale identificarea formelor circulare in imagini (de exemplu, Inf Apl
identificarea ochilor in cadrul fetei, identificarea unor Inf Eng
(Circles Identification in Digital Images) structuri circulare in imagini satelitare)
Cunostinte: programare; cunostinte minimale de
geometrie si algebra liniara; necesita familiarizarea cu
tehnici specifice prelucrarii imaginilor (filtrare, detectie
muchii, transformare Hough etc.).
Instrument: C++/Java/Python, OpenCV/Cimg/Matlab
Image Processing Toolbox
2 Tehnici de recunoastere a irisului Scop: Analiza si implementarea unor tehnici care Inf
(Techniques for Iris Recognition) permit construirea unei reprezentari codificate pornind Inf Apl
de la imaginea irisului si folosirea acestei codificari Inf Eng
pentru cautare intr-o baza de date.
Cunostinte: programare; cunostinte minimale de
statistica; necesita familiarizare cu tehnici specifice
prelucrarii imaginilor (filtre de netezire si detectie a
contururilor, filtrul Gabor)
3 Tehnici de urmarire a privirii in imaginile video Scop: Analiza diferitelor tehnici de urmarire a privirii Inf
(Eye Tracking in Video Images) pornind de la imagini inregistrate cu un webcam in care Inf Apl
se identifica punctele de referinta si se urmareste Inf Eng
modificarea pozitiei acestora.
Cunostinte: programare, necesita familiarizare cu
prelucrarea imaginilor
4 Clasificarea nesupervizata a imaginilor Scop: Implementarea unor algoritmi de clasificare Inf

(Unsupervised Classification of Images) nesupervizata (kMeans, FuzzyCMeans, ISODATA) Inf Apl
pentru identificarea regiunilor omogene in imagini. Inf Eng
Cunostinte: programare, necesita familiarizare cu
prelucrarea imaginilor
5 Rectificarea imaginilor digitale Scop: Rectificarea unei imagini (image registration) Inf
(Image Registration) consta in alinierea ei cu o alta de referinta Inf Apl
(corespunzand aceleiasi regiuni) folosind un set de Inf Eng
puncte de control. Scopul este de a implementa o
aplicatie care sa permita incarcarea imaginii de
referinta, a celei de rectificat, setarea punctelor de
control si realizarea rectificarii.
Cunostinte: programare,notiuni minimale de analiza
numerica (interpolare) si statistica (regresie), necesita
familiarizare cu prelucrarea imaginilor.
6-8 Extensii pentru bioinformatica a limbajelor Java, Scop: Studiu comparativ BioJava, BioPerl si BioPython Inf
Perl si Python: cu punerea in evidenta a facilitatilor specifice (acces la Inf Apl
a) BioJava baze de date biologice, recunoasterea formatelor Inf Eng
b) BioPerl specifice pentru fisierele de date, efectuarea de
c) BioPython prelucrari uzuale (aliniere secvente ADN/proteine,
(Extensions for Bioinformatics of Java, Perl and cautare pe baza de similaritate etc). Se urmareste
Python) implementarea unei interfete si apelul unor prelucrari
efectuate in fiecare dintre limbaje.
Cunostinte: programare, notiuni minimale de statistica,
necesita familiarizare cu notiuni de bioinformatica
Instrument: BioJava/ BioPerl/ BioPython
9 Euristici pentru generarea automata a orarelor Scop: Studiul unor euristici, metaeuristici si Inf
(Heuristics for Timetabling) hipereuristici aplicate in generarea automata a Inf Apl
orarelor. Implementarea unei aplicatii de generare Inf Eng
automata a unui orar.
Cunostinte: programare, algoritmi si structuri de date.
Instrument: C++, Java sau alt limbaj de programare
10 Aplicatii ale algoritmilor evolutivi in sinteza Scop: Implementarea unui sistem interactiv care Inf
imaginilor digitale permite generarea unor imagini artificiale folosind Inf Apl
(Applications of Evolutionary Algorithms in Image principii ale evolutiei naturale (selectie, incrucisare, Inf Eng
Synthesis) mutatie) si care permite interventia utilizatorului in
procesul de selectie.
Cunostinte: programare, algoritmica, grafica; necesita
familiarizare cu algoritmii evolutivi si prelucrarea
imaginilor
Instrument: C++, Java sau alt limbaj de programare
Coordonator: conf.dr. Liliana Braescu (braesculiliana@yahoo.com)
1 Metode de rezolvare numerica a problemelor Descriere. Se vor considera probleme Cauchy- Inf
Cauchy-Dirichlet pentru ecuaţii cu derivate Dirichlet pentru ecuaţii cu derivate parţiale hiperbolice Inf Apl
parţiale hiperbolice si aplicaţii pentru care se vor prezenta metodele numerice Inf Eng
(Numerical Methods of Cauchy-Dirichlet Problems clasice de rezolvare. Sa va studia convergenta,
for Hyperbolic Partial Differential Equations and stabilitatea si consistenta schemelor numerice.
Applications) Aplicaţii: se vor rezolva numeric probleme de
propagare a undelor seismice, electromagnetice,
sonore, etc.
2 Metode de rezolvare numerica a ecuaţiilor din Descriere. Se vor considera probleme de curgere a Inf
dinamica fluidelor si aplicaţii fluidelor ideale precum si a fluidelor vâscoase pentru Inf Apl
(Numerical Methods for Solving Equations from care se vor prezenta metodele numerice clasice de Inf Eng
Fluid Dynamics and Applications) rezolvare.
Aplicaţii: se vor rezolva numeric probleme de curgere
a râurilor, a apelor subterane, a topiturilor, etc.
3 Metode de rezolvare numerica a ecuaţiilor din Descriere. Se vor considera probleme de dinamica Inf
dinamica punctului material si aplicaţii punctului material pentru care se vor prezenta Inf Apl
(Numerical Methods for Solving Equations from metodele numerice clasice de rezolvare. Aplicaţii: se Inf Eng
Dynamics and Applications) vor rezolva numeric probleme de balistica si zbor
spaţial.
4 Metode de rezolvare numerica a ecuaţiilor de Descriere. Se vor considera diferite modele biologice Inf
dinamica biologica si aplicaţii (trei modele din: Lotka-Voltera, Hodgkin-Huxley, Inf Apl
(Numerical Methods for Solving Equations from cardiac pacemaker, FitzHugh-Nagumo, Van Capelle- Inf Eng
Biological Dynamics and Applications) Durrer) pentru care se vor căuta metode numerice
potrivite de rezolvare.
Aplicatie: Se vor simula pe calculator si se vor
interpreta rezultatele.
5 Metode de rezolvare numerica a ecuaţiilor de Descriere. Se vor considera diferite dinamici Inf
dinamica economica si aplicaţii economice pentru care se vor căuta metode numerice Inf Apl
(Numerical Methods for Solving Equations from potrivite de rezolvare. Inf Eng
Economics Dynamics and Applications) Aplicatie: Se vor simula pe calculator si se vor
interpreta rezultatele.
6 Metode de rezolvare numerica a sistemelor de Descriere. Se vor descrie metodele numerice Inf
ecuaţii liniare si aplicaţii cunoscute in literatura (directe si iterative) pentru Inf Apl
(Numerical Methods for Linear Systems and rezolvarea numerica a sistemelor de ecuatii liniare, se Inf Eng
Applications) vor prezenta algoritmii de rezolvare si se vor
implementa in diferite limbaje de programare.
Aplicatie: Se vor rezolvara sisteme concrete si apoi se
vor compara rezultatele obtinute prin diferite metode.
7 Metode de rezolvare numerica a ecuaţiilor Descriere. Se vor descrie metodele numerice Inf
neliniare si aplicaţii cunoscute in literatura (directe si iterative) pentru Inf Apl
(Numerical Methods for NonLinear Equations and rezolvarea numerica a ecuatiilor neliniare, se vor Inf Eng
Applications) prezenta algoritmii de rezolvare si se vor implementa
in diferite limbaje de programare.
Aplicatie: Se vor rezolvara ecuatii neliniare concrete si
apoi se vor compara rezultatele obtinute prin diferite
metode.
8 Metode de rezolvare numerica a sistemelor de Descriere. Se vor descrie metodele numerice Inf
ecuaţii neliniare si aplicaţii cunoscute in literatura pentru rezolvarea numerica a Inf Apl
(Numerical Methods for NonLinear Systems and sistemelor de ecuatiilor neliniare, se vor prezenta Inf Eng
Applications) algoritmii de rezolvare si se vor implementa in diferite
limbaje de programare.
Aplicatie: Se vor rezolvara sisteme de ecuatii neliniare
concrete, se vor compara rezultatele obtinute prin
diferite metode si se va determina cea mai buna viteza
de convergenta.
9 Metode de rezolvare numerica a problemelor cu Descriere. Se vor descrie metodele numerice Inf
date iniţiale cunoscute in literatura pentru rezolvarea numerica a Inf Apl
(Numerical Methods for Initial Value Problems) problemelor cu date intiale (single-step and multi- Inf Eng
step), se vor prezenta algoritmii de rezolvare si se vor
Aplicatie: Se vor rezolvara probleme cu date initiale
concrete (pt ec dif si sisteme de ecuatii dif.), se vor
compara rezultatele obtinute prin diferite metode si se
va determina cea mai buna viteza de convergenta.
10 Metode de rezolvare numerica a problemelor la Descriere. Se vor descrie metodele numerice Inf
limita cunoscute in literatura pentru rezolvarea numerica a Inf Apl
(Numerical Methods for Boundary Value problemelor la limita, se vor prezenta algoritmii de Inf Eng
Problems) rezolvare si se vor implementa in diferite limbaje de
programare.
Aplicatie: Se vor rezolvara probleme la limita concrete
(pt ec dif si sisteme de ecuatii dif.), se vor compara
rezultatele obtinute prin diferite metode si se va
determina cea mai buna viteza de convergenta.
11 Metode numerice pentru determinarea vectorilor Descriere. Se vor descrie metodele numerice Inf
si valorilor proprii cunoscute in literatura pentru detrminarea vectorilor si Inf Apl
(Numerical Methods for Computing Eigenvectors valorilor proprii (probleme simetrice si antisimetrice), Inf Eng
and EigenValues) se vor prezenta algoritmii de rezolvare si se vor
Aplicatie: Se vor determina vectorii si valorile proprii
pentru diferite exemple concrete, utilizand metodele
prezentate anterior
12 Interpolarea si aproximarea functiilor reale de o Descriere. Se vor descrie diferite metode de Inf
variabila reala interpolare (globala si piecewise) pentru aproximarea Inf Apl
(Interpolation and Approximation of Real functiilor reale, se vor prezenta algoritmii de rezolvare Inf Eng
Functions with One Variable) si se vor implementa in diferite limbaje de programare.
Aplicatie: Se vor aproxima prin interpolare functii
concrete.
Coordonator : conf.dr. Cristina Mindruta (cmindruta@info.uvt.ro)

crt
1 Cadru generic pentru alocarea unei resurse Inf
(Generic Framework for Resource Allocation) Scop: Se va dezvolta un software reutilizabil, din Inf Apl
categoria cadru (framework) pentru aplicaţii, ce să Inf Eng
permită dezvoltarea de aplicaţii pentru gestionarea
alocării unei resurse pe baza unui algoritm specific
fiecărei aplicaţii.
Cunoştinţe: Modalităţile de reutilizare a software-lui şi,
în particular, caracteristicile specifice cadrelor pentru
aplicaţii şi ale sistemelor pentru gestionarea alocării de
resurse. Limbaj de programare OO. (ex. Java)
Instrumente: IDE clasice pentru dezvoltare de aplicaţii
OO.
2-7 Aplicaţie bazată pe PureMVC framework Inf

Scop: Se va studia PureMVC framework şi portările Inf Apl
(Application Based on PureMVC Framework) sale pe diverse limbaje (ex. ActionScript, Java, C#, Inf Eng
PHP, Python, Ruby). Se va alege o portare şi se va
dezvolta o aplicaţie.
Cunoştinţe: Arhitectura MVC. Limbaj de programare
suportat de PureMVC.
OO.
8 Asistent software pentru realizarea prototipului UI Scop: Se va dezvolta un instrument software pentru Inf
(Software Assistant for UI Prototype Design) generarea de ecrane utilizator şi de scenarii de Inf Apl
compunere a acestora. De asemenea, instrumentul va Inf Eng
permite prezentarea acestor scenarii în vederea
validării prototipului UI creat cu ajutorul instrumentului.
Cunoştinţe: Programare.
software
9 Asistent software pentru realizarea raportului de Scop: Se va dezvolta un instrument software pentru Inf
testare. generarea raportului de testare a unei aplicaţii Inf Apl
(Software Assistant for Generating Testing software. Instrumentul va permite definirea de cazuri Inf Eng
Reports) de testare, aplicarea acestora şi generarea automată a
raportului de testare corespunzător.
Cunoştinţe: Problematica testării aplicaţiilor software.
Programare.
software.
10 Asistent software pentru realizarea documentaţiei Inf

aplicaţiilor software. Scop: Se va dezvolta un instrument software suport Inf Apl
(Software Assistant for Generating the pentru procesul de realizare a documentaţiei unei Inf Eng
Documentation of Software Applications) aplicaţii software. Instrumentul va dirija procesul de
întocmire a documentaţiei aplicaţiei software pe
parcursul întregului proces de dezvoltare de software.
De asemenea, va oferi o colecţie de şabloane pentru
documentele ce trebuie elaborate şi posibilitatea de a
importa documente realizate cu alte instrumente.
Cunoştinţe: Procesul de dezvoltare de software şi
documentaţia de elaborat specifică fiecărei etape.
software.
Coordonator: Conf.dr. Florin Fortis (fortis@info.uvt.ro)

crt
1-4 CMS matrix Aceste lucrari sunt orientate spre aspectele de utilizare a diferitelor Inf
sisteme CMS curente. Sunt avute in vedere Inf Apl
• identificarea cerintelor sistemelor CMS curente Inf Eng
• compararea unor sisteme CMS satisfacand cerinte similare din
punct de vedere al utilizarii, instalarii, functionarii, implementarii
de functii noi, etc.
Partea aplicativa a lucrarilor va consta in implementarea unor parti dintr-
un site complex, orientat spre cerintele Departamentului de Informatica, in
diferitele CMS care fac subiectul comparatiei.
Vor fi emise recomandari asupra sistemelor CMS sau facilitatilor
necesare pentru implementarea unor aplicatii cu continut educational.
Subtitluri propuse :
1. arhitectura sistemelor CMS – orientata spre dezvoltarea unui
sistem CMS simplu, urmand principiile generale ale aplicatiilor
CMS
2. facilitatile sistemelor CMS – orientata spre realizarea unei
comparatii functionale intre 3-5 sisteme CMS de baza, prin
implementarea unui set de functionalitati prestabilit
3. extensibilitatea sistemelor CMS – orientata spre dezvoltarea de
noi componente integrabile in sistemele CMS alese pentru
dezvoltarea lucrarii
4. sisteme CMS pentru aplicatii de e-learning – oferind o privire de
ansamblu asupra sistemelor CMS/LMS, precum si posibilitati de
utilizare a acestora pentru implementarea unor taskuri specifice.
5-8 Formulare inteligente si Dezvoltarea de aplicatii bazate pe integrarea tehologiilor XML: XForms. Inf
integrarea acestora in aplicatii Aplicatiile XForms ofera un model de programare bazat pe evenimente. Inf Apl
web Usor integrabile cu alte tehnologii bazate pe XML, aplicatiile XForms Inf Eng
(Inteligent Sheets and their ofera suportul ideal pentru dezvoltarea noii generatii de interfete
Integration in Web inteligente.
Applications)
XSLT ofera mecanisme avansate pentru transformarea informatiile intre
diferite formate bazate pe XML (si nu numai). Transformarile XLST pot fi
integrate in aplicatii bazate pe formulare inteligente, sau pot oferi
mecanisme de mediere intre diferite formate sau mijloace de transport.
In contextul lucrarii poate fi dezvoltat un XSLT Sandbox, sau pot fi
dezvoltate mecanisme de integrare a altor aplicatii deja existente.
XML Formatting objects ofera mecanisme avansate de transformare a

documentelor XML. Lucrand impreuna cu alte tehnologii XML, XML-FO
ofera posibilitatea de a dezvolta aplicatii capabile sa genereze documente
in diferite formate (ex. PDF)
Cunostinte necesare: elemente de programare Web, elemente

javascript., C/Java. Tehnologii recomandate pentru utilizare: platforma
ORBEON, Apache Synapse, Apache-FOP
Urmatoarele subtitluri pot fi avute in vedere:

5. dezvoltarea interfetelor inteligente folosind XForms -- orientata
spre oferirea informatiilor de baza necesare pentru dezvoltarea
aplicatiilor XForms, si integrarea acestora in aplicatii web
complexe (suport tehnologic: ORBEON)
6. transformari de documente folosind XSLT – orientata spre
oferirea mijloacelor de transformare a documentelor pe baza unui
set de reguli predefinit prin sabloane XSLT (suport tehnologic:
Synapse)
7. “Formatting Objects” – ultimul pas in procesul de transformare
implementat prin XSLT, ofera mecanismele “tipografice” pentru a
genera/formata obiecte complexe, functie de specificatiile
suportate de tehnologia destinatie (suport tehnologic: Apache-
FOP).
8. Baze de date bazate pe XML – suport tehnologic eXist.
9 Metode de implementare a Serviciile WEB sunt componenta centrala a dezvoltarii WEB 2.0. Scopul Inf
serviciilor WEB folosind Java lucrarii este de a prezenta principii de baza pentru dezvoltarea de aplicatii Inf Apl
(Methods for Implementing WS-*, demonstrarea acestor principii realizandu-se prin intermediul unor Inf Eng
Web Services using Java) framework-uri bazate pe Java: CXF, Ajax.
10 Metode de implementare a Serviciile WEB sunt componenta centrala a dezvoltarii WEB 2.0. Scopul Inf
serviciilor WEB folosind C/PHP lucrarii este de a prezenta principii de baza pentru dezvoltarea de aplicatii Inf Apl
(Methods for Implementing WS-*, demonstrarea acestor principii realizandu-se prin intermediul unor Inf Eng
Web Services using C/PHP) framework-uri bazate pe C/PHP: gSOAP, WSO2, PHP-SOAP.
11- Platforme MVC Dezvoltarea rapida a aplicatiilor si modelul arhitectural MVC ofera o serie Inf
14 (MVC Platforms) de beneficii in dezvoltarea actuala a aplicatiilor web. O serie de platforme Inf Apl
si tehnologii sunt avute in vedere pentru aceasta suita de lucrari. Inf Eng
Cunostinte necesare: HTML, CSS, PHP, JavaScript. Informatii AJAX
Titluri disponibile:
11. Dezvoltarea aplicatiilor WEB folosind corMVC – corMVC ofera un
framework MVC orientat spre dezvoltarea aplicatiilor jQUERY,
bazat pe ColdFusion.
12. Dezvoltarea aplicatiilor WEB folosind cakePHP – cakePHP ofera
un framework bazat pe o arhitectura MVC destinat dezvoltarii
rapide a aplicatiilor PHP. Facilitatile oferite de framework il
recomanda pentru utilizari specifice.
13. Dezvoltarea aplicatiilor REST – utilizarea conceptelor REST in
vederea dezvoltarii aplicatiilor WEB, folosind framework-uri
specifice : RECESS PHP.
14. Dezvoltarea aplicatiilor AJAX – integrarea dintre XML si
JavaScript, intr-o maniera asincrona este posibila prin
implementarea unor biblioteci JavaScript specifice: jQUERY,
prototyps-js, sau utilizarea “pura”, bazata pe xmlhttprequest.
Coordonator: Lect. dr. Alexandru Ionica (ionica@info.uvt.ro)

crt
1 Metode de analiză şi proiectare a algoritmilor Descriere metode,clase de algoritmi aferente anumitei Inf
(I,II) metode,optimalitatea metodelor pe diverse clase Inf Apl
algoritmice
2 Algoritmi polinomiali de generare a submultimilor Algoritmi clasici de generare secvenţială,algoritmi Inf
discrete finite propuşi pentru generarea vectorială şi Inf Apl
matriceală,optimalitate
3 Algoritmi combinatoriali.Proiectare şi analiză. Algoritmi combinatoriali clasici care,local,pot fi înlocuiţi Inf
cu algoritmi având comportare,în cea ce priveşte timpul Inf Apl
de execuţie,polinomială
4 Algoritmi recursivi.Modalităţi de proiectare şi Principalele clase de algoritmi recursivi,modalităţile de Inf
analiză proiectare optimă Inf Apl
5 Probleme de ordonantare si coordonare. Drumuri Algoritmi care precizează ordinea de execuţie a anumitor Inf
in retele operaţii,în rezolvarea unor probleme concrete,pentru a Inf Apl
minimiza timpul de căutare a soluţiei,sau
soluţiilor,căutate.
6 Circuite hamiltoniene in grafuri complete Algoritmi optimali de generare a circuitelor hamiltoniene Inf
poligonale pentru grafurile poligonale planare cu metrică euclidiană. Inf Apl
7 Teoria jocurilor de strategie Teoria jocurilor.Algoritmi pentru stabilirea strategiei Inf
optime la jocurile de două personae,condiţionate Inf Apl
dynamic.
8 Matrici fundamentale asociate unui graf.Algoritmi Algoritmica grafurilor Inf
de generare şi analiză Inf Apl
9 Metode de proiectare si rezolvare modelelor Modelare algoritmică a unor probleme economice Inf
economice Inf Apl
10 Optimizare flexibila Optimizare Inf
Inf Apl
11 Explorări în grafuri orientate şi neorientate Algoritmi de determinare a unor elemente specifice Inf
Inf Apl
12 Elemente esenţiale în teoria grafurilor Se pune în evidenţă modalitatea de utilizare cea mai Inf
optimă a principalelor elemente din teoria grafurilor în Inf Apl
rezolvarea diverselor probleme de optimizare
matematică şi economică
Coordonator: Lect.dr. Stelian Mihalas (smihalas@info.uvt.ro)

crt
1 Vizualizarea algoritmilor de conversie binară a O conversie (imersiune) binară (binary embedding) a unei Inf
taxonomiilor ierarhice taxonomii ierarhice (reprezentată ca rooted tree) este o Inf Apl
(Visualization of the Algorithms for Binary funcţie care păstrează relaţia de ordine parţială, este Inf
Conversion of Hierarchical Taxonomies) definită pe mulţimea nodurilor taxonomiei şi ia valori în Eng
mulţimea (0, 2^n). Scopul acestei lucrări este de a
implementa un program de vizualizare a arborilor precum
şi de vizualizare a fazelor intermediare de acţiune a
algoritmilor de conversie (imersiune) binară.
2 Algoritmi de inserţie şi ştergere în taxonomii O conversie (imersiune) binară (binary embedding) a unei Inf
ierarhice şi vizualizarea efectelor asupra taxonomii ierarhice (reprezentată ca rooted tree) este o Inf Apl
procedurii de conversie binară funcţie care păstrează relaţia de ordine parţială, este Inf
(Algorithms for Insertion and Deletion in definită pe mulţimea nodurilor taxonomiei şi ia valori în Eng
Hierarchical Taxonomies) mulţimea (0, 2^n). Scopul acestei lucrări este de a
adapta programul de vizualizare a arborilor şi a fazelor
intermediare de acţiune a algoritmilor de conversie
(imersiune) binară pentru operaţii de inserţie şi ştergere
ale nodurilor.
3 Bootloader pentru sistemul de operare FLAK, FLAK este un sistem de operare rapid pentru sisteme cu Inf
procesoare IA64 procesoare de 64 bits, bazat pe nucleul Linux. Scopul Inf Apl
(Bootloader for the FLAK Operating System, acestei lucrări este de a adapta bootloader-ul sistemului Inf
IA64 processors) de operare Debian, versiunea 4.0 (4.1) pentru arhitectura Eng
Itanium, la mediul FLAK.
Instrumente: assembler IA64, C
4 Bootloader pentru sistemul de operare FLAK, FLAK este un sistem de operare rapid pentru sisteme cu Inf
procesoare OPTERON (AMD64) procesoare de 64 bits, bazat pe nucleul Linux. Scopul Inf Apl
(Bootloader for the FLAK Operating System, acestei lucrări este de a adapta bootloader-ul sistemului Inf
OPTERON (AMD64) processors) de operare Debian versiunea 4.0 (4.1) pentru arhitectura Eng
AMD64, la mediul FLAK.
Instrumente: assembler AMD64, C
5 Specificaţia unui protocol universal de UTP – Universal Transfer Protocol este un protocol de Inf
comunicaţie (UTP) pentru arhitecturi de 64 bits comunicaţie adaptat la o arhitectură de 64 de bits. Scopul Inf Apl
(Specification of a Universal Communication acestei lucrări este editarea unui RFC (Request for Inf
Protocol for 64 bits Architectures) Comments) care să conţină specificaţia acestui protocol. Eng
6 Implementarea protocolului UTP pentru Scopul acestei lucrări este implementarea funcţionalităţii Inf
procesoare de tip IA64, în contextul sistemului protocolului UTP şi variaţiilor sale în cadrul sistemului de Inf Apl
de operare FLAK operare FLAK, versiunea pentru procesoare de tip PA- Inf
(Implementing the UTP Protocol for IA64 8X00. Eng
protocols in the context of FLAK Operating Instrumente: assembler IA64, C
System)
7 Implementarea protocolului UTP pentru Scopul acestei lucrări este implementarea funcţionalităţii Inf
procersoare de tip AMD64, în contextul protocolului UTP şi variaţiilor sale în cadrul sistemului de Inf Apl
sistemului de operare FLAK operare FLAK, versiunea pentru procesoare de tip PA- Inf
(Implementing the UTP Protocol for AMD64 8X00. Eng
protocols in the context of FLAK Operating Instrumente: assembler AMD64, C
System)
8 Sistemul de operare FLAK – user experience Definirea unui sistem de reguli simplificat şi universal Inf
(FLAK Operating System – user experience) pentru interfaţa sistemului de operare FLAK cu Inf Apl
utilizatorul, în contextul stratificării entităţilor informatice Inf
pe mai multe nivele. Eng
9 Implementarea unei publicaţii ştiinţifice Scopul acestei lucrări este definirea şi implementarea Inf
electronice utilizând infrastructura Open Journal unui template pentru o publicaţie ştiinţifică electronică Inf Apl
System bazată pe infrastructura oferită de Open Journal System. Inf
(Implementing an Electronic Scientific Journal Instrumente: php, html, css, mysql Eng
using the Open Journal System
Infrastructure)
10 Componentă Joomla pentru prezentarea unei O componentă Joomla constă din partea de back-end Inf
ţări – geografie, economie, politică, cultură (administrare resurse – în principal, tabele în o bază de Inf Apl
(Joomla Component for the Presentation of a date) precum şi partea de front-end (accesibilă Inf
Country – Geograhy, Economics, Politics, utilizatorilor). Eng
Culture) Instrumente: php, html, css, joomla CMS
Coordonator: Lect.dr. Adriana Popovici (apopovic@info.uvt.ro)

crt
Definirea procesorului, precizarea elementelor Inf
componente. Evolutia in timp a procesoarelor. Liderii Inf Apl
Procesorul – Creierul calculatorului
1. producatorilor de procesoare. Caracteristici. Comparatii. Inf
(The Processor – the Computer Brain)
Principii de functionare. Realizarea unui soft pentru Eng
testarea unui procesor.
O scurta descriere a evolutiei in timp. Definitii, Inf
caracteristici ale memoriei. Clasificari. Firme Inf Apl
Memoria unui sistem de calcul
2. producatoare. Compatibilitate. Testarea memoriei unui Inf
(Computer Memory)
sistem de calcul. Eng
Definirea si precizarea rolului acestora. Clasificarea

Inf
dispozitivelor tinand cont de diverse criterii. Tipuri.
Inf Apl
Dispozitivele periferice ale unui sistem de calcul Descrierea functionalitatii acestora. Realizarea unei
3. Inf
(Computer External Devices) aplicatii pentru testarea functionalitatii unui dispozitiv
Eng
periferic.
Definirea conceptului. Rolul magistralelor in cadrul unui Inf

sistem de calcul. Elementele definitorii ale unei Inf Apl
Magistralele unui sistem de calcul
4. magistrale. Tipuri de magistrale si descrierea acestora. Inf
(Computer Buses)
Eng
Definirea interfetelor de intrare-iesire. Rolul acestora si

Inf
elementele componente. Clasificare. Descrierea modului
Inf Apl
Interfete de intrare-iesire de functionare in functie de tipul de transfer adoptat.
5. Inf
(I/O Interfaces) Protocol de comunicatie. Proiectarea unei interfete de
Eng
intrare-iesire. Testare.
Descrierea unui limbaj de asamblare. Avantajele si Inf

dezavantajele programării în limbaj de asamblare. Inf Apl
Programare în limbaj de asamblare
6. Realizarea unei aplicatii care să ilustreze utilitatea Inf
(Assembling Languages)
programării în limbaj de asamblare Eng
Definire. Precizarea rolului dispozitivelor multimedia. Inf

Tipuri si descrierea functionalitatii acestora. Mari firme Inf Apl
Dispozitive multimedia
7. producatoare. Inf
(Multimedia Devices)
Eng
Definitie. Principalele elemente componente si descrierea Inf

Placa de baza – coloana vertebrala a unui acestora. Compatibilitate cu celelalte componente ale Inf Apl
8. sistem de calcul sistemului de calcul. Mari firme producatoare. Montare. Inf
(Mainboard – the Computer Backbone) Detectarea defectelor. Eng
Definire. Precizarea rolului sau in cadrul sistemului de Inf

calcul. Elemente componente. Descrierea functionalitatii. Inf Apl
Hard-discul unui calculator
9. Mari firme producatoare. Detectarea defectelor. Metode Inf
(Hard-disks)
de recuperare a informatiilor. Eng
Coordonator: Lect. drd. Gheorghe Petrov (petrov@info.uvt.ro)

crt
1 "Data Mining" pentru baze de date spatiale. Inf
2 Modelarea structurilor spatiale si indexarea in Inf

baze de date spatiale.
3 Procesul de cautare si optimizarea filtrelor in baze Inf
de date spatiale.
4 Retele spatiale. Algoritmica grafurilor in baze de Inf

date spatiale.
5 "Data Wherehouse" in baze de date spatiale. Inf
6 Baze de date spatiale. Mapcube. Inf

7 Sisteme informatice Geografice. Inf
Coordonator: Lect. dr. Horia Popa (hpopa@info.uvt.ro)

crt
1 Crearea de pagini HTML cu acces la baze de Magazin virtual. Programe PHP şi instrucţiuni MySQL. Inf
date folosind PHP si MySQL Pagini HTML. Eventual Javascript.
2 Bază de date pentru evidenţa lucrărilor Crearea unei baze de date care conţine lucrările ştiinţifice
ştiinţifice cu interfaţă de administrare web ale departamentului de informatică şi a unei interfeţe web
sau a unei aplicaţii pentru administrarea ei şi obţinerea de
rapoarte uşor exportabile în Word şi/sau LaTeX.
Implementare în Oracle sau Access sau Excel şi Java sau
Visual Basic sau Visual C++ (2 persoane)
3 Crearea de pagini HTML cu acces la baze de Diverse proiecte alese de studenţi care să folosească Inf
date folosind servlet-uri Java. servleturi Java sau JSP şi/sau baze de date MySQL sau
Oracle
4 Crearea si publicarea de pagini pe Internet Diverse proiecte alese de studenţi care să folosească Inf
folosind Macromedia Flash facilităţile de programare Flash
5 Crearea de pagini pe Internet folosind Diverse proiecte alese de studenţi care să folosească Inf
Dreamweaver facilităţile de generare de pagini web oferite de utilitarul
Dreamweaver
6 Crearea de pagini web folosind FrontPage şi Diverse proiecte alese de studenţi care să folosească Inf
Xara. facilităţile de generare de pagini web oferite de utilitarele
FrontPage şi Xara
7 Administrarea Windows 2000 folosind scripturi Teorie despre administrarea reţelelor Windows, biblioteci Inf
Perl. de funcţii PERL, scripturi PERL, aplicaţie: constituirea unui
set de scripturi PERL pentru cele mai uzuale operaţii
necesare în administrarea unei reţele locale
8 Administrarea Windows 2000 folosind scripturi Teorie despre administrarea reţelelor Windows, comenzi Inf,
de comenzi MSDOS si de retea. MSDOS, scripturi MSDOS, aplicaţie: constituirea unui set
de scripturi MSDOS pentru cele mai uzuale operaţii
necesare în administrarea unei reţele locale
9 Configurare si utilizare Active Directory in Administrarea reţelelor Windows (teorie), aplicaţie în Java Inf,
Windows 2000. sau Visual Basic pentru administrare Active Directory
10 Configurarea si administrarea unui director Administrarea reţelelor Linux Inf,
LDAP, folosirea acestuia in
autentificarea utilizatorilor intr-o retea locala.
11 Client LDAP pentru cautarea si modificarea Administrarea reţelelor Linux / Windows; programare Java Inf,
unui director LDAP (in Java/ alt limbaj).
12 Algoritmi de string searching distribuiti. Algoritmică Inf,
13 Algoritmi de string searching paraleli Algoritmică, calcul paralel, PVM, limbajul C/C++ Inf,
14 Unelte de indexare a unei pagini web. Inventariere utilitare de datamining şi string searching, Inf,
aplicaţie prin exemlificarea unei aplicaţii realizare de
interfaţa grafică sau web pentru ea în Java sau C++ sau
Visual Basic
15 Unelte bazate pe ontologii pentru extragerea Inventariere utilitare de datamining şi string searching, Inf,
de date din pagini web. aplicaţie prin exemlificarea unei aplicaţii realizare de
interfaţa grafică sau web pentru ea în Java sau C++ sau
Visual Basic
16 E-learning cu implementare în Java/Javascript, Teorie generală despre e-learning, realizarea unui site Inf,
Html pentru învăţarea unei discipline oarecare (la alegerea
studentului) folosind JSP, servleturi, baze de date,
programare client-server
17 E-learning cu implementare în Dreamweaver şi Teorie generală despre e-learning, realizarea unui site Inf,
CourseBuilder. pentru învăţarea unei discipline oarecare (la alegerea
studentului) folosind pluginul CourseBuilder pentru
Dreamweaver în realizarea siteului, descrierea utilitarelor
folosite
18 Aplicaţii economice sau bancare cu Sisteme expert în JESS. Programare Java. Inf,
implementare în JESS
19 Aplicaţii economice sau bancare cu Sisteme expert în CLIPS. Programare C. Inf,
implementare în CLIPS
20 Crearea de pagini HTML cu acces la baze de Programare Java, baze de date MySQL, Oracle sau Inf, MI
date folosind servlet-uri Java. Access
Coordonator: lect.dr.Daniel Pop (danielpop@info.uvt.ro)

crt
1 Data Mining Standards Volumul mare de date digitale acumulate in ultimii ani a Inf
dus la o explozie de algoritmi si tehnici pentru analiza Inf Apl
acestora. Din pacate, diferite tehnici "asteapta" datele de Inf
intrare in formate diferite si produc modele similare, dar cu Eng
reprezentari diferite. Ca atare, aceste modele nu sunt inter-
operabile, necesitand pre-procesari si conversii
costisitoare. In ultimul timp, marile organizatii de
standardizare in domeniul IT (OMG, ISO etc), precum si
importante firme de software (Microsoft, Sun etc) au pus la
punct mai multe standarde pentru Data Mining (procesul
netrivial de extragere a cunostintelor utile, noi din seturi de
date de mari dimensiuni). Amintesc doar CRISP (Cross
Industry Standard Process for DM), CWM (Common
Warehouse Metadata) de la OMG, OLE DB for Data Mining
de la Microsoft, PMML (Predictive Model Markup
Language) de la DMG, JDMAPI (Java Data Mining API)
sau SQL / MM a celor de la ISO/IEC.
Scopul lucrarii este sintetizarea acestor standarde, precum
si un studiu
comparativ al lor.
Deprinderi: Capacitate de analiza si comparatie
Instrumente: SQL
2 Tehnici avansate in grafica 3D in OPENGL Pentru proiectarea si implementarea unor aplicatii grafice Inf
(Advanced 3D Graphics Techniques in 3D de inalta Inf Apl
OPENGL) calitate sunt puse la dispozitia dezvoltatorilor mai multe Inf
biblioteci si/sau limbaje de programare. OPENGL este o Eng
biblioteca portabila ce ofera facilitati pentru realizarea
scenelor 3D de inalta calitate. Unele facilitati puse la
dispozitie de aceasta biblioteca necesita o atentie
deosebita, cum ar fi: curbele si suprafetele Nurbs, buffere
de acumulare, polygon tesselation.
Scopul lucrarii este studiul si aplicarea acestor tehnici in
vederea realizarii unei aplicatii demonstrative 3D.
Deprinderi: Grafica, Geometrie, Programare functionala
(sau orientata
obiect)
Instrumente: C/C++/Java
3 Descoperirea incrementala a regulilor de Descoperirea regulilor de asociere are ca scop gasirea Inf
asociere in seturi mari de date relatiilor de asociere intre diverese articole dintr-o baza de Inf Apl
(Incremental Discovery of Association Rules in date. Cea mai cunoscuta aplicatie a acestei tehnici este Inf
Large Datasets) problema analizei cosului de cumparaturi (market basket Eng
analysis). Regulile de asociere au forma X => Y, unde X si
Y sunt seturi de articole disjuncte. Cu toate ca un numar
mare de algoritmi au fost propusi pentru rezolvarea acestei
probleme, ramane deschisa problema update-ului
incremental al setului de reguli deja descoperite.
Scopul lucrarii este trecerea in revista a problematicii
update-ului
incremental al setului de reguli, propunerea si
experimentarea unor algoritmi noi (sau imbunatatiri a celor
existenti) pentru aceasta problema.
Deprinderi: Inteligenta artificiala, Machine Learning, Baze
de date
4 Construirea incrementala a arborilor de decizie De mai bine de un deceniu, arborii de decizie sunt frecvent Inf
din seturi mari de date utilizati in Inf Apl
(Incremental Construction of Decision Trees Problemele de clasificare supervizata precum si in Inf
from Large Datasets) problemele de regresie. Au fost propusi numerosi algoritmi Eng
pentru constructia automata a acestora pe baza unui set
de date (de mari sau mici dimensiuni). Printre cei mai
cunoscuti se numara ID3/C4.5/C5, SLIQ/SPRINT etc. O
problema deschisa si care nu a primit prea mult atentie se
refera la update-ul incremental al unui arbore deja existent.
Scopul lucrarii este trecerea in revista a problematicii si a
abordarilor
existente. Obiectivul imediat este cel al propunerii unui nou
algoritm sau imbuntatirea unuia existent pentru a suporta
update-ul in cazul unor seturi de date de mari dimensiuni.
de date
5 Unelte CASE pentru constructia sistemelor Expert System Creator este un mediu de dezvoltare pentru Inf
expert construirea Inf Apl
(CASE Tooles for Expert Systems sistemelor expert dezvoltat in Java. Inf
Construction) Obiectivul lucrarii este extinderea acestui sistem cu noi Eng
facilitati legate de generarea sistemelor create (in forma
descriptiva + interpretor), generarea de interfete (Web) de
acces la aceste bean-uri generate, implementarea altor
algoritmi pentru construirea automata a modelelor de
cunostinte, implementarea unor modele calitative pentru
modelele de cunostinte create, precum si alte extensii
Deprinderi: Inteligenta artificiala
Instrumente: Java
6 Web Mining Cea mai mare baza de date disponibila in zilele noastre Inf
este Internetul. Inf Apl
Cantitatea uriasa de informatie disponibila este prezentata Inf
intr-o forma slab structurata. O prezentare "adaptiva" a Eng
informatiei, care sa vina in intimpinarea dorintelor si
asteptarilor vizitatorului va duce la creseterea numarului de
vizitatori ai unui site, si ca urmare a popularitatii acelui site,
acesta fiind un factor economic determinant pentru
firma/institutia respectiva. Analiza fisierelor de log a
serverului de Web permite construirea de modele de
predictie si clasificare a vizitatorilor unui
site.
Lucrarea are ca scop sintetizarea "starii de arta" in
domeniu, prezentarea suportului teoretic, analiza tool-urilor
existente pe piata, precum si implementarea unor extensii
pachetelor free existente (Analog, WUM 7.0 etc.).
de date
7 Analiza calitatii sistemelor software orientate Sistemele software proiectate orientat obiect au cunoscut o Inf
obiect larga raspandire, dimensiunile si complexitatea acestora Inf Apl
(Quality Analysis of Object Oriented Software fiind din ce in ce mai apreciabile si greu de tratat. O seama Inf
Systems) de metodologii si tehnici pentru analiza corectitudinii lor au Eng
fost elaborate. Scopul lucrarii este analiza metodologiilor
de evaluare a sistemelor orientate obiect, metricile
orientate obiect si identificarea celor mai frecvente defecte
in sistemele orientate obiect.
Deprinderi: Programare orientata obiect
Instrumente: Visual C++/Java
Coordonator: lect. Dr. Adrian Craciun (acraciun@info.uvt.ro)
1 Rewriting Modulo Theories "Equational reasoning is an important component in symbolic Inf

algebra, automated deduction, high-level programming languages, Inf
program verification, and artificial intelligence. Reasoning with Eng
equations involves deriving consequences of given equations and
finding values for variables that satisfy a given equation. Rewriting
is a very powerful method for dealing with equations.
Directed equations, called rewrite rules, are used to replace
equals by equals, but only in the indicated direction. The theory of
rewriting centers around the concept of normal form, an
expression that cannot be rewritten any further. Computation
consists of rewriting to a normal form; when the normal form is
unique, it is taken as the value of the initial expression. When
rewriting equal terms always leads to the same normal form, the
set of rules is said to be convergent and rewriting can be used to
check for equality." -- rewriting.loria.fr
The purpose of this thesis is to study extensions of rewriting that

are able to deal with common problems such as nontermination,
weaknesses of first-order equational logic, etc.
2 Model Checking Consider the problem: Given a model of a system, test Inf
automatically whether this model meets a given specification. Inf
Typically, the systems one has in mind are hardware or software Eng
systems, and the specification contains safety requirements such
as the absence of deadlocks and similar critical states that can
cause the system to crash.
In order to solve such a problem algorithmically, both the model of
the system and the specification are formulated in some precise
mathematical language: To this end, it is formulated as a task in
logic, namely to check whether a given structure satisfies a given
logical formula. The concept is general and applies to all kinds of
logics and suitable structures. A simple model-checking problem is
verifying whether a given formula in the propositional logic is
satisfied by a given structure.
The purpose of this thesis is to study the theoretical fundamentals

of the subject and to apply them in an example.
3 Computing Groebner Bases The method of Groebner bases is an algorithmic method in Inf
multivariate polynomial rings, introduced by Bruno Buchberger in Inf
1965. It has numerous applications in polynomial ideal problems Eng
(ideal membership, ideal inclusion), solving systems of polynomial
equations, etc. Groebner bases proved useful in many domains:
algebraic geometry, functional analysis, coding theory,
cryptography, program verification, symbolic summation, theorem
proving, combinatorics, graph theory. The algorithm is
implemented in many computer algebra systems (Mathematica,
Maple, CoCoA, Macaulay, Singular, etc.).
The purpose of this thesis is the implementation of an algorithm

for computing Groebner bases.
Previous knowledge: logic, mathematical thinking, algebra,

programming (C++, C, or related).
4 Applications of Groebner Bases The method of Groebner bases is an algorithmic method in Inf
multivariate polynomial rings, introduced by Bruno Buchberger in Inf
1965. It has numerous applications in polynomial ideal problems Eng
(ideal membership, ideal inclusion), solving systems
of polynomial equations, etc. Groebner bases proved useful in
many domains: algebraic geometry, functional analysis, coding
theory, cryptography, program verification, symbolic
summation, theorem proving, combinatorics, graph theory. The
algorithm is implemented in many computer algebra systems
(Mathematica, Maple, CoCoA, Macaulay, Singular, etc.).
The purpose of this thesis is to explore possible applications of

Groebner bases (theorem proving in geometry, solving systems of
equations, etc.).
Previous knowledge: logic, mathematical thinking, algebra,

programming (C++, C, or related).
5 Equational Unification Equational unification is concerned with the satisfiability problem Inf
w.r.t. a fixed set of identities. Equational unification generalizes Inf
syntactic unification by taking into account semantic properties of Eng
function symbols (described by the set of identities). Equational
unification is a very useful
tool in term rewriting, theorem proving and logic programming.
The aim of this thesis is to study the theoretical foundations and to

implement
equational unification.
6 Logical Frameworks A logical framework is a formal meta-language for deductive Inf
systems. The primary tasks supported in logical frameworks to Inf
varying degrees are Eng
* specification of deductive systems,
* search for derivations within deductive systems,
* meta-programming of algorithms pertaining to deductive
systems,
* proving meta-theorems about deductive systems.
The purpose of thesis is the study of the formalism and its

application to systematic theory exploration.
7 Higher Order Unification and Matching Higher-order unification is the problem: given an equation t = u Inf
containing free variables, is there a solution substitution \sigma˜ Inf
such that t\sigma˜ and u\sigma˜ have the same normal form? The Eng
terms are drawn from the simply typed lambda calculus. Higher
order matching is the particular instance: when the term u is
closed, can t be pattern matched to u? Although higher-order
unification is undecidable (even if
free variables are only second-order), higher-order matching was
conjectured to be decidable by Huet.
The aim of this thesis is to study the theoretical foundations and to

implement higher order unification/matching, and apply the
implementation in relevant examples.
8 Visualization methods for large libraries There are several formalize mathematical knowledge bases Inf
of mathematical knowledge available (e.g. the Mizar library, HELM). There are many Inf
computer-supported systems for doing mathematics. Yet these Eng
had little impact the way mathematicians work. This has partly to
do with the fact that these systems are hard to use. The aim of this
thesis is to investigate techniques to make large knowledge bases
of mathematics easier to navigate: define and implement (visual)
tools to navigate/explore such knowledge bases.
9 Normal Form Transformations Normal forms (canonical forms) play an important role in Inf
mathematics – either they provide information which is not directly Inf
derivable from arbitrary forms or they allow more efficient Eng
computation. In computational logic (automated deduction)
normal form transformations reduce the problem in first order logic
to simple calculi (resolution, paramodulation), which are more
appropriate for mechanical manipulation.
The purpose of this thesis is the study and implementation of

various normal forms, with special focus on obtaining small normal
forms
10 Topics proposed by students I will also accept to supervise topics proposed by students, Inf
provided that I'm in position to do so, i.e. topics covered are logic, Inf
logic programming, constraint solving, theorem proving, computer Eng
algebra.
OBSERVATII: Lucrarile se adreseaza studentilor (licenta/master) de la Romana sau Engleza. Cunoasterea limbii engleze
este insa esentiala pentru parcurgerea materialelor bibliografice. Conditiile de lucru sunt descrise la
http://web.info.uvt.ro/~acraciun/lectures/studentsHowTo.pdf
In particular, se va lucra PE TOT PARCURSUL ANULUI (subiectele sunt de asa natura incat nu pot fi completate in timp
mai scurt) studentii ce lucreaza cu mine isi vor aloca 2 ore pe saptamana pentru un seminar special, PLUS timpul
necesar lucrului la subiectul ales!
Coordonator: lect.dr. Gabriel Istrate (gabrieli@ieat.ro) , lect.dr. Cosmin Bonchis(cbonchis@info.uvt.ro)

1 Algoritmi de tip belief propagation si survey Se vor implementa si evalua experimental algoritmii de tip Inf
propagation pentru BP si SP pentru problema 3-colorarii unui graf. Inf
probleme cu constrangeri. Eng
(Belief and Survey Propagation Algorithms for
Constrained Problems)
2 Modelarea dinamicii conexiunilor TCP. Se va implementa si evalua experimental modelul Inf

(Modelling of TCP Connections Dynamics) RESTORED pentru conexiunile TCP. Inf
Eng
3 Algoritmi pentru problema satisfiabilitatii. Se va implementa si evalua experimental algoritmul Inf

(Algorithms for Satisfiability Problem) Monien-Speckenmeyer pentru problema 3-SAT. Evaluarea Inf
se va face pe instante aleatoare Eng
3-SAT, observandu-se tranzitia de faza.
4 Simulator si simulari pentru Jocul Minoritatii. Jocul Minoritatii este un model teoretic din Mecanica Inf
(Simulator for the Minority Game) Statistica, cu proprietati similare celor observate Inf
experimental in pietele de capital. Eng
Obiectivul proiectului este implementarea unui simulator
pentru Jocul Minoritatii in care functia minoritate este
inlocuit cu o functie booleana simetrica arbitrara. Se vor
evalua experimental proprietatile dinamicii in cateva cazuri
5 Evaluarea experimentala a unor algoritmi de Se vor implementa si evalua experimental un algoritm de Inf
aproximare pentru problema MAX-SAT. aproximare pentru problema MAX-SAT. Evaluarea se va Inf
(Experimental Evaluation of Approximation face comparativ cu solutiile Eng
Algorithms for MAX-SAT) optimale obtinute cu o varietate de metode, incluzand
programarea in numere intregi (exista biblioteci
disponibile).
6 Structura de date skip graph. Se va prezenta, implementa si evalua experimental Inf
(Skip Graphs) structura de date skip graph. Inf
Eng
7 Metode de verificare formala Se vor prezenta algoritmii de verificare formala de tip Inf
(Model Checking). model checking. Se vor prezenta cazuri concrete folosind Inf
SPIN si NuSMV. Eng
8 Analiza competitiva a algoritmilor online. Se va prezenta metodologia analizei competitiva pentru Inf
(Competitive Algorithms for Online Algorithms) algoritmi online, precum si exemple de astfel de analiza. Inf
Se vor evalua experimental algoritmii propusi in Eng
demonstratia solutiilor partiale pentru problema k-server.
9 Euristici pentru problema echilibrului Nash Se vor defini si implementa euristici (bazate pe simulated Inf
mixt. annealing, extremal optimization sau metode similare) Inf
(Heuristics for the mixed Nash equilibrium) pentru problema gasirii unui echilibru Nash mixt. Se va Eng
analiza performanta acestor euristici pe instante aleatoare
de jocuri 2x2.
10 Automate aleatoare de tip arbore. Se vor prezenta automatele de tip arbore, precum si Inf
(Tree-like Random Automata) legatura cu verificarea formala (model checking). Se vor Inf
implementa automate aleatoare de tip arbore si evalua Eng
probabilitatea ca limbajul generat de un astfel de automat
sa fie vid, comparativ cu un caz dintr-o lucrare stiintifica
pusa la dispozitie de indrumator.
11 Evaluarea experimentala a unor algoritmi de Se vor implementa si evalua experimental un algoritm de Inf
aproximare pentru probleme de tip SET aproximare pentru probleme de tip SET COVER. Inf
COVER. Evaluarea se va face comparativ cu solutiile optimale Eng
(Experimental Evaluation of Approximation obtinute cu o varietate de metode, incluzand programarea
Algorithms for SET COVER) in numere intregi (exista biblioteci disponibile).
Coordonator: lect.dr. Eva Kaslik (kaslik@info.uvt.ro)
1. Criptografie cu ajutorul unor sisteme dinamice Se vor analiza si implementa metode de criptare bazate pe Inf
cu comportament haotic. sisteme dinamice discrete cu comportament haotic (ecuatia Inf Apl
(Criptography based on Dynamical Systems logistica, retele neuronale de tip Hopfield, etc.) Inf
with Chaotic Behaviour) Eng
2. Rezolvarea problemelor de optimizare folosind Implementarea unor algoritmi de optimizare folosind Inf
metodele Simulated Annealing si Quantum metodele Simulated Annealing si Quantum Annealing in Inf Apl
Annealing Maple, Matlab, C++, Java sau alt limbaj de programare. Inf
(Solving Optimization Problems with Simulated Aplicatii. Eng
Annealing and Quantum Annealing)
metoda Harmony Search metodele Harmony Search (inspirata din improvizarea in Inf Apl
(Solving Optimization Problems with Harmony muzica) in Maple, Matlab, C++, Java sau alt limbaj de Inf
Search) programare. Aplicatii (de exemplu: rezolvarea unui Eng
Sudoku).
metoda Differential Evolution metoda Differential Evolution in Maple, Matlab, C++, Java Inf Apl
(Solving Optimization Problems with sau alt limbaj de programare. Aplicatii. Inf
Differential Evolution) Eng
5. Metode numerice pentru rezolvarea ecuatiilor Se vor prezenta si se vor studia metodele numerice pentru Inf
diferentiale de ordin fractionar. rezolvarea numerica a ecuatiilor diferentiale de ordin Inf Apl
(Numerical Methods for Solving Differential fractionar, se vor implementa algoritmii de rezolvare Inf
Equations of Fractional Order) numerica in diferite limbaje de programare. Aplicatii. Eng
6. Metode numerice pentru rezolvarea ecuatiilor Se vor prezenta si se vor studia metodele numerice pentru Inf
diferentiale cu impulsuri. rezolvarea numerica a ecuatiilor diferentiale cu impulsuri, Inf Apl
(Numerical Methods for Solving Differential se vor implementa algoritmii de rezolvare numerica in Inf
Equations with Impulses) diferite limbaje de programare. Aplicatii. Eng
Coordonator: lect.drd. Cornel Izbasa (cizbasa@info.uvt.ro)

1 Interpretor lambda calcul cu multiple strategii de Bibliografie: IR+IE
evaluare. Combinatori. Recursivitate. Diverse 1. Hank Barendregt, Erik Barendsen. Introduction
programe. to lambda Calculus
2. R. Rojas. A tutorial introduction to the lambda
calculus
3. LCI lambda interpreter
2 Programare functionala cu conti nuari si CPS IR+IE

(Continuation Passing Style)
3 Program(e) pentru studiul si vizualizarea fractalilor, Bibliografie: IR+IE
sistemelor Lindenmayer (L-systems), sistemelor 1. Fractint, GNU XaoS,
de functii iterate (IFS) si automatelor celulare http://em.wikipedia.org/wiki/Buddhabrot
2. P. Rusinkiewicz, A. Lindenmayer. The
algorithmic beauty of plants
3. A. Ilachinski. Cellular Automata: A Discrete
Universe
4 Sisteme autoreplicative. Teorie, implementaru, Bibliografie: IR+IE
simulare, aplicatii 1. J. Von Neumann. Theory of self-reproducing
automata
2. B. Adams, H. Lipson. A Universal Framework
for self-replication
5 Teoria algoritmtica a informatiei. Cadru, studii Bibliografie: IR+IE

experimentale si teoretice 1. G. Chaitin. Algorithmic information theory
Coordonator: lect.dr. Mihai Chis (chis@math.uvt.ro)
1. Prezentări de grupuri. Se introduc noțiunile de grup liber, generatori și relații de Inf

Aplicații ale metodei Todd-Coxeter definiție. Se aplică metoda Todd-Coxeter la calcule de Inf Apl
(Groups. Applications of the Todd-Coxeter indici de subgrupuri, ordine de elemente și de subgrupuri, Inf Eng
Method) la construcția unei reprezentări prin permutări. Se
determină toate grupurile cu cel mult 30 de elemente și
se studiază proprietăți ale lor. Se utilizează limbajul și
programul specializat GAP
2. Clase speciale de grupuri Se introduc serii de subgrupuri ale unui grup și se Inf
(Special Classes of Groups) studiază proprietăți ale lor. Se studiază câteva clase Inf Apl
particulare de grupuri(nilpotente, rezolubile) și legăturile Inf Eng
lor cu probleme importante ale matematicii. Se utilizează
limbajul și programul specializat GAP
3. Grupuri finite. Acțiuni de grupuri. Se studiază proprietăți importante de teoria grupurilor Inf
Aplicații în combinatorică finite - teoremele lui Lagrange, Cauchy, Sylow, Inf Apl
(Finite Groups. Actions in Groups. Applications Frobenius. Se studiază aplicații în combinatorică. Se Inf Eng
in Combinatorics) utilizează limbajele și programele GAP, Maple(sau
Mathematica, Matlab)
4. Funcții generatoare și aplicații Se introduce noțiunea de funcție generatoare. Se Inf
(Generating Functions and Applications) studiază modalități de construcție sau determinare a unei Inf Apl
funcții generatoare. Se utilizează limbajul și programul Inf Eng
Maple(sau Mathematica, Matlab)
5. Baze Gröbner și aplicații Se introduc noțiunile de ordonare monomială, baze Inf

(Grobner Bases and Applications) Gröbner, algoritmul împărțirii în raport cu o ordonare Inf Apl
monomială. Se studiază aplicații ale bazelor Gröbner. Se Inf Eng
utilizează limbajul și programul Maple(sau Mathematica,
Matlab) și limbajul specializat Singular(sau CoCoA)
6. Construcții de corpuri. Se descriu construcții de corpuri. Se aplică la construcția Inf

Corpuri finite. Aplicații de corpuri finite de cardinal dat. Se studiază aplicații ale Inf Apl
corpurilor finite. Se utilizează limbajul și programul Inf Eng
7. Noțiuni de criptografie algebrică Se dă o descriere algebrică a unui sistem criptografic. Se Inf

(Algebraic Criptography) abordează probleme de complexitate. Se studiază Inf Apl
variante de sisteme criptografice bazate pe teoria Inf Eng
grupurilor. Se utilizează limbajele și programele GAP,
8. Tutorial de Aritmetică Se urmărește realizarea unui suport interactiv pentru un Inf
(Tutorial for Arithmetics) curs de Aritmetică Inf Apl
Inf Eng
9. Tutorial de Algebră liniară Se urmărește realizarea unui suport interactiv pentru un Inf
(Tutorial for Linear Algebra) curs de Algebră liniară Inf Apl
Inf Eng
10. Tutorial de Structuri algebrice Se urmărește realizarea unui suport interactiv pentru un Inf
(Tutorial of Algebraic Structures) curs de Algebră abstractă Inf Apl
Inf Eng
11. Tutorial de Teoria grupurilor Se urmărește realizarea unui suport interactiv pentru un Inf
(Tutorial for Groups Theory) curs de Teoria grupurilor Inf Apl
Inf Eng
12. Tutorial de Teoria corpurilor Se urmărește realizarea unui suport interactiv pentru un Inf
(Tutorial for Fields Theory) curs de Teoria corpurilor Inf Apl
Inf Eng
13. Tutorial de Ecuații și Se urmărește realizarea unui suport interactiv pentru un Inf
Sisteme de ecuații algebrice curs de Ecuații algebrice Inf Apl
(Tutorial for Algebraic Equations and Systems Inf Eng
of Equations)
14. Tutorial de Geometrie analitică Se urmărește realizarea unui suport interactiv pentru un Inf
(Tutorial of Analytic Geometry) curs de Geometrie analitică Inf Apl
Inf Eng
15. Tutorial de Geometrie proiectivă Se urmărește realizarea unui suport interactiv pentru un Inf
(Tutorial of Projective Geometry) curs de Geometrie proiectivă Inf Apl
Inf Eng
16. Tutorial de Teoria grafurilor Se urmărește realizarea unui suport interactiv pentru un Inf
(Tutorial for Graph Theory) curs de Teoria grafurilor Inf Apl
Inf Eng
Coordonator: lect.dr. Calin Sandru (csandru@info.uvt.ro)
1 Utilizarea sistemelor expert in rezolvarea Tehnologiile asociate cu sistemele expert constituie Inf
problemelor cu spatiu larg de cautare alternative viabile pentru gasirea unor solutii Inf Apl
satisfacatoare in contextul unor probleme cu spatiu larg Inf Eng
(Expert systems for problem solving in large de cautare. Realizarea unui orar este un exemplu de
search spaces) asemenea problema in care constrangerile asociate cu
spatii, persoane, preferinte, cursuri, etc adauga un grad
de complexitate suplimentar.
Tema propune realizarea unui sistem expert pentru
construirea unui orar folosind limbajul CLIPS sau Java si
integrarea acestor limbaje cu C++ sau Java pentru
construirea interfetei utilizator.
Cerinte:
- Afinitati legate de problemele specifice inteligentei
artificiale si sistemelor inteligente, efectuarea prealabila
sau in cursul anului a unui curs cu tematica legata de
2 Sistem de facilitare a interactiunii Activitatile didactice implica mai multe tipuri de Inf
profesor/student in cadrul activitatilor didactice interactiuni intre profesori si studenti. Cateva exemple ar Inf Apl
fi inregistrarea studentilor la un curs, propunerea tematicii Inf Eng
(Student-Teacher Interaction System) cursului si a criteriilor de evaluare, lansarea de proiecte,
comunicarea de termene, comunicarea de note, etc.
Tema presupune realizarea unui cadru virtual prin care
aspecte de tipul celor de mai sus pot fi adresate.
Cerinte:
- Cunostinte bune de programare OOP in Java
- Cunostinte de programare WEB
3 Optimizari ale aplicatiilor la nivelul bazei de Atingerea unui nivel de performanta acceptabil in Inf
date aplicatiile real-time necesita adesea optimizari la toate Inf Apl
nivelele aplicatiei. Unul dintre nivelele des intalnite este Inf Eng
(Application Optimizations at the Databaser cel al bazei de date. Manipularea datelor intr-o maniera
Acces Layer) sincrona consuma in general destul de mult timp. De
asemenea, chiar in conditiile in care baza de date este
inaccesibila temporar, aplicatiile trebuie sa isi continue
functionarea astfel incat utilizatorii sa fie afectati cat mai
putin.
Se propune investigarea posibilitatilor de optimizare la
acest nivel precum si proiectarea si construirea unui set
de componente OOP care sa permita introducerea unor
facilitati de stocare optimizata, recuperare dupa erori,
trasare, log-are, etc.
Cerinte:
- Cunostinte bune ale unor baze de date
- Cunostinte bune de programare OOP
4 Portal pentru gestiunea elementelor referitoare In cadrul activitatilor de management al departamentului, Inf
la procesul de invatamant periodic, este necesara intocmirea de planuri de Inf Apl
invatamant, state de functiuni sau fise ale disciplinelor. Inf Eng
(Management System for Teaching Related Aceste elemente constituie baza procesului didactic si al
Documents) unor activitati de raportare.
Tema acestui proiect se refera la proiectarea si realizarea
unui portal care permite actualizarea unei baze de date
care stocheaza elemente de tipul celor mai sus
mentionate, interogari specifice si relationari cu alte
sisteme similare din departament.
Cerinte :
- Cunostinte de proiectare baze de date
- Tehnologii WEB
- Abilitati bune de programare OOP in Java
5 Portal pentru gestiunea lucrarilor de licenta Anual se petrece un proces care implica propunerea de Inf
lucrari de licenta/dizertatie din partea profesorilor si Inf Apl
(System for the Management of the Graduation alegerea lor de catre studenti. Ulterior acestui proces, Inf Eng
Theses) exista termene pentru atingerea unor obiective
planificate, se fac raportari si evaluari, etc.
Scopul acestei teme este de a elabora un sistem care sa
permita gestiunea proceselor mai sus amintite prin
realizarea unui portal WEB si a unei baze de date
specifice.
Cerinte :
- Cunostinte de proiectare baze de date
- Tehnologii WEB
- Abilitati bune de programare OOP in Java
6 Filtrare mesaje SPAM Datorita bombardamentului cu mesaje de email Inf
nedorite, separarea mesajelor de email in SPAM si non- Inf Apl
(Spam Filtering) SPAM este de mare actualitate. Inf Eng
Scopul acestei teme este de a elabora un sistem expert
care sa identifice mesajele nedorite prin utilizarea unor
metode existente, eventuala imbunatatire a acestora sau
propunerea unor metode noi.
Cerinte :
- Cunostinte legate de constructia sistemelor
expert
- Cunoasterea sau disponibilitatea de a invata
limbajul JESS.
- Cunoasterea buna a limbajului Java pentru o
integrare cu JESS.
7 Identificarea automata a surselor bibliografice Adeseori, un text electronic contine idei sau chiar bucati Inf
pentru un text provenite din alte texte. Tema propune identificarea URL- Inf Apl
urilor care pot constitui surse de inspiratie sau surse ale Inf Eng
(Automated References’ Identification) textului unui anume document electronic si stabilirea
proportiei in care documentul este original.
Cerinte :
expert
limbajul JESS.
sau
- Folosirea unui limbaj interpretat de tip
PYTHON sau PERL sau a unui alt limbaj
convenabil pentru a realiza acelasi task.
8 Facilitati de explicare in sistemele expert O caracteristica speciala a sistemelor expert este cea de Inf
explicare a rationamentului prin putinta acestora de a Inf Apl
(Explanation Facilities in Expert Systems) raspunde la intrebari de tip « de ce ? », « ce s-ar Inf Eng
intampla daca ? », etc.
Scopul acestei teme este de a investiga modalitatile prin
care unui sistem expert i se pot asocia abilitati
explanative precum si implementarea unor astfel de
mecanisme in JESS sau CLIPS.
Cerinte :
expert
limbajul JESS sau CLIPS.

Teme Licenta 2011

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Teme Licenta 2011

Încărcat de

Drepturi de autor:

Formate disponibile

Facultatea de Matematica si Informatica Departamentul de Informatica

Teme pentru lucrări de licenţă 2010– 2011

Informatică (română, engleză), Informatică Aplicată

Coordonator: Prof.dr. Viorel Negru (vnegru@info.uvt.ro)

Nr Titlu Descriere Sectia

Coordonator: Prof.dr. Stefan Balint (balint@math.uvt.ro)

Coordonator: Prof.dr. Alexandru Cicortas (cico@info.uvt.ro)

Nr Titlu Descriere Sectia

Coordonator: Prof.dr. Dana Petcu (petcu@info.uvt.ro)

Nr Titlu Descriere Sectia

Coordonator: Conf.dr. Mircea Dragan (dragan@info.uvt.ro)

Nr Titlu Descriere Sectia

Coordonator: Conf.dr. Victoria Iordan (iordan@info.uvt.ro)

Nr Titlu Descriere Sectia

Coordonator: Conf.dr. Paraschiva Popovici (popovici@info.uvt.ro)

Nr Titlu Descriere Sectia

7 Sisteme informatice geografice Implementări în Java Inf,

8 Proiectarea unui sistem informatic pentru Implementări în Java Inf,

9 Grafuri ponderate în Java Implementări în Java Inf,

10 Aplicaţii ale grafurilor în economie Implementări în C Inf,

11 Studiu asupra algoritmilor Huffman şi Lempel-Ziv- Implementari in C Inf,

12 Implementarea algoritmilor care rezolvă probleme de Inf,

Coordonator: prof.dr. Daniela Zaharie (dzaharie@info.uvt.ro)

Nr Titlu Descriere Sectia

4 Clasificarea nesupervizata a imaginilor Scop: Implementarea unor algoritmi de clasificare Inf

Coordonator : conf.dr. Cristina Mindruta (cmindruta@info.uvt.ro)

Nr Titlu Descriere Sectia

2-7 Aplicaţie bazată pe PureMVC framework Inf

10 Asistent software pentru realizarea documentaţiei Inf

Nr Titlu Descriere Sectia

XML Formatting objects ofera mecanisme avansate de transformare a

Cunostinte necesare: elemente de programare Web, elemente

Urmatoarele subtitluri pot fi avute in vedere:

Coordonator: Lect. dr. Alexandru Ionica (ionica@info.uvt.ro)

Nr Titlu Descriere Sectia

Coordonator: Lect.dr. Stelian Mihalas (smihalas@info.uvt.ro)

Nr Titlu Descriere Sectia

Nr Titlu Descriere Sectia

Definirea si precizarea rolului acestora. Clasificarea

Definirea conceptului. Rolul magistralelor in cadrul unui Inf

Definirea interfetelor de intrare-iesire. Rolul acestora si

Descrierea unui limbaj de asamblare. Avantajele si Inf

Definire. Precizarea rolului dispozitivelor multimedia. Inf

Definitie. Principalele elemente componente si descrierea Inf

Definire. Precizarea rolului sau in cadrul sistemului de Inf

Coordonator: Lect. drd. Gheorghe Petrov (petrov@info.uvt.ro)

Nr Titlu Descriere Sectia

2 Modelarea structurilor spatiale si indexarea in Inf

4 Retele spatiale. Algoritmica grafurilor in baze de Inf

5 "Data Wherehouse" in baze de date spatiale. Inf

6 Baze de date spatiale. Mapcube. Inf

Coordonator: Lect. dr. Horia Popa (hpopa@info.uvt.ro)

Nr Titlu Descriere Sectia

Coordonator: lect.dr.Daniel Pop (danielpop@info.uvt.ro)

Nr Titlu Descriere Sectia

Coordonator: lect. Dr. Adrian Craciun (acraciun@info.uvt.ro)

1 Rewriting Modulo Theories "Equational reasoning is an important component in symbolic Inf

The purpose of this thesis is to study extensions of rewriting that

The purpose of this thesis is to study the theoretical fundamentals

The purpose of this thesis is the implementation of an algorithm

Previous knowledge: logic, mathematical thinking, algebra,

The purpose of this thesis is to explore possible applications of

Previous knowledge: logic, mathematical thinking, algebra,