گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.

روش تحلیل مسیر، تعمیمی از دگرسیون معمولی است که قادر است علاوه بر بیان آثار مستقیم، آثار غیرمستقیم و اثر کل هر یک از متغیرهای مستقل را برای متغیرهای وابسته نشان دهد و با بیان منطقی، روابط و همبستگی مشاهده شده بین آن ها را تفسیر کند. برای بررسی روابط علی بین متغیرها به صورتی منسجم کوشش های بسیاری در دهة اخیر صورت گرفته است. یکی از روش های نو در این زمینه "مدل معادلات ساختاری (staructural e...

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

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

جمع آوری پسماند یکی از فعالیت های مدیریت پسماند است که 90-60 درصد از کل هزینه ها را به خود اختصاص می دهد. اهمیت این موضوع از آن جهت است که بهبود اندکی در عملیات جمع آوری می تواند تاثیر قابل ملاحظه ای در صرفه جویی هزینه های کل داشته باشد. بنابراین موضوع مسیریابی وسیله نقلیه جهت رسیدن به این هدف مورد توجه قرار می گیرد. مسئله مسیریابی وسیله نقلیه مسئله ای است که هر روز هزاران کارخانه و سازمان که د...

در این پژوهش " نقش فناوری اطلاعات و ارتباطات در صنعت بانکداری کشورهمراه با مطالعه موردی یک بانک خصوصی"تحلیل شده است. ابتدا با مرور ادبیات موضوع تحقیق ، مدل مفهومی تأثیر به کارگیری فناوری اطلاعات وارتباطات بر عملکرد صنعت بانکداری، طراحی شده است که در واقع تأثیر به کارگیری فناوری اطلاعات و ارتباطات را بر افزایش کیفیت، رضایت مشتریان، نوآوری و کاهش هزینه و زمان صرف شده در بانک را بررسی می کند. مدل ...

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

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

کنترل بهینه رویت گری که تنها با زاویه سمت در حال مکان یابی هدفی ساکن است، مدنظر است. بدین منظور سیگنال کنترل به گونه ای تولید می شود تا خطای تخمین مکان هدف کاهش یابد. معیار بهینگی، اثر ماتریس کوواریانس خطای تخمین در لحظه نهایی انتخاب شده است. این مسئله با ارائه قانون کنترلی که جهت حرکت رویت گر را به زاویه سمت هدف مرتبط می سازد، حل شده است. ویژگی روش ارائه شده علاوه بر تولید بلادرنگ مسیرهایی که ...

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