We propose E-down arrow((D) over right arrow)-logic as a formal foundation for the specification and development of event-based systems with data states. The framework is presented as an institution in the sense of Go...
详细信息
We propose E-down arrow((D) over right arrow)-logic as a formal foundation for the specification and development of event-based systems with data states. The framework is presented as an institution in the sense of Goguen and Burstall and the logic itself is parametrised by an underlying institution (D) over right arrow whose structures are used to model data states. E-down arrow((D) over right arrow)-logic is intended to cover a broad range of abstraction levels from abstract requirements specifications up to constructive specifications. It uses modal diamond and box operators over complex actions adopted from dynamic logic. Atomic actions are pairs e/psi where e is an event and psi a state transition predicate capturing the allowed reactions to the event. Towrite concrete specifications of recursive process structureswe integrate (control) state variables and binders of hybrid logic. The semantic interpretation relies on event/data transition systems. For the presentation of constructive specifications we propose operational event/data specifications allowing for familiar, diagrammatic representations by state transition graphs. We show that E-down arrow((D) over right arrow)-logic is powerful enough to characterise the semantics of an operational specification by a single E-down arrow((D) over right arrow)-sentence. Thus the whole (formal) development process for event/data-based systems relies on E-down arrow((D) over right arrow)-logic and its semantics as a common basis. It is supported by a variety of implementation constructors which can express, among others, event refinement and parallel composition. Due to the genericity of the approach, it is also possible to change a data state institution during system development when needed. All steps of our formal treatment are illustrated by a running example.
This book presents an original combination of three well-known methodological approaches for nonlinear data analysis: recurrence, networks, and fuzzy logic. After basic concepts of these three approaches are introduce...
详细信息
ISBN:
(数字)9783030375300
ISBN:
(纸本)9783030375294;9783030375324
This book presents an original combination of three well-known methodological approaches for nonlinear data analysis: recurrence, networks, and fuzzy logic. After basic concepts of these three approaches are introduced, this book presents recently developed methods known as fuzzy recurrence plots and fuzzy recurrence networks. computer programs written in MATLAB, which implement the basic algorithms, are included to facilitate the understanding of the developed ideas. Several applications of these techniques to biomedical problems, ranging from cancer and neurodegenerative disease to depression, are illustrated to show the potential of fuzzy recurrence methods. This book opens a new door to theorists in complex systems science as well as specialists in medicine, biology, engineering, physics, computerscience, geosciences, and social economics to address issues in experimental nonlinear signal and data processing.
One major area in the theory of statistical signal processing is reduced-rank - timation where optimal linear estimators are approximated in low-dimensional subspaces, e.g., in order to reduce the noise in overmodeled...
详细信息
ISBN:
(数字)9783540684794
ISBN:
(纸本)9783540684787;9783642088032
One major area in the theory of statistical signal processing is reduced-rank - timation where optimal linear estimators are approximated in low-dimensional subspaces, e.g., in order to reduce the noise in overmodeled problems, - hance the performance in case of estimated statistics, and/or save compu- tional complexity in the design of the estimator which requires the solution of linear equation systems. This book provides a comprehensive overview over reduced-rank ?lters where the main emphasis is put on matrix-valued ?lters whose design requires the solution of linear systems with multiple right-hand sides. In particular, the multistage matrix Wiener ?lter, i.e., a reduced-rank Wiener ?lter based on the multistage decomposition, is derived in its most general form. In numerical mathematics, iterative block Krylov methods are very po- lar techniques for solving systems of linear equations with multiple right-hand sides, especially if the systems are large and sparse. Besides presenting a - tailed overview of the most important block Krylov methods in Chapter 3, which may also serve as an introduction to the topic, their connection to the multistage matrix Wiener ?lter is revealed in this book. Especially, the reader will learn the restrictions of the multistage matrix Wiener ?lter which are necessary in order to end up in a block Krylov method. This relationship is of great theoretical importance because it connects two di?erent ?elds of mathematics, viz., statistical signal processing and numerical linear algebra.
This book represents the refereed proceedings of the Eighth International Conference on Monte Carlo (MC)and Quasi-Monte Carlo (QMC) Methods in Scientific Computing, held in Montreal (Canada) in July 2008. It covers th...
详细信息
ISBN:
(数字)9783642041075
ISBN:
(纸本)9783642041068;9783642425240
This book represents the refereed proceedings of the Eighth International Conference on Monte Carlo (MC)and Quasi-Monte Carlo (QMC) Methods in Scientific Computing, held in Montreal (Canada) in July 2008. It covers the latest theoretical developments as well as important applications of these methods in different areas. It contains two tutorials, eight invited articles, and 32 carefully selected articles based on the 135 contributed presentations made at the conference. This conference is a major event in Monte Carlo methods and is the premiere event for quasi-Monte Carlo and its combination with Monte Carlo. This series of proceedings volumes is the primary outlet for quasi-Monte Carlo research.
This book reviews the algorithms for processing geometric data, with a practical focus on important techniques not covered by traditional courses on computer vision and computer graphics. Features: presents an overvie...
详细信息
ISBN:
(数字)9781447140757
ISBN:
(纸本)9781447140740;9781447160311
This book reviews the algorithms for processing geometric data, with a practical focus on important techniques not covered by traditional courses on computer vision and computer graphics. Features: presents an overview of the underlying mathematical theory, covering vector spaces, metric space, affine spaces, differential geometry, and finite difference methods for derivatives and differential equations; reviews geometry representations, including polygonal meshes, splines, and subdivision surfaces; examines techniques for computing curvature from polygonal meshes; describes algorithms for mesh smoothing, mesh parametrization, and mesh optimization and simplification; discusses point location databases and convex hulls of point sets; investigates the reconstruction of triangle meshes from point clouds, including methods for registration of point clouds and surface reconstruction; provides additional material at a supplementary website; includes self-study exercises throughout the text.
This book constitutes the refereed proceedings of the 24th International Conference on Analytical and Stochastic Modelling Techniques and applications, ASMTA 2017, held in Newcastle-upon-Tyne UK, in July 2017.
ISBN:
(数字)9783319614281
ISBN:
(纸本)9783319614274
This book constitutes the refereed proceedings of the 24th International Conference on Analytical and Stochastic Modelling Techniques and applications, ASMTA 2017, held in Newcastle-upon-Tyne UK, in July 2017.
暂无评论