» Từ khóa: công trình công cộ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 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 302 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 423 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

Khái quát về cơ sở dữ liệu có yếu tố thời gian và mô hình TIME-ER. Nghiên cứu cơ sở dữ liệu lồng nhau và các phép toán đại số quan hệ trong cơ sở dữ liệu lồng nhau. Thiết kế mô hình quan hệ lồng nhau có yếu tố thời gian từ mô hình TIME-ER và các phương pháp chuyển đổi mô hình TIME-ER sang mô hình quan hệ lồng nhau. Ghi chú: Tài liệu toàn văn...

 5 p husc 16/03/2016 440 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ thời gian, Cơ soqr dữ liệu, Quy trình thiết kế cơ sở dữ liệu, Tập thực thể, Dữ liệu lòng nhau, Thuộc tính lòng nhau, Phép chiếu lòng nhau, Phép hợp lòng nhau, Chuyển đổi mô hình

Nghiên cứu tính toán lưới: bản chất, phân loại, kiến trúc, ích lợi, các chuẩn liên quan và cơ sở hạ tầng Grid, công cụ GridBus Enterprise Grid Infrastructure (Alchemi). Thiết kế ứng dụng để triển khai trên lưới. Xây dựng ứng dụng demo để triển khai vào thực tế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440...

 9 p husc 16/03/2016 302 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ thống tính toán, Tính toán phân tán, Lưới tính toán, Lưới dữ liệu, Lưới kết hợp, Thiết kế chương trình, Phân tích hệ thống

Nghiên cứu quy trình phát triển kiến trúc phần mềm hướng mô hình và kỹ thuật kiểm thử dựa trên mô hình. Ứng dụng bài toán kiểm thử theo cách tiếp cận mô hình với các hệ thống phân tích và thiết kế hướng đối tượng trên ngôn ngữ Mô hình hóa (UML). Các ứng dụng của Hồ sơ kiểm thử ngôn ngữ mô hình hóa trong kiểm thử phần mềm và các công...

 6 p husc 16/03/2016 300 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quy trình phần mềm, Kiểm thử phần mềm, Kiểm thử tích hợp, Kiểm thử hệ thống, Kiểm thử giao diện

Tổng quát về hệ thống nhận dạng đối tượng, vai trò, ý nghĩa của hệ thống nhận dạng, các thành phần và kiến trúc của hệ thống nhận dạng. Nghiên cứu phương pháp học sâu từ mô hình kiến trúc học sâu; mô hình mạng sâu: xây dựng tham số ban đầu cho học sâu, quy trình học của mô hình Bilinear Dêp Belief Network (BDBN), thuật toán học sâu. Ghi chú:...

 7 p husc 16/03/2016 393 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quá trình nhận dạng, Bài toán nhận dạng, Kiến trúc học sâu, Mạng tin sâu, Thuật toán học song sâu

Tìm hiểu lý thuyết về tập mờ, logic mờ Đại số gia tử. Nghiên cứu phương pháp lập luận xấp xỉ theo cách tiếp cận lý thuyết tập mờ, phương pháp lập luận xấp xỉ theo cách tiếp cận Đại số gia tử; Đánh giá hiệu quả các cách tiếp cận lập luận xấp xỉ. Ứng dụng kết quả nghiên cứu vào chuẩn đoán bệnh phổi tắc nghẽn mạn tính. Ghi...

 6 p husc 16/03/2016 310 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ mờ, Phép khử mờ, Mạnh đề mờ, Lập luận xấp xỉ, Quy trình chuẩn đoán, Mô phỏng chương trình

Nghiên cứu việc tích hợp ngữ nghĩa của chương trình logic mô tả và các quy tắc logic dạng tuyển để xây dựn neencacs chương trình logic dạng tuyển; Cú pháp và ngữ nghĩa của logic mô tả ALC và logic mô tả SHOIN(D). Trình bày một sự hợp tích giữa chương trình logic dưới ngữ nghĩa tập trả lời với logic mô tả SHOIN(D); Xác định đượcngữ nghĩa tập trả...

 6 p husc 16/03/2016 372 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic mô tả, Logic dạng tuyển, Hệ thống DLV

Khái quát về quy trình nghiệp vụ (Business Process Management gọi tắt là BPM), quản lý quy trình nghiệp vụ, Các chuẩn thực thi quy trình trong BPM, Công tác giữa các doanh nghiệp. Nghiên cứu bài toán phân rã tác vụ trong quy trình nghiệp vụ (Tại sao phân rã tác vụ, Hoạch định trong trí tuệ nhân tạo, HTN planning, Ontology, công tác các doanh nghiệp dựa trên Business...

 6 p husc 15/03/2016 276 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quản lý quy trình nghiệp vụ, Chu trinh BPM, Tích hợp hệ thống, Tích hợp ứng dụng, Ứng dụng phân rã, Thuật toán Genesis

Xây dựng mộ hệ chương trình quản lý: tự động hóa một số công tác quản lý. Xây dựng một hệ truyền thông tin trên mạng trong phạm vi toàn trường. Phân cấp quản lý và chia sẻ tài nguyên thông tin trên mạ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

 3 p husc 18/02/2016 373 1 Download

Từ khóa: Tin học, xây dựng chương trình quản lý, công tác quản lý trường Đại học Khoa học, tin học hóa công tác quản lý

Mặc dù mới xây dựng không nhiều công trình ngầm tại hai thành phố Hà Nội và Hồ Chí Minh, nhưng đã xảy ra nhiều sự cố nghiêm trọng, gây thiệt hại nhiều về kinh tế. Nguyên nhân cơ bản là do sự phức tạp, biến động và bất thường của điều kiện địa chất. Một giải pháp quan trọng để hạn chế tai biến địa chất là phải sử dụng các giải...

 10 p husc 28/01/2016 276 3 Download

Từ khóa: Xây dựng công trình ngầm, Giảm thiểu tai biến địa chất, Khảo sát trong xây dựng công trình ngầm, Thăm dò trong xây dựng công trình ngầm, Công trình ngầm, Sự cố địa chất

Nghiên cứu này được thực hiện nhằm phân vùng nguy cơ lũ lụt trên lưu vực sông Vu Gia, tỉnh Quảng Nam. Với nguồn dữ liệu thu thập hạn chế, phương pháp AHP đã được lựa chọn trong nghiên cứu này nhằm tranh thủ kiến thức chuyên môn của nhiều chuyên gia trong đánh giá nguy cơ lũ lụt.

 9 p husc 28/01/2016 295 1 Download

Từ khóa: Phân vùng nguy cơ lũ lụt, Lưu vực sông Vu Gia, Ứng dụng công nghệ GIS, Phương pháp AHP, Tiến trình phân tích thứ bậc-AHP, Thuật toán AHP