Related papers: A Rewriting-Logic-Based Technique for Modeling The…
Boiling is a complex phenomenon where different non-linear physical interactions take place and for which the quantitative modeling of the mechanism involved is not fully developed yet. In the last years, many works have been published…
Temperature monitoring during the life time of heat source components in engineering systems becomes essential to guarantee the normal work and the working life of these components. However, prior methods, which mainly use the interpolate…
Understanding heat transfer in composite materials is essential for optimizing their performance in critical applications across industries such as aerospace, automotive, renewable energy, and construction. This review offers a…
Discrete-time modeling of acoustic, mechanical and electrical systems is a prominent topic in the musical signal processing literature. Such models are mostly derived by discretizing a mathematical model, given in terms of ordinary or…
The process of thermalization in many-body systems is driven by complex interactions among sub-systems and with the surrounding environment. Here we lay the theoretical foundations for the active control of local thermal states in arbitrary…
Dynamical systems describe how a physical system evolves over time. Physical processes can evolve faster or slower in different environmental conditions. We use time-warping as rescaling the time in a model of a physical system. This thesis…
A rewriting system is a set of equations over a given set of terms called rules that characterize a system of computation and is a powerful general method for providing decision procedures of equational theories, based upon the principle of…
We introduce an algebraic analogue of dynamical systems, based on term rewriting. We show that a recursive function applied to the output of an iterated rewriting system defines a formal class of models into which all the main architectures…
Transmission lines are vital components in power systems. Tripping of transmission lines caused by over-temperature is a major threat to the security of system operations, so it is necessary to efficiently simulate line temperature under…
Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and…
Thermodynamics (in concert with its sister discipline, statistical physics) can be regarded as a data reduction scheme based on partitioning a total system into a subsystem and a bath that weakly interact with each other. The ubiquity and…
The electrification of powertrains is rising as the objective for a more viable future is intensified. To ensure continuous and reliable operation without undesirable malfunctions, it is essential to monitor the internal temperatures of…
The understanding of the underlying dynamical mechanisms which determine the macroscopic laws of heat conduction is a long standing task of non-equilibrium statistical mechanics. A better understanding of the mechanism of heat conduction…
The designers pre-occupation to reduce energy consumption and to achieve better thermal ambience levels, has favoured the setting up of numerous building thermal dynamic simulation programs. The progress in the modelling of phenomenas and…
This study proposes a high-order multi-scale method tailored for time-dependent nonlinear thermo-electro-mechanical coupling problems of composite structures with highly spatial heterogeneity, which incorporate temperature-dependent…
We consider the notion of resilience for cyber-physical systems, that is, the ability of the system to withstand adverse events while maintaining acceptable functionality. We use finite temporal logic to express the requirements on the…
In traditional thermodynamical and statistical-mechanical approaches one has (some) detailed knowledge of the principles governing the microdynamics of a system. However in many instances we may not have a Hamiltonian or good information…
Thermalization in open systems coupled to macroscopic environments is usually analyzed from the perspective of relaxation of the reduced state of the system to the equilibrium state. Less emphasis is given to the change of the state of the…
Nonlinear heat transfer can be exploited to reveal novel transport phenomena and thus enhance peo-ple's ability to manipulate heat flux at will. However, there hasn't been a mature discipline called nonlinear thermotics like its counterpart…
A mathematical model of the heat process in one-dimensional domain governed by a cylindrical heat equation with a heat source on the axis $z=0$ and nonlinear thermal coefficients is considered. The developed model is particularly applicable…