دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Jacek Baginski, Andrzej Białas (auth.), Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk (eds.) سری: Advances in Intelligent and Soft Computing 170 ISBN (شابک) : 9783642306617, 9783642306624 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 325 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
کلمات کلیدی مربوط به کتاب سیستم های پیچیده و قابلیت اطمینان: هوش محاسباتی، پیچیدگی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Complex Systems and Dependability به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های پیچیده و قابلیت اطمینان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
سیستم پیچیده معاصر معمول، ادغام چند وجهی از منابع فنی،
اطلاعات، سازمان، نرم افزار و انسانی (کاربران، مدیران و
مدیریت) است. پیچیدگی چنین سیستمی نه تنها از ساختار فنی و
سازمانی درگیر آن ناشی می شود، بلکه عمدتاً از پیچیدگی
فرآیندهای اطلاعاتی ناشی می شود که باید در محیط عملیاتی
(پردازش داده ها، نظارت، مدیریت و غیره) پیاده سازی شوند. در
چنین مواردی، روشهای سنتی تحلیل قابلیت اطمینان که عمدتاً بر
سطح فنی متمرکز شدهاند، معمولاً در ارزیابی عملکرد ناکافی
هستند و باید از روشهای نوآورانهتر تحلیل قابلیت اطمینان
استفاده کرد که مبتنی بر رویکرد چند رشتهای به تئوری، فناوری و
نگهداری سیستمهایی است که به صورت واقعی (و اغلب اوقات کار
میکنند). محیطهای غیردوستانه.
این تکنگاره پیشرفتهای جدید منتخب را در زمینههایی از
تحقیقات قابلیت اطمینان مانند مدلسازی سیستم، ابزارها و
روششناسی برای تجزیه و تحلیل سیستم، امنیت دادهها، طراحی
سیستم امن و جنبههای قابلیت اطمینان خاص در کاربردهای فنی
تخصصی ارائه میکند. بسیاری از موارد عملی این قانون جهانی را
نشان می دهد که پیچیدگی و تعدد فرآیندهای سیستم، همزمانی آنها و
اتکای آنها به هوش تعبیه شده (انسانی و مصنوعی) به طور قابل
توجهی مانع ساخت مدل های دقیق ریاضی می شود و نیاز به استفاده
از روش های محاسباتی هوشمند و نرم را می طلبد.
Typical contemporary complex system is a multifaceted
amalgamation of technical, information, organization,
software and human (users, administrators and management)
resources. Complexity of such a system comes not only from
its involved technical and organizational structure but
mainly from complexity of information processes that must be
implemented in the operational environment (data processing,
monitoring, management, etc.). In such case traditional
methods of reliability analysis focused mainly on technical
level are usually insufficient in performance evaluation and
more innovative methods of dependability analysis must be
applied which are based on multidisciplinary approach to
theory, technology and maintenance of systems operating in
real (and very often unfriendly) environments.
This monograph presents selected new developments in such
areas of dependability research as system modelling, tools
and methodologies for system analysis, data security, secure
system design and specific dependability aspects in
specialized technical applications. Many practical cases
illustrate the universal rule that complexity and
multiplicity of system processes, their concurrency and their
reliance on embedded intelligence (human and artificial)
significantly impedes construction of strict mathematical
models and calls for application of intelligent and soft
computing methods.
Front Matter....Pages 1-8
Validation of the Software Supporting Information Security and Business Continuity Management Processes....Pages 1-17
A Functional Testing Toolset and Its Application to Development of Dependable Avionics Software....Pages 19-35
Specification Means Definition for the Common Criteria Compliant Development Process – An Ontological Approach....Pages 37-53
Real-Time Gastrointestinal Tract Video Analysis on a Cluster Supercomputer....Pages 55-68
Detection of Anomalies in a SOA System by Learning Algorithms....Pages 69-85
Service Availability Model to Support Reconfiguration....Pages 87-101
On Some Statistical Aspects of Software Testing and Reliability....Pages 103-113
Generalizing the Signature to Systems with Multiple Types of Components....Pages 115-130
Effective Oblivious Transfer Using a Probabilistic Encryption....Pages 131-147
Gap-and-IMECA-Based Assessment of I&C Systems Cyber Security....Pages 149-164
Approach to Methods of Network Services Exploitation....Pages 165-178
Pattern Based Support for Site Certification....Pages 179-193
Integrating the Best 2-Opt Method to Enhance the Genetic Algorithm Execution Time in Solving the Traveler Salesman Problem....Pages 195-208
Representation of Objects in Agent-Based Lighting Design Problem....Pages 209-223
Formal Methods Supporting Agent Aided Smart Lighting Design....Pages 225-239
Computational Support for Optimizing Street Lighting Design....Pages 241-255
Monitoring Event Logs within a Cluster System....Pages 257-271
Implementing AES and Serpent Ciphers in New Generation of Low-Cost FPGA Devices....Pages 273-287
Dependable Strategies for Job-Flows Dispatching and Scheduling in Virtual Organizations of Distributed Computing Environments....Pages 289-304
Controlling Complex Lighting Systems....Pages 305-317
Service Renaming in Component Composition....Pages 319-330
Back Matter....Pages 0--1