tài Lu n v n Cao h c CNTT n m h c 2007-2008 t i HBK TP HCM GVHD: TS Nguy n H a Phùng 1: Software Verification k thu t xác nh xem m t ph n m m th a mãn yêu c u thi t k K thu t òi h i xác nh m t ph ng pháp mô t yêu c u thi t k m t c ch suy di n th c hi n trình ch ng minh Yêu c u: Sinh viên c n có ki n th c c b n v logic tốn Giai o n làm c ng: - Tìm hi u lý thuy t v software verification - Tìm hi u m t s ph ng pháp mô t hi n có - Tìm hi u c ch suy di n hi n có - Xác nh ph m vi nghiên c u Giai o n làm lu n v n: - Phát tri n m t mơ hình thích h p - Hi n th c ch ng trình - Th nghi m 2: Plagiarism Detection k thu t phát hi n c p ph n m m K thu t ánh giá kh n ng trùng kh p c a hai ph n m m t ó d ốn kh n ng c p Giai o n làm c ng: - Tìm hi u v k thu t Plagiarism Detection hi n có - Tìm hi u m t s ph n m m hi n có - Xác nh ph m vi nghiên c u Giai o n làm lu n v n: - Phát tri n m t mơ hình thích h p - Hi n th c ch ng trình - Th nghi m 3: Tìm hi u mơ hình vi x lý h ARM phát tri n trình biên d ch cho ARM d a gcc Giai o n làm c ng: - Tìm hi u v c tính c a vi x lý h ARM - Tìm hi u c ch sinh trình biên d ch c a gcc - Tìm hi u c t hi n có c a ARM gcc - Xác nh ph m vi nghiên c u Giai o n làm lu n v n: xu t m t gi i pháp thích h p - Hi n th c ch ng trình - Th nghi m GVHD: TS Qu n Thành Th 1: Xây d ng m t ch ng trình d y h c lái xe thơng minh d a lu t Sinh viên ng ký: Lê Anh V 2: Xây d ng m t ki n trúc c p nh t ng n i dung trang Web theo h v Web có ng ngh a thơng qua mô t b ng ngôn ng t nhiên Sinh viên ng ký: Nguy n B o Toàn ng ti p c n s d ng d ch 3: Xây d ng ch ng trình phát hi n m u qu ng cáo c l p l i nhi u l n ch trình MP3 podcasting ng h ng d n: Ti n s Nguy n Minh Nh t ( i h c Công ngh Nanyang, Singapore) Sinh viên ng ký: Phan Thanh Cao ng GVHD: PGS TS Cao Hoàng Tr H ng nghiên c u: Web ng ngh a Gom c m m tài li u theo th c th có tên t khoá Tham kh o: Cao, T.H & Do, H.T & Hong, D.T & Quan, T.T (2008), Fuzzy Named Entity-Based Document Clustering In Proc of the 17th IEEE International Conference on Fuzzy Systems Nh n di n quan h gi a th c th có tên v n b n Tham kh o: Cao Duy Tr ng (2008) D ch câu truy v n ti ng Anh sang th khái ni m: cách ti p c n ph thu c cú pháp Lu n v n Cao h c, Khoa KH&KT Máy tính, HBK TP.HCM D ch câu truy v n ti ng Anh có liên t lu n lý, tính t , l ng t sang th khái ni m Tham kh o: Cao Duy Tr ng (2008) D ch câu truy v n ti ng Anh sang th khái ni m: cách ti p c n ph thu c cú pháp Lu n v n Cao h c, Khoa KH&KT Máy tính, HBK TP.HCM GVHD: TS ng Tr n Khánh tài 1: ng Tr n Trí B o m t d a tr c quan hóa cho ng d ng chia s tài nguyên ngang hàng (Security Visualization for Peer-to-Peer Resource Sharing Applications) Yêu c u: Tr c quan hóa v n b o m t h th ng m t h ng nghiên c u m i ang thu hút c s quan tâm r t l n c a c ng ng nhà/nhóm nghiên c u v b o m t th gi i Trong tài này, h c viên ph i nghiên c u v security visualization ng d ng vào vi c xây d ng m t framework h tr b o m t d a security visualization cho ng d ng chia s tài nguyên ngang hàng (peer-to-peer) Sau ó c n áp d ng k t qu nghiên c u vào m t tốn mơi tr ng c th (vd resource sharing for a group of peer-to-peer users using Windows Vista, …) tài 2: àm Khánh Qu c Minh B o v tính riêng t d ch v d a v trí v i thi t b di (Privacy-Preserving in Location Based Services) ng Yêu c u: Nghiên c u v LBS toán b o v tính riêng t ng d ng LBS Áp d ng k t qu nghiên c u xu t/c i ti n m t gi i pháp hi u qu nh m b o v tính riêng t cho m t ng d ng LBS c th (vd LBS for mobile banking, LBS for mobile marketing, LBS for tourist information systems, …) tài 3: Hà H ng S n Tìm ki m l h ng b o m t h c s d li u (Detecting Security Breaches in Database Systems) Yêu c u: Nghiên c u ph ng pháp tìm ki m l h ng b o m t h c s d li u Áp d ng k t qu nghiên c u xu t/c i ti n m t gi i pháp hi u qu cho vi c tìm ki m l h ng b o m t m t DBMS c th (vd Oracle 11g ho c SQL Server 2008) GVHD: TS Ph m Tr n V Nghien cuu phat trien co che bien soan tu dong Workflow to Web Services Sv thuc hien: Bui Dung Anh Tuan Nghien cuu phat trien co che single sign-on tu moi truong Web cho VN-Grid Sv Thai Thi Thu Thuy GVHD: TS Nguy n V n Minh M n Key Theme: Algebraic Methods for Pattern Recognition & Industrial Statistics PROJECT MULTIPLE REGRESSION FOR SELECTING MEANINGFUL PREDICTOR VARIABLES: A CASE STUDY WITH BRIDGE MONITORING DATA Graduate: Tran Vinh Tan (CSE2007) A/ Introduction The Lab of Applied Mechanics (LAM) of The University of Technology – VNU-HCM (HCMUT) has recently obtained a huge amount real data from continuously monitoring bridges in HCMC One of the very beginning task of statistically data mining this data is finding efficient methods to delete out useless sensors, select only meaningful sensors, the ones could provide damage-sensitive features This task contributes the first step of the Data Normalization phase of Damage Prognosis (DP) DP can be defined as the estimate of remaining useful life of a system (e.g engineered structure, civil-mechanical system or service one ) B/ Description Few general questions in DP problems are: a) what are the loading conditions that cause the concerning damage? b) What techniques/technologies should be used to assess the damage? c) Are statistical methods useful for DP and how? In civil-mechanical systems such as bridges, detection of the relationship between concerning factors and possibly recorded damages mathematically requires reading rightly available sources of information, finding best regression models to be used in further analysis A key demand then arise: select only meaningful sensors for fitting best regression models C/ The project aim and scope: conducting this first step of Data Normalization (from bridge data monitored): study logistic regression and relevant techniques of Statistical Pattern Recognition to choose the meaningful sensors designing and implementing a pilot software: combine R, a statistical software with Java; then validate with practical data provided by LAM Extra request: if time allows, investigate parameter estimation of channel identification in the MISO case (multiinput single-output) by Algebraic Geometry method PROJECT CONSTRUCTIONS OF HADAMARD MATRICES AND DESIGNS Graduate: A/ Introduction Hadamard matrices are specific matrices with all (-1,1)-entries such that the rows and columns are mutually pairwise orthogonal That is the inner product of any pair of rows (or any pair of columns) equals to B/ Description Hadamard matrices have been found importantly useful in commodity manufacturing as well as in signal processing, not mention in theoretic studies We investigate the constructions of Hadamard matrices and their corresponding balanced designs by using tools of numeric theory, combinatorics, algebra and computing C/ The project aim and scope: studying specific constructions of Hadamard matrices, making a web-service providing Hadamard designs; and if time allows, learning how to extend the work to computing balanced ternary designs using discrete mathematics such as finite geometries, numeric theory, as well as algeraic combinatorics and computing Scope of our investigation Restrict to specific mathematical constructions to all Hadamard matrices and designs with run size at most 664 Furthermore, the research is aimed at studying some specific mathematical techniques for computing ternary designs with run size at most 100, if time allows These binary and ternary designs are used intensively in (Offline) Industrial Manufacturing, in Pharmaceutics, Agriculture, and in Software Testing WORKING AND REPORTING ARRANGEMENTS Graduates are expected to inform their progress to the advisor(s) by oral presentation and written report, about once for each months at the SAM seminar (www.cse.hcmut.edu.vn/~mnguyen/G-seminars.html) GVHD: PGS TS D ng Tu n Anh Đề 1: (SV Huỳnh Thị Thu Thủy) Phát mẫu bất thường (unusual pattern) liệu chuỗi thời gian Đề 2: (SV Võ Lê Quy Nhơn) Gom cụm liệu chuỗi thời gian (time series clustering) dựa vào phép biến đổi wavelet Đề 3: (SV Phạm Đăng Ninh) Tìm kiếm tương tự (similarity search) liệu chuỗi thời gian dựa vào phép biến đổi wavelet, với hai độ đo tương tự: Euclid xo n thời gian động (dynamic time warping) Đề 4: (SV Phạm Hồng Thái) Nâng cao hi u qu tìm kiếm tương tự liệu chuỗi thời gian với độ đo tương tự xoắn thời gian ng (dynamic time warping) Đề 5: (SV Nguyễn Công Thương) Phân lớp liệu chuỗi thời gian (Time series classification) GVHD: TS Võ Th Ng c Châu – Phát tri n h CSDL quan h i t ng ph thu c th i gian kép (Bi-temporal object relational database system development) Abstract: As realized up to now, the temporal aspects of facts are ubiquitous in the modeled world Nowadays, temporal data support is of increasing interest in commercial DBMS products However, their existing built-in support for (bi-)temporal data is limited and still unavailable widely to database users This fact leads to the motivation for bitemporal object relational database system development As expected, the achieved bi-temporal object relational database system will allow bi-temporal database application development to be supported in such a manner that non-temporal database application development is conventionally supported on a non-temporal database system Tóm t t: Nh c nh n th c cho n bây gi , khía c nh th i gian c a fact kh p n i th gi i th c ti n Ngày nay, vi c h tr d li u ph thu c th i gian ang c a d n vào s n ph m h qu n tr CSDL th ng m i Tuy nhiên, ph n h tr c h u hi n có cho d li u ph thu c th i gian (kép) v n h n ch ch a ph d ng cho ng i s d ng CSDL i u d n n nhu c u phát tri n m t h CSDL quan h i t ng ph thu c th i gian kép K t qu s h CSDL quan h i t ng ph thu c th i gian kép cho phép vi c phát tri n ng d ng CSDL ph thu c th i gian kép c h tr theo cách mà vi c phát tri n ng d ng CSDL không ph thu c th i gian c h tr h CSDL không ph thu c th i gian – Phát tri n m t workbench cho siêu d li u ph thu c th i gian c a nhi u ki u d li u (Developing a unified temporal metadata workbench) Abstract: As generally bewared, metadata is data about data It plays a very important role in handling other data from unstructured data to structured data Thus, an effective management of metadata is necessary for application domains where metadata is required Based on this fact, a unified temporal metadata workbench is developed in consideration on several popular metadata standards such as Dublin Core and MPEG-7 The temporal aspect and other domain-specific aspects of many various kinds of data are examined for metadata at both conceptual and logical levels With the resulting metadata workbench, it is believed that metadata-related application development is greatly supported at the database instead of application level In particular, such a metadata workbench can be utilized in developing temporal information-rich systems such as temporal multimedia data warehouses, temporal 3D medical data management systems, and information-rich virtual environments Tóm t t: c nh ngh a d li u v d li u Siêu d li u óng Theo m t cách t ng quát, siêu d li u có th m t vai trò r t quan tr ng vi c x lý d li u khác t khơng có c u trúc n có c u trúc Do ó, qu n lý siêu d li u hi u qu c n thi t cho mi n ng d ng có yêu c u v siêu d li u i u d n n vi c phát tri n m t workbench cho siêu d li u ph thu c th i gian d a m t vài chu n siêu d li u ph bi n ch ng h n nh Dublin Core MPEG-7 Khía c nh th i gian c ng nh khía c nh c th khác c a ki u d li u khác m t mi n ng d ng c th s c ki m tra cho siêu d li u m c ý ni m l n m c lu n lý V i k t qu m t workbench cho siêu d li u, vi c phát tri n ng d ng ph n có liên quan n siêu d li u s c h tr nhi u m c CSDL thay m c ng d ng C th h n, m t workbench nh th cho siêu d li u có th c t n d ng vi c phát tri n h th ng giàu thông tin ph thu c th i gian ch ng h n nh kho d li u a ph ng ti n ph thu c th i gian, h th ng qu n lý d li u y h c chi u ph thu c th i gian, môi tr ng o giàu thông tin 3 – Thi t k ngôn ng CSDL ph thu c th i gian: kh o sát, ánh giá, h ng m i (Temporal database language design: a survey, evaluations, and new trends) Abstract: Within the long history of temporal database research, the investigation into temporal database languages is very much It is illustrated by several temporal extensions to relational algebra/calculus, nested relational algebra/calculus, QUEL, SQL, and OQL Each temporal extension focuses on a specific set of different aspects of a temporal database language to deal with temporal data Thus, a survey and evaluations on the design of the existing temporal database languages are helpful to examine how much the requirements for the invention of a temporal database language are satisfied Also, it will result in what should be researched next for a new temporal database language that can handle data with regard to time as much as possible Tóm t t: Trong l ch s lâu dài c a l nh v c nghiên c u CSDL ph thu c th i gian, ngôn ng CSDL ph thu c th i gian c u t phát tri n r t nhi u i u c minh h a b i nhi u m r ng v th i gian c a i s /s h c quan h , i s /s h c quan h l ng, QUEL, SQL, OQL M i ph n m r ng t p trung vào m t t p khía c nh c th c a m t ngôn ng CSDL ph thu c th i gian cho vi c x lí d li u ph thu c th i gian Do ó, vi c kh o sát ánh giá thi t k c a ngôn ng CSDL ph thu c th i gian hi n có r t có ích cho vi c ki m tra yêu c u v s phát minh m t ngôn ng CSDL ph thu c th i gian m i c áp ng nhi u nh th H n th n a, vi c kh o sát ánh giá ó s ti n cho h ng nghiên c u ti p m t ngôn ng CSDL ph thu c th i gian m i có th x lý d li u theo khía c nh th i gian nhi u nh có th GVHD: TS Tho i Nam 1: (1 sinh viên) Nguy n H u T ng Vinh Nghiên c u phát tri n gi i thu t truy n d li u nhóm m ng Internet M ng Internet phát tri n kéo theo ng d ng phát tri n Hi n t i m t s ng d ng nh TV-online, Video conference òi h i k thu t truy n a i m (theo nhóm) Tuy nhiên c thù ph c t p, không ng nh t m ng Internet nên gi i pháp truy n theo nhóm c p m ng u khơng/khó tri n khai tài t p trung tìm l i gi i truy n theo nhóm c p ng d ng Yêu c u ph n “chuyên “: Tìm hi u v truy n theo nhóm c p ng d ng Tham kh o gi i thu t N-tree Tham kh o nghi th c XCAST xu t h ng gi i quy t 2: (1 sinh viên) nh th i h ng ti t ki m n ng l ng M t v n nan gi i cho h th ng máy tính c m vi c s d ng n ng l ng i n h p lý Do h th ng máy tính c m có hàng tr m/ngàn nút không ph i lúc c ng c n n t t c nút u ho t ng M t gi i thu t nh th i/l p l ch thông minh s giúp s p x p công vi c t p trung vào m t s l ng nút t i thi u nh ng v n m b o ràng bu c c a ng d ng nh v y giúp gi m thi u vi c tiêu th i n n ng nút không t i c t t Yêu c u ph n “chuyên “: Tìm hi u v nh th i Tham kh o gi i thu t nh th i liên quan xu t gi i pháp 3: (1 sinh viên) Nghiên c u xây d ng gi i thu t VN-Grid m t l h c t i TP.HCM Grid nh th i l i VN-Grid i tính tốn ang c nghiên c u tri n khai m ng liên k t m t s i tài t p trung nghiên c u gi i thu t nh th i phù h p cho c thù c a VN- Nhi m v chuyên là: Tìm hi u l i tính tốn Tìm hi u v VN-Grid xu t h ng gi i thu t GVHD: TS inh c Anh V 1: Nghiên c u xây d ng ph HV: Ph m Qu c C ng 2: Nghiên c u hi n th c PDA HV: Nguy n Thành Trung ng pháp hi n th c vi m ch b t n gi n DE2 3: Nghiên c u xây d ng ng d ng ARM HV: Phan ình Khơi ng b FPGA GVHD: TS Tr n V n Hoài 1: Xây d ng ng c mô ph ng ph c v cho q trình mơ ph ng giao thơng ( ã có sinh viên nh n) M c tiêu c a tài: xác nh m t quy ho ch giao thông, m t cách i u n giao thơng, … có h p lý hay khơng m t nhu c u có th t, nh t Vi t Nam M c ti u c a tài h ng n xây d ng m t cơng c giúp nhà mơ hình có th mơ ph ng ho t ng c a thành ph n tài nh m n m c tiêu: m ng giao thơng Tìm hi u ph ng pháp hi n có th gi i tìm m t cách ti p c n mơ ph ng m ng giao thông Vi t Nam Xây d ng m t ch ng trình th hi n kh n ng có th phát tri n thành m t công c mô ph ng tr giúp nhà mơ hình u c u c a tài: S l ng sinh viên: 2: Phát tri n m t công c cho phép mô t nh ng lu t c b n giao thông tr giúp cho trình mơ ph ng ( ã có sinh viên nh n) M c tiêu c a tài: Trong m t ng c mô ph ng d a time-step, s chuy n tr ng thái c a h th ng s c th c hi n d a nh ng lu t khác (ví d i u n èn tín hi u, lu t giao thơng, lu t mô t hành vi, lu t v t lý…) Vi c xây d ng m t công c t ng quát mô t lu t m t cách d dàng, xác m t nhu c u r t quan tr ng xây d ng cơng c mơ ph ng ó c ng m c tiêu c a tài Yêu c u c a tài: S l ng sinh viên: 3: Xây d ng m t h t ng Grid h tr t i u t h p dùng ph sinh viên nh n) ng pháp xác ( ã có M c tiêu c a tài: Nhi u toán t h p th c t có yêu c u tài ngun tính tốn r t l n H n n a, vi t m t ch ng trình có th gi i tốn theo cách ti p c n tốn h c r t khó kh n, nh t nh ng ng i làm ng d ng, ó ch a k n làmth tri n khai tính tốn m t mơi tr ng tính tốn l n M c tiêu c a tài xây d ng h t ng Grid h tr i u gi m thi u nh ng khó kh n k cho ng i dùng 4: Xây d ng m t công c mô t workflow Grid ph c v cho tìm ki m d a metaheuristics M c tiêu c a tài: Nhóm nghiên c u thu c d án EDAGrid ã phát tri n m t công c h tr nh ngh a m t workflow g m nút tìm ki m d a meta-heuristic c b n (Hill climbing, Simulated Annealing, Tabu Search) M c tiêu c a tài g m yêu c u chính: - B sung kh n ng tích h p m t nút s d ng ph based heuristics) - Hoàn thi n cú pháp ng pháp tìm ki m d a dân s (population- mô t workflow linh ho t h n GVHD: TS Lê Ng c Minh Thi t k hi n th c gi i thu t nh n (routing) h u hi u m ng c m bi n không dây (wireless sensor network) Yêu c u: bi t hay s n sàng h c l p trình Linux device driver Thi t k hi n th c actor tính tốn hình h c Ptolemy II ng c a robot có va ch m Yêu c u: có kh n ng t tốn h c t t, l p trình Java Ray tracing th i gian th c Yêu c u: c u trúc d li u, Computer Graphics, l p trình n n Linux mơ hình mô ph ng chuy n Gi ng viên h ng d n: - PGS TS Phan Th T i - NCS.Nguy n Chánh Thành tài : Phát tri n c ch x p h ng truy v n k t qu tìm ki m h th ng truy xu t thông tin ti ng Vi t Yêu c u v tài - Kh o sát gi i pháp l p ch m c h ng ng ngh a xu t m t gi i pháp c i ti n cho l p ch m c h ng ng ngh a cho ngu n tri th c có s n (Wiki, WordNet, TREC, …) ng d ng xây d ng c ch l p ch m c cho tài li u ti ng Anh ti ng Vi t ph c v cho h th ng VIRS ti ng Vi t tr c n Yêu c u v k thu t: - Hi n th c Web App Tài li u tham kh o: - Liên h v i giáo viên h ng d n - Website: o http://kmi.open.ac.uk/technologies/semsearch/ o http://www.cs.umd.edu/projects/plus/SHOE/ o http://www.swse.org/publications.php tài : Phát tri n c ch rút trích quan h ng ngh a cho d li u ti ng Vi t ti ng Anh Yêu c u v tài - Kh o sát c ch rút trích d li u quan h ng ngh a c ch l u tr - Phân tích c u trúc c a ngu n tri th c có s n liên quan gi i pháp rút trích (Wiki, WordNet, TREC, ) ng d ng xây d ng c ch khai thác d li u hu n luy n c s tri th c ti ng Vi t VKB Yêu c u v k thu t: - Hi n th c Web App Tài li u tham kh o: - Liên h v i giáo viên h ng d n - Website: o http://www.gabormelli.com/rkb.cgi/Semantic_Relation_Extraction_Algorit hm o http://www.gabormelli.com/rkb.cgi/Research_Publications o http://www.gabormelli.com/rkb.cgi/Research_References o Bài báo “Automatic Extraction of Hierarchical Relations from Text” o Bài báo “A Multilingual/Multimedia Lexicon Model for Ontologies” tài : Phát tri n mơ hình truy xu t thơng tin ti ng Vi t ng d ng th vi n s Yêu c u v tài - Kh o sát mơ hình truy xu t thơng tin ng d ng xây d ng ng d ng m u cho h th ng VIRS Yêu c u v k thu t: - Hi n th c Web App Tài li u tham kh o: - Liên h v i giáo viên h ng d n - Tài li u: o Bài báo “Semantic Wikipedia” o Bài báo “Applying Semantic Web Technology in a Digital Library” Gi ng viên h ng d n: - PGS.TS Phan Th T i - NCS.Nguy n Quang Châu tài : Nghiên c u xây d ng c ch Q&A ti ng Vi t tr c n Yêu c u v tài - Tìm hi u v h th ng Q&A - Phân tích ng d ng tính n ng c a ng d ng xây d ng c ch cho h th ng Q&A ti ng Vi t tr c n Yêu c u v k thu t: - Hi n th c Web App Tài li u tham kh o: Liên h v i giáo viên h ng d n tài : Nghiên c u xây d ng Ontology ph c v cho h th ng Q&A ti ng Vi t Yêu c u v tài - Tìm hi u v h th ng Q&A - Phân tích c u trúc tính n ng c a ng d ng xây d ng khai thác Ontology ph v cho h th ng Q&A ti ng Vi t tr c n Yêu c u v k thu t: - Hi n th c Web App Tài li u tham kh o: Liên h v i giáo viên h ng d n tài : Bi u di n tri th c cho h th ng Q&A Yêu c u v tài - Tìm hi u v h th ng Q&A cách bi u di n tri th c - Phân tích c u trúc c a ngu n tri th c có s n (Wiki, WordNet, ) ng d ng xây d ng c ch bi u di n trung gian ph c v cho h th ng Q&A ti ng Vi t tr c n Yêu c u v k thu t: - Hi n th c Web App Tài li u tham kh o: Liên h v i giáo viên h ng d n ... podcasting ng h ng d n: Ti n s Nguy n Minh Nh t ( i h c Công ngh Nanyang, Singapore) Sinh viên ng ký: Phan Thanh Cao ng GVHD: PGS TS Cao Hoàng Tr H ng nghiên c u: Web ng ngh a Gom c m m tài li... Tham kh o: Cao Duy Tr ng (2008) D ch câu truy v n ti ng Anh sang th khái ni m: cách ti p c n ph thu c cú pháp Lu n v n Cao h c, Khoa KH&KT Máy tính, HBK TP. HCM GVHD: TS ng Tr n Khánh tài 1: ng... (www.cse.hcmut.edu.vn/~mnguyen/G-seminars.html) GVHD: PGS TS D ng Tu n Anh Đề 1: (SV Huỳnh Thị Thu Thủy) Phát mẫu bất thường (unusual pattern) liệu chuỗi thời gian Đề 2: (SV Võ Lê Quy Nhơn) Gom cụm liệu