نتایج جستجو برای: تحلیل صوری
تعداد نتایج: 238880 فیلتر نتایج به سال:
براساس تلقی مرسوم از اصل تفکیک قوا، وظیفه دادرس صرفاً شناخت ارادة قانونگذار و تطبیق آن بر مصادیق خارجی است. انگیزة دستیابی به امنیت قضایی و وجود برخی عوامل همچون شکل قیاسی استدلال قضایی و لزوم استنتاج تمامی نتایج از قانون موجب گرایش سنتی حقوقدانان به تحلیل قیاس قضایی در قالب یک قیاس صوری شده است . در قیاس صوری یا استدلال استنتاجی تابع منطق صوری ، استدلال روندی ضروری داشته و جز یک نتیجه درست وجود...
چکیده ندارد.
منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی، پروتکل های توافق-کلید) همکاری دارند را...
هدف این پژوهش مقایسه اثربخشی آموزش غنیسازی زندگی زناشویی براساس دو رویکرد تئوری انتخاب و گاتمن بر گذشت زنان در است. روش نیمهتجربی با طرح پیشآزمون ـ پسآزمون گروه کنترل بود. جامعه شامل متأهل دارای مشکلات مراجعهکننده به مرکز مشاوره تسنیم شهرستان شوش سال 98 بودند که از میان آنها 60 نفر نمونهگیری دسترس صورت تصادفی سه مساوی جای گرفتند. اول 9 جلسه دقیقهای غنیسازی دوم 8 نظریه را دیدند. نیز پرس...
اطلاعات یک عنصر کلیدی در جامعه ماست بنابراین محرمانگی، احراز هویت و صحت اطلاعات آن باید تضمین شده باشد. پروتکلهای امنیت دنباله ای از فعل و انفعالات بین نهادها را تعیین میکنند. محیطی که پروتکلهای امنیت در آن در نظر گرفته میشوند خصومت آمیز است. بدین معنی که این محیط ممکن است شامل مهاجم هایی یاشد که اطلاعات را تحریف کنند. پروتکلهای امنیت اغلب به دلیل خواص بینهایت نافذی که فرض میشود بدست آورده اند ...
تأخیرهای طولانی در تکمیل واحدهای مسکونی، ناشی از عدمتأمین منابع مالی کافی و بهموقع یکی مشکلات سازندگان فرآیند تولید مسکن است؛ بنابراین پژوهش حاضر با توجه به چالشهایی که مانع پیشفروش مؤثر مسکونی برای تأمین هستند، بر آن است تا ارائه مدلی اساس رویکرد پویایی سیستم، سیاستهای پیشفروش را راستای مکفی بهموقع، کاهش تأخیر تکمیل، هزینه فرصت ازدسترفته حصول توازن بین سود سازنده خریدار تعیین کند....
در سالهای أخیر با افزایش پیچیدگی، سطح عدماطمینان نیز یافته است؛ ازاینرو مدیریت ریسک زنجیره تأمین یکی از موضوعهایی است که موردتوجه سازمانها قرار گرفته است. ریسکهای موجود تأمین، وارده ناحیه تأمینکنندگان پژوهش حاضر بهکارگیری مدلی بهمنظور ارزیابی صنایع غذایی شیفو، به شناسایی محتمل و اتخاذ تصمیماتی راستای میپردازد. مدل بهکارگرفتهشده، ترکیبی محاسبات کلامی فازی (FLC) محاسبه مقدار عوامل...
امروزه مدیریت زنجیره تأمین باید راهکارهایی را اتخاذ کند تا بتواند پاسخگوی نیازهای متغیر مشتریان باشد. استفاده از هوشمندی کسبوکار بههمراه تقویت یکپارچگی و قابلیت چابکی، موجب ایجاد مزیت رقابتی در میشود درنتیجه میتواند موقعیت بهتری کسبوکار داشته هدف این پژوهش، بررسی چگونگی تأثیر کسبوکار بر یکپارچگی، چابکی عملکرد است. درضمن اثر موردبررسی قرار میگیرد. پژووهش ابتدا با مرور پیشینه موضوع، یک ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید