We introduce a new formal semantics for active databases that relies on a transaction rewriting technique. A user de ned transaction, which is viewed here as a sequence of atomic database updates forming a semantic atomic unit, is translated by means of active rules into induced one(s). Those transactions embody active rule semantics which can be either immediate or deferred. Rule semantics, co...

This paper presents the development of a mixed-variable optimization framework for the aeroelastic analysis and design of active twist rotors. Proper tailoring of the blade properties can lead to the maximization of the active twist and the control authority for vibration reduction under operating conditions. Thus, using mathematical optimization, the crosssectional layout is designed using con...

background: the appearance of multi-drug resistant microorganisms is becoming a global problem. already several strategies have been employed for overcoming antibiotic resistance issue. developing new antimicrobial compounds from microbial source could be a beneficial solution. hence screening programs in order to discover new antibiotics from microbial entities is interesting. because of high ...

in recent years, in iran and other countries the power systems are going to move toward creating a competition structure for selling and buying electrical energy. these changes and the numerous advantages of dgs have made more incentives to use these kinds of generators than before. therefore, it is necessary to study all aspects of dgs, such as size selection and optimal placement and impact o...

The paper presents a global chassis control (GCC) optimization approach using a gradient-based optimal control algorithm. The goal is to find optimal actions of various actuators such as active steering and active differential, which ensure satisfying the optimization criterion (e.g. trajectory following error minimization) subject to different equality and inequality constraints on state and c...