Facultatea de Matematica si Informatica

Departamentul de Informatica

Teme pentru lucrari de licenta 2005 2006

Informatica, Matematica Informatica si Tehnologie Informatica
Nr crt
1

Titlu

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

Sectia Inf MI TI. Inf MI TI Inf MI TI

Algoritmi euristici de cautare Lucrarea trebuie sa cuprinda: cu aplicare in jocuri (sah, go a) studiu teoretic al algoritmilor euristici de cautare in jocuri; etc) b) Descriere aplicatie. Teste. Deprinderi: Int. Artificiala, Algoritmi Instrumente: Limbaj de nivel inalt. Utilizare GUI Aplicatii ale limbajului Lisp Lucrarea trebuie sa cuprinda: in algebra computationala a) Calcul simbolic. Facilitati oferite de Lisp / Scheme b) Descriere aplicatie. Deprinderi:Programare functioala, Calcul simbolic Instrumente: Lisp / Scheme Fundamentele limbajelor de Lucrarea trebuie sa cuprinda: programare a) Apecte teoretice cu privire la fundamentele limbajelor de programare b) Exemplificare in Scheme Deprinderi:Programare Intrumente: Scheme Aplicatii ale limbajului Lucrarea trebuie sa cuprinda: Prolog (limbaj natural, a) Apecte teoretice cu privire la dem. Automata de Teoreme / demonstrare automata de Limbajul natural / Sisteme expert teoreme, sisteme expert de b) Proiectarea unei aplicatii si implementarea unui prototip in Prolog diagnosticare etc) Deprinderi:Programare logica Intrumente: Prolog Programare logica cu Lucrarea trebuie sa cuprinda: constrangeri a) Apecte teoretice cu privire la programare bazata pe constrangeri in general, respective programarea logica cu constrangeri.(CLP) b) 2 3 aplicatii. Deprinderi:Programare logica cu Constrangeri Intrumente: Un limbaj CLP Programare functionala in Lucrarea trebuie sa cuprinda: limbajul Scheme a) Apecte teoretice cu privire la programare functionala b) Exemplificari in Scheme Deprinderi:Programare functionala Intrumente: Scheme Tutoriale de invatare cu Lucrarea trebuie sa cuprinda: aplicatii in informatica, a) Descrierea instruirii asistate de calculator (tutoriale inteligente). matematica, fizica, chimie, Modele, metode, tehnici, algoritmi inginerie etc. b) Descrierea unei arhitecturi, proiectarea unui sistem si implementarea unui prototip cu aplicare in matematica, fizica, chimie, informatica etc. Deprinderi:Inteligenta artificiala, Interfete grafice Intrumente: Limbaj obiect, GUI

Inf MI TI

Inf MI TI

Inf MI TI

Inf MI TI

Nr crt
8

Titlu

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

Sectia Inf MI TI

10

11

12

13

Tipuri de rationament in IA Lucrarea trebuie sa cuprinda: (logic, aproximativ, ipotetic, a) Aspecte teoretice. Modelare. Reprezentare cunostinte. bazat pe modele, calitativ, b) Proiectare sistem. Descriere prototip. temporal, prin clasificare Deprinderi:Inteligenta artificiala, Rationament automat si etc). reprezentarea cunostintelor. Intrumente: Limbaj de nivel inalt sau limbaj specializat Rationament aproximativ Lucrarea trebuie sa cuprinda: (fuzzy) a) Descrierea logicii fuzzy. Rationamentul fuzzy b) Descrierea unei aplicatii Deprinderi:Logica, Inteligenta Artificala Instrumente: FuzzyJess / FuzzyClips Aplicatii ale sistemelor Lucrarea trebuie sa cuprinda: expert in stiinte, tehnologie si a) Arhitectura sistemelor expert. Descrierea unui generator de SE economie, medicina. b) Descrierea unei aplicatii Deprinderi:Inteligenta Artificala, Sisteme Expert Instrumente: Jess / Clips Modele de sisteme Lucrarea trebuie sa cuprinda: multiagent. a) Descrierea unor modele / standarde. Descrierea unei arhitecturi multi agent. b) Evaluarea modelului si compararea cu alte modele Deprinderi: Sisteme Inteligente, Calcul distribuit, Instrumente: Arhitecturi multi-agent (OAA, Cougaar etc) Comunicarea in sistemele Lucrarea trebuie sa cuprinda: multi-agent a)Trecerea in revista unor modele standarde de comunicare. Descrierea limbajului Z. b) Dezvoltarea unei aplicatii Deprinderi:Logica, Sisteme inteligente Intrumente: Limbajul Z Aplicatii ale sistemelor multi- Lucrarea trebuie sa cuprinda: agent a) Descrierea modelului multi-agent. b) Dezvoltarea unei aplicatii in rezolvarea problemelor, e-learning, comert electronic etc. Deprinderi:Logica, Sisteme inteligente, Sisteme multi-agent Intrumente: Mediu / platforma multi-agent, Limbaj specializat sau de nivel inalt

Inf MI TI Inf MI TI Inf MI TI

Inf MI TI

Coordonatori: Prof.dr. V. Negru, lect. H. Popa, asist. C. Jichici

14 15 16 17 18 Algoritmi de cautare in text / pe Internet Modele multi-agent pentru regasirea / filtrarea informatiei pe INTERNET Descoperirea de cunostinte in baze de date de mari dimensiuni prin interograri SQL Inconsistenta datelor in descoperirea de cunostinte in baze de date Analiza incrementala a bazelor de date mari Regasirea informatiei Regasirea informatiei Data mining Data mining Data mining

Inf, MI TI Inf,MI TI Inf, MI TI Inf MI,TI Inf MI,TI

Nr crt 1 2

Titlu

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

Proiectarea utilizeaza concepte din sisteme multi-agent, UML. Realizarea in C++/ Visual C++ / Java/DotNet. Aplicatie : gestionarea incidentelor in la o firma care efectueaza transportul in comun Construirea modelelor utilizand proprietatile retelelor Petri pentru evaluarea functionalitatii sistemelor modelate. Evidentierea concurentei, sincronizarea, etc. Utilizeaza software specific retelelor Petri, existent. Aplicatie pentru un sistem real. Au la baza conceptele legate de sisteme cu evenimente discrete dezvoltate pe arhitecturi distribuite (o posibilitate client-server, altele sub UNIX, etc), cu specificitatea rezultata din titlul propus. Se folosesc concepte din sisteme multi-agent. Instrumentele de lucru si cunostintele necesare au la baza programarea in C++, Visual C++, Java. Aplicatiile trebuie sa ilustreze titlul

Sectia Inf Inf

