به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهایهمروند
- سال انتشار: 1390
- محل انتشار: اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: ROUDSARIT01_071
- زبان مقاله: فارسی
- تعداد مشاهده: 1002
نویسندگان
استادیار دانشگاه شهید بهشتی ، دانشکده مهندسی برق و کامپیوتر
دانشجوی مقطع کارشناسی ارشد، دانشکده مهندسی برق، رایانه و فناوری اطل
چکیده
از آنجایی که سیستم های همروند از حساسیت بالایی برخوردارنداطمینان از صحت عملکردا ین سیستم ها امری ضروری است ؛ب نابراین تولید چنین سیستم هایی از همان ابتدا نیازمند روشهای استاندارد صوری هستند تا هرگونه ابهام و نقض را در ساخت و تولید چنین سیستم هایی برطرف سازند. بنابراین استفاده از ابزاری مناسب برای توصیف سیستمهای همروند بسیار مهم است. هدف نهایی این مقاله توسعه یکمدلسازی جامع صوری از تمامی جنبه های اصلی سیستمهای همروند است که با توجه به پیشرفت کار، بخشی از مدلسازی انجام شده در این مقاله ارائه شده است.کلیدواژه ها
روشهای صوری، سیستمهای همروند، توصیف صوری، زبان Zمقالات مرتبط جدید
- سودآوری مشتریان در خردهفروشی قطعات یدکی ماشین آلات راهسازی با رویکرد یادگیری ماشین
- ارائه روشی کارآمد جهت شناسایی کودکان نیازمند به پیوند مغز استخوان با استفاده از ترکیب طبقه بند ماشین بردار پشتیبان و الگوریتم بهینه سازی فاخته
- استخراج بهینه پارامترهای تاثیر گذار الگوریتم بهینه سازی بوفالوی آفریقایی با هدف استخراج ویژگی های مهم به منظور افزایش کارایی طبقه بندی داده ها
- ارائه روشی کارآمد برای بهبود عملکرد الگوریتم بهینه سازی کلاغ سیاه به منظور افزایش صحت خوشه بندی داده ها
- استفاده از الگوریتم باور بیزین در لایه کاملا متصل شبکه عصبی کانولوشن با هدف افزایش دقت تشخیص تصاویر
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.