Train Students to Solve the Practical Problem by Building Mathematics Models

It focuses on that students must be developed the ability to solve the practical problem by building the mathematics models and the ability to combine the theory with the practice. It also states that students must be improved the learning interests and practical experience.

The calculation and optimal allocation of transmission capacity in natural gas networks with MINLP models

The transmission capacity of gas pipeline networks should be calculated and allocated to deal with the capacity booking with shippers. Technical capacities, which depend on the gas flow distribution at routes or interchange points, are calculated with a multiobjective optimization model and form a Pareto solution set in the entry/exit or point-to-point regime. Then, the commercial capacities, which can be directly applied in capacity booking, are calculated with single-objective optimization models that are transformed from the above multiobjective model based on three allocation rules and the demand of shippers.Next, peak-shaving capacities, which are daily oversupply or overdelivery amounts at inlets or deliveries,are calculated with two-stage transient optimization models. Considering the hydraulic process of a pipeline network and operating schemes of compressor stations, all the above models are mixed-integer nonlinear programming problems. Finally, a case study is made to demonstrate the ability of the models.

Statistical Time Series Forecasting Models for Pandemic Prediction

COVID-19 has significantly impacted the growth prediction of a pandemic,and it is critical in determining how to battle and track the disease progression.In this case,COVID-19 data is a time-series dataset that can be projected using different methodologies.Thus,this work aims to gauge the spread of the outbreak severity over time.Furthermore,data analytics and Machine Learning(ML)techniques are employed to gain a broader understanding of virus infections.We have simulated,adjusted,and fitted several statistical time-series forecasting models,linearML models,and nonlinear ML models.Examples of these models are Logistic Regression,Lasso,Ridge,ElasticNet,Huber Regressor,Lasso Lars,Passive Aggressive Regressor,K-Neighbors Regressor,Decision Tree Regressor,Extra Trees Regressor,Support Vector Regressions(SVR),AdaBoost Regressor,Random Forest Regressor,Bagging Regressor,AuoRegression,MovingAverage,Gradient Boosting Regressor,Autoregressive Moving Average(ARMA),Auto-Regressive Integrated Moving Averages(ARIMA),SimpleExpSmoothing,Exponential Smoothing,Holt-Winters,Simple Moving Average,Weighted Moving Average,Croston,and naive Bayes.Furthermore,our suggested methodology includes the development and evaluation of ensemble models built on top of the best-performing statistical and ML-based prediction methods.A third stage in the proposed system is to examine three different implementations to determine which model delivers the best performance.Then,this best method is used for future forecasts,and consequently,we can collect the most accurate and dependable predictions.

Closed-Loop System Identification Approach of the Inertial Models

The mathematical model that approximates the dynamics of the industrial process is essential for the efficient synthesis of control algorithms in industrial applications. The model of the process can be obtained according to the identification procedures in the open-loop, or in the closed-loop. In the open-loop, the identification methods are well known and offer good process approximation, which is not valid for the closed-loop identification, when the system provides the feedback output and doesn’t permit it to be identified in the open-loop. This paper offers an approach for experimental identification in the closed-loop, which supposes the approximation of the process with inertial models, with or without time delay and astatism. The coefficients are calculated based on the values of the critical transfer coefficient and period of the underdamped response of the closed-loop system with P controller, when system achieves the limit of stability. Finally, the closed-loop identification was verified by the computer simulation and the obtained results demonstrated, that the identification procedure in the closed-loop offers good results in process of estimation of the model of the process.

MATHEMATICAL MODELING AND BIFURCATION ANALYSIS FOR A BIOLOGICAL MECHANISM OF CANCER DRUG RESISTANCE

