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