tailieunhanh - Đặc tả hình thức giao thức điều khiển tương tranh hướng hủy bỏ cho cơ sở dữ liệu thời gian thực trong logic tính toán khoảng.

Đặc tả hình thức giao thức điều khiển tương tranh hướng hủy bỏ cho cơ sở dữ liệu thời gian thực trong logic tính toán khoảng. Trong thế giới thứ 2, với nhu cầu điều khiển các súng của pháo binh và phòng không, Wiener phát triển một lý thuyết chung tổ chức và quan hệ trong hệ thống điều khiển. Và đó là điều kiện phát triển kỹ thuật và lý thuyết điều khiển để rồi dần dần trở thành môn khoa học hoàn chỉnh. . | Tạp chí Tin học và Đĩêu khiền học T. 19 s. 2 2003 78--90 A FORMAL SPECIFICATION OF THE ABORT-ORIENTED CONCURRENCY CONTROL FOR REAL TIME DATABASES IN DURATION CALCULUS HO VAN HUONG Governmental Cipher Department HaNoi Abstract. In this paper we present a formal model of real time database systems using duration calculus DC . First we present a formal description of the real time database model using state variables expressing data objects and operations of period transactions. Then we give DC formulas to express their behavior and relationships. We also give a formal specification of the Basic Aborting Protocol BAP and a formal proof for the correctness of the BAP using the DC proof system. And then we propose an extension of BAP. Tóm tắt. Bài báo trình bày về một mô hình hình thức của hệ thống cơ sở dữ liệu sử dụng lôgic tính toán khoảng. Phần đầu giành miêu tả hình thức của mô hình cơ sở dữ liệu thời gian thực sử dụng các biến trạng thái thể hiện các đối tượng dữ liệu và các thao tác của các giao tác có chu kỳ. Tiếp nữa là đưa ra công thức DC Duration Caculus để thể hiện hành vi và quan hệ của chúng. Bài báo còn đưa ra một đặc tả hình thức của giao thức huỷ bỏ BAP và một chứng minh hình thức cho điều kiện đúng của giao thức BAP sử dụng hệ thống chứng minh DC. Cuối cùng là dề xuất một thuật toán để mở rộng cho giao thức BAP. 1. INTRODUCTION In the past two decades the research in RTDBS has received a lot of attention 5 12 . It consists of two different important areas in computer science real time systems and database systems. Similar to conventional real time systems transactions in RTDBS are usually associated with time constraint . deadline. On the other hand RTDBS must maintain a database for useful information support the manipulation of database and process transactions 12 . RTDBS are used in a wide range of applications such as avionic and space air traffic control systems robotics nuclear power plants integrated manufacturing systems programmed stock .

• Kĩ thuật Viễn thông
• giao thức điều khiển
• khoa học điều khiển
• hệ thống kỹ thuật
• điều khiển học
• nghiên cứu tin học
• Lý thuyết thuật toán
• tự động học
• giáo trình tự động hóa
• tự động hóa công nghiệp
• thiết kế mạch điện tử
• đồ án vi điều khiển
• mạch điều khiển từ xa
• chuẩn truyền tin HART
• đo lường mạng công nghiệp
• điều khiển tự động
• giao thức truyền thông HART
• lý thuyết điều khiển tự động
• điều khiển bền vững
• kiến thức vật lý
• giáo trình điều khiển bền vững
• giáo án vật lý học
• Điều khiển thiết bị qua mạng Ethernet
• Đồ án điện điện tử
• Đồ án tự động hóa
• Điều khiển thiết bị qua mạng
• Họ giao thức TCP IP
• điều khiển truy nhập
• giao thức điều khiển truyền thông
• truyền thông
• tài liệu truyền thông
• phương pháp truyền thông
• kỹ thuật truyền thông
• Bài giảng Hệ thống đo và điều khiển công nghiệp
• Điều khiển công nghiệp
• Giao thức công nghiệp
• Kiến trúc giao thức
• Cấu trúc mạng
• Mã hóa dữ liệu
• tcp ip
• điều khiển Truyền Thông
• Hệ Giao Thức
• Bộ Giao Thức
• Mô Hình DoD
• Giao thức điều khiển truy nhập CSMA CA
• CSMA CA trong mạng LAN không dây
• Giao thức truyền dẫn CSMA
• Giao thức truyền dẫn CSMA CA
• Bài tập lớn Công nghệ thông tin
• Đặc điểm mạng WLAN
• Những kiến thức hàng hải cơ bản
• Điều khiển tàu cá
• Giáo trình Kiến thức hàng hải cơ bản
• Giáo trình Điều khiển tàu cá
• Phương hướng trên biển
• Tiêu hàng hải
• Giáo trình Điều khiển lập trình PLC
• Điều khiển lập trình PLC
• Điều khiển lập trình
• Phương thức hoạt động của PLC
• Phép toán nhị phân của PLC
• Phép toán số của PLC
• luận văn mẫu
• đề án tốt nghiệp
• thiết kế mạch giao tiếp
• vi điều khiển
• lỗi động cơ
• Hệ thống phun xăng điện tử
• phương thức giao tiếp
• hệ thống điều khiển
• các dòng vi điều khiển
• kiến trúc ARM Cortex M3
• vi điều khiển LM3S8962
• giao diện nối tiếp đồng bộ
• giao thức
• vi điều khiển kế thừa
• kiến trúc ARM
• Cơ chế giao tiếp
• Kỹ thuật truyền dẫn
• Bảo toàn dữ liệu
• Thông tin dữ liệu
• Mạng máy tính
• Thông tin số liệu
• Giao thức điều khiển liên kết dữ liệu
• Data link control protocols
• Giao thức định hướng ký tự
• Điều khiển nổ từ xa
• Giao thức truyền dữ liệu
• Khí tài công nghệ cao
• Thiết bị thu phát vô tuyến
• Tên lửa SOSNA
• Kỹ thuật điện tử
• Cấu trúc của một PLC
• Tạp chí khoa học
• Giao thức truyền thông
• Giao thức SPI
• Khối điều khiển giao tiếp
• Công nghiệp điện tử hiện đại
• mạng Ethernet
• giao thức TCP
• thiết bị đo điều khiển xa EĐĐK
• phần mềm EMON
• điều khiển nhúng EĐĐK
• Vi mạch điều khiển
• Phần mềm lập trình
• biên dịch CCS
• Mạng cục bộ LAN
• công nghệ Ethernet
• luận văn
• lập lịch tối ưu
• Xây dựng hệ thống
• Điều khiển kết nối Signalling
• Phân loại báo hiệu
• Nguyên tắc điều khiển hệ thống viễn thông
• Hệ thống báo hiệu
• Phân hệ đa phương tiện IP
• Giao thức báo hiệu liên mạng
• Kĩ thuật truyền tin công nghiệp
• Mã hóa đường truyền