راستی آزمایی به کمک تکنیک های پایان پذیری در مدل سیستم های بازنویسی
- سال انتشار: 1391
- محل انتشار: یازدهمین کنفرانس سراسری سیستم های هوشمند
- کد COI اختصاصی: ICS11_189
- زبان مقاله: فارسی
- تعداد مشاهده: 1592
نویسندگان
گروه پژوهشی ریاضی و انفورماتیک، جهاد دانشگاهی واحد تربیت مدرس، تهران
دانشکده برق و کامپیوتر، دانشگاه تربیت مدرس، تهران
دانشکده مهندسی و کامپیوتر، دانشگاه تربیت مدرس، تهران
چکیده
روشی برای جاسازی یک سیستم گذار در یک TRSپیشنهاد شده است. با تعریف تبدیلات سودمند می توان بخشی از مسائل راستی آزمایی TS را به پایان پذیریTRS کاهش داد. اخیرا برای تبدیل ویژگی های ایمنی و سر زندگی به مساله پایان پذیری راه هایی پیشنهاد شده است. ما تبدیل دیگری برای کلاس تصمیم پذیر از مسائل سر زندگی پیشنهاد کرده ایم. راسنی آزمایی مثال هایی با جاسازی معرفی شده در مدل سیستم های بازنویسی ترم، توسط تکنیک های پایان پذیری انجام شده استکلیدواژه ها
راستی آزمایی، پایان پذیری، سیستم بازنویسی ترم، سیستم همروندمقالات مرتبط جدید
- سودآوری مشتریان در خردهفروشی قطعات یدکی ماشین آلات راهسازی با رویکرد یادگیری ماشین
- ارائه روشی کارآمد جهت شناسایی کودکان نیازمند به پیوند مغز استخوان با استفاده از ترکیب طبقه بند ماشین بردار پشتیبان و الگوریتم بهینه سازی فاخته
- استخراج بهینه پارامترهای تاثیر گذار الگوریتم بهینه سازی بوفالوی آفریقایی با هدف استخراج ویژگی های مهم به منظور افزایش کارایی طبقه بندی داده ها
- ارائه روشی کارآمد برای بهبود عملکرد الگوریتم بهینه سازی کلاغ سیاه به منظور افزایش صحت خوشه بندی داده ها
- استفاده از الگوریتم باور بیزین در لایه کاملا متصل شبکه عصبی کانولوشن با هدف افزایش دقت تشخیص تصاویر
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.