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

در نتیجه آلام و فجایع ناشی از دو جنگ سترگ در سده اخیر بود که جامعه بین المللی دریافت که «در جنگ حقوق ساکت است» و بر آن شد که در کنار تدوین، به تضمین هم بیاندیشد. درست به همین دلیل است که       می توان ماده 1 مشترک کنوانسیون های ژنو 1949 و تکرار مضمون آن در پروتکل اول 1977 را برآیند فرایندی تکاملی دانست که به اجرای مقررات کنوانسیون بسنده نکرده و تضمین اجرای آن را هم مدنظر قرار می دهد. می توان هم...

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

بررسی رفتار سیاست گذار مالی ایران در دوره زمانی ۱۳۵۷ تا ۱۳۹۱ با استفاده از روش تخمین ﮔﺸﺘﺎورﻫﺎی ﺗﻌﻤﯿﻢ ﯾﺎﻓﺘﻪ (gmm) نشان می دهد سیاست مالی موافق چرخه های تجاری بوده است که مؤید آن است که دولت نتوانسته است به عنوان یکی از عوامل ثبات ساز در محیط اقتصاد کلان، نقشی ایفا نماید. همچنین ارزیابی تلاطم قیمت نفت، اندازه دولت، دسترسی به بازارهای اعتباری خارجی، دموکراسی، کیفیت نهادها به عنوان متغیرهای مؤثر بر...

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

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