راستی‌آزمایی پویا، که به راستی‌آزمایی رفتار حین اجرای نرم‌افزار در برابر نیازهای اولیه‌ی آن می‌پردازد، با چالش‌های ساخت راستی‌آزمای رفتار اجرایی نرم‌افزار و نگاشت بین این رفتار و رخدادهای محیطی مواجه است. ما در این نوشتار رویکردی بنام توصیف مبتنی بر رخداد (E‌B‌V) را ارائه می‌دهیم که طی چهار مرحله راه‌حلی خودکار برای این چالش‌ها ارائه می‌کند. در مرحله‌ی اول، مستندسازی نیازها، مشتمل بر تعامل محیط...

چکیده : . یکی از بهترین و بزرگترین سیستمهایی که در دنیا به منظور افزایش ایمنی و کاهش حوادث تحت عنوان استاندارد شناخته شده است سیستم مدیریت ایمنی و بهداشت شغلی ( ohsas ) میباشد . این سیستم به مدت 7 سال است که در ایران جا افتاده و در صنایع جاری است . وزارت صنایع از سال 1388 کلیه صنایع را ملزم به گرفتن این استاندارد نموده و این صنایع نیز از سال 1390 مقدمات استقرار این سیستم را شروع کرده و در نها...

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

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

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

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

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

این تحقیق در جنگل‌های تحت پوشش شرکت جنگل شفارود طی سال85 تا 89 با استفاده از برگهای تکمیل شده و فرم گزارش حادثه، مورد مطالعه قرارگرفت. نتایج تحقیق در طی دوره مورد مطالعه نشان داد که شیوع حوادث از سال 1385 تا 1387 با سیر صعودی که اوج آن در سال1387 با 29/45 مورد در هزار بوده، از سال 1388 تا پایان سال 1389 سیر نزولی طی نموده به 71/25 مورد در هزار کاهش یافت. کمترین ضریب حادثه مربوط به سال 89 تقریباً...

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