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

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

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

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

در این پایان نامه به بررسی پایداری وکرانداری معادلت تفاضلی ولترا میپردازیم.در ادامه به تخمین جوابهای این نوع از معادلات میپردازیم.

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

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

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

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