Ts-Công nghệ thông tin
Duyệt Ts-Công nghệ thông tin theo Năm xuất bản
Ấn phẩm
Nghiên cứu phát triển các giải pháp kiểm soát truy nhập đảm bảo an toàn an ninh cho mạng máy tính
Nghiên cứu các phương pháp kiểm soát truy nhập áp dụng cho mạng máy tính. Xác thực, kiểm soát truy nhập dựa trên vai dàng buộc thời gian . Xây dựng khung làm việc cho hệ thống kiểm soát truy nhập theo mô hình GTRBAC trong mạng nội bộ.
Ấn phẩm
Nghiên cứu kỹ thuật nhận dạng người nói dựa trên từ khoá tiếng Việt
Tổng quan về nhận dạng người nói. Giám định nhận dạng người nói tiếng Việt theo phương pháp nghe-phân tích phổ âm thanh. Khả năng phana biệt người nói của âm tiết tiếng Việt. Giám định tự động nhận dạng người nói tiếng Việt
Ấn phẩm
Genetic algorithms for solving bounded diameter minimum spanning tree problem
Tổng quan về bài toán cây khung nhỏ nhất với đường kính bị chặn và đề xuất một số thuật toán mới nhằm tìm lời giải chất lượng nhất.
Ấn phẩm
Nghiên cứu về tập mờ loại hai đại số gia tử
Trình bày các kiến thức về tập mờ, đại số gia tử. Các phép toán với các giá trị chân lý ngôn ngữ. Tập mờ loại hai đại số gia tử. Một phương pháp xây dựng hệ logic mờ loại hai đại số gia tử. Kết quả và bàn luận.
Ấn phẩm
Bài toán kiểm định mã và phân bậc ngôn ngữ theo độ không nhập nhằng
Trình bày cơ sở lý thuyết mã. Kiểm định mã và mã mở rộng. Độ không nhập nhằng của ngôn ngữ. Một số ứng dụng
Ấn phẩm
Về một cấu trúc vị nhóm mới và mã
Trình bày các khái niệm và kết quả liên quan. Mã luân phiên. Ngôn ngữ chính quy và otomat mở rộng. Mã với từ định biên.
Ấn phẩm
Nghiên cứu độ đo tương tự hỗn hợp trong phát hiện tri thức từ dữ liệu
Trình bày về những vấn đề lý luận chung. Nghiên cứu độ đo tương tự hỗn hợp trong phát hiện tri thức từ dữ liệu. Thử nghiệm độ đo MSM-R trong bài toán phân lớp và phân cụm dữ liệu.
Ấn phẩm
Nâng cao độ an toàn thực tiễn trong hệ mật khóa công khai
Trình bày khái quát về lý thuyết mật mã. Xây dựng hệ mật RSA an toàn với số mũ giải mã lớn. Lược đồ phân chia bí mật một số kết quả và ứng dụng.
Ấn phẩm
Nâng cao độ an toàn thực tiễn trong hệ mật khóa công khai
Luận án trình bày khái quát về lý thuyết mật mã, xây dựng hệ mật RSA an toàn với ố mũ giải mã lớn và một số kết quả và ứng dụng lượng đồ phân chia bí mật.
Ấn phẩm
Trích rút thực thể có tên và quan hệ thực thể trong văn bản tiếng Việt
Luận án nghiên cứu các phương pháp học bán giám sát để giải quyết vấn đề thiếu tập dữ liệu tiếng Việt đã gán nhãn, từ đó đề xuất các phương pháp nhằm nâng cao độ chính xác của trích rút thực thể cho văn bản tiếng Việt và các phương pháp trích rút mối quan hệ giữa các thực thể cho văn bản tiếng Việt.
Ấn phẩm
Kiểm tra và đo lường dịch vụ web
lường phần mềm và kiểm tra tiến trình BPEL. Độ đo các thuộc tính chất lượng của dịch vụ web. Đo lường và kiểm tra tiến trình BPEL.
Ấn phẩm
Một tiếp cận xây dựng miền gia trị chân lý ngôn ngữ trong các hệ logic
Luận án đã nghiên cứu, đề xuất logic đa trị ngôn ngữ với miền giá trị chân lý ngôn ngữ được xây dựng dựa trên đại số gia tử đơn điệu hữu hạn và các phương pháp lập luận ngôn ngữ.
Ấn phẩm
Mô hình văn phạm liên kết tiếng Việt
Luận án nghiên cứu lý thuyết về mô hình văn phạm, đề xuất mô hình cho tiếng Việt, đề xuất các giải thuật xử lý, thử nghiệm trên bộ ngữ liệu mẫu
Ấn phẩm
Nghiên cứu và xây dựng bộ công cụ phát triển phần mềm hỗ trợ giám sát, điều
khiển sử dụng OPC UA
Nghiên cứu tổng quan những đặc tả của OPC Foundation, về hệ thống giám sát điều khiển, và những công trình liên quan đã được công bố trong các tạp chí và các hội nghị có uy tín. Đề xuất kiến trúc và phát triển các thành phần cho OPC UA dựa trên mô hình Client-Server (OPC UA Server-Client SDK), Service Oriented Architecture (SOA), Object Oriented Design (OOD), Webservices... Các giải pháp tích hợp thiết bị vào trong OPC UA Server cũng được nghiên cứu, và phát triển. Phát triển các thành của OPC UA dựa trên hai phương pháp luận: Domain Analysis và Domain Design [
Ấn phẩm
Các thuật toán gần đúng giải bài toán cực tiểu hóa độ trễ (minimum latency problem-MLP)
Luận án giới thiệu tổng quan về bài toán; thuật toán nhánh cận; các thuật toán gần đúng cận tỷ lệ;các thuật toán meta-heuristic.
Ấn phẩm
Nghiên cứu ngữ nghĩa trong hệ lập trình gen định hướng bởi văn phạm nối cây và ứng dụng trong xấp xỉ hàm Q
Tổng quan giải thuật tiến hóa, giải thuật di truyền, lập trình gen, lập trình gen định hướng bởi văn phạm..Ngữ nghĩa trên hệ TAG3P. Toán tử di truyền dựa trên ngữ nghĩa. Ứng dụng bài toán học xấp xỉ hàm Q và hàm ngược Q.
Ấn phẩm
Nghiên cứu cải thiện phương pháp quản lý hàng đợi cho truyền video trên mạng IP
Tổng quan về hiệu năng, chất lượng dịch vụ truyền video trên mạng máy tính. Cơ chế quản lý hàng đợi tích cực trong truyền phát video trên mạng. Đề xuất cải tieesngiari thuật quản lý hàng đợi red, hàng đợi blue.
Ấn phẩm
Nghiên cứu nâng cao hiệu năng giao thức định tuyến cho mạng Manet
Tổng quan về mạng manet và giải pháp nâng cao hiệu quả. Định tuyến trong mạng manet. Giải pháp cải tiến giao thức định tuyến manet sử dụng tác tử.
Ấn phẩm
Phân tích ảnh hưởng của trễ truyền thông đến hiệu năng của hệ thống tính toán song song
Tổng quan về kiến trúc tính toán song song, hiệu năng trong hệ thống tính toán song song, các kỹ thuật phân tích và đánh giá song song. Cơ sở lý thuyết cho phân tích hiệu năng. Phân tích ảnh hưởng của trễ truyền thông đến hiệu năng của hệ thống tính toán song song sử dụng chip đa lõi. Phân tích ảnh hưởng của trễ truyền thông đến hiệu năng của hệ thống tính toán song song ghép cụm.
Ấn phẩm
Khung cộng tác đa dụng trong môi trường tính toán lưới
Nêu các kiến thức nền tảng liên quan đến kế hoạch và cộng tác, tính toán lưới, khung lưới cộng tác, các giải pháp thực thi kế hoạch trên lưới. Mô hình kế hoạch và khung cộng tác đa dụng. Làm mịn kế hoạch. Thiết kế và cài đặt khung lưới cộng tác đa dụng.
Ấn phẩm
Nghiên cứu phát triển một số giải pháp nén ảnh tiên tiến cho màn hình tinh thể lỏng
Tổng quan về vấn đề nén ảnh cho màn hình tinh thể lỏng. Phân tích và đề xuất một số giải pháp nén ảnh dựa trên mã hóa khối và biến đổi không gian màu, dựa trên biến đổi wavelet và lựa chọn thích nghi.
Ấn phẩm
Mô hình đánh giá độ tin cậy hệ thống phần mềm
Các kiến thức toán học cơ sở sử dụng trong mô hình độ tin cậy, độ tin cậy phần mềm, các hướng tiếp cận đánh giá độ tin cậy hệ thống phần mềm, tổng hợp các nghiên cứu liên quan hiện có. Mô hình hóa độ tin cậy phần mềm dựa trên tiến trình markov, dựa trên tiến trình poisson không đồng nhất. Một số ứng dụng thực tế liên quan tới mô hình độ tin cậy phần mềm.
Ấn phẩm
Nghiên cứu và phát triển một số kỹ thuật định vị dựa trên hình ảnh, ứng dụng trợ giúp dẫn đường cho người khiếm thị
Tổng quan về hệ thống trợ giúp người khiếm thị. Biểu diễn môi trường và định vị. Phát hiện và ước lượng khoảng cách vật cản. Phát triển và thử nghiệm hệ thống dẫn đường.
Ấn phẩm
Nhận dạng tự động tiếng nói phát âm liên tục cho các phương ngữ chính của Tiếng việt theo phương thức phát âm
Tổng quan về nhận dạng tiếng nói và nhận dạng phương ngữ. Xây dựng bộ ngữ liệu cho nghiên cứu nhận dạng phương ngữ Tiếng việt. Nhân dạng phương ngữ tiếng việt. Cải thiện hiệu năng nhận dạng tiếng việt với thông tin về phương ngữ