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.
Magnetic nanoparticles (MNPs) of iron oxide (Fe3O4) represent the most promising materials in many applications. MNPs have been synthesized by co-precipitation of ferric and ferrous ions in alkaline solution. Two methods of synthesis were conducted with different parameters, such as temperature (25 and 80 ̊C), adding a base to the reactants and the opposite process, and using nitrogen as an inert gas. The product of the first method (MNPs-1) and the second method (MNPs-2) were characterized by x-ray diffractometer (XRD), Zeta Potential, atomic force microscope (AFM) and scanning electron microscope (SEM). AFM results showed convergent particle size of (MNPs-1) and (MNPs-2) with (86.01) and (74.14)
... Show MoreThis research aims to find out the impact on the receptive style according to the specimen in the collection of material Brawner and retention as students at the Arabic Department at the Faculty of Education for Girls. For confirmation from the goal of the research, the researcher placed two hypotheses, one to two for collections and one for pods. - chosen as the College of Education for Girls / Department of Arabic language for the application of choice Intentionally search experience for reasons of researcher he is teaching them and thus ensures cooperation of teachers and students in them. - selected Division (b) of the fourth grade students of the Arabic language section at random to represent the experimental group, while the Division
... Show MoreThis study examines traveling wave solutions of the SIS epidemic model with nonlocal dispersion and delay. The research shows that a key factor in determining whether traveling waves exist is the basic reproduction number R0. In particular, the system permits nontrivial traveling wave solutions for σ≥σ∗ for R0>1, whereas there are no such solutions for σ<σ∗. This is because there is a minimal wave speed σ∗>0. On the other hand, there are no traveling wave solutions when R0≤1. In conclusion, we provide several numerical simulations that illustrate the existence of TWS.
Substantial research has been performed on Building Information Modeling (BIM) in various topics, for instance, the use and benefit of BIM in design, construction, sustainable environment building, and Facility assets over the past several years. Although there are various studies on these topics, Building Information Modeling (BIM) awareness through facilities management is still relatively poor. The researcher's interest is increased in BIM study is based heavily upon the perception that it can facilitate the exchange and reuse of information during various project phases. This property and others can be used in the Iraqi Construction industry to motivate the government to eliminate the change resistance to use innovat
... Show MoreDuring COVID-19, wearing a mask was globally mandated in various workplaces, departments, and offices. New deep learning convolutional neural network (CNN) based classifications were proposed to increase the validation accuracy of face mask detection. This work introduces a face mask model that is able to recognize whether a person is wearing mask or not. The proposed model has two stages to detect and recognize the face mask; at the first stage, the Haar cascade detector is used to detect the face, while at the second stage, the proposed CNN model is used as a classification model that is built from scratch. The experiment was applied on masked faces (MAFA) dataset with images of 160x160 pixels size and RGB color. The model achieve
... Show MoreThe aim of the research is to identify the suitability of a patrol model in evaluating the financial performance of Iraqi banks. The financial reports of five Iraqi commercial banks were approved as a sample for research for the period from 2015 to 2020. The most common financial ratios were adopted for the purpose of measuring the five elements of the model, which are capital adequacy, profitability, credit risk, bankal efficiency and liquidity. The results showed the possibility of using the PATROL model in evaluating the performance of Iraqi banks, as it gave a realistic image of the reality of Iraqi banks in terms of high capital adequacy index and high liquidity, as well as fluctuation in profitability index, not to mention the prob
... Show MoreAnalysis the economic and financial phenomena and other requires to build the appropriate model, which represents the causal relations between factors. The operation building of the model depends on Imaging conditions and factors surrounding an in mathematical formula and the Researchers target to build that formula appropriately. Classical linear regression models are an important statistical tool, but used in a limited way, where is assumed that the relationship between the variables illustrations and response variables identifiable. To expand the representation of relationships between variables that represent the phenomenon under discussion we used Varying Coefficient Models
... Show MoreThe research aims to shed light on the amount of proceeds annual tax for each of the way the contract total and percentage of completion method - see which is better - as well as the current problems arising from the application method of the contract in full in settling accounts tax - to identify problems - related to postpone settling accounts tax in accordance with the way the contract fully and determine the advantages and disadvantages of each of the methods through practical application , and then use the results as inputs to help in the decision to confirm the continuation of the GCT using a full decade in settling accounts tax for long-term construction contracts or forgo them.
Were the result of research the existence of
... Show More