پایان نامه تشخیص بن بست در سیستم‌های توزیع شده

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

چکیده :

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

فهرست :

مقدمه

فصل اول: تشخیص بن بست در سیستمهای توزیع شده

مفاهیم پایه

انواع مدلهای بن‌بست بر اساس سیستم تبادل پیام

انواع مدلهای بن‌بست بر اساس نوع درخواست

شرایط وجود بن‌بست

طبقه‌بندی الگوریتم‌های تشخیص بن‌بست

فصل دوم: مروری بر الگوریتم‌های تشخیص بن‌بست

مقدمه

نمونه‌ای از الگوریتم متمرکز جهت تشخیص بن‌بست در سیستمهای توزیع‌شده

الگوریتم هو رامامورتی

نمونه‌ای از الگوریتم‌های تشخیص بن‌بست سلسله‌مراتبی

الگوریتم منساس – مانتر

الگوریتم هو – رامامورثی

نمونه‌هایی از الگوریتم‌های توزیع‌شده

الگوریتم تشخیص بن‌بست چندی – مسیرا – هاس

الگوریتم محاسبه پخش کردن چندی – مسیرا – هاس

الگوریتم براچا – توگ

الگوریتم منساس و مانتز الگوریتم ابرمارک

الگوریتم ابرمارک

الگوریتم بدالض

فصل سوم: مروری بر الگوریتم‌های تشخیص بن‌بست توزیع شده تعقیب یال

مقدمه

بررسی الگوریتم‌های تشخیص بن‌بست تعقیب یال

الگوریتم میچل و مریت

الگوریتم سینها و ناتارجان

الگوریتم چودهاری – کوهلر – استنکویچ و توسلی

الگوریتم سینقال و شمکالیانی

تشخیص بن‌بست توزیع شده و حل آن بر اساس ساعتهای سخت‌افزاری

ارائه روشی برای حذف بن‌بست نادرست در الگوریتم‌های تشخیص بن‌بست

نتیجه‌گیری

فصل چهارم: الگوریتم‌های تشخیص بن‌بست توزیع شده تحمل خطاپذیر

مقدمه

مروری بر الگوریتم‌های تحمل‌پذیر خطا جهت تشخیص بن‌بست

معرفی مدل سیستم تشخیص خرابی بر اساس شاخص زمان اتصال

یک الگوریتم تشخیص بن‌بست توزیع شده تحمل‌پذیر خطا

اثبات درستی الگوریتم

نتیجه‌گیری

فصل پنجم: تشخیص و حل بن‌بست در سیستمهای نماینده موبایل

مقدمه

معرفی سیستمهای نماینده موبایل(نسل آینده سیستمهای توزیع شده)

تشخیص بن‌بست توزیع‌شده در سیستمهای نماینده موبایل

معایب الگوریتم اصلی و مشکلات کارایی الگوریتم

الگوریتم تشخیص بن‌بست توزیع شده مبتنی بر اولویت بهبودیافته

آنالیز کارایی الگوریتم بهبودیافته

اثبات درستی الگوریتم

نتیجه‌گیری

نتیجه‌گیری

فهرست منابع

پیوست‌ها

نوع فایل : Word

تعداد صفحات : 96 صفحه

مقاله تشخیص بن بست در سیستم‌های توزیع شده

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

عنوان مقاله:تشخیص بن بست در سیستم‌های توزیع شده

-۱- مفاهیم پایه

تعریف ۱-گراف- انتظار- برای (WFG): یک گراف جهتدار است که وابستگی بین فرایندها را نشان می دهد و در آن گره ها فرایندها و یالها نشان دهنده درخواست منابع است.

تعریف۲- چرخه[۱] بن بست: یک چرخه جهتدار در گراف- انتظار- برای (WFG) است.

تعریف۳– بن بست دروغین: به بن بستی گفته می شود که در حقیقت وجود ندارد.

تعریف۴– درستی الگوریتم های تشخیص بن بست توزیع شده: اثبات درستی الگوریتم های تشخیص
بن بست توزیع شده با ۲ ویژگی زیر تعیین می شود:

• ویژگی پیشرفت (Progress): بدین معنی که هر بن بستی که واقع شود در نهایت باید تشخیص داده شود.
• ویژگی امنیت(Safety): اگر بن بستی توسط الگوریتم تشخیص داده شود، باید واقعاً وجود داشته باشد.

۱-۲- انواع مدلهای بن بست براساس سیستم تبادل پیام

براساس سیستم تبادل پیام، دو نوع بن بست وجود دارد:

