سیستم تبدیل گراف فرمالیسمی گرافیکی است بمنظور مشخص کردن جنبه های مختلف سیستم ها. یکی از تکنیک های رایج بمنظور بررسی سیستم های بیان شده با استفاده از سیستم تبدیل گراف عملیات وارسی مدل می باشد. هرچند، برای بسیاری از سیستم های پیچیده و بزرگ، تکنیک وارسی مدل با مشکلی به نام مشکل انفجار فضای حالت مواجه می شود که انجام عملیات وارسی مدل را غیر ممکن می سازد. در این پایان نامه پیشنهاد شده است که از عملی...

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

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

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

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

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

به‌طور متوسط هر چند سال یک‌بار، یک زلزلۀ بزرگ و مخرب در فلات ایران اتفاق می‌افتد که به‌طور معمول، خسارات زیادی به‌جای می‌گذارد. زلزله‌های وان ترکیه، سراوان و سرپل ذهاب-کرمانشاه، سه زلزلۀ اخیر این منطقه از سال 2011 تا 2017 بوده‌اند. توجه به رفتار پیش‌نشانگری لرزه‌ای با استفاده از الگوریتم‌های پیش‌بینی می‌تواند در کاهش خسارات چنین زلزله‌هایی مؤثر واقع شود. در این مقاله، الگوریتم میان‌مدت پیش‌بینی...

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

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