نتایج جستجو برای: normalization table
تعداد نتایج: 143395 فیلتر نتایج به سال:
در این پایان نامه، پس از طراحی و شبیه سازی، یک نسخه آزمایشگاهی رادار مونوپالس uwb ساخته شده و مورد آزمایش قرار می گیرد. یک آرایه دوتایی آنتن ویوالدی به عنوان گیرنده عمل می کند که سیگنال های مجموع و تفاضل این دو آنتن توسط یک هیبرید کوپلر 180 درجه تولید می شود. این هیبرید کوپلر باید طوری طراحی شود که عملکرد مناسبی در باند فرکانسی 3-11ghz داشته باشد. سیگنال های دریافتی در دو پورت مجموع و تفاضل پرد...
Nowadays, promoting academic loyalty and ethics and coping with research misbehavior, including plagiarism, forgery and misrepresentation have become an important part of the university mission, since the normalization of research misconduct undermines the integrity and loyalty of science, the link between science, society, industry, and damages the reputation of scientific institutions. Accord...
as an assessment method of the water resources, water poverty index (wpi) has become an available tool in water resources management. in particular, agricultural water poverty index (awpi) is an assessment tool for agricultural water in rural areas. during the past decades, mahidasht basin in kermanshah province has been declared by water policy makers as “forbidden” basin in terms of water exp...
This paper presents a new method for comparing computational properties of λ-terms typeable with intersection types with respect to terms typeable with Curry types. In particular, strong normalization and λ-definability are investigated. A translation is introduced from intersection typing derivations to Curry typeable terms; the main feature of the proposed technique is that the translation is...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید