توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z
سال انتشار: 1388
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,417
فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSICC15_173
تاریخ نمایه سازی: 26 مهر 1388
چکیده مقاله:
در یک پروژه تحقیقاتی در حال انجام سعی می شود که با استفاده از روشهای صوری، چهارچوبی ساختی برای تولید برنامه های هم روند ایجاد گردد. در این مقاله یک محصول میانی از این کار که زبان توصیفی شبه Zاست مرور شده و نشان داده می شود که چگونه به کمک این زبان می توان رفتار پویای یک سیستم هم روند را توصیف نمود. به طور دقیقتر، نشان داده می شود که می توان از این زبان برای توصیف صریح درهم بندی غیرقطعی پردازه ها در یک سیستم هم روند استفاده کرد. چنین توصیفی می تواند با روشی ساختی به برنامه ای تابعی تبدیل شود که تمام اجراهای در هم از پردازه های هم روند را در بر میگیرد.
کلیدواژه ها:
نویسندگان
حسن حقیقی
استادیار دانشکده مهندسی برق و کامپیوتر دانشگاه شهید بهشتی
سلیمه جوادیان
دانشجوی دانشکده مهندسی برق و کامپیوتر دانشگاه شهید بهشتی
محمدمهدی جوانمرد
دانشجوی دانشکده مهندسی برق و کامپیوتر دانشگاه شهید بهشتی
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :