» Từ khóa: công trình công cộng

Nghiên cứu công nghiệ tính toán lưới, bộ công cụ khai thác dữ liệu trên lưới Alchemi và xây dựng ứng dụng tính toán lưới tra cứu điểm thi đại học dựa trên nền tảng Alchemi. Với tính năng Alchemi sẽ giải quyết được trình trạng quá tải và gây tắc nghẽn đường truyền của hệ thống tra cứu điểm thi mỗi khi có đồng thời một số lượng lớn...

 6 p husc 20/06/2016 331 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mô hình tính toán, CPU song song, Tài nguyên của lưới, Tài nguyên lưu trữ, Hệ thống lưới, Kiến trúc lưới, Demo chương trình, Tra cứu điểm thi

Nghiên cứu các kỹ thuật phân hoạch, cơ chế xử lý song song trong cơ sở dữ liệu song song và lập trình xử lý song song. Từ kết quản tìm hiểu và nghiên cứu này, xây dựng cơ sở dữ liệu song song tính cước phí của khách hàng Viễn thông Phú Yên phân hoạch theo từng khoảng trên SQL Server 2012 và sử dụng ngôn ngữ C# để lập trình song song cho việc tính...

 6 p husc 20/06/2016 342 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu song song, Máy tính song song, Kiến trúc phân tầng, Phân hoạch dữ liệu, Đơn luồng lệnh, Đơn luồng dữ liệu, Đa luồng dữ liệu, Lập trình trên hệ thống, Lập trình giao diện

Trình bày các khái niệm cơ sở của chương trình logic, cách tiếp cận ngữ nghĩa của chương trình logic. Trình bày chương trình logic phỏng đoán (Giới thiệu về lập trình logic phỏng đoán, tính toán phỏng đoán trong lập trình logic, cú pháp và ngữ nghĩa của chương trình logic phỏng đoán). Phương pháp tính toán phỏng đoán và cài đặt thực thi một số chương...

 5 p husc 20/06/2016 236 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, Chương trình logic, Logic xác định, Logic thông thường, Tính toán phỏng đoán, Hệ thống Smodels, Phỏng đoán EK, Phỏng đoán KM

Tìm hiểu cú pháp và ngữ nghĩa của chương trình Datalog mờ, định giá truy vấn chương trình Datalog mờ. Từ chương trình Datalog mờ mở rộng thành chương trình Datalog đa trị, đi tìm cú pháp và ngữ nghĩa của chương trình Datalog đa trị. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 01/06/2016 326 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog mờ, Datalog đa trị, Giá trị trực cảm, Giá trị khoảng, Tri thức đa trị, Thuật toán kết nối, Tri thức nền, Thuật toán hợp nhất

Giới thiệu tổng quan về nhận dạng, các mô hình Markov, mô hình trường ngẫu nhiên Markov cho bài toán nhận dạng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 7 p husc 01/06/2016 283 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép thử, Biến cố, Biến ngẫu nhiên, Hàm mật độ, Mô hình Markov, Bài toán nhận dạng, Tham số mô hình, Chương trình mô phỏng

Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với 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: 054 3822440 – 054 3832447

 5 p husc 01/06/2016 301 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog

Trình bày về cú pháp, ngữ nghĩa của chương trình DatalogFS, phân tầng khả năng biểu diễn DatalogFS bàng ngôn ngữ lập trình C#. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 31/05/2016 314 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Phủ định phân tầng, Mô hình khuếch tán, Xác định ngữ nghĩa, Ngữ nghĩa mô hình

Tiến hành cài đặt việc chạy thực nghiệm chương trình một bài toán đơn giản trên hệ thống mạng các máy tính đa lõi và các kịch bản khác nhau. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 7 p husc 31/05/2016 278 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phân loại máy tính, Đa dòng dữ liệu, Bộ nhớ phân tán, Bộ nhớ kết hợp, Kiến trúc mạng, Chạy chương trình

Trình bày về mối quan hệ giữa chương trình Datalog và logic mô tả. Cú pháp và ngữ nghĩa logic mô tả DL-Lite được trình bày chi tiết và phương pháp chuyển đổi logic mô tả DL-Lite thành chương trình Datalog$. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 31/05/2016 350 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình datalog, Hệ quả logic, Lý thuyết mô hình, Mô tả DL-Lite, Logic bậc nhất, Ngôn ngữ logic

Bài giảng "Vận động công chúng tham gia xây dựng chính sách" trình bày một số nội dung như: Công chúng, sự tham gia của cộng đồng, chính sách công, vận động chính sách, quy trình xây dựng chính sách, sự tham gia của các tổ chức XH ở các giai đoạn xây dựng chính sách, vị trí trong vận động chính sách.

 40 p husc 24/03/2016 321 2 Download

Từ khóa: Khoa học Môi trường, Xây dựng chính sách, Bài giảng Vận động công chúng, Chính sách công, Vận động chính sách, Quy trình xây dựng chính sách, Giai đoạn xây dựng chính sách

Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...

 5 p husc 17/03/2016 315 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

 5 p husc 17/03/2016 433 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn