راستی آزمایی به کمک تکنیک های پایان پذیری در مدل سیستم های بازنویسی
محل انتشار: یازدهمین کنفرانس سراسری سیستم های هوشمند
سال انتشار: 1391
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,441
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICS11_189
تاریخ نمایه سازی: 14 مهر 1392
چکیده مقاله:
روشی برای جاسازی یک سیستم گذار در یک TRSپیشنهاد شده است. با تعریف تبدیلات سودمند می توان بخشی از مسائل راستی آزمایی TS را به پایان پذیریTRS کاهش داد. اخیرا برای تبدیل ویژگی های ایمنی و سر زندگی به مساله پایان پذیری راه هایی پیشنهاد شده است. ما تبدیل دیگری برای کلاس تصمیم پذیر از مسائل سر زندگی پیشنهاد کرده ایم. راسنی آزمایی مثال هایی با جاسازی معرفی شده در مدل سیستم های بازنویسی ترم، توسط تکنیک های پایان پذیری انجام شده است
کلیدواژه ها:
نویسندگان
محمد کدخدا
گروه پژوهشی ریاضی و انفورماتیک، جهاد دانشگاهی واحد تربیت مدرس، تهران
سعید جلیلی
دانشکده برق و کامپیوتر، دانشگاه تربیت مدرس، تهران
محمد ایزدی
دانشکده مهندسی و کامپیوتر، دانشگاه تربیت مدرس، تهران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :