TAILIEUCHUNG - Tính khả tuần tự của giao thức điều khiển tương tranh khóa hai pha trong cơ sở dữ liệu thời gian thực.

Tính khả tuần tự của giao thức điều khiển tương tranh khóa hai pha trong cơ sở dữ liệu thời gian thực. Thứ ba, tạo ra sự hợp thức khoa học hiện đại trên cơ sở làm rõ tính tương đồng của các quy luật trong các lĩnh vực hoạt động khác nhau. Các nhiệm vụ này dẫn đến sự thay đổi nội dung trên cơ sở những quan niệm hệ thống (chỉnh thể), chức năng, cấu trúc. Chính điều này đã tạo ra tiền đề phương pháp luận để hình thành hệ thống khái niệm mới với nội dung. | Tạp chí Tin học và Điều khiển học 2001 25-32 TÍNH KHẢ TUẦN Tự CỦA GIAO THỨC ĐIÊU KHIEN tương tranh KHÓA HAI PHA TRONG cơ SỞ DỮ LIỆU THỜI GIAN THỰC ĐOÀN VĂN BAN Hồ VĂN HƯƠNG Abstract. In this paper we present a formal model of real time database system using Duration Calculus DC . We give a formal specification of the correctness criterion for the execution of transaction systems and of the two phase locking concurrency control protocol 2PL-CCP . We also give a formal proof for the correctness of the 2PL-CCP using the DC proof systems. Tóm tắt. Trong bài này chúng tôi trình bày một mô hình hình thức cúa hệ thống cơ sỏ dũ liệu thời gian thực trong logic tính toán khoáng Duration Calculus DC . Chúng tôi đưa ra đặc tả hình thức chính xác cho việc thụ c hiện của hệ thống các giao tác và giao thửc điêu khiển tương tranh khóa hai pha 2PL-CCP. Chúng tôi cũng đưa ra một chứng minh hình thức tính đúng ciỉa các giao thức điều khiển tương tranh khóa hai pha trong cơ sờ dữ liệu thời gian thực sứ dụng hệ thống chứng minh DC. 1. MỞ ĐẦU Ngày nay các hệ thống thời gian thực HTTGT được đặc biệt quan tâm khi cần phải quản lý một khối lượng lớn dữ liệu và hỗn hợp. Hiệu quả ciỉa các thuật toán quản lý việc truy nhập và thao tác dữ liệu trong các HTTGT phụ thuộc nhiều vào điều kiện ràng buộc về thời gian của các ứng dụng đã được cung cấp. Trong bài báo chúng tôi trình bày về một đặc tả hình thức điều khiển tương tranh ciỉa cơ SỜ dữ liệu thời gian thực CSDLTGT trong logic tính toán khoảng DC Duration Calculus 5 10 . CSDLTGT có thể xem như là sự hợp nhất giữa cơ sở dữ liệu CSDL với HTTGT. Trước tiên giới thiệu tóm tắt đặc tả hình thức chính xác cho việc thực hiện ciia hệ thống các giao tác và giao thức điều khiển tương tranh khóa hai pha 2PL-CCP Two Phase Locking Concurrency Control Protocol 1 9 Sau đó là một chứng minh hình thức tính đúng cda các giao thức điều khiển tương tranh trong CSDLTGT đế khẳng định được tính đúng của hệ thống các giao tác đảm bảo hệ thống thực hiện nhất

• Kĩ thuật Viễn thông
• lập lịch tối ưu
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• khoa học điều khiển
• Tối ưu đa mục tiêu
• Tối ưu đa mục tiêu lập lịch
• hệ thống tính toán lưới
• Thuật toán di truyền
• Hàm đo độ thích nghi
• Bài toán lập lịch
• Luận văn Thạc sĩ Kỹ thuật
• Kỹ thuật viễn thông
• Hiệu suất mạng VLC
• Phương pháp lập lịch tối ưu tài nguyên
• Tối ưu tài nguyên
• Giải thuật tối ưu hóa rừng cây
• Lưới tính toán
• Cực tiểu hóa makespan
• Thuật toán FOA
• Giải thuật tối ưu hóa đàn kiến
• Luận văn Thạc sĩ
• Luận văn Thạc sĩ ngành Hệ thống thông tin
• Mạng ngang hàng
• Thuật toán lập lịch tối ưu
• Lập lịch trong mạng ngang hàng
• Công việc độc lập
• Giải thuật FOA
• Gieo mầm cục bộ
• Thuật toán lập lịch luồng
• Phương pháp tối ưu bày đàn
• Môi trường điện toán đám mây
• Ứng dụng luồng công việc
• Điện toán đám mây
• Thuật toán lập lịch luồng công việc
• Môi trường điện toán đám mâ
• Chiến lược tối ưu bày đàn
• Giải thuật Random
• Tóm tắt Luận văn Thạc sĩ
• Trí tuệ nhân tạo
• Lập trình tiến hóa
• Cấu trúc dữ liệu
• Thuật giải di truyền
• Tối ưu số
• Tối ưu tổ hợp
• Bài toán người du lịch
• Giải thuật lập lịch nhóm
• Lập lịch nhóm
• Hiệu suất sử dụng băng thông
• Tỉ lệ mất mát chùm
• Mạng chuyển mạch chùm quang
• Lịch luồng công việc
• Thuật toán metaheuristic PSOi
• Phương pháp tối ưu bầy đàn
• Hệ số quán tính
• Hệ số gia tốc
• giao thông
• vận tải
• mạng giao thông công cộng
• mô hình toán học
• thiết lập lịch trình vận tải
• Luận án tiến sĩ
• Luận án tiến sĩ Toán học
• Cơ sở toán học cho tin học
• Bài toán Lập lịch luồng
• Lập lịch luồng công việc
• Tìm kiếm Tabu
• Tối ưu bày đàn
• Dịch vụ công nghệ
• Luận văn Thạc sĩ Khoa học máy tính
• Nghiên cứu bài toán lập lịch
• Hệ thống xếp thời khóa biểu
• Phương pháp tối ưu hóa đàn kiến
• Lập lịch phát điện
• Quản lý năng lượng
• Thuật toán tiến hóa sai lệch
• Pin năng lượng mặt trời
• Hệ lưới điện siêu nhỏ
• tên miền website
• bảo mật web
• lập trình web
• Tối ưu hóa website
• xây dựng website
• quản lý web
• facebook