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

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

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

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

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

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

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

مجموعه فازی نوع 2 مجموعه ایست که درآن ما همچنین عدم قطعیت در تابع عضویت داریم.البته سیستم های فازی نوع 2 شامل قوانین اگر-آنگاه فازی میباشد که دارای مجموعه فازی نوع 2 می باشد.ما می توانیم بگوییم که منطق فازی نوع 2 تعمیمی از منطق فازی مرسوم است(نوع 1) بدین معنی که عدم قطعیت نه تنها به متغیر های زبانی محدود نمی شود بلکه در تعریف توابع عضویت نیز وجود دارد در قسمت پردازش خروجی که تاکید اصلی بر روی ا...

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

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