» Từ khóa: toán học

Tìm hiểu khái niệm cơ bản về bài toán bù tuyến tính, các bài toán liên quan và một số lớp ma trận đặc biệt. Trình bày một số phương pháp xoay giải bài toán bù tuyến tính như phương pháp xoay chính đơn giản và phương pháp Lemke. Nghiên cứu biểu diễn tập nghiệm của bài toán bù tuyến tính khi M thuộc lớp ma trận mở rộng của lớp P-ma trận, đưa ra...

 4 p husc 30/03/2016 315 1 Download

Từ khóa: Toán học, Toán học ứng dụng, Toán bù tuyến tính, Mô tả bài toán, Các lớp ma trận, Thuật toán, Số nghiệm cực đại

Tìm hiểu về bài toán quy hoạch toàn phương và các dạng khác nhau của bài toán quy hoạch toàn phương. Trình bày về hướng liên hợp và các phương pháp gradient liên hợp để giải bài toán quy hoạch toàn phương không ràng buộc; tính chất và sự hội tụ của các phương pháp; đưa ra thuật toán và một số ví dụ giải bài toán trên máy tính Matlab. Ghi chú:...

 4 p husc 30/03/2016 249 2 Download

Từ khóa: Toán học, Toán học ứng dụng, Bài toán quy hoạch, Quy hoạch toàn phương, Bài toán lồi, Bài toán không ràng buộc, Bài toán có ràng buộc, Hướng liên hợp, Giải bài toán

Tìm hiểu: Điều kiện Palais-Smale; Nguyên lý biến phân Ekeland; Điểm giới hạn - Bổ đề biến dạng. Nghiên cứu định lý Mountain Pass trong không gian hữu hạn chiều, trong không gian topo và ở dạng cổ điển. 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

 6 p husc 30/03/2016 295 1 Download

Từ khóa: Toán học, Toán học ứng dụng, Định lý Mountain Pass, Không gian topo, Pass dạng cổ điển, Điều kiện Palais-Smale

Nghiên cứu việc xử lý các phép nối trên cơ sở dữ liệu thời gian để có thể kết hợp được vào các Database management system (DBMS) thương mại. 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

 6 p husc 17/03/2016 267 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu quan hệ, Cây truy vấn, Thuật toán phép nối, Phép toán đại số, Phép nối tự nhiên, Thuật toán tường minh, Minh họa thuật toán

Trình bày cú pháp và ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương; ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển dựa trên logic ba trị; Giới thiệu hai hệ thống lập trình logic là Smodels và DLV, minh họa việc cài đặt và thực thi một số chương trình logic trên hai hệ thống này; Cài đặt thuật toán tính ngữ nghĩa xác...

 5 p husc 17/03/2016 380 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dạng tuyển, Ngôn ngữ bậc nhất, Thuật toán tính ngữ, Cài đặt thuật toán, Mô hình xác đáng

Trình bày tổng quan về khai phá dữ liệu, tiền xử lý dữ liệu và một số phương pháp khai phá dữ liệu, các ứng dụng thực tế của khai phá dữ liệu. Nghiên cứu một số thuật toán về khai phá dữ liệu (thuật toán K-láng giềng gần nhất, thuật toán Bayes và thuật toán C4.5 và các ví dụ cụ thể liên quan đến khai phá dữ liệu. Ghi chú: Tài liệu toàn...

 6 p husc 17/03/2016 370 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, THuật toán phân lớp, Chức năng mô tả, Chức năng dự đoán, Làm sạch dữ liệu, Dữ liệu nhiễu, Phân lớp dữ liệu, Phân cụm dữ liệu

Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...

 5 p husc 17/03/2016 292 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường

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 414 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ổ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 276 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 294 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 273 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

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 383 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