راست آزمایی قابلیت ایمنی الگوریتم باکری با زبان برنامه نویسی با محدودیت مینی زینک
- سال انتشار: 1400
- محل انتشار: چهارمین کنفرانس بین المللی مهندسی برق، کامپیوتر و مکانیک
- کد COI اختصاصی: ELCM04_081
- زبان مقاله: فارسی
- تعداد مشاهده: 333
نویسندگان
استادراهنما
چکیده
بررسی مدل تکنیکی برای تایید صحت سخت افزار و نرم افزار سیستم ها است. بررسی مدل به این صورت است که یک سیستم یا فرایند نرم افزاری یا سخت افزاری را به یک سیستم انتقال گراف مدل می کنند بعد با استفاده از یک سری ویژگی های رفتاری که مورد انتظار است به طور صحیح و بدون اشکال انجام شود به بررسی مدل می پردازند . اگر این ویژگی ارضا نشود یک مثال نقض از مدل به ما نشان داده می شود. برای بررسی مدل از منطق زمان خطی و منطق زمان محاسبات ی استفاده می شود. در این مقاله ما مدل گراف شده ای از الگوریتم باکری را به صورت یک آرایه دو بعدی در نظر می گیریم و با استفاده از زبان مینی زینک که یک زبان برنامه ریزی با محدودیت می باشد و با کمک منطق زمان محاسباتی به بررسی قابلیت ایمن بودن مدل می پردازیم.کلیدواژه ها
بررسی مدل ، برنامه ریزی با قیود ، منطق زمان محاسباتی،مینی زینکمقالات مرتبط جدید
- تحلیل انطباقی کیفیت و میزان محبوبیت خدمات ابری با بررسی و مقایسه رتبه بندی Tranco و رتبه بندی عملکردی شرکت های ابری
- طبقه بندی سیگنال های EEG ثبت شده از قشر پیش پیشانی به منظور کشف اثر موسیقی در شدت احساسات با استفاده از شبکه عصبی مصنوعی و پرسشنامه
- ارائه رویکردی برای مدیریت ریسک در پروژه های نرمافزاری با استفاده از خوشه بندی تجمعی
- تحلیل احتمالنقض ترتیب علیتی پیام ها در یک الگوریتم پخش علیتی در سیستمهای توزیع شده
- بهینه سازی به سبک گربه های شنی: الگوریتمی برای جستجوی کارآمد و مدیریت ازدحام
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.