Proiectarea sistemelor complexe Modelarea fluxurilor si a sistemelor cu retele Petri

3 4 5 6 7

Modelarea sistemelor cu evenimente discrete pe arhitecturi distribuite. Cooperare si comunicare in sisteme complexe Sisteme cu componente degradabile Modele utilizate in sisteme autonome Optimizare multi-obiectiv in: Optimizarea dupa mai multe functii obiectiv, cu restrictii. Atat functiile economie, fabricatie, obiectiv cat si restrictiile sunt neliniare. transporturi, analize Utilizarea Matlab indispensabila. economice, etc.

Inf Inf Inf Inf Inf

Nr crt
1

Titlu
Algoritmi paraleli in verificarea modelelor

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

Sectia

Motivatie: Verificarea modelelor (model checking) este o ramura Inf. importanta a verificarii formale a sistemelor software sau hardware. Metodele clasice presupun cautarea in spatiul starilor posibile ale sistemelor. Deoarece aceste spatii sunt de dimensiuni mari, memoria si timpul sunt resurse critice. Calculul paralel este una dintre solutiile acestor probleme. Cunostinte necesare: C sau Java, notiuni elementare despre calculul paralel Ce se cere: Realizarea unei aplicatii care permite depistarea nerespectarii unor proprietati ale modelului prin cautare in spatiul de stari, utilizand cel putin 2 metode ce implica multi-procesare. Se cere de asemenea compararea metodelor relativ la un set de probleme. Calcule in retele pe arii Motivatie: Grid computing (calculul pe grid) este una din temele de Inf. extinse: tehnologii Globus actualitate in informatica presupunand partajarea resurselor hardware si software detinute de institutii aflate in domenii de securitate diferite. Globus este standardul curent pentru calcule pe grid. Cunostinte necesare: Java, aplicatii client-server, TCP/IP Ce se cere: Crearea unui manual de utilizare a versiunii curente a Globusului cu numeroase exemple.

Nr crt
3

Titlu

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

Motivatie: Pentru crearea unui spatiu al realitatii virtuale se utilizeaza adesea mai multe calculatoare care afiseaza fie pe ecranul propriu fie pe dispozitive speciale aceeasi informatie privind o scena tridimensionala insa din puncte de vedere diferite. Cunostinte necesare: Java, notiuni elementare despre calculul distribuit Se cere: Realizarea unei aplicatii care permite plimbarea intr-un spatiu virtual, prin utilizarea a minim 3 calculatoare care afiseaza imaginile scenei din puncte de vedere diferite. Motivatie: Gridurile de calcul presupun lansarea la distanta a unor componente ale unor aplicatii de dimensiuni mari. Tehnologia Globus permite transferul si executia acestor componente in domenii de securitate diferite. Pentru interfatarea cu utilizatorul este necesara crearea unei aplicatii care sa puna la dispozitia acestuia o serie de informatii legate de resursele software si hardware existente in sistem, posibilitatile de actiune si Starea curenta a aplicatiilor lansate. Cunostinte necesare : Java, notiuni elementare despre calculul distribuit Se cere:Realizarea unui portal bazat pe Java CoG Motivatie: Numeroase curbe si suprafete se pot descrie explicit pe baza unor functii sau implicit pe baza unor ecuatii sau ca locuri geometrice. Cunostinte necesare : Maple, geometrie Ce se cere: Fiind data o lista de curbe si suprafete cu definitiile lor matematice se cere elaborarea in Maple a unui pachet de functii de vizualizare a acestor curbe si suprafete. In cazul unor locuri geometrice se vor construi animatii. Motivatie: Sistemele de ecuatii diferentiale ordinare de dimeniuni mari nu pot fi rezolvate numeric intr-un timp rezonabil, fiind necesara aplicarea unor tehnici de calcul paralel pentru a obtine o solutie in timp util. Cunostinte necesare: C sau Java, notiuni elementare despre calculul paralel Ce se cere:Realizarea unei aplicatii care rezolva sisteme de ecuatii diferentiale de dimensiuni mari bazate pe minim doua metode numerice paralele. Se cere de asemenea compararea metodelor relativ la un set de probleme.

Sectia Inf.

Calcul distribuit in crearea imaginilor scenelor trdimensionale

Portal pentru un grid de calcul

Inf.

Dictionar de curbe suprafete in Maple

si

TI

Metode numerice paralele pentru rezolvarea ecuatiilor diferentiale

MI

Metode numerice paralele Motivatie: Majoritatea ecuatiilor cu derivate partiale pot fi rezolvate MI pentru rezolvarea ecuatiilor doar apeland la metode numerice aproximative. Obtinerea unor solutii cu derivate partiale cu precizie mare presupune rezolvarea unor sisteme liniare de dimeniuni mari. In cazul particular al ecuatiilor parabolice asemenea sisteme liniare trebuie rezolvate la mai multi pasi de integrare, timpul de obtinere a solutiei devenind o problema critica. In asemenea cazuri se poate apela la calculul paralel. Cunostinte necesare: C sau Java, notiuni elementare despre calculul

paralel
Ce se cere: Realizarea unei aplicatii care rezolva ecuatii parabolice prin utilizand minim 2 metode numerice paralele. Se cere de asemenea compararea metodelor relativ la un set de probleme.

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

Nr crt
1

Titlu
Generarea automata compilatoarelor

Descriere

Sectia Inf.

a Lucrarea trebuie sa cuprinda: a) Studiu teoretic: Automate finite si Automate push down deterministe; b) Aplicatii: Compilator pentru Basic sau alt limbaj de programare, sau limbaj de descriere obiecte Deprinderi: Programare C Intrumente: C + PcLex Calcul paralel in aritmetica Lucrarea trebuie sa cuprinda: a) studiu teoretic al algoritmilor paraleli pentru operatii aritmetice elementare b) aplicatie in Parallaxis Intrumente: C, PASCAL, Parallaxis Proiectarea interpretoarelor Lucrarea trebuie sa cuprinda: a) Studiu teoretic: Tehnici avansate pentru proiectarea interpretoarelor b) Aplicatii: Generarea automata cu JavaCC Deprinderi: Programare C, JAVA Geometrie computationala in Lucrarea trebuie sa cuprinda: C. a) studiu teoretic: algoritmi clasici in geometrie b) aplicatie: triangularizari planare Intrumente: C Calcul paralel in Geometrie Lucrarea trebuie sa cuprinda: Computationala.Triangulariz a) tudiu teoretic: algoritmi clasici de triangularizare si paralelizari area Delaunay folosind modelul MIMD b) aplicatie: triangularizari planare folosind procese concurente Intrumente: C, thread Geometrie computationala. Lucrarea trebuie sa cuprinda: Probleme de intersectie. a) studiu teoretic: algoritmi clasici pentru intersectii de segmente, semiplane b) aplicatie: Implementare in C Intrumente: C

Inf. MI

Inf.

Inf. MI Inf. MI

Inf. MI

Nr crt
1 2 3 4 5 6 7 8

Titlu

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

Retele de calculatoare Prezentarea (proiectarea) unei retele cu Windows 2000, care sa exemplifice conceptele legate de administrare Retele de calculatoare

Sectia
Inf. TI Inf. Inf. TI Inf. TI Inf. TI Inf. TI., MI Inf. Inf. TI MI

Administrarea reelelor de calculatoare sub Windows 2000 (studiu de caz) Securitatea reelelor de calculatoare Criptografia i securitatea reelelor de calculatoare Mediul Java pentru Internet

Retele de calculatoare Implementare de algoritmi de criptare in Java sau C++ Programare Web Aplicatie care sa aplice facilitatile oferite de Java in comunicarea in Internet Comunicarea ntre paginile Programare Web, HTML, Java HTML i Java Conectarea paginilor Web la Programare Web si baze de date, PHP, MySQL baze de date JSP Comunicare in pagini JSP, Legatura intre HTML si JSP, Java Script Web Crearea i publicarea unei Programare Web, PHP, Java Script pagini pe Internet (tem la alegerea studentului)

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

Nr crt
9 10 11

Titlu
Implementarea unor metode numerice pentru rezolvarea ecuatiilor diferentiale Securitatea informatic n Internet Administrarea reelelor de calculatoare sub Windows 2000 (studiu de caz)

Descriere
Metode numerice HTML Java Script Retele de calculatoare Java Retele de calculatoare Prezentarea (proiectarea) unei retele cu Windows 2000, care sa exemplifice conceptele legate de administrare Coordonator: Conf.dr. Paraschiva Popovici (popovici@info.uvt.ro)

Sectia
MI TI Inf. TI

Nr crt
1 2 3 4 5 6 7 8 9 10 11

Titlu
Structuri rapide de date Memorarea extern a datelor Java appleturi pentru Structuri Recursive de Date si Algoritmi Java appleturi pentru Algoritmi de sortare si cautare Java appleturi pentru Structuri de Date de Tip Lista si Algoritmi Tutoriale Web de Teoria grafurilor Aplicaii ale sistemelor orientate obiect n economie Metode de traversare a grafurilor, cu descrierea algoritmilor n "C" Tutorial pentru predarea structurii de date de tip arbore AVL n "C" Aplicaii ale grafurilor n procesare paralel Tutorial pentru predarea structurii de date de tip graf prin structuri de adiacen n "C" Algoritmi utilizai n procesarea paralel Algoritmi aleatori

Descriere
Tabele de hashing i dispersie. Implementari in Java

Sectia

Inf TI Implementari in Java Inf TI Demonstrarea conceptelor fundamentale referitoare la structuri Inf recursive de date. Problema turnurilor din Hanoi si Probleme celor n TI regine Demonstrarea algoritmilor fundamentali de sortare i cutare Inf TI Demonstrarea prin intermediul appleturilor a conceptelor fundamentale Inf pentru structura de date de tip list TI Demonstrarea prin intermediul appleturilor a conceptelor fundamentale Inf pentru structura de date de tip graf TI Metodologia de analiz i proiectare OMT - Object Modeling Inf Technique, Baze de date Ilustrarea metodelor de traversare a grafurilor, folosind limbajul "C" Aplicatii in C Aplicatii in C++ Aplicatii in C Inf TI Inf TI Inf TI Inf TI Inf TI Inf TI Inf TI Inf, TI Inf TI

12 13 14 15 16

Implementari in C++ Implementari in C

Algoritmi euristici de Implementari in C++ explorare Algoritmi de aproximare Grafuri cu conectivitate restricionat. Implementari in C Fluxuri maxime ntr-un graf Implementari in C.

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

Nr crt
17

Titlu
Date semistructurate pentru servere. Sistemul Lore - Un sistem de organizare a datelor semistructurate Date semistructurate pentru servere. Sistemul Strudel - un sistem de organizare a unei pagini pe internet. Software modern pentru rezolvarea iterativ a sistemelor de ecuaii liniare, cu matrici rare Probleme la limit bilocale. Aspecte ale codificrii, comprimrii i validrii datelor. Algoritmi pentru aritmetica computaional n C++. Structuri de date

Descriere

Sectia
Inf TI Inf TI Inf MI Inf, MI Inf MI Inf MI

18

Structuri de date

19

Algoritmi numerici. Implementare in C

20 21 22

Algoritmi numerici. Implementare in C Implementare in C Implementare in C

Nr crt
1

Titlu

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

Sectia
Inf

Clasificarea texturilor folosind retele neuronale

4 5

Descriere:Texturile sunt imagini in care un sablon se repeta intr-o maniera regulata sau aleatoare. Clasificarea lor se poate face analizand unele caracteristici statistice si are aplicatii in industrie (ex: clasificarea esentelor de lemn) si medicina (ex. Imagini ale tesuturilor osoase) Aplicatie: proiectarea unei retele neuronale pentru a clasifica texturi (generate artificial sau provenind din imagini reale). Cunostinte: retele neuronale, prelucrarea imaginilor, prelucrari statistice simple. Instrument: C++ sau Java Sistem de detectie a intrusilor Descriere: IDS-urile (Intrusion Detection Systems) sunt sisteme de bazat pe retele neuronale protectie a calculatoarelor sau a retelelor impotriva atacurilor si sunt bazate pe analiza informatiilor privind logarea si traficul in retea. Aplicatie: proiectarea unui sistem care sa permita clasificarea acceselor la un sistem in normale si anormale pe baza informatiilor legate de traficul in retea si a fisierelor de logare. Cunostinte: retele de calculatoare, retele neuronale Proiectarea evolutiva a Descriere: Alegerea arhitecturii unei retele neuronale este o problema retelelor neuronale dificila. O solutie o reprezinta evolutia structurii retelei astfel incat sa se adapteze la problema de rezolvat Aplicatie: proiectarea unei retele neuronale folosind algoritmi evolutivi pentru determinarea arhitecturii si a ponderilor. Cunostinte: retele neuronale si algoritmi evolutivi Instrument: C++, Java sau alt limbaj de programare Metode de grupare a datelor. Descriere: Gruparea datelor se refera la identificarea unor clase in Algoritmi partitionali cadrul datelor si are aplicatii in bioinformatica, clasificarea documentelor Web etc. Metode de grupare a datelor. Aplicatie: implementarea unor algoritmi de grupare (ierarhici, partitionali sau bazati pe retele neuronale) Algoritmi ierarhici Cunostinte: algoritmi de grupare si retele neuronale . Instrument: C++, Java sau alt limbaj de programare