Drug resistance is one of the most intractable issues in targeted therapy for cancer diseases.It has also been demonstrated to be related to cancer heterogeneity,which promotes the emergence of treatment-refractory cancer cell populations.Focusing on how cancer cells develop resistance during the encounter with targeted drugs and the immune system,we propose a mathematical model for studying the dynamics of drug resistance in a conjoint heterogeneous tumor-immune setting.We analyze the local geometric properties of the equilibria of the model.Numerical simulations show that the selectively targeted removal of sensitive cancer cells may cause the initially heterogeneous population to become a more resistant population.Moreover,the decline of immune recruitment is a stronger determinant of cancer escape from immune surveillance or targeted therapy than the decay in immune predation strength.Sensitivity analysis of model parameters provides insight into the roles of the immune system combined with targeted therapy in determining treatment outcomes.

Aggravation of Cancer,Heart Diseases and Diabetes Subsequent to COVID-19 Lockdown via Mathematical Modeling

The global populationhas beenandwill continue to be severely impacted by theCOVID-19 epidemic.The primary objective of this research is to demonstrate the future impact of COVID-19 on those who suffer from other fatal conditions such as cancer,heart disease,and diabetes.Here,using ordinary differential equations(ODEs),two mathematical models are developed to explain the association between COVID-19 and cancer and between COVID-19 and diabetes and heart disease.After that,we highlight the stability assessments that can be applied to these models.Sensitivity analysis is used to examine how changes in certain factors impact different aspects of disease.The sensitivity analysis showed that many people are still nervous about seeing a doctor due to COVID-19,which could result in a dramatic increase in the diagnosis of various ailments in the years to come.The correlation between diabetes and cardiovascular illness is also illustrated graphically.The effects of smoking and obesity are also found to be significant in disease compartments.Model fitting is also provided for interpreting the relationship between real data and the results of thiswork.Diabetic people,in particular,need tomonitor their health conditions closely and practice heart health maintenance.People with heart diseases should undergo regular checks so that they can protect themselves from diabetes and take some precautions including suitable diets.The main purpose of this study is to emphasize the importance of regular checks,to warn people about the effects of COVID-19(including avoiding healthcare centers and doctors because of the spread of infectious diseases)and to indicate the importance of family history of cancer,heart diseases and diabetes.The provision of the recommendations requires an increase in public consciousness.

Cascade equilibrium stage relaxation method by introducing equilibrium efficiency parameter

Optimizing multistage processes,such as distillation or absorption,is a complex mixed-integer nonlinear programming(MINLP)problem.Relaxing integer into continuous variables and solving the easier nonlinear programming(NLP)problem is an optimization idea for the multistage process.In this article,we propose a relaxation method based on the efficiency parameter.When the efficiency parameter is 1or 0,the proposed model is equivalent to the complete existence or inexistence of the equilibrium stage.And non-integer efficiency represents partial existence.A multi-component absorption case shows a natural penalty for non-integer efficiency,which can assist the efficiency parameter converging to 0 or 1.However,its penalty is weaker than the existing relaxation models,such as the bypass efficiency model.In a simple distillation case,we show that this property can weaken the nonconvexity of the optimization problem and increase the probability of obtaining better optimization results.

采用解析和数值方法分析浮动式矩形浮箱的波浪诱导载荷研究

A three-dimensional mathematical hydrodynamic model associated with surface wave radiation by a floating rectangular box-type structure due to heave,sway,and roll motions in finite water depth is investigated based on small amplitude water wave theory and linear structural response.The analytical expressions for the radiation potentials,wave forces,and hydrodynamic coefficients are presented based on matched eigenfunction expansion method(MEFEM).The correctness of the analytical results of wave forces is compared with the construction of a numerical model using the open-source boundary element method code NEMOH.In addition,the present result is compared with the existing published experimental results available in the literature.The effects of the different design parameters on the floating box-type rectangular structure are studied by analyzing the vertical wave force,horizontal wave force,torque,added mass,and damping coefficients due to the heave,sway,and roll motions,and the comparison analysis between the forces is also analyzed in detail.Further,the effect of reflection and transmission coefficients by varying the structural width and drafts are analyzed.

Using Improved Particle Swarm Optimization Algorithm for Location Problem of Drone Logistics Hub

