It is very timely and necessary for us to hold this seminar in the beautiful Suzhou Campus of Renmin University of China to deeply study and implement the decisions of the Fourth Plenary Session of the 18th Communist ...It is very timely and necessary for us to hold this seminar in the beautiful Suzhou Campus of Renmin University of China to deeply study and implement the decisions of the Fourth Plenary Session of the 18th Communist Party of China(CPC)Central Committee,push forward the construction of China’s rule of law and jointly discuss the development of China’s human rights cause.展开更多
Adolescents’physical and mental development has obvious age-stage characteristics.Therefore,before the implementation of physical education teaching,it is necessary to fully analyze the laws of adolescents’psycholog...Adolescents’physical and mental development has obvious age-stage characteristics.Therefore,before the implementation of physical education teaching,it is necessary to fully analyze the laws of adolescents’psychological development and fully understand the laws of adolescents’physical development and exercise acquisition.The purpose of this study is to start from the actual needs of physical education teaching and to fully understand the laws of psychological development of adolescent groups.After the review and analysis,the law of adolescents’sports acquisition is summarized and summarized,so as to form the system of adolescents’psychological development and sports acquisition law in physical education teaching,lay a good foundation for physical education teachers to implement teaching on the teaching objects of adolescent students in a targeted and efficient manner,and ultimately promote the benign development of school sports.展开更多
Conservation law plays a very important role in many geometric variational problems and related elliptic systems.In this note,we refine the conservation law obtained by Lamm-Rivière for fourth order systems and d...Conservation law plays a very important role in many geometric variational problems and related elliptic systems.In this note,we refine the conservation law obtained by Lamm-Rivière for fourth order systems and de Longueville-Gastel for general even order systems.展开更多
Function S-rough sets (function singular rough sets) is defined on a -function equivalence class [u]. Function S-rough sets is the extension form of S-rough sets. By using the function S-rough sets, this paper gives...Function S-rough sets (function singular rough sets) is defined on a -function equivalence class [u]. Function S-rough sets is the extension form of S-rough sets. By using the function S-rough sets, this paper gives rough law generation model of a-function equivalence class, discussion on law mining and law discovery in systems, and application of law mining and law discovery in communication system. Function S-rough sets is a new theory and method in law mining research.展开更多
We explore the (2+l)-dimensional dispersive long-wave (DLW) system. From the standard truncated Painleve expansion, the Baicklund transformation (BT) and residual symmetries of this system are derived. The intr...We explore the (2+l)-dimensional dispersive long-wave (DLW) system. From the standard truncated Painleve expansion, the Baicklund transformation (BT) and residual symmetries of this system are derived. The introduction to an appropriate auxiliary dependent variable successfully localizes the residual symmetries to Lie point symmetries. In particular, it is verified that the (2+l)-dimensional DLW system is consistent Riccati expansion (CRE) solvable. If the special form of (CRE)-consistent tanh-function expansion (CTE) is taken, the soliton-cnoidal wave solutions and corresponding images can be explicitly given. Furthermore, the conservation laws of the DLW system are investigated with symmetries and Ibragimov theorem.展开更多
If a system is not disturbed (or invaded) by some law, there is no doubt that each system will move according to the expected law and keep stable. Although such a fact often appears, some unknown law breaks into the...If a system is not disturbed (or invaded) by some law, there is no doubt that each system will move according to the expected law and keep stable. Although such a fact often appears, some unknown law breaks into the system and leads it into turbulence. Using function one direction S-rough sets, this article gives the concept of the F-generation law in the system, the generation model of the F-generation law and the recognition method of the system law. Function one direction singular rough sets is a new theory and method in recognizing the disturbance law existing in the system and recognizing the system law.展开更多
Two approximation laws of sliding mode for discrete-time variable structure control systems are proposed to overcome the limitations of the exponential approximation law and the variable rate approximation law. By app...Two approximation laws of sliding mode for discrete-time variable structure control systems are proposed to overcome the limitations of the exponential approximation law and the variable rate approximation law. By applying the proposed approximation laws of sliding mode to discrete-time variable structure control systems, the stability of origin can be guaranteed, and the chattering along the switching surface caused by discrete-time variable structure control can be restrained effectively. In designing of approximation laws, the problem that the system control input is restricted is also considered, which is very important in practical systems. Finally a simulation example shows the effectiveness of the two approximation laws proposed.展开更多
Conservation laws for the Birkhoffian system and the constrained Birkhoffian system of Herglotz type are studied. We propose a new differential variational principle, called the Pfaff-Birkhoff-d'Alembert principle of...Conservation laws for the Birkhoffian system and the constrained Birkhoffian system of Herglotz type are studied. We propose a new differential variational principle, called the Pfaff-Birkhoff-d'Alembert principle of Herglotz type. Birkhoff's equations for both the Birkhoffian system and the constrained Birkhoffian system of Herglotz type are obtained. According to the relationship between the isochronal variation and the nonisochronal variation, the conditions of the invariance for the Pfaff-Birkhoff-d'Alembert principle of Herglotz type are given. Then, the conserved quantities for the Birkhoffian system and the constrained Birkhoffian system of Herglotz type are deduced. Furthermore, the inverse theorems of the conservation theorems are also established.展开更多
Based on the singular value decomposition theory,this paper analyzed the mechanism of escaping/avoiding singularity using generalized and weighted singularity-robust steering laws for a spacecraft that uses single gim...Based on the singular value decomposition theory,this paper analyzed the mechanism of escaping/avoiding singularity using generalized and weighted singularity-robust steering laws for a spacecraft that uses single gimbal control moment gyros (SGCMGs) as the actuator for the attitude control system.The expression of output-torque error is given at the point of singularity,proving the incompatible relationship between the gimbal rate and the output-torque error.The method of establishing a balance between the gimbal rate and the output-torque error is discussed,and a new steering law is designed.Simulation results show that the proposed steering law can effectively drive SGCMGs to escape away from singularities.展开更多
In this paper, the conservation laws of generalized Birkhoff system in event space are studied by using the method of integrating factors. Firstly, the generalized Pfaff-Birkhoff principle and the generalized Birkhoff...In this paper, the conservation laws of generalized Birkhoff system in event space are studied by using the method of integrating factors. Firstly, the generalized Pfaff-Birkhoff principle and the generalized Birkhoff equations are established, and the definition of the integrating factors for the system is given. Secondly, based on the concept of integrating factors, the conservation theorems and their inverse for the generalized Birkhoff system in the event space are presented in detail, and the relation between the conservation laws and the integrating factors of the system is obtained and the generalized Killing equations for the determination of the integrating factors are given. Finally, an example is given to illustrate the application of the results.展开更多
In this paper, we present a new method to construct the conservation laws for relativistic mechanical systems by finding corresponding integrating factors. First, the Lagrange equations of relativistic mechanical syst...In this paper, we present a new method to construct the conservation laws for relativistic mechanical systems by finding corresponding integrating factors. First, the Lagrange equations of relativistic mechanical systems are established, and the definition of integrating factors of the systems is given; second, the necessary conditions for the existence of conserved quantities of the relativistic mechanical systems are studied in detail, and the relation between the conservation laws and the integrating factors of the systems is obtained and the generalized Killing equations for the determination of the integrating factors are given; finally, the conservation theorem and its inverse for the systems are established, and an example is given to illustrate the application of the results.展开更多
This paper focuses on the Noether symmetries and the conserved quantities for both holonomic and nonholonomic systems based on a new non-conservative dynamical model introduced by E1-Nabulsi. First, the E1-Nabulsi dyn...This paper focuses on the Noether symmetries and the conserved quantities for both holonomic and nonholonomic systems based on a new non-conservative dynamical model introduced by E1-Nabulsi. First, the E1-Nabulsi dynamical model which is based on a fractional integral extended by periodic laws is introduced, and E1-Nabulsi-Hamilton's canoni- cal equations for non-conservative Hamilton system with holonomic or nonholonomic constraints are established. Second, the definitions and criteria of E1-Nabulsi-Noether symmetrical transformations and quasi-symmetrical transformations are presented in terms of the invariance of E1-Nabulsi-Hamilton action under the infinitesimal transformations of the group. Fi- nally, Noether's theorems for the non-conservative Hamilton system under the E1-Nabulsi dynamical system are established, which reveal the relationship between the Noether symmetry and the conserved quantity of the system.展开更多
A novel discrete-time reaching law was proposed for uncertain discrete-time system,which contained process noise and measurement noise.The proposed method reserves all the advantages of discrete-time reaching law,whic...A novel discrete-time reaching law was proposed for uncertain discrete-time system,which contained process noise and measurement noise.The proposed method reserves all the advantages of discrete-time reaching law,which not only decreases the band width of sliding mode and strengthens the system robustness,but also improves the dynamic performance and stability capability of the system.Moreover,a discrete-time sliding mode control strategy based on Kalman filter method was designed,and Kalman filter was employed to eliminate the influence of system noise.Simulation results show that there is no chattering phenomenon in the output of controller and the state variables of controlled system,and the proposed algorithm is also feasible and has strong robustness to external disturbances.展开更多
Lie symmetry and Mei conservation law of continuum Lagrange system are studied in this paper. The equation of motion of continuum system is established by using variational principle of continuous coordinates. The inv...Lie symmetry and Mei conservation law of continuum Lagrange system are studied in this paper. The equation of motion of continuum system is established by using variational principle of continuous coordinates. The invariance of the equation of motion under an infinitesimal transformation group is determined to be Lie-symmetric. The condition of obtaining Mei conservation theorem from Lie symmetry is also presented. An example is discussed for applications of the results.展开更多
A fourth-order relaxation scheme is derived and applied to hyperbolic systems of conservation laws in one and two space dimensions. The scheme is based on a fourthorder central weighted essentially nonoscillatory (CW...A fourth-order relaxation scheme is derived and applied to hyperbolic systems of conservation laws in one and two space dimensions. The scheme is based on a fourthorder central weighted essentially nonoscillatory (CWENO) reconstruction for one-dimensional cases, which is generalized to two-dimensional cases by the dimension-by-dimension approach. The large stability domain Runge-Kutta-type solver ROCK4 is used for time integration. The resulting method requires neither the use of Riemann solvers nor the computation of Jacobians and therefore it enjoys the main advantage of the relaxation schemes. The high accuracy and high-resolution properties of the present method are demonstrated in one- and two-dimensional numerical experiments.展开更多
By introducing the generalized quasi-symmetry of the infinitesimaltransformation for transformation group G_r, this paper studies theconservation laws and symmetries of dynamical systems with unilateralconstraints in ...By introducing the generalized quasi-symmetry of the infinitesimaltransformation for transformation group G_r, this paper studies theconservation laws and symmetries of dynamical systems with unilateralconstraints in phase space. Noether's theorem and Noether's inversetheorem for me- chanical system with unilateral constraints in phasespace are obtained and two kinds of equivalent forms of generalizedKilling equations which are used to determine the generators of theinfinitesimal group transformation are given.展开更多
Function one direction S-rough sets have dynamic characteristics and law characteristics. By using the function one direction S-rough sets, this article presents the concepts of the f-hiding law, F-hiding law, f-hidin...Function one direction S-rough sets have dynamic characteristics and law characteristics. By using the function one direction S-rough sets, this article presents the concepts of the f-hiding law, F-hiding law, f-hiding law dependence and F-hiding law dependence. Based on the concepts above, this article proposes the hidingdependence theorem of f-hiding laws, the hiding-dependence theorem of F-hiding laws, the hiding-dependence separation theorem, the hiding dependence-discovery principle of unknown laws. Finally, the application of the hiding dependence of hiding laws in the discovery of system laws is given.展开更多
The problem of the presence of Cantor part in the derivative of a solution to a hyperbolic system of conservation laws is considered. An overview of the techniques involved in the proof is given, and a collection of r...The problem of the presence of Cantor part in the derivative of a solution to a hyperbolic system of conservation laws is considered. An overview of the techniques involved in the proof is given, and a collection of related problems concludes the paper.展开更多
In the present paper, three kinds of forms for Noether’s conservation laws of hol-onomic nonconservative dynamical systems in generalized mechanics are given.
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.展开更多
文摘It is very timely and necessary for us to hold this seminar in the beautiful Suzhou Campus of Renmin University of China to deeply study and implement the decisions of the Fourth Plenary Session of the 18th Communist Party of China(CPC)Central Committee,push forward the construction of China’s rule of law and jointly discuss the development of China’s human rights cause.
文摘Adolescents’physical and mental development has obvious age-stage characteristics.Therefore,before the implementation of physical education teaching,it is necessary to fully analyze the laws of adolescents’psychological development and fully understand the laws of adolescents’physical development and exercise acquisition.The purpose of this study is to start from the actual needs of physical education teaching and to fully understand the laws of psychological development of adolescent groups.After the review and analysis,the law of adolescents’sports acquisition is summarized and summarized,so as to form the system of adolescents’psychological development and sports acquisition law in physical education teaching,lay a good foundation for physical education teachers to implement teaching on the teaching objects of adolescent students in a targeted and efficient manner,and ultimately promote the benign development of school sports.
基金supported by the Young Scientist Program of the Ministry of Science and Technology of China(2021YFA1002200)the National Natural Science Foundation of China(12101362)+4 种基金the Natural Science Foundation of Shandong Province(ZR2021QA003)supported by the National Natural Science Foundation of China(12271296)the Natural Science Foundation of Hubei Province(2024AFA061)supported by the National Natural Science Foundation of China(11571131)the Open Research Fund of Key Laboratory of Nonlinear Analysis&Applications(Central China Normal University),Ministry of Education,P.R.China。
文摘Conservation law plays a very important role in many geometric variational problems and related elliptic systems.In this note,we refine the conservation law obtained by Lamm-Rivière for fourth order systems and de Longueville-Gastel for general even order systems.
基金This project was supported by Natural Science Foundation of Shandong Province of China (Y2004A04), Natural ScienceFoundation of Fujian of China (Z051049) and Education Foundation of Fujian of China (JA04268),.
文摘Function S-rough sets (function singular rough sets) is defined on a -function equivalence class [u]. Function S-rough sets is the extension form of S-rough sets. By using the function S-rough sets, this paper gives rough law generation model of a-function equivalence class, discussion on law mining and law discovery in systems, and application of law mining and law discovery in communication system. Function S-rough sets is a new theory and method in law mining research.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.11371293 and 11505090)the Natural Science Foundation of Shaanxi Province,China(Grant No.2014JM2-1009)+1 种基金the Research Award Foundation for Outstanding Young Scientists of Shandong Province,China(Grant No.BS2015SF009)the Science and Technology Innovation Foundation of Xi’an,China(Grant No.CYX1531WL41)
文摘We explore the (2+l)-dimensional dispersive long-wave (DLW) system. From the standard truncated Painleve expansion, the Baicklund transformation (BT) and residual symmetries of this system are derived. The introduction to an appropriate auxiliary dependent variable successfully localizes the residual symmetries to Lie point symmetries. In particular, it is verified that the (2+l)-dimensional DLW system is consistent Riccati expansion (CRE) solvable. If the special form of (CRE)-consistent tanh-function expansion (CTE) is taken, the soliton-cnoidal wave solutions and corresponding images can be explicitly given. Furthermore, the conservation laws of the DLW system are investigated with symmetries and Ibragimov theorem.
基金This project was supported by the Ministry of Education of China (206089)Shangdong Provincial Natural Science Foundation of China (Y2004A04)Fujian Provincial Natural Science Foundation of China (Z051049).
文摘If a system is not disturbed (or invaded) by some law, there is no doubt that each system will move according to the expected law and keep stable. Although such a fact often appears, some unknown law breaks into the system and leads it into turbulence. Using function one direction S-rough sets, this article gives the concept of the F-generation law in the system, the generation model of the F-generation law and the recognition method of the system law. Function one direction singular rough sets is a new theory and method in recognizing the disturbance law existing in the system and recognizing the system law.
基金This work was supported by the National Natural Science Foundation of China (No.60274099) and the Foundation of Key Laboratory of Process Industry Automation, Ministry of Education
文摘Two approximation laws of sliding mode for discrete-time variable structure control systems are proposed to overcome the limitations of the exponential approximation law and the variable rate approximation law. By applying the proposed approximation laws of sliding mode to discrete-time variable structure control systems, the stability of origin can be guaranteed, and the chattering along the switching surface caused by discrete-time variable structure control can be restrained effectively. In designing of approximation laws, the problem that the system control input is restricted is also considered, which is very important in practical systems. Finally a simulation example shows the effectiveness of the two approximation laws proposed.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.11572212 and 11272227)the Innovation Program for Postgraduate in Higher Education Institutions of Jiangsu Province,China(Grant No.KYZZ16-0479)the Innovation Program for Postgraduate of Suzhou University of Science and Technology,China(Grant No.SKCX16-058)
文摘Conservation laws for the Birkhoffian system and the constrained Birkhoffian system of Herglotz type are studied. We propose a new differential variational principle, called the Pfaff-Birkhoff-d'Alembert principle of Herglotz type. Birkhoff's equations for both the Birkhoffian system and the constrained Birkhoffian system of Herglotz type are obtained. According to the relationship between the isochronal variation and the nonisochronal variation, the conditions of the invariance for the Pfaff-Birkhoff-d'Alembert principle of Herglotz type are given. Then, the conserved quantities for the Birkhoffian system and the constrained Birkhoffian system of Herglotz type are deduced. Furthermore, the inverse theorems of the conservation theorems are also established.
基金supported by the National Natural Science Foundation of China (10872029)the Excellent Young Scholars Research Fund of the Beijing Institute of Technology (2007YS0202)
文摘Based on the singular value decomposition theory,this paper analyzed the mechanism of escaping/avoiding singularity using generalized and weighted singularity-robust steering laws for a spacecraft that uses single gimbal control moment gyros (SGCMGs) as the actuator for the attitude control system.The expression of output-torque error is given at the point of singularity,proving the incompatible relationship between the gimbal rate and the output-torque error.The method of establishing a balance between the gimbal rate and the output-torque error is discussed,and a new steering law is designed.Simulation results show that the proposed steering law can effectively drive SGCMGs to escape away from singularities.
基金supported by National Natural Science Foundation of China under Grant No. 10572021
文摘In this paper, the conservation laws of generalized Birkhoff system in event space are studied by using the method of integrating factors. Firstly, the generalized Pfaff-Birkhoff principle and the generalized Birkhoff equations are established, and the definition of the integrating factors for the system is given. Secondly, based on the concept of integrating factors, the conservation theorems and their inverse for the generalized Birkhoff system in the event space are presented in detail, and the relation between the conservation laws and the integrating factors of the system is obtained and the generalized Killing equations for the determination of the integrating factors are given. Finally, an example is given to illustrate the application of the results.
基金Natural Science Foundation of High Education of Jiangsu Province of China,"Qing Lan" Project Foundation of Jiangsu Province
文摘In this paper, we present a new method to construct the conservation laws for relativistic mechanical systems by finding corresponding integrating factors. First, the Lagrange equations of relativistic mechanical systems are established, and the definition of integrating factors of the systems is given; second, the necessary conditions for the existence of conserved quantities of the relativistic mechanical systems are studied in detail, and the relation between the conservation laws and the integrating factors of the systems is obtained and the generalized Killing equations for the determination of the integrating factors are given; finally, the conservation theorem and its inverse for the systems are established, and an example is given to illustrate the application of the results.
基金supported by the National Natural Science Foundation of China(Grant Nos.10972151 and 11272227)the Innovation Program for Postgraduate in Higher Education Institutions of Jiangsu Province,China(Grant No.CXLX11_0961)
文摘This paper focuses on the Noether symmetries and the conserved quantities for both holonomic and nonholonomic systems based on a new non-conservative dynamical model introduced by E1-Nabulsi. First, the E1-Nabulsi dynamical model which is based on a fractional integral extended by periodic laws is introduced, and E1-Nabulsi-Hamilton's canoni- cal equations for non-conservative Hamilton system with holonomic or nonholonomic constraints are established. Second, the definitions and criteria of E1-Nabulsi-Noether symmetrical transformations and quasi-symmetrical transformations are presented in terms of the invariance of E1-Nabulsi-Hamilton action under the infinitesimal transformations of the group. Fi- nally, Noether's theorems for the non-conservative Hamilton system under the E1-Nabulsi dynamical system are established, which reveal the relationship between the Noether symmetry and the conserved quantity of the system.
基金Project(50721063) supported by the National Natural Science Foundation of China
文摘A novel discrete-time reaching law was proposed for uncertain discrete-time system,which contained process noise and measurement noise.The proposed method reserves all the advantages of discrete-time reaching law,which not only decreases the band width of sliding mode and strengthens the system robustness,but also improves the dynamic performance and stability capability of the system.Moreover,a discrete-time sliding mode control strategy based on Kalman filter method was designed,and Kalman filter was employed to eliminate the influence of system noise.Simulation results show that there is no chattering phenomenon in the output of controller and the state variables of controlled system,and the proposed algorithm is also feasible and has strong robustness to external disturbances.
基金Project supported by the National Natural Science Foundation of China (Grant No. 11072218) and the Natural Science Foundation of Zhejiang Province of China (Grant No. Y6100337).
文摘Lie symmetry and Mei conservation law of continuum Lagrange system are studied in this paper. The equation of motion of continuum system is established by using variational principle of continuous coordinates. The invariance of the equation of motion under an infinitesimal transformation group is determined to be Lie-symmetric. The condition of obtaining Mei conservation theorem from Lie symmetry is also presented. An example is discussed for applications of the results.
基金the National Natural Science Foundation of China (60134010)The English text was polished by Yunming Chen.
文摘A fourth-order relaxation scheme is derived and applied to hyperbolic systems of conservation laws in one and two space dimensions. The scheme is based on a fourthorder central weighted essentially nonoscillatory (CWENO) reconstruction for one-dimensional cases, which is generalized to two-dimensional cases by the dimension-by-dimension approach. The large stability domain Runge-Kutta-type solver ROCK4 is used for time integration. The resulting method requires neither the use of Riemann solvers nor the computation of Jacobians and therefore it enjoys the main advantage of the relaxation schemes. The high accuracy and high-resolution properties of the present method are demonstrated in one- and two-dimensional numerical experiments.
基金the National Natural Science Foundationthe Doctoral Programme Foundation of Institution of Higher Education of China
文摘By introducing the generalized quasi-symmetry of the infinitesimaltransformation for transformation group G_r, this paper studies theconservation laws and symmetries of dynamical systems with unilateralconstraints in phase space. Noether's theorem and Noether's inversetheorem for me- chanical system with unilateral constraints in phasespace are obtained and two kinds of equivalent forms of generalizedKilling equations which are used to determine the generators of theinfinitesimal group transformation are given.
基金supported partly by the Natural Science Foundation of Shandong Province(Y2004A04)Elementaryand Advanced Technology Foundation of Henan Province(082300410040)
文摘Function one direction S-rough sets have dynamic characteristics and law characteristics. By using the function one direction S-rough sets, this article presents the concepts of the f-hiding law, F-hiding law, f-hiding law dependence and F-hiding law dependence. Based on the concepts above, this article proposes the hidingdependence theorem of f-hiding laws, the hiding-dependence theorem of F-hiding laws, the hiding-dependence separation theorem, the hiding dependence-discovery principle of unknown laws. Finally, the application of the hiding dependence of hiding laws in the discovery of system laws is given.
文摘The problem of the presence of Cantor part in the derivative of a solution to a hyperbolic system of conservation laws is considered. An overview of the techniques involved in the proof is given, and a collection of related problems concludes the paper.
文摘In the present paper, three kinds of forms for Noether’s conservation laws of hol-onomic nonconservative dynamical systems in generalized mechanics are given.
文摘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.