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

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

در این رساله ابتدا به مطالعه ماتریس های بلوکی مثبت از عملگرهای خود الحاق روی ‎-c*‎مدول های هیلبرت و‎-c*‎مدول های کرین به عنوان تعمیمی طبیعی از فضاهای کرین می پردازیم. سپس توجه خود را به نامساوی های عملگری روی فضاهای کرین معطوف می کنیم. نامساوی عملگری مشهور میانگین حسابی-هندسی-هارمونیک برای عملگرها روی فضاهای کرین از جمله آن ها ست. توابع کرین-محدب عملگری‎‎ را معرفی خواهیم کرد و با ارئه مثال هایی...

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

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

چکیده ندارد.

چکیده ندارد.

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

در این پایان نامه ابتدا تعاریفی از قاب و جمع مستقیم در فضاهای هیلبرت را ارائه داده و سپس دنباله ‏‏ی قاب با مجموعه اندیس شمارش پذیر در فضای هیلبرت را تعریف می‏کنیم [2,15]و درادامه شرایط لازم و کافی برای اینکه جمع دو دنباله بسل با عملگرهای مربوط به آن در فضای هیلبرت قاب باشد را در[3,2] بیان می‏کنیم.همچنین خواصی از جمع وجمع مستقیم دنباله‏های قاب در[12,6] بیان کرده که در این راستا شرایط لازم و کافی...

چکیده ندارد.