- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Tìm hiểu ngôn ngữ AnsProlog * và ứng dụng.
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 283 1
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.
Tìm hiểu logic mờ và ứng dụng hỗ trợ chẩn đoán bệnh tăng huyết áp.
Trình bày một số kiến thức cơ sở liên quan đến tập mờ, các phép toán trên tập mờ và hệ chuyên gia mờ, về một số vấn đề liên quan đến phương pháp lập luận xấp xỉ , tổng quan về việc chẩn đoán bệnh Tăng huyết áp.Để ứng dụng xây dựng hệ trợ giúp chẩn đoán bệnh tăng huyết áp. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...
5 p husc 13/10/2017 266 1
Từ khóa: Công nghệ thông tin, Biến ngôn ngữ, Giao của hai tập mờ, Hợp của hai tập mờ, Phép phủ định, Phép tuyển, Quan hệ mờ, Phép kéo theo, Mệnh đề mờ, Diễn tri thức mờ, Phần mềm ứng dụng.
Nghiên cứu bảo vệ chống ăn mòn thép CT3 bằng màng sơn có chất ức chế trong các môi trường khác nhau
Khảo sát khả năng bảo vệ thép CT3 trong các môi trường khác nhau: NaCl, Na2SO4 và môi trường nước biển nhân tạo bằng màng sơn có chất ức chế. Kết quả của đề tài cho phép xác định được trong các môi trường nghiên cứu môi trường nào ăn mòn mạnh nhất và khả năng bảo vệ của màng sơn khi có các chất ức chế khác nhau. Ghi chú: Tài liệu toàn văn...
3 p husc 26/10/2015 346 5
Từ khóa: Hóa học, Hóa lý, Bảo vệ kim loại, Thép CT3, Chống ăn mòn thép CT3, Màng sơn phủ có chất ức chế, Ăn mòn điện hóa, Ăn mòn hóa học, Nước biển nhân tạo
Đăng nhập
Bộ sưu tập nổi bật
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.