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

در این کار، معادله حالت ساده شده saft مشابه با معادله حالت ساده شده pc-saft برای مدل سازی تعادل فازی بخار- مایع سیستم هایی شامل مواد غیرتجمعی- غیرتجمعی، تجمعی- غیرتجمعی و تجمعی- تجمعی، بکار رفته است. در این کار، از معادله حالت ساده شده saft برای بررسی تعادل فازی بخار- مایع سیستم های دوجزئی متان- پروپان، متانول- پنتان و آب- متانول استفاده شده است. دراین مقاله، در معادله حالت ساده شده saft از تاب...

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

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

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

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