در این پایان نامه توپوس f مجموعه ها را که به عنوان توپوس فرانکیل مستوسکی شناخته شده است معرفی خواهیم کرد ونشان می دهیم که رسته جبرهای بولی در این توپوس به اندازه کافی شئ انژکتیو دارد. سپس اصل خوش ترتیبی در یک توپوس مقدماتی و برخی از شکل های معادل اصل انتخاب در یک توپوس خوش نقطه را مطالعه خواهیم کرد و روابط بین اصل خوش ترتیبی و این شکل ها را نشان می دهیم.

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

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

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

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

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

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

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

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