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

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

در این مطالعه تعداد 10 قطعه ماهی شیربت تازه و سالم تهیه و از بخش های بالایی، میانی و پایینی کمان آبششی آن ها نمونه برداری شد؛ سپس به روش متداول تهیه مقاطع بافتی، برش هایی به ضخامت 5 تا 6 میکرومتر تهیه و مورد رنگ آمیزی معمول هماتوکسیلین- ائوزین(h&e;) و اسید پریودیک شیفت (pas) قرار گرفتند.  نتایج نشان داد آبشش ماهی شیربت از 4 جفت کمان آبششی تشکیل شده است.  هر کمان آبششی از دو ردیف لاملاهای اولیه ...

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

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

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

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

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

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