Inf

Inf

Inf MI Inf MI

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

Programare dinamica. Aplicatii in bioinformatica

Aplicatii genetice

ale

Descriere: Tehnica programarii dinamice este intensive folosita in Inf prelucrarea datelor din bioinformatica in special in analiza secventelor MI de ADN Aplicatie: implementarea unor algoritmi de aliniere a secventelor de ADN Cunostinte: algoritmica Instrument: C++, Java sau alt limbaj de programare programarii Descriere: Programarea genetica este o tehnica de generare in maniera Inf evolutiva a unor structuri de calcul (programe, expresii etc.) pornind de la un set de primitive. Aplicatie: se va implementa un sistem de regresie simbolica bazat pe metode din programarea genetica Cunostinte: documentare in domeniul programarii genetice Instrument: C++, Java sau alt limbaj de programare Coordonator: Lect. Lucian Cucu (lcucu@info.uvt.ro)

Nr crt
1

Titlu
Simularea campului de profunzime in imagini sintetice. Prelucrarea imaginilor Segmentarea imaginilor si extragerea atributelor Extragerea si analiza formelor Regasirea imaginilor pe baza continutului Registrarea (alinierea) imaginilor Altele (in functie de cunostintele/aptitudin ile si preocuparile candidatilor) Generarea automata a paginilor de web cu continut informativ din baze de date

Descriere
Cerinte minimale: un limbaj de programare (C/C++, Java), optica, geometrie in spatiu, analiza matematica, notiuni de grafica pe calculator, formate de fisiere grafice. Cerinte minimale: un limbaj de programare (C/C++, Java), privire de ansamblu asupra domeniului (prelucrarea imaginilor), formate de fisiere grafice, tehnici de reprezentare (in memorie) a imaginilor, structuri de date, geometrie in plan, analiza matematica, posibil statistica.

Sectia
Inf

Inf

Cerinte minimale: o intelegere a modului de organizare a Internetului, protocoale specifice (http/ftp/smtp), notiuni de securitate in retele de calculatoare, tehnici de realizare a aplicatiilor client/server, XML/HTML/PHP, cgi (perl sau C/C++, etc), interfatarea cu bazele de date, sisteme de operare (UNIX/Linux, Windows NT/Windows 2000), abilitatei de analiza/proiectare a unui sistem informatic. Coordonator: Lect.dr. Florin Fortis (fortis@info.uvt.ro)

Inf

Nr crt
1 2 3

Titlu
Gestiunea firelor de executie

Descriere

Sectia
Inf. Inf MI Inf MI

Sisteme de operare. Cunostinte minime necesare: utilizarea sistemului de operare tinta (Windows, UNIX), versiunea de limbaj utilizata (C/C+ +). Notiuni de gestiune a proceselor in sistemul de operare tinta ales. Scheme de comunicare intre Sisteme de operare. Cunostinte minime necesare: utilizarea sistemului procese de operare tinta (Windows, UNIX), versiunea de limbaj utilizata (C/C+ +). Notiuni de programare client/server. Planificarea proceselor Sisteme de operare. Cunostinte minime necesare: utilizarea sistemului de operare tinta (Windows, UNIX), versiunea de limbaj utilizata (C/C+ +). Buna cunoastere a notiunilor de baza de structuri de date. Coordonator: Lect.dr. Florin Fortis (fortis@info.uvt.ro)

4 5 6

Algoritmi memoriei

10 11 12

a Sisteme de operare. Cunostinte minime necesare: utilizarea sistemului de operare tinta (Windows, UNIX), versiunea de limbaj utilizata (C/C+ +). Buna cunoastere a notiunilor de baza de structuri de date. Implementarea sistemelor de Sisteme de operare. Cunostinte minime necesare: utilizarea sistemului fisiere de operare tinta (Windows, UNIX), versiunea de limbaj utilizata (C/C+ +). Buna cunoastere a notiunilor de baza de structuri de date. Sistemul de operare Sisteme de operare, programare WEB. Scopul lucrarii: oferirea unui interactiv: UNIX mediu de lucru protejat pentru executarea comenzilor UNIX de la distanta. Mediul urmeaza sa fie integrat intr-o aplicatie WEB demonstrativa pentru prezentarea sistemului de operare UNIX. Interfete utilizator: FTP Programare WEB. Scopul lucrarii: realizarea unei aplicatii/interfete pentru serviciul prezentat. Limbaje de programare: C/C++; PHP. Cunostinte minime: programare WEB, tehnologii client/server, protocoale de comunicatie. Interfete utilizator: E-MAIL Programare WEB. Scopul lucrarii: realizarea unei aplicatii/interfete pentru serviciul prezentat. Limbaje de programare: C/C++; PHP. Cunostinte minime: programare WEB, tehnologii client/server, protocoale de comunicatie. Interfete utilizator: Liste de Programare WEB. Scopul lucrarii: realizarea unei aplicatii/interfete discutii pentru implementarea unei liste de discutii. Vor fi avute in vedere diferitele politici de functionare a listelor de discutii (ex. moderat, semimoderat, nemoderat) Limbaje de programare: PHP. Cunostinte minime: programare WEB, tehnologii client/server, protocoale de comunicatie. "Orasul virtual" Programare Web. Scopul lucrarii : realizarea unei prezentari interactive a unei localitati, pornind de la harta orasului. Cautarea informatiilor pe Programare Web. Mijloace si tehnici pentru realizarea cautarii INTERNET informatiilor pe INTERNET.

de

gestiune

Inf MI Inf Inf MI Inf

Inf

Inf

Inf, MI TI

TI,

Comertul electronic: studiu Programare Web. Scopul lucrarii: realizarea unei aplicatii de comert TI de caz economic, in vederea prezentarii principalelor mijloace pentru realizarea acestui tip de aplicatii. Limbaje de programare: PHP. Cunostinte minime: programare WEB, tehnologii client/server, protocoale de comunicatie. Interfete grafice sistemelor de operare ale Sisteme de operare. Scopul lucrarii: prezentarea principalelor aspecte TI ale interfetelor grafice (Windows, KDE-UNIX, Gnome-UNIX); prezentarea mijloacelor prin care poate fi alterat aspectul interfetei grafice. Cunostinte minime: utilizarea sistemului de operare tinta ales (ex. UNIX). de Sisteme de operare. Cunostinte generale: structura sistemelor de calcul, Inf programare C/C++. TI Scopul lucrarii: prezentarea principalelor amenintari la adresa unui sistem de calcul modern, si mijloace tipice pentru prevenirea eventualelor atacuri.

