تولید اتوماتیک نرم افزار به معنای ساخت یک (مجموعه) برنامه برای حل مساله مفروض است . از آنجا که امروزه کامپیوتر به اکثر محیطها راه پیدا کرده است ، هر روز نیاز به نرم افزارهای جدید بیشتر می شود. در این تحقیق با توجه به ماهیت تبدیلی سیستمهای بازنویسی، امکان اتوماسیون تولید کد برنامه از روی ضوابط ورودی، بااستفاده از این سیستمها مورد بررسی قرار گرفته است . در این راستا پس از بررسی زبانهای موجود، زبا...

«شرط بندی پاسکال» یکی از مهم ترین و مناقشه برانگیزترین استدلال های ارائه شده برای اثبات وجود خدا و معقولیت باورهای دینی است. بر اساس این استدلال، در جایی که استدلال های عقلی و نظری اثبات وجود خدا رضایت بخش و قانع کننده نباشند، باز هم در مقام عمل و تصمیم گیری، زندگی بر اساس باور به وجود خدا و دیگر باورهای دینی از جمله زندگی پس از مرگ، محتاطانه ترین گزینۀ پیش رو و معقول ترین شرط بندی ممکن است، حت...

این پژوهش با هدف دستیابی به مقادیر تغییرات فشار استاتیکی، دینامیکی و سرعت جریان گاز برای سه سطح مقطع مختلف بیوفیلترها صورت گرفته است. عامل‌های مورد مطالعه شامل دبی جریان گاز، سطح مقطع‌های مورد مطالعه (ذوزنقه، مربعی و دایره)، موقعیت عمودی (خط مرکز بستر، خط جلو و خط عقب) در چهار محدوده ارتفاعی از کف بستر بیوفیلتر (بخش اول0 تا 75/16 سانتی‌متر، بخش دوم 75/16 تا25/29سانتی‌متر، بخش سوم 25/29 تا75/41 ...

به منظور بررسی نقش برخی متابولیت‌ها از جمله پرولین، قندها و پروتئین‌های محلول، املاح معدنی در ساز و کار تنظیم اسمزی و بررسی روند تغییرات روابط آبی درشرایط تنش خشکی در یونجه یکساله برگ بریده ] Medicago laciniata (L.) Mill [، آزمایشی گلخانه‌ای به صورت فاکتوریل در قالب طرح بلوک‌های کامل تصادفی در سه تکرار انجام گردید. دو ژنوتیپ حساس و متحمل به خشکی یونجه یکساله در سطوح مختلف تنش خشکی شامل 1/0- ، 2...

دراین پایان نامه روشی برای حل دستگاههای خطی ارائه می دهیم. برای مقایسه این روش با روش باقیمانده مینیمال تعمیم یافته و روش حذفی گوس با محور یابی جزئی از دو گروه دستگاههای خطی،با عنوان دستگاههای خطی پاسکال، کوشی وواندرموند و هم چنین دستگاههای خطی تولید شده تصادفی استفاده می کنیم که در انها ماتریسهای ضرایب دستگاه، به ترتیب ماتریسهای پاسکال ،کوشی،واندرموند و ماتریسهای تصادفی می باشند.

«شرط‌بندی پاسکال» یکی از مهم‌ترین و مناقشه‌برانگیزترین استدلال‌های ارائه‌شده برای اثبات وجود خدا و معقولیت باورهای دینی است. بر اساس این استدلال، در جایی که استدلال‌های عقلی و نظری اثبات وجود خدا رضایت‌بخش و قانع‌کننده نباشند، باز هم در مقام عمل و تصمیم‌گیری، زندگی بر اساس باور به وجود خدا و دیگر باورهای دینی از جمله زندگی پس از مرگ، محتاطانه‌ترین گزینۀ پیش رو و معقول‌ترین شرط‌بندی ممکن است، حت...

کاشت نشا یکی از روش­های مؤثر در افزایش بازده اقتصادی برخی محصولات کشاورزی مانند برنج، سبزی­ها و...است. به­ علت گران بودن دستگاه­های وارداتی، بسیاری از کشاورزان از نیروی کارگری جهت تولید نشا استفاده می­کنند. هدف این پژوهش طراحی، ساخت و ارزیابی دستگاهی ساده، کم هزینه، با امکانات بومی، جهت بذرکاری سریع و دقیق سینی­های نشا است. دستگاه با نرم افزار catia مدل سازی شد. نمونۀ اولیه شامل موزّع استوانه ای...

سابقه و هدف: التراسوند یک روش غیر تهاجمی برای مشاهده تغییرات ضخامت عضلات شکمی می‌باشد که این تغییر ضخامت به عنوان شاخصی برای فعالیت عضله در نظر گرفته می‌شود. اندازه‌گیری صحیح سونوگرافی وابسته به کنترل تمام منابع احتمالی ایجاد خطا حین اندازه‌گیری‌ها می‌باشد. هدف از این مطالعه بررسی سطح پر بودن معده بر روی ضخامت عضلات شکم در وضعیت استراحت و در حین انقباض طی مانور گود کردن شکم می‌باشد. مواد و روش...

علم از نظر معرفت‌شناسان عبارت است از باور صادق موجه. درباره‌ی صدق سه نظریه‌ی اصلی وجود دارد که عبارت است از: نظریه‌ی مطابقت؛ نظریه‌ی سازگاری؛ نظریه‌ی عمل‌گرا. نظریه‌های در باب توجیه را می‌توان به دو دسته‌ی درون‌گرایی و برون‌گرایی تقسیم کرد. نظریه‌های عمده‌ی درون‌گرایی عبارت‌اند از: نظریه‌ی مبناگرایی؛ نظریه‌ی انسجام‌گرایی. در نظریه‌های توجیه برون‌گرایی، باورکننده ملزم به داشتن بینه نیست و توجیه،...