Constraints play an important role in conceptual modeling. In general, the specification of constraints, both static and transition, must be done in some logic-based language. Unfortunately, the resulting formulas may be complex, error-prone and difficult to read. This explain why almost all conceptual modeling languages have developed a special, easy-to-use syntax (language features) to state ...

We discuss several classes of linear second order initial-boundary value problems, where damping terms appear in the main wave equation as well as in the dynamic boundary condition. We investigate their wellposedness and describe some qualitative properties of their solutions, including boundedness, stability, or almost periodicity. In particular, we are able to characterize the analyticity of ...

For the complete higher order differential equation u(t) = Σn−1 k=0Aku (t) + f(t), t ∈ R (*) on a Banach space E, we give a new definition of mild solutions of (*). We then characterize the regular admissibility of a translation invariant subspace M of BUC(R,E) with respect to (*) in terms of solvability of the operator equation Σn−1 j=0AjXD j −XD = C. As application, almost periodicity of mild...

A Borel Z d dynamical system ( X , S ) is ‘almost universal’ if any free Y T of strictly lower entropy isomorphic to a subsystem after removing null set. We obtain and exploit new sufficient condition for topological be almost universal. use our main result deduce various conclusions answer number questions. Along with additional results, we prove that ‘generic’ homeomorphism compact manifold d...

in this paper we define a new type of rings ”almost powerhermitian rings” (a generalization of almost hermitian rings) and establish several sufficient conditions over a ring r such that, every regular matrix admits a diagonal power-reduction.

In this paper, a neutral multi-species logarithmic population model is investigated. By applying the matrixs spectral theory which is different from the methods employed in the literature, a set of sufficient conditions are obtained for the existence and uniqueness of almost periodic solution of the neutral multi-species logarithmic population model. The obtained sufficient conditions are given...

We prove that certain free products of factors of type I and other von Neumann algebras with respect to nontracial, almost periodic states are almost periodic free Araki-Woods factors. In particular, they have the free absorption property and Connes’ Sd invariant completely classifies these free products. For example, for λ, μ ∈]0, 1[, we show that (M2(C), ωλ) ∗ (M2(C), ωμ) is isomorphic to the...

The global theory of transmission line networks with nonconservative junction conditions is developed from a spectral theoretic viewpoint. The rather general junction conditions lead to spectral problems for nonnormal operators. The theory of analytic functions which are almost periodic in a strip is used to establish the existence of an infinite sequence of eigenvalues and the completeness of ...