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

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

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

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

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

مطالعات زمین شناسی حاکی از آن است که اکثر شهرهای بزرگ دنیا درنزدیک یا روی گسل ساخته شده اند. بنابراین احتمال وقوع زلزله از نوع near-field در این شهرها بسیار بالا می باشد.زلزله های near-field اخیر نظیر زلزله های northridge و kobe و chi-chi و ترکیه (izmit و koceili) آسیب های بسیاری را به سازه ها وارد کرده و باعث از دست رفتن زندگی بسیاری از مردم شده است. مشخصات اصلی حرکت زمین در زلزله near-field، ...

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

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

این مطالعه یک مدل منطق فازی مرکب نظارت شده  (SCFL)برای تخمین قابلیت­انتقال در آبخوان دشت تسوج ارائه می کند. تخمین قابلیت­انتقال به ویژه در آبخوان ناهمگن بسیار پرهزینه و وقت گیر است. در این مطالعه، برای تخمین قابلیت­انتقال با استفاده از داده های هیدروژئولوژیکی و ژئوفیزیکی از مدل های فازی مانند ممدانی(MFL)، لارسن  (LFL)  و ساگنو (SFL) استفاده شد. این مدل ها، نتایج مشابهی در تخمین قابلیت­انتقال در...

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