راستی آزمایی به کمک تکنیک های پایان پذیری در مدل سیستم های بازنویسی
Publish place: 11th Intelligent Systems Conference
Publish Year: 1391
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,444
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICS11_189
تاریخ نمایه سازی: 14 مهر 1392
Abstract:
روشی برای جاسازی یک سیستم گذار در یک TRSپیشنهاد شده است. با تعریف تبدیلات سودمند می توان بخشی از مسائل راستی آزمایی TS را به پایان پذیریTRS کاهش داد. اخیرا برای تبدیل ویژگی های ایمنی و سر زندگی به مساله پایان پذیری راه هایی پیشنهاد شده است. ما تبدیل دیگری برای کلاس تصمیم پذیر از مسائل سر زندگی پیشنهاد کرده ایم. راسنی آزمایی مثال هایی با جاسازی معرفی شده در مدل سیستم های بازنویسی ترم، توسط تکنیک های پایان پذیری انجام شده است
Keywords:
Authors
محمد کدخدا
گروه پژوهشی ریاضی و انفورماتیک، جهاد دانشگاهی واحد تربیت مدرس، تهران
سعید جلیلی
دانشکده برق و کامپیوتر، دانشگاه تربیت مدرس، تهران
محمد ایزدی
دانشکده مهندسی و کامپیوتر، دانشگاه تربیت مدرس، تهران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :