نتایج جستجو برای: fullness and vacuity indices
تعداد نتایج: 16834532 فیلتر نتایج به سال:
Feeding habits of yellowfin seabream, Acanthopagrus latus in the northern region of the Persian Gulf
Feeding habits of yellowfin seabream, Acanthopagrus latus was investigated in coastal waters of the Northern Persian Gulf. This investigation was conducted by monthly sampling of thirty fish from September 2011 through August 2012. Fish size ranged from 17.98 ± 2.07 to 32.31 ± 6.52 cm in total length and from 134.01 ± 45.62 to 720.46 ± 292.58 g in weight. The highest value of gastro-somatic ind...
Abstract In reactive synthesis, one begins with a temporal specification $$\varphi $$ φ , and automatically synthesizes system $$M$$ M such that $$M\models \varphi ⊧ . As many systems can satisfy given specification, it is natural to seek ways force the...
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties into a formal specification. While a positive answer of the model checker guarantees that the model satisfies the specification, correctness of the modelling is not checked. Vacuity detection is a successful approach fo...
Vacuity arises when a logical formula is trivially true in a given model due, for example, to antecedent failure. Beer et al. have recently introduced a logic-independent notion of vacuity and shown that certain logics, i.e., those with polarity, admit an eÆcient decision procedure for vacuity detection. We show that the modal mu-calculus, a very expressive temporal logic, is a logic with polar...
In formal verification, we verify that a system is correct with respect to a specification. Cases like antecedent failure can make a successful pass of the verification procedure meaningless. Vacuity detection can signal such “meaningless” passes of the specification, and indeed vacuity checks are now a standard component in many commercial model checkers. We address two dimensions of vacuity: ...
abstract: the potato tuberworm, phthorimaea operculella (zeller), is an important insect pest of potato (solanum tuberosum l.) in the storage and field in most parts of the world especially in tropical and subtropical regions due to its close relationship with the host, high reproductive potential and high economic losses. information on host preference, life table parameters and digestive en...
To study of the some parameters of population dynamics of S. cephalus in reservoir of Shahid Rajaii dam, 591 specimens were caught by gill nets during six sampling times at 3 stations in four seasons. The most frequent catch was for season of autumn (303) and the lowest was captured in winter (43). Specimens caught for both sexes were in 6 age groups 0+ to 5+ years that, 2-year-olds were prevai...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید