» Từ khóa: chương trình

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 273 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 267 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.

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 276 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.

Trình bày việc mở rộng chương trình Datalog dạng tuyển bởi các ràng buộc toàn vẹn. Đặc biệt, ngoài các ràng buộc toàn vẹn cổ điển (còn gọi là ràng buộc mạnh) biểu diễn các điều kiện cần phải được thỏa mãn, biểu diễn một số bài toán bằng chương trình Datalog dạng tuyển với các ràng buộc toàn vẹn. Ghi chú: Tài liệu toàn văn liên hệ theo...

 4 p husc 23/10/2017 255 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Ràng buộc toàn vẹn, Hệ thống DLV, Bài toán minh họa.

Trình bày kiến thức về mạng nơ ron, nơ ron nhân tạo và nơ ron sinh học, các kiểu mô hình mạng. Mô phỏng ứng dụng mạng nơ ron đa lớp truyền thẳng trình bày mô hình bài toán nhận dạng chữ Hán nôm và cách giải quyết bài toán dựa trên mạng nơ ron đa lớp truyền thẳng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343....

 5 p husc 23/10/2017 267 2 Download

Từ khóa: Công nghệ thông tin, Mạng nơ ron, Nơ ron sinh học, Nơ ron nhân tạo, Mạng nhiều tầng, Lớp truyền thẳng, Thuật toán lan truyền, Chọn hàng truyền, Nhận dạng chữ Hán Nôm, Thuật toán lan truyền ngược, Giao diện chương trình.

Tìm hiểu phương pháp ma tập để định giá truy vấn đối với chương trình Datalog, chiến lược truyền thông tin sang ngang và thuật toán ma tập đối với chương trình Datalog dạng tuyển. về việc thực thi thuật toán ma tập đối với các chương trình Datalog và Datalog dạng tuyển bằng hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 5 p husc 13/10/2017 252 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Ngôn ngữ bậc nhất, Thuật toán ma tập, Datalog dạng tuyển, Hệ thống DLV.

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 348 1 Download

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.

Trình bày một số khái niệm cơ sở và ngữ nghĩa của chương trình logic, cú pháp và ngữ nghĩa logic mô 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

 11 p husc 19/05/2017 254 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Logic mô tả mờ, Tập mờ, Ngữ Nghĩa.

Ebook "Tin - Sinh học" do TS. Nguyễn Văn Cách biên soạn nhằm cung cấp cho cán bộ và sinh viên ngành Công nghệ sinh học và cho các đối tượng khác có liên quan những kiến thức cơ bản về tin sinh học và điểm qua một vài ứng dụng của lĩnh vực khoa học này.

 144 p husc 30/04/2017 311 3 Download

Từ khóa: Tin sinh học, Công nghệ sinh học, Cơ sở dữ liệu, Chương trình phân tích cấu trúc chuỗi, Tra cứu dữ liệu, Đại cương về internet

Giáo trình Công nghệ sản xuất chương trình truyền hình do ThS. Phạm Thị Sao Băng biên soạn trình bày về: giới thiệu chung về chương trình truyền hình, quy trình sản xuất một chương trình truyền hình, công nghệ sản xuất các chương trình truyền hình, công nghệ phân phối các chương trình truyền hình, một số thiết bị tiền kỳ và hậu kỳ trong công nghệ...

 81 p husc 30/04/2017 303 3 Download

Từ khóa: Công nghệ sản xuất chương trình truyền hình, Giáo trình Kỹ thuật truyền hình, Quy trình sản xuất chương trình truyền hình, Phân phối chương trình truyền hình, Kết cấu báo hình, Thể loại báo chí truyền hình

Bài viết Xác định độ cao Geoid và dị thường trọng lực từ các hệ số hàm điều hòa cầu trình bày chi tiết các công thức toán học, để tính độ cao Geoid và dị thường trọng lực trên cơ sở sử dụng các hệ số hàm điều hòa cầu của các mô hình thế trọng trường và được lập thành chương trình máy tính Geomat2015 bằng ngôn ngữ lập trình Matlab.

 5 p husc 30/04/2017 272 2 Download

Từ khóa: Độ cao Geoid, Dị thường trọng lực, Hệ số hàm điều hòa, Cách tính độ cao Geoid, Mô hình thế trọng trường, Chương trình máy tính Geomat2015, Công thức tính độ cao

Bài giảng "Tin học đại cương - Bài 3: Chương trình con (hàm)" cung cấp cho người học các kiến thức: Đặt vấn đề, giới thiệu về chương trình con, cách viết và gọi chương trình con. Mời các bạn cùng tham khảo nội dung chi tiết.

 19 p husc 24/02/2017 202 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Chương trình con, Gọi chương trình con, Viết chương trình con