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

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

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

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

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

زمینه و هدف: امروزه آلودگی هوا یکی از مهم ترین مشکلات زیست محیطی کلان شهرها محسوب می شود و در این میان،  آلودگی هوای تهران به یکی از معضلات جدی شهری تبدیل شده است. بنابراین چگونگی توزیع آلاینده ها و روند تغییرات زمانی مکانی آن ها حایز اهمیت است.  هدف از این تحقیق تعیین الگوی توزیع مکانی زمانی آلاینده های هوا در شهر تهران طی فصل سرد سال های 2013-2011  و دوره های حاد آلودگی هوا بوده و عوامل ایجاد...

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

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

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

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