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

امروزه استفاده از روش های جدید عمل آوری و بسته بندی به منظور بهبود کیفیت، افزایش زمان ماندگاری و جلوگیری از ضررهای اقتصادی مورد توجه قرار گرفته است. لذا، هدف از انجام این مطالعه، بررسی تغییرات میکروبی، فیزیکو- شیمیایی و حسی فیله ماهی قزل آلای رنگین کمان عمل آوری شده با شیوه پخت تحت خلاء (sous vide)، طی نگهداری در یخچال (1±4 درجه سانتی گراد) بود. برای این منظور تعداد 90 قطعه ماهی قزل آلای رنگین ...

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

با توجه به افزایش روزافزون سطح گازهای گلخانه ای و منع استفاده از این گازها در محصولات تولیدی کارخانجات و در جهت اجرای موافقتنامه کیوتو [1-2,11]، در سالهای اخیر جایگزین نمودن کلیدهای sf6 با کلیدهای خلاء که عاری از هرگونه گاز می باشند، با ساختار نسبتا ساده تر و تعداد بسیار بالاتر دفعات قطع و وصل بعنوان یک اولویت در صنعت تولید کلیدهای فشارقوی در حال پیگیری می باشد[1,62]. از مهمترین چالشهای پیش رو ...

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

در این پروژه، تخمین شار حرارتی تابع زمان و مکان ورودی به جسم بر اساس یکی از روشهای معکوس بنام روش تعیین مرحله ای تابع ‏‎sfs‎‏ با استفاده از دماهای ثبت شده توسط چرخه سنسور بحث شده است. دماهای ثبت شده توسط یک برنامه کامپیوتری به روش شرح داده شده شبیه سازی شده اند. اهمیت این تخمین چند مولفه ای در مواردی است که برآورد تنها یک مولفه شار برای مسئله عملی مثال دماغه موشک دقت کافی نداشته باشد . فرمولاسی...

قارچ‌های خوراکی به­‌صورت تازه ماندگاری پایینی دارند. بنابراین به­‌‌کار‌گیری راهکارهای عملی برای افزایش ماندگاری آنها برای بهبود و توسعه تولید ضروری می‌باشد. پژوهش حاضر با هدف بررسی اثر پیش تیمار اشباعیت با آب نمک تحت خلاء بر خواص فیزیکی قارچ دکمه‌ای خشک شده با هوای گرم انجام شد. ابتدا شرایط اشباع با آب نمک تحت خلاء در زمان‌های 5، 15 و 25 دقیقه فرایند برای نمونه‌های قارچ ایجاد شد. سپس مرحله خشک ...

در این پژوهش، رفتار خشک شدن و تاثیر شرایط مختلف خشک کردن (4 سطح توان مایکروویو 360، 600، 840 و 1200 وات و 4 سطح فشار خلاء 200، 400، 600 و 800 میلی بار) توسط خشک کن مایکروویو- خلاء بر تمایل به از دست دادن رطوبت، ضریب انتشار رطوبت موثر و مقادیر انرژی فعال سازی در میوه آلبالو مورد بررسی قرار گرفت. بر اساس یافته‎های این بررسی ضریب انتشار رطوبت موثر میوه آلبالو بین 9-10×21/3 تا 9-10×005/20 متر مربع ...

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

مقدمه: هیدروکلوئیدها (صمغ ها) به مجموعه ای از پلی ساکاریدها و پروتئین ها اطلاق می شوند که در آب حل یا پخش شده و ویسکوزیته را افزایش می دهند. هدف از این پژوهش بررسی اثر روش های مختلف خشک کردن بر خصوصیات رئولوژیکی و بافتی صمغ دانه بالنگو می باشد. مواد و روش ها: سه روش متفاوت شامل خشک کردن در هوای داغ (40، 50، 60، 70 و 80 درجه سانتی گراد)، خشک کن انجمادی و تحت خلاء مورد مطالعه قرار گرفت. خصوصیات ر...