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

در جبرهای باناخ، جبر گروهیl(g) ارنز منظم است اگر و فقط اگر g متناهی باشد. در این مقاله ساختار ابرگروهی را (به معنی دانکل) می سازیم که «جبر اندازه» آن دارای ضرب منظم است. جالب ترین نتیجه آن ساختار این است که اگر l(x) ، ارنز منظم باشد آنگاه، به عنوان یک نگاشت دو خطی، پیچش آن ارنز منظم می شود، و شرایط به دست آمده ضرب منظمی در یک ابر گروه ارائه می دهد که x نامتناهی است.

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

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

در سال ١٩٧٠ جان کارلو روتا حدسیه‌ای مطرح کرد که یک مشخص‌سازی ترکیبیاتی زیبایی را برای وابستگی خطی در فضاهای برداری روی هر میدان متناهی داده شده، پیش بینی می‌کرد. اخیراً یک برنامۀ پژوهشی پانزده ساله را که منجر به حل حدسیۀ روتا شده است، به پایان برده‌ایم. در این مقاله، این حدسیه را شرح و یک توصیف کلی از اثبات آن ارائه می‌دهیم.

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

فرض کنید r حلقه نوتری و جابجایی باشد. فرض کنید i ایده آلی از حلقه r و t یک r-مدول ناصفر و i-هم متناهی باشد به طوری که1 ?(dim(t. در این پایان نامه نشان می دهیم که برای هر عدد صحیح0 ? ext(n,t),i متناهی مولد است که از آن نتیجه می شود اگرi دارای بعد یک باشد آن گاه برای هر عدد صحیح0? i,j و برای هر r-مدول متناهی مولد m و n که ممل nزیر مجموعه(v(i می باشد(ext(h(m),t متناهی مولد است

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

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

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