Related papers: Exergetic Port-Hamiltonian Systems Modeling Langua…
Using contact geometry we give a new characterization of a simple but important class of thermodynamical systems which naturally satisfy the first law of thermodynamics (total energy preservation) and the second law (increase of entropy).…
Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using…
In the simulation of differential-algebraic equations (DAEs), it is essential to employ numerical schemes that take into account the inherent structure and maintain explicit or hidden algebraic constraints without altering them. This paper…
This paper presents a thermodynamically consistent model for multicomponent electrolyte solutions. The first part of this paper derives the general governing equations for nonequilibrium systems within the theory of nonequilibrium…
The mathematical formalisms used to model biological systems induce both latent and ambiguous assumptions that can limit or distort their representational capabilities. Developing formalisms that can represent systems more precisely is…
Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such…
I introduce a formalism for representing the syntax of recursively structured graph-like patterns. It does not use production rules, like a conventional graph grammar, but represents the syntactic structure in a more direct and declarative…
We derive a mode-coupling theory for the slow dynamics of fluids confined in disordered porous media represented by spherical particles randomly placed in space. Its equations display the usual nonlinear structure met in this theoretical…
We give insight in the structure of port-Hamiltonian systems as control systems in between two closed Hamiltonian systems. Using the language of category theory, we identify systems with their behavioural representation and view a…
We investigate the thermodynamic consistency of the master equation description of heat transport through an optomechanical system attached to two heat baths, one optical and one mechanical. We employ three different master equations to…
In this two-parts paper, we present a systematic procedure to extend the known Hamiltonian model of ideal inviscid fluid flow on Riemannian manifolds in terms of Lie-Poisson structures to a port-Hamiltonian model in terms of Stokes-Dirac…
The development of accurate constitutive models for materials that undergo path-dependent processes continues to be a complex challenge in computational solid mechanics. Challenges arise both in considering the appropriate model assumptions…
Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness…
We describe a classical thermodynamic model that reproduces the main features of the solid hydrogen phase diagram. In particular, we show how the general structure types that are found by electronic structure calculations and the quantum…
In this paper we study a class of physical systems that combine a finite number of mechanical and thermodynamic observables. We call them finite dimensional thermo-mechanical systems. We introduce these systems by means of simple examples.…
Rigid body interactions are fundamental to numerous scientific disciplines, but remain challenging to simulate due to their abrupt nonlinear nature and sensitivity to complex, often unknown environmental factors. These challenges call for…
Proposed is system of consistent mathematical models describing physical laws of a system of energy emitting bodies in dynamics, relativity and nuclear physics. It is shown the use of developed models for the description of systems,…
It is stated in the main in essence new approach to mechanics of the stressed state of the solid body from statistically isotropic material and the homogeneous liquid dynamics. The approach essence is in the detected property of the…
We show that there exists an underlying manifold with a conformal metric and compatible connection form, and a metric type Hamiltonian (which we call the geometrical picture) that can be put into correspondence with the usual…
Interacting systems are increasingly common. Many examples pervade our everyday lives: automobiles, aircraft, defense systems, telephone switching systems, financial systems, national governments, and so on. Closer to computer science,…