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

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

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

 مرتب سازی داده‌ها یکی از مسائل مهم در هنگام پردازش اطلاعات دیجیتال می‌باشد. بسته به نحوه پیاده سازی مرتب کننده، معمولاً سه پارامتر سرعت، سطح اشغالی بر روی تراشه و توان مصرفی از اهمیت ویژه برخوردار هستند. وقتی مرتب کننده بر روی آرایه‌های منظقی برنامه­پذیر (FPGA) پیاده سازی شود، از آنجا که این بلوک به عنوان یک پردازشگر جانبی در کنار سایر بلوک‌های افزاری قرار می‌گیرد، تعداد CLBهای اشغال شده پارامت...

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

در این پایان نامه، ابتدا سیستم های مرتب جزئی انژکتیو، به طور منظم اساسی انژکتیو ضعیف، به طور منظم fg - انژکتیو ضعیف و به طور منظم بخش پذیر را تعریف می کنیم. سپس لم ها و قضایای مربوطه را ارائه می دهیم و در نهایت با استفاده از این تعاریف و خاصیت ها، به دسته بندی تکواره های مرتب جزئی می پردازیم.

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

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

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

در این مقاله به بررسی عددی جریان سه بعدی سیال غیرقابل تراکم در اطراف یک ذره کروی جامد معلق در حال دوران در محدوده 0.1£re£100 پرداخته می شود. به این منظور یک کد عددی سه بعدی نوشته شده که برای گسسته سازی معادلات دیفرانسیل جزیی با روش جبری از روش حجم محدود و با آرایش مرتب شده متغیرها و برای مدل نمودن شارهای جابجایی از روش ون لیر و برای ارتباط دادن میدان های فشار و سرعت از روش سیمپل سی استفاده می ک...