» Từ khóa: tin học

Trình bày thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA. 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 26/09/2016 239 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.

Trình bày chi tiết một số giải thuật lập lịch truyền thống, như LAUC và LAUC-VF, và những hạn chế của chúng. Sau đólà một số tiếp cận cải tiến nhằm nâng cao hiệu năng lập lịch, gồm nhóm giải thuật BORA và giải thuật HVF. 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 26/09/2016 261 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Kỹ thuật ghép canh, Tập hợp chùm, Định tuyến lệch hướng, Luồng dữ liệu, Xác xuất mất chùm, Chuyển mạch chùm quang, Giải thuật lập lịch.

Trình bày tổng quan về mạng không dây, những thách thức an ninh trong mạng không dây và một số hình thức tấn công trong mạng MANET. 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

 14 p husc 26/09/2016 393 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mạng không giấy, Mạng cục bộ, Bảo mật mạng manet, Giao thức định tuyến, Thông tin định tuyến, Cục bộ không dây, Tấn công định tuyến.

Trình bày các kĩ thuật trong xây dựng bản đồ cho GIS: các công cụ , cơ sở, phương pháp xây dựng bản đồ. Ngoài ra, trong chương này giới thiệu về các thuật toán về xếp chồng bản đồ, thuật toán tìm đường đi tối ưu ứng dụng trong GIS và giới thiệu sơ lược về phần mềm MapInfo. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 13 p husc 26/09/2016 289 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Thu thập dữ liệu, Truy vấn dữ liệu, Xuất dữ liệu, Vùng đệm không giang, Dữ liệu tôn giáo, Thuật toán tìm đường.

Trình bày hai phương pháp để định giá câu truy vấn đối với chương trình logic xác định là SLD và OLDT. Phép hợp giải OLDT khắc phục các nhược điểm của phép hợp giải SLD và tính dừng cũng được cải thiện đối với các chương trình logic xác định. 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 26/09/2016 246 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép hợp giải, Phần mềm Swi-Prolog, Hợp giải tuyến tính, Dẫn xuất SLD, Chương trình logic, Logic xác định.

Giới thiệu cấu trúc và hoạt động của phần mềm mô phỏng mạng NS2 và gói mở rộng OBS-ns dùng mô phỏng cho mạng OBS; cài đặt mô phỏng một vài kịch bản dựa trên các kỹ thuật cấp phát băng thô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

 12 p husc 26/09/2016 237 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chuyển mạch chùm quang, Báo hiệu một chiều, Báo hiệu hai chiều, Phân bố băng thông, Nút định tuyến, Luồng dữ liệu.

Trình bày những khái niệm được xem là then chốt của Web ngữ nghĩa. Trình bày các thành phần của RDF và RDFS, Ontology và OWL. 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 23/09/2016 395 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ OWL, Lập trình RDF, Truy vấn mô hình, Liệt kê mô hình, Nguồn dữ liệu, Giao diện chính, Dữ liệu task.

Đánh giá các giao thức định tuyến dựa trên phương pháp mô phỏng bằng cách sử dụng môi trường mô phỏng Simulator NS2, từ đó xác định môi trường áp dụng cho các giao thức để đảm bảo việc truyền thông tin hiệu 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

 14 p husc 23/09/2016 282 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mô hình mạng Manet, Topo mạng, Bảo trì tuyến, Giao thức định tuyến, Khám phá tuyến.

Tìm hiểu các kiến thức cơ bản về xếp hạng tín dụng, mô hình xếp hạng tín dụng cá nhân sử dụng phương pháp lập luận mờ, và công cụ Fuzzy Logic Toolbox trong Matlab từ đó xây dựng thành 4 nhóm luật và mô phỏng việc xây dựng các nhóm luật này để đánh giá xếp hạng tín dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 11 p husc 23/09/2016 271 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập mờ, Biến ngôn ngữ, Phép hợp mờ, Phép giao mờ, Quan hệ mờ, Logic mờ, Lập luận xấp xỉ.

trình bày mô hình hóa dữ liệu không gian bao gồm mô hình dữ liệu không gian vector, mô hình dữ liệu raster. Tiếp đó giới thiệu về các mô hình dữ liệu không gian ở mức khái niệm bao gồm: Mô hình ER sử dụng ký pháp không gian, mô hình không gian GIS mức khái niệm, mô hình ER có yếu tố không gian mở rộng, mô hình quan hệ SER. Ghi chú: Tài liệu toàn văn...

 15 p husc 23/09/2016 310 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu không gian, Kiểu dữ liệu vùng, Khai thác dữ liệu, Chuyển đổi mô hình, mô hình quan hệ, Không gina mở.

Trình bày một cách tổng quan nhất về mạng MANET, đề cập một cách tổng quát nhất đến vấn đề định tuyến trong mạng MANET, sự phân loại các giao thức định tuyến trong mạng MANET. Nhằm phân tích nguyên lý hoạt động của các giao thức định tuyến AODV, TORA và FSR. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440...

 13 p husc 23/09/2016 325 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mạng Manet, Giao thức định tuyến, Khám phá tuyến, Đường đảo chiều, Đường chuyển tiếp, Thông tin định tuyến, Giao diện mô phỏng, Mạng mô phỏng.

Nghiên cứu mô hình toán học nhằm phân tích hiệu năng tại nút lõi mạng chuyển mạch chùm quang có kiến trúc Share-perdual- fiber-link (SP-DFL) với chuyển đổi bước sóng từng phần trong mô hình, trong đó sử dụng 2 sợi quang song song trên mỗi cổng ra (với số bước sóng giống nhau trên mỗi sợi). Từ đó đưa ra các đánh giá dựa trên xác suất mất chùm (xác...

 12 p husc 23/09/2016 261 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mô hình hóa, Hệ thống lưu lượng, Chuyển đổi bước sóng, Định tuyến lệch hướng, Xác xuất tắc nghẽn, Nút lõi OBS, Bước sóng đầy đủ.