» Từ khóa: mo mo

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

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 268 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 234 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 đề 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 260 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 290 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 281 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 343 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ả

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 324 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 322 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 602 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 273 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 277 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