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

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

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

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

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

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

پس از فروپاشی شوروی سابق در سال 1991 و شکلگیری جمهوریهای تازه استقلالیافته در منطقهی آسیای مرکزی و قفقاز زندگی سیاسی، اجتماعی، نظامی و اقتصادی این کشورها با حوادث گوناگونی روبهرو بوده است. این در حالی است که قدرتهای منطقهای و فرامنطقهای نظیر ایران و آمریکا همواره رقابت تنگاتنگی برای حضور تعیینکننده و مؤثر در منطقهی مزبور داشتهاند. بعد از وقوع حادثهی 11 سپتامبر 2001 و حملهی آمریکا به افغانستان ن...

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

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