گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.
در سیستم های بلادرنگ بزرگ، به دلایلی مانند پیچیدگی سیستم، عدم درک کامل از سیستم، پایین آوردن نرخ خطاها و غیره، قبل از پیاده سازی سیستم، مدلهایی از این سیستم ها ایجاد میشود و صحت آنها با استفاده از روشهای مختلف درستی یابی سیستم، مورد بررسی قرار می گیرد. از روشهای موجود برای درستی
این مطالعه به بررسی چگونگی تأثیر ادراک مدیران از توانایی سیستم های هزینه یابی بر روی عملکرد آن ها می پردازد. برای آزمون فرضیه های این پژوهش، ابتدا یک نظرسنجی از مدیران سطح میانی انجام گرفت و سپس نتایج آن با استفاده از مدل pls تجزیه و تحلیل شد. نتایج به دست آمده در نهایت وجود رابط
توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار ها
در این پایان نامه نقش اگاهی در سیستم های چند عاملی بر پایه منطق مرتبه اول مورد بررسی قرار می گیرد.این کار در گذشته بر پایه منطق گزاره ای انجام شده است.در این پایان نامه سیستم های حالات سراسری معرفی می گردند.
در این پایان نامه یک درست یاب خودکار پروتکل های رمزنگاری جدید بر اساس یک نمایش ساده از پروتکل به وسیله ی قاعده های پرولوگ و یک الگوریتم کارآمد جدید که مشخص می کند، آیا یک حقیقت از این قاعده ها استنتاج می شود یا خیر، ارائه شده است. این درست یاب خاصیت محرمانگی در پروتکل ها را اثبا
از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. ا
موفقیت طرحهای تغذیه مصنوعی مستلزم شناسایی مکان مناسب برای احداث طرح تغذیه است. استفاده از نظریة مجموعة فازی در مکان یابی پروژه ها، امکان استفاده از اطلاعات کیفی و غیر قطعی را به تصمیم گیر می دهد. براین اساس در تحقیقات جدید مکان یابی پروژه ها به روش تصمیم گیری چند معیاره با استفاد
در این مقاله، بر مفهوم «روش شناسی» و تفاوت آن با «روش» تأکید می شود و در چارچوب این تفاوت گذاری، لایه های دخیل در پژوهش استفهامی مشخص می گردد. هدف آن است که با مشخص کردنِ این لایه ها، زمینۀ کاربرد منطقِ استفهامی در تحلیلِ نظام های رده بندی دانش، به عنوان بدیلی برای منطق استقرائی
بخشی از شعرشناسی شناختی بر نظریة نگاشت قیاسی مبتنی است که برای یافتن شباهت ها، رابطه ها و نظام های ساختاری به کار می رود. ساختار خرد به اجزای اثر و زنجیرة جمله ها در گفتمان و ساختار کلان در سطحی بالاتر، به پردازش اثر نظر دارد که بر اثر تعامل میان این دو ساختار، ساختار دیگری ایجاد
هدف پژوهش حاضر، بررسی رابطه آسیبهای هنجاری (تعارض هنجاری، بیگانگی شغلی و بیهنجاری سازمانی) با سرمایه روانشناختی و تعالییابی شغلی است. پژوهش از نوع همبستگی و جامعه آماری، شامل کلیه کارکنان شرکت صنایع چاپ و بستهبندی آسان قزوین در شهر قزوین بود که از بین آنها 256 نفر به شیوه ی
در منطق کلاسیک، قاعده‌های استنتاج اجازه می‌دهند از مقدمه‌های ناسازگار هر نتیجه‌ای و قضیه از هر مقدمه‌ای استنتاج شود. حاج‌حسینی در کتاب طرحی نو از اصول و مبانی منطق که ویرایش دوم آن در سال ۱۴۰۰ منتشر گردید با افزودن دو شرط جدید به شروط درستی و اعتبار استدلال در منطق کلاسیک، تعریف