طی دو دهۀ اخیر برخی فلاسفه علوم اجتماعی و اقتصاددانان علاقه خویش را به تبیینهای تکاملی از عدالت نشان دادهاند. برایان اسکرمز یکی از نوآوران اصلی چنین تبیینهایی است. دو اثر مهم وی، یعنی تکامل قرارداد اجتماعی (1996) و شکار گوزن و تکامل ساختار اجتماعی (2004)، تلاشهایی د أکثر
طی دو دهۀ اخیر برخی فلاسفه علوم اجتماعی و اقتصاددانان علاقه خویش را به تبیینهای تکاملی از عدالت نشان دادهاند. برایان اسکرمز یکی از نوآوران اصلی چنین تبیینهایی است. دو اثر مهم وی، یعنی تکامل قرارداد اجتماعی (1996) و شکار گوزن و تکامل ساختار اجتماعی (2004)، تلاشهایی در راستای طرح چنین تبیینهایی از عدالت با استفاده از نظریه بازیهای تکاملی هستند. هدف این مقاله، شرح و ارزیابی چارچوب تحلیلی و مبانی ایدۀ اسکرمز است. از این رو، مقاله بر اساس روش نظری و تحلیلی عناصر بناکنندۀ تلقی اسکرمز از قرارداد اجتماعی را شناسایی کرده و سپس به ارزیابی آن مبانی پرداخته است. یافتههای این تحقیق حاکی از آن است که اسکرمز در پی طبیعیسازی مفاهیمی چون عدالت است؛ پروژهای که با کاستیهایی چون تلقی اثباتی از ارزشها و عدم سازگاری درونی روبروست
تفاصيل المقالة
تحلیل ایمنیِ سیستم های نرم افزاری، خصوصاً از نوع بحرانی-ایمنی، باید بطور دقیق انجام شود چون که وجود حتی یک خطای کوچک در چنین سیستم هایی ممکن است نتایج فاجعه باری داشته باشد ضمناً چنین تحلیلی باید قبل از پیاده سازی یعنی در مرحله طراحی و در سطح مدل انجام شود. وارسی مدل یک أکثر
تحلیل ایمنیِ سیستم های نرم افزاری، خصوصاً از نوع بحرانی-ایمنی، باید بطور دقیق انجام شود چون که وجود حتی یک خطای کوچک در چنین سیستم هایی ممکن است نتایج فاجعه باری داشته باشد ضمناً چنین تحلیلی باید قبل از پیاده سازی یعنی در مرحله طراحی و در سطح مدل انجام شود. وارسی مدل یک روش دقیق و مبتنی بر ریاضی است که ایمنی سیستم های نرم افزاری را با دریافت مدلی از آن و بررسی تمام حالت های قابل دسترس مدل انجام می دهد. با توجه به پیچیدگی بعضی سیستم ها و مدل های آن، وارسی مدل ممکن است با مشکل انفجار فضای حالت مواجه شود. بنابراین، وارسی مدل بجای تایید ایمنی چنین سیستم هایی، آنها را با یافتن خطاهایی از جمله بن بست رد می-کند. اگر چه قبلا هیوریستیکی برای یافتن بن بست در فضای حالت مدل ارائه شده و آن را در چندین الگوریتم جستجوی مکاشفه ای ساده و تکاملی بکار برده اند ولی سرعت تشخیص آن پایین بوده است. در این مقاله، یک هیوریستیک جدید برای یافتن بن بست در فضای حالت مدل ارائه کرده و سرعت تشخیص آن را، با بکار بردن در الگوریتم های جستجوی مکاشفه ای ساده از جمله عمقی تکرار شونده A* و جستجوی پرتو و الگوریتم های تکاملی مختلف از جمله ژنتیک، بهینه سازی ازدحام ذرات و بهینه سازی بیزی با روش قبلی مقایسه می کنیم. نتایج مقایسه تایید می کنند که هیوریستیک جدید می تواند حالت بن بست را در زمان کمتری نسبت به هیوریستیک قبلی پیدا کند.
تفاصيل المقالة
رایمگ
يقوم نظام رایمگ بتنفيذ جميع عمليات الاستلام والتقييم والحكم والتحرير وتخطيط الصفحة والنشر الإلكتروني للمجلات العلمية.