سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

Login
PapersConferencesJournals

توصیف صوری سیستم های احتمالاتی در Z

Publish place: 8th Annual Conference of Computer Society of Iran
Publish Year: 1381
Type: Conference paper
Language: Persian
View: 2,578

This Paper With 9 Page And PDF Format Ready To Download

DOWNLOAD Paper

Export:

Link to this Paper:
https://civilica.com/doc/46731

Document National Code:

ACCSI08_049

Index date: 7 February 2008

توصیف صوری سیستم های احتمالاتی در Z abstract

سیستم های احتمالاتی سیستمهایی هستند که در قسمت های از انها تصمیمات مبتنی بر احتمالات باید اتخاذ گردد. دراین مقاله روشی برای توصیف صوری چنین سیستمهایی با استفاده از زبان توصیف صوری z پیشنهاد میگردد. در این روش نشانه گذاری مناسب برای این منظور تعریف شده و روش ترجمه این نشانه گذاری جدید به زبان z استاندارد ارایه شده است.

توصیف صوری سیستم های احتمالاتی در Z Keywords:

توصیف صوری سیستم های احتمالاتی در Z authors

سیدحسن میریان حسین آبادی

استاد یار دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف

سیدوحید هاشمیان

کارشناس ارشد دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
C onnnunicating Sequential Processes, Prentice-Hal International, 1985. هه [5] Hoare, ...
and Probabilistic Behaviour in Reactive Processes, Oxford rnninisnnه [7] Lowe, ...
موسوی، محمدرضا، «رهیافتی ساختی به مساله‌ی عدم قطعبت در توصیف ...
هاشمیان، سیدوحید، «توصیف رسمی مبتنی بر مدل سیستم‌های احتمالاتی»، پایان‌نامه‌ی ...
Bianco, A., and L. de Alfaro, ، Model Checking of ...
Bertsekas, D.P., and J.N. Tsitsiklis, «Introduction to Probability, } L4cture ...
http : //www .fornnal .d4nmon .CO .uk/csp.htnl, Feb 2002. ...
_ Egle, D.M., *Evaluating Larch/C++ as a Specification Language: A ...
Jones, C.B.., *Systenatic Software Developent Using VDME , Prentice-Hall, 1986 ...
Morgan, C.., ،Proof Bules for Probabilistic Loops, Oxford University Cornputing ...
Nissanke, N., ،.Fornnal Specification Techniques and Applications} , S pringer-Verlog ...
] Pressnan, R.S., ،Softiware Engineering: A Practitioner's Approach, 4t.h edition, ...
Z Specifications, Befinemnent, and Proof? , Prentice Hall Europe, Using؛ ...
نمایش کامل مراجع

مقاله فارسی "توصیف صوری سیستم های احتمالاتی در Z" توسط سیدحسن میریان حسین آبادی، استاد یار دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف؛ سیدوحید هاشمیان، کارشناس ارشد دانشکده مهندسی کامپیوتر - دانشگاه صنعتی شریف نوشته شده و در سال 1381 پس از تایید کمیته علمی هشتمین کنفرانس سالانه انجمن کامپیوتر ایران پذیرفته شده است. کلمات کلیدی استفاده شده در این مقاله سیستم های احتمالاتی ، PCSP ، زنجیرهای مارکف ، توصیف صوری ، زبان توصیف z ، z احتمالاتی هستند. این مقاله در تاریخ 18 بهمن 1386 توسط سیویلیکا نمایه سازی و منتشر شده است و تاکنون 2578 بار صفحه این مقاله مشاهده شده است. در چکیده این مقاله اشاره شده است که سیستم های احتمالاتی سیستمهایی هستند که در قسمت های از انها تصمیمات مبتنی بر احتمالات باید اتخاذ گردد. دراین مقاله روشی برای توصیف صوری چنین سیستمهایی با استفاده از زبان توصیف صوری z پیشنهاد میگردد. در این روش نشانه گذاری مناسب برای این منظور تعریف شده و روش ترجمه این نشانه گذاری جدید به زبان z استاندارد ارایه شده است. ... . برای دانلود فایل کامل مقاله توصیف صوری سیستم های احتمالاتی در Z با 9 صفحه به فرمت PDF، میتوانید از طریق بخش "دانلود فایل کامل" اقدام نمایید.