13

14

Securitatea calcul

sistemelor

15

Evolutia conceptelor de Sisteme de operare. Cunostinte minime: intelegerea notiunii de proces, TI sisteme de operare: programare C/C++, utilizarea sistemului de operare vizat. Scopul PROCESE lucrarii: prezentarea (eventual comparativa) a modului in care au aparut si s-au dezvoltat principalele notiuni de gestiune a proceselor. Evolutia conceptelor de Sisteme de operare. Cunostinte minime: intelegerea notiunii de proces, TI sisteme de operare: programare C/C++, utilizarea sistemului de operare vizat. Scopul SISTEME DE FISIERE lucrarii: prezentarea (eventual comparativa) a modului in care au aparut si s-au dezvoltat principalele notiuni de gestiune a fisierelor.

16

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

Nr crt
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

Titlu
Limbajul algoritmic Metode de elaborare a algoritmilor Algoritmi de generare a submultimilor discrete finite Algoritmi combinatoriali Algoritmi de cautare, sortare si selectie.Sortare externa. Algoritmi de competitie si cautare Algoritmi numerici optimali Probleme NP complete Algoritmi recursivi Programarea recursivi Tehnici de sortare Probleme de ordonantare si coordonare. Drumuri in retele Programare dinamica Algoritmi de programare in domeniul numerelor intregi Algoritmi de programare patratica Grafuri. Proprietati generale Circuite hamiltoniene in grafuri complete poligonale Algoritmica listelor Arborescenta algoritmilor algoritmilor

Descriere
Descriere limbaj,faciliti,aplicaii tematice Descriere metode,clase de algoritmi aferente anumitei metode,optimalitatea metodelor pe diverse clase algoritmice Algoritmi clasici de generare secvenial,algoritmi propui pentru generarea vectorial i matriceal,optimalitate Algoritmi combinatoriali clasici care,local,pot fi nlocuii cu algoritmi avnd comportare,n cea ce privete timpul de execuie,polinomial Algoritmi clasici de cutare,sortare i selecie prezentai sub form vectorial sau matriceal pentru a le mrimi viteza de lucru.Optimalitatea algoritmilor prezentai Algoritmi cu reprezentare matriceal,acces secvenial i comportare n timp polinomial de grad cel mult 2 Algoritmi referitori la cele mai uzuale metode numerice din algebra liniar,aritmetic i analiz.Proiectare i eficien. Algoritmi cu comportare local+polinomial care pot rezolva diverse probleme de tip NP Principalele clase de algoritmi recursivi,modalitile de proiectare optim Principalele proceduri utilizate n programarea algoritmilor recursivi,modalitile de conexiune a lor pentru mrirea gradului de optimalitate Tehnicile clasice de sortare restricionate la clase concrete de probleme.Optimalitate Algoritmi care precizeaz ordinea de execuie a anumitor operaii,n rezolvarea unor probleme concrete,pentru a minimiza timpul de cutare a soluiei,sau soluiilor,cutate. Descrierea i studiul eficienei principalilor algoritmi utilazai n programarea dinamic care respect i promoveaz criteriile de optimalitate dinamic,liniare sau matriciale. Algoritmi care optimizeaz funcii obiectiv precizate atunci cnd variabilele care intervin acioneaz numai pe submulimi de numere ntrgi. Algoritmi care optimizeaz diverse funcionale ptratice cu sau fr restricii asupra variabilelor care intervin Algoritmi care utilizeaz propritile generale ale grafurilor orientate,neorientate sau ale grafurilor prevzute cu o anumit metric,ponderat sau nu Algoritmi optimali de generare a circuitelor hamiltoniene pentru grafurile poligonale planare cu metric euclidian. Proiectarea unor algoritmi pentru utilizarea blocurilor de tip list n rezolvarea unor probleme din matematica neliniar. Algoritmi secveniali,structurai sub forma unui arbore optimal din punctul de vedere al modalitii de utilizare a unui algoritm din arbore,n vederea rezolvrii unei anumite pri a unei probleme concrete. Algoritmi secveniali,grupai doi cte doi,utilizai n rezolvarea diverselor probleme matematice avnd un pronunat caracter statistic Structuri de date fundamentale,modalitile de organizare i proiectare de algoritmi optimali pentru minimizarea tipului de acces i prelucrare. Teoria jocurilor.Algoritmi pentru stabilirea strategiei optime la jocurile de dou personae,condiionate dynamic. Algoritmica grafurilor

Sectia
Inf Inf Inf Inf Inf Inf Inf Inf Inf Inf Inf Inf Inf Inf Inf MI MI MI MI

20 21 22 23

Arborescenta binarechilibrata a algoritmilor Structuri de date. Elemente fundamentale Teoria jocurilor de strategie Retele de transport. Grafuri tare conexe

MI MI MI MI

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

Nr crt
24 25 26 27 28 29 30 31 32

Titlu
Matrici asociate unui graf. Grafuri planare Proprietati matematice ale jocurilor de strategie Limbajul logicii matematice structurale Proiectarea si rezolvarea modelelor economice Probleme si algoritmi de alocare Elemente de baza, ale limbajului TP,translatabile. Codificari si coduri Teorema codificarilor Optimizare flexibila Algoritmica grafurilor Teoria jocurilor Logica matematica Modelare Algoritmi Limbaje de programare Teoria codurilor Teoria codurilor Optimizare

Descriere

Sectia
MI MI MI TI TI TI TI TI TI

Nr crt
1

Titlu

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

Sectia
Inf

Iplementarea bibliotecii smpp SMPP (Short Message Peer to Peer Protocol) este protocolul utilizat v 3.4 - parametrii optionali transmiterea SMS-urilor in telefonia mobila. Versiunea cea mai raspindita este V3.4. Fiecare tip de PDU (Protocol Data Unit) cuprinde anumiti parametri obligatorii si/sau optionali. Scopul lucrarii este implementarea parametrilor optionali, V3.4 in C++. Implementarea bibliotecii SMPP (Short Message Peer to Peer Protocol) este protocolul utilizat smpp v 5.0 - parametrii transmiterea SMS-urilor in telefonia mobila. Ultima versiune este V5.0. obligatorii Fiecare tip de PDU (Protocol Data Unit) cuprinde anumiti parametri obligatorii si/sau optionali. Scopul lucrarii este implementarea parametrilor obligatorii, V5.0 in C++. Implementarea bibliotecii SMPP (Short Message Peer to Peer Protocol) este protocolul utilizat smpp v 5.0 - parametrii transmiterea SMS-urilor in telefonia mobila. Ultima versiune este V5.0. obligatorii Fiecare tip de PDU (Protocol Data Unit) cuprinde anumiti parametri obligatorii si/sau optionali. Scopul lucrarii este implementarea parametrilor obligatorii, V5.0 in Java. Short message service center SMS-urile din telefonia mobila sint transmise la si procesate de un - smpp v 3.4 completa Short Message Service Center (SMSC). Scopul acestei lucrari este (incluzind parametrii emularea unui SMSC complet pentru versiunea 3.4 a protocolului optionali) SMPP in C++. External short message entity SMS-urile din telefonia mobila au originea/destinatia la end-user sau la - smpp v 3.4 completa orice entitate denumita generic External Short Message Entity (ESME). (incluzind parametrii Scopul acestei lucrari este emularea unui ESME complet pentru optionali) versiunea 3.4 a protocolului SMPP in C++. Short message service center SMS-urile din telefonia mobila sint transmise la si procesate de un - smpp v 5.0 (parametrii Short Message Service Center (SMSC). Scopul acestei lucrari este obligatorii) emularea unui SMSC capabil sa proceseze parametrii obligatorii pentru versiunea 5.0 a protocolului SMPP in C++. Short message service center SMS-urile din telefonia mobila sint transmise la si procesate de un - smpp v 5.0 (parametrii Short Message Service Center (SMSC). Scopul acestei lucrari este obligatorii) emularea unui SMSC capabil sa proceseze parametrii obligatorii pentru versiunea 5.0 a protocolului SMPP in Java.

Inf

Inf

Inf

Inf

Inf

Inf

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

Nr crt
8

Titlu

Descriere

Sectia

External short message entity SMS-urile din telefonia mobila au originea/destinatia la end-user sau la Inf - smpp v 5.0 (parametrii orice entitate denumita generic External Short Message Entity (ESME). obligatorii) Scopul acestei lucrari este emularea unui ESME capabil sa prelucreze parametrii obligatorii pentru versiunea 5.0 a protocolului SMPP in C++ External short message entity SMS-urile din telefonia mobila au originea/destinatia la end-user sau la Inf - smpp v 5.0 (parametrii orice entitate denumita generic External Short Message Entity (ESME). obligatorii) Scopul acestei lucrari este emularea unui ESME capabil sa prelucreze parametrii obligatorii pentru versiunea 5.0 a protocolului SMPP in Java

Nr crt
1 2

Titlu

Coordonator: Lect.dr. Adriana Popovici (apopovic@info.uvt.ro) Descriere

Sectia
Inf, TI Inf, TI MI, MI,

Procesarea imaginilor cu Se propun cateva metode pentru filtrarea si determinarea conturului ajutorul automatelor celulare imaginilor digitale cu ajutorul automatelor celulare; compararea rezultatelor cu cele obtinute prin folosirea metodelor clasice. Automate celulare in Criptografia se ocupa cu toate aspectele unei comunicari sigure, criptografie semnatura digitala, bani electronici etc. Criptosistemele construite pe baza automatelor celulare pot produce, la pret redus, criptari/decriptari la standarde inalte. Propunem cateva modele ce vor fi descrise si implementate.

Nr crt
1

Titlu

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

Sectia

Proiectarea bazelor de date

Algoritmi de normalizare pentru optimizarea modelarii bazelor de date

Descriere: Metodologii de proiectare a bazelor de date relationale, Inf/ distribuite, n contextul orientrii obiect. Mate-Inf Aplicatie: Elaborarea unui proiect i implementarea acestuia ntr-un sistem de gestiune a bazelor de date. Cunostinte: baze de date, ingineria sistemelor software Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date Oracle, MS-VisualFox, MS-Access Descriere: Construirea de proceduri adecvate pentru elaborarea unei Inf organizri optime a tabelelor constituiente ale unei baze de date. Aplicatie: Elaborarea unui proiect prin care s se demonstreze modul de implementare al algoritmilor elaborai. Cunostinte: baze de date, ingineria sistemelor software Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date Oracle, MS-VisualFox, MS-Access Descriere: Elaborarea unei interfete prin intermediul creia utilizatorul Inf s se poat mapa pe o baz de date precizat. Aplicatie: Construirea unei baze de date. Cunostinte: baze de date, SQL avansat Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date Oracle, MS-SQLServer sau MySQL Descriere: Algoritmi de criptare/decriptare. Sisteme de securitate. Inf/ Confidenialitatea datelor. Constrngeri de integritate. Mate-Inf Aplicatie: Construirea unei baze de date cu informaii criptate. Cunostinte: baze de date n medii avansate, criptarea/decriptarea datelor Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date Oracle, MS-SQLServer sau MySQL

Elaborarea interfeelor pentru procese de interogare complex a bazelor de date.

Securitatea datelor din sisteme de gestiune a bazelor de date.

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

Nr crt
5

Titlu
Controlul concurentei in sistemele de gestiune a bazelor de date.

Descriere

Sectia
Inf

10

11

Descriere: Functionalitatea sistemului de gestiune a tranzactiilor. Studiul interblocarii. Gestiunea concurentei n sistemele de gestiune a bazelor de date distribuite actuale. Aplicatie: Construirea unei aplicatii bazata pe controlul tranzactiilor si gestiunea concurentei n Oracle. Cunostinte: baze de date, administrarea bazelor de date Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date Oracle Baze de date fuzzy Descriere: Prezentarea modalitatilor de implementare a calculului fuzzy in sistemele de gestiune a bazelor de date. Aplicatie: Construirea unei baze de date cu elemente de calcul fuzzy. Cunostinte: baze de date n medii avansate, calcul fuzzy Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date Oracle, MS-SQLServer sau MySQL Baze de date multimedia Descriere: Prezentarea tehnicilor multimedia (foto, audio, video) adecvate tratarii informatiilor stocate in baze de date. Aplicatie: Construirea unei baze de date cu informatii media. Cunostinte: baze de date n medii avansate, tehici si instrumete media Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date Oracle, MS-SQLServer sau MySQL Proiectarea aplicaiilor cu Descriere: Elaborarea unor tehnici pentru realizarea sistemelor baze de date pentru domeniul informatice cu baze de date aplicate n economie. economic Aplicatie: Elaborarea unei aplicatii integrate pentru managementul financiar-contabil. Cunostinte: baze de date n medii avansate, contabilitate, economie generala, prognoza Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date Oracle, MS-SQLServer sau MySQL Elaborarea aplicatiilor in Descriere: Proiectarea fragmentarii, contolul semantic al datelor, sisteme de gestiune a bazelor evaluarea cererilor distribuite, gestiunea tranzactiilor distribuite, de date distribuite controlul concurentei, baze de date distribuite omogen si respectiv eterogen. Aplicatie: Realizarea unei aplicatii integrate distribuite. Cunostinte: baze de date n medii orientate obiect, calcul paralel Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date MS-VfoxPro, MS-Access, Oracle, MSSQLServer sau MySQL Tehnici Web pentru baze de Descriere: Elaborarea aplicatiilor cu baze de date orientate obiect, date capabile sa gestioneze un sistem legislativ coerent. Aplicatie: Realizarea unei pagini Web interfatata cu un sistem de gestiune a bazelor de date. Cunostinte: baze de date n medii orientate obiect, cunostinte legate de tehnicile Web actuale Instrument: Java (pentru interfa), sistem de gestiune a bazelor de date MS-VfoxPro, MS-Access, Oracle, MS-SQLServer sau MySQL Baze de date pentru domeniul Descriere: Elaborarea aplicatiilor cu baze de date orientate obiect, juridic capabile sa gestioneze un sistem legislativ coerent cu privire la Software Engineering. Aplicatie: Realizarea unei aplicatii integrate. Cunostinte: baze de date n medii orientate obiect, cunostinte generale despre domeniul juridic Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date MS-VfoxPro, MS-Access, Oracle, MSSQLServer sau MySQL Coordonator: Lect. Gheorghe Petrov (petrov@info.uvt.ro)

Inf/ Mate-Inf

Inf

Inf/ Mate-Inf

Inf

Inf/ Mate-Inf

Inf/ Mate-Inf

Nr crt
12

Titlu
Sisteme de gestiune a bazelor de date orientate obiect

Descriere

Sectia
Inf/ Mate-Inf

13

14

15

16

17

18

Descriere: Arhitecturi SGBDOO. Metodologia OMT. Tehnici de optimizare a interogarilor. Aplicatie: Realizarea unei aplicatii integrate. Cunostinte: baze de date n medii orientate obiect, ingineria sistemelor software orientate obiect Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date MS-VfoxPro, MS-Access, Oracle, MSSQLServer sau MySQL Baze de date active Descriere: Modele pentru reguli: evenimente, conditii, actiuni. Semantica executiei regulilor. Aplicatie: Realizarea unei aplicatii integrate. Cunostinte: baze de date, ingineria sistemelor software orientate obiect Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date SQL2, SQL3 Sisteme de gestiune a bazelor Descriere: Arhitecturi ale sistemelor de gestiune a bazelor de date de date paralele paralele. Paralelismul interinterogari si intrainterogari. Prelucrarea interogarilor rationale paralele. Aplicatie: Realizarea unei aplicatii integrate. Cunostinte: baze de date, calcul paralel Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date avansate Baze de date spaiale Descriere: Indexare spatiala. Date regiune, puncte, dreptunghi, linie. Interogari. Limbaje de interogare spatiala. Integrarea datelor spatiale cu cele nonspatiale. Aplicatie: Realizarea unei aplicatii integrate. Cunostinte: baze de date, ingineria sistemelor software orientate obiect Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date avansate Baze de date temporale Descriere: Structura timpului. Timpul utilizator. Timpul valid. Folosirea modelelor orientate obiect. Incorporarea timpului in modelul de date. Timpul tranzactional. Aplicatie: Realizarea unei aplicatii integrate. Cunostinte: baze de date, ingineria sistemelor software orientate obiect Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date avansate Aplicatii cu baze de date Descriere: Metodologii de proiectare orientate obiect pentru baze de pentru gestiunea sistemelor date. Proiectarea bazei de date pentru domeniul asigurarilor n contextul de asigurari tehnicilor orientate obiect, tehnologiilor Web i a bazelor de date multimedia. Aplicatie: Realizarea unei aplicatii integrate. Cunostinte: baze de date, ingineria sistemelor software orientate obiect, cunostinte generale de marketing Instrument: VisualC, VisualBasic sau Java (pentru interfa), sistem de gestiune a bazelor de date MS-VfoxPro, MS-Access, Oracle, MSSQLServer sau MySQL Folosirea System-Architect Descriere: Metodologii de proiectare a aplicatiilor informatice. pentru proiectarea si Componentele de baza ale instrumentului CASE System-Architect realizarea aplicatiilor Aplicatie: Elaborarea unui proiect. informatice Cunostinte: ingineria sistemelor software orientate obiect

Inf

Inf

Inf/ Mate-Inf

Inf/ Mate-Inf

Inf/ Mate-Inf

Inf/ Mate-Inf

Instrument: System-Architect
19 Folosirea ObjectTeam pentru proiectarea si realizarea aplicatiilor informatice Descriere: Metodologii de proiectare a aplicatiilor informatice. Componentele de baza ale instrumentului CASE ObjectTeam Aplicatie: Elaborarea unui proiect. Cunostinte: ingineria sistemelor software orientate obiect Inf/ Mate-Inf

Instrument: ObjectTeam

Nr crt
1 2

Titlu

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

Sectia

Crearea de pagini HTML cu acces la baze de date folosind PHP si MySQL Baz de date pentru evidena lucrrilor tiinifice cu interfa de administrare web

Magazin virtual. Programe PHP i instruciuni MySQL. Pagini HTML. TI Eventual Javascript.

3 4 5 6 7

Crearea unei baze de date care conine lucrrile tiinifice ale departamentului de informatic i a unei interfee web sau a unei aplicaii pentru administrarea ei i obinerea de rapoarte uor exportabile n Word i/sau LaTeX. Implementare n Oracle sau Access sau Excel i Java sau Visual Basic sau Visual C++ (2 persoane) Crearea de pagini HTML cu Diverse proiecte alese de studeni care s foloseasc servleturi Java sau TI acces la baze de date folosind JSP i/sau baze de date MySQL sau Oracle servlet-uri Java. Crearea si publicarea de Diverse proiecte alese de studeni care s foloseasc facilitile de TI pagini pe Internet folosind programare Flash Macromedia Flash Crearea de pagini pe Internet Diverse proiecte alese de studeni care s foloseasc facilitile de TI folosind Dreamweaver generare de pagini web oferite de utilitarul Dreamweaver Crearea de pagini web Diverse proiecte alese de studeni care s foloseasc facilitile de TI folosind FrontPage i Xara. generare de pagini web oferite de utilitarele FrontPage i Xara Administrarea Windows Teorie despre administrarea reelelor Windows, biblioteci de funcii Inf, MI 2000 folosind scripturi Perl. PERL, scripturi PERL, aplicaie: constituirea unui set de scripturi PERL pentru cele mai uzuale operaii necesare n administrarea unei reele locale Administrarea Windows Teorie despre administrarea reelelor Windows, comenzi MSDOS, 2000 folosind scripturi de scripturi MSDOS, aplicaie: constituirea unui set de scripturi MSDOS comenzi MSDOS si de retea. pentru cele mai uzuale operaii necesare n administrarea unei reele locale Configurare si utilizare Active Directory in Windows 2000. Configurarea si administrarea unui director LDAP, folosirea acestuia in autentificarea utilizatorilor intr-o retea locala. Client LDAP pentru cautarea si modificarea unui director LDAP (in Java/ alt limbaj). Algoritmi de string searching distribuiti. Algoritmi de string searching paraleli Unelte de indexare a unei pagini web. Administrarea reelelor Windows (teorie), aplicaie n Java sau Visual Basic pentru administrare Active Directory Administrarea reelelor Linux Inf, MI

