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

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

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

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

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

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

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

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