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

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

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

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

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

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

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

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