Interval methods for verified integration of initial value problems (IVPs) for ODEs have been used for more than 40 years. For many classes of IVPs, these methods have the ability to compute guaranteed error bounds for the flow of an ODE, where traditional methods provide only approximations to a solution. Overestimation, however, is a potential drawback of verified methods. For some problems, the computed error bounds become overly pessimistic, or integration even breaks down. The dependency problem and the wrapping effect are particular sources of overestimations in interval computations. Berz (see [1]) and his co-workers have developed Taylor model methods, which extend interval arithmetic with symbolic computations. The latter is an effective tool for reducing both the dependency problem and the wrapping effect. By construction, Taylor model methods appear particularly suitable for integrating nonlinear ODEs. In this paper, we analyze Taylor model based integration of ODEs and compare Taylor model with traditional enclosure methods for IVPs for ODEs. More advanced Taylor model integration methods are discussed in the algorithm (1). For clarity, we summarize the major steps of the naive Taylor model method as algorithm 1.
This paper aims to propose a hybrid approach of two powerful methods, namely the differential transform and finite difference methods, to obtain the solution of the coupled Whitham-Broer-Kaup-Like equations which arises in shallow-water wave theory. The capability of the method to such problems is verified by taking different parameters and initial conditions. The numerical simulations are depicted in 2D and 3D graphs. It is shown that the used approach returns accurate solutions for this type of problems in comparison with the analytic ones.
The dynamical behavior of a two-dimensional continuous time dynamical system describing by a prey predator model is investigated. By means of constructing suitable Lyapunov functional, sufficient condition is derived for the global asymptotic stability of the positive equilibrium of the system. The Hopf bifurcation analysis is carried out. The numerical simulations are used to study the effect of periodic forcing in two different parameters. The results of simulations show that the model under the effects of periodic forcing in two different parameters, with or without phase difference, could exhibit chaotic dynamics for realistic and biologically feasible parametric values.
This study seeks to shed light on the aspects of visual pollution and its impact on the aesthetics of the town of Al-Eizariya known to suffer from the phenomenon. In order to identify the real causes of the problem which develops in various forms and patterns, threatening not only the aesthetic appearance of the towns, but also causes the emergence of new problems and phenomena that will have negative repercussions on the population. The researcher uses the analytical descriptive method to analyze the phenomenon of visual pollution in terms of reality, development, manifestations and spread and uses photos which document the visual pollution and its impact on the aesthetics of the known. The study concluded the existence of a strong rela
... Show MoreA series of laboratory model tests has been carried out to investigate the using of pomegranate sticks mat as reinforcement to increase the bearing capacity of footing on loose sand. The influence of depth and length of pomegranate sticks layer was examined. In the present research single layer of pomegranate sticks reinforcement was used to strengthen the loose sand stratum beneath the strip footing. The dimensions of the used foundation were 4*20 cm. The reinforcement layer has been embedded at depth 2, 4 and 8 cm under surcharge stresses . Reinforcing layer with length of 8 and 16 cm were used. The final model test results indicated that the inclusion of pomegranate sticks reinforcement is very effective in improvement the loading cap
... Show MoreIn this paper, we employ the maximum likelihood estimator in addition to the shrinkage estimation procedure to estimate the system reliability (
Gypseous soil, which covers vast area in west, middle, east and south west regions of Iraq exhibit acceptable strength properties when dry, but it is weak and collapsible when it comes in touch with moisture from rain or other sources. When such weak soil is adopted for earth reinforced embankment construction, it may exhibit hazardous situation. Gypseous soil was investigated for the optimum liquid asphalt requirements of both cutback and emulsion using the one-dimensional unconfined compression strength test. The optimum fluid content was 13% (7% of cutback with 6% water content), and 17% (9% of emulsion with 8% water content). A laboratory model box of 50x50x25 cm was used as a representative of embankment; soil or asphalt stabilize
... Show MoreIn the current worldwide health crisis produced by coronavirus disease (COVID-19), researchers and medical specialists began looking for new ways to tackle the epidemic. According to recent studies, Machine Learning (ML) has been effectively deployed in the health sector. Medical imaging sources (radiography and computed tomography) have aided in the development of artificial intelligence(AI) strategies to tackle the coronavirus outbreak. As a result, a classical machine learning approach for coronavirus detection from Computerized Tomography (CT) images was developed. In this study, the convolutional neural network (CNN) model for feature extraction and support vector machine (SVM) for the classification of axial
... Show MoreSymmetric cryptography forms the backbone of secure data communication and storage by relying on the strength and randomness of cryptographic keys. This increases complexity, enhances cryptographic systems' overall robustness, and is immune to various attacks. The present work proposes a hybrid model based on the Latin square matrix (LSM) and subtractive random number generator (SRNG) algorithms for producing random keys. The hybrid model enhances the security of the cipher key against different attacks and increases the degree of diffusion. Different key lengths can also be generated based on the algorithm without compromising security. It comprises two phases. The first phase generates a seed value that depends on producing a rand
... Show MoreThis article examines and proposes a dietary chain model with a prey shelter and alternative food sources. It is anticipated that mid-predators' availability is positively correlated with the number of refuges. The solution's existence and exclusivity are examined. It is established that the solution is bounded. It is explored whether all potential equilibrium points exist and are locally stable. The Lyapunov approach is used to investigate the equilibrium points' worldwide stability. Utilizing a Sotomayor theorem application, local bifurcation is studied. Numerical simulation is used to better comprehend the dynamics of the model and define the control set of parameters.