ترجمه فارسی توضیحات (ترجمه ماشینی)
سیستم های ترکیبی: محاسبات و کنترل: هشتمین کارگاه بین المللی، HSCC 2005، زوریخ، سوئیس، 9-11 مارس 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کارگاه بین المللی سیستم های ترکیبی: محاسبات و کنترل، HSCC 2005، در زوریخ، سوئیس در مارس 2005 است.
40 مقاله کامل اصلاح شده همراه با 2 مقاله ارائه شده است. مقالات دعوت شده و چکیده سخنرانی دعوت شده به دقت بررسی و از بین 91 مورد ارسالی انتخاب شدند. این مقالات بر روی مدل‌سازی، تحلیل و اجرای سیستم‌های پویا و واکنشی که شامل رفتارهای گسسته و پیوسته هستند، تمرکز دارند. در میان موضوعات مورد بررسی، ابزارهایی برای تجزیه و تحلیل و تأیید، کنترل و بهینه‌سازی، مدل‌سازی، کاربردهای مهندسی، و جهت‌های نوظهور در پشتیبانی و پیاده‌سازی زبان برنامه‌نویسی است.
This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005.
The 40 revised full papers presented together with 2 invited papers and the abstract of an invited talk were carefully reviewed and selected from 91 submissions. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.