TAILIEUCHUNG - Ngữ nghĩa CSP cho các mạch tuần tự không đồng bộ

Bài viết sử dụng công cụ đại số “Các tiến trình tuần tự tương tác CSP”– Communicating Sequential Processes của . Hoare để xây dựng các chương trình tuần tự không đồng bộ mô phỏng các mạch tuần tự không đồng bộ và đưa ra phương pháp mô phỏng dựa trên các luật của đại số CSP và các luật logic để chứng minh các tính chất của một số chương trình tuần tự không đồng bộ. | Hội nghị Khoa học công nghệ lần thứ XXII Trường Đại học Giao thông vận tải NGỮ NGHĨA CSP CHO CÁC MẠCH TUẦN TỰ KHÔNG ĐỒNG BỘ Trần Văn Dũng Trường Đại học Giao thông Vận tải Số 3 Cầu Giấy Hà Nội Email zungtv@ Tel 0904588833 Tóm tắt. Bài báo sử dụng công cụ đại số Các tiến trình tuần tự tương tác CSP Communicating Sequential Processes của . Hoare 1 để xây dựng các chương trình tuần tự không đồng bộ mô phỏng các mạch tuần tự không đồng bộ và đưa ra phương pháp mô phỏng dựa trên các luật của đại số CSP và các luật logic để chứng minh các tính chất của một số chương trình tuần tự không đồng bộ. Từ khóa tiến trình tuần tự tương tác CSP mạch tuần tự không đồng bộ chương trình tuần tự không đồng bộ. 1. ĐẶT VẤN ĐỀ Mục đích của bài báo nhằm đưa ra cách tiếp cận sử dụng đại số các tiến trình tuần tự tương tác CSP để xây dựng các tiến trình mô phỏng hoạt động của các mạch tuần tự không đồng bộ tức là mạch xử lý thông tin mà ngoài đầu vào và đầu ra có thể cho phép quay vòng một số thông tin bên trong mạch và hoạt động theo các chu kỳ kích hoạt đầu vào không sử dụng đồng hồ đồng bộ. Các mạch tuần tự không đồng bộ là một loại mạch phần cứng quan trọng chính vì vậy việc tìm hiểu và suy luận về các hành vi của mạch có ý nghĩa quan trọng và thu hút sự quan tâm nghiên cứu của nhiều tác giả xem 2 3 4 . Bên cạnh công cụ CSP trong 5 chúng ta đã sử dụng mô hình toán học khác để nghiên cứu việc tích hợp không đồng bộ các tiến trình tuần tự. Trong bài này ta xét mạch tuần tự không đồng bộ theo trình tự các bước như sau Bổ sung biến delay vào các vị trị cần thiết trước khi quay vòng Biểu diễn các biến bổ sung thông qua đầu vào đầu ra và thông tin quay vòng Tìm mối liên hệ giữa các biến xem có thoả mãn các điều kiện cần thiết không Xét mạch hoạt động có cho kết quả duy nhất không tức là thiết kế tốt không Ở đây ta xét chế độ thao tác cơ bản mở rộng theo nghĩa sau các tín hiệu vào có thể đồng bộ thay đổi nhưng sau đó mọi tín hiệu vào khác chờ đợi cho đến khi mạch đạt đến .

• Kĩ thuật Viễn thông
• Tiến trình tuần tự tương tác CSP
• Mạch tuần tự không đồng bộ
• Chương trình tuần tự không đồng bộ
• Đại số CSP
• Mạch xử lý thông tin
• Xử lý số tín hiệu
• Thực hành xử lý số tín hiệu
• Kỹ thuật viễn thông
• Tín hiệu số
• Điện tử viễn thông
• Kỹ thuật chuyển mạch
• Thông tin di động
• Ứng dụng mạng nơ rôn
• Xử lý tín hiệu
• Tín hiệu viễn thông
• Xử lý tín hiệu viễn thông
• Mạng noron logic mờ
• Giải pháp mạch mô phỏng
• Luận văn Thạc sĩ
• Công nghệ thông tin
• Chế tạo thiết bị tín hiệu điện tim
• Xử lý tín hiệu điện tim
• Nguyên lý hoạt động của tim
• Thiết kế mạch phần cứng
• Mạng viễn thông
• Xử lý tín hiệu số
• Cơ sở kỹ thuật vi xử lý
• Kỹ thuật vi xử lý
• Các mạch số cơ bản
• Vi xử lý
• giáo trình
• phần tử mạch điện
• mạch tương đương
• mạch bất biến
• sách kĩ thuật
• ứng dụng tin học Truyền hình
• Kỹ thuật truyền số liệu
• Hệ thống DPS
• Lý thuyết mạch
• Kỹ thuật điện tử
• Tự động hóa
• Mạng hai cực
• Mạng bốn cực
• Bộ khuếch đại thuật toán
• Mạch điện xử lý tín hiệu
• Công nghệ Kỹ thuật Điện tử Truyền thông
• Thiết bị thu thập xử lý tín hiệu điện tim
• Bệnh động mạch vành
• Vai trò của điện tim trong điều trị
• Hệ thống thông tin di động
• Hệ thống viễn thông
• Tổ chức mạng
• Dịch vụ viễn thông
• Lý thuyết thông tin
• Mạch điện tử 3
• Kỹ thuật siêu cao tần
• môi trường truyền thông
• xử lý truyền thông
• điều chế tương tự và số
• chuyển mạch số
• khuyếch đại thuật toán
• mạch TÍNH TOÁN
• thiết kế mạch
• hệ vi điều khiển
• điều khiển công nghiệp
• kỹ thuật ghép nối
• xử lý số liệu
• phương pháp trao đổi thông tin
• thiết bị ngoại vi
• Bài giảng Kiến trúc máy tính
• Kiến trúc máy tính
• Khoa học máy tính
• Bộ vi xử lý 8088
• Mã hóa lệnh bộ vi xử lý 8088
• Phân kênh để tách thông tin
• Mạch tạo xung nhịp 8284A
• bộ lọc ELLIPTIC
• bộ lọc thông thấp
• đổi bất biến xung
• xử lý số
• mạch lọc số
• cài đặt phần cứng
• máy tính điện tử
• xử lý thông tin
• công nghiệp tự động
• linh điện điện tử
• kinh tế xã hội
• mạch điếm sản phẩm
• Thông tin quang
• Kỹ thuật ghép kênh WDM
• mạng WDM
• định tuyến
• cấp phát bước sóng
• mô hình kết hợp IP over WDM
• Mạng chuyển mạch gói quang OPS
• chuyển mạch chùm quang
• Thiết kế mạch khóa số
• Bảo vệ các thiết bị
• Bảo vệ tài sản của con người
• Vi điều khiển xử lý các thông tin
• Khóa số điện tử