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

حدیث «یکونُ بَعْدی اثْنَاعَشَرَ خَلِیفَهً» از احادیث شاخص در بحث خلافت پیامبر2 است که بر جانشینی و امامت ائمۀ شیعه دلالت دارد و در پرتو این روایات، حقانیت اعتقادات امامیه اثبات می شود. نقل های فراوانی از روایت «اثناعشر خلیفه» در منابع اهل سنت وجو دارد. بیشتر علمای این مذهب در تطبیق حدیث مذکور بر خلفای خود، بر عبارت های الحاقی آخر حدیث تکیه کرده اند. از شرایط ضروریِ کشف دلالت دقیق این حدیث و نقد توجیهات برخی...

چکیده از حکمت‌های بسیار زیبای نهج‌البلاغه به‌لحاظ ساختاری و محتوایی، حکمت 289 است. امام علی (ع) در این حکمت، ویژگی‌های انسانی را برمی‌شمرند که شایستگی برادری امیرالمومنین (ع) را داراست. این حکمت دربردارندۀ نکاتی است که دربارۀ آن‌ها بین مترجمان و شارحان نهج‌‌البلاغه اختلاف نظر وجود دارد. از این‌رو، بررسی این اختلافات نکات جدیدی را از فهم کلام امام (ع) نمایان می‌کند؛ البته دربارۀ بعضی از آن‌ها هی...

در این مقاله به بررسی ترکیب مطلوب افزایش طرح های بهبود دهنده عملیات تخلیه و بارگیری ترمینال کانتینری بندر شهید رجایی می پردازیم. برای این منظور از شبیه سازی و تصمیم گیری های چند معیاره استفاده خواهیم کرد. برای شبیه سازی سیستم و آلترناتیو های بهبود دهنده از نرم افزار شبیه سازی arena و برای تحلیل آلترناتیوها از مقایسات زوجی روش ahp و روش topsis استفاده می کنیم. در این پژوهش 4 آلترناتیو کلی و 4 شا...

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

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

قرآن کریم در آیه 133 سوره آل عمران، به توصیف بهشتی می‌پردازد که از آنِ متقین است و آنگاه در آیه 134 به تبیین ویژگی‌های ایشان می‌پردازد. «کظم غیظ» یکی از این اوصاف است که از منظر مفسرین در خصوص کسانی به کار می‌رود که با آن که قادر به بروز خشم و عقوبت شخص مقصر هستند، خشم خود را فرو می‌خورند. ارتباط اوصاف برشمرده و عبارت «محسنین» در پایان آیه، برخی مفسران را بر آن داشته تا از طریق ارتباطی ساختاری، ...

روش متداول در تفسیر متون به ویژه استظهار متون دینى، برگرفته از مباحث الفاظ اصول است که عبارت است از اکتفا به صیغه‏هاى امر و نهى. نگارنده در این مقاله در صدد است تا با نقد این دیدگاه، روشى جدید در تفسیر متون ارائه کند که عبارت است از تفسیر متن بر اساس نظام اقتضائات.

دلالت‌شناسی ضمایر اشاره‌‌ای مرکّب یکی از مباحث مهم در فلسفۀ زبان است. سه مسئلۀ اساسی در این حوزه را می‌توان این گونه بیان کرد: 1) آیا این ضمایر دالّ محض هستند و یا عباراتی مسوّر؟ 2) آیا در ضمیر مرکّب «آن ب» عبارت «ب» در تعیین مدلول و موفقیت‌‌‌آمیز‌ بودن اِرجاع ضمیر نقشی دارد؟ و 3) سهم عبارت «ب» در گزاره‌‌ای که بیان می‌شود، چیست؟ در پاسخ به پرسش اول، باید گفت که ضمایر اشاره‌‌ای مرکّب، دالّ محض هستند. د...

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