» Từ khóa: mo hinh mo

Mục tiêu nghiên cứu là ứng dụng được công cụ SWAT mô phỏng lưu lượng dòng chảy, từ đó tính toán hệ số hạn và phân bố về mặt không gian trên khu vực nghiên cứu. Kết quả, lưu lượng dòng chảy được mô phỏng tốt với chỉ số NSI, R2 đạt trên 0,7 và PBIAS khoảng 10% trong giai đoạn hiệu chỉnh và kiểm định tại trạm Giang Sơn, Cầu 14 và Bản Đôn.

 17 p husc 28/02/2018 287 0 Download

Từ khóa: Lưu vực Srepok, Hệ số hạn, Mô hình SWAT, Mô phỏng chế độ thủy văn, Chế độ thủy văn, Lưu vực Srepok, Phân vùng hạn hán

Bài giảng Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...

 40 p husc 31/01/2018 302 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Hệ thống phần mềm, Lỗi phần mềm, Ngôn ngữ và hệ thống, Các ngôn ngữ đặc tả, Kiểm tra mô hình

Nội dung chương 7 trình bày đến người học những vấn đề liên quan đến "Mô hình động trong Alloy", cụ thể như: Các mô hình tĩnh, mô hình hóa chuyển đổi trạng thái, signature mang tính chất tĩnh, các chuỗi trạng thái, biểu diễn một chuyển đổi,...

 38 p husc 31/01/2018 213 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình động trong Alloy, Các mô hình tĩnh, Các vị từ frame condition

Bài giảng Đặc tả hình thức: Chương 8 giúp người học hiểu về "Mô hình minh họa: Hotel Room Locking". Nội dung trình bày cụ thể gồm có: Mô tả vấn đề, signatures và fields, biểu đồ mô hình cho hệ thống, bàng buộc và thao tác, phát sinh khóa mới, trạng thái khởi tạo,...

 33 p husc 31/01/2018 263 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình minh họa, Hotel Room Locking, Mô hình hóa bằng Alloy, Phát sinh khóa mới

Trong bài báo này, các tác giả nghiên cứu mô hình chi phí trên các khối dựng sẵn trong xử lý truy vấn với các yếu tố chi phí cơ sở, trong đó có sự xem xét bổ sung chi phí xử lý trên các lớp sưu tập gộp nhóm. Mời các bạn cùng tham khảo nội dung chi tiết.

 11 p husc 31/01/2018 279 1 Download

Từ khóa: Mô hình ước lượng, Ước lượng chi phí, Xử lý truy vấn đối tượng, Cơ sở dữ liệu hướng đối tượng, Dữ liệu hướng đối tượng, Xử lý truy vấn

Xử lý dữ liệu lớn mà Hệ thống tính cước điện thoại mạng Vinaphone đang đảm nhiệm, cần tăng tốc xử lý và tính toán để đạt hiệu quả cao trong công việc, đảm bảo thời gian cung cấp thông tin cho khách hàng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 9 p husc 10/01/2018 306 1 Download

Từ khóa: Công nghệ thông tin, Đơn luồng dữ liệu, Lập trình chia sẻ, Lập trình theo mô hình, Quản lý thread, Biến điều khiển, Đồng bộ hóa

Tìm hiểu hệ thống thông tin địa lí – Tìm hiểu tổng quan về hệ thống thông tin địa lí GIS, giới thiệu các phần mềm liên quan như ArcGIS Desktop, Arcgis, các nghiên cứu về GIS có liên quan đến du lịch trong và ngoài nước. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 10/01/2018 299 1 Download

Từ khóa: Công nghệ thông tin, Quản trị dữ liệu, Quản trị mô hình, Thông tin du lịch, Cơ sở dữ liệu, Lớp dũ liệu, Xây dựng hệ hỗ trợ

Trình bày tổng quan về logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả thông qua một số bài toán và sử dụng hệ thống lập trình logic DLV kết hợp với hệ thống lập luận OWL RACER để thực thi các bài toán. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 10 p husc 10/01/2018 338 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Logic thông thường, Logic mô tả, Bài toán ứng dụng, Mô hình bền vữ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 với các lưu lượng đến có dạng IPP (mô hình IPP/M/W/W). Từ đó đưa ra các đánh giá dựa trên xác suất mất chùm (xác suất tắc nghẽn) tại nút lõi OBS. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 13 p husc 10/01/2018 334 1 Download

Từ khóa: Công nghệ thông tin, Mạch chùm quang, Tập hợp chùm, Lập lịch chùm, Mô hình hàng đợi, Nút lõi OBS

Giới thiệu về các mô hình lập trình song song để nghiên cứu chi tiết các mô hình lập trình song song như mô hình bộ nhớ chia sẻ, mô hình truyền thông điệp, mô hình dữ liệu song song và mô hình hỗn hợp, về OpenMP 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: 02343. 822440 - 02343. 832447

 11 p husc 10/01/2018 615 1 Download

Từ khóa: Công nghệ thông tin, Thuật toán song song, Thiết kế thuật toán, Dữ liệu song song, Mô hình hỗn hợp, Mô hình lập trình

Giới thiệu mô hình ER và mô hình mở rộng của mô hình này là mô hình EER. để áp dụng phương pháp chuyển đổi một lược đồ EER thành cơ sở tri thức trong logic mô tả, chúng tôi đã thực hiện việc mô hình hóa cho một mô hình EER thực tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 13 p husc 10/01/2018 285 1 Download

Từ khóa: Công nghệ thông tin, Cơ sở dữ liệu, Quan hệ mở rộng, Ngôn ngữ mô tả, Logic mô tả, Mô hình EER

Giới thiệu mô hình hướng đối tượng, trong đó giới thiệu về mô hình hạt nhân và mở rộng ngữ nghĩa của mô hình hạt nhân về logic mô tả, bao gồm các nội dung: khái lược về logic mô tả, cú pháp ngữ nghĩa của logic mô tả, hệ cơ sở tri thức dựa trên logic mô tả và mở rộng của ngôn ngữ mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 13 p husc 10/01/2018 288 1 Download

Từ khóa: Công nghệ thông tin, Mô hình hạt nhân, Logic mô tả, Ngôn ngữ mô tả, Hộp thuật ngữ, Giao diện người dùng