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 deals with a method called Statistical Energy Analysis that can be applied to the mechanical and acoustical systems like buildings, bridges and aircrafts …etc. S.E.A as a tool can be applied to the resonant systems in the circumstances of high frequency or/and complex structure». The parameters of S.E.A such as coupling loss factor, internal loss factor, modal density and input power are clarified in this work ; coupled plate sub-systems and explanations are presented for these parameters. The developed system is assumed to be resonant, conservative, linear and there is an equipartition of energy between all the resonant modes within a given frequency band in a given sub-system. The aim of th
... Show MoreIn this paper we present the first ever measured experimental electron momentum density of Cu2Sb at an intermediate resolution (0.6 a.u.) using 59.54 keV 241Am Compton spectrometer. The measurements are compared with the theoretical Compton profiles using density function theory (DFT) within a linear combination of an atomic orbitals (LCAO) method. In DFT calculation, Perdew-Burke-Ernzerhof (PBE) scheme is employed to treat correlation whereas exchange is included by following the Becke scheme. It is seen that various approximations within LCAO-DFT show relatively better agreement with the experimental Compton data. Ionic model calculations for a number of configurations (Cu+x/2)2(Sb-x) (0.0≤x≤2.0) are also performed utilizing free a
... Show MoreArtificial Neural Network (ANN) is widely used in many complex applications. Artificial neural network is a statistical intelligent technique resembling the characteristic of the human neural network. The prediction of time series from the important topics in statistical sciences to assist administrations in the planning and make the accurate decisions, so the aim of this study is to analysis the monthly hypertension in Kalar for the period (January 2011- June 2018) by applying an autoregressive –integrated- moving average model and artificial neural networks and choose the best and most efficient model for patients with hypertension in Kalar through the comparison between neural networks and Box- Je
... Show MoreThis paper aims to validate a proposed finite element model to be adopted in predicting displacement and soil stresses of a piled-raft foundation. The proposed model adopts the solid element to simulate the raft, piles, and soil mass. An explicit integration scheme has been used to simulate nonlinear static aspects of the piled-raft foundation and to avoid the computational difficulties associated with the implicit finite element analysis.
The validation process is based on comparing the results of the proposed finite element model with those of a scaled-down experimental work achieved by other researchers. Centrifuge apparatus has been used in the experimental work to generate the required stresses to simulate t
... Show MoreWhen employing shorter (sub picosecond) laser pulses, in ablation kinetics the features appear which can no longer be described in the context of the conventional thermal model. Meanwhile, the ablation of materials with the aid of ultra-short (sub picosecond) laser pulses is applied for micromechanical processing. Physical mechanisms and theoretical models of laser ablation are discussed. Typical associated phenomena are qualitatively regarded and methods for studying them quantitatively are considered. Calculated results relevant to ablation kinetics for a number of substances are presented and compared with experimental data. Ultra-short laser ablation with two-temperature model was quantitatively investigated. A two-temperature model
... Show MoreObjective conditions for the possibility of punishment are legal or material facts –positive or negative that depart from the activity of the offender. The legislator comments on their subsequent verification on the formation of some crimes the possibility of.The application of punishment to the offender , but although they are facts of an object nature that approach and overlap with many systems and cases , they are distinguished by a certain subjectivity that differentiates them from each case that may seem similar or approach them. To clarify the ambiguity that may surround these conditions , Which may lead to confusion between them and what be similar to other cases due to the common effect that they have in common , which is the f
... Show MoreIn this work, we have developed a model that describes the relationships between top predators (such as tigers, hyenas, and others), crop raiders (such as baboons, warthogs, and deer), and prey (such as deer) in the coffee forests of southwest Ethiopia. Various potential equilibrium points are identified. Additionally, the model's stability in the vicinity of these equilibrium points is examined. An investigation of the model's Hopf bifurcation is conducted concerning several significant parameters. It is found that prey species may be extinct due to a lower growth rate and consumption by top predators in the absence of human interference in the carrying capacity of prey. It is observed that top predators may be extinct due to human interfe
... Show MoreAn evaluation for the performance of model pile embedded in expansive soil was investigated. An extensive testing program was planned to achieve the purpose of this research. Therefore, special manufactured system was prepared for studying the behavior of model pile having different length to diameter ratios (L/D). Two types of piles were used in this research, straight shaft and under reamed piles. The effect of model pile type, L/D ratio and number of wetting drying cycles were studied. It is observed that significant reductions in pile movement when under reamed piles were considered. A proposed design charts was presented for straight shaft and under reamed piles to estimate the length of both types of piles that is requi
... Show MoreThis paper deals with defining Burr-XII, and how to obtain its p.d.f., and CDF, since this distribution is one of failure distribution which is compound distribution from two failure models which are Gamma model and weibull model. Some equipment may have many important parts and the probability distributions representing which may be of different types, so found that Burr by its different compound formulas is the best model to be studied, and estimated its parameter to compute the mean time to failure rate. Here Burr-XII rather than other models is consider because it is used to model a wide variety of phenomena including crop prices, household income, option market price distributions, risk and travel time. It has two shape-parame
... Show MoreNuclear shell model is adopted to calculate the electric quadrupole moments for some Calcium isotopes 20Ca (N = 21, 23, 25, and 27) in the fp shell. The wave function is generated using a two body effective interaction fpd6 and fp space model. The one body density matrix elements (OBDM) are calculated for these isotopes using the NuShellX@MSU code. The effect of the core-polarizations was taken through the theory microscopic by taking the set of the effective charges. The results for the quadrupole moments by using Bohr-Mottelson (B-M) effective charges are the best. The behavior of the form factors of some Calcium isotopes was studied by using Bohr-Mottelson (B-M) effective charges.