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

آیات بسیاری در قرآن به‌صراحت حاکی از تصدیق تورات و انجیل هستند. این آیات معمولاً در تضاد با آیاتی قرار می‌گیرند که ظاهرشان دلالت بر تحریف تورات و انجیل می‌کند. معمولاً عالمان مسلمان توجیهاتی دربارۀ چگونگی رفع این تعارض ارائه کرده‌اند که پذیرش هرکدام از آنها با چون‌وچراهایی همراه است؛ اما در سال‌های اخیر بسیاری از قرآن‌پژوهان مسلمان و غیرمسلمان با استناد به تحلیل متنی آیات تحریف استدلال کرده‌اند ک...

این پژوهش با هدف ارائه‌ی روشی برای ارزیابی و تعیین اولویت اقدامات کاهش ریسک لرزه‏ای‎ در کشورهای لرزه‌خیز در حال توسعه و اختصاص بودجه‌ی لازم به این اقدامات و یاری دادن مدیران و تصمیم‌گیرندگان در این امر انجام شده است. بنابراین یک مدل برنامه‎ریزی بهینه‎سازی‎ تصادفی (احتمالی) دو مرحله‏ای‎ توسعه داده شده است تا منابع اقتصادی اختصاص یافته به راهکارهای کاهش ریسک لرزه‏ای‎ (مقاوم‌سازی) و بازسازی پس از ...

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

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

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

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

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

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

  بحث دربارۀ مدلول بیانات اخلاقی دینی مبتنی بر اعتبار ادلة نقلی در اخلاق اسلامی است؛ یعنی پیش از پرداختن به آن باید به این سؤال پاسخ داده شود که آیا اساساً این ادله در اثبات گزاره‌های اخلاقی، حجیت و دلیلیت دارند یا خیر؟ بی‌شک قرآن کریم، احادیث متواتر و نیز اخبار آحاد مقرون به قرائن حجت هستند. این پژوهش به حجیت اخبار آحاد اخلاقی و تفاوت معنای حجیت در گزاره‌های فقهی و اخلاقی...