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

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

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

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

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

یکی از معادلات اساسی برای تحلیل انفجار، معادلۀ حالت گازهای حاصل در شرایط غیرمتعارف حین انفجار است. به علت فشارهای بالای حین انفجار (0.2-0.4 mbar) فرض گاز ایدئال برای محصولات فرض غیر معقولی است. از طرف دیگر به دلیل محدودیتهای تجربی تعیین مستقیم معادلۀ حالت ممکن نیست. لذا بایستی به روش غیر مستقیم این معادله مشخص شود. یکی از معادلات پیشنهاد شده معادلۀ bkw است که شامل چندین پارامتر است. در این مقال...

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

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

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

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