نتایج جستجو برای: a mechanized system for self
تعداد نتایج: 16406781 فیلتر نتایج به سال:
Metafunctions: proving them correct and using them eeciently as new proof procedures. In this paper we have presented how computational reeective capabilities and mechanized logical deduction can be integrated. We have explained how this integration is achieved in GETFOL, a theorem prover where a logical metatheory MT describes both the logical properties of the object theory OT and the code im...
This study aimed to evaluate the efficiency of energy consumption and economic analysis of different watermelon cultivation systems in Fars Province of Iran. Watermelon production systems were classified into five systems, namely, custom tillage (group 1), conservation tillage (group 2), traditional planting (group3), semi mechanized planting (group 4), and mechanized planting (group 5). Data w...
this study investigated the status of mechanized power and self-propelled rice cultivation machinery in guilan province in northern iran. the raw data was obtained from 2013 statistics of the agricultural jihad organization of guilan province. power per unit of area, mechanization level, area per unit of self-propelled machinery, and mechanization requirement were calculated for eastern, wester...
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 ...
we have two part in this thesis, at first: the interaction of native calf thymus dna (ct-dna) with two anthraquinones including quinizarin (1,4- dihydroxy anthraquinone) and danthron (1,8- dihydroxy anthraquinone) in a mixture of 0.04 m brittone-robinson buffer and 50% of ethanol were studied at physiological ph by uv-vis absorption, florescence, circular dichroism spectroscopic methods, viscos...
in this investigation the effect of external field on the electron density of nanostructures of cds, cdse, cdte, gaas and polymeric structure of three, four, five and six units of cds as a kind of nanosolar cells has been studied theoretically. as modeling this system in nanodimension, molecular structures has used. specific properties of molecular structures permit us to consider different sym...
employees always concern about losing their job , or in other word , losing their income resources. for this purpose, every government requires strong system for covering these concerns. the unemployment insurance (ui) program’s can be used for achieving this goal. in this thesis, we price ui based on the insurance history of employee and the duration of being unemployed. we use the weibull dis...
abstract sensitive and precise voltammetric methods for the determination of trace amounts of furaldehydes, mainly as furfural (f) and 5-hydroxymethyl-2-furaldehyde (hmf), in waste waters and other matrices is described. determination of total furaldehyde at < ?g g-1 levels in alkaline buffered aqueous media was individually investigated. by the use of ordinary swv and adsorptive square wave ...
feminine voice and narratology in wuthering heights wuthering heights as a general "bronte" work has extraordinary dimensions to it which can make it focal to different ways of interpretation. among other differences the issue of narrative voice is essential in understanding the ultimate purpose of wuthering heights. emily bronte uses different narrators from various focal points speaking of m...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید