چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی‌یابی سیستم‌های نرم‌افزاری مطمئن است. در این سیستم‌ها، نمی‌توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی‌یابی، قبل از پیاده‌سازی و در سطح مدل انجام شود. سیستم‌های تبدیل گراف، از پرکاربردترین سیستم‌های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم‌های پیچیده هستند. اما این سیستم‌ها در فرآی...

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

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

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

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

در این پژوهش، به مدل‌سازی عددی پدیده انفجار مدفون با استفاده از روش همبسته اویلری-لاگرانژی (CEL) و بررسی پاسخ خاک و سازه مدفون به این انفجار پرداخته شده است. مدل‌سازی ماده منفجره و خاک اطراف آن با رویکرد لاگرانژی بدلیل ایجاد تغییرشکل های بزرگ و گسیختگی خاک در این ناحیه امکان پذیر نمی‌باشد. به منظور ایجاد یک مدل جامع، باید مزیت‌های روش اویلری و لاگرانژی با هم ترکیب شوند. منطقه نزدیک محل انفجار ب...

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

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

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

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