Transactions on Computational Science XV: Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

مجله LNCS Transactions on Computational Science، تحولات اخیر در زمینه علوم محاسباتی را منعکس می کند و این رشته را نه به عنوان یک علم فرعی صرف، بلکه به عنوان رویکردی نوآورانه که از بسیاری از رشته های علمی دیگر پشتیبانی می کند، در نظر می گیرد. این مجله بر تحقیقات اولیه با کیفیت بالا در حوزه علوم محاسباتی در محیط‌های موازی و توزیع شده متمرکز است که شامل مبانی نظری تسهیل‌کننده و کاربردهای محاسبات در مقیاس بزرگ و پردازش داده‌های عظیم است. این به محققان و پزشکان در حوزه‌های مختلف از هوافضا تا بیوشیمی، از الکترونیک تا علوم زمین، از ریاضیات تا معماری نرم‌افزار، ارائه روش‌ها، یافته‌ها و راه‌حل‌های محاسباتی قابل تأیید و امکان استفاده از تکنیک‌های پیشرفته، در مقیاس بزرگ، و به کاربران صنعتی می‌پردازد. روش های محاسباتی عملکرد شماره پانزدهم مجله Transactions on Computational Science، ویرایش شده توسط Cong-Vinh Phan، شامل شش مقاله دعوت شده در مورد محاسبات خودکار، با تمرکز ویژه بر روش های مهندسی رسمی برای سیستم های محاسباتی الهام گرفته از طبیعت است. این مقالات یک نمای کلی عمیق از منطقه و یک ارزیابی جامع از روش‌های مختلف برای محاسبات خودکار ارائه می‌دهند.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The 15th issue of the Transactions on Computational Science journal, edited by Cong-Vinh Phan, contains six invited papers on autonomic computing, with a special focus on formal engineering methods for nature-inspired computing systems. The papers give an in-depth overview of the area and a comprehensive evaluation of various methodologies for autonomic computing.