دانلود مقالهISI تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل

اختصاصی از زد فایل دانلود مقالهISI تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی : تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل

موضوع انگلیسی : Formal verification of ethical choices in autonomous systems

تعداد صفحه : 14

فرمت فایل :pdf

سال انتشار : 2015

زبان مقاله : انگلیسی

چکیده

سیستم های مستقل: مانند وسایل نقلیه بدون سرنشین شروع به در جامعه به کار گیرند. همه شرکت کنندگان
در جامعه مورد نیاز به دنبال مقررات و قوانین ویژه. یک سیستم مستقل نمی تواند باشد
استثناء است. به ناچار یک سیستم مستقل خواهد شد و خود را در وضعیتی که در آن به نه تنها نیاز
را انتخاب کنید به اطاعت یک قاعده یا نیست، بلکه تصمیم گیری های پیچیده اخلاقی است. با این حال، وجود ندارد آشکار وجود دارد
پیاده سازی راه را برای درک بشر از رفتار اخلاقی در رایانه است. حتی اگر ما را قادر می سازد
سیستمهای مستقل به تشخیص تر و کمتر جایگزین اخلاقی، چگونه می توانیم مطمئن شوید که
که آنها را انتخاب کنید راست؟ از نظر ما سیستم های مستقل با معماری ترکیبی که در آن
بالاترین سطح از استدلال است که توسط یک (BDI) فاعل عقلانی اجرا می شود. چنین سیستمی برای تأیید رسمی شما
با موفقیت مورد استفاده تا ثابت کند که قوانین خاص از رفتار مشاهده می هنگامی که ساخت decisions.We
یک چارچوب نظری برای انتخاب اخلاقی که می تواند به طور رسمی طرح verified.We به پیاده سازی پیشنهاد
که شامل یک فاعل عقلانی در انتخاب طرح خود را داده و سیاست اخلاقی نشان می دهد که ما به طور رسمی می توانید
که منظور بررسی عامل را اجرا، به بهترین عقاید خود، طرح اخلاقی ترین در دسترس است.

کلمات کلیدی:
سیستم های مستقل
اخلاق
برنامه های BDI
تأیید رسمی

تحقیق بررسی و تحلیل عوامل مؤثر در پیدایش و گسترش اسکان غیر رسمی

اختصاصی از زد فایل تحقیق بررسی و تحلیل عوامل مؤثر در پیدایش و گسترش اسکان غیر رسمی دانلود با لینک مستقیم و پر سرعت .

تحقیق بررسی و تحلیل عوامل مؤثر در پیدایش و گسترش اسکان غیر رسمی

چکیده :

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

روش تحقیق توصیفی – تحلیلی است.

جامعة‌آماری محلة‌ خضرآباد شهر یزد می باشد. برای گرد آوری اطلاعات مورد نیاز از روش کتابخانه ای، ابزار پرسشنامه، مصاحبه و مشاهده بهره گرفته شده است نوع نمونه گیری استفاده شده در این تحقیق تصادفی بوده است برای تجزیه وتحلیل و پردازش داده ها از نرم افزار spss , excel استفاده شده است.

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

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

واژگان کلیدی : اسکان غیر رسمی، حاشیه نشینی، توانمند سازی – ساماندهی

مقدمه :

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

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

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

این تحقیق در 44صفحه اماده است

رام رسمی Y550-L01

اختصاصی از زد فایل رام رسمی Y550-L01 دانلود با لینک مستقیم و پر سرعت .

رام رسمی Y550-L01 با بیلد نامبر 256 را برای شما آماده کرده ایم.

رام رسمی Y550-L01

اختصاصی از زد فایل رام رسمی Y550-L01 دانلود با لینک مستقیم و پر سرعت .

رام رسمی Y550-L01 با بیلد نامبر 256 را برای شما آماده کرده ایم.