Tài liệu Đồ Án - Luận Văn

Qui trình triển khai bảo trì bao gồm các bước sau • Lập kế hoạch triển khai • Cung cấp tài liệu hướng dẫn vận hành, sử dụng, tổ chức đào tạo vận hành hệ thống • Ghi nhận các lỗi phát sinh • Tiến hành sửa chữa đảm bảo hệ thống vận hành đúng theo yêu cầu thực tế

46 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 386 | Lượt tải: 0

Thường bị giới hạn về tài nguyên: hiệu năng bộ xử lý, dung lượng bộ nhớ  Thường được thiết kế chuyên dụng  Thỏa mãn yêu cầu về độ tin cậy và khả năng chịu lỗi cao, yêu cầu về tính thời gian thực (Realtime)

34 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 506 | Lượt tải: 0

Cách thực hiện: Ðầu tiên, máy tính giá trị của . Sau đó lần lượt so khớp giá trị này với giá trị của các biểu thức trong các danh sách biểu thức. Nếu gặp trường hợp thoả mãn máy thực hiện tương ứng. Khi tất cả các danh sách biểu thức đều không thoả mãn máy thực hiện (nếu có Cas...

30 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 406 | Lượt tải: 0

38. Sử dụng vị từ forall để viết chương trình Prolog kiểm tra một danh sách có là một tập hợp con của một danh sách khác hay không ? Chương trình hoạt động như sau : ?- subset3([a,b,c],[c,d,a,b,f]). Yes ?- subset3([a,b,q,c],[d,a,c,b,f]) No 39. Sử dụng vị từ append ghép hai danh sách để viết các chương trình Prolog thực hiện các việc sau : p...

80 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 590 | Lượt tải: 0

Cuối cùng, người ta mong muốn nhận được một số lời giải tùy theo yêu cầu của người sử dụng. Ta xây dựng hàm some-solutions dựa theo cách xây dựng hàm a-solution nhưng khi tìm thấy một lời giải, máy yêu cầu người sử dụng trả lời có tiếp tục tìm lời giải khác không. Vị từ other-solution? dùng để duy trì quá trình tìm kiếm. Sau khi đã đưa ra hết c...

121 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 440 | Lượt tải: 0

Bây giờ chúng ta đã sẵn sàng để viết thường trình ngắt. Để xác định xem sự hiển thị thời gian có được kích hoạt hay không ta sử dụng cờ biến đổi được ON_FLAG. Cờ này được thiết lập bằng 1 khi thời gian được hiển thị. MAIN là thủ tục ngắt Tập tin PGM3_3.ASM ;chương trình thường trú bộ nhớ chỉ thời gian ; kích hoạt bằng tổ hợp phím Ctrl+Shift p...

110 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 385 | Lượt tải: 0

Ép kiểu (coercion): Việc chuyển một kiểu dữ liệu sang một kiểu khác được gọi là ẩn (implicit) nếu nó được làm tự động bởi compiler và được gọi là hiện (explicit) nếu được giải quyết bởi người lập trình Ví dụ 5.2: Hàm ord() trong pascal chuyển kiểu kí tự sang số nguyên, phép chuyển đổi là hiện Lệnh a:=b; trong đó a kiểu real, b kiểu integer khi t...

11 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 357 | Lượt tải: 0

Trường hợp chứa cả thuộc tính tổng hợp và thuộc tính kế thừa phải thoả mãn 3 điều kiện: 1. Thuộc tính kế thừa của một ký hiệu trong vế phải của luật sinh phải được xác định trong hành vi nằm trước ký hiệu đó 2. Một hành vi không được tham khảo tới thuộc tính tổng hợp của một ký hiệu nằm bên phải hành vi đó 3. Thuộc tính tổng hợp của ký hiệu c...

27 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 468 | Lượt tải: 0

Xây dựng LALR parsing table 1. Xây dựng họ tập hợp các mục LR(1) của G': C = {I0, I1,., In } 2. Nhóm các mục có cùng core trong C được C' = {J0, J1,., Jm } 3. Trạng thái i được xây dựng từ  Ji .Các action tương ứng trạng thái i xác định tương tự như canonical LR Nếu một action đụng độ được sinh ra bởi các luật trên, ta nói văn phạm không phải...

60 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 413 | Lượt tải: 0

DFA là một trường hợp đặc biệt của NFA, DFA có thêm các dặc diểm sau: - Không có chuyển đổi trạng thái ứng với kí tự rỗng  - Từ một trạng thái s khi có một kí tự x được đọc vào, DFA sẽ chuyển sang một trạng thái s' duy nhất

31 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 412 | Lượt tải: 0