* بن بست منبعی

* بن بست ارتباطی

در بن بستهای ارتباطی، پیامها منابعی هستند که فرایندها برای آن متنظراند. تفاوت اصلی بین بن بست منبعی و بن بست ارتباطی در این است که بن بست منبعی از شرایط AND استفاده می کند و بن بست ارتباطی از شرط OR با تعریف ذیل استفاده می کند:

۱-۳- انواع مدلهای بن بست براساس نوع درخواست منبع

تقسیم بندی مدلهای بن بست براساس سیستم تبادل پیام به دو نوع بن بست ارتباطی و منبع به منظور شناسایی الگوریتمهای تشخیص بن بست کافی نیست. بنابراین که ویژگی های بیشتری از این الگوریتمها مدنظر قرار گیرد. یکی از این ویژگی ها نوع درخواست منبع است. در این بخش سلسله مراتبی از مدلهای منبع که می تواند  در تقسیم بندی الگوریتمها تشخیص بن بست مورد استفاده قرار گیرد و مبتنی بر مدل بن بست ارائه شده توسط Knapp است، ارائه می شود.

۱-۳-۱- مدل گراف- انتظار- برای

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

بن بست با یک چرخه در این گراف مشخص می شود. ارتباط بین بن بستها و این گراف در بخشهای زیر نشان داده شده است[۱۳].

۱-۳-۲- مدل تک- منبعی(One-Resource Model)

مدل تک منبعی، ساده ترین مدل درخواست منبع است. در این مدل یک فرایند تنها یک درخواست منبع در یک زمان می تواند داشته باشد،بدان معنی که ماکزیمم یال خروجی از یک گره در گراف-انتظار- برای برابر یک است.

برای یافتن بن بست  در یک سیستم که مدل درخواست آن تک منبعی است، لازم است یک چرخه در گراف-انتظار-برای پیدا شود. یک الگوریتم ساده برای تشخیص بن بست براساس این مدل توسط میچل و مریت[۲] است.

۱-۳-۳- مدل AND

این مدل عمومی تر از مدل تک منبعی است. در این مدل یک به یک فرایند اجازه داده می شود که مجموعه ای از منابع را درخواست نماید. تا زمانی مسدود می ماند که همه منابعی را که درخواست نموده بود، به دست آورد به عبارتی فرایندی که نیاز به منابعی برای اجرا دارد، زمانی می تواند پیش رود که همه منابعش را به دست آورد.

همانند مدل تک منبعی برای یافتن بن بست در یک سیستم با مدل این مدل درخواست، لازم است یک چرخه در گراف-انتظار-برای پیدا شود. نمونه ای از این الگوریتمها توسط چندی- میسرا-هاس ، منساس و مانتز و اوبرمارک، ارائه شده است.

۱-۳-۴- مدلOR

این مدل جالبی از مدل درخواست AND است. به آن مدل ارتباطی نیز می گویند. در این مدل به منظور تشخیص بن بست، تنها تشخیص یک چرخه در گراف-انتظار-برای کافی نیست، یافتن  بن بست شامل پیدا کردن یک گره در گراف-انتظار-برای است.

فرایندی که نیاز به منابعی برای اجرا دارد،زمانی می تواند پیش رود که حداقل یکی از منابعش را به دست آورد.دلیلی که شرط OR برای بن بست ارتباطی استفاده شده است این است که اغلب ساختارهای کنترل توزیع شده غیرقطعی[۲] هستند و یک فرایند ممکن است در انتظار یک پیام از چندین فرایند باشد.

۱-۳-۵- مدل AND-OR

مدل AND و مدل OR هردو از مدل AND-OR مشتق شده اند. مفهوم اصلی این مدل این است که این نوع درخواست ترکیبی از و یا در درخواست منبع است. تصور کنیدa  ،b ، c، d منابع هستند که در کامپیوتر های متفاوتی قرار دارند. درخواست به این شکلd  and ((c or b) a and) امکان پذیر است. تشخیص بن بست در این مدل می تواند با تکرار تست برای مدل تشخیص OR با فرض اینکه بن بست یک مشخصه پایدار است، انجام شود.

۱-۳-۶- مدل p-out-of-q

این مدل بدین معنی است که یک فرایند به طور همزمان درخواست q منبع را می نماید و تا زمانی که p منبع را بدست آورد،مسدود می ماند. این مدل نوع دیگر AND-OR است که ترکیبی از مدلهای OR و AND است به عنوان مثال(b OR c) AND q.

پایان نامه آماده تشخیص بن بست در سیستم‌های توزیع شده با فرمت ورد(word)

