✦ LIBER ✦

Approximately satisfied properties of systems and simple language homomorphisms

✍ Scribed by Ulrich Nitsche; Peter Ochsenschläger

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 570 KB
Volume: 60
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(96)00162-7

No coin nor oath required. For personal study only.

✦ Synopsis

We define a new satisfaction relation for properties of a system's behaviour, approximate satisfaction. We show, for approximately satisfied properties, that they can be partitioned into a safety and a liveness property similar to linear properties. We will see that approximate satisfaction and linear satisfaction are equivalent for safety but different for liveness properties. For practical and complexity reasons, we show that an abstraction of the behaviour of a system will preserve approximately satisfied properties, if and only if the abstraction is defined by a simple homomorphism on the behaviour.

📜 SIMILAR VOLUMES

Structural modelling of icosahedral and

Structural modelling of icosahedral and simple cubic approximant phase in Al-Mn(Fe)-Si system

✍ R.K. Mandal; S. Lele 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 392 KB

In spite of various models being available for the icosahedral quasicrystal structure in A1-Mn(Fe)-Si system, a consistent model for describing the simple cubic approximaut and ieosahahedral structure in terms of rational and irrational sections of the same six dimensional cubic crystal seems to be

Electrical properties of the binary icos

Electrical properties of the binary icosahedral quasicrystal and its approximant in the Cd–Yb system

✍ R. Tamura; Y. Murao; S. Kishino; S. Takeuchi; K. Tokiwa; T. Watanabe 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 92 KB

A simple way of understanding some exact

A simple way of understanding some exact results on critical phenomena in non-homogeneous and finite Ising systems (Ferrell's continuum approximation) I

✍ I. Decker; H. Hahn 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 760 KB

Macrocyclic Restriction with Flexible Al

Macrocyclic Restriction with Flexible Alkylene Linkers: A Simple Strategy to Control the Solid-State Properties of π-Conjugated Systems

✍ Dr. Shohei Saito; Ken Nakakura; Prof. Dr. Shigehiro Yamaguchi 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 954 KB

Design features and focal properties of

Design features and focal properties of simple three element two- or three-dimensional lens systems for decelerating intense ion beams to very low energies

✍ G.D. Alton; J.B. Roberto; C.W. White; R.A. Zuhr 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 497 KB

Interesting properties of Thomas–Fermi k

Interesting properties of Thomas–Fermi kinetic and Parr electron–electron-repulsion DFT energy functional generated compact one-electron density approximation for ground-state electronic energy of molecular systems

✍ Sandor Kristyan 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

## Abstract The reduction of the electronic Schrodinger equation or its calculating algorithm from 4__N__‐dimensions to a (nonlinear, approximate) density functional of three spatial dimension one‐electron density for an __N__‐electron system, which is tractable in the practice, is a long desired g