Bøger i Progress in Theoretical Comput serien

Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract way. Term rewriting methods are used in many prototyping systems and form the basis for executing specifi­ cations. Nondeterminism plays a major role in formal language theory; in programming it serves for delaying design decisions in program development and occurs in a "natural" way in formalisations of distributed processes. Heinrich Hussmann presents an elegant extension of equational specification and term rewriting to include nondeterminism. Based on a clean modeltheoretic semantics he considers term rewriting systems without confluence restrictions as a specification language and shows that fundamental properties such as the existence of initial models or the soundness and completeness of narrowing, the basic mechanism for executing equational specifications, can be extended to nondeterministic computations. The work of Heinrich Hussmann is an excellent contribution to Algebraic Programming; it gives a framework that admits a direct approach to program verification, is suitable for describing concurrent and distributed processes, and it can be executed as fast as Prolog.

Theoretical and Computational Aspects of Feedback in Structural Systems with Piezoceramic Controllers.- Modeling and Approximation of a Coupled 3-D Structural Acoustics Problem.- Parameter Identification in the Frequency Domain.- On Model Identification of Gaussian Reciprocal Processes from the Eigenstructure of Their Covariances.- An Inverse Problem in Thermal Imaging.- Optimal Fixed-Finite-Dimensional Compensator for Burgers' Equation with Unbounded Input/Output Operators.- Boundary Control and Stabilization for a Viscous Burgers' Equation.- A Sinc-Galerkin Method for Convection Dominated Transport.- Discrete Observability of the Wave Equation on Bounded Domains in Euclidean Space.- A New Algorithm for Nonlinear Filtering.- Continuation Methods for Nonlinear Eigenvalue Problems via a Sinc-Galerkin Scheme.- On the Kalman-Yacubovich-Popov Lemma for Nonlinear Systems.- Robust Control of Distributed Parameter Systems with Structured Uncertainty.- On the Phase Portrait of the Karmarkar's Flow.- The Reduced Basis Method in Control Problems.- Numerical Treatment of Oscillating Integrals Appearing in Heat Conduction Problems.- Root Locus for Control Systems with Completely Separated Boundary Conditions.- On the Problem of Parameter Identification in Perspective Systems and its Application to Motion Estimation Problems in Computer Vision.- Over-Regularization of Ill-Posed Problems.- A Model for the Optimal Control of a Measles Epidemic.- Condition Numbers for the Sinc Matrices Associated with Discretizing the Second-Order Differential Operator.- Computational Models for Lattice Structures.- The Partial Differential Equations of Controlled Invariance.- What is the Distance Between Two Autoregressive Systems?.- Sinc Convolution Approximate Solution of Burgers' Equation.- Sinc-Galerkin Collocation Method for Parabolic Equations in Finite Space-Time Regions.- A Modified Levenberg-Marquardt Algorithm for Large-Scale Inverse Problems.- A Local Sampling Scheme for Invariant Evolution Equations on a Compact Symmetric Space, Especially the Sphere.- Hasse Diagram and Dynamic Feedback of Linear Systems.- Point Placement for Observation of the Heat Equation on the Sphere.