چکیده ندارد.

در این پایان نامه سیستم کنترل کیسه ی هوای خودرو به صورت بسیار دقیق و جزئی توسط سیستم گذار حالت تعریف می شود. سپس نیازمندی های سیستم، شامل رخدادهایی که باید اتفاق بیفتد و آن هایی که بروزشان در سیستم موجب نقص می شود، با استفاده از مدل سیستم استخراج و توسط منطق درخت محاسباتی به صورت رسمی بیان می شوند. در فاز بعدی، نیازمندی های مدل شده ( ضوابط ایمنی) با منطق درخت محاسباتی و سیستم های گذار ( مدل سیس...

از دیرباز، سوانح دریایی بخش لاینفک دریانوردی بوده است. بخش اعظم سوانح گزارش شده، به‌طور مستقیم یا غیرمستقیم به خطای انسانی مربوط می‌شود. سازمان‌ها و ارگان‌های دریایی برای کاهش اثرات خطای انسانی از روش‌های مدیریت ریسک استفاده می‌کنند که هدف اصلی آن‌ها، تقویت ایمنی و کاهش خطای انسانی از طریق انگیزش، آموزش، طراحی سامانه‌ها و تدوین مقررات است. توسعه قوانین بین‌المللی به‌عنوان یکی از روش‌های افزایش ...

در این پایان نامه سیستم ضربان ساز قلب به عنوان یک سیستم حیاتی به صورت رسمی توسط سیستمِ گذار حالت تعریف می شود و ضوابط ایمنی آن با استفاده از تعریف سیستم ضربان ساز قلب استخراج و توسط منطق درخت محاسباتی بیان می شوند. سپس با استفاده از ابزار اوپال، سیستم شبیه سازی شده و ضوابط ایمنی در آن بررسی می شوند تا صحت عملکرد و ارضای این ضوابط را در مدل وارسی کند. در صورت ارضا نشدن ضوابط ایمنی، محل و دلیل برو...

تأکید بر اصل لازم الاتباع بودن قراردادها، بدون در نظر داشتن ضمانت اجراهای تخلف از آن بیهوده است ضمانت اجرای تخلفات قراردادی در نظام جبران ها مطالعه می شود. اصول کلی مبتنی بر عقل و منطق ایجاب می کند شیوه جبران پیمان شکنی ها متناسب با نوع تخلفات صورت گرفته و با رعایت حفظ ثبات قراردادها باشد. بنابراین بسته به میزان و اهمیت پیمان شکنی باید ضمانت اجرای آن تعیین شود. به همین دلیل معاهده وین بین نقض ا...

سابقه و هدف: مطالعات ایمنی و بهداشت در زمینه شناسایی علل حوادث نشان داده اند که علت درصد بالایی از حوادثی که در اثر رفتار ناایمن رخ می دهد نگرش، رفتار و فرهنگ نادرست است. به عقیده بسیاری از محققین آموزش مسائل ایمنی یکی از عوامل مهم و تأثیرگذار بر سطح جو ایمنی سازمان ها می باشد. با توجه به اهمیت جو ایمنی به عنوان یکی از عوامل دخیل در پیشگیری و کاهش حوادث شغلی، مطالعه حاضر باهدف ارزیابی تأثیر آمو...

توجه ویژه به مقوله بهسازی و نوسازی از یک سو و حجم ترافیک از سوی دیگر، این روزها ایمنی مناطق عملیات عمرانی را بسیار حائز اهمیت می‌سازد. عملیات عمرانی مناسب و در عین حال حفظ تردد ایمن یکی از اهداف و وظایف اساسی مسئولین و متخصصین ذی‌ربط می‌باشد. شرایط رانندگی در محدوده مناطقی که عملیات عمرانی در حال اجراست با شرایط رانندگی عادی متفاوت است. به‌علاوه شرایط رانندگی در هر ...

عقد بیع اساس و پایه بسیاری از قراردادهای تجاری بین المللی است. یکی ازمهم ترین و بحث برانگیزترین موضوعات حوزه مزبور، ضمانت اجراهای نقض قراردادبویژه فسخ می باشد. نویسنده معتقد است با توجه به نتایج نامطلوب نقض قرارداد براینقض کننده، توسل به ضمانت اجرای مزبور با احتیاط و محدودیت زیادی روبرو شدهاست. در واقع قانونگذار بین المللی با قراردادن شرایط متعدد برسر راه نقض اساسی،سعی کرده حتی الامکان از وقوع ...