- Email: [email protected]
Microprogramming (Micro 10).
306
Book Reviews
The last chapter of part I (Chapter 8) returns to the subject of modelling. From our formal basis, we discuss an example of discrete event modeling and introduce the concept of homomorphism as a criterion for valid simplification. Part 2 and 3, which are oriented towards the students majoring in the computer and systems sciences, provide a basis for a second course in modelling and simulation in which the emphasis is on the application of formal systems concepts to problems area. Part 2 consists of two chapters. Chapter 9 develops a hierarchy of system specifications ranging from the lowest behavioral level to the highest strtlctural level. Chapter 10 develops a parallel hierarchy of preservation relations that interrelates specifications. These morphisms (preservation relations) form a hierarchy in that higher level morphisms imply lower level ones, but not conversely. Part 3 opens with an axiomatization of the basic framework, using the systems concepts developed earlier. A number of problems common to many domains are isolated and formulated within the framework. These problems include model simplification, approximation, validation, and prediction, structural inference, program verification, and model integration. Subsequent chapters deal with these problems in some depth.
1977 IEEE Publications: Parallel Processing. Proceedings of the,International Conference on Parallel Processing held August 23-26, 1977 in Bellaire, MI. 246 pages, US $20.00 - 77CH12534C. IEEE Publications: Computer Applications in Medical Care. Proceedings of the 1st Symposium on Computer Application in Medical Care, Washington, October 3-5, 1977.373 pages, US $ 25.00 77CH1270-8C. IEEE Publications: Microprogramming (Micro 10). Proceedings of the 10th Workshop on Microprogramming, held October 5-7, 1977 in Niagara Falls, NY. 133 pages, US $ 12.00 - 77CH1266-6C. IEEE Publications: Computer Science. Conference Record of the 18th Symposium of Foundations of Computer Science, held October 31-November 2,
1977 in Providence, RI. 269 pages, US $ 20.00 77CH12781C. IEEE Publications: Computer Software and Applications. Proceedings of the Conference on Computer Software and Applications, held November 8-l 1, 1977 in Chicago, IL. 834 pages, US $ 25.00 77CH1291-4C. IEEE Publications: Simulation. Proceedings of the 9th Winter Conference on Simulation held December 5-7, 1977 in Gaithersburg, MD. 880 pages, US $40.00 - 77CH1309-4SMC. IEEE Publications: Computer Networking. Proceedings of the Computer Networking Symposium held in Gaithersburg, MD, in December 15, 1977. 130 pages. US $ 12.00 - 77CH1252-6C. A.C. Salazar: Digital Signal Computers and Processors. A book of selected reprints, IEEE Press, 1977, 345 pages, US $ 25.95. ISBN o-87942-099-5.
1978 Dr. F. Benito: Markov Modells mit indirekter Beobachtung. Ein Algorithmus zur optimierung der Steuerungs und Beobachtungspolitik. - Schriften des Instituts ftir Operations Research des ETH Ziirich 2. 1978. Publ. by Haupt, Falkenplatz 14, CH 3001, Bern. 230 pages. DM 38.-; ISBN 3-25802811-7. The specialist in Operational Research is very often confronted with system modelling. These systems present usually as well stochastic elements as decision making elements, so that one may expect that the resulting model will be very complex. The Markov models have proven to be, in the practical use, very useful, so that algorithms have been written for their computer use. But the assumption that the dynamic of the systems can be directly observed is very often unrealistic. More often, the system is indirectly observable and the dynamic state is only known as a stochastic function. These assumptions give rise to computation difficulties which makes the application of Markov models often impossible. In this book, the model with indirect observation, according to the studies of Astr6m and Sawaragi, is reduced to models with direct observation and the state domain of the resulting models (domain of
Book Reviews
The last chapter of part I (Chapter 8) returns to the subject of modelling. From our formal basis, we discuss an example of discrete event modeling and introduce the concept of homomorphism as a criterion for valid simplification. Part 2 and 3, which are oriented towards the students majoring in the computer and systems sciences, provide a basis for a second course in modelling and simulation in which the emphasis is on the application of formal systems concepts to problems area. Part 2 consists of two chapters. Chapter 9 develops a hierarchy of system specifications ranging from the lowest behavioral level to the highest strtlctural level. Chapter 10 develops a parallel hierarchy of preservation relations that interrelates specifications. These morphisms (preservation relations) form a hierarchy in that higher level morphisms imply lower level ones, but not conversely. Part 3 opens with an axiomatization of the basic framework, using the systems concepts developed earlier. A number of problems common to many domains are isolated and formulated within the framework. These problems include model simplification, approximation, validation, and prediction, structural inference, program verification, and model integration. Subsequent chapters deal with these problems in some depth.
1977 IEEE Publications: Parallel Processing. Proceedings of the,International Conference on Parallel Processing held August 23-26, 1977 in Bellaire, MI. 246 pages, US $20.00 - 77CH12534C. IEEE Publications: Computer Applications in Medical Care. Proceedings of the 1st Symposium on Computer Application in Medical Care, Washington, October 3-5, 1977.373 pages, US $ 25.00 77CH1270-8C. IEEE Publications: Microprogramming (Micro 10). Proceedings of the 10th Workshop on Microprogramming, held October 5-7, 1977 in Niagara Falls, NY. 133 pages, US $ 12.00 - 77CH1266-6C. IEEE Publications: Computer Science. Conference Record of the 18th Symposium of Foundations of Computer Science, held October 31-November 2,
1977 in Providence, RI. 269 pages, US $ 20.00 77CH12781C. IEEE Publications: Computer Software and Applications. Proceedings of the Conference on Computer Software and Applications, held November 8-l 1, 1977 in Chicago, IL. 834 pages, US $ 25.00 77CH1291-4C. IEEE Publications: Simulation. Proceedings of the 9th Winter Conference on Simulation held December 5-7, 1977 in Gaithersburg, MD. 880 pages, US $40.00 - 77CH1309-4SMC. IEEE Publications: Computer Networking. Proceedings of the Computer Networking Symposium held in Gaithersburg, MD, in December 15, 1977. 130 pages. US $ 12.00 - 77CH1252-6C. A.C. Salazar: Digital Signal Computers and Processors. A book of selected reprints, IEEE Press, 1977, 345 pages, US $ 25.95. ISBN o-87942-099-5.
1978 Dr. F. Benito: Markov Modells mit indirekter Beobachtung. Ein Algorithmus zur optimierung der Steuerungs und Beobachtungspolitik. - Schriften des Instituts ftir Operations Research des ETH Ziirich 2. 1978. Publ. by Haupt, Falkenplatz 14, CH 3001, Bern. 230 pages. DM 38.-; ISBN 3-25802811-7. The specialist in Operational Research is very often confronted with system modelling. These systems present usually as well stochastic elements as decision making elements, so that one may expect that the resulting model will be very complex. The Markov models have proven to be, in the practical use, very useful, so that algorithms have been written for their computer use. But the assumption that the dynamic of the systems can be directly observed is very often unrealistic. More often, the system is indirectly observable and the dynamic state is only known as a stochastic function. These assumptions give rise to computation difficulties which makes the application of Markov models often impossible. In this book, the model with indirect observation, according to the studies of Astr6m and Sawaragi, is reduced to models with direct observation and the state domain of the resulting models (domain of