فهرست مقالات های تکاملی

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - عدالت بر پایۀ میثاق‏های برآمده: تحلیلی انتقادی از ایدۀ قرارداد اجتماعی اِسکِرمز
  محمدهادی  زاهدی‏وفا داود  منظور محمد جواد  رضائی
  طی دو دهۀ اخیر برخی فلاسفه علوم اجتماعی و اقتصاددانان علاقه خویش را به تبیین‏های تکاملی از عدالت نشان داده‏اند. برایان اسکرمز یکی از نوآوران اصلی چنین تبیین‏هایی است. دو اثر مهم وی، یعنی تکامل قرارداد اجتماعی (1996) و شکار گوزن و تکامل ساختار اجتماعی (2004)، تلاش‏هایی د چکیده کامل

  طی دو دهۀ اخیر برخی فلاسفه علوم اجتماعی و اقتصاددانان علاقه خویش را به تبیین‏های تکاملی از عدالت نشان داده‏اند. برایان اسکرمز یکی از نوآوران اصلی چنین تبیین‏هایی است. دو اثر مهم وی، یعنی تکامل قرارداد اجتماعی (1996) و شکار گوزن و تکامل ساختار اجتماعی (2004)، تلاش‏هایی در راستای طرح چنین تبیین‏هایی از عدالت با استفاده از نظریه بازی‏های تکاملی هستند. هدف این مقاله، شرح و ارزیابی چارچوب تحلیلی و مبانی ایدۀ اسکرمز است. از این رو، مقاله بر اساس روش نظری و تحلیلی عناصر بناکنندۀ تلقی اسکرمز از قرارداد اجتماعی را شناسایی کرده و سپس به ارزیابی آن‏ مبانی پرداخته است. یافته‏های این تحقیق حاکی از آن است که اسکرمز در پی طبیعی‏سازی مفاهیمی چون عدالت است؛ پروژه‏ای که با کاستی‏هایی چون تلقی اثباتی از ارزش‏ها و عدم سازگاری درونی روبروست پرونده مقاله
• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  2 - یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری
  عین الله پیرا
  تحلیل ایمنیِ سیستم های نرم افزاری، خصوصاً از نوع بحرانی-ایمنی، باید بطور دقیق انجام شود چون که وجود حتی یک خطای کوچک در چنین سیستم هایی ممکن است نتایج فاجعه باری داشته باشد ضمناً چنین تحلیلی باید قبل از پیاده سازی یعنی در مرحله طراحی و در سطح مدل انجام شود. وارسی مدل یک چکیده کامل

  تحلیل ایمنیِ سیستم های نرم افزاری، خصوصاً از نوع بحرانی-ایمنی، باید بطور دقیق انجام شود چون که وجود حتی یک خطای کوچک در چنین سیستم هایی ممکن است نتایج فاجعه باری داشته باشد ضمناً چنین تحلیلی باید قبل از پیاده سازی یعنی در مرحله طراحی و در سطح مدل انجام شود. وارسی مدل یک روش دقیق و مبتنی بر ریاضی است که ایمنی سیستم های نرم افزاری را با دریافت مدلی از آن و بررسی تمام حالت های قابل دسترس مدل انجام می دهد. با توجه به پیچیدگی بعضی سیستم ها و مدل های آن، وارسی مدل ممکن است با مشکل انفجار فضای حالت مواجه شود. بنابراین، وارسی مدل بجای تایید ایمنی چنین سیستم هایی، آنها را با یافتن خطاهایی از جمله بن بست رد می-کند. اگر چه قبلا هیوریستیکی برای یافتن بن بست در فضای حالت مدل ارائه شده و آن را در چندین الگوریتم جستجوی مکاشفه ای ساده و تکاملی بکار برده اند ولی سرعت تشخیص آن پایین بوده است. در این مقاله، یک هیوریستیک جدید برای یافتن بن بست در فضای حالت مدل ارائه کرده و سرعت تشخیص آن را، با بکار بردن در الگوریتم های جستجوی مکاشفه ای ساده از جمله عمقی تکرار شونده A* و جستجوی پرتو و الگوریتم های تکاملی مختلف از جمله ژنتیک، بهینه سازی ازدحام ذرات و بهینه سازی بیزی با روش قبلی مقایسه می کنیم. نتایج مقایسه تایید می کنند که هیوریستیک جدید می تواند حالت بن بست را در زمان کمتری نسبت به هیوریستیک قبلی پیدا کند. پرونده مقاله