توصیف صوری سیستم های احتمالاتی در Z
Publish place: 8th Annual Conference of Computer Society of Iran
Publish Year: 1381
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 2,457
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI08_049
تاریخ نمایه سازی: 18 بهمن 1386
Abstract:
سیستم های احتمالاتی سیستمهایی هستند که در قسمت های از انها تصمیمات مبتنی بر احتمالات باید اتخاذ گردد. دراین مقاله روشی برای توصیف صوری چنین سیستمهایی با استفاده از زبان توصیف صوری z پیشنهاد میگردد. در این روش نشانه گذاری مناسب برای این منظور تعریف شده و روش ترجمه این نشانه گذاری جدید به زبان z استاندارد ارایه شده است.
Keywords:
Authors
سیدحسن میریان حسین آبادی
استاد یار دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف
سیدوحید هاشمیان
کارشناس ارشد دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :