» Từ khóa: mo mo

Phần 2 của giáo trình "Quy hoạch và phân tích hệ thống tài nguyên nước" nối tiếp nội dung của phần 1 trình bày các nội dung: Phương pháp tối ưu hóa ứng dụng trong phân tích hệ thống tài nguyên nước, tính toán điều tiết dòng chảy hệ thống hồ chứa lợi dụng tổng hợp, áp dụng kỹ thuật phân tích hệ thống trong quy hoạch và phân tích hệ thống...

 237 p husc 28/02/2018 296 2 Download

Từ khóa: Quy hoạch hệ thống tài nguyên nước, Phân tích hệ thống tài nguyên nước, Hệ thống tài nguyên nước, Quản lý tài nguyên nước, Mô hình tối ưu, Điều tiết dòng chảy hệ thống

Nối tiếp nội dung của phần 1 cuốn giáo trình "Phát triển và quản lý tài nguyên nước ngầm", phần 2 trình bày các nội dung của hai chương cuối (chương 4 và chương 5) bao gồm: Mô hình toán nước ngầm, quản lý nước ngầm. Mời các bạn cùng tham khảo nội dung chi tiết.

 127 p husc 28/02/2018 264 2 Download

Từ khóa: Phát triển tài nguyên nước ngầm, Quản lý tài nguyên nước ngầm, Mô hình toán nước ngầm, Quản lý nước ngầm, Đánh giá trữ lượng nước ngầm, Ứng dụng mô hình toán nước ngầm

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 264 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 183 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 229 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 250 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

Trong bài báo này, các tác giả để xuất các giải pháp xây dựng phép toán ADN như một phép tích hợp có trọng số và sử dụng giải thuật di truyền để xác định toàn bộ trọng số tối ưu cho phép tích hợp này. Mời các bạn cùng tham khảo nội dung chi tiết.

 11 p husc 31/01/2018 217 1 Download

Từ khóa: Kỹ thuật thủy vân, Giải thuật di truyền, Đại số gia tử, Phương pháp điều khiển mờ, Điều khiển mờ, Trọng số tối ưu

Bài báo này giới thiệu các phụ thuộc hàm đối tượng mờ cho phép biểu diễn các ràng buộc trên các thuộc tính của các kiểu đối tượng mờ có thể bao gồm cả kiểu của chính nó trong lược đồ CSDL mờ. Mời các bạn cùng tham khảo nội dung chi tiết.

 12 p husc 31/01/2018 273 1 Download

Từ khóa: Phụ thuộc hàm đối tượng mờ, Cơ sở dữ liệu hướng đối tượng mờ, Cơ sở dữ liệu, Hướng đối tượng mờ, CSDL hướng đối tượng, Hàm đối tượng mờ

Bài báo đề xuất một giải thuật mới xác định độ trễ giải mã của ngôn ngữ chính quy được đón nhận với ôtômat hữu hạn A. Giải thuật có độ phức tạp O(n3) với n là số cung và trạng thái của A. Mời các bạn cùng tham khảo nội dung chi tiết.

 13 p husc 31/01/2018 244 1 Download

Từ khóa: Xác định độ trễ giải mã, Độ trễ giải mã, Ngôn ngữ chính quy, ôtômat hữu hạn A, Giải thuật mở rộng ôtômat, Ôtômat lưỡng cực

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 273 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 265 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ợ

Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 11 p husc 10/01/2018 321 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả