...
首页> 外文期刊>Biomedical Engineering, IEEE Reviews in >Formal Design Methods for Reliable Computer-Aided Diagnosis: A Review
【24h】

Formal Design Methods for Reliable Computer-Aided Diagnosis: A Review

机译:可靠的计算机辅助诊断的正式设计方法:综述

获取原文
获取原文并翻译 | 示例
           

摘要

Physiological signals, medical images, and biosystems can be used to access the health of a subject and they can support clinicians by improving the diagnosis for treatment purposes. Computer-aided diagnosis (CAD) in healthcare applications can help in automated decision making, visualization and extraction of hidden complex features to aid in the clinical diagnosis. These CAD systems focus on improving the quality of patient care with a minimum of fault due to device failures. In this paper, we argue that a formal and model driven design methodology can lead to systems which meet this requirement. Modeling is not new to CAD, but modeling for systems design is less explored. Therefore, we discuss selected systems design techniques and provide a more concrete design example on computer-aided diagnosis and automated decision making.
机译:生理信号,医学图像和生物系统可用于获取受试者的健康,并且它们可通过改善诊断水平来支持临床医生以达到治疗目的。医疗保健应用中的计算机辅助诊断(CAD)可以帮助自动决策,可视化和提取隐藏的复杂特征,以帮助临床诊断。这些CAD系统致力于以最少的设备故障而提高患者护理质量。在本文中,我们认为形式化和模型驱动的设计方法可以导致满足此要求的系统。建模对于CAD来说并不是新手,但是很少探索用于系统设计的建模。因此,我们讨论了选定的系统设计技术,并提供了有关计算机辅助诊断和自动决策的更具体的设计示例。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号