استخراج جنبه ها برمبنای ماشین های خودکار محدوده شده ی کامل
محل انتشار: دومین همایش کامپیوتر، برق و فناوری اطلاعات
سال انتشار: 1391
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,455
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CCIEEE02_018
تاریخ نمایه سازی: 21 تیر 1391
چکیده مقاله:
جنبه کاوی فرآیندی است که درآن کانسرن های متقاطع دریک سیستم نرم افزاری شناسایی شده و سپس با استفاده از تکنیکهای جنبه گرا بهسازی می شوند ریو یک زبان هماهنگسازی است که برای مدلسازی سیستمهای مختلف استفاده می شود ماشین خودکار محدود شده یک مدلم عنایی صوری برای اتصال دهنده های ریو ایجاد می نماید ماشین خودکار محدود شده ی کامل توسعه ای از ماشین خودکار محدود شده می باشد که با قابلیت تعریف وارون ماشین خودکارمحدود شده امکان پردازش عملیات جبری برروی ماشین خودکار محدود شده را امکان پذیرمی سازد دراین مقاله با استفاده از خصوصیات ماشین خودکار محدوده شده ی کامل الگوریتمی برای پیدا نمودن کانسرن های متقاطع ارایه نمودها یم.
کلیدواژه ها:
ریو - ماشین خودکار محدوده شده - جنبه کاوی - کانسرن های متقاطع و بهسازی
نویسندگان
بهنوش امینی
دانشگاه پیام نورمرکز تهران
بهمن پوروطن
دانشگاه صنعتی امیرکبیر
حسین شیرازی
دانشگاه صنعتی مالک اشتر
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :