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

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

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

نام و نام خانوادگی : رشید فریدپور مقطع تحصیلی : کارشناسی ارشد رشته و گرایش : الهیات – فلسفه و کلام اسلامی دانشکده : ادبیات وعلوم انسانی استاد راهنما : دکتر جعفر شانظری استاد مشاور : دکتر مهدی دهباشی اسرار اعداد و تطبیق آن با عوالم هستی در اندیشه ی علامه سید حیدر آملی (ره) تاریخ دفاع : 26/7/89 سید حیدر آملی (ره) یکی از بزرگ ترین عرفای جهان اسلام و نماینده برجسته ی عرفان ناب شی...

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

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

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

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

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

این مقاله ضمن اشاره به پیشینۀ سهروردی پژوهی در ایران و ضرورت توجه بیشتر به واکاوی ابعاد پنهان شخصیت و میراث فکری شهاب الدین سهروردی، ضمن اشاره به نقاط قوت این مجموعه مقالات (سهروردی پژوهی) در محورهایی همچون توجه به آخرین نوشته های ناظر به اصول فلسفه اشراق، جامعیت و تنوع موضوعی، توجه به فلسفه مقایسه ای، دقت در انتخاب مقالات و ویرایش محتوایی و صوری مجموعه و ... به بررسی این اثر پرداخته است. در پا...