دانلود فایل با شمار فاکتور
لطفا شماره فاکتور خود را درج نمایید
جدیدترین لغات واژه‌نامه
کشورهای شمال اروپا
آتش سوزی های جنگلی
دوسویه
نادیده گرفتن، دست انداخ
اجتناب ناپذیر، بی شفقت،
آمار بازدیدکنندگان
بازدید امروز :44
بازدید روز گذشته :66
بازدید این هفته :457
بازدید این ماه :1594
مجموع آمار بازدید ها :785568
بازدید روز گذشته :66
بازدید این هفته :457
بازدید این ماه :1594
مجموع آمار بازدید ها :785568
عنوان محصول: تجزیه‌وتحلیل کارای درخت خطای ایستا و پویا
|
توضیحات مختصر:
درخت‌های خطا یکی از فرمالیسم‌های ضروری برای آنالیز امن ایستای سیستم‌های صنعتی مختلفی است. درخت‌های خطای پویا (DFT) فرمالیسم را با پشتیبانی از رفتار وابسته به زمان توسعه می‌دهد. به‌عنوان‌مثال تعمیرات و یا وابستگی‌های پویا. این مسئله می‌تواند منجر به ایجاد مدل‌های بسیار واقع‌گرایانه و بسیار جامعی شده ...
|
| تجزیه‌وتحلیل کارای درخت خطای ایستا و پویا |
قیمت : 37000 تومان
تخفیف: 2000 تومان
تخفیف ویژه : 10 درصد
قیمت نهایی: 31300 تومان
471 بازدید
کد مقاله: TTC-
3463
نوع فایل : docx
خرید و دانلود
لینک دانلود فایل خریداری شده بلافاصله بعد از خرید موفق فعال خواهد شد.
Abstract
Fault trees constitute one of the essential formalisms for static
safety analysis of various industrial systems. Dynamic fault trees
(DFT) enrich the formalism by support for time-dependent behaviour,
e.g., repairs or dynamic dependencies. This enables more realistic and
more precise modelling, and can thereby avoid overly pessimistic analysis
results. But analysis of DFT is so far limited to substantially smaller
models than those required for instance in the domain of nuclear power
safety. This paper considers so called SD fault trees, where the user is
free to express each equipment failure either statically, without modelling
temporal information, or dynamically, allowing repairs and other timed
interdependencies. We introduce an analysis algorithm for an important
subclass of SD fault trees. The algorithm employs automatic abstraction
techniques effectively, and thereby scales similarly to static analysis algorithms,
albeit allowing for a more realistic modelling and analysis. We
demonstrate the applicability of the method by an experimental evaluation
on fault trees of nuclear power plants.
چکیده
درخت‌های خطا یکی از فرمالیسم‌های ضروری برای آنالیز امن ایستای سیستم‌های صنعتی مختلفی است. درخت‌های خطای پویا (DFT) فرمالیسم را با پشتیبانی از رفتار وابسته به زمان توسعه می‌دهد. به‌عنوان‌مثال تعمیرات و یا وابستگی‌های پویا. این مسئله می‌تواند منجر به ایجاد مدل‌های بسیار واقع‌گرایانه و بسیار جامعی شده و درنتیجه از ایجاد آنالیز بدبینانه جلوگیری کند. اما آنالیز DFT به علت محدود بودن مدل‌های آن، دارای محدودیت‌های زیادی است مانند امنیت توان هسته‌ای. در این مقاله درخت‌های خطای SD در نظر گرفته می‌شوند که در آن کاربر برای بیان هر خرابی در تجهیزات حتی مواردی که به‌صورت ایستا و پویا هستند، آزاد بوده و نیازی به اطلاعات موقتی مدل بندی ندارد و امکان تعمیرات و سایر عملیات و وابسته به زمان را برای کاربر فراهم می‌کند. ما یک الگوریتم تجزیه‌وتحلیل را برای یک زیرمجموعه از درخت‌های خطای SD ارائه می‌دهیم. الگوریتم به‌صورت کارایی از تکنیک‌های تجرید خودکار استفاده نموده و درنتیجه به الگوریتم‌های آنالیز ایستا امکان آنالیز و مدل بندی واقع‌گرایانه را فراهم می‌سازد. ما قابیلت استفاده از روش را با استفاده از ارزیابی تجربی بر روی درخت‌های خطای طرح‌های توان هسته‌ای، نشان می‌دهیم.
تعداد صفحات انگلیسی:
تعداد صفحات فـارسـی:
- آدرس: تبریز، آبرسان، مهرگان چهارم
- تلفن تماس: 09016347107
- تلفن ثابت : 35250068-041
- Mailttcenterاین آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید : آدرس ایمیل
- @zoodyab :آدرس تلگرام
مرکز تخصصی تلاش ترجمه از سال 1385 شروع به کار نموده است و تا کنون بیش از ده هزار ترجمه در رشته ها و زمینه های مختلف توسط متخصصین این مرکز انجام شده است.
تمامی ترجمه‌های انجام شده توسط موسسه تخصصی تلاش ترجمه، به صورت دستی (غیرماشینی) بوده و توسط مترجمین با سابقه انجام می‌شوند. ترجمه‌های انجام شده توسط موسسه تلاش ترجمه در قالب فایل Word و به صورت کاملا روان و بازخوانی شده و با ضمانت بازگشت وجه 72 ساعته (در صورت عدم رضایت از ترجمه) خدمت مشتریان محترم ارائه می‌شود.