» Từ khóa: tĩnh học

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

 5 p husc 17/03/2016 390 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn

Tìm hiểu và nghiên cứu: các nguyên tắc truy vấn cơ sở dữ liệu Xtensible Markup language (XML) động; Cấu trúc lưu trữ cho dữ liệu XML và dựa trên cấu trúc này, trình bày một số phương pháp tối ưu hóa đã được công bố và đảm bảo truy vấn cho cơ sở dữ liệu XML Outsource. Đề xuất giải pháp kiểm tra đảm bảo truy vấn cho cơ sở dữ liệu XML được...

 7 p husc 17/03/2016 251 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Truy vấn dữ liệu, Liên kết mở rộng, Liên kết đơn giản, Mã hóa dữ liệu, Ngôn ngữ truy vấn, Dữ liệu XML

Tổng quan về mạng cảm biến không dây (hoạt động của hệ thống mạng WSN, các nút cảm biến, kiến trúc và giao thức, các yếu tố ảnh hưởng đến thiết kế nút cảm biến, ứng dụng và an ninh trong mạng WSN). Nghiên cứu các giải pháp phát hiện xâm nhập trong mạng WSN, một số loại xâm nhập phổ biến, các dấu hiệu phát hiện. Giới thiệu cách tiếp...

 7 p husc 16/03/2016 279 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Cảm biến không dây, Cấu trúc liên kết, Phương tiện truyền thông, Bảo mất trong WSN, Nút cảm biến

Khái quát về cơ sở dữ liệu có yếu tố thời gian và mô hình TIME-ER. Nghiên cứu cơ sở dữ liệu lồng nhau và các phép toán đại số quan hệ trong cơ sở dữ liệu lồng nhau. Thiết kế mô hình quan hệ lồng nhau có yếu tố thời gian từ mô hình TIME-ER và các phương pháp chuyển đổi mô hình TIME-ER sang mô hình quan hệ lồng nhau. Ghi chú: Tài liệu toàn văn...

 5 p husc 16/03/2016 386 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ thời gian, Cơ soqr dữ liệu, Quy trình thiết kế cơ sở dữ liệu, Tập thực thể, Dữ liệu lòng nhau, Thuộc tính lòng nhau, Phép chiếu lòng nhau, Phép hợp lòng nhau, Chuyển đổi mô hình

Tổng quan về bảo mật cơ sở dữ liệu, bao gồm các lỗ hổng, mối đe dọa đối với cơ sở dữ liệu, các kiểu tấn công cơ sở dữ liệu (trọng tâm là loại tấn công chèn mã SQL (SQLIA). Nghiên cứu hướng tiếp cận của cây phân tích cú pháp trong việc phát hiện và ngăn chặn tấn công chèn mã SQL. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email:...

 5 p husc 16/03/2016 260 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu, Cơ sở dữ liệu, Chèn mã SQL, Phần mềm mô phỏng, Phân tích thuật toán, Xác định lỗ hổng

Nghiên cứu tính toán lưới: bản chất, phân loại, kiến trúc, ích lợi, các chuẩn liên quan và cơ sở hạ tầng Grid, công cụ GridBus Enterprise Grid Infrastructure (Alchemi). Thiết kế ứng dụng để triển khai trên lưới. Xây dựng ứng dụng demo để triển khai vào thực tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440...

 9 p husc 16/03/2016 277 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ thống tính toán, Tính toán phân tán, Lưới tính toán, Lưới dữ liệu, Lưới kết hợp, Thiết kế chương trình, Phân tích hệ thống

Nghiên cứu về điện toán đám mây và một số giải pháp bảo mật, an toàn thông tin trên đám mây. Xây dựng đám mây có bảo mật và ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 16/03/2016 255 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khai phá dữ liệu, Hệ thống thông tin, Kho dữ liệu, Thuật toán phân lớp, Mô phỏng bài toán

Nghiên cứu quy trình phát triển kiến trúc phần mềm hướng mô hình và kỹ thuật kiểm thử dựa trên mô hình. Ứng dụng bài toán kiểm thử theo cách tiếp cận mô hình với các hệ thống phân tích và thiết kế hướng đối tượng trên ngôn ngữ Mô hình hóa (UML). Các ứng dụng của Hồ sơ kiểm thử ngôn ngữ mô hình hóa trong kiểm thử phần mềm và các công...

 6 p husc 16/03/2016 274 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quy trình phần mềm, Kiểm thử phần mềm, Kiểm thử tích hợp, Kiểm thử hệ thống, Kiểm thử giao diện

Tổng quát về hệ thống nhận dạng đối tượng, vai trò, ý nghĩa của hệ thống nhận dạng, các thành phần và kiến trúc của hệ thống nhận dạng. Nghiên cứu phương pháp học sâu từ mô hình kiến trúc học sâu; mô hình mạng sâu: xây dựng tham số ban đầu cho học sâu, quy trình học của mô hình Bilinear Dêp Belief Network (BDBN), thuật toán học sâu. Ghi chú:...

 7 p husc 16/03/2016 369 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quá trình nhận dạng, Bài toán nhận dạng, Kiến trúc học sâu, Mạng tin sâu, Thuật toán học song sâu

Tìm hiểu lý thuyết về tập mờ, logic mờ Đại số gia tử. Nghiên cứu phương pháp lập luận xấp xỉ theo cách tiếp cận lý thuyết tập mờ, phương pháp lập luận xấp xỉ theo cách tiếp cận Đại số gia tử; Đánh giá hiệu quả các cách tiếp cận lập luận xấp xỉ. Ứng dụng kết quả nghiên cứu vào chuẩn đoán bệnh phổi tắc nghẽn mạn tính. Ghi...

 6 p husc 16/03/2016 275 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ mờ, Phép khử mờ, Mạnh đề mờ, Lập luận xấp xỉ, Quy trình chuẩn đoán, Mô phỏng chương trình

Nghiên cứu một số nguyên tắc xác thực trong cơ sở dữ liệu phân tán, từ đó đưa ra giải pháp kỹ thuật để lựa chọn tối ưu, phù hợp nhất vào thực tế của công tác quản lý hệ thống; Vấn đề bảo mật trong hệ phân tán với phạm vi là một số nguyên tắc xá thực trong cơ sở dữ liệu phân tán ở mô hình client-server. Ghi chú: Tài liệu toàn văn...

 6 p husc 16/03/2016 225 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ phân tán, Giao dịch phân tán, Phân loại xác thực, Xác thực bằng mật khẩu, Xác thực dữ liệu, Dữ liệu phân tán, Tổ chức dữ liệu, Phân mảnh dữ liệu

Giới thiệu một số kiến thức cơ bản về lý thuyết về tập mờ, cơ sở dữ liệu không gian thời gian; Trình bày mô hình cơ sở dữ liệu không gian thời gian mờ và xử lý truy vấn trong cơ sở dữ liệu không gian thời gian mờ; Mô phỏng ứng dụng liên quan đến dự báo khả năng mưa trên lãnh thổ Việt Nam trong khảng thời gian bất kỳ. Ghi chú: Tài liệu...

 5 p husc 16/03/2016 278 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập hợp mờ, Cơ sở dữ liệu, Cơ sở không gian, Dữ liệu không gian thời gian, Quan hệ không gian, Lưu trữ dữ liệu, Xử lý dữ liệu