This paper presents a method for integrating deductive databases. In our approach deductive databases are expressed in a functional database programming language in which rules are expressed as derived functions. For integrating the extensional parts of deductive databases, we use a binary relational ER model with subtyping as the common data model and propose a semi-automatic method to perform...

Using ANSYS finite element (FE) package, a multi-physics simulation model based on finite element method (FEM) is introduced for the multi-layer switched reluctance motor (SRM) in the present paper. The simulation model is created totally in ANSYS parametric design language (APDL) as a parametric model usable for various conventional types of this motor and it is included electromagnetic, therm...

Water injection strings in highly deviated wells are subjected to complex forces on the string bore. In this work, a mechanical model is developed for these forces and for those on downhole tools. On the basis of this model, and taking account of the characteristics of the string in different working conditions, a temperature field model and a pressure field model are introduced, and a statical...

In development of Homogeneous Charge Compression Ignition (HCCI) engines, simultaneous control of combustion phasing and power output has been a major challenge. In this study, a new strategy is developed to control the engine power output and combustion phasing at any desired operating condition. A single zone thermodynamic model coupled to a full kinetic mechanism of Primary Reference Fuels (...

The need for a sharable resource that can provide deep anatomical knowledge and support inference for biomedical applications has recently been the driving force in the creation of biomedical ontologies. Previous attempts at the symbolic representation of anatomical relationships necessary for such ontologies have been largely limited to general partonomy and class subsumption. We propose an on...

Abstract In this research, a radial basis function artificial neural network (RBF-ANN) model was developed to predict the hot deformation flow curves of API X65 pipeline steel. The results of the developed model was compared with the results of a new phenomenological model that has recently been developed based on a power function of Zener-Hollomon parameter and a third order polynomial functio...

In this paper the regression problem for random sets of the Boolean model type is developed, where the corresponding poisson process of the model is related to some explanatory variables and the random grains are not affected by these variables. A model we call propagation model, is presented and some methods for fitting this model are introduced. Propagation model is applied in a simulation st...

FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier which has been implemented as a test-bed for a sound and complete tableaux satisfiability/subsumption testing algorithm. FaCT’s novelty lies in its relatively expressive logic and its highly optimised implementation of the tableaux algorithm. iFaCT is an extension of FaCT that supports reasoning with inverse role...

This paper is primarily concerned with the impacts of population aging upon education and skill premium. To study population aging, we utilize an overlappinggeneration model where survival into the old stage is uncertain and population aging is modelled via a higher survival rate. Featuring the household, education and production sectors, our model is analysed under both autarky and two-country...