دانلود کتاب Dependable Computer Systems
کتاب سیستم های کامپیوتری قابل اعتماد نسخه زبان اصلی
دانلود کتاب سیستم های کامپیوتری قابل اعتماد بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Dependable Computer Systems
نام کتاب : Dependable Computer Systems
ویرایش : 1
عنوان ترجمه شده به فارسی : سیستم های کامپیوتری قابل اعتماد
سری : Advances in Intelligent and Soft Computing 97
نویسندگان : Andrzej Białas (auth.), Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 313
ISBN (شابک) : 9783642213922 , 9783642213939
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 9 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
تحلیل قابلیت اطمینان رویکرد اخیر برای ارزیابی عملکرد سیستم‌های معاصر است که تلاش می‌کند با چالش‌های جدیدی که با پیچیدگی، اندازه و تنوع بی‌سابقه‌شان به وجود می‌آیند، مقابله کند. به ویژه در مورد سیستم‌ها و شبکه‌های رایانه‌ای، چنین ارزیابی باید مبتنی بر رویکرد چند رشته‌ای به نظریه، فناوری و نگهداری سیستم‌هایی باشد که در محیط‌های واقعی (و اغلب غیر دوستانه) عمل می‌کنند. برخلاف قابلیت اطمینان «کلاسیک» که عمدتاً بر جنبه‌های فنی عملکرد سیستم تمرکز می‌کند، مطالعات قابلیت اطمینان سیستم‌ها را به‌عنوان ادغام‌های چندوجهی و پیچیده از فنی، اطلاعات و همچنین منابع انسانی بررسی می‌کنند.
این مونوگراف، پیشرفت‌های جدید منتخب را در زمینه‌هایی از تحقیقات قابلیت اطمینان مانند مدل‌های ریاضی، ارزیابی نرم‌افزار، ارزیابی احتمالی، روش‌شناسی، ابزار و فناوری‌ها ارائه می‌کند. روش‌های محاسباتی هوشمند و نرم به حل مشکلات اساسی تحلیل قابلیت اطمینان کمک می‌کنند که ناشی از این واقعیت است که در سیستم‌های رایانه‌ای معاصر اغلب یافتن رابطه بین عناصر سیستم و رویدادهای سیستم (رابطه بین دلایل و نتایج) دشوار است و حتی تعریف مدل‌های ریاضی دقیق با روابط «تحلیلی» بین چنین پدیده‌هایی دشوارتر است.
فهرست مطالب :
Front Matter....Pages -
Patterns Improving the Common Criteria Compliant IT Security Development Process....Pages 1-16
A Comparison of Dataflow and Mutation Testing of Java Methods....Pages 17-30
A New Three Levels Context Based Approach for Web Search Engines Evaluation....Pages 31-45
Quantitative Verification of Non-functional Requirements with Uncertainty....Pages 47-62
Testing Fault Susceptibility of a Satellite Power Controller....Pages 63-74
Theoretical and Practical Aspects of Encrypted Containers Detection - Digital Forensics Approach....Pages 75-85
Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques....Pages 87-100
Two-Level Software Rejuvenation Model with Increasing Failure Rate Degradation....Pages 101-115
Towards a UML Profile for Maintenance Process and Reliability Analysis....Pages 117-129
Conjoining Fault Trees with Petri Nets to Model Repair Policies....Pages 131-143
Analysis of Geometric Features of Handwriting to Discover a Forgery....Pages 145-154
A Formal Framework for Testing duration Systems....Pages 155-168
Dynamic Model Initialization Using UML....Pages 169-178
Integrated Application of Compositional and Behavioural Safety Analysis....Pages 179-192
Reliability Analysis of Electronic Protection Systems Using Optical Links....Pages 193-203
Avoiding Probability Saturation during Adjustment of Markov Models of Ageing Equipment....Pages 205-217
Bad Memory Blocks Exclusion in Linux Operating System....Pages 219-231
Metamodel and UML Profile for Functional Programming Languages....Pages 233-242
Resource Co-allocation Algorithms for Job Batch Scheduling in Dependable Distributed Computing....Pages 243-256
Functional Based Reliability Analysis of Web Based Information Systems....Pages 257-269
Human Resource Influence on Dependability of Discrete Transportation Systems....Pages 271-283
An Effective Learning Environment....Pages 285-299
Incremental Composition of Software Components....Pages 301-311
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on multidisciplinary approach to theory, technology, and maintenance of systems which operate in real (and very often unfriendly) environments. As opposed to “classic” reliability which focuses mainly on technical aspects of system functioning, dependability studies investigate the systems as multifaceted and sophisticated amalgamations of technical, information and also human resources.
This monograph presents selected new developments in such areas of dependability research as mathematical models, evaluation of software, probabilistic assessment, methodologies, tools, and technologies. Intelligent and soft computing methods help to resolve fundamental problems of dependability analysis which are caused by the fact that in contemporary computer systems it is often difficult to find a relation between system elements and system events (the relation between reasons and results) and it is even more difficult to define strict mathematical models with “analytical” relationships between such phenomena.
پست ها تصادفی