مرکز مقالات امام موسی کاظم (ع)

دانلود مقاله بکارگيري داده کاوي در تشخيص بن بست در سيستم هاي تبديل گراف با word


برای دریافت پروژه اینجا کلیک کنید

دانلود مقاله بکارگيري داده کاوي در تشخيص بن بست در سيستم هاي تبديل گراف با word دارای 6 صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد دانلود مقاله بکارگيري داده کاوي در تشخيص بن بست در سيستم هاي تبديل گراف با word کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.

این پروژه توسط مرکز مرکز پروژه های دانشجویی آماده و تنظیم شده است

توجه : در صورت  مشاهده  بهم ريختگي احتمالي در متون زير ،دليل ان کپي کردن اين مطالب از داخل فایل ورد مي باشد و در فايل اصلي دانلود مقاله بکارگيري داده کاوي در تشخيص بن بست در سيستم هاي تبديل گراف با word،به هيچ وجه بهم ريختگي وجود ندارد


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

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


برای دریافت پروژه اینجا کلیک کنید

[ بازدید : 32 ]

[ شنبه 6 آذر 1395 ] 4:11 ] [ علی ]

[ ]

سئو سایت ساخت وبلاگ افزودنی های بتن
خشکشویی آنلاین بستن تبلیغات [x]