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ẩmNghiê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(Trường Đại học Bách Khoa Hà Nội, 2009) Lê Thanh; Nguyễn Thúc Hải; Nguyễn Văn NgọcNghiê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ẩmNghiên cứu kỹ thuật nhận dạng người nói dựa trên từ khoá tiếng Việt(Trường Đại học Bách Khoa Hà Nội, 2010) Ngô Minh Dũng; Vũ Kim Bảng; Đặng Văn ChuyếtTổ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ẩmGenetic algorithms for solving bounded diameter minimum spanning tree problem(Trường Đại học Bách Khoa Hà Nội, 2011) Huynh Thi Thanh Binh; Nguyen Duc NghiaTổ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ẩmNghiên cứu về tập mờ loại hai đại số gia tử(Trường Đại học Bách Khoa Hà Nội, 2012) Phan Anh Phong; Trần Đình KhangTrì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ẩmBài toán kiểm định mã và phân bậc ngôn ngữ theo độ không nhập nhằng(Trường Đại học Bách Khoa Hà Nội, 2012) Nguyễn Đình Hân; Đỗ Long Vân; Phan Trung HuyTrì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ẩmVề một cấu trúc vị nhóm mới và mã(Trường Đại học Bách Khoa Hà Nội, 2012) Hồ Ngọc Vinh; Đỗ Long Vân; Phan Trung HuyTrì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ẩmNghiên cứu độ đo tương tự hỗn hợp trong phát hiện tri thức từ dữ liệu(Trường Đại học Bách Khoa Hà Nội, 2012) Nguyễn Trung Tuấn;; Nguyễn Ngọc Bình; Huỳnh Quyết ThắngTrì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ẩmTrích rút thực thể có tên và quan hệ thực thể trong văn bản tiếng Việt(Trường Đại học Bách Khoa Hà Nội, 2012) Sam Chanrathany; Nguyễn Thanh Thuỷ; Lê Thanh HươngLuậ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ẩmKiểm tra và đo lường dịch vụ web(Trường Đại học Bách Khoa Hà Nội, 2012) Phạm Thị Quỳnh; Huỳnh Quyết Thắng; Nguyễn Thị Tĩnhlườ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ẩmNâng cao độ an toàn thực tiễn trong hệ mật khóa công khai(Trường Đại học Bách Khoa Hà Nội, 2012) Vũ Huy Hoàng; Hồ Thuần; Đặng Văn ChuyếtLuậ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ẩmNâng cao độ an toàn thực tiễn trong hệ mật khóa công khai(Trường Đại học Bách Khoa Hà Nội, 2012) Vũ Huy Hoàng; Hồ Thuần; Đặng Văn ChuyếtTrì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ẩmMột tiếp cận xây dựng miền gia trị chân lý ngôn ngữ trong các hệ logic(Trường Đại học Bách Khoa Hà Nội, 2013) Lê Anh Phương; Trần Đình KhangLuậ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ẩmMô hình văn phạm liên kết tiếng Việt(Trường Đại học Bách Khoa Hà Nội, 2013) Nguyễn Thị Thu Hương; Nguyễn Thúc HảiLuậ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ẩmNghiê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(Trường Đại học Bách Khoa Hà Nội, 2014) Nguyễn Thị Thanh Tú; Huỳnh Quyết Thắng; Bùi Quốc KhánhNghiê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ẩmNghiê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(Trường Đại học Bách Khoa Hà Nội, 2014) Cao Diệp Thắng; Nguyễn Thúc Hải; Nguyễn Linh GiangTổ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ẩmNghiê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(Trường Đại học Bách Khoa Hà Nội, 2014) Đào Ngọc Phong; Nguyễn Thanh Thủy; Nguyễn Xuân HoàiTổ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ẩmCá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)(Trường Đại học Bách Khoa Hà Nội, 2014) Ban Hà Bằng; Nguyễn Đức NghĩaLuậ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ẩmNghiên cứu nâng cao hiệu năng giao thức định tuyến cho mạng Manet(Trường Đại học Bách Khoa Hà Nội, 2015) Cung Trọng Cường; Nguyễn Thúc Hải; Võ Thanh Tú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ẩmPhâ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(Trường Đại học Bách Khoa Hà Nội, 2015) Nguyễn Minh Quý; Huỳnh Quyết Thắng; Hồ Khánh LâmTổ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ẩmMô hình đánh giá độ tin cậy hệ thống phần mềm(Trường Đại học Bách Khoa Hà Nội, 2015) Nguyễn Hùng Cường; Huỳnh Quyết ThắngCá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ẩmKhung cộng tác đa dụng trong môi trường tính toán lưới(Trường Đại học Bách Khoa Hà Nội, 2015) Nguyễn Thanh Bình; Nguyễn Hữu Đức; Nguyễn Thanh ThủyNê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ẩmNghiê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(Trường Đại học Bách Khoa Hà Nội, 2015) Nguyễn Hữu Tài; Nguyễn Thị Hoàng Lan; Lê Đình Chơn TâmTổ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ẩmNghiê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ị(Trường Đại học Bách Khoa Hà Nội, 2016) Nguyễn Quốc Hùng; Trần Thị Thanh Hải; Nguyễn Quang HoanTổ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ẩmNhậ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(Trường Đại học Bách Khoa Hà Nội, 2017) Phạm Ngọc Hưng; Trịnh Văn Loan; Nguyễn Hồng QuangTổ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ữ