اختصاصی از یارا فایل پایان نامه آماده تشخیص بن بست در سیستم‌های توزیع شده با فرمت ورد(word) دانلود با لینک مستقیم و پرسرعت .

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

فهرست :

مقدمه

فصل اول: تشخیص بن بست در سیستمهای توزیع شده

مفاهیم پایه

انواع مدلهای بن‌بست بر اساس سیستم تبادل پیام

انواع مدلهای بن‌بست بر اساس نوع درخواست

شرایط وجود بن‌بست

طبقه‌بندی الگوریتم‌های تشخیص بن‌بست

فصل دوم: مروری بر الگوریتم‌های تشخیص بن‌بست

مقدمه

نمونه‌ای از الگوریتم متمرکز جهت تشخیص بن‌بست در سیستمهای توزیع‌شده

الگوریتم هو رامامورتی

نمونه‌ای از الگوریتم‌های تشخیص بن‌بست سلسله‌مراتبی

الگوریتم منساس – مانتر

الگوریتم هو – رامامورثی

نمونه‌هایی از الگوریتم‌های توزیع‌شده

الگوریتم تشخیص بن‌بست چندی – مسیرا – هاس

الگوریتم محاسبه پخش کردن چندی – مسیرا – هاس

الگوریتم براچا – توگ

الگوریتم منساس و مانتز الگوریتم ابرمارک

الگوریتم ابرمارک

الگوریتم بدالض

فصل سوم: مروری بر الگوریتم‌های تشخیص بن‌بست توزیع شده تعقیب یال

مقدمه

بررسی الگوریتم‌های تشخیص بن‌بست تعقیب یال

الگوریتم میچل و مریت

الگوریتم سینها و ناتارجان

الگوریتم چودهاری – کوهلر – استنکویچ و توسلی

الگوریتم سینقال و شمکالیانی

تشخیص بن‌بست توزیع شده و حل آن بر اساس ساعتهای سخت‌افزاری

ارائه روشی برای حذف بن‌بست نادرست در الگوریتم‌های تشخیص بن‌بست

نتیجه‌گیری

فصل چهارم: الگوریتم‌های تشخیص بن‌بست توزیع شده تحمل خطاپذیر

مقدمه

مروری بر الگوریتم‌های تحمل‌پذیر خطا جهت تشخیص بن‌بست

معرفی مدل سیستم تشخیص خرابی بر اساس شاخص زمان اتصال

یک الگوریتم تشخیص بن‌بست توزیع شده تحمل‌پذیر خطا

اثبات درستی الگوریتم

نتیجه‌گیری

فصل پنجم: تشخیص و حل بن‌بست در سیستمهای نماینده موبایل

مقدمه

معرفی سیستمهای نماینده موبایل(نسل آینده سیستمهای توزیع شده)

تشخیص بن‌بست توزیع‌شده در سیستمهای نماینده موبایل

معایب الگوریتم اصلی و مشکلات کارایی الگوریتم

الگوریتم تشخیص بن‌بست توزیع شده مبتنی بر اولویت بهبودیافته

آنالیز کارایی الگوریتم بهبودیافته

اثبات درستی الگوریتم

نتیجه‌گیری

نتیجه‌گیری

فهرست منابع

پیوست‌ها

حل کامپیوتری (عددی) رفتار هیسترزیس ستونهای I شکل و ستونهای بست دار

اختصاصی از یارا فایل حل کامپیوتری (عددی) رفتار هیسترزیس ستونهای I شکل و ستونهای بست دار دانلود با لینک مستقیم و پرسرعت .

بخشی از متن اصلی :

خلاصه :

هفت نمونه ستون I شکل و سه نمونه ستون مشبک با بست موازی در آزمایشگاه تحت بارهای فشاری و تغییر مکان جانبی قرار گرفته که نتایج بصورت عکس و دیاگرام نیرو - تغییر مکان (منحنی های هیسترزیس) موجود است. سپس با علم به نتایج آزمایشگاهی هفت ستون I شکل با همانند سازی شرایط آزمایش اعم از تکیه‌گاهها، نوع مواد و بارگذاری و اتصال اجزاء تشکیل دهنده آنها با کمک از نرم افزار المان محدود ABAQUS نتایج مطلوبی بدست آمد و نتایج آن نیز بصورت دیاگرام نیرو تغییر مکان (منحنی‌های هیسترزیس) قابل مقایسه با نتایج آزمایشگاهی به تصویر کشیده شده است .

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

