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

این پایان نامه اثباتی از پایداری هذلولوی سرتاسری، که کاملا توپولوژیک و متفاوت با اثبات گروش است و معرفی تابع زمان کیهانی و بررسی برخی از ویژگی های می باشد.

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

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

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

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

بررسی روند تغییرات و شناخت مورفولوژی رودخانه، شامل تشخیص الگوی رود – روند تغییرات و جابجایی مسیر رودخانه در یک دوره زمانی طولانی مدت امری بسیار مهم است. در این پژوهش روند تغییرات بستر رودخانه مارون در بازه زمانی از سال 1955 تا 2010 و در سه بازه مکانی با استفاده از عکس های هوایی، تصاویر ماهواره ای و روش ترانسکت مورد بررسی قرار گرفته است. نتایج حاکی از آن است که بررسی میزان تغییرات کناره های بستر...

برکسی پوشیده نیست که داده های بهنگام بارش با تفکیک مکانی-زمانی مناسب پایه ی اول هر گونه پژوهش در ارتباط با بارش است. برای انجام این پژوهش داده های روزانه ی بارش ایران زمین طی بازه ی زمانی1/1/1951 تا 31/12/2007 از پایگاه داده ی افرودیت با قدرت تفکیک مکانی 25/0 درجه ی قوسی برداشت شد. یک پایگاه داده ی گاه جای در ابعاد 2491×20818 ایجاد شد که بر روی سطرها روز و بر روی ستونها یاخته های داخل مرز ایران...

موضوع بانک و بانکداری البته به مفهوم امروزی آن، پیش از زمان معاصر در دوره اسلامی سابقه‏ای ندارد؛ لیکن در اسلام برای انواع فعالیتهای اقتصادی و مالی همواره قوانین و مقرّراتی وجود داشته و پول فلزی یا کاغذی و اسناد بهادار همچون سفته در جامعه اسلامی رایج بوده است. اسلام برخی معاملات و فعالیتهای اقتصادی و تجاری رایج میان عقلا را امضا و تأیید و برخی دیگر را ممنوع اعلام کرده است. حجم گسترده‏ای از مسائل ...