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

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

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

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

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

the purpose of this study was the relationship between problem – solvi ability with fdi cognitive style of students.the research method was correlation method. for data analysis pearson test was used. statistical society in this research was all the students of alligoodarz city in 1391-92 year.to sampling of statiscal population was used sampling multi-stage random the size of sample selected 2...

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

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