فرض می کنیم s یک نیم گروه و c زیرمجموعه محدب ، بسته و به طور ضعیف فشرده از فضای باناخ e باشد و : t ? s }} = ? یک نیم گروه غیرانبساطی روی c باشد که f = f (?) ? ? اگر ها شبه غیر ا نبساطی باشند یا e قویا محدب باشد آنگاه یک درون بری غیر انبساطی p از c به f وجود دارد به طوری که برای هر t ? s داریم = p p = p و هر زیرمجموعه محدب بسته ? - پایا از c همچنین p - پایا است . با تغییر شرایط ، وجود درون بری...

هدف این پایان نامه اثبات پایدری همولوژی برای گروههای خطی عام روی یک حلقه موضعی با میدان مانده نامتناهی است. قضیه پایداری همولوژی روی چنین حلقه ای ادعا می کند که برای عددهای صحیح q و n، همریختی طبیعی ( hq(inc): hq(gln(r),z)? hq(gln+1(r),z برای q ? n پوشا و برای q ? n ?1دو سویی است. در اینجا(inc:gln(r)? gln+1(r نگاشت شمول با ضابطه(a ? diag(a , 1 می باشد.برای اثبات این قضیه از ابزارهای مهمی...

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

سیگنال‌های زیستی مختلف شامل EEG، EOGو EMGبه منظور تشخیص اختلالات خواب در آزمایشگاه‌های خواب ثبت می‌شوند. تحلیل اطلاعات ثبت شده در زمان خواب به‌وسیله متخصص خواب، به صورت شهودی انجام می‌شود. طبقه‌بندی شهودی مراحل خواب به دلیل طولانی بودن ثبت‌ها، کار زمان‌بر و خسته کننده‌ای است. تحلیل خودکار خواب می‌تواند این امر را تسهیل کند. مهم‌تر...

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

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

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

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

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