در این پایان نامه، روش های جدید طراحی ماسک مبتنی بر ساختار شنیداری به منظور استفاده در سیستم های تصدیق گوینده در شرایط واقعی آکوستیکی پیشنهاد می شوند. برای نیل به این هدف، ابتدا، ماسک های انتخاب کانال ایده ال (ics)، شامل ics-ds، ics-er و ics-r، مبتنی بر ویژگی های gf، mf، rasta و pn طراحی شده و در سیستم تصدیق گوینده مورد استفاده قرار می گیرند. از آنجا که عملکرد سیستم تصدیق گوینده مبتنی بر mf-ics...

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

در مواردی سخن مدّعی، بر پایه قاعده­ی «کلّما لا یعلم الّا من قبل المدّعی، یقبل قوله فیه بلا بیّنه» بدون نیاز به اقامه­ بیّنه، پذیرفته می­شود به این معنا، هر چیزی که تنها به واسطه­ی مدّعی دانسته  می­شود و از طرف او قابل اثبات می­باشد، ادّعای وی در آن مورد بدون نیاز به بیّنه پذیرفته می­شود. این قاعده مشهور در ابواب مختلف فقه مانند شرکت، نکاح، طلاق و زکات کاربرد دارد و ادله­ای مانند روایات، بنای عقلاء، استق...

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

تعریف سنتی مفهوم معرفت عبارت است از «باور صادق ‎موجه». مفهوم «تصدیق یقینی» که در عبارات ابن‎سینا معادل علم تصدیقی دانسته شده است، مؤلفه‎های تقریباً مشابهی با مفهوم معرفت گزاره‎ای دارد. از نظر ابن‎سینا تصدیق یقینی یا همان علم تصدیقی عبارت است از تصدیق یک قضیه به سبب علم به علت موجبه صدق آن قضیه. علت صدق قضایای یقینی بدیهی درون این قضایا، و علت صدق قضایای یقینی نظری بیرون از این قضایا است. همچنین ...

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

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

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

در دیدگاه ابوالحسن اشعری، «ایمان» در لغت به معنای تصدیق و در اصطلاح عبارت است از تصدیق به وجود خداوند، پیامبران، و اوامر و نواهی او. از نظر اشعری، تنها تصدیق رکن ایمان است و اقرار زبانی و عمل به اعضاء از فروع ایمان محسوب می­شوند که از حوزه مفهومی ایمان خارج است. او، در تبیین این دیدگاه، ایمان را دست­خوش زیادت و نقصان دانسته است. همچنین وی اعتقاد داشته که ایمان باید مبتنی بر دلیل باشد؛ زیرا از ن...

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