نتایج جستجو برای: a predetermined redundancy strategy is assumed within each subsystem however
تعداد نتایج: 14254780 فیلتر نتایج به سال:
به طور کلی در فرآیندهای مارکوف ارگودیک دو بعدی یافتن فرم بسته توزیع ایستا، تنها برای حالات خیلی خاص امکان پذیر است. با توجه به این مشکل و نیز با توجه به اهمیت توزیع ایستا، بررسی و مطالعه رفتار مجانبی توزیع ایستای این فرآیندها مورد توجه قرار گرفته است. زنجیر قدم زدن تصادفی دو بعدی که در برخی متون به آن، فرآیند qbd دو طرفه نیز می گویند، یکی از این فرآیندها است. یک فرآیند qbd زمان گسسته یک زنجیر م...
We present an associative-commutative paramodulation calculus that generalizes the associativecommutative completion procedure to first-order clauses. The calculus is parametrized by a selection function (on negative literals) and a well-founded ordering on terms. It is compatible with an abstract notion of redundancy that covers such simplification techniques as tautology deletion, subsumption...
Iranian bread production methods are often unsanitary, in the last decades, different attempts were made to mechanize production of Iranian breads, but a few of them, due to a variety of factors, could succeed. The aim of this study is to examine various factors affecting the system of bread production in Iran and to provide effective solutions for the development of mechanized bakeries as the ...
tourism , today as one of the ways to make money, create jobs , and social and political interactions is considered. this paper aims to examine the strengths and weaknesses of tourism development in mahmoud abad ( mazandaran ). the research method in this study is " descriptive - analytical " and to collection of data used field methods such as questionnaires and documentation - library. the sa...
The generation of too much information prohibits eecient resolution proof search in classical logics. Hence subsumption is used to discard redundant information and strategies have been developed to guide the proof search avoiding irrelevant information. The extension of the resolution method to temporal logics, for example that by Fisher for propositional linear-time temporal logics, further m...
the purpose of this study is to investigate the relationships between teachers’ immediacy behaviors and iranian students’ willingness to talk in english classes. analysis of the results from willingness to talk scale represents a relatively high level of willingness to talk in english classrooms among iranian language learners. the total mean score of students’ willingness to talk was 66.3 ou...
In this paper, we will introduce an intelligent system to edit and spell check Persian texts. The goal is editing and preprocessing Persian texts for natural language processing tasks. This system is based on an expandable and engineering approach and is composed of three subsystems: Persian text editor, spell checker and stemmer. These parts interact with each other to edit texts. To do this, ...
the methods which are used to analyze microstrip antennas, are divited into three categories: empirical methods, semi-empirical methods and full-wave analysis. empirical and semi-empirical methods are generally based on some fundamental simplifying assumptions about quality of surface current distribution and substrate thickness. thses simplificatioms cause low accuracy in field evaluation. ful...
We address the redundancy allocation of a series repairable system with multiple k-out-of-n subsystems with each subsystem following shut-off rule. The objective of the problem is to find the optimal number of repairmen and redundant components in each subsystem for optimization of steady-state availability subject to weight, cost and volume constraints. We propose a Particle Swarm Optimization...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید