دانلود ترجمه مقاله مدلسازی انتقال اطلاعات در سیستم های چندعاملی سایبرفیزیکی

1. مقدمه 2. مثال: تخصیص بهینه جای پارک 3. پیشینه: محاسبات وضعیت 4. رویکرد SALMA 5. معانی شبیه سازی SALMA 6. یک مدل محاسبات کلی وضعیت برای انتقال اطلاعات 7. انتزاعات مدلسازی برای فرآیندهای انتقال اطلاعات 8. بررسی مدل آماری برای انتقال اطلاعات 9. آزمایشات اول و ارزیابی اولیه 10. کارهای مرتبط 11. نتیجه گیری

چکیده – در مدلسازی سیستم های سایبرفیزیکی، ساختار ارتباطی آنها عمدتا یکی از مهمترین جنبه ها می باشد، مخصوصا برای سیستم هایی که در تلاش برای خودسازماندهی یا سازگاری مشترک هستند. به طور سنتی، چنین ساختارهایی غالبا با استفاده از رویکردهای مبتنی بر منطق تشریح شده و مبانی اصلی بسیاری از روش های تایید شده را ارائه می دهند. با این حال، این ساختارها عموما برای انعکاس ماهیت تصادفی ارتباطات در محیط های سایبرفیزیکی، مناسب نیستند. به طور خاص، سطح انتزاع آنها یا برای ارائه دقت بالا، خیلی بالاست و یا برای قابل اجرا بودن در مدلهای پیچیده تر، بسیار پایین است. بنابراین، ما بسطی از زبان مدلسازی مبتنی بر منطق SALMA را پیشنهاد داده ایم که اخیرا معرفی شده و ساختار سطح بالایی را برای انتشار داده ها و ارتباطات ایجاد می کند و در این راستا، تاخیر تصادفی و خطاها نیز مدنظر قرار می گیرد. در ترکیب با پشتیبانی ابزار SALMA برای شبیه سازی و بررسی مدل آماری، این مقاله، یک رویکرد عملی را برای تایید سیستم های چندعاملی سایبرفیزیکی ارائه داده است. مقدمه: با SALMA (شبیه سازی و آنالیز سیستم های چندعاملی مبتنی بر منطق) [1]، ما اخیرا رویکردی را برای مدلسازی و تحلیل سیستم های چندعاملی معرفی کرده ایم که هدف آنها، ارائه رویکردی سبک برای تایید تقریبی از طریق بررسی مدل آماری [2] با مدل سیستمی است که مبتنی بر پایه رسمی دقیق می باشد. زبان مدلسازی SALMA، بر اساس محاسبه وضعیت [3] می باشد که یک زبان منطقی اولیه برای تشریح سیستم های دینامیکی می باشد. در این مقاله، ما بسطی از SALMA (و به طور کلی، محاسبات وضعیت) را برای تشریح صریح یکی از جنبه های اصلی مهم برای سیستم های چندعاملی سایبرفیزیکی [4]، یعنی جمع آوری توزیع شده و انتقال اطلاعات، ارائه داده ایم.

In modeling multi-agent systems, the structure of their communication is typically one of the most important aspects, especially for systems that strive toward self-organization or collaborative adaptation. Traditionally, such structures have often been described using logic-based approaches as they provide a formal foundation for many verification methods. However, these formalisms are typically not well suited to reflect the stochastic nature of communication in the cyber–physical setting. In particular, their level of abstraction is either too high to provide sufficient accuracy or too low to be practicable in more complex models. Therefore, we propose an extension of the logic-based modeling language SALMA, which we have introduced recently, that provides adequate high-level constructs for communication and data propagation, explicitly taking into account stochastic delays and errors. In combination with SALMA’s tool support for simulation and statistical model checking, this creates a pragmatic approach for verification and validation of cyber–physical multi-agent systems. Introduction: With SALMA (Simulation and Analysis of Logic-Based Multi- Agent Systems) [1], we have recently introduced an approach for modeling and analysis of multi-agent systems that is aimed to provide a lightweight solution for approximated verification through statistical model checking [2] with the system model still being grounded on a rigorous formal foundation. SALMA’s modeling language is based on the well-established situation calculus [3], a firstorder logic language for describing dynamical systems. In this paper, we provide an extension of SALMA (and the situation calculus in general) to explicitly address one aspect that is particularly important for cyber–physical [4] multi-agent systems, namely the distributed gathering and transfer of information.