Grad's 13-moment equations describe transport in mildly rarefied gases well, but are not properly embedded into nonequilibrium thermodynamics since they accompanied by a formulation of the second law. In this work, Grad-13 framework GENERIC (general equation for reversible–irreversible coupling), which demands additional contributions to guarantee thermodynamic structure. As building blocks, we...

In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays ‘as well as possible’, because there is no other strategy that dominates it, i.e., that wins (almost surely) against a super set of adversarial strategies. We prove that admissible strategies always exist in concurrent games, and we...

The admissible region is defined as the set of physically acceptable orbits (i.e., orbits with negative energies). Given additional constraints on orbital semi-major axis, eccentricity, etc, the admissible region is further constrained, resulting in the constrained admissible region (CAR). Based on known statistics of the measurement process, in this paper we replace hard constraints with a pro...

The solution of the problem forecasting state complex socio-economic systems is possible only on basis appropriate dynamic economic and mathematical models that describe their main parameters, presence control actions risks. In this paper, it proposed to use a deterministic minimax approach for modeling solving estimating predicted states production system in To make managerial decisions at man...

Any function relating several variables for which admissible scale transformations are specified is assumed to satisfy a functional equation that requires admissible transformations of the independent variables to effect only admissible transformations of the dependent variable. When there are not any dimensional constants that, in effect, cancel out the admissible transformations of the indepe...

Admissible models for quantified modal logic have a restriction on which sets of worlds are admissible as propositions. They give an actualist interpretation of quantifiers that leads to very general completeness results: for any propositional modal logic S there is a quantificational proof system QS that is complete for validity in models whose algebra of admissible propositions validates S. I...

Let G be a semi-simple Lie group with finite center and S ⊂ G a semigroup with intS 6= Ø . A closed subgroup L ⊂ G is said to be S -admissible if S is transitive in G/L . In [10] it was proved that a necessary condition for L to be S -admissible is that its action in B (S) is minimal and contractive where B (S) is the flag manifold associated with S , as in [9]. It is proved here, under an addi...