Drone logistics is a novel method of distribution that will become prevalent.The advantageous location of the logistics hub enables quicker customer deliveries and lower fuel consumption,resulting in cost savings for the company’s transportation operations.Logistics firms must discern the ideal location for establishing a logistics hub,which is challenging due to the simplicity of existing models and the intricate delivery factors.To simulate the drone logistics environment,this study presents a new mathematical model.The model not only retains the aspects of the current models,but also considers the degree of transportation difficulty from the logistics hub to the village,the capacity of drones for transportation,and the distribution of logistics hub locations.Moreover,this paper proposes an improved particle swarm optimization(PSO)algorithm which is a diversity-based hybrid PSO(DHPSO)algorithm to solve this model.In DHPSO,the Gaussian random walk can enhance global search in the model space,while the bubble-net attacking strategy can speed convergence.Besides,Archimedes spiral strategy is employed to overcome the local optima trap in the model and improve the exploitation of the algorithm.DHPSO maintains a balance between exploration and exploitation while better defining the distribution of logistics hub locations Numerical experiments show that the newly proposed model always achieves better locations than the current model.Comparing DHPSO with other state-of-the-art intelligent algorithms,the efficiency of the scheme can be improved by 42.58%.This means that logistics companies can reduce distribution costs and consumers can enjoy a more enjoyable shopping experience by using DHPSO’s location selection.All the results show the location of the drone logistics hub is solved by DHPSO effectively.

A Vertex Network Model of Arabidopsis Leaf Growth

Biology provides many examples of complex systems whose properties allow organisms to develop in a highly reproducible,or robust,manner.One such system is the growth and development of flat leaves in Arabidopsis thaliana.This mechanistically challenging process results from multiple inputs including gene interactions,cellular geometry,growth rates,and coordinated cell divisions.To better understand how this complex genetic and cellular information controls leaf growth,we developed a mathematical model of flat leaf production.This two-dimensional model describes the gene interactions in a vertex network of cells which grow and divide according to physical forces and genetic information.Interestingly,the model predicts the presence of an unknown additional factor required for the formation of biologically realistic gene expression domains and iterative cell division.This two-dimensional model will form the basis for future studies into robustness of adaxial-abaxial patterning.

Mathematical Modeling of Cell Polarity Establishment of Budding Yeast

The budding yeast Saccharomyces cerevisiae is a powerful model system for studying the cell polarity establishment.The cell polarization process is regulated by signaling molecules,which are initially distributed in the cytoplasm and then recruited to a proper location on the cell membrane in response to spatial cues or spontaneously.Polarization of these signaling molecules involves complex regulation,so the mathematical models become a useful tool to investigate the mechanism behind the process.In this review,we discuss how mathematical modeling has shed light on different regulations in the cell polarization.We also propose future applications for the mathematical modeling of cell polarization and morphogenesis.

A framework for dynamic modelling of railway track switches considering the switch blades,actuators and control systems

The main contribution of this paper is the development and demonstration of a novel methodology that can be followed to develop a simulation twin of a railway track switch system to test the functionality in a digital environment.This is important because,globally,railway track switches are used to allow trains to change routes;they are a key part of all railway networks.However,because track switches are single points of failure and safety-critical,their inability to operate correctly can cause significant delays and concomitant costs.In order to better understand the dynamic behaviour of switches during operation,this paper has developed a full simulation twin of a complete track switch system.The approach fuses finite element for the rail bending and motion,with physics-based models of the electromechanical actuator system and the control system.Hence,it provides researchers and engineers the opportunity to explore and understand the design space around the dynamic operation of new switches and switch machines before they are built.This is useful for looking at the modification or monitoring of existing switches,and it becomes even more important when new switch concepts are being considered and evaluated.The simulation is capable of running in real time or faster meaning designs can be iterated and checked interactively.The paper describes the modelling approach,demonstrates the methodology by developing the system model for a novel“REPOINT”switch system,and evaluates the system level performance against the dynamic performance requirements for the switch.In the context of that case study,it is found that the proposed new actuation system as designed can meet(and exceed)the system performance requirements,and that the fault tolerance built into the actuation ensures continued operation after a single actuator failure.

