期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
时间自动机与信号自动机的互模拟算法 被引量:1
1
作者 朱维军 刘保罗 周清雷 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第5期38-42,共5页
信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验证的问题,把信号自动机验证归约到时间自动机验证,证明了两种自动机具有相同的识别语言能力,并具有双向模... 信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验证的问题,把信号自动机验证归约到时间自动机验证,证明了两种自动机具有相同的识别语言能力,并具有双向模拟关系.在此基础上提出了线性的互模拟算法,把互模拟算法和已有的时间自动机验证算法结合起来,得到了信号自动机的验证算法,从而解决了对信号自动机模型的验证问题. 展开更多
关键词 时间自动机 信号自动机 离散步长 互模拟 模型验证 自动机理论
在线阅读 下载PDF
Automatic detection of respiratory rate from electrocardiogram,respiration induced plethysmography and 3D acceleration signals 被引量:3
2
作者 刘官正 吴丹 +2 位作者 梅占勇 朱青松 王磊 《Journal of Central South University》 SCIE EI CAS 2013年第9期2423-2431,共9页
Respiratory monitoring is increasingly used in clinical and healthcare practices to diagnose chronic cardio-pulmonary functional diseases during various routine activities.Wearable medical devices have realized the po... Respiratory monitoring is increasingly used in clinical and healthcare practices to diagnose chronic cardio-pulmonary functional diseases during various routine activities.Wearable medical devices have realized the possibilities of ubiquitous respiratory monitoring,however,relatively little attention is paid to accuracy and reliability.In previous study,a wearable respiration biofeedback system was designed.In this work,three kinds of signals were mixed to extract respiratory rate,i.e.,respiration inductive plethysmography(RIP),3D-acceleration and ECG.In-situ experiments with twelve subjects indicate that the method significantly improves the accuracy and reliability over a dynamic range of respiration rate.It is possible to derive respiration rate from three signals within mean absolute percentage error 4.37%of a reference gold standard.Similarly studies derive respiratory rate from single-lead ECG within mean absolute percentage error 17%of a reference gold standard. 展开更多
关键词 respiration inductive plethysmography respiratory rate ELECTROCARDIOGRAM 3D acceleration activity
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部