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

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

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

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

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

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

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

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

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

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