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.
In this study, reduced graphene oxide (rGO) was synthesized from graphene oxide (GO) via an ascorbic acid-assisted reduction process. GO was synthesized from graphite powder using a modified Hummers technique. The surface morphology, structure, functional groups, and elemental compositions of the produced materials were studied using various methods, such as scanning electron microscopy (SEM)/EDX, X-ray diffraction (XRD), atomic force microscopy (AFM), Fourier transform infrared (FTIR), and UV-Vis. The removal of oxygen-containing functional groups in rGO through reduction resulted in poor sample quality. In addition, FTIR investigations revealed that GO contained more oxygen-containing functional groups than rGO. Typical peaks at 2
... Show More
This work focuses on the implementation of interfaces for human machine interaction (HMI) for control and monitor of automatic production line. The automatic production line which can performance feeding, transportation, sorting functions.
The objectives of this work are implemented two SCADA/HMI system using two different software. TIA portal software was used to build HMI, alarm, and trends in touch panel which are helped the operator to control and monitor the production line. LabVIEW software was used to build HMI and trends on the computer screen and was linked with Micros
... 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 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 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 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 MoreBecause the Coronavirus epidemic spread in Iraq, the COVID-19 epidemic of people quarantined due to infection is our application in this work. The numerical simulation methods used in this research are more suitable than other analytical and numerical methods because they solve random systems. Since the Covid-19 epidemic system has random variables coefficients, these methods are used. Suitable numerical simulation methods have been applied to solve the COVID-19 epidemic model in Iraq. The analytical results of the Variation iteration method (VIM) are executed to compare the results. One numerical method which is the Finite difference method (FD) has been used to solve the Coronavirus model and for comparison purposes. The numerical simulat
... Show MoreArcHydro is a model developed for building hydrologic information systems to synthesize geospatial and temporal water resources data that support hydrologic modeling and analysis. Raster-based digital elevation models (DEMs) play an important role in distributed hydrologic modeling supported by geographic information systems (GIS). Digital Elevation Model (DEM) data have been used to derive hydrological features, which serve as inputs to various models. Currently, elevation data are available from several major sources and at different spatial resolutions. Detailed delineation of drainage networks is the first step for many natural resource management studies. Compared with interpretation from aerial photographs or topographic maps, auto
... Show More