یک روش ساخت یافته مبتنی بر پالایش برای توصیف صوری رفتار سیستم های گسترده
- سال انتشار: 1392
- محل انتشار: بیست و یکمین کنفرانس مهندسی برق ایران
- کد COI اختصاصی: ICEE21_063
- زبان مقاله: فارسی
- تعداد مشاهده: 664
نویسندگان
استادیار-دانشکده مهندسی برق و کامپیوتر-دانشگاه کاشان
دانشجوی کارشناسی ارشد-دانشکده مهندسی برق و کامپیوتر-دانشگاه کاشان
چکیده
یکی از روش های معمول برای برقراری ارتباط در محیط های گسترده، ارسال پیام است. ارسال و دریافت پیام به صورت امن ازنگرانی های مهم در چنین محیط هایی است. برای توصیف هر مسئله ای که بر روی سیستم گسترده مطرح می شود، باید تضمین شود که ترتیبدریافت پیام ها، مستقل از ساختار و مشکلات شبکه ی مورد استفاده، به شکل مورد نیاز مسئله است. ما با استفاده از تجربیات قبلی، در این مقالهیک روش رسمی ساخت یافته برای توصیف سیستم های گسترده بیان می کنیم که در آن فرستنده فایلی از پیام ها را به صورت همگام به گیرنده ارسال می کند و طرز برخورد و مقابله با خطاهای احتمالی فرستنده، گیرنده و شبکه ارتباطی آن ها را در نظر می گیرد. در این روش، توصیف سیستم به صورت تکاملی در چهار مرحله پالایش کامل می شود. ما از روش رسمیEvent-Bکه به خوبی به درک مفهوم مدل با استفاده از تکنیک انتزاع و پالایش کمک می کند، بهره میگیریم. در طول مدل سازی از ابزارRodinبرای توصیف خصوصیات، و وارسی مدل استفاده می کنیم. این ابزار به صورت خودکار قیودی که باید اثبات شود ایجاد می کند و توسط اثبات کننده ای که دارد آنها را اثبات می کندکلیدواژه ها
پالایش، سیستم گسترده، قیود اثبات، وارسی Event-Bمقالات مرتبط جدید
- سیستم تشخیص نفوذ در محیط رایانش ابری با استفاده از یادگیری ویژ گی
- کاهش هزینه تعمیراتی ماشین های سنگین از طریق بهبود الگوریتم درخت تصمیم با الگوریتم های انتخاب ویژگی Information Gain ،Correlation و SVM
- پردازش کوانتومی تصاویر پزشکی و تشخیص لبه آن با استفاده از الگوریتم QHED
- بررسی و مقایسه روشهای تشخیص اکانت های جعلی در شبکه های اجتماعی
- مکان یابی و مقدار بهینه منابع تولید پراکنده به منظورکاهش تلفات و بهبود انحراف ولتاژ شبکه نامتعادل توزیع
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.