this paper deals with the problem of forbidden states in discrete event systems modeled by petri net. to avoid the forbidden states, some constraints which are called generalized mutual exclusion constraints can be assigned to them. enforcing these constraints on the system can be performed using control places. however, when the number of these constraints is large, a large number of control p...

Onfarm field trials carried out with Bacillus thuringiensis (Bt) cotton in different states of India show that the technology substantially reduces pest damage and increases yields. The yield gains are much higher than what has been reported for other countries where genetically modified crops were used mostly to replace and enhance chemical pest control. In many developing countries, small-sca...

Coal preparation plant simulators are computer programs used to evaluate the performance of a preparation plant for given feed coal characteristics and the type of process flowsheet selected. However, none of the commercially available plant simulators attempts to maximize the overall plant yield for alternative flowsheets and also select the most suitable circuit configuration based on maximiz...

Recent work on the automatic generation of frame axioms from action specifications that have complete fluent change specifications is extended to extract action invariants. An action invariant expresses a property that is preserved by all actions of that class. The extraction is achieved by combining automatically generated frame axioms and the original action axioms relativised to those states...

In this study, weight optimization of the prismatic core sandwich panel under transverse and longitudinal loadings has been independently investigated. To solve the optimization problems corresponding to the mentioned loadings, a new Improved Constrained Differential Evolution (ICDE) algorithm based on the multi-objective constraint handling method is implemented. The constraints of the problem...

Ordered tetrad data yield information on chromatid interference, chiasma interference, and centromere locations. In this article, we show that the assumption of no chromatid interference imposes certain constraints on multilocus ordered tetrad probabilities. Assuming no chromatid interference, these constraints can be used to order markers under general chiasma processes. We also derive multilo...

The model of RH neutrino fields coupled to the MSSM is shown to yield a large parameter regime of warm inflation. In the strong dissipative regime, it is shown that inflation, driven by a single sneutrino field, occurs with all field amplitudes below the Planck scale. Analysis is also made of leptogenesis, neutrino mass generation and gravitino constraints. A new warm inflation scenario is purp...