9 10

Inf, MI Inf, MI

11 12 13 14

Administrarea reelelor Linux / Windows; programare Java Algoritmic Algoritmic, calcul paralel, PVM, limbajul C/C++

Inf, MI Inf, MI Inf, MI

Inventariere utilitare de datamining i string searching, aplicaie prin Inf, MI exemlificarea unei aplicaii realizare de interfaa grafic sau web pentru ea n Java sau C++ sau Visual Basic Lect. Horia Popa (hpopa@info.uvt.ro)

Nr crt

Nr crt

Nr crt

Nr crt

15 16 17

Unelte bazate pe ontologii pentru extragerea de date din pagini web. E-learning cu implementare n Java/Javascript, Html

18 19 20

Inventariere utilitare de datamining i string searching, aplicaie prin exemlificarea unei aplicaii realizare de interfaa grafic sau web pentru ea n Java sau C++ sau Visual Basic Teorie general despre e-learning, realizarea unui site pentru nvarea unei discipline oarecare (la alegerea studentului) folosind JSP, servleturi, baze de date, programare client-server E-learning cu implementare Teorie general despre e-learning, realizarea unui site pentru nvarea n Dreamweaver i unei discipline oarecare (la alegerea studentului) folosind pluginul CourseBuilder. CourseBuilder pentru Dreamweaver n realizarea siteului, descrierea utilitarelor folosite Aplicaii economice sau Sisteme expert n JESS. Programare Java. bancare cu implementare n JESS Aplicaii economice sau Sisteme expert n CLIPS. Programare C. bancare cu implementare n CLIPS Crearea de pagini HTML cu Programare Java, baze de date MySQL, Oracle sau Access acces la baze de date folosind servlet-uri Java. Coordonator: lect. Adrian Craciun Sisteme pentru formalizarea Tematica: Explorarea sistematica a teoriilor matematice cu ajutorul cunostintelor matematice sistemelor de rationament automat: Studii de caz. Descriere: Managementul Cunostintelor Matematice (MKM) este un domeniu recent propus, care se afla la intersectia a doua lumi traditional (si artificial, de multe ori) considerate ca fiind separate, matematica si informatica. Pe langa aspectul organizatorial (digitizarea documentelor matematice, extragerea automata a structurii logice a documentelor, etc), in centrul preocuparilor MKM se afla producerea (suportata de sisteme automata) a unor baze de cunostinte matematice semnificative, adica "explorarea sistematica a teoriilor matematice". Deprinderi necesare: Cunostinte de logica matematica (logica predicatelor, teoria tipurilor), background matematic (algebra, analiza), programare (in special logica si functionala). Doua tipuri de lucrari pot fi abordate in cadrul acestei teme: (a) lucrari de sinteza, ce sa analizeze si sa compare sistemele existente (Automath, Mizar) ce au fost (si sunt) folosite pentru formalizarea unor teorii matematice, si (b) studii de caz in formalizarea de teorii matematice, folosind unul din sistemele de rationament automat disponibile (Theorema, Isabelle, etc.). Lucrarile vor contine, in functie de titlu, urmatoarele: 1.O analiza a diverselor sisteme folosite pentru formalizarea cunostintelor 2.Descrierea Mizar: limbaj, mecanism de verificare, mecanism de formalizare; biblioteca de cunostinte. 3.Descrierea Theorema, descrierea metodelor de demonstrare folosite; dezvoltarea teoriei numerelor naturale folosind Theorema. 4.Descrierea Theorema, descrierea metodelor de demonstrare folosite; dezvoltarea teoriei numerelor naturale folosind Theorema.

Inf, MI Inf, TI Inf, TI Inf, TI Inf, TI MI, MI,

MI, MI,

Inf, MI

Inf, MI

Mizar: un sistem pentru verificarea cunostintelor matematice

Studiu de caz in explorarea teoriei numerelor naturale folosind sistemul Theorema

Studiu de caz in explorarea teoriei sirurilor folosind sistemul Theorema

Demonstrarea automata a Tema: Tehnici de demonstrare automata a teoremelor Inf, MI teoremelor folosind metoda Descriere: Aceasta tema este axata pe studierea si aplicarea diferitelor rezolutiei. tehnici de demostrare automata a teoremelor (rezolutie, calculi logici, inductie, rescriere, simplificare). Deprinderi necesare: Cunostinte de logica matematica, programare (in special logica si functionala). Lucrarile vor contine, in functie de titlu, urmatoarele: Demonstrarea teoremelor 5. Metoda rezolutiei in logica propozitiilor, metoda rezolutiei in folosind deductia naturala logica predicatelor, imbunatatiri ale metodei: rezolutie semantica, rezolutie liniara. Implementare. Exemple. 6.Calculul ND in logica propozitiilor si in logica predicatelor. Implementare. MathML Tema: Standarde pentru reprezentarea cunostintelor matematice. Descriere: Odata cu dezvoltarea diferitelor aplicatii ce suporta activitatile matematice de baza a aparut si problema implementarii unor standarde de reprezentare, ce sa permita cunostintelor dezvoltate folosind un sistem sa fie folosite intr-un sistem diferit. Aceste standarde trebuie sa fie reprezentabile totodata si pe suportul cel mai raspandit in ziua de astazi, Internetul. Inf, MI

OpenMath

Deprinderi necesare: Cunostinte de logica matematica, limbaje de reprezentare a cunostintelor (XML). Lucrarile vor contine, in functie de titlu, urmatoarele: 7. Descrierea standardului MathML. Studii de caz: realizarea unui site web (cu caracter educational, exemplu: curs online). 8. Descrierea standardului OpenMath. Reprezentarea cunostintelor matematice folosind OpenMath. Omdoc.