✦ LIBER ✦

A Superposition Operator for the Refinement of Algebraic Models

✍ Scribed by Claus Pahl

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 183 KB
Volume: 40
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80055-6

No coin nor oath required. For personal study only.

✦ Synopsis

The development of computer languages or software artefacts from basic concepts to the final product is usually a process starting with an abstract model of a key concept and extending this by adding more detailed functionality for extended structural definitions. We will present a refinement approach for the stepwise development of algebraic models. In each step we either add new elements to a model or refine the properties of existing ones. The process of refining elements such that properties of the original element are preserved is called superposition. We will present a categorical framework for refining algebraic structures. Algebras can be used to model a variety of concepts and objects. Language semantics and formal methods are two application areas which use models represented in terms of algebras.

📜 SIMILAR VOLUMES

A Banach algebra of functions of several

A Banach algebra of functions of several variables of finite total variation and Lipschitzian superposition operators. I

✍ Vyacheslav V. Chistyakov 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 285 KB

A Banach algebra of functions of several

A Banach algebra of functions of several variables of finite total variation and Lipschitzian superposition operators. II

✍ Vyacheslav V. Chistyakov 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 297 KB

Classical linear algebra inequalities fo

Classical linear algebra inequalities for the Jordan models of C0 operators

✍ Hari Bercovici; Wing Suet Li; Thomas Smotzer 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 524 KB

Nonlinear superposition model for the be

Nonlinear superposition model for the behavior of bolted joints

✍ P. J. Pelikane; J. Bodig; R. N. Mutuku 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 480 KB

Superposition of modes in a caricature o

Superposition of modes in a caricature of a model for morphogenesis

✍ P. K. Maini 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 377 KB

In a model proposed for cell pattern formation by Nagorcka et al. (J. Theor. Biol. 1987) linear analysis revealed the possibility of an initially spatially uniform cell density going unstable to perturbations of two distinct spatial modes. Here we examine a simple one-dimensional caricature of their

Spectral properties of the transition op

Spectral properties of the transition operator associated to a multivariate refinement equation

✍ Rong-Qing Jia; Shurong Zhang 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 190 KB

Given a ®nitely supported sequence a on Z s and an s Â s dilation matrix M, the transition operator is the linear operator de®ned by va X bPZ s wa À bvb, where a P Z s and v lies in 0 Z s , the linear space of all ®nitely supported sequences on Z s . In this paper we investigate the spectral propert