مقاله بکارگیری داده کاوی در تشخیص بن بست در سیستم های تبدیل گراف دارای 8 صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله بکارگیری داده کاوی در تشخیص بن بست در سیستم های تبدیل گراف کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله بکارگیری داده کاوی در تشخیص بن بست در سیستم های تبدیل گراف،به هیچ وجه بهم ریختگی وجود ندارد
تعداد صفحات:8
چکیده:
وارسی مدل یک روش خودکار و راهکاری مناسب برای بررسی درستی یک سیستم نرم افزاری می باشد. خطاها در سیستم های نرم افزاری، به علت هزینه پایین تصحیح آنها در مراحل تحلیل و طراحی نسبت به هزینه تصحیح آنها در مراحل تست و نگهداشت، باید قبل از پیاده سازی و در سطح مدل مشخص و رفع شوند. سیستم های تبدیل گراف از پرکاربردترین سیستم های مدل سازی رسمی و راهکاری مناسب به منظور مدل سازی و وارسی مدل می باشند. مشکل مهم وارسی مدل این است که در اکثر سیستم های واقعی و پیچیده با مشکل انفجار فضای حالت(کمبود حافظه در تولید همه حالت های ممکن) مواجه می شود، بنابراین باید دنبال روش هایی باشیم که فضای حالت سیستم را بطور هوشمندانه و غیرکامل پیمایش می کنند. یکی از این روش ها، استفاده از روش های فرامکاشفه ای می باشد. در این پژوهش، یک روش فرامکاشفه ای مبتنی بر داده کاوی ارائه می کنیم. محدودیت روش ارائه شده این است که فقط برای سیستمی جواب می دهد که مدل های ساخته شده از آن با اندازه های مختلف، بر پایه یک سبک معماری باشند. سبک معماری، یک نوع ابرمدل جهت تعیین مجموعه ای از اجزاء و ارتباطات میان آنها برای مشخص کردن سیستم بر مبنای آن سبک می باشد. روش ارائه شده را در فرمالیسم ؛ سیستم تبدیل گراف؛ و ابزار GROOVE از ابزارهای مدل سازی سیستم تبدیل گراف- پیاده سازی می کنیم. مقایسه نتایج پیاده سازی این روش با نتایج روش های قبلی، نشان می دهند که زمان اجرای روش پیشنهادی در این پژوهش، نسبت به روش های قبلی، بطور چشمگیری بهبود یافته است.
برای دریافت اینجا کلیک کنید
تعداد کل پیام ها : 0