وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...

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

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

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

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

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