مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

649
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

511
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله نشریه

عنوان

ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه

صفحات

 صفحه شروع 84 | صفحه پایان 96

چکیده

 مقدمه: رخداد خطا در سیستم های کامپیوتری, مخصوصا سیستم هایی که در پزشکی استفاده می شوند, می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از این مطالعه ارایه روش رسمی برای اعتبارسنجی ماشین قلب- ریه است.مواد و روش ها: عملکرد ماشین قلب-ریه با استفاده از ابزار UPPAAL که از ماشین خودکار زمانی پشتیبانی می کند مدل شده است. چون در این ماشین سه مجموعه کار به طور موازی انجام می شود, که در سه زیرسیستم ماشین عملکرد کلی سیستم, ماشین تزریق دارو و ماشین تحویل محلول کاردیوپلژیا مدل شده است.یافته های پژوهش: پس از مدل سازی, با جستجوی جامع روی فضای حالت مدل, خصوصیات مهم سیستم وارسی شد. وضعیت هایی که موجب ورود سیستم به حالت های ناامن می شود شناسایی شدند. دسترس پذیری تمام حالات مهم سیستم بررسی شد. در نهایت از بد عمل نکردن سیستم و صحت خصوصیات آن اطمینان لازم کسب گردید.بحث و نتیجه گیری: مدل سازی یک روش کم هزینه برای مطالعه یک سیستم و ارزیابی واکنش آن به تغییرات محیطی قبل از ساخت آن است. نظر به اهمیت ماشین قلب-ریه در جراحی ها در این مقاله یک مدل رسمی برای وارسی عملکرد این ماشین ارائه شده است.

استنادها

  • ثبت نشده است.
  • ارجاعات

  • ثبت نشده است.
  • استناددهی

    APA: کپی

    رافع، رضا، یوسفی فرد، فاطمه، و حسینی کب، سیده زینب. (1394). ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه. مجله علمی دانشگاه علوم پزشکی ایلام، 23(3)، 84-96. SID. https://sid.ir/paper/90297/fa

    Vancouver: کپی

    رافع رضا، یوسفی فرد فاطمه، حسینی کب سیده زینب. ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه. مجله علمی دانشگاه علوم پزشکی ایلام[Internet]. 1394؛23(3):84-96. Available from: https://sid.ir/paper/90297/fa

    IEEE: کپی

    رضا رافع، فاطمه یوسفی فرد، و سیده زینب حسینی کب، “ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه،” مجله علمی دانشگاه علوم پزشکی ایلام، vol. 23، no. 3، pp. 84–96، 1394، [Online]. Available: https://sid.ir/paper/90297/fa

    مقالات مرتبط نشریه ای

    مقالات مرتبط همایشی

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button