نتایج جستجو برای: شرایط صوری
تعداد نتایج: 113656 فیلتر نتایج به سال:
میکروامولسیون یک فرمولاسیون پایدار و همگن آفتکشها بر پایه حلال آبی است که جایگزین مناسبی برای امولسیونی است. در این مطالعه، حشرهکش سایپرمترین کنترل Aphis gossypii Glover (Hemiptera: Aphididae)، یکی از آفات مهم بسیاری گیاهان زراعی زینتی طراحی شد. زایلین بهعنوان مناسب، اساس حلالیت مناسب انتخاب نمودارهای فاز دیاگرام با روش تیتراسیون آب ساخته شدند. ترکیبهای استفاده مخلوطهای متشکل سایپرمترین، ...
سفیدبالک گلخانهTrialeurodes vaporariorum Westwood یکی از آفات مهم سبزی، صیفی و گیاهان زینتی میباشد. در کنترل این آفت، یافتن راهکارهای جایگزین به منظور کاهش اثرات سوء ناشی مصرف بیرویه آفتکشهای شیمیایی ضروری بنابراین پژوهش، اثر زیرکشندگی (LC20) سه فرمولاسیون چریش (Azadirachta indica A. Juss) شامل نیمبسیدین®، نیمآزال® کوفا® روی سفیدبالک گلخانه مورد بررسی قرار گرفت. آزمایشها با شرایط ن...
مسئله اصلی این پژوهش، بازنمایی مفهوم طنز، هزل و هجو درروزنامه ی توفیق در سه دوره ی انتشار این نشریه است.در این تحقیق، از هر دوره ی روزنامه ی توفیق، ده شماره به عنوان نمونه به روش تحلیل محتوای کیفی مورد بررسی قرار گرفت. با استفاده از نظریات مربوط به کارناوال، رمان رابله ای وخنده باختین به این سوال پاسخ خواهیم داد که "مجله ی توفیق چگونه شرایط اجتماعی و سیاسی جامعه ی ایران را در غالب طنز یا هزل و...
در این مقاله، به بررسی ترکیب تحلیل پوششی دادهها با شرایط لنگی مکمل قوی در حالت فازی پرداخته می شود. در مطالعات پیشین، از تحلیل پوششی دادهها برای ارزیابی واحد ها استفاده شده است، ولی روش تحلیل پوششی دادهها روش کاملی نیست، چون از تمام اطلاعات ورودی و خروجی به نحو کامل بهره نمیبرد. به همین علت، ترکیب این روش با سایر روش ها باعث بهتر شدن دقت و کیفیت این روش خواهد شد. ترکیب تحلیل پوششی دادهها ب...
معانی مفاهیم«اولی،ضروری،بدیهی،یقینی»به ظاهر،روشن است، اما کاربرد آنها در مواضع و مباحث مختلف منطق متفاوت می باشد؛به تبع این مواضع و مباحث مختلف،معانی آنها نیز تا حدی تغییر کرده و مختلف خواهد بود.در این مقاله سعی داریم این مواضع و اختلاف معانی را روشن کنیم.
هزینه ی زیاد و تبعات منفی اجرای پروتکل های امنیتی ناقص و آسیب پذیر، باعث شده است که قبل از اجرای هر سیستم حساس و مهمی، همچون سیستمهای رأی گیری الکترونیکی، درستی یابی عملکرد آن به امری ضروری و پیش نیاز تبدیل شود. اثبات های شهودی، از درجه ی دقت و اطمینان بالای مورد نیاز برخوردار نیستند، بنابراین همواره استفاده از روش های صوری برای این گونه اثبات ها پیشنهاد می شود. در این پایان نامه، با استفاده از...
توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...
چکیدههدف کلی از تحقیق حاضر تحلیل وضعیت کتب درس مدیریت برگزاری رویدادهای ورزشی در دانشگاه های ایران تا پایان سال 1393 از نظر ساختار، محتوا و صوری بود. روش تحقیق در این پژوهش از نظر استراتژی ترکیبی (توصیفی و کیفی)، از نظر مسیر اجرا تحلیل محتوا و مصاحبه، از نظر جمع آوری اطلاعات، اسنادی و از نظر رویکرد زمانی، حال نگر می باشد. جامعه آماری تحقیق شامل دو بخش بود که بخش اول شامل کلیه اساتید دانشگاه و د...
بحث درباره ی اصل علیت، معنا و جایگاه آن در جهان بحثی است که کمتر فیلسوف برجسته ای از آن غافل مانده باشد و به بررسی آن از منظر اصول و مبانی فلسفی خود نپرداخته باشد. در این رساله درباره ی اصل علیت در فلسفه ی ابن سینا و دکارت بحث شده است. محور بحث همانا علل چهارگانه ی ارسطویی است، یعنی علت فاعلی، مادی، صوری و غایی. به طور کلی اساس بحث بر این پایه بنا شده است که قانون علیت بر پدیده های عالم هستی حا...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید