ابزاری برای ارزیابی اتکاپذیری مدل های CSAN
- سال انتشار: 1398
- محل انتشار: سومین همایش ملی دانش و فناوری مهندسی برق، کامپیوتر و مکانیک ایران
- کد COI اختصاصی: UTCONF03_240
- زبان مقاله: فارسی
- تعداد مشاهده: 434
نویسندگان
مربی مهندسی کامپیوتر، گروه کامپیوتر، دانشگاه پیام نور واحد لنگرود
چکیده
بدست آوردن احتمالات حالات مدل CSAN در زمان های تعیین شده و با دقت لازم، نیاز به حل گذاری CTMC متناظر با مدل CSAN دارد. برای رسیدن به این هدف، باید ماتریس نرخ گذر حاصل شده از گراف دسترسی مدل را به عنوان ورودی به حل کننده ی گذرای CTMC ارایه کرد. برای بدست آوردن گراف دسترسی نیز نیاز به تعیین فضای حالت مدل خواهیم داشت. بدین مظور، الگوریتم های فضای حالت مدل CSAN بایستی طراحی و پیاده سازی شوند که این امر نیازمند توانایی کامپایل مدل CSAN است که از فایل ورودی XML خوانده می شود. برای کامپایل مدل CSAN بایستی بتوانیم توابع و گزاره ها و اعلانات موجود در مدل را نیز کامپایل کنیم. ما در این مقاله، نرم افزار CSANDE را معرفی می کنیم که با دریافت مدل CSAN، احتمالات حالات مدل را در زمان های تعیین شده و با دقت لازم ارایه می دهد.کلیدواژه ها
ارزیابی اتکاپذیری، مدل CSAN، فضای حالت مدل CSAN، ابزار تحلیل CSAN، احتمالات حالت مدل CSANمقالات مرتبط جدید
- مینیمالیسم در ui
- تشخیص احساسات در تست قابلیت استفاده: چارچوبی برای بهبود طراحی رابط کاربری وب اپلیکیشن
- Improving vehicle ride comfort using PID Controller Tuned by Particle Swarm Optimization an MR-Damped in a full-car model
- بهبود تخلیه ربات های ابری با شبکه عصبی عمیق در اینترنت اشیا
- مدلسازی و شبیه سازی پیل سوختی غشاء تبادل پروتون (PEMFC) همراه مبدل باک با کنترلر مد لغزشی-فازی
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.