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

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

توفان‌های شدید یکی از پدیده‌های طبیعی است که روی محیط زیست آبزیان نقش به سزایی دارد و برای دریانوردانی که به اکوسیستم‌های دریایی وابستگی دارند نیز یک مخاطره محسوب می‌شود.در این پژوهش جهت بررسی احتمال رخداد تندبادهای فرین کرانه‌های بندر بوشهر با مدل آماری تجزیه وتحلیل سری‌های جزیی (Partial series)، آمار روزانه بیشینه سرعت باد ایستگاه هواشناسی دریایی بوشهر در سال‌های(1389- 1356) فراهم شد. صحت وهم...

شدیدترین و فرگیرترین رخداد بارش، بر روی ناحیه ی نیمه پر بارش زاگرس جنوبی با استفاده از پایگاه داده ی بارش اَسفزاری مطالعه شد. الگوهای فشار تراز دریا، ضخامت لایه ی 500-1000 هکتوپاسکال، شار همگرایی رطوبت، فراوانی تابع رودباد و جبهه زایی، برای رویدادهای انتخاب شده ارزیابی شد. این مطالعه نشان داد که سامانه ی پرفشار سیبری و فرود دریای سرخ مهمترین عامل رخداد بارش های سنگین هستند. همچنین در جریان این 1...

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

چکیده   در این مقاله داده های بارش روزانه زاهدان از اول ژانویه 1966 تا آخر دسامبر 2005 میلادی برای شناسایی تیپ های بارشی زاهدان بررسی گردید. ابتدا روزهای بارشی استخراج شده و هفت پارامتر بارشی و چهار پارامتر زمانی برای آنها تعریف گردید. سپس بر اساس پارامترهای بارشی و زمانی تعریف شده برای 901 روز بارشی، یک ماتریس 11*616 تشکیل شد. یک تحلیل خوشه ای پایگانی با روش ادغام وارد ( ward ) روی ماتریس پارم...

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

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

      نانوفسیل‌های آهکی و آمونیت‌ها در سازندهای سرچشمه و سنگانه برش تکل‌کوه واقع در قسمت‌های غربی حوضه رسوبی کپه‌داغ مورد مطالعه و بررسی قرار گرفتند. در برش مورد بررسی بیوزون‌های آمونیتی Heteroceras spp. Zone ، Martelites securiformis Zone ، Deshayesites oglanlensis ، Deshayesites weissi Zone و قسمت‌های تحتانی بیوزون آمونیتی Deshayesites deshayesi Zone در لایه‌های مربوط به سازند سرچشمه و قسمت‌ه...

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