الگوریتم های پردازش تصویر جهت شناسایی ساختمان ها با استفاده از تصاویر ماهواره ای به دو گروه کلی تقسیم می شوند: روش های پیکسل مبنا و روش های شی مبنا و گاهی نیز ترکیبی از این دو گروه. در روش های اول مبنای تصمیم گیری، اختلاف درجه ی خاکستری پیکسل هاست. پژوهش های قبلی، این گروه را برای تصاویر ماهواره ای قدرت تفکیک بالا چندان مناسب ندانسته اند. درمقابل روش های شی مبنا که بر مبنای گروه همگنی از پیکسل ...

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

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

در این پایان نامه نتایجی را که در رابطه با مدول های پروژکتیو گرنشتاین و بعد پروژکتیو گرنشتاین به دست می آید، بررسی می کنیم. هم چنین به اثبات قضایای زیر می پردازیم: (1) فرض کنید ℵ یک کلاس از r- مدول ها باشد که یا حلال پروژکتیوی یا حلال انژکتیوی است. اگر ℵ تحت جمع های مستقیم شمارا یا تحت ضرب های مستقیم شمارا بسته باشد، آن گاه ℵ تحت جمعوند های مستقیم بسته است. (2) کلاس gp(r) ( همه r- مدول های پر...

برای گروه موضعاً فشردهg فرض کنید l_0^(? ) (g)مجموعه همه ی توابع f?l^? (g)باشد که در بی نهایت صفر می شوند. همچنین فرض کنیدluc(g) مجموعه همه ی توابع به طور یکنواخت پیوسته چپ باشد. دراین پایان نامه به بررسی خواص همولوژیکی از جمله تصویری، انژکتیو و مسطح بودن برخی l^1 (g) -مدول های باناخ، مانند،l_0^(? ) (g) l_0^? ?(g)?^(* )، luc(g)و? luc(g)?^*می پردازیم. علاوه براین خواص همولوژیکی luc(g) و?luc(g)?^...

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

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

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

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

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