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

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

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

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

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

چکیده ندارد.

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

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