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

در این پایان نامه دو تعریف برای شبه طیف عملگر خطی وکران دار در فضای باناخ در نظر می گیریمکه یکی با نا مساوی اکید ودیگری با نامساوی غیر اکید است. هدف ما در در این پایان نامه دو تعریف برای شبه طیف عملگر خطی وکران دار در فضای باناخ در نظر می گیریمکه یکی با نا مساوی اکید ودیگری با نامساوی غیر اکید است. هدف ما در این پایان نامه مطالعه برخی تعریف های معادل برای این دو تعریف است.این پایان نامه مطالعه ...

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

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