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

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

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

 مرتب سازی داده‌ها یکی از مسائل مهم در هنگام پردازش اطلاعات دیجیتال می‌باشد. بسته به نحوه پیاده سازی مرتب کننده، معمولاً سه پارامتر سرعت، سطح اشغالی بر روی تراشه و توان مصرفی از اهمیت ویژه برخوردار هستند. وقتی مرتب کننده بر روی آرایه‌های منظقی برنامه­پذیر (FPGA) پیاده سازی شود، از آنجا که این بلوک به عنوان یک پردازشگر جانبی در کنار سایر بلوک‌های افزاری قرار می‌گیرد، تعداد CLBهای اشغال شده پارامت...

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

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

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

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

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