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

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

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

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

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

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

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

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

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