With the development of educational digitalization,how to effectively apply digital animation technology to traditional classroom teaching has become an urgent problem to be solved.This study explores the application ...With the development of educational digitalization,how to effectively apply digital animation technology to traditional classroom teaching has become an urgent problem to be solved.This study explores the application of Manim in the course of Mathematical Methods for Physics.Taking the visualization of Fourier series,complex numbers,and other content as examples,it improves students’understanding of complex and abstract mathematical physics concepts through dynamic and visual teaching methods.The teaching effect shows that Manim helps to enhance students’learning experience,improve teaching efficiency and effectiveness,and has a positive impact on students’active learning ability.The research in this paper can provide references and inspiration for the educational digitalization of higher education.展开更多
This paper proposes a model-based prognostics method that couples the Extended Kalman Filter(EKF) and a new developed linearization method. The proposed prognostics method is developed in the context of fatigue crack ...This paper proposes a model-based prognostics method that couples the Extended Kalman Filter(EKF) and a new developed linearization method. The proposed prognostics method is developed in the context of fatigue crack propagation in fuselage panels where the model parameters are unknown and the crack propagation is affected by different types of uncertainties. The coupled method is composed of two steps. The first step employs EKF to estimate the unknown model parameters and the current damage state. In the second step, the proposed efficient linearization method is applied to compute analytically the statistical distribution of the damage evolution path in some future time. A numerical case study is implemented to evaluate the performance of the proposed method. The results show that the coupled EKF-linearization method provides satisfactory results: the EKF algorithm well identifies the model parameters, and the linearization method gives comparable prediction results to Monte Carlo(MC) method while leading to very significant computational cost saving. The proposed prognostics method for fatigue crack growth can be used for developing predictive maintenance strategy for an aircraft fleet, in which case, the computational cost saving is significantly meaningful.展开更多
Fuzzy mathematics comprehensive evaluation method is used to evaluate the geological environment suitability of rural urbanization in Qingdao City,China.A total of 5 first-level evaluation factors are selected,includi...Fuzzy mathematics comprehensive evaluation method is used to evaluate the geological environment suitability of rural urbanization in Qingdao City,China.A total of 5 first-level evaluation factors are selected,including environmental geological condition,geological resources,engineering geological condition,geological disaster and environmental geological problem,and human engineering activity.And there are 27 second-level evaluation factors,such as topography,land type and vegetation,nature reserve,water source protection area,groundwater quality division,and major engineering project.Qingdao City is divided into four districts of suitable area,relatively suitable area,moderately suitable area and relatively unsuitable area of ecological environment.And their characteristics are introduced.Suggestions for the developing direction of urban construction are put forward.Region of Laoshan District lying to the west of the Shilaoren is suitable to set up high-rise building;west Hongshiya may establish a waste landfill site;Jiaozhou Bay,the downstream of Dagu River,and Jihongtan Reservoir should be built as the key geological environment protection area and water source protection area.And the north Hongdao should be strictly monitored in order to control the expansion of urban construction to Jihongtan Reservoir.Mocheng District and the area north of it,Jiaozhou District and the area east of it are the ideal urban construction development areas in Qingdao City in the future.展开更多
Yang Hui was one of the most important authors of mathematical works during the thirteenth century.Mathematical Methods Explaining in Detail The Nine Chapters(Xiangjie jiuzhang suanfa詳解九章算法,1261 CE)is the earlie...Yang Hui was one of the most important authors of mathematical works during the thirteenth century.Mathematical Methods Explaining in Detail The Nine Chapters(Xiangjie jiuzhang suanfa詳解九章算法,1261 CE)is the earliest extant work attributed to Yang Hui.From the thirteenth to the fifteenth century,this work played a crucial role in the circulation and popularization of The Nine Chapters on Mathematical Procedures(Jiuzhang suanshu九章算术).However,the only surviving printed edition of Mathematical Methods is incomplete and contains many mistakes obstructing contemporary researchers'understanding of this work.The "Fangcheng" chapter of The Nine Chapters deals with problems related to solving what today are known as simultaneous sets of linear equations.However,interpreting the text in this chapter of Mathematical Methods and recovering the mathematical practices relating to fangcheng are difficult.Through detailed textual and mathematical analyses,the author of this paper explains Yang Hufs understanding and practice relating to〃the fangcheng method"and"the method of the positive and the negative".This paper includes an appendix that provides a detailed translation of the ambiguous text relating to"the method of the positive and the negative"and gives reasons supporting the interpretation provided here.Yang Hufs understanding of the concepts of"positive"and"negative"and his practice relating to these two concepts may easily be confused with their apparent counterparts in modem mathematics.Also,careful analysis of the mathematical methods in this work reveal that the order of problems in Yang Hufs Reclassifications of Mathematical Methods Explaining in Detail The Nine Chapters([Xiangjie jiuzhang suanfa zuanlei詳解九章算法纂類],namely,the last section of Mathematical Methods)were rearranged according to commentaries to specific methods that appear in Mathematical Methods.Some textual clues referring to the zzprevious question"(qianwen前問)in certain commentaries of Mathematical Methods indeed reflect the order of problems in Reclassifications.Yang Hui made especially detailed commentaries on the problems that he arranged in a sequence that differs with respect to the original order of problems as they appear in the ancient classic work,The Nine Chapters.All these discoveries reveal and serve to prove a close relationship between Yang Hufs Mathematical Methods and his Reclassifications.展开更多
Energy methods and the principle of virtual work are commonly used for obtaining solutions of boundary value problems (BVPs) and initial value problems (IVPs) associated with homogeneous, isotropic and non-homogeneous...Energy methods and the principle of virtual work are commonly used for obtaining solutions of boundary value problems (BVPs) and initial value problems (IVPs) associated with homogeneous, isotropic and non-homogeneous, non-isotropic matter without using (or in the absence of) the mathematical models of the BVPs and the IVPs. These methods are also used for deriving mathematical models for BVPs and IVPs associated with isotropic, homogeneous as well as non-homogeneous, non-isotropic continuous matter. In energy methods when applied to IVPs, one constructs energy functional (<i>I</i>) consisting of kinetic energy, strain energy and the potential energy of loads. The first variation of this energy functional (<em>δI</em>) set to zero is a necessary condition for an extremum of <i>I</i>. In this approach one could use <i>δI</i> = 0 directly in constructing computational processes such as the finite element method or could derive Euler’s equations (differential or partial differential equations) from <i>δI</i> = 0, which is also satisfied by a solution obtained from <i>δI</i> = 0. The Euler’s equations obtained from <i>δI</i> = 0 indeed are the mathematical model associated with the energy functional <i>I</i>. In case of BVPs we follow the same approach except in this case, the energy functional <i>I</i> consists of strain energy and the potential energy of loads. In using the principle of virtual work for BVPs and the IVPs, we can also accomplish the same as described above using energy methods. In this paper we investigate consistency and validity of the mathematical models for isotropic, homogeneous and non-isotropic, non-homogeneous continuous matter for BVPs that are derived using energy functional consisting of strain energy and the potential energy of loads. Similar investigation is also presented for IVPs using energy functional consisting of kinetic energy, strain energy and the potential energy of loads. The computational approaches for BVPs and the IVPs designed using energy functional and principle of virtual work, their consistency and validity are also investigated. Classical continuum mechanics (CCM) principles <i>i.e.</i> conservation and balance laws of CCM with consistent constitutive theories and the elements of calculus of variations are employed in the investigations presented in this paper.展开更多
The Nei's improved genetic distance(DA)and gene flow(Nm)were measured using sixteen microsatellite markers.Dendograms based on DA genetic distance using the neighbor-joining(NJ)method and STRUCTURE program were co...The Nei's improved genetic distance(DA)and gene flow(Nm)were measured using sixteen microsatellite markers.Dendograms based on DA genetic distance using the neighbor-joining(NJ)method and STRUCTURE program were constructed to analyze the genetic structure and relationship among 10 Chinese indigenous chicken breeds.The results showed that dendograms of DA genetic distance using the NJ method divided the 10 chicken breeds into two main clusters;one consisted of breeds of low weight body(CHA,TTB,XIA,GUS and BAI),the other contained heavier breeds(LAN,DAG,YOU,XIS and LUY).In the lighter breeds,TIB and CHA clustered together,as did XIA and GUS.In the heavier breeds,XIS and LUY was clustered together in one branch,but LAN,DAG and YOU clustered in independent branches.The results were consistent with Nm estimates among the 10 indigenous chicken breeds.The STRUCTURE program properly inferred the presence of genetic structure despite not pre-defining the origin of individuals.The genetic cluster inferred by STRUCTURE was basically the same as that from the DA distance clustering method.An advantage of the STRUCTURE program was its ability to identify the migrants and admixed individuals in the 10 chicken populations;this could not be achieved by use of the DA distance clustering method.展开更多
The computational methods of a typical dynamic mathematical model that can describe the differential element and the inertial element for the system simulation are researched. The stability of numerical solutions of t...The computational methods of a typical dynamic mathematical model that can describe the differential element and the inertial element for the system simulation are researched. The stability of numerical solutions of the dynamic mathematical model is researched. By means of theoretical analysis, the error formulas, the error sign criteria and the error relationship criterion of the implicit Euler method and the trapezoidal method are given, the dynamic factor affecting the computational accuracy has been found, the formula and the methods of computing the dynamic factor are given. The computational accuracy of the dynamic mathematical model like this can be improved by use of the dynamic factor.展开更多
The work considers the problem of gas hydrate dissociation in a porous medium using the two-term Forchheimer law,corresponding to high flow rates of reservoir fluids.Such rates can arise during the decomposition of ga...The work considers the problem of gas hydrate dissociation in a porous medium using the two-term Forchheimer law,corresponding to high flow rates of reservoir fluids.Such rates can arise during the decomposition of gas hydrates,since a large amount of gas is released.Intensive emissions of gases from the earth’s interior are observed on the ocean floor.They are also associated with a large number of subvertical geological structures under the ocean floor,coming to the surface in the formof local ring funnels(pockmarks).Many similar objects have also been found on land.Particular interest in this problemis caused by climate threats associated with the release of greenhouse gases.The movement of gas released fromthe hydrate to the breakthrough channel is similar to the gas inflow to the well(without hydrate),which is usually described by a two-term filtration law.In this work,a mathematical model of gas hydrate dissociation with a nonlinear Forchheimer-type law ofmotion is developed.The systemis split in two blocks by physical processes,taking into account the quadratic correction to the velocity in the filtration law.The first block is responsible for the convective transfer of saturation parameters in the model,water,gas and hydrate saturations are taken into account.The second block corresponds to the equation of dissipative piezoconductivity with a different number of thermodynamic degrees of freedom,taking into account heat and mass transfer in a porous medium.The performed splitting allows using explicit-implicit difference schemes when solving problems and avoiding strong refinement of the step in time and space.For numerical modeling,the support operator method is used,which makes it possible to discretize partial differential equations on irregular grids,which allows taking into account the complex geometry and lithology of the reservoir.A difference scheme based on the support operator method is developed,which,due to the mutually consistent approximation of vector analysis operations(divergence and gradient),allows to take into account the various flux laws between adjacent grid cells,including quadratic corrections to the velocity.Based on the developed numerical algorithms and their program implementations,calculations of gas hydrate dissociation are performed both in a reservoir of simple geometric structure and in a heterogeneous reservoir of complex configuration.The results obtained correspond to the physics of the processes under consideration.展开更多
The rigid-plastic analysis of mental forming simulation is formulated as a discrete nonlinear mathematical programming problem with equality and inequality constraints by means of the finite element technique. An iter...The rigid-plastic analysis of mental forming simulation is formulated as a discrete nonlinear mathematical programming problem with equality and inequality constraints by means of the finite element technique. An iteration algorithm is used to solve this formulation, which distinguishes the integration points of the rigid zones and the plastic zones and solves a series of the quadratic programming to overcome the difficulties caused by the nonsmoothness and the nonlinearity of the objective function. This method has been used to carry out the rigid-plastic FEM analysis. An example is given to demonstrate the effectiveness of this method.展开更多
A mathematical modelling by a biofilm under steady state conditions is discussed. The nonlinear differential Equations in biofilm reaction is solved using the Adomian decomposition method. Approximate analytical expre...A mathematical modelling by a biofilm under steady state conditions is discussed. The nonlinear differential Equations in biofilm reaction is solved using the Adomian decomposition method. Approximate analytical expressions for substrate concentration have been derived for all values of parameters δ and SL. These analytical results are compared with the available numerical results and are found to be in good agreement.展开更多
A two parameter mathematical model was developed to find the concentration for immobilized enzyme systems in porous spherical particles. This model contains a non-linear term related to reversible Michaelies-Menten ki...A two parameter mathematical model was developed to find the concentration for immobilized enzyme systems in porous spherical particles. This model contains a non-linear term related to reversible Michaelies-Menten kinetics. Analytical expression pertaining to the substrate concentration was reported for all possible values of Thiele module φ and α . In this work, we report the theoretically evaluated steady-state effectiveness factor for immobilized enzyme systems in porous spherical particles. These analytical results were found to be in good agreement with numerical results. Moreover, herein we employ new “Homotopy analysis method” (HAM) to solve non-linear reaction/diffusion equation.展开更多
On-machine tool setting is a pivotal approach in achieving intelligent manufacturing,and laser tool setters have become a crucial component of smart machine tools.Laser tool setters play a crucial role in precisely me...On-machine tool setting is a pivotal approach in achieving intelligent manufacturing,and laser tool setters have become a crucial component of smart machine tools.Laser tool setters play a crucial role in precisely measuring the dimensions of cutting tools during the part machining process,focusing on tool length and diameter.As a measuring instrument,the positions of the laser axis of the laser tool setter need to be accurately calibrated before use.However,in actual calibration scenarios,traditional calibration methods face challenges due to installation errors in the tool setter and geometric errors in the measuring rod.To address this issue,this study proposes a novel calibration method.Initially,the calibration mechanism of the laser beam axis is established.Based on the accurate mathematical model of the laser beam and the measuring rod,and using the polygon clipping algorithm,the mathematical mechanism of the laser tool setter’s work is established.Then,a novel method is introduced to calculate the compensation distance between the laser beam reference point and the rod bottom center point at each moment during calibration.Furthermore,by utilizing the kinematic chain of the tool setter calibration system,a new calibration method is developed to accurately calibrate the position of the laser beam axis in the machine tool coordinate system.Finally,the accuracy of the calibration method is verified through simulation experiments and calibration tests.This method improves the calibration accuracy of the tool setter,and the mathematical model of the laser tool setter can be extended to the measurement of tools,thereby improving the precision of tool measurements.This research significantly improves the efficient production performance of smart machine tools.展开更多
The improvements of high-throughput experimental devices such as microarray and mass spectrometry have allowed an effective acquisition of biological comprehensive data which include genome, transcriptome, proteome, a...The improvements of high-throughput experimental devices such as microarray and mass spectrometry have allowed an effective acquisition of biological comprehensive data which include genome, transcriptome, proteome, and metabolome (multi-layered omics data). In Systems Biology, we try to elucidate various dynamical characteristics of biological functions with applying the omics data to detailed mathematical model based on the central dogma. However, such mathematical models possess multi-time-scale properties which are often accompanied by time-scale differences seen among biological layers. The differences cause time stiff problem, and have a grave influence on numerical calculation stability. In the present conventional method, the time stiff problem remained because the calculation of all layers was implemented by adaptive time step sizes of the smallest time-scale layer to ensure stability and maintain calculation accuracy. In this paper, we designed and developed an effective numerical calculation method to improve the time stiff problem. This method consisted of ahead, backward, and cumulative algorithms. Both ahead and cumulative algorithms enhanced calculation efficiency of numerical calculations via adjustments of step sizes of each layer, and reduced the number of numerical calculations required for multi-time-scale models with the time stiff problem. Backward algorithm ensured calculation accuracy in the multi-time-scale models. In case studies which were focused on three layers system with 60 times difference in time-scale order in between layers, a proposed method had almost the same calculation accuracy compared with the conventional method in spite of a reduction of the total amount of the number of numerical calculations. Accordingly, the proposed method is useful in a numerical analysis of multi-time-scale models with time stiff problem.展开更多
In this research work,we constructed the optical soliton solutions of nonlinear complex Kundu-Eckhaus(KE)equation with the help of modified mathematical method.We obtained the solutions in the form of dark solitons,br...In this research work,we constructed the optical soliton solutions of nonlinear complex Kundu-Eckhaus(KE)equation with the help of modified mathematical method.We obtained the solutions in the form of dark solitons,bright solitons and combined dark-bright solitons,travelling wave and periodic wave solutions with general coefficients.In our knowledge earlier reported results of the KE equation with specific coefficients.These obtained solutions are more useful in the development of optical fibers,dynamics of solitons,dynamics of adiabatic parameters,dynamics of fluid,problems of biomedical,industrial phenomena and many other branches.All calculations show that this technique is more powerful,effective,straightforward,and fruitfulness to study analytically other higher-order nonlinear complex PDEs involves in mathematical physics,quantum physics,Geo physics,fluid mechanics,hydrodynamics,mathematical biology,field of engineering and many other physical sciences.展开更多
this paper,we propose a class of smoothing-regularization methods for solving the mathematical programming with vanishing constraints.These methods include the smoothing-regularization method proposed by Kanzow et al....this paper,we propose a class of smoothing-regularization methods for solving the mathematical programming with vanishing constraints.These methods include the smoothing-regularization method proposed by Kanzow et al.in[Comput.Optim.Appl.,2013,55(3):733-767]as a special case.Under the weaker conditions than the ones that have been used by Kanzow et al.in 2013,we prove that the Mangasarian-Fromovitz constraint qualification holds at the feasible points of smoothing-regularization problem.We also analyze that the convergence behavior of the proposed smoothing-regularization method under mild conditions,i.e.,any accumulation point of the stationary point sequence for the smoothing-regularization problem is a strong stationary point.Finally,numerical experiments are given to show the efficiency of the proposed methods.展开更多
In this paper, a new method for solving a mathematical programming problem with linearly complementarity constraints (MPLCC) is introduced, which applies the Levenberg-Marquardt (L-M) method to solve the B-stationary ...In this paper, a new method for solving a mathematical programming problem with linearly complementarity constraints (MPLCC) is introduced, which applies the Levenberg-Marquardt (L-M) method to solve the B-stationary condition of original problem. Under the MPEC-LICQ, the proposed method is proved convergent to B-stationary point of MPLCC.展开更多
In addition to the conventional methods of the calibration model construction, such as PCR （principal components regression） and PLS （partial least-squares）, a MPM （mathematical programming method） is developed ...In addition to the conventional methods of the calibration model construction, such as PCR （principal components regression） and PLS （partial least-squares）, a MPM （mathematical programming method） is developed and proposed for practical use in NIR analyses of agricultural and food products. The proposed method involves the mathematical programming techniques to seek the regression coefficients for the calibration model calculation. It is based on the optimization theory used for finding the extremum of the objective function in the given domain of a vector space and employs the method of the complementarity problems solving. The MPM algorithm is described in detail. The MPM was tested on an InfraLUM FT-10 NIR analyzer of Lumex company with samples of dry milk （for fat）, corn （for protein） and rye flour （for moisture）. The obtained results show that the MPM can be used for constructing multivariate calibrations with the qualitative characteristics superior over those of the classical PCR and PLS methods of analysis.展开更多
A new method for the determination of components in mixed acids has been developed.The mathematical model is obtained from samples of known composition and is then used to predict the concentrations of components in u...A new method for the determination of components in mixed acids has been developed.The mathematical model is obtained from samples of known composition and is then used to predict the concentrations of components in unknown sample.The practical utility of this method is demonstrated for simultaneous determination of two systems of ternary mixed acids and the results are satisfactory.展开更多
According to the research theory of improved black oil simulator, a practical mathematical model for CO2 miscible flooding was presented. In the model, the miscible process simulation was realized by adjusting oil/gas...According to the research theory of improved black oil simulator, a practical mathematical model for CO2 miscible flooding was presented. In the model, the miscible process simulation was realized by adjusting oil/gas relative permeability and effective viscosity under the condition of miscible flow. In order to predict the production performance（fast,） streamline method is employed to solve this model as an alternative to traditional finite（difference） （methods.） Based on streamline distribution of steady-state flow through porous media with complex boundary confirmed with the boundary element method （BEM）, an explicit total variation diminishing （TVD） method is used to solve the one-dimensional flow problem. At the same time, influences of development scheme, solvent slug size, and injection periods on CO2 drive recovery are discussed. The model has the advantages of less（information） need, fast calculation, and adaptation to calculate CO2 drive performance of all kinds of patterns in a random shaped porous media with assembly boundary. It can be an（effective） tool for early stage screening and reservoir dynamic management of the CO2（miscible） oil field.展开更多
English grammar is at any time the important part of English learning,even if under the implementation of the New Course Standard.However,English grammar is considered to be difficult due to its complexity.My paper he...English grammar is at any time the important part of English learning,even if under the implementation of the New Course Standard.However,English grammar is considered to be difficult due to its complexity.My paper here is to explore and study the application of mathematic ideas and methods in English grammar teaching and learning,helping to facilitate the students to master the regularities,accuracy and systematization of English grammar,to improve learning efficiency,to enhance the learners' logic thinking,and at the same time,pointing out the specific strategies in practical use,which can be of great significance to the students' innovation and creativity and the students' development of the ability of cross-subject study advocated by both the Quality-Education and New Curriculum Standard.展开更多
基金supported by the Teaching Reform Research Project of Shaanxi University of Science&Technology(23Y083)the Project of National University Association for Mathematical Methods in Physics(JZW-23-SL-02)+3 种基金the Graduate Course Construction Project of Shaanxi University of Science&Technology(KC2024Y03)the 2024 National Higher Education University Physics Reform Research Project(2024PR064)the Teaching Reform Research Project of the International Office of Shaanxi University of Science&Technology(YB202410)Graduate Education and Teaching Reform Research Project of Shaanxi University of Science&Technology(JG2025Y18).
文摘With the development of educational digitalization,how to effectively apply digital animation technology to traditional classroom teaching has become an urgent problem to be solved.This study explores the application of Manim in the course of Mathematical Methods for Physics.Taking the visualization of Fourier series,complex numbers,and other content as examples,it improves students’understanding of complex and abstract mathematical physics concepts through dynamic and visual teaching methods.The teaching effect shows that Manim helps to enhance students’learning experience,improve teaching efficiency and effectiveness,and has a positive impact on students’active learning ability.The research in this paper can provide references and inspiration for the educational digitalization of higher education.
基金partially funded by the National Natural Science Foundation of China (No.51805262)
文摘This paper proposes a model-based prognostics method that couples the Extended Kalman Filter(EKF) and a new developed linearization method. The proposed prognostics method is developed in the context of fatigue crack propagation in fuselage panels where the model parameters are unknown and the crack propagation is affected by different types of uncertainties. The coupled method is composed of two steps. The first step employs EKF to estimate the unknown model parameters and the current damage state. In the second step, the proposed efficient linearization method is applied to compute analytically the statistical distribution of the damage evolution path in some future time. A numerical case study is implemented to evaluate the performance of the proposed method. The results show that the coupled EKF-linearization method provides satisfactory results: the EKF algorithm well identifies the model parameters, and the linearization method gives comparable prediction results to Monte Carlo(MC) method while leading to very significant computational cost saving. The proposed prognostics method for fatigue crack growth can be used for developing predictive maintenance strategy for an aircraft fleet, in which case, the computational cost saving is significantly meaningful.
文摘Fuzzy mathematics comprehensive evaluation method is used to evaluate the geological environment suitability of rural urbanization in Qingdao City,China.A total of 5 first-level evaluation factors are selected,including environmental geological condition,geological resources,engineering geological condition,geological disaster and environmental geological problem,and human engineering activity.And there are 27 second-level evaluation factors,such as topography,land type and vegetation,nature reserve,water source protection area,groundwater quality division,and major engineering project.Qingdao City is divided into four districts of suitable area,relatively suitable area,moderately suitable area and relatively unsuitable area of ecological environment.And their characteristics are introduced.Suggestions for the developing direction of urban construction are put forward.Region of Laoshan District lying to the west of the Shilaoren is suitable to set up high-rise building;west Hongshiya may establish a waste landfill site;Jiaozhou Bay,the downstream of Dagu River,and Jihongtan Reservoir should be built as the key geological environment protection area and water source protection area.And the north Hongdao should be strictly monitored in order to control the expansion of urban construction to Jihongtan Reservoir.Mocheng District and the area north of it,Jiaozhou District and the area east of it are the ideal urban construction development areas in Qingdao City in the future.
基金research projects“Elements of Continuity between Mathematical Writings from the Thirteenth to the Fifteenth Century in China(十三至十五世纪中国数学著作连续性Y950051)”“Transmission of the Knowledge of Science and Technology along the Silk Road(丝绸之路科技知识传播Y921011012,Director:Guo Yuanyuan郭园园)”of the Institute for the History of Natural Sciences,Chinese Academy of Sciences.The paper has been copyedited by John Moffett。
文摘Yang Hui was one of the most important authors of mathematical works during the thirteenth century.Mathematical Methods Explaining in Detail The Nine Chapters(Xiangjie jiuzhang suanfa詳解九章算法,1261 CE)is the earliest extant work attributed to Yang Hui.From the thirteenth to the fifteenth century,this work played a crucial role in the circulation and popularization of The Nine Chapters on Mathematical Procedures(Jiuzhang suanshu九章算术).However,the only surviving printed edition of Mathematical Methods is incomplete and contains many mistakes obstructing contemporary researchers'understanding of this work.The "Fangcheng" chapter of The Nine Chapters deals with problems related to solving what today are known as simultaneous sets of linear equations.However,interpreting the text in this chapter of Mathematical Methods and recovering the mathematical practices relating to fangcheng are difficult.Through detailed textual and mathematical analyses,the author of this paper explains Yang Hufs understanding and practice relating to〃the fangcheng method"and"the method of the positive and the negative".This paper includes an appendix that provides a detailed translation of the ambiguous text relating to"the method of the positive and the negative"and gives reasons supporting the interpretation provided here.Yang Hufs understanding of the concepts of"positive"and"negative"and his practice relating to these two concepts may easily be confused with their apparent counterparts in modem mathematics.Also,careful analysis of the mathematical methods in this work reveal that the order of problems in Yang Hufs Reclassifications of Mathematical Methods Explaining in Detail The Nine Chapters([Xiangjie jiuzhang suanfa zuanlei詳解九章算法纂類],namely,the last section of Mathematical Methods)were rearranged according to commentaries to specific methods that appear in Mathematical Methods.Some textual clues referring to the zzprevious question"(qianwen前問)in certain commentaries of Mathematical Methods indeed reflect the order of problems in Reclassifications.Yang Hui made especially detailed commentaries on the problems that he arranged in a sequence that differs with respect to the original order of problems as they appear in the ancient classic work,The Nine Chapters.All these discoveries reveal and serve to prove a close relationship between Yang Hufs Mathematical Methods and his Reclassifications.
文摘Energy methods and the principle of virtual work are commonly used for obtaining solutions of boundary value problems (BVPs) and initial value problems (IVPs) associated with homogeneous, isotropic and non-homogeneous, non-isotropic matter without using (or in the absence of) the mathematical models of the BVPs and the IVPs. These methods are also used for deriving mathematical models for BVPs and IVPs associated with isotropic, homogeneous as well as non-homogeneous, non-isotropic continuous matter. In energy methods when applied to IVPs, one constructs energy functional (<i>I</i>) consisting of kinetic energy, strain energy and the potential energy of loads. The first variation of this energy functional (<em>δI</em>) set to zero is a necessary condition for an extremum of <i>I</i>. In this approach one could use <i>δI</i> = 0 directly in constructing computational processes such as the finite element method or could derive Euler’s equations (differential or partial differential equations) from <i>δI</i> = 0, which is also satisfied by a solution obtained from <i>δI</i> = 0. The Euler’s equations obtained from <i>δI</i> = 0 indeed are the mathematical model associated with the energy functional <i>I</i>. In case of BVPs we follow the same approach except in this case, the energy functional <i>I</i> consists of strain energy and the potential energy of loads. In using the principle of virtual work for BVPs and the IVPs, we can also accomplish the same as described above using energy methods. In this paper we investigate consistency and validity of the mathematical models for isotropic, homogeneous and non-isotropic, non-homogeneous continuous matter for BVPs that are derived using energy functional consisting of strain energy and the potential energy of loads. Similar investigation is also presented for IVPs using energy functional consisting of kinetic energy, strain energy and the potential energy of loads. The computational approaches for BVPs and the IVPs designed using energy functional and principle of virtual work, their consistency and validity are also investigated. Classical continuum mechanics (CCM) principles <i>i.e.</i> conservation and balance laws of CCM with consistent constitutive theories and the elements of calculus of variations are employed in the investigations presented in this paper.
基金supported by the Program of National Technological Basis from Ministry of Science and Technology of China(No.2005DKA21101)the National Natural Science Foundation of China(No.30700572)
文摘The Nei's improved genetic distance(DA)and gene flow(Nm)were measured using sixteen microsatellite markers.Dendograms based on DA genetic distance using the neighbor-joining(NJ)method and STRUCTURE program were constructed to analyze the genetic structure and relationship among 10 Chinese indigenous chicken breeds.The results showed that dendograms of DA genetic distance using the NJ method divided the 10 chicken breeds into two main clusters;one consisted of breeds of low weight body(CHA,TTB,XIA,GUS and BAI),the other contained heavier breeds(LAN,DAG,YOU,XIS and LUY).In the lighter breeds,TIB and CHA clustered together,as did XIA and GUS.In the heavier breeds,XIS and LUY was clustered together in one branch,but LAN,DAG and YOU clustered in independent branches.The results were consistent with Nm estimates among the 10 indigenous chicken breeds.The STRUCTURE program properly inferred the presence of genetic structure despite not pre-defining the origin of individuals.The genetic cluster inferred by STRUCTURE was basically the same as that from the DA distance clustering method.An advantage of the STRUCTURE program was its ability to identify the migrants and admixed individuals in the 10 chicken populations;this could not be achieved by use of the DA distance clustering method.
文摘The computational methods of a typical dynamic mathematical model that can describe the differential element and the inertial element for the system simulation are researched. The stability of numerical solutions of the dynamic mathematical model is researched. By means of theoretical analysis, the error formulas, the error sign criteria and the error relationship criterion of the implicit Euler method and the trapezoidal method are given, the dynamic factor affecting the computational accuracy has been found, the formula and the methods of computing the dynamic factor are given. The computational accuracy of the dynamic mathematical model like this can be improved by use of the dynamic factor.
基金the framework of the state assignment of Keldysh Institute of Applied Mathematics of RAS(Project No.125020701776-0)the Ministry of Education and Science of Russia for IO RAS(Project No.FMWE-2024-0018).
文摘The work considers the problem of gas hydrate dissociation in a porous medium using the two-term Forchheimer law,corresponding to high flow rates of reservoir fluids.Such rates can arise during the decomposition of gas hydrates,since a large amount of gas is released.Intensive emissions of gases from the earth’s interior are observed on the ocean floor.They are also associated with a large number of subvertical geological structures under the ocean floor,coming to the surface in the formof local ring funnels(pockmarks).Many similar objects have also been found on land.Particular interest in this problemis caused by climate threats associated with the release of greenhouse gases.The movement of gas released fromthe hydrate to the breakthrough channel is similar to the gas inflow to the well(without hydrate),which is usually described by a two-term filtration law.In this work,a mathematical model of gas hydrate dissociation with a nonlinear Forchheimer-type law ofmotion is developed.The systemis split in two blocks by physical processes,taking into account the quadratic correction to the velocity in the filtration law.The first block is responsible for the convective transfer of saturation parameters in the model,water,gas and hydrate saturations are taken into account.The second block corresponds to the equation of dissipative piezoconductivity with a different number of thermodynamic degrees of freedom,taking into account heat and mass transfer in a porous medium.The performed splitting allows using explicit-implicit difference schemes when solving problems and avoiding strong refinement of the step in time and space.For numerical modeling,the support operator method is used,which makes it possible to discretize partial differential equations on irregular grids,which allows taking into account the complex geometry and lithology of the reservoir.A difference scheme based on the support operator method is developed,which,due to the mutually consistent approximation of vector analysis operations(divergence and gradient),allows to take into account the various flux laws between adjacent grid cells,including quadratic corrections to the velocity.Based on the developed numerical algorithms and their program implementations,calculations of gas hydrate dissociation are performed both in a reservoir of simple geometric structure and in a heterogeneous reservoir of complex configuration.The results obtained correspond to the physics of the processes under consideration.
文摘The rigid-plastic analysis of mental forming simulation is formulated as a discrete nonlinear mathematical programming problem with equality and inequality constraints by means of the finite element technique. An iteration algorithm is used to solve this formulation, which distinguishes the integration points of the rigid zones and the plastic zones and solves a series of the quadratic programming to overcome the difficulties caused by the nonsmoothness and the nonlinearity of the objective function. This method has been used to carry out the rigid-plastic FEM analysis. An example is given to demonstrate the effectiveness of this method.
文摘A mathematical modelling by a biofilm under steady state conditions is discussed. The nonlinear differential Equations in biofilm reaction is solved using the Adomian decomposition method. Approximate analytical expressions for substrate concentration have been derived for all values of parameters δ and SL. These analytical results are compared with the available numerical results and are found to be in good agreement.
文摘A two parameter mathematical model was developed to find the concentration for immobilized enzyme systems in porous spherical particles. This model contains a non-linear term related to reversible Michaelies-Menten kinetics. Analytical expression pertaining to the substrate concentration was reported for all possible values of Thiele module φ and α . In this work, we report the theoretically evaluated steady-state effectiveness factor for immobilized enzyme systems in porous spherical particles. These analytical results were found to be in good agreement with numerical results. Moreover, herein we employ new “Homotopy analysis method” (HAM) to solve non-linear reaction/diffusion equation.
文摘On-machine tool setting is a pivotal approach in achieving intelligent manufacturing,and laser tool setters have become a crucial component of smart machine tools.Laser tool setters play a crucial role in precisely measuring the dimensions of cutting tools during the part machining process,focusing on tool length and diameter.As a measuring instrument,the positions of the laser axis of the laser tool setter need to be accurately calibrated before use.However,in actual calibration scenarios,traditional calibration methods face challenges due to installation errors in the tool setter and geometric errors in the measuring rod.To address this issue,this study proposes a novel calibration method.Initially,the calibration mechanism of the laser beam axis is established.Based on the accurate mathematical model of the laser beam and the measuring rod,and using the polygon clipping algorithm,the mathematical mechanism of the laser tool setter’s work is established.Then,a novel method is introduced to calculate the compensation distance between the laser beam reference point and the rod bottom center point at each moment during calibration.Furthermore,by utilizing the kinematic chain of the tool setter calibration system,a new calibration method is developed to accurately calibrate the position of the laser beam axis in the machine tool coordinate system.Finally,the accuracy of the calibration method is verified through simulation experiments and calibration tests.This method improves the calibration accuracy of the tool setter,and the mathematical model of the laser tool setter can be extended to the measurement of tools,thereby improving the precision of tool measurements.This research significantly improves the efficient production performance of smart machine tools.
文摘The improvements of high-throughput experimental devices such as microarray and mass spectrometry have allowed an effective acquisition of biological comprehensive data which include genome, transcriptome, proteome, and metabolome (multi-layered omics data). In Systems Biology, we try to elucidate various dynamical characteristics of biological functions with applying the omics data to detailed mathematical model based on the central dogma. However, such mathematical models possess multi-time-scale properties which are often accompanied by time-scale differences seen among biological layers. The differences cause time stiff problem, and have a grave influence on numerical calculation stability. In the present conventional method, the time stiff problem remained because the calculation of all layers was implemented by adaptive time step sizes of the smallest time-scale layer to ensure stability and maintain calculation accuracy. In this paper, we designed and developed an effective numerical calculation method to improve the time stiff problem. This method consisted of ahead, backward, and cumulative algorithms. Both ahead and cumulative algorithms enhanced calculation efficiency of numerical calculations via adjustments of step sizes of each layer, and reduced the number of numerical calculations required for multi-time-scale models with the time stiff problem. Backward algorithm ensured calculation accuracy in the multi-time-scale models. In case studies which were focused on three layers system with 60 times difference in time-scale order in between layers, a proposed method had almost the same calculation accuracy compared with the conventional method in spite of a reduction of the total amount of the number of numerical calculations. Accordingly, the proposed method is useful in a numerical analysis of multi-time-scale models with time stiff problem.
文摘In this research work,we constructed the optical soliton solutions of nonlinear complex Kundu-Eckhaus(KE)equation with the help of modified mathematical method.We obtained the solutions in the form of dark solitons,bright solitons and combined dark-bright solitons,travelling wave and periodic wave solutions with general coefficients.In our knowledge earlier reported results of the KE equation with specific coefficients.These obtained solutions are more useful in the development of optical fibers,dynamics of solitons,dynamics of adiabatic parameters,dynamics of fluid,problems of biomedical,industrial phenomena and many other branches.All calculations show that this technique is more powerful,effective,straightforward,and fruitfulness to study analytically other higher-order nonlinear complex PDEs involves in mathematical physics,quantum physics,Geo physics,fluid mechanics,hydrodynamics,mathematical biology,field of engineering and many other physical sciences.
基金Supported in part by NSFC(No.11961011)Guangxi Science and Technology Base and Talents Special Project(No.2021AC06001).
文摘this paper,we propose a class of smoothing-regularization methods for solving the mathematical programming with vanishing constraints.These methods include the smoothing-regularization method proposed by Kanzow et al.in[Comput.Optim.Appl.,2013,55(3):733-767]as a special case.Under the weaker conditions than the ones that have been used by Kanzow et al.in 2013,we prove that the Mangasarian-Fromovitz constraint qualification holds at the feasible points of smoothing-regularization problem.We also analyze that the convergence behavior of the proposed smoothing-regularization method under mild conditions,i.e.,any accumulation point of the stationary point sequence for the smoothing-regularization problem is a strong stationary point.Finally,numerical experiments are given to show the efficiency of the proposed methods.
文摘In this paper, a new method for solving a mathematical programming problem with linearly complementarity constraints (MPLCC) is introduced, which applies the Levenberg-Marquardt (L-M) method to solve the B-stationary condition of original problem. Under the MPEC-LICQ, the proposed method is proved convergent to B-stationary point of MPLCC.
文摘In addition to the conventional methods of the calibration model construction, such as PCR （principal components regression） and PLS （partial least-squares）, a MPM （mathematical programming method） is developed and proposed for practical use in NIR analyses of agricultural and food products. The proposed method involves the mathematical programming techniques to seek the regression coefficients for the calibration model calculation. It is based on the optimization theory used for finding the extremum of the objective function in the given domain of a vector space and employs the method of the complementarity problems solving. The MPM algorithm is described in detail. The MPM was tested on an InfraLUM FT-10 NIR analyzer of Lumex company with samples of dry milk （for fat）, corn （for protein） and rye flour （for moisture）. The obtained results show that the MPM can be used for constructing multivariate calibrations with the qualitative characteristics superior over those of the classical PCR and PLS methods of analysis.
基金This project is supported by National Natural Science Foundation of China
文摘A new method for the determination of components in mixed acids has been developed.The mathematical model is obtained from samples of known composition and is then used to predict the concentrations of components in unknown sample.The practical utility of this method is demonstrated for simultaneous determination of two systems of ternary mixed acids and the results are satisfactory.
文摘According to the research theory of improved black oil simulator, a practical mathematical model for CO2 miscible flooding was presented. In the model, the miscible process simulation was realized by adjusting oil/gas relative permeability and effective viscosity under the condition of miscible flow. In order to predict the production performance（fast,） streamline method is employed to solve this model as an alternative to traditional finite（difference） （methods.） Based on streamline distribution of steady-state flow through porous media with complex boundary confirmed with the boundary element method （BEM）, an explicit total variation diminishing （TVD） method is used to solve the one-dimensional flow problem. At the same time, influences of development scheme, solvent slug size, and injection periods on CO2 drive recovery are discussed. The model has the advantages of less（information） need, fast calculation, and adaptation to calculate CO2 drive performance of all kinds of patterns in a random shaped porous media with assembly boundary. It can be an（effective） tool for early stage screening and reservoir dynamic management of the CO2（miscible） oil field.
文摘English grammar is at any time the important part of English learning,even if under the implementation of the New Course Standard.However,English grammar is considered to be difficult due to its complexity.My paper here is to explore and study the application of mathematic ideas and methods in English grammar teaching and learning,helping to facilitate the students to master the regularities,accuracy and systematization of English grammar,to improve learning efficiency,to enhance the learners' logic thinking,and at the same time,pointing out the specific strategies in practical use,which can be of great significance to the students' innovation and creativity and the students' development of the ability of cross-subject study advocated by both the Quality-Education and New Curriculum Standard.
