ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی
- سال انتشار: 1392
- محل انتشار: اولین همایش ملی رویکردهای نوین در مهندسی کامپیوتر و بازیابی اطلاعات
- کد COI اختصاصی: BPJ01_112
- زبان مقاله: فارسی
- تعداد مشاهده: 935
نویسندگان
هیئت علمی موسسه آموزش عالی آیندگان
استادیاردانشگاه شهید بهشتی
چکیده
تولیدنرم افزارقابل اعتمادوکارایکی ازاصلی ترین موارد موردبحث درمهندسی نرم افزار است این مهم بطور خاص درکاربردهای حساس موردتوجه تولید کنندگان قراردارد سیستم های همروند به دلیل وجود برخی مسائل مانند بن بست گرسنگی رفتارغیرقطعی وهمگام سازی بسیارپیچیده حساس و مستعدخطا هستند درنتیجه اطمینان ازدرستی وصحت عملکرداین گونه سیستم ها ازدوجنبه بسیارضروری می باشد اولا سطح قابلیت اطمینان این گونه سیستم ها افزایش خواهدیافت ثانیا موجب کاهش هزینه و زمان کلی تولید سیستم نیز خواهد شد صحت سنجی صوری به عنوان روشی برای اطمینان ازصحت توصیف صوری اولیه نرم افزارمیتواند جلوی خطاهای پرهزینه را بطرزغیرقابل توجهی بگیرد ازطرف دیگربه دلیل سطح تجرید بالا درتوصیفهای صوری و همچنین نیاز به توصیف و تولید صوری سیستم های غیرقطعی مانند سیستم های همروند وجود عدم قطعیت درتوصیفهای صوری اجتناب ناپذیر است دراین مقاله سعی شده تا برمبنای زبان توصیف صوری Z به معرفی روشی برای صحت سنجی توصیفهای نوشته شده سیستم های همروندباپوشش اعمال غیرقطعی پرداخته شود درانتها برای نشان دادن قابلیت های روش مذکور یک مطالعه موردی ازسیستم های همروند انجام شده استکلیدواژه ها
زبان Z، سیستم های همروند، صحت سنجی، عدم قطعیتمقالات مرتبط جدید
- استفاده از اینترنت اشیا در بهبود مدیریت بار و افزایش کارایی شبکه های برق
- بهینه سازی توان در سیستم های چند هسته ای با استفاده از یادگیری تقویتی و تخصیص منابع
- بررسی مدارهای مجتمع آنالوگ کم مصرف برای کاربردهای پزشکی
- Physical Layer Security in ۵G Networks Using ArtificialInterference
- یک روش جدید در سیستم های توصیه گر برای پیش بینی سلیقه کاربران با استفاده ازالگوریتم بهینه سازی نهنگ
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.