Sale
ایمنی سامانههای کنترل کامپیوتری: مجموعه مقالات کارگاه IFAC، اشتوتگارت، جمهوری فدرال آلمان، 26-28 اردیبهشت 1358 ۲۰۱۴
Safety of Computer Control Systems: Proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 2014
دانلود کتاب ایمنی سامانههای کنترل کامپیوتری: مجموعه مقالات کارگاه IFAC، اشتوتگارت، جمهوری فدرال آلمان، 26-28 اردیبهشت 1358 ۲۰۱۴ (Safety of Computer Control Systems: Proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 2014) با لینک مستقیم و فرمت pdf (پی دی اف)
| نویسنده |
R. Lauber |
|---|
ناشر:
Elsevier
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2014 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
230 |
| نوع فایل |
|
| حجم |
8.1MB |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب ایمنی سامانههای کنترل کامپیوتری: مجموعه مقالات کارگاه IFAC، اشتوتگارت، جمهوری فدرال آلمان، 26-28 اردیبهشت 1358 ۲۰۱۴
ایمنی سیستمهای کنترل کامپیوتری، مجموعهای از مقالات ارائه شده در کارگاه IFAC است که در تاریخ ۱۶ تا ۱۸ می ۱۹۷۹ در اشتوتگارت آلمان برگزار شد. این کتاب به بررسی مشکلات ذاتی در کاربرد سختافزار و نرمافزار کنترل کامپیوتری در سیستمهای خودکار میپردازد که هدف از آنها حفاظت از جان انسان، اموال و محیط زیست است.
مقالات به نگرانیهای خاصتری مانند سیستمهای ریلی، سیستمهای فرود هواپیما، نیروگاههای هستهای، راکتورهای شیمیایی، آسانسورها و جرثقیلها میپردازند. کتاب همچنین ایمنی و قابلیت اطمینان سیستمهای کامپیوتری صنعتی پیچیده را همراه با مثالی از کاربرد کامپیوترها در نیروگاهها شرح میدهد.
یکی از مقالات، دستورالعملهایی را در مورد مستندسازی سیستمهای کامپیوتری مرتبط با ایمنی ارائه میکند که به طرفهای مختلف درگیر در خرید و بهرهبرداری از آنها کمک خواهد کرد. مقاله دیگری به بررسی نحوه تشخیص خطا در سیستمهای میکروکامپیوتری مانند نقض حافظه و آشکارسازهای کد عملیات نامعتبر میپردازد.
در پایان، کتاب به ضرورت بازرسی کامپیوترهای فرآیندی مورد استفاده در نیروگاههای هستهای، به ویژه زمانی که کامپیوترها در حفاظت از راکتور، میله کنترل و احراز هویت سیستمهای ورود به سیستم استفاده میشوند، میپردازد.
این مجموعه میتواند برای دانشجویان برنامهنویسی، تحلیلگران کامپیوترهای فرآیندی، روسای بخشها و مؤسسات فناوری کامپیوتر، و مدرسان برنامهنویسی و طراحی کامپیوترهای صنعتی مورد توجه باشد.
فهرست کتاب:
۱. رو جلد
۲. ایمنی سیستمهای کنترل کامپیوتری
۳. صفحه حق تکثیر
۴. فهرست مطالب
۵. مقدمه
۶. فصل ۱. مقدمهای بر موضوع کارگاه
۷. فصل ۲. ایمنی و قابلیت اطمینان – اصطلاحات و مدلهای سیستمهای پیچیده آنها
۸. فصل ۳. تجربه کار با کامپیوترها در برخی نیروگاههای بریتانیا
۹. فصل ۴. رهنمودهایی برای مستندسازی سیستمهای کامپیوتری مرتبط با ایمنی
۱۰. فصل ۵. ملاحظات ایمنی در مدیریت پروژه سیستمهای اتوماسیون کامپیوتری
۱۱. فصل ۶. استانداردها برای تولید سیستمهای با کیفیت بالا
۱۲. فصل ۷. افزونگی عملکردی برای دستیابی به قابلیت اطمینان بالا
۱۳. فصل ۸. پروتکلهای ارتباطی برای گذرگاه PDV در نمایش شبکهای
۱۴. فصل ۹. تنوع نرمافزاری در سیستمهای حفاظت راکتور: یک آزمایش
۱۵. فصل ۱۰. در مورد یک سیستم ریزرایانهای موازی متنوع
۱۶. فصل ۱۱. بررسی روشهایی برای تولید و تایید نرمافزار بسیار قابل اعتماد
۱۷. فصل ۱۲. بررسی روشهایی برای اعتبارسنجی نرمافزار مرتبط با ایمنی
۱۸. فصل ۱۳. تجربهای در طراحی و اعتبارسنجی نرمافزار برای یک سیستم حفاظت راکتور
۱۹. فصل ۱۴. نمودارهای وابستگی جریان داده
۲۰. فصل ۱۵. اعتبارسنجی برنامه ایمنی از طریق بررسی کنترل
۲۱. فصل ۱۶. یک کامپیوتر فرآیند برای استفاده تجربی
۲۲. فصل ۱۷. کنترل واکنش هستهای با استفاده از روشهای تشخیص الگو
۲۳. فصل ۱۸. تعیین مشخصات، طراحی و پیادهسازی سیستمهای ایمنی راکتور مبتنی بر کامپیوتر
۲۴. فصل ۱۹. تجربه کار با یک زبان تعیین مشخصات در توسعه دوگانه نرمافزار سیستم ایمنی
۲۵. فصل ۲۰. مروری بر مشکلات ایمنی مرتبط با سختافزار سیستمهای کنترل کامپیوتری
۲۶. فصل ۲۱. نقش ترکیبی افزونگی و برنامههای آزمایشی در بهبود تحمل خطا و تشخیص خطا
۲۷. فصل ۲۲. یک مقایسهگر ایمن در برابر خطا برای سیگنالهای مشابه در سیستمهای کنترل کامپیوتری
۲۸. فصل ۲۳. تشخیص خطا در سیستمهای ریزرایانهای
۲۹. فصل ۲۴. سیاست آزمایش در مقابل سیاست نگهداری و قابلیت اطمینان سیستم
۳۰. فصل ۲۵. بهینهسازی یک سیستم سروو
۳۱. فصل ۲۶. بازرسی کامپیوترهای فرآیند برای نیروگاههای هستهای
۳۲. فهرست نام نویسندگان
توضیحات(انگلیسی)
Safety of Computer Control Systems is a collection of papers from the Proceedings of the IFAC Workshop, held in Stuttgart, Germany on May 16-18, 1979. This book discusses the inherent problems in the hardware and software application of computerized control to automated systems safeguarding human life, property, and the environment. The papers discuss more specific concerns, such as railway systems, aircraft landing systems, nuclear power stations, chemical reactors, elevators, and cranes. The book also describes the safety and reliability of complex industrial computer systems together with an example showing the application of computers in power plants. One paper presents guidelines in documenting safety related computer systems that will help various parties who are involved in their purchase and operation. Another paper discusses how to detect failures in microcomputer systems such as memory violations and invalid operation code detectors. This book then concludes by discussing the necessity of inspecting process computers used in nuclear power plants, especially when computers are used in reactor protection, control rod, and authentication of log-in systems. This collection can be of interest for students of programming, process-computer analysts, heads of computer technology departments and institutions, and lecturers in industrial computer programming and design.
Table of Contents
1. Front Cover
2. Safety of Computer Control Systems
3. Copyright Page
4. Table of Contents
5. Preface
6. CHAPTER 1. INTRODUCTION INTO THE SUBJECT OF THE WORKSHOP
7. CHAPTER 2. SAFETY AND RELIABILITY — THEIR TERMS AND MODELS OF COMPLEX SYSTEMS
8. CHAPTER 3. EXPERIENCE WITH COMPUTERS ON SOME UK POWER PLANTS
9. CHAPTER 4. GUIDELINES FOR THE DOCUMENTATION OF SAFETY RELATED COMPUTER SYSTEMS
10. CHAPTER 5. SAFETY CONSIDERATIONS IN PROJECT MANAGEMENT OF COMPUTERIZED AUTOMATION SYSTEMS
11. CHAPTER 6. STANDARDS FOR THE PRODUCTION OF HIGH QUALITY SYSTEMS
12. CHAPTER 7. FUNCTIONAL REDUNDANCY TO ACHIEVE HIGH RELIABILITY
13. CHAPTER 8. COMMUNICATION PROTOCOLS FOR THE PDV BUS IN NETWORK REPRESENTATION
14. CHAPTER 9. SOFTWARE DIVERSITY IN REACTOR PROTECTION SYSTEMS: AN EXPERMENT
15. CHAPTER 10. ON A DIVERSIFIED PARALLEL MICROCOMPUTER SYSTEM
16. CHAPTER 11. AN INVESTIGATION OF METHODS FOR PRO DUCTION AND VERIFICATION OF HIGHLY RELIABLE SOFTWARE
17. CHAPTER 12. A SURVEY OF METHODS FOR THE VALIDATION OF SAFETY RELATED SOFTWARE
18. CHAPTER 13. AN EXPERIENCE IN DESIGN AND VALIDATION OF SOFTWARE FOR A REACTOR PROTECTION SYSTEM
19. CHAPTER 14. GRAPHS OF DATA FLOW DEPENDENCIES
20. CHAPTER 15. SAFETY PROGRAM VALIDATION BY MEANS OF CONTROL CHECKING
21. CHAPTER 16. A PROCESS COMPUTER FOR EXPERIMENTAL USE
22. CHAPTER 17. CONTROL OF NUCLEAR REACTION BY PATTERN RECOGNITION METHODS
23. CHAPTER 18. SPECIFICATION, DESIGN AND IMPLEMENTATION OF COMPUTERBASED REACTOR SAFETY SYTEMS
24. CHAPTER 19. EXPERIENCE WITH A SPECIFICATIONLAN GUAGE IN THE DUALDEVELOPMENT OF SAFETY SYSTEM SOFTWARE
25. CHAPTER 20. OVERVIEW OF HARDWARE-RELATED SAFETY PROBLEMS OF COMPUTER CONTROL SYSTEMS
26. CHAPTER 21. THE COMBINED ROLE OF REDUNDANCY AND TEST PROGRAMS IN IMPROVING FAULT TOLERANCE AND FAILURE DETECTION
27. CHAPTER 22. A FAIL-SAFE COMPARATOR FOR ANALOGOUS SIGNALS WITHIN COMPUTER CONTROL SYSTEMS
28. CHAPTER 23. FAILURE DETECTION IN MICROCOMPUTER SYSTEMS1
29. CHAPTER 24. TEST POLICY VS MAINTENANCE POLICY AND SYSTEM RELIABILITY
30. CHAPTER 25. OPTIMISATION OF A SERVOSYSTEM
31. CHAPTER 26. INSPECTION OF PROCESS COMPUTERS FOR NUCLEAR POWER PLANTS
32. AUTHOR INDEX
سایر کتابهای ناشر
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
