Linear differential-algebraic equations (DAEs) with time-varying coefficients A(t)x(1)(t) + B(t)x(t) = q(t), which are tractable with a higher index. are discussed. Their essential properties are investigated. Some eq...Linear differential-algebraic equations (DAEs) with time-varying coefficients A(t)x(1)(t) + B(t)x(t) = q(t), which are tractable with a higher index. are discussed. Their essential properties are investigated. Some equivalent system,,; are given. Using them the paper shows how to state properly initial and boundary conditions for these DAEs. The existence and uniqueness theory of the solution of the initial and boundary value problems for higher index DAEs are proposed.展开更多
An efficient numerical approach for the general thermomechanical problems was developed and it was tested for a two-dimensional thermoelasticity problem. The main idea of our numerical method is based on the reduction...An efficient numerical approach for the general thermomechanical problems was developed and it was tested for a two-dimensional thermoelasticity problem. The main idea of our numerical method is based on the reduction procedure of the original system of PDEs describing coupled thermomechanical behavior to a system of Differential Algebraic Equations （DAEs） where the stress-strain relationships are treated as algebraic equations. The resulting system of DAEs was then solved with a Backward Differentiation Formula （BDF） using a fully implicit algorithm. The described procedure was explained in detail, and its effectiveness was demonstrated on the solution of a transient uncoupled thermoelastic problem, for which an analytical solution is known, as well as on a fully coupled problem in the two-dimensional case.展开更多
The stability analysis for nonlinear differentialalgebraic systems is addressed using tools from classical control theory. Sufficient stability conditions relying on matrix inequalities are established via Lyapunov Di...The stability analysis for nonlinear differentialalgebraic systems is addressed using tools from classical control theory. Sufficient stability conditions relying on matrix inequalities are established via Lyapunov Direct Method. In addition, a novel interpretation of differential-algebraic systems as feedback interconnection of a purely differential system and an algebraic system allows reducing the stability analysis to a smallgain-like condition. The study of stability properties for constrained mechanical systems, for a class of Lipschitz differential-algebraic systems and for an academic example is used to illustrate the theory.展开更多
A class of parallel Runge-Kutta Methods for differential-algebraic equations of index 2are constructed for multiprocessor system. This paper gives the order conditions and investigatesthe convergence theory for such m...A class of parallel Runge-Kutta Methods for differential-algebraic equations of index 2are constructed for multiprocessor system. This paper gives the order conditions and investigatesthe convergence theory for such methods.展开更多
Numerical methods for Differential-Algebraic systems with discontinuous right-hand sides is discussed. A class of continuous Rosenbrock methods are constructed, and numerical experiments show that the continuous Rosen...Numerical methods for Differential-Algebraic systems with discontinuous right-hand sides is discussed. A class of continuous Rosenbrock methods are constructed, and numerical experiments show that the continuous Rosenbrock methods are effective. Applying the methods, a fast and high-precision numerical algorithm is given to deal with typical discontinuous parts, which occur frequently in differential-algebraic systems(DAS).展开更多
In this article, linear regular index 2 DAEs A（t）[D（t）x（t）]＇ ＋ B（t）x（t） = q（t） are considered. Using a decoupling technique, initial condition and boundary condition are properly formulated. Regular inde...In this article, linear regular index 2 DAEs A（t）[D（t）x（t）]＇ ＋ B（t）x（t） = q（t） are considered. Using a decoupling technique, initial condition and boundary condition are properly formulated. Regular index 1 DAEs are obtained by a regularization method. We study the behavior of the solution of the regularization system via asymptotic expansions. The error analysis between the solutions of the DAEs and its regularization system is given.展开更多
Nonlinear fractional differential-algebraic equations often arise in simulating integrated circuits with superconductors. How to obtain the nonnegative solutions of the equations is an important scientific problem. As...Nonlinear fractional differential-algebraic equations often arise in simulating integrated circuits with superconductors. How to obtain the nonnegative solutions of the equations is an important scientific problem. As far as we known, the nonnegativity of solutions of the nonlinear fractional differential-algebraic equations is still not studied. In this article, we investigate the nonnegativity of solutions of the equations. Firstly, we discuss the existence of nonnegative solutions of the equations, and then we show that the nonnegative solution can be approached by a monotone waveform relaxation sequence provided the initial iteration is chosen properly. The choice of initial iteration is critical and we give a method of finding it. Finally, we present an example to illustrate the efficiency of our method.展开更多
In this paper, the stable problem for differential-algebraic systems is investigated by a convex op-timization approach. Based on the Lyapunov functional method and the delay partitioning approach, some delay and its ...In this paper, the stable problem for differential-algebraic systems is investigated by a convex op-timization approach. Based on the Lyapunov functional method and the delay partitioning approach, some delay and its time-derivative dependent stable criteria are obtained and formulated in the form of simple linear matrix inequalities (LMIs). The obtained criteria are dependent on the sizes of delay and its time-derivative and are less conservative than those produced by previous approaches.展开更多
Based on Buckingham＇s π-Theorem, dimensional analysis has achieved considerable success over the past near-century. Model testing has long been a powerful tool in both scientific studies and engineering applications...Based on Buckingham＇s π-Theorem, dimensional analysis has achieved considerable success over the past near-century. Model testing has long been a powerful tool in both scientific studies and engineering applications. However, the prototype objects are becoming more and more complicated nowadays, and many of the prototype systems can contain several sub-systems. The conventional theories on model-prototype similarity and dimensional analysis have only limited application since the π-Theorem itself does not distinguish between the original system and subsystems. This is particularly true in the field of structural dynamics, where the structure is often modeled as a multi-degree-of-freedom system. In this paper, we attempt to show that, if a system can be decoupled into several nontrivial subsystems, then, in each subsystem, the number of π-terms will be reduced and therefore simplify the model testing. On the other hand, if a system cannot be decoupled into subsystems, then using model testing with reduced π-term analysis, both experimentally and theoretically, may introduce severe errors.展开更多
Numerical simulation plays an important role in the dynamic analysis of multibody system.With the rapid development of computer science,the numerical solution technology has been further developed.Recently,data-driven...Numerical simulation plays an important role in the dynamic analysis of multibody system.With the rapid development of computer science,the numerical solution technology has been further developed.Recently,data-driven method has become a very popular computing method.However,due to lack of necessary mechanism information of the traditional pure data-driven methods based on neural network,its numerical accuracy cannot be guaranteed for strong nonlinear system.Therefore,this work proposes a mechanism-data hybrid-driven strategy for solving nonlinear multibody system based on physics-informed neural network to overcome the limitation of traditional data-driven methods.The strategy proposed in this paper introduces scaling coefficients to introduce the dynamic model of multibody system into neural network,ensuring that the training results of neural network conform to the mechanics principle of the system,thereby ensuring the good reliability of the data-driven method.Finally,the stability,generalization ability and numerical accuracy of the proposed method are discussed and analyzed using three typical multibody systems,and the constrained default situations can be controlled within the range of 10^(-2)-10^(-4).展开更多
In this paper, Lyapunov-like exponential stability and unstability of differentialalgebraic equation are considered from the viewpoint of stability of system motion, and the criteria of exponential stability and unsta...In this paper, Lyapunov-like exponential stability and unstability of differentialalgebraic equation are considered from the viewpoint of stability of system motion, and the criteria of exponential stability and unstability of nonlinear nonautonomous differential-algebraic equation are given by using Lyapunov-like function similar to ordinary differential equation.展开更多
Based on the statistical data, we analyzed and evaluated the degree of coupling and coordination of the eco-economic system in Yanchi County for the period spanning from 1983 to 2014. The eco-economic system can be di...Based on the statistical data, we analyzed and evaluated the degree of coupling and coordination of the eco-economic system in Yanchi County for the period spanning from 1983 to 2014. The eco-economic system can be divided into socioeconomic and ecological sub-systems and their relationship can reveal the interaction state between the two sub-systems and help the local government to establish a coordinated development mode. An index system was constructed to assess the development of the two sub-systems before the evaluation of the degree of coupling and coordination. The principal component regression analysis was adopted to quantitatively assess the influences of natural, economic and social factors on the degree of coupling and coordination of the eco-economic system. Results showed that, from 1983 to 2014, the development trends of both sub-systems were increasing with the ecological sub-system having more fluctuations. The degree of coupling and coordination of the eco-economic system in the study area increased gradually from 1983 to 2014, but experienced five different development stages from the verge of disorder to favorable coordination. The development of the local social and economic conditions was the most important factor influencing the degree of coupling and coordination. The second most important factor was the financial support from the local government. In addition, the environment protection policies also played undeniable roles. Due to the diversity of the influence factors, the government should take comprehensive measures to promote the sustainable development of the eco-economic system.展开更多
In this article,we investigate a fractional-order singular Leslie-Gower prey-predator bioeconomic model,which describes the interaction bet ween populations of prey and predator,and takes into account the economic int...In this article,we investigate a fractional-order singular Leslie-Gower prey-predator bioeconomic model,which describes the interaction bet ween populations of prey and predator,and takes into account the economic interest.We firstly obtain the solvability condition and the st ability of the model sys tem,and discuss the singularity induced bifurcation phenomenon.Next,we introduce a st ate feedback controller to elimina te the singularity induced bifurcation phenomenon,and discuss the optimal control problems.Finally,numerical solutions and their simulations are considered in order to illustrate the theoretical results and reveal the more complex dynamical behavior.展开更多
Based on constructing programmed constraint and constraint perturbation equation,a kinematics and dynamics numerical simulation model is established for virtual mechanism,in which the difference scheme guarantee preci...Based on constructing programmed constraint and constraint perturbation equation,a kinematics and dynamics numerical simulation model is established for virtual mechanism,in which the difference scheme guarantee precision in simulation procedure and its mtmerical solutions satisfy programmed manifold stability.A crank-piston mechanism in a car engine,a steering mechanism and a suspension mechanism are simulated in a virtual environment,then comparing the simulation results with those obtained in ADAMS under the same circumstances proved the solver valid.展开更多
In this paper,we propose a novel Legendre neural network combined with the extreme learning machine algorithm to solve variable coefficients linear delay differential-algebraic equations with weak discontinuities.Firs...In this paper,we propose a novel Legendre neural network combined with the extreme learning machine algorithm to solve variable coefficients linear delay differential-algebraic equations with weak discontinuities.First,the solution interval is divided into multiple subintervals by weak discontinuity points.Then,Legendre neural network is used to eliminate the hidden layer by expanding the input pattern using Legendre polynomials on each subinterval.Finally,the parameters of the neural network are obtained by training with the extreme learning machine.The numerical examples show that the proposed method can effectively deal with the difficulty of numerical simulation caused by the discontinuities.展开更多
Based on the theory of polymorphic virtual S-box,the paper presents a symmetric key exchange protocol to solve the problem of session keys delete shared in the computational complexity temporary trading scenario.Both ...Based on the theory of polymorphic virtual S-box,the paper presents a symmetric key exchange protocol to solve the problem of session keys delete shared in the computational complexity temporary trading scenario.Both parties jointly construct a highly nonlinear SPN core algorithm.The paper the connotation of polymorphic cipher theory,making use of the method of self-compiler based expansion factor to collect random parameter sets held by each of the parties containing its own information 5-tuple private keys array Kpa[5]and Kpb[5].The more efficient polymorphism virtual S-box is constructed.The method of secret split for the public key cryptography features can be implemented by symmetry cipher system.The research results will provide a theoretical basis to solve the key exchange problems for short-term communications partner based on symmetric cryptography.展开更多
Projected Runge-Kutta （R-K） methods for constrained Hamiltonian systems are proposed. Dynamic equations of the systems, which are index-3 differential-algebraic equations （DAEs） in the Heisenberg form, are establi...Projected Runge-Kutta （R-K） methods for constrained Hamiltonian systems are proposed. Dynamic equations of the systems, which are index-3 differential-algebraic equations （DAEs） in the Heisenberg form, are established under the framework of Lagrangian multipliers. R-K methods combined with the technique of projections are then used to solve the DAEs. The basic idea of projections is to eliminate the constraint violations at the position, velocity, and acceleration levels, and to preserve the total energy of constrained Hamiltonian systems by correcting variables of the position, velocity, acceleration, and energy. Numerical results confirm the validity and show the high precision of the proposed method in preserving three levels of constraints and total energy compared with results reported in the literature.展开更多
This paper develops a class of general one-step discretization methods for solving the index-1 stochastic delay differential-algebraic equations. The existence and uniqueness theorem of strong solutions of index-1 equ...This paper develops a class of general one-step discretization methods for solving the index-1 stochastic delay differential-algebraic equations. The existence and uniqueness theorem of strong solutions of index-1 equations is given. A strong convergence criterion of the methods is derived, which is applicable to a series of one-step stochastic numerical methods. Some specific numerical methods, such as the Euler-Maruyama method, stochastic ^-methods, split-step ^-methods are proposed, and their strong convergence results are given. Numerical experiments further illustrate the theoretical results.展开更多
The applicability of the density rule of Pathwardhan and Kumer and the rule based on the linear isopiestic relation is studied by comparison with experimental density data in the literature. Predicted and measured val...The applicability of the density rule of Pathwardhan and Kumer and the rule based on the linear isopiestic relation is studied by comparison with experimental density data in the literature. Predicted and measured values for 18 electrolyte mixtures are compared. The two rules are good for mixtures with and without common ions, including those containing associating ions. The deviations of the rule based on the linear isopiestic relation are slightly higher for the mixtures involving very strong ion complexes, but the predictions are still quite satisfactory.The density rule of Pathwardhan and Kumer is more accurate for these mixtures. However, it is not applicable for mixtures containing non-electrolytes. The rule based on the linear isopiestic relation is extended to mixtures involving non-electrolytes. The predictions for the mixtures containing both electrolytes and non-electrolytes and the non-electrolyte mixtures are accurate. All these results indicate that this rule is a widely applicable approach.展开更多
基金Project supported by the National Natural Science Foundation of China by Jiangsu Provincial Natural Science Foundation
文摘Linear differential-algebraic equations (DAEs) with time-varying coefficients A(t)x(1)(t) + B(t)x(t) = q(t), which are tractable with a higher index. are discussed. Their essential properties are investigated. Some equivalent system,,; are given. Using them the paper shows how to state properly initial and boundary conditions for these DAEs. The existence and uniqueness theory of the solution of the initial and boundary value problems for higher index DAEs are proposed.
文摘An efficient numerical approach for the general thermomechanical problems was developed and it was tested for a two-dimensional thermoelasticity problem. The main idea of our numerical method is based on the reduction procedure of the original system of PDEs describing coupled thermomechanical behavior to a system of Differential Algebraic Equations （DAEs） where the stress-strain relationships are treated as algebraic equations. The resulting system of DAEs was then solved with a Backward Differentiation Formula （BDF） using a fully implicit algorithm. The described procedure was explained in detail, and its effectiveness was demonstrated on the solution of a transient uncoupled thermoelastic problem, for which an analytical solution is known, as well as on a fully coupled problem in the two-dimensional case.
文摘The stability analysis for nonlinear differentialalgebraic systems is addressed using tools from classical control theory. Sufficient stability conditions relying on matrix inequalities are established via Lyapunov Direct Method. In addition, a novel interpretation of differential-algebraic systems as feedback interconnection of a purely differential system and an algebraic system allows reducing the stability analysis to a smallgain-like condition. The study of stability properties for constrained mechanical systems, for a class of Lipschitz differential-algebraic systems and for an academic example is used to illustrate the theory.
文摘A class of parallel Runge-Kutta Methods for differential-algebraic equations of index 2are constructed for multiprocessor system. This paper gives the order conditions and investigatesthe convergence theory for such methods.
文摘Numerical methods for Differential-Algebraic systems with discontinuous right-hand sides is discussed. A class of continuous Rosenbrock methods are constructed, and numerical experiments show that the continuous Rosenbrock methods are effective. Applying the methods, a fast and high-precision numerical algorithm is given to deal with typical discontinuous parts, which occur frequently in differential-algebraic systems(DAS).
基金Project supported by the Foundation for the Authors of the National Excellent Doctoral Thesis Award of China (200720)
文摘In this article, linear regular index 2 DAEs A（t）[D（t）x（t）]＇ ＋ B（t）x（t） = q（t） are considered. Using a decoupling technique, initial condition and boundary condition are properly formulated. Regular index 1 DAEs are obtained by a regularization method. We study the behavior of the solution of the regularization system via asymptotic expansions. The error analysis between the solutions of the DAEs and its regularization system is given.
基金supported by the Natural Science Foundation of China(NSFC)under grant 11501436Young Talent fund of University Association for Science and Technology in Shaanxi,China(20170701)
文摘Nonlinear fractional differential-algebraic equations often arise in simulating integrated circuits with superconductors. How to obtain the nonnegative solutions of the equations is an important scientific problem. As far as we known, the nonnegativity of solutions of the nonlinear fractional differential-algebraic equations is still not studied. In this article, we investigate the nonnegativity of solutions of the equations. Firstly, we discuss the existence of nonnegative solutions of the equations, and then we show that the nonnegative solution can be approached by a monotone waveform relaxation sequence provided the initial iteration is chosen properly. The choice of initial iteration is critical and we give a method of finding it. Finally, we present an example to illustrate the efficiency of our method.
文摘In this paper, the stable problem for differential-algebraic systems is investigated by a convex op-timization approach. Based on the Lyapunov functional method and the delay partitioning approach, some delay and its time-derivative dependent stable criteria are obtained and formulated in the form of simple linear matrix inequalities (LMIs). The obtained criteria are dependent on the sizes of delay and its time-derivative and are less conservative than those produced by previous approaches.
文摘Based on Buckingham＇s π-Theorem, dimensional analysis has achieved considerable success over the past near-century. Model testing has long been a powerful tool in both scientific studies and engineering applications. However, the prototype objects are becoming more and more complicated nowadays, and many of the prototype systems can contain several sub-systems. The conventional theories on model-prototype similarity and dimensional analysis have only limited application since the π-Theorem itself does not distinguish between the original system and subsystems. This is particularly true in the field of structural dynamics, where the structure is often modeled as a multi-degree-of-freedom system. In this paper, we attempt to show that, if a system can be decoupled into several nontrivial subsystems, then, in each subsystem, the number of π-terms will be reduced and therefore simplify the model testing. On the other hand, if a system cannot be decoupled into subsystems, then using model testing with reduced π-term analysis, both experimentally and theoretically, may introduce severe errors.
基金supported by the National Natural Science Foundation of China(Grant No.U2241263)the fellowship of China Postdoctoral Science Foundation(Grant No.2024M750310).
文摘Numerical simulation plays an important role in the dynamic analysis of multibody system.With the rapid development of computer science,the numerical solution technology has been further developed.Recently,data-driven method has become a very popular computing method.However,due to lack of necessary mechanism information of the traditional pure data-driven methods based on neural network,its numerical accuracy cannot be guaranteed for strong nonlinear system.Therefore,this work proposes a mechanism-data hybrid-driven strategy for solving nonlinear multibody system based on physics-informed neural network to overcome the limitation of traditional data-driven methods.The strategy proposed in this paper introduces scaling coefficients to introduce the dynamic model of multibody system into neural network,ensuring that the training results of neural network conform to the mechanics principle of the system,thereby ensuring the good reliability of the data-driven method.Finally,the stability,generalization ability and numerical accuracy of the proposed method are discussed and analyzed using three typical multibody systems,and the constrained default situations can be controlled within the range of 10^(-2)-10^(-4).
文摘In this paper, Lyapunov-like exponential stability and unstability of differentialalgebraic equation are considered from the viewpoint of stability of system motion, and the criteria of exponential stability and unstability of nonlinear nonautonomous differential-algebraic equation are given by using Lyapunov-like function similar to ordinary differential equation.
基金supported by the National Natural Science Foundation of China(41471436,41601587)the National Science and Technology Support Program of China(2015BAC06B01)+1 种基金the National Key Research and Development Program of China(2016YFC0500909)the National Natural Science Foundation of China(41601587)
文摘Based on the statistical data, we analyzed and evaluated the degree of coupling and coordination of the eco-economic system in Yanchi County for the period spanning from 1983 to 2014. The eco-economic system can be divided into socioeconomic and ecological sub-systems and their relationship can reveal the interaction state between the two sub-systems and help the local government to establish a coordinated development mode. An index system was constructed to assess the development of the two sub-systems before the evaluation of the degree of coupling and coordination. The principal component regression analysis was adopted to quantitatively assess the influences of natural, economic and social factors on the degree of coupling and coordination of the eco-economic system. Results showed that, from 1983 to 2014, the development trends of both sub-systems were increasing with the ecological sub-system having more fluctuations. The degree of coupling and coordination of the eco-economic system in the study area increased gradually from 1983 to 2014, but experienced five different development stages from the verge of disorder to favorable coordination. The development of the local social and economic conditions was the most important factor influencing the degree of coupling and coordination. The second most important factor was the financial support from the local government. In addition, the environment protection policies also played undeniable roles. Due to the diversity of the influence factors, the government should take comprehensive measures to promote the sustainable development of the eco-economic system.
文摘In this article,we investigate a fractional-order singular Leslie-Gower prey-predator bioeconomic model,which describes the interaction bet ween populations of prey and predator,and takes into account the economic interest.We firstly obtain the solvability condition and the st ability of the model sys tem,and discuss the singularity induced bifurcation phenomenon.Next,we introduce a st ate feedback controller to elimina te the singularity induced bifurcation phenomenon,and discuss the optimal control problems.Finally,numerical solutions and their simulations are considered in order to illustrate the theoretical results and reveal the more complex dynamical behavior.
基金supported by National Natural Science Foundation of China(No.50305033,No.60375020)National Basic Research Program of China(973 Program,No.2004CB719400,No.2002CB312106)Provincial Natural Science Foundation of Zhejiang,China(No.Y105430).
文摘Based on constructing programmed constraint and constraint perturbation equation,a kinematics and dynamics numerical simulation model is established for virtual mechanism,in which the difference scheme guarantee precision in simulation procedure and its mtmerical solutions satisfy programmed manifold stability.A crank-piston mechanism in a car engine,a steering mechanism and a suspension mechanism are simulated in a virtual environment,then comparing the simulation results with those obtained in ADAMS under the same circumstances proved the solver valid.
基金supported by the National Natural Science Foundation of China(No.11971412)the Natural Science Foundation of Hunan Province of China(No.2018JJ2378)Scientific Research Fund of Hunan Provincial Science and Technology Department(No.2018WK4006).
文摘In this paper,we propose a novel Legendre neural network combined with the extreme learning machine algorithm to solve variable coefficients linear delay differential-algebraic equations with weak discontinuities.First,the solution interval is divided into multiple subintervals by weak discontinuity points.Then,Legendre neural network is used to eliminate the hidden layer by expanding the input pattern using Legendre polynomials on each subinterval.Finally,the parameters of the neural network are obtained by training with the extreme learning machine.The numerical examples show that the proposed method can effectively deal with the difficulty of numerical simulation caused by the discontinuities.
基金the National Natural Science Foundation of China under Grant No.61272038 and No.61340059Zhengzhou Academician Workstation Funded Projects+2 种基金the Education Department of Henan Province Science and Technology Research ProjectKey Project of Science and Technology Researchthe Doctor Fund of Zhengzhou University of Light Industry
文摘Based on the theory of polymorphic virtual S-box,the paper presents a symmetric key exchange protocol to solve the problem of session keys delete shared in the computational complexity temporary trading scenario.Both parties jointly construct a highly nonlinear SPN core algorithm.The paper the connotation of polymorphic cipher theory,making use of the method of self-compiler based expansion factor to collect random parameter sets held by each of the parties containing its own information 5-tuple private keys array Kpa[5]and Kpb[5].The more efficient polymorphism virtual S-box is constructed.The method of secret split for the public key cryptography features can be implemented by symmetry cipher system.The research results will provide a theoretical basis to solve the key exchange problems for short-term communications partner based on symmetric cryptography.
基金Project supported by the National Natural Science Foundation of China(No.11432010)the Doctoral Program Foundation of Education Ministry of China(No.20126102110023)+2 种基金the 111Project of China(No.B07050)the Fundamental Research Funds for the Central Universities(No.310201401JCQ01001)the Innovation Foundation for Doctor Dissertation of Northwestern Polytechnical University(No.CX201517)
文摘Projected Runge-Kutta （R-K） methods for constrained Hamiltonian systems are proposed. Dynamic equations of the systems, which are index-3 differential-algebraic equations （DAEs） in the Heisenberg form, are established under the framework of Lagrangian multipliers. R-K methods combined with the technique of projections are then used to solve the DAEs. The basic idea of projections is to eliminate the constraint violations at the position, velocity, and acceleration levels, and to preserve the total energy of constrained Hamiltonian systems by correcting variables of the position, velocity, acceleration, and energy. Numerical results confirm the validity and show the high precision of the proposed method in preserving three levels of constraints and total energy compared with results reported in the literature.
文摘This paper develops a class of general one-step discretization methods for solving the index-1 stochastic delay differential-algebraic equations. The existence and uniqueness theorem of strong solutions of index-1 equations is given. A strong convergence criterion of the methods is derived, which is applicable to a series of one-step stochastic numerical methods. Some specific numerical methods, such as the Euler-Maruyama method, stochastic ^-methods, split-step ^-methods are proposed, and their strong convergence results are given. Numerical experiments further illustrate the theoretical results.
基金Supported by the Science Foundation of University of Petroleum (No. ZX9903), the Open Science Foundation of the State Key Laboratory of Heavy Oil Processing (No. 200005), and the National Natural Science Foundation of China (No. 20006010).
文摘The applicability of the density rule of Pathwardhan and Kumer and the rule based on the linear isopiestic relation is studied by comparison with experimental density data in the literature. Predicted and measured values for 18 electrolyte mixtures are compared. The two rules are good for mixtures with and without common ions, including those containing associating ions. The deviations of the rule based on the linear isopiestic relation are slightly higher for the mixtures involving very strong ion complexes, but the predictions are still quite satisfactory.The density rule of Pathwardhan and Kumer is more accurate for these mixtures. However, it is not applicable for mixtures containing non-electrolytes. The rule based on the linear isopiestic relation is extended to mixtures involving non-electrolytes. The predictions for the mixtures containing both electrolytes and non-electrolytes and the non-electrolyte mixtures are accurate. All these results indicate that this rule is a widely applicable approach.
