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

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

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

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

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

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

چکیده تامس کوون در 1962 نظریه­ای اصیل در فلسفة علم ابراز داشت. اما صاحب نظرانی ادعا کرده اند که هیدگر آنچه را کوون «پارادایم»، «علم متعارف» و «انقلاب علمی» می­نامید، پیشتر گفته بود. مته­متیکال بودن علم جدید، نیاز به جهانهای تفسیری و افق دانایی، مبانی ادعاهای قول هیدگر به پارادایم هستند. افکندن طرح جامع، مبنای اصلی قول او به علم متعارف است.  مقاومت ناهنجاریها و بازنگری ریشه­ای در مفاهیم بنیادین ...

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

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

از بعد از ملاصدرا تا کنون تفاسیر متعددی از اصالت وجود و اعتباریت ماهیت صورت گرفته که می توان این تفاسیر را به سه دسته تفکیک کرد: الف) تفسیر عرفی، ب) تفسیر فلسفی، ج) تفسیر عرفانی. نگارنده بر این باور است که تفاسیر فلسفی و عرفانی تفاسیری صحیح از اصالت وجودند ولی تفسیر عرفی تفسیری ناصحیح از اصالت وجود است که ناشی از نگاهی غیردقیق به مقولۀ هستی است. در این مقاله با مراجعه به آثار متعدد ملاصدرا تفسی...