مقدمه: رخداد خطا در سیستم های کامپیوتری، مخصوصاً سیستم هایی که در پزشکی استفاده می شوند، می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از...

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

مقدمه: تصاویر توموگرافی کامپیوتری آنژیو ریه به صورت گسترده در شناسایی آمبولی ریوی استفاده می‌شوند. استفاده از این برش نازک برای بررسی عملکرد بالینی ریه امری ضروری است، اما باعث افزایش حجم بار زمانی رادیولوژیست می‌شود. از این رو سیستم‌های متعددی برای شناسایی آمبولی طراحی شده است. هدف از این مقاله، مروری بر سیستم‌های تشخیص آمبولی ریوی و ارزیابی عملکرد آن‌ها است. روش: در این مطالعه کلیه مقالات موج...