نتایج جستجو برای: fullness and vacuity indices

تعداد نتایج: 16834532  

E. Kamrani I. Sourinejad M. Ghodrati Shojaei S. Nikkhah Khaje Ataei

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...

Journal: :Formal Methods in System Design 2021

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...

2005
Doron Bustan Alon Flaisher Orna Grumberg Orna Kupferman Moshe Y. Vardi

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...

2002
Yifei Dong Beata Sarna-Starosta C. R. Ramakrishnan Scott A. Smolka

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...

Journal: :Formal Methods in System Design 2009
Hana Chockler Ofer Strichman

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: ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه محقق اردبیلی - دانشکده علوم کشاورزی 1391

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...

Journal: :The Iowa Review 1989

Journal: :ACM Transactions on Computational Logic 2012

Journal: :Canadian Journal of Gastroenterology 2000

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید