Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: điểm bất động

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

Thuật toán mới xấp xỉ liên kết quán tính để giải bài toán cực tiểu lồi

Bài viết đề xuất và chứng minh sự hội tụ của thuật toán xấp xỉ liên kết quán tính đề giải bài toán cực tiểu lồi, một bài toán thường áp dụng trong xử lý phục chế ảnh. Đây là một phương pháp mới để giải quyết bài toán này. So với các thuật toán khác, thuật toán này không cần thực hiện phép chiếu, mà chỉ sử dụng các bước lặp tính...

8 p ctuet 28/08/2021 143 0

Từ khóa: Cực tiểu lồi, Điểm bất động, Liên tục Lipchitz, Nửa liên tục dưới, Xấp xỉ liên kết quán tính
Điểm bất động đối với chương trình logic diễn giải

Bài báo này trình bày ngữ nghĩa điểm bất động đối với chương trình logic diễn giải. Đầu tiên, nghiên cứu ngữ nghĩa điểm bất động đối với chương trình logic dạng tuyển dương, trên cơ sở đó xây dựng các phép chuyển đổi chương trình logic, chương trình Horn diễn giải và chương trình logic diễn giải về chương trình logic dạng tuyển không chứa...

8 p ctuet 27/06/2020 167 1

Từ khóa: Ngữ nghĩa điểm bất động, Chương trình logic diễn giải, Chương trình logic dạng tuyển dương, Chương trình Horn diễn giải, Ký hiệu phủ định

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Trường Đại học Kỹ thuật - Công nghệ Cần Thơ

Địa chỉ: 256 Nguyễn Văn Cừ, Quận Ninh Kiều, Thành phố Cần Thơ
Email: phonghanhchinh@ctuet.edu.vn

Phát triển bởi Thư viện số