Based on the di erential action introduced in [12] we extend the action system framework into a hybrid action system framework. Hybrid action systems are to be used in modelling and analysing hybrid systems. The meaning of a hybrid action system is given as an ordinary action system. We also extended the de nition of a parallel composition for action systems to handle the continuous behaviour i...

Abstract Background and Aim: One of the major problems with resin composite restorations is the weakness of bonding between the new and aged composites. Since appropriate micromechanical retention is necessary for the repair of aged resin composite restorations, the level of surface roughness after sandblasting can be influential in this regard. Considering the diverse composition of avail...

We define and develop the concept of quasi-variety for models of hybrid logics and we apply this for determining initial semantics for classes of hybrid logics theories. The hybrid logic is considered here in a very general sense, internal to abstract institutions (in the sense of the so-called institution theory of Goguen and Burstall). This means our result is applicable to a wide variety of ...

We propose an approach to falsification of oscillation properties of parametric biological models, based on the recently developed techniques for testing continuous and hybrid systems. In this approach, an oscillation property can be specified using a hybrid automaton, which is then used to guide the exploration in the state and input spaces to search for the behaviors that do not satisfy the p...

beet necrotic yellow vein virus (bnyvv) or rhizomania is one of the most important and destructive diseases of sugar beet (beta vulgaris l.) in the world. this disease is considered as a limiting factor of sugar beet production in iran such as khorasan, fars, west azerbaijan, isfahan and kermanshah. in order to develop of resistant variety, as simple and easy methods for disease control, a germ...

tomato as a highly nutritious vegetable crop is widely grown in the world. hybrid seed is preferably used for tomato production. identification of superior hybrid combination is one of the most important steps in the hybrid breeding programs. breeding of high yielding hybrids is expensive and involves testing large numbers of hybrid combinations in multi-environment trials. successful predictio...

in order to evaluate the inter-specific hybrid p. atlantica × p. vera cv. ‘badami- riz- zarand’ to drought stress, a factorial experiement was conducted as based on a completely randomized design of three irrigation intervals 3, 6 and 9 days on qazvini, badami-riz-zarand and the hybrid of p. atlantica × p. vera cv. badami- riz-zarand rootstocks of pistachio. results indicated that such physiolo...

producing hybrid lettuce is prevented by flower structure and usually lead to selfing. based on it, this experiment was carried out to evaluate the performance of different physical and chemical emasculation methods for producing lettuce hybrid seed. a numbers of cultivars with dominant and recessive traits were used as male and female parents, respectively. in the first experiment, physical em...

the cotton bollworm, helicoverpa armigera (hübner), which is known as one of the most important economic pests, can cause severe damage to different crops in iran and many countries of the world. the effect of five maize hybrids: sc260, sc500, sc700, sc704 and dc370 on lysozyme activity in the hemolymph of sixth instar of h. armigera using lytic zone assay and its association with some fitness ...

annually, many people are irradiated for diagnostic and therapeutic purposes. assessment of radiation dose and its related risks to patients are important issues in radiation protection dosimetry. the complex mathematical calculations of the absorbed and effective doses are now done with computers. the calculations are performed with the help of anthropomorphic computational models of human bod...