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

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

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

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

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

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

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

انسان در ادراک گفتار روزمره با انواع تنوعات در سیگنال ورودی برخورد می کند و علیرغم آنها وظیفه درک به خوبی انجام می شود. به عنوان نمونه هائی از این تنوعات در بازشناسی گفتار می توان از نویزهای مختلف مانند نویزهای جمعی یا نویز کانال نام برد که به صورت ایستان و یا غیرایستان به سیگنال گفتار اضافه می شوند. مشاهده می شود که کارائی سیستمهای بازشناسی گفتار به عنوان مدلهائی از درک گفتار در انسان با تغییر...