Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.
كتب مشابهة
مبنى سكني في مدينة دمشق
يعرض مبنى سكني في مدينة دمشق، مؤلف من كتلة واحدة مركزية مكونة من قبو وعشرة طوابق متكررة مع بروزات في الطوابق المكررة. تم استخدام جملة جدران خرسانية مسلحة خاصة لمقاومة الاحمال الافقية.
دراسة وتصميم برج سكني في مدينة دمشق
يعرض بناء سكني يقع في دمشق، مؤلف من قبو، طابق أرضي و عشرة طوابق متكررة يضم كل طابق أربع شقق سكنية. يتضمن المشروع الدراسة الانشائية والزلزالية وفق الطريقة الحدية بمواصفات المواد المستخدمة في المشروع.
دراسة و تصميم برج سكني في محافظة اللاذقية
دراسة وتصميم برج سكني وفق المعايير الهندسية الحديثة، مع الأخذ بعين الاعتبار العوامل الإنشائية والبيئية. يتناول المشروع تحليل البلاطات والجوائز المستخدمة في البناء، مع دراسة تفصيلية لأنواع البلاطات المصمتة والمفرغة واشتراطاتها البعدية والتسليح اللازم لها. ركز المشروع على تحقيق التوازن بين المتانة والكفاءة الاقتصادية مع مراعاة الاشتراطات الهندسية لضمان سلامة وأمان البرج السكني.
دراسة إنشائية وزلزالية لمبنى برج سكني في مدينة دمشق
يبحث في برج سكني في مدينة دمشق، مؤلف من قبو يضم قسم خدمات وملجأ، طابق أرضي يضم صالات ترفيهية، ثلاثة عشر طابق متكرر تضم شقق سكنية وخزان مياه بيتوني بجانب البناء. تم اعتماد بلاطات مفرغة ذات اتجاه واحد للطوابق المتكررة، بينما تم استخدام بلاطات مصمتة ذات اتجاهين للقبو.
