» Từ khóa: quan he nhi phan

Kết quả 1-5 trong khoảng 5

Bài giảng Đặc tả hình thức: Chương 2 - Nguyễn Thị Minh Tuyền

Bài giảng Đặc tả hình thức: Chương 2 do Nguyễn Thị Minh Tuyền biên soạn gồm các nội dung chính được trình bày như: Tập hợp (Set), giá trị của một tập hợp, định nghĩa tập hợp, các phép toán trên tập hợp, tập lũy thừa, phân hoạch tập hợp,...

43 p husc 31/01/2018 215 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Tập hợp và quan hệ, Tập các đối tượng rời rạc, Tập lũy thừa, Quan hệ nhị phân
Một tiếp cận trong việc chuyển đổi mô hình quan hệ sang OWL ONTOLOGY.

Đề xuất phương pháp chuyển đổi trực tiếp từ mô hình quan hệ sang OWL Ontology. Đề cập đến phương pháp chuyển đổi từ mô hình quan hệ sang mô hình ER, để làm cơ sở cho việc xác định các quy tắc trong phương pháp chuyển đổi trực tiếp từ mô hình quan hệ sang OWL Ontology. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com...

14 p husc 05/01/2018 235 1

Từ khóa: Công nghệ thông tin, OWL Ontology, Quan hệ phản xạ, Quan hệ định danh, Quan hệ nhị nguyên, Mô hình chuyển đổi, Phương pháp chuyển đổi.
Mô hình hóa dữ liệu web ngữ nghĩa và ứng dụng quản lý thông tin thủy lợi tỉnh Tiền Giang.

Tìm hiểu cơ sở lý thuyết như nguyên nhân hình thành, cách xây dựng, áp dụng về Web ngữ nghĩa và ứng dụng của nó trong quản lý thông tin thủy lợi để xây dựng cơ sở tri thức biểu diễn tri thức về thông tin thủy lợi tỉnh Tiền Giang. 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

7 p husc 23/10/2017 301 1

Từ khóa: Công nghệ thông tin, Dữ liệu RDF, Kiểu dữ liệu, Quan hệ nhị phân, Thiết kế Ontology, Phần mềm Protégé, Chuyển đổi dữ liệu.
Tìm hiểu chương trình datalog và ứng dụng phân tích chương trình C bằng sơ đồ nhị phân quyết định.

Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của 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: 02343. 822440 -...

6 p husc 13/10/2017 344 1

Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.
Nghiên cứu ngữ nghĩa chương trình Datalog và ứng dụng phân tích chương trình với cây nhị phân quyết định

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 386 1

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