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

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

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

  سابقه و اهداف : یکی از پیامدهای جدی تجاوز به عنف اختلال استرس پس از ضربه می‌باشد. عوامل اجتماعی فرهنگی متعدد می‌توانند اثر این تجاوز را تعدیل یا تشدید نمایند. این پژوهش با هدف بررسی میزان شیوع اختلال استرس پس از ضربه ( PTSD ) در قربانیان مراجعه کننده به پزشکی قانونی در استان کهگیلویه و بویراحمد در سال 1391-1390 انجام شده است.   مواد و روش‌ها : این مطالعه یک پژوهش توصیفی از نوع اپیدمیولوژی می‌...

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

نظامی که حاوی اطلاعات هندسی جامع از محدوده کلیه املاک کشور همراه با ویژگی های ملک، مالک (مالکین) و حقوق مربوطه بوده و امکان مدیریت پویای مجموعه اطلاعات مذکور را فراهم می سازد تا بتواند وظایف خود را با کیفیت و سرعت انجام دهد، سیستم یا نظام کاداستر خوانده می شود. فعالیت های اساسی برای حصول اهداف دراز مدت و استراتژیک کاداستر کشور، بر دو محور بنیادی: "تهیه نقشه های کاداستر و جمع آوری اطلاعات هندسی ...

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