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.
The Iraqi marshes are considered the most extensive wetland ecosystem in the Middle East and are located in the middle and lower basin of the Tigris and Euphrates Rivers which create a wetlands network and comprise some shallow freshwater lakes that seasonally swamped floodplains. Al-Hawizeh marsh is a major marsh located east of Tigris River south of Iraq. This study aims to assess water quality through water quality index (WQI) and predict Total Dissolved Solids (TDS) concentrations in Al-Hawizeh marsh based on artificial neural network (ANN). Results showed that the WQI was more than 300 for years 2013 and 2014 (Water is unsuitable for drinking) and decreased within the range 200-300 in years 2015 and 2016 (Very poor water). The
... Show MoreThis research is an attempt to solve the ambiguity associated with the stratigraphic setting of the main reservoir (late Cretaceous) of Mishrif Formation in Dujaila oil field. This was achieved by studying a 3D seismic reflection post-stack data for an area of 602.62 Km2 in Maysan Governorate, southeast of Iraq. Seismic analysis of the true amplitude reflections, time maps, and 3D depositional models showed a sufficient seismic evidence that the Mishrif Formation produces oil from a stratigraphic trap of isolated reef carbonate buildups that were grown on the shelf edge of the carbonate platform, located in the area around the productive well Dujaila-1. The low-frequency attribute illustrated tha
... Show MoreA long-span Prestressed Concrete Hunched Beam with Multi-Opening has been developed as an alternative to steel structural elements. The commercial finite element package ABAQUS/CAE version 2019 has been utilized. This article has presented the results of three-dimensional numerical simulations investigating the flexural behaviour of existing experimental work of supported Prestressed Concrete Hunched Beams with multiple openings of varying shapes under static monotonic loads. Insertion openings in such a beam lead to concentrate stresses at the corners of these openings; as a result, extensive cracking would appear. Correlation between numerical models and empirical work has also been discussed regarding load displacemen
... Show MoreIn this research, Artificial Neural Networks (ANNs) technique was applied in an attempt to predict the water levels and some of the water quality parameters at Tigris River in Wasit Government for five different sites. These predictions are useful in the planning, management, evaluation of the water resources in the area. Spatial data along a river system or area at different locations in a catchment area usually have missing measurements, hence an accurate prediction. model to fill these missing values is essential.
The selected sites for water quality data prediction were Sewera, Numania , Kut u/s, Kut d/s, Garaf observation sites. In these five sites models were built for prediction of the water level and water quality parameters.
Municipal wastewater sources are becoming increasingly important for reuse, for irrigation purposes, so they must be treated to meet environmentally friendly local or global standards. The aim of this study is to establish, calibrate, and validate a model for predicting chemical oxygen demand for the pilot plant of mobile biofilm reactors operating from municipal wastewater in Maaymyrh located in Hilla city Using the approach of dimensional analysis. The approach of Buckingham's theorem was used to derive a model of dimensional analysis design for the forecast of (COD) in the pilot plant. The effluent concentration (COD) It has been derived as a result of the influential concentration of (COD), dissolved oxygen (DO), volume of pilot plant
... Show MoreIn this paper, we study a single stress-strength reliability system , where Ƹ and ƴ are independently Exponentiated q-Exponential distribution. There are a few traditional estimating approaches that are derived, namely maximum likelihood estimation (MLE) and the Bayes (BE) estimators of R. A wide mainframe simulation is used to compare the performance of the proposed estimators using MATLAB program. A simulation study show that the Bayesian estimator is the best estimator than other estimation method under consideration using two criteria such as the “mean squares error (MSE)” and “mean absolutely error (MAPE)”.
The adsorption behavior of Bismarck brown (BB) dye from aqueous solutions onto graphene oxide GO and graphene oxide-g-poly (n-butyl methacrylate-co-methacrylic acid) GO-g-pBCM as adsorbents was investigated. The prepared GO and GO-g-pBCM were characterized by Fourier transform infrared spectroscopy FTIR, which confirmed the compositions of the prepared adsorbents. Adsorption of BB dye onto GO and GO-g-pBCM was explored in a series of batch experiments under various conditions. The data were examined utilizing Langmuir and Freundlich isotherms. The Langmuir isotherm was seen as increasingly reasonable from the experimental information of dye on formulating adsorbents. Kinetic investigations showed that the experimental data were fitted ve
... Show MoreThe present article discusses innovative word-formation processes in Internet texts, the emergence of new derivative words, new affixes, word-formation models, and word-formation methods. Using several neologisms as an example, the article shows both the possibilities of Internet word-making process and the possibilities of studying a newly established work through Internet communication. The words selected for analysis can be attributed to the keywords of the current time. (In particular, the words included in the list of "Words of 2019") there are number of words formed by the suffix method, which is the traditional method of the Russian word formation. A negation of these words is usually made thro
... Show MoreGrey system theory is a multidisciplinary scientific approach, which deals with systems that have partially unknown information (small sample and uncertain information). Grey modeling as an important component of such theory gives successful results with limited amount of data. Grey Models are divided into two types; univariate and multivariate grey models. The univariate grey model with one order derivative equation GM (1,1) is the base stone of the theory, it is considered the time series prediction model but it doesn’t take the relative factors in account. The traditional multivariate grey models GM(1,M) takes those factor in account but it has a complex structure and some defects in " modeling mechanism", "parameter estimation "and "m
... Show MoreIn the beta decay process, a neutron converts into a proton, or vice versa, so the atom in this process changes to a more stable isobar. Bethe-Weizsäcker used a quasi-experimental formula in the present study to find the most stable isobar for isobaric groups of mass nuclides (A=165-175). In a group of isobars, there are two methods of calculating the most stable isobar. The most stable isobar represents the lowest parabola value by calculating the binding energy value (B.E) for each nuclide in this family, and then drawing these binding energy values as a function of the atomic number (Z) in order to obtain the mass parabolas, the second method is by calculating the atomic number value of the most stable isobar (ZA). The results show
... Show More