tailieunhanh - Về một số tính chất của quan hệ thứ tự trong đại số gia tử không thuần nhất.

Về một số tính chất của quan hệ thứ tự trong đại số gia tử không thuần học hệ thống (System dynamics) lĩnh vực hệ thống toán học thử mô hình hóa những hệ phức tạp trong các vòng các phản hồi âm và dương. Nó đã được áp dụng thành công cho một xã hội, sinh thái, và những mô hình sinh học đa dạng. Ứng dụng nổi tiếng nhất có lẽ là ở chương trình phổ biến Tăng trưởng giới hạn (Limits of Growth) của Câu lạc bộ Rome, đi tiên phong bởi mô phỏng máy tính. | Tạp chí Tin học và Đĩêu khiền học T. 19 s. 4 2003 391-398 GIAO THỨC HỢP THỨC CHO QUAN LÝ GIAO TÁC PHÂN TÁN DI ĐỘNG NGUYỄN KHẮC LỊCH LÊ HỮU LẬP Học viện Công nghệ Bưu chính - Viễn thông Abstract. With the rapid growth and convenience of wireless technology nowadays. It opens a new era of mobile computing and a new orientation in communication and data processing. Mobile databases are hosted on the lightweight devices like Laptop palmtop PDA Pocket PC Cellular phones 6 . The most well-known 2PC 2 is used in distributed database but it is far from being adapted to the mobile databases because the typical mobile environments are off-line execution moving and disconnected computing. To solve these problems we proposed a new improved commitment protocol called the Commit Protocol for Mobile Distributed Transaction Management. It supports off-line execution moving disconnected computing also it decreases the cost of wireless communication. Tóm tắt. Sự phát triển nhanh chóng của công nghệ không dây và các thiết bị di động ngày nay đã mở ra một kỷ nguyên mới về tính toán di động và xu hướng mới trong truyền thông và xử lý dữ liệu. Cơ sở dữ liệu di động được cài đặt trong các thiết bị nhỏ nhẹ như máy tính xách tay PALM máy trợ giúp cá nhân PDA máy tính bỏ túi Poctket PC máy di động cầm tay Cellular phones 6 . Việc quản lý giao tác và điều khiển tương tranh trong cơ sở dữ liệu phân tán di động phức tạp và khó khăn hơn nhiều việc quản lý giao tác trong môi trường phân tán truyền thống. Giao thức sử dụng cho cơ sở dữ liệu phân tán là 2PC 2 nhưng giao thức này khó áp dụng cho môi trường phân tán di động và nếu áp dụng thì sẽ bộc lộ nhiều nhược điểm. Để giải quyết các nhược điểm đó chúng tôi dề xuất một giao thức hợp thức cải tiến mới gọi là CPM Giao thức hợp thức cho quản lý giao tác phân tán di động . Giao thức này hỗ trợ việc thực hiện ngoại tuyến di chuyển tính toán không kết nối và giảm được chi phí truyền thông. 1. MỞ ĐẦU Giao thức được sử dụng rộng rãi cho cơ sở dữ liệu .