روش های صوری در توصیف سیستم های همروند
- سال انتشار: 1395
- محل انتشار: اولین کنفرانس بین المللی دستاوردهای نوین پژوهشی در مهندسی برق و کامپیوتر
- کد COI اختصاصی: CBCONF01_0493
- زبان مقاله: فارسی
- تعداد مشاهده: 1020
نویسندگان
عضو هیات علمی گروه کامپیوتر، دانشکده فنی و مهندسی، دانشگاه زابل
چکیده
یک سیستم همروند مجموعه ای است از فرآیندهایی که به طور همروند اجرا می شوند و در حین اجرا با یکدیگر در تعامل می-باشند. پیچیدگی این سیستم ها موجب شده توصیف آنها امری دشوار و مستعد خطا باشد. روشهای صوری، روشهایی هستند مبتنیبر ریاضیات، که میتوانند در تمام دوره های چرخه حیات یک سیستم نرمافزاری اعمال شوند و مبنای ریاضی آنها باعث افزایش دقت ورفع ابهام می شود. بنابراین استفاده از این روشها برای توصیف سیستم های همروند می تواند منجر به کاهش خطا و کاهش پیچیدگیاین سیستم ها شود. تا کنون ابزار و روشهای مختلفی برای استفاده از روشهای صوری در توصیف سیستم های همروند معرفی شدهاست که در این مقاله تعدادی از این روشها معرفی می شوند و در انتها یک دسته بندی کلی از این روشها به همراه جنبه هایمختلفی از سیستم های همروند که در هر روش به توصیف آن پرداخته شده است،ارائه می شود.کلیدواژه ها
روش های صوری، سیستم های همروند، توصیف صوریمقالات مرتبط جدید
- هولتر ضبط نوار قلب از طریق تلفن همراه
- نگاهی به روش های حذف آرتیفکت فلزی درتصاویر ct اسکن
- مروری برکاربرد یادگیری عمیق در تشخیص زودهنگام و پیش بینی سرطان
- مروری بر استفاده از تکنیک های یادگیری ماشین در پیش بینی میزان کارآفرینی و سنجش میزان تاثیرگذاری شاخص های مختلف بر افزایش کارآفرینی
- مدلسازی کامپیوتری و شبیه سازی کنترل کننده های فازی تاکاگی-سوگنو برای ربات های با چرخه ای متحرک با استفاده از MATLAB
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.