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

بعلاوه این نتایج به فضاهای cat(0) تعمیم داده می شوند. همچنین نتایجی درباره نقاط ثابت و همگرایی تکرار مان-گونه نگاشت های سوزکی-نامبسوط تعمیم یافته در فضاهای cat(0) ارایه می گردند.

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

مجموعه ی همه ی زیرفضاهای یک فضای برداری را هندسه ی تصویری از مرتبه ی روی میدان متناهی نامیده و با ‎‎‏نشان می دهند. تابع یک متر روی هندسه ی تصویری ‎‎‏تعریف می کند. یک زیرمجموعه از یک کد زیرفضا نامیده می شود.برای هر عدد ثابت نامنفی مجموعه ی همه ی زیرفضاهای بعدی از گراسمانیان نامیده می شود و با نشان داده می شود. اگر یک کد زیرفضا زیرمجموعه ای از گراسمانیان باشد آن را یک کد با بعد ثابت می نامند. کده...

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

در این مقاله با استفاده از تلفیق روش هم­پوشانی و هموتوپی ­پرتوربیشن یک روش بدون شبکه­ و بدون انتگرال برای حل مسئله هدایت معکوس مرزی ارائه شده است. یک هموتوپی ویژه برای معادله هدایت متناسب با مسئله معکوس مرزی ارائه شده است. از توابع به­دست آمده از این روش به عنوان توابع حدسی برای روش هم­پوشانی استفاده شده است. همچنین، روش هموتوپی پرتوربیشن برای مسئله هدایت پسرو به شکلی به­کار گرفته شده که بتوان ...

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

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

در این تحقیق تلاش میکنیم تا با استفاده از دادههای طرح جامع آمارگیری بخش صنعت ایران طی دوره (1386-1358) و با استفاده از رویکرد تغییرات حدسی و درجه توافق میزان قدرت انحصاری در دو صنعت نساجی و خودروسازی ایران را اندازهگیری نماییم. دلیل انتخاب این دو صنعت استراتژیک بودن، بزرگی اندازه و سهم آنها در اشتغال است. برای تأمین اهداف پیشبینیشده در این تحقیق با استفاده از تابع هزینه و تقاضای نهادهها و کاربر...

در این مطالعه اثر تمرکز بازار و کارایی هزینه در صنعت بانکداری کشور بر حاشیه نرخ سود بانکی با استفاده از مدل سازمان صنعتی تجربی جدید(NEIO) بررسی شده است. برای این منظور در راستای بررسی قدرت بازاری و کارایی هزینه، از مدل توسعه یافته توسط آزام (1997) استفاده شده و ساختار بانکی کشور براساس 15 بانک فعال در بازار متشکل پولی ارزیابی شده است. نتایج این تحقیق بیانگر کاهش قدرت بازاری بانک‌ها در طی سال ها...