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

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

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

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

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

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

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

معاهده 12 اکتبر1929 مربوط به یکسان کردن برخی از مقررات حمل ونقل هوایی بین المللی ‘ معروف به «معاهده ورشو» ‘71 سال پیش ‘ زمانی که حمل ونقل هوایی هنوز توسعه نیافته بود به تصویب رسید. این معاهده به وسیله اکثر کشورهای جهان تصویب گردیده و در بعضی از کشورها حتی در خصوص پروازهای داخلی هم اجرا می گردد. برای تطبیق با شرایط روز‘ معاهده ورشو 6 مرتبه اصلاح گردیده است که از میان آنها‘ فقط پروتکل لاهه مورد ت...