Mediation is becoming more and more important in the process of settling conflict nowadays,so it’s quite necessary to explain the legal value of mediation from the view of jurisprudence.
The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defin...The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.展开更多
The initial-boundary value problem for a general balance law in a bounded domain is proved to be well posed. Indeed, we show the existence of an entropy solution, its uniqueness and its Lipschitz continuity as a funct...The initial-boundary value problem for a general balance law in a bounded domain is proved to be well posed. Indeed, we show the existence of an entropy solution, its uniqueness and its Lipschitz continuity as a function of time, of the initial datum and of the boundary datum. The proof follows the general lines in [4], striving to provide a rigorous treatment and detailed references.展开更多
We propose a numerical solution to incorporate in the simulation of a system of conservation laws boundary conditions that come from a microscopic modeling in the small mean free path regime.The typical example we dis...We propose a numerical solution to incorporate in the simulation of a system of conservation laws boundary conditions that come from a microscopic modeling in the small mean free path regime.The typical example we discuss is the derivation of the Euler system from the BGK equation.The boundary condition relies on the analysis of boundary layers formation that accounts from the fact that the incoming kinetic flux might be far from the thermodynamic equilibrium.展开更多
文摘Mediation is becoming more and more important in the process of settling conflict nowadays,so it’s quite necessary to explain the legal value of mediation from the view of jurisprudence.
文摘The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.
基金supported by the PRIN 2012 project Nonlinear Hyperbolic Partial Differential Equations,Dispersive and Transport Equations:Theoretical and Applicative Aspectsthe INDAM–GNAMPA 2014 project Conservation Laws in the Modeling of Collective Phenomena
文摘The initial-boundary value problem for a general balance law in a bounded domain is proved to be well posed. Indeed, we show the existence of an entropy solution, its uniqueness and its Lipschitz continuity as a function of time, of the initial datum and of the boundary datum. The proof follows the general lines in [4], striving to provide a rigorous treatment and detailed references.
基金This work is supported by Thales Alenia Space.We are gratefully indebted to J.-F.Coulombel,F.GolseK.Aoki for many useful advices concerning this work and for their kind encouragements。
文摘We propose a numerical solution to incorporate in the simulation of a system of conservation laws boundary conditions that come from a microscopic modeling in the small mean free path regime.The typical example we discuss is the derivation of the Euler system from the BGK equation.The boundary condition relies on the analysis of boundary layers formation that accounts from the fact that the incoming kinetic flux might be far from the thermodynamic equilibrium.
