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 concept of fully pseudo stable Banach Algebra-module (Banach A-module) which is the generalization of fully stable Banach A-module has been introduced. In this paper we study some properties of fully stable Banach A-module and another characterization of fully pseudo stable Banach A-module has been given.
Grabisch and Labreuche have recently proposed a generalization of capacities, called the bi-capacities. Recently, a new approach for studying bi-capacities through introducing a notion of ternary-element sets proposed by the author. In this paper, we propose many results such as bipolar Mobius transform, importance index, and interaction index of bi-capacities based on our approach.
In Production and Operations Management the specialists have tried to develop a strategy to counter the risks arising from the activities of the organization and of waste of various types and therefore the risk management in the contemporary framework represents a phenomenon of new quality, and can not be this phenomenon to take practical dimensions, but the development of culture of the organization towards the risks and deal with all aspects and paint ways to address them within an integrated program, and requires new skills and systems provide accurate information capable of coordination between the various parties within the organization.
The research aims to develop a blu
... Show MoreAutomated clinical decision support system (CDSS) acts as new paradigm in medical services today. CDSSs are utilized to increment specialists (doctors) in their perplexing decision-making. Along these lines, a reasonable decision support system is built up dependent on doctors' knowledge and data mining derivation framework so as to help with the interest the board in the medical care gracefully to control the Corona Virus Disease (COVID-19) virus pandemic and, generally, to determine the class of infection and to provide a suitable protocol treatment depending on the symptoms of patient. Firstly, it needs to determine the three early symptoms of COVID-19 pandemic criteria (fever, tiredness, dry cough and breat
... Show MoreThe choice of binary Pseudonoise (PN) sequences with specific properties, having long period high complexity, randomness, minimum cross and auto- correlation which are essential for some communication systems. In this research a nonlinear PN generator is introduced . It consists of a combination of basic components like Linear Feedback Shift Register (LFSR), ?-element which is a type of RxR crossbar switches. The period and complexity of a sequence which are generated by the proposed generator are computed and the randomness properties of these sequences are measured by well-known randomness tests.
Polyaniline nanofibers (PAni-NFs) have been synthesized under various concentrations (0.12, 0.16, and 0.2 g/l) of aniline and different times (2h and 3 h) by hydrothermal method at 90°C. Was conducted with the use of X-ray diffraction (XRD), Fourier Transform Infrared spectra (FTIR), Ultraviolet-Visible (UV-VIS) absorption spectra, Thermogravimetric Analysis (TGA), and Field Emission-Scanning Electron Microscopy (FE-SEM). The X-ray diffraction patterns revealed the amorphous nature of all the produced samples. FE-SEM demonstrated that Polyaniline has a nanofiber-like structure. The observed typical peaks of PAni were (1580, 1300-1240, and 821 cm-1 ), analyzed by the chemical bonding of the formed PAni through FTIR spectroscopy. Also, tests
... Show MoreThe reason for conducting this study is to prolong release of miconazole in the ocular site of action by ocular-based gels (OBGs) formulations. The formulation factors affecting on the release from OBG should be studied using various gelling agents in various concentrations to achieve the improvement in retention and residence time in response to prolonged release. In this study, the formulations were prepared using carbopol 940, pectin, sodium alginate, poloxamer 407, and poly(methacrylic acid) at 0.5%, 1%, and 1.5% w/v, respectively. Hydroxypropyl methylcellulose E5 (HPMC E5) 1% was added as thickening agent/viscosity builder. The formulation containing carbopol 940, pectin and sodium alginate at 1.5% w/v, displayed a noticable im
... Show MoreThe research aims to find out the impact of cognitive strategies in the mathematical competence of the students of the fourth scientific in the preparatory mahmoudiyah in the Directorate General of The Education of Karkh 2. A post-test of the mathematical competence prepared by (Jassim, 2018) was applied to the sample of (65) students, distributed into two groups of (33) students as experimental group and (32) students as a control group. The results found there are significant differences between the experimental group and the control group in testing the mathematical competence of students for the experimental group.
This in order to test the effect of food on growth and fecundity, two kinds of food have been used the algae Scendesmus quadricaudae and fresh water shrimp powder. For two generations, growth and productivity have been followed up. The fresh water shrimp has been noticed as a food better than algae, because it caused recording, for the two generation higher length rate for the weeks of experiment. The individuals length rate at the end of the forth week reached 9.35 and 9.48 mm for the first generation and second generation respectively. The average length weekly increase rate for the first and second generations individuals feeding on dried shrimp was higher through the first and second week compared to what was recorded when feeding alga
... Show More