Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Tài liệu HOT
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
0
Trang chủ
Kỹ Thuật - Công Nghệ
Kĩ thuật Viễn thô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.
TAILIEUCHUNG - Đặ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 .
Hòa Thái
85
13
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Đặ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.
13
75
0
Chuẩn truyền tin Hart trong đo lường và điều khiển tự động mạng công nghiệp - ĐHBK Đà Nẵng
141
103
1
Môn học điều khiển bền vững-(phần 2)
38
56
0
Đồ án: Điều khiển thiết bị qua mạng Ethernet
80
114
3
KỸ THUẬT VIỄN THÔNG - Chương 19: Các giao thức điều khiển truy nhập phương tiện truyền thông
9
117
0
Bài giảng Hệ thống đo và điều khiển công nghiệp: Chương 6.1 - Nguyễn Thị Huế
162
88
8
PHẦN 1 : BỘ GIAO THỨC TCP/IP
15
66
1
Bài tập lớn Mạng số liệu: Tìm hiểu giao thức điều khiển truy nhập CSMA/CA trong mạng LAN không dây
15
133
0
Giáo trình môn học Những kiến thức hàng hải cơ bản - MĐ01: Điều khiển tàu cá
63
118
1
Môn học điều khiển bền vững
33
59
0
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461871
55
Giới thiệu :Lập trình mã nguồn mở
14
22681
61
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10901
530
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10071
446
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9535
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8294
1125
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8244
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7866
2220
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6696
253
Vật lý hạt cơ bản (1)
29
5777
85
TỪ KHÓA LIÊN QUAN
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
TÀI LIỆU MỚI ĐĂNG
Động cơ đốt trong và máy kéo công nghiêp tập 2 part 8
32
260
0
28-04-2024
Báo cáo nghiên cứu khoa học " KẾT QUẢ NGHIÊN CỨU BƯỚC ĐẦU VỀ THIÊN ĐỊCH CHÂN KHỚP TRÊN CÂY THANH TRÀ Ở THỪA THIÊN HUẾ "
7
175
0
28-04-2024
Posted prices versus bargaining in markets_7
23
157
0
28-04-2024
Đóng mới oto 8 chỗ ngồi part 9
10
118
0
28-04-2024
Diseases of the Liver and Biliary System - part 1
33
125
0
28-04-2024
Giáo trình tổng quan khoa học thông tin và thư viện part 7
22
144
2
28-04-2024
New Trends and Developments in Automotive Industry Part 7
35
96
0
28-04-2024
Giáo trình kỹ thuật sữa chữa ô tô, máy nổ part 8
47
138
1
28-04-2024
Báo cáo nghiên cứu nông nghiệp " Field control of pest fruit flies in Vietnam "
14
118
0
28-04-2024
Báo cáo nghiên cứu khoa học " HÃY LÀM CHO HUẾ XANH HƠN VÀ ĐẸP HƠN "
6
118
0
28-04-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7866
2220
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
5759
1382
Ebook Chào con ba mẹ đã sẵn sàng
112
3770
1232
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5327
1136
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8294
1125
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3503
643
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
10901
530
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3688
525
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4059
516
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4132
480
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.