در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...

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

در این مقاله سازوکار سینتیک شیمیایی تفصیلی (76 گونه شیمیایی، 464 واکنش) برای مخلوط گاز طبیعی و هپتان نرمال، با جزء جرمی دلخواه بین 34 و 85 درصد گاز طبیعی، با استفاده از ترکیب واکنش­های تفصیلی گاز طبیعی و هپتان نرمال توسعه یافت. سپس با انجام تحلیل حساسیت سازوکار ترکیبی، واکنش­های مهم مشخص شدند. همچنین از الگوریتم ژنتیک، برای بهینهسازی ضرایب آرنیوس واکنش­ های مشخص شده توسط آزمون حساسیت، استفاده ش...

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

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

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

هدف از این پایان نامه بررسی منطق ‏‎mcml‎‏ و مقایسه آن از لحاظ توان مصرفی و سرعت با منطقهای دیگر از جمله ‏‎cpl‎‏، ‏‎coms‎‏ و ‏‎domino‎‏ می باشد.نتایج بدست آمده نشان می دهد ، جمع کننده های 8بیتی با تکنیک ‏‎carry-lock-ahead(cla)‎‏ و منطقهای ‏‎cpl,modl ‎‏ و ‏‎dymcml‎‏ طراحی شده و آنها را از لحاظ توان مصرفی و سرعت مقایسه شده اند.

اندرسون و بلنپ در سال 1975 در کتاب entailment تلاشهای فراوانی برای نشان دادن همه کاربردهای ماتریسهای چندارزشی در منطقهای ربط کرده اند و ما هم در این پایان نامه برخی از این کاربردها را به تفصیل از این کتاب گزارش می کنیم و هدف عمده ما معرفی مواردی است که اندرسون و بلنپ به عنوان کاربردهای ماتریسهای چندارزشی در منطقهای ربط ذکر کرده اند. در این پایان نامه یرای تشخیص فرمولهای فاقد «ضرورت» و «ربط» بین...