» Từ khóa: he thong hoc may

trình bày cú pháp và ngữ nghĩa cùng với các tính chất về ngữ nghĩa của ngôn ngữ DLPA ứng dụng chương trình DLPA để biểu diễn tri thức thông qua một số bài toán thực tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 9 p husc 27/09/2016 403 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ logic, Logic bậc nhất, Logic xác định, Tập trả lời, Hệ thống DLV, Ngôn ngữ DLPA.

Nghiên cứu tổng quan về an toàn an ninh mạng hiện nay, các mối đe dọa trong bảo mật hệ thống mạng cài đặt hệ thống IDS/IPS trên phần mềm mã nguồn mở Snort: cài đặt, chạy thử, mô phỏng một số kiểu tấn công cơ bản và kiểm chứng kết quả. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 27/09/2016 336 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Bảo mật mạng, Tấn công mạng, Công nghệ tường lửa, Công nghệ mạng Lan, An toàn thông tin, Hệ thống IDS, Hệ thống IPS, Mạng không dây, Hệ thống Snort.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 10 p husc 27/09/2016 323 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.

Trình bày tổng quan về khai phá dữ liệu, khai phá luật kết hợp và thuật toán Apriori và cải tiến của nó. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 12 p husc 27/09/2016 262 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khai phá dữ liệu, Phân lớp dữ liệu, Phân cụm dữ liệu, Phá luật kết hợp, Thuật toán Apriori, Hệ thống thông tin, Ma trận phân biệt, Độ đo Erim, Tập dữ liệu, Thuật toán MaxMin.

Giới thiệu thiết kế CSDL thời gian cho việc quản lý hồ sơ công chức viên chức ngành Giáo dục và Đào tạo. Tổng quan về quy trình thực hiện việc quản lý hồ sơ theo mo hình TimeER. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 12 p husc 27/09/2016 310 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu thời gian, Dữ liệu TimeER, Mô hình TimeER, Mô hình quan hệ, Quản lý hồ sơ, Thiết kế giao diện, Thống kê dữ liệu.

Giới thiệu tổng quan về các giao dịch trực tuyến và giao dịch phân tán, trong ứng dụng hệ phân tán bài toán bảo mật, bảo toàn và xác thực thông tin. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 12 p husc 27/09/2016 303 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Giao tác phân tán, Dữ liệu phân tán, Giao dịch trực tuyến, Tiếp cận thông tin, Xác thực thông tin, Bảo mật thông tin, Cấu hình hệ thống.

Trình bày về xây dựng hệ thống bán sách trực tuyến dựa trên kỹ thuật làng giềng của phương pháp lọc cộng tác. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 12 p husc 27/09/2016 358 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ thống dữ liệu, Nguồn tri thức, Kỹ thuật láng giềng, Lọc cộng tác.

Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của chương trình Datalog dạng tuyển . Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 27/09/2016 442 6 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.

Trình bày về ngôn ngữ logic bậc nhất, cú pháp và ngữ nghĩa của chương trình logic. Chứng minh CIFF – là một phƣơng pháp để trả lời câu truy vấn đối với các chương trình logic phỏng đoán có chứa ràng buộc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 10 p husc 27/09/2016 243 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Logic thông thường, Logic phỏng đoán, Hệ thống CIFF, Thực thi truy vấn, Swi-Prolog.

Giới thiệu tổng quan về cơ sở dữ liệu đồng thời nêu rõ các kỹ thuật thiết kế cơ sở dữ liệu phân tán để xây dựng ứng dụng mô phỏng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 27/09/2016 262 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu phân tán, Kết nối dữ liệu, Dữ liệu thuần nhất, Chia nhỏ dữ liệu, Thông tin cấp phát, An toàn dữ liệu, Thiết lập hệ thống, Định vị dữ liệu.

Trình bày các kỹ thuật mã hóa và giải pháp mã hóa dữ liệu theo cột. Để thực hiện việc cài đặt thử nghiệm và mô phỏng quá trình bảo vệ dữ liệu trong cơ sở dữ liệu. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 10 p husc 27/09/2016 285 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Bảo mật dữ liệu, Mã hóa dữ liệu, Hệ thống phân cấp, Cấp khóa mã hóa, Dữ liệu mức cột, Tổ chức dữ liệu, Khóa bất đối xứng.

Trình bày các giai đoạn cơ bản của hệ thống nhận dạng biển số xe, phương pháp Boosting, thuật toán Adaboost và các giải thuật khác thuật liên quan cho việc nhận dạng biển số xe. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 13 p husc 27/09/2016 286 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Bài toán nhận dạng, Nhận dạng biển số xe, Hệ thống nhận dạng, Thuật toán Boosting, Mô hình phân tầng, Phân tầng Adaboost.