رفتار هیسترزیس نسبت به لاغری جان از لاغری بال حساس تر بوده و افزایش ضخامت جان رفتار هیسترزیس بهتری به ما ارائه می دهد.

فهرست مطالب

فصل اول

خلاصه

مقدمه

رفتار خمیری ( پلاستیک)

1-1- مقدمه    

1-2- آزمایشهای مبنائی

1-2-1- آزمایش کشش

1-2-2- نمودار تنش حقیقی- کرنش حقیقی

1-2-4- اثرات نرخ کرنش و دما

1-2-5- اثر فشار هیدرواستاتیک عدم قابلیت تراکم

1-2-6- فرضی نمودن نمودارهای تنش و کرنش مدلهای

دینامیکی و سینماتیکی

1-2-7- معادلات فرضی برای منحنی‌های تنش و کرنش

1-3- معیار برای تسلیم

1-3-1-مقدمه

1-3-2- مثالهائی از معیارهای تسلیم.

1-3-3- سطح تسلیم - فضای تنش‌ها یک وسترگارد

1-3-4- پارامتر تنش لود – اثبات عملی معیارهای تسلیم

1-3-5- سطوح تسلیم ثانوی- بارگزاری و باربرداری

فصل دوم

خلاصه ای از نرم افزار ABAQUS

2-2- آشنایی با نرم افزار ABAQUS

2-2-1-مقدمه:

2-2-3- Abaqus/ CAE

2-2-4- ایجاد یک مدل آنالیز ساده

2-2-5- بررسی انواع مسائل غیر خطی در نرم افزار ABAQUS

2-2-6- تحلیل غیرخطی در ABAQUS

فصل سوم

رفتار هیسترزیس ستونهایI شکل

3-1-اصول فلسفه طراحی لرزاه ای

3-1-1- مقدمه:

3-1-2- تحقیقات قبلی بر روی تیر ستونهای فولادی

3-1-3- مشخصه هائی که بر شکل پذیری تیر ستون موثرند

3-2- طراحی ستونهای نمونه:

3-2-1-توصیفات عمومی

ا3-2-2- شکل پذیری مورد نیاز در ستونها

3-2-3- مقادیر که توسط گروه تحقیقاتی NZNSEE پیشنهاد میگردد

3-2-4- محدودیت لاغری بال و جان که بوسیله NZNSEE پیشنهاد میگردد.

3-2-5- محدودیت لاغری بال و جان که توسط LRFD،AISC پیشنهاد میگردد.

3-2-6- جزئیات مقاطع ستونها

3-3- فرآیند آزمایش

3-3-1 نیرو و تغییر مکان

3-3-2- آزمایش ستونها

3-4- مشاهدات آزمایشگاهی و نتایج تجربی

3-4-1-مقدمه

3-4-2- مشاهدات پژوهش

3-4-3- عملکرد ستون نمونه اول

3-4-4-عملکرد ستون دوم

3-4-5- عملکرد ستون شماره سوم

3-4-6- عملکرد ستون شماره چهارم

3-4-7- عملکرد ستون شماره پنجم

3-4-8- عملکرد ستون ششم

3-4-9- عملکرد ستون هفتم

3-5- بحث در مورد نتایج آزمایشگاهی

3-5-1- جنبه های مباحثه در مورد نمونه های آزمایشگاهی و نتایج آنها

فصل چهارم

رفتارهیسترزیس ستون بست دار

4-1 تیرستونهای مشبک تحت بارهای متناوب

4-1-1 مقدمه

4-1-2 نمونه های آزمایش

4-1-3 عضو مشبک بست دار مرسوم

4-1-4 ستونهای مشبک با مقطع های دوبل ناودانی اصلاح شده

4-1-6 ستاپ آزمایش و تاریخچه بارگذاری

4-1-7 تاریخچه بارگذاری به صورت تعییرمکان

4-2 رفتار کلی نمونه ها

4-2-1 نمونه DC1C

4-2-2 نمونه DC1M

4-2-3 نمونه DC2M

4-2-4 نمونه DC1MB

4-2-5 نمونه DC2MB

4-3 نتایج آزمایش

4-3-1 پاسخ نیروی جانبی – تغییر مکان جانبی

4-4- مقایسه رفتار هیسترزیس نمونه ستون I شکل سوم با ستون بست دار معادل آن       

فصل پنجم

نتیجه گیری

این فایل به همراه چکیده، فهرست مطالب، متن اصلی و منابع تحقیق با فرمت word و قابل ویرایش در اختیار شما قرار

می گیرد.

تعداد صفحات : 170