دانش رسان |
مرکز علم و دانش کشور محاسبه دقیق مقدار ویژگی دسترس پذیری به کمک سیستم های تبدیل گراف
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
محاسبه دقیق مقدار ویژگی دسترس پذیری به کمک سیستم های تبدیل گراف دارای ۱۶ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد محاسبه دقیق مقدار ویژگی دسترس پذیری به کمک سیستم های تبدیل گراف کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی محاسبه دقیق مقدار ویژگی دسترس پذیری به کمک سیستم های تبدیل گراف،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن محاسبه دقیق مقدار ویژگی دسترس پذیری به کمک سیستم های تبدیل گراف :
تعداد صفحات :۱۶
چکیده مقاله:
در طراحی های فرمال صورت گرفته، وقوع و یا عدم وقوع یک اتفاق گارانتی شده، طراح با اطمینانطراحی خود را به پایان می برد. از جمله سیستم های فرمال می توان به سیستم های تبدیل گرافاشاره کرد. در پیاده سازی این سیستم به کمک ابزار GROOVE با ترسیم کل فضای حالت بهصورت خودکار، ویژگیهایی همچون وقوع حتمی یک اتفاق، ایمنی (عدم وقوع حتمی یکاتفاق)، دسترس پذیری (احتمال وقوع یک رویداد) و وقوع یک اتفاق در تمام حالات به کمکCTL قابل محاسبه است. نقصانی که در این میان وجود دارد صفر و یک بودن تحلیل است. درحالات ذکر شده سه حالت فاقد مشکل بود و صفر یا یک است مثلا وقوع حتمی یک حالت یعنی بهاحتمال ۱۰۰ درصد و عدم وقوع آن یعنی به احتمال ۰ درصد یک اتفاق حادث گردد، در حالی کهدر دسترس پذیری امکان وقوع یک رویداد وجود داشته و درصد احتمال آن دقیقا مشخص نیست.در واقع وقوع زیر یک درصد و بالای ۹۹ درصد از دید سیستم به یک شکل بیان می شود. حال اگرمواردی وجود داشته باشد که درآنها میزان این احتمال درخور اهمیت باشد از آنجایی که ابزارGROOVE به صورت مستقیم فاقد این قابلیت بوده در این مقاله میزان دقیق احتمال وقوع هرحالات محاسبه و رویکردی جدید در کاربا سیستم تبدیل گراف ارائه گردیده است.
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
