نتایج جستجو برای: توالی ω امگا
تعداد نتایج: 35859 فیلتر نتایج به سال:
Specifications for reactive systems often consist of environment assumptions and system guarantees. An implementation should not only be correct, but also robust in the sense that it behaves reasonably even when the assumptions are (temporarily) violated. We present an extension of the requirements analysis and synthesis tool RATSY that is able to synthesize robust systems from GR(1) specificat...
Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, the most popular games in this context are parity games and their cousins (Rabin, Streett and Muller games). Recently however also games with other types of payments, like discounted or mean-payoff [5,6], previously used only in...
We introduce weighted automata over infinite words with Muller acceptance condition and we show that their behaviors coincide with the semantics of weighted restricted MSOsentences. Furthermore, we establish an equivalence property of weighted Muller and weighted Büchi automata over certain semirings. DOI: 10.3103/S1066369X10010044
We determine the complexity of topological properties (i.e., properties closed under the Wadge equivalence) of regular ω-languages by showing that they are typically NL-complete (PSPACEcomplete) for the deterministic Muller, Mostowski and Büchi automata (respectively, for the nondeterministic Rabin, Muller, Mostowski and Büchi automata). For the deterministic Rabin and Streett automata and for ...
We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance ...
Zero automata are a probabilistic extension of parity automata on infinite trees. The satisfiability of a certain probabilistic variant of mso, called tmso + zero, reduces to the emptiness problem for zero automata. We introduce a variant of zero automata called nonzero automata. We prove that for every zero automaton there is an equivalent nonzero automaton of quadratic size and the emptiness ...
we consider the semilinear elliptic boundary value problem = ∈∂ω− δ = ∈ωu x xu x f u x x( ) 0;( ) λ ( ( ));where λ > 0 is a parameter, ω is a bounded region in rn with a smooth boundary, and f is asmooth function. we prove, under some additional conditions, the existence of a positive solution for λlarge. we prove that our solution u for λ large is such that = →∞∈ω|| u ||: sup| u(x) |xas λ ...
Seventy- two 26-weakk-old white leghorn layers (w-36) were fed commercial diets containing 0, 2 and 4 fish oil and the diets were iso-caloric and iso-nitrogenous. Hens were randomly assigned to 3 treatment diets, with 3 replicates and 8 layers in each. The experiment was conducted over a period of 12 weeks in order to study the effects of feeding fish oil on fatty acid composition of egg yolks....
Seventy- two 26-weakk-old white leghorn layers (w-36) were fed commercial diets containing 0, 2 and 4 fish oil and the diets were iso-caloric and iso-nitrogenous. Hens were randomly assigned to 3 treatment diets, with 3 replicates and 8 layers in each. The experiment was conducted over a period of 12 weeks in order to study the effects of feeding fish oil on fatty acid composition of egg yolks....
مطالعه حاضر به منظور ارزیابی تأثیر استفاده از مکمل ال-کارنیتین به همراه دو منبع چربی جیره (امگا 3 و امگا 6) در دوره فلاشینگ میش های نژاد فراهانی انجام شد. 24 رأس میش فراهانی با مصرف جیره پایه در 4 تیمار مختلف به صورت زیر تقسیم شدند: 1) 5/2 درصد ماده خشک مصرفی منبع امگا 3 بدون مکمل ال-کارنیتین، 2) 5/2 درصد ماده خشک مصرفی منبع امگا 6 بدون مکمل ال-کارنیتین، 3) 5/2 درصد ماده خشک مصرفی منبع امگا 3 و...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید