نتایج جستجو برای: تحلیل صوری

تعداد نتایج: 238880  

دکتر محمدمهدی الشریف محمدمهدی الشریف

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده ریاضی و کامپیوتر 1393

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

Journal: : 2022

هدف این پژوهش مقایسه اثربخشی آموزش غنی­سازی زندگی زناشویی براساس دو رویکرد تئوری انتخاب و گاتمن بر گذشت زنان در است. روش نیمه‌تجربی با طرح پیش­آزمون ـ پس­آزمون گروه کنترل بود. جامعه شامل متأهل دارای مشکلات مراجعه‌کننده به مرکز مشاوره تسنیم شهرستان شوش سال 98 بودند که از میان آن‌ها 60 نفر نمونه­گیری دسترس صورت تصادفی سه مساوی جای گرفتند. اول 9 جلسه دقیقه­ای غنی‌سازی دوم 8 نظریه را دیدند. نیز پرس...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده علوم پایه دامغان 1392

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

Journal: : 2022

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

Journal: : 2022

در سال‌های أخیر با افزایش پیچیدگی، سطح عدم­اطمینان نیز یافته است؛ ازاین‌رو مدیریت ریسک زنجیره تأمین یکی از موضوع‌هایی است که موردتوجه سازمان‌ها قرار گرفته است. ریسک‌های موجود تأمین، وارده ناحیه تأمین‌کنندگان پژوهش حاضر به‌کارگیری مدلی به‌منظور ارزیابی صنایع غذایی شی­‌فو، به شناسایی محتمل و اتخاذ تصمیماتی راستای می­‌پردازد. مدل به‌کار‌گرفته‌شده، ترکیبی محاسبات کلامی فازی (FLC) محاسبه مقدار عوامل...

Journal: : 2022

امروزه مدیریت زنجیره تأمین باید راهکارهایی را اتخاذ کند تا بتواند پاسخگوی نیازهای متغیر مشتریان باشد. استفاده از هوشمندی کسب­وکار به­همراه تقویت یکپارچگی و قابلیت چابکی، موجب ایجاد مزیت رقابتی در می­شود درنتیجه می­تواند موقعیت بهتری کسب­‌وکار داشته هدف این پژوهش، بررسی چگونگی تأثیر کسب‌­وکار بر یکپارچگی، چابکی عملکرد است. درضمن اثر موردبررسی قرار می­‌گیرد. پژووهش ابتدا با مرور پیشینه موضوع، یک ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید