در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بندا...

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

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

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

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

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

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

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