» Từ khóa: ngôn ngữ

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

Bài viết giới thiệu khía cạnh của liên văn hóa trong giao tiếp tiếng Việt và tiếng Anh. Một số nội dung sơ lược về nhân học giao tiếp và các khái niệm liên quan như cấu trúc hội thoại, hàm ý hội thoại, phép lịch sự... trong sử dụng ngôn ngữ liên văn hóa được bàn bạc, phân tích dưới ánh sáng của nhân học giao tiếp.

 8 p husc 31/01/2018 414 1 Download

Từ khóa: Giao tiếp liên văn hóa Việt - Anh, Giao tiếp liên văn hóa, Văn hóa giao tiếp, Nhân học giao tiếp, Cấu trúc hội thoại, Ngôn ngữ liên văn hóa

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 288 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 293 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

Đưa ra những khái niệm cơ bản về tập mờ và thông tin không chắc chắn, biến ngôn ngữ, các phép tính trên tập mờ và quan hệ mờ. 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 277 1 Download

Từ khóa: Công nghệ thông tin, Biến ngôn ngữ, Quan hệ mờ, Lượng từ mờ, Biểu diễn tri thức, Thuật toán đánh giá

Trình bày khái quát về khái niệm phân lớp dữ liệu, các kỹ thuật phân lớp dữ liệu gồm phân lớp cây quyết định và phân lớp K – láng giềng gần nhất; các vấn đề trong phân lớp dữ liệu như chuẩn bị dữ liệu, làm sạch dữ liệu, chuyển đổi dữ liệu. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 9 p husc 10/01/2018 256 1 Download

Từ khóa: Công nghệ thông tin, Phân lớp dữ liệu, Dữ liệu mờ, Biến ngôn ngữ, Logic mờ, Bài toán tư vấn

Chương này tiếp tục trình bày những kiến thức về giải thuật tìm kiếm. Mục tiêu chương: Nắm vững, minh họa và tính toán được các phép gán (hoán vị) các giải thuật sắp xếp cơ bản trên mảng một chiều; cài đặt được các giải thuật bằng ngôn ngữ C/C++. Mời các bạn cùng tham khảo.

 115 p husc 31/10/2017 292 2 Download

Từ khóa: Cấu trúc dữ liệu, Bài giảng Cấu trúc dữ liệu, Giải thuật tìm kiếm, Ngôn ngữ C/C++, Giải thuật sắp xếp, Đổi chổ trực tiếp

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định được phép xuất hiện trong các mệnh đề. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ...

 5 p husc 23/10/2017 308 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic thông thường, Logic mở rộng, Ngữ nghĩa mô hình, Ngôn ngữ bậc nhất, Phủ định mạnh, Phủ định Mặc định.

Trình bày một ngôn ngữ của lập trình logic theo ngữ nghĩa tập trả lời được gọi là AnsProlog*. Trong AnsProlog* ta cố định ngữ nghĩa tập trả lời và chỉ tập trung vào đó.Ứng dụng của ngôn ngữ AnsProlog* thông qua một số bài toán trong lý thuyết đồ thị và tiến hành mã hóa, thực thi trên hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên...

 5 p husc 23/10/2017 303 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic xác định, Ngôn ngữ AnsProlog, Hệ thống DLV, Biên dịch hệ thống, Bài toán hệ thống, Bài toán biểu diễn, Bài toán chu trình, Bài toán tập định, Bài toán phủ định.

Nghiên cứu và đề xuất một hướng tiếp cận ngôn ngữ D2RQ trong việc chuyển đổi dữ liệu từ RDB sang RDF trong Web ngữ nghĩa được biểu diễn bằng ngôn ngữ RDF. 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

 5 p husc 23/10/2017 374 1 Download

Từ khóa: Công nghệ thông tin, Dữ liệu RDF, Ngôn ngữ truy vấn, Ngôn ngữ D2RQ, Công cụ dòng lệnh, Ngôn ngữ ánh xạ, Phần mềm hỗ trợ, Tập tin ánh xạ, Chạy truy vấn.

Trình bày cú pháp và ngữ nghĩa của chương trình logic với rang buộc bản số và trọng số. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững, ứng dụng của chương trình logic với các ràng buộc bản số, trọng số vào một số bài toán cụ thể và thực thi chương trình bằng phần mềm hệ thống Smodels....

 5 p husc 23/10/2017 314 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Ràng buộc bản số, Ràng buộc trọng số, Hệ thống Smodels, Logic bậc nhất, Ngôn ngữ Logic.

Mô tả về bài toán tìm kiếm thông tin du lịch tỉnh Bà Rịa – Vũng Tàu, giải pháp cho hệ thống tìm kiếm thông tin du lịch để trình bày mô hình của hệ thống, chuyển đổi (RDF) và lưu trữ dữ liệu (Jena). 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

 5 p husc 20/10/2017 453 7 Download

Từ khóa: Công nghệ thông tin, Web ngữ nghĩa, Ngôn ngữ truy vấn, Linked data, Mô hình hóa thông tin, Dữ liệu từ DBF, Quản lý thông tin, Thông tin du lịch, Truy vấn dữ liệu, Xây dựng ứng dụng.