TAILIEUCHUNG - Hiệu suất của hệ thống thông tin máy tính P17

THE SPNs we have addressed in the previous finite state space. In this chapter we focus on a special class of stochastic SPNs with unbounded state space, known as one-place unbounded SPNs or infinite-state (abbreviated as iSPNs). In particular, we focus on a class of SPNs of which the underlying CTMC has a QBD structure, for which efficient solution methods exist (see Chapter 8). The properties an SPN has to fulfill to belong to this class can be verified at the SPN level, without having to construct the reachability graph | Performance of Computer Communication Systems A Model-Based Approach. Boudewijn R. Haverkort Copyright 1998 John Wiley Sons Ltd ISBNs 0-471-97228-2 Hardback 0-470-84192-3 Electronic Chapter 17 Infinite-state SPNs THE SPNs we have addressed in the previous chapters all have a possibly large but finite state space. In this chapter we focus on a special class of stochastic Petri nets with unbounded state space known as one-place unbounded SPNs or infinite-state SPNs abbreviated as iSPNs . In particular we focus on a class of SPNs of which the underlying CTMC has a QBD structure for which efficient solution methods exist see Chapter 8 . The properties an SPN has to fulfill to belong to this class can be verified at the SPN level without having to construct the reachability graph. The main advantage of iSPNs is that efficient matrix-geometric techniques for the solution are combined with the powerful description facilities of general SPNs. This not only allows non-specialists to use these methods it also avoids the state-space explosion problem that is so common in traditional SPN analysis based on the complete finite underlying Markov chain. We motivate the use of iSPNs in Section and characterise the class of iSPNs by defining a number of constraints that have to be fulfilled in Section . We then discuss in Section how matrix-geometric methods can also be applied in this case. In Section we comment on algorithms to detect the special iSPN structure and to compute reward-based measures efficiently. We finally discuss a number of application examples in Section . Introduction The general approach in solving SPNs is to translate them to an underlying finite CTMC which can be solved numerically. However a problem that often arises when following this approach is the rapid growth of the state space. Various solutions have been proposed for this problem . the use of state space truncation techniques 121 or lumping techniques 384 17 .

• Kĩ thuật Viễn thông
• Thông tin máy tính
• hiệu suất thông tin
• hệ thống thông tin
• phương pháp truyền thông
• truyền thông máy tính
• Bài giảng Thông tin và dữ liệu
• Thông tin và dữ liệu
• Cách biểu diễn thông tin trong máy tính
• Thông tin trong máy tính
• Hướng dẫn biểu diễn thông tin máy tính
• Hệ đếm dùng trong máy tính
• Bài giảng Tin học 9 bài 6
• Bài giảng điện tử Tin học 9
• Bài giảng điện tử lớp 9
• Bài giảng lớp 9 môn Tin học
• Bảo vệ thông tin máy tính
• Yếu tố ảnh hưởng thông tin máy tính
• Khái niệm virus máy tính
• Giáo án Tin học 9 bài 6
• Giáo án điện tử Tin học 9
• Giáo án điện tử lớp 9
• Giáo án lớp 9 môn Tin học
• thủ thuật máy tính
• mẹo vặt máy tính
• hệ thống thông tin doanh nghiệp
• tin học căn bản
• thủ thuật tin học
• tự học tin học
• ứng dụng công nghệ thông tin
• công nghệ thông tin
• công nghệ thông tin trong doanh nghiệp
• dữ liệu máy tính
• quản trị thông tin
• lập trình dữ liệu
• kỹ năng máy tính
• thuật ngữ hay
• quản trị dữ liệu
• Bài giảng Tin học 6 bài 2
• Bài giảng điện tử Tin học 6
• Bài giảng lớp 6 môn Tin học
• Bài giảng điện tử lớp 6
• Thông tin và biểu diễn thông tin
• Biểu diễn thông tin trong máy tính
• Các dạng thông tin trong tin học
• Hoạt động thông tin là gì
• Bài giảng Tin học căn bản
• Xử lý thông tin trong máy tính
• Quá trình xử lý thông tin
• Nhập môn Tin học
• Bài giảng Nhập môn Tin học
• Xử lý thông tin
• Thành phần của máy tính
• Cấu hình của máy tính
• Bài giảng Hệ thống thông tin quản lý
• Hệ thống thông tin quản lý
• Cơ sở công nghệ thông tin
• Máy tính điện tử
• Mạng máy tính
• Tin học cơ sở
• Tin học văn phòng
• Lịch sử máy tính
• Phân loại máy tính
• Đại số logic
• Bài giảng Cấu trúc máy tính
• Cấu trúc máy tính
• Truyền thông tin trong máy tính
• Kiến trúc máy tính
• Máy vi tính
• Lịch sử phát triển máy tính
• Giáo án Tin học 6 bài 2
• Giáo án điện tử Tin học 6
• Giáo án lớp 6 môn Tin học
• Giáo án điện tử lớp 6
• Bài giảng Tin học đại cương
• Tin học đại cương
• Khái niệm thông tin
• Biểu diễn thông tin
• Thông tin và tin học
• Bài giảng Tin học ứng dụng
• Tin học ứng dụng
• Biểu diễn thông tin loại số
• Biểu diễn thông tin loại phi số
• Nhập môn Công nghệ thông tin
• Nhập môn Công nghệ thông tin 1
• Phần cứng máy tính
• Phần mềm máy tính
• Virus máy tính
• Mạng thông tin máy tính
• Hệ thống thông tin kinh tế
• Mạng máy tính
• Kiến trúc mạng
• Hệ thống mở OS
• Ứng dụng mạng máy tính
• Bài giảng Khai thác mạng thông tin máy tính
• Bài giảng Mạng máy tính
• Khai thác thông tin
• Quản trị mạng
• lưu trữ dữ liệu
• kỹ thuật máy tính
• giáo trình tin học
• kỹ thuật công nghệ
• Công nghệ truyền thông
• Mô hình máy tính
• Máy tính nhúng
• Tin học cơ sở A
• Bài giảng Tin học cơ sở A
• Ngôn ngữ lập trình Pascal
• Lập trình máy tính
• Biểu diễn thông tin bên trong máy tính