- 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
Bài giảng Nhập môn mạch số: Chương 6 (Phần 2) - TS. Trịnh Lê Huy
Bài giảng Nhập môn mạch số - Chương 6 (Phần 2): Mạch tuần tự - bộ đếm đề cập đến phương pháp thiết kế các bộ đếm bất đồng bộ trong hệ thống số. Nội dung bài giảng bao gồm kiểm chứng thiết kế thông qua giản đồ xung và đánh giá ưu nhược điểm của bộ đếm bất đồng bộ trong thực tiễn. Mời các bạn cùng tham khảo bài giảng để...
31 p ctuet 21/06/2025 3 0
Từ khóa: Nhập môn mạch số, Bài giảng Nhập môn mạch số, Bộ đếm bất đồng bộ, Phương pháp thiết kế mạch tuần tự, Giản đồ xung kiểm chứng, Ưu điểm bộ đếm bất đồng bộ
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 168 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 184 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
Bộ sưu tập nổi bật