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

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

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

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

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

در این پایان نامه ژنراتور القایی دو سو تغذیه به عنوان یکی از معمول ترین ژنراتورهای مورد استفاده در نیروگاه های بادی و روند کنترل توان در این ماشین مورد بررسی قرار می گیرد. در ماشین القایی دو سو تغذیه می توان توان الکتریکی استاتور متصل به شبکه را از طریق اعمال ولتاژهای مناسب به سیم پیچی های روتور کنترل نمود. در دسته ای از روش های کنترل توان در این نوع ماشین موسوم به روش های مستقیم کنترل توان، با...

چکیده ندارد.

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

بادرنجبویه (mellissa officinalis l.) یکی از گیاهان دارویی مهم دنیا بوده که به دلیل دارا بودن ترکیب های معطر خاص موجود در اسانس آن، در صنایع دارویی و غذایی کاربرد فراوانی دارد. ده جمعیت به منظور بررسی تنوع ژنتیکی خصوصیات فنوتیپی و ژنوتیپی گیاه دارویی بادرنجبویه مورد آزمون قرار گرفتند. خصوصیات جوانه زنی بادرنجبویه شامل طول ساقه چه، طول ریشه چه، وزن تر گیاهچه، وزن خشک گیاهچه، درصد جوانه زنی، ضریب ...

زاویه میل خورشید () یکی از ویژگی های مهم هندسه زمین و خورشید است. در این مطالعه 13 رابطه محاسباتی آن که در سال های اخیر ارایه شده اند مورد بررسی قرار گرفته اند. الگوریتم های میخالسکی[1](1988)، والراون[2] (1978) و رابطه بورگس[3] (1985)، در مقایسه با مقادیر واقعی در پنج سال انتخابی 1970، 1980، 1986، 1989 و 2001 به ترتیب دقیق ترین روابط شناخته شده اند. الگوریتم میخالسکی به عنوان دقیق ترین رابطه فق...