Rapid Prototype Development Approach for Genetic Programming

Genetic Programming (GP) is an important approach to deal with complex problem analysis and modeling, and has been applied in a wide range of areas. The development of GP involves various aspects, including design of genetic operators, evolutionary controls and implementations of heuristic strategy, evaluations and other mechanisms. When designing genetic operators, it is necessary to consider the possible limitations of encoding methods of individuals. And when selecting evolutionary control strategies, it is also necessary to balance search efficiency and diversity based on representation characteristics as well as the problem itself. More importantly, all of these matters, among others, have to be implemented through tedious coding work. Therefore, GP development is both complex and time-consuming. To overcome some of these difficulties that hinder the enhancement of GP development efficiency, we explore the feasibility of mutual assistance among GP variants, and then propose a rapid GP prototyping development method based on πGrammatical Evolution (πGE). It is demonstrated through regression analysis experiments that not only is this method beneficial for the GP developers to get rid of some tedious implementations, but also enables them to concentrate on the essence of the referred problem, such as individual representation, decoding means and evaluation. Additionally, it provides new insights into the roles of individual delineations in phenotypes and semantic research of individuals.

Mathematical Modeling of the Co-Infection Dynamics of HIV and Tuberculosis Incorporating Inconsistency in HIV Treatment

A non-linear HIV-TB co-infection has been formulated and analyzed. The positivity and invariant region has been established. The disease free equilibrium and its stability has been determined. The local stability was determined and found to be stable under given conditions. The basic reproduction number was obtained and according to findings, co-infection diminishes when this number is less than unity, and persists when the number is greater than unity. The global stability of the endemic equilibrium was calculated. The impact of HIV on TB was established as well as the impact of TB on HIV. Numerical solution was also done and the findings indicate that when the rate of HIV treatment increases the latent TB increases while the co-infected population decreases. When the rate of HIV treatment decreases the latent TB population decreases and the co-infected population increases. Encouraging communities to prioritize the consistent treatment of HIV infected individuals must be emphasized in order to reduce the scourge of HIV-TB co-infection.

Mathematical Modeling of HIV Investigating the Effect of Inconsistent Treatment

HIV is a retrovirus that infects and impairs the cells and functions of the immune system. It has caused a great challenge to global public health systems and leads to Acquired Immunodeficiency Syndrome (AIDS), if not attended to in good time. Antiretroviral therapy is used for managing the virus in a patient’s lifetime. Some of the symptoms of the disease include lean body mass and many opportunistic infections. This study has developed a SIAT mathematical model to investigate the impact of inconsistency in treatment of the disease. The arising non-linear differential equations have been obtained and analyzed. The DFE and its stability have been obtained and the study found that it is locally asymptotically stable when the basic reproduction number is less than unity. The endemic equilibrium has been obtained and found to be globally asymptotically stable when the basic reproduction number is greater than unity. Numerical solutions have been obtained and analyzed to give the trends in the spread dynamics. The inconsistency in treatment uptake has been analyzed through the numerical solutions. The study found that when the treatment rate of those infected increases, it leads to an increase in treatment population, which slows down the spread of HIV and vice versa. An increase in the rate of treatment of those with AIDS leads to a decrease in the AIDS population, the reverse happens when this rate decreases. The study recommends that the community involvement in advocating for consistent treatment of HIV to curb the spread of the disease.

On Enforcing Dyadic-type Homogeneous Binary Function Product Constraints in MatBase

Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.

On models for landscape connectivity: a case study of the new-born wetland of the Yellow River Delta

The models for landscape connectivity are distinguished into models for line connectivity, vertex connectivity, network connectivity and patch connectivity separately. Because the models for line connectivity, for vertex connectivity, and for network connectivity have long been studied and have become ripe, the model for patch connectivity is paid special attention in this paper. The patch connectivity is defined as the average movement efficiency (minimizing movement distance) of animal migrants or plant propagules in patches of a region under consideration. According to this definition, a model for landscape connectivity is mathematically deduced to apply to GIS data. The application of model for patch connectivity in the new-born wetland of the Yellow River Delta shows patch connectivity has a negative interrelation with human impact intensity and landscape diversity.

