رساله حاضر با هدف بازسازی و بررسی منطق شرطی لزومی سینوی ذیل نظام های منطق جدید تدوین و ارائه شده است. دنبال کردن چنین هدفی نیازمند دو فعالیت مستقل و جداگانه است: 1) مطالعه شرطی لزومی در چارچوب نظام منطق سینوی، 2) بازسازی نتایج این مطالعات در نظام های جدید منطق بر این اساس در ابتدا بررسی و داوری اولیه در باب مباحث شرطی لزومی سینوی در محدوده بنیادهای مورد قبول منطق دانان سینوی و مبتنی بر کاربر...

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

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

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

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

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

در این تحقیق حذف مواد رنگزای کاتیونی از پساب نساجی با استفاده از فلدسپار در سیستم‌های تک‌جزیی و دوجزیی مورد بررسی قرار گرفته است. دو رنگزای کاتیونی بازیک آبی 41 و بازیک قرمز 18 به عنوان مدل استفاده شدند. خصوصیات سطحی فلدسپار با استفاده از میکروسکوپ الکترونی پویشی (SEM)، تبدیل فوریه زیر قرمز (FT-IR) و پراش پرتو ایکس (XRD) مورد مطالعه قرار گرفت. تأثیر عوامل مختلف مؤثر بر فرآیند حذف رنگ از جمله مق...

در این پایان نامه یک روش عددی بر پایه موجک های هار برای حل عددی دستگاه زوج معادلات دیفرانسیل معمولی که با مسائل جریان سیال همرفت طبیعی لایه مرزی باpr ‎ بالا در ارتباط هستند، ارائه می دهیم. برای این مسائل تأثیر تغییرات ‎pr‎ روی انتقال حرارت در سیال بررسی شده است. به منظور محک زدن دقت روش، سیال ویسکوالاستیک را که دارای جواب دقیق است با این روش امتحان می کنیم‎.‎ همچنین مسائل مقدار مرز...

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

این مقاله به بررسی کاربرد سیستمهای فازی tsk مرتبه بالا در مدلسازی رفتار سلول های فوتوولتاییک می پردازد. در این مقاله روشی برای آموزش سیستم های فازی tsk مرتبه دو با متد یادگیری anfis (سیستم استنتاج فازی عصبی مصنوعی) ارائه شده است. واضح است که سیستم های فازی tsk مرتبه بالا تقریبگرهای دقیقتری هستند زیرا با در نظر گرفتن تعداد قواعد یکسان و تعداد توابع تعلق ورودی یکسان نسبت به سیستم های مرتبه صفر و ...