Mathematical models for foam-diverted acidizing and their applications

Foam diversion can effectively solve the problem of uneven distribution of acid in layers of different permeabilities during matrix acidizing. Based on gas trapping theory and the mass conservation equation, mathematical models were developed for foam-diverted acidizing, which can be achieved by a foam slug followed by acid injection or by continuous injection of foamed acid. The design method for foam-diverted acidizing was also given. The mathematical models were solved by a computer program. Computed results show that the total formation skin factor, wellhead pressure and bottomhole pressure increase with foam injection, but decrease with acid injection. Volume flow rate in a highpermeability layer decreases, while that in a low-permeability layer increases, thus diverting acid to the low-permeability layer from the high-permeability layer. Under the same formation conditions, for foamed acid treatment the operation was longer, and wellhead and bottomhole pressures are higher. Field application shows that foam slug can effectively block high permeability layers, and improve intake profile noticeably.

Research on viral dynamic models of hepatitis B virus infection

A mathematical model with cytotoxic cells of hepatitis B virus (HBV)infection is set up based on a basic model of virus dynamics without cytotoxic cells andexperimental observation of anti-viral drag therapy for HBV infection patients. A quantitativeanalysis of dynamic behaviors shows that the model has three kinds of equilibrium points, whichrepresent the patient's complete recovery without immune ability, complete recovery with immuneability, and HBV persistent infection at the end of the treatment with drag lamivudine,respectively. Our model may provide possible quantitative interpretations for the treatments ofchronic HBV infections with the drag lamivudine, in particularly explain why the plasma virus ofNowak et al. 's patients turnover the original level after stopping the lamivudine treatment.

Thermodynamic Consistency of Plate and Shell Mathematical Models in the Context of Classical and Non-Classical Continuum Mechanics and a Thermodynamically Consistent New Thermoelastic Formulation

Inclusion of dissipation and memory mechanisms, non-classical elasticity and thermal effects in the currently used plate/shell mathematical models require that we establish if these mathematical models can be derived using the conservation and balance laws of continuum mechanics in conjunction with the corresponding kinematic assumptions. This is referred to as thermodynamic consistency of the mathematical models. Thermodynamic consistency ensures thermodynamic equilibrium during the evolution of the deformation. When the mathematical models are thermodynamically consistent, the second law of thermodynamics facilitates consistent derivations of constitutive theories in the presence of dissipation and memory mechanisms. This is the main motivation for the work presented in this paper. In the currently used mathematical models for plates/shells based on the assumed kinematic relations, energy functional is constructed over the volume consisting of kinetic energy, strain energy and the potential energy of the loads. The Euler’s equations derived from the first variation of the energy functional for arbitrary length when set to zero yield the mathematical model(s) for the deforming plates/shells. Alternatively, principle of virtual work can also be used to derive the same mathematical model(s). For linear elastic reversible deformation physics with small deformation and small strain, these two approaches, based on energy functional and the principle of virtual work, yield the same mathematical models. These mathematical models hold for reversible mechanical deformation. In this paper, we examine whether the currently used plate/shell mathematical models with the corresponding kinematic assumptions can be derived using the conservation and balance laws of classical or non-classical continuum mechanics. The mathematical models based on Kirchhoff hypothesis (classical plate theory, CPT) and first order shear deformation theory (FSDT) that are representative of most mathematical models for plates/shells are investigated in this paper for their thermodynamic consistency. This is followed by the details of a general and higher order thermodynamically consistent plate/shell thermoelastic mathematical model that is free of a priori consideration of kinematic assumptions and remains valid for very thin as well as thick plates/shells with comprehensive nonlinear constitutive theories based on integrity. Model problem studies are presented for small deformation behavior of linear elastic plates in the absence of thermal effects and the results are compared with CPT and FSDT mathematical models.