沈嘉权
- 作品数：6 被引量：4H指数：2
- 供职机构：昆明理工大学信息工程与自动化学院更多>>
- 发文基金：云南省教育厅科学研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于IF的实时系统验证被引量：1
- 2009年
- IF是一个对异步实时系统建模和验证的开放环境,建立在具有丰富表达能力,基于时间自动机的中间语言IF符号集之上。文章描述了IF的组成,包括其体系结构,所使用的符号集;然后给出了IF对实时系统验证的方法,并运用此验证方法对一个实时系统实例进行了验证。
- 沈嘉权刘晓燕字天文于立新
- 关键词：IF时间自动机
- 肾病专科电子病历系统的分析与设计
- 2008年
- 电子病历是医院信息化发展的趋势，专科病历系统更是必然产物。针对目前电子病历的不足之处，分析国内肾病专科医院对信息化产物的需求，设计出具有处方诊断功能的智能化的肾病专科电子病历系统。用户在B／S模式的平台上，能够快速准确地查阅病人的临床检验信息，权限用户还可以管理患者信息；能够快速地处理大量的临床检验数据并且准确地得出解析结果；能够得出处方辅助医生诊断。该系统可以有效提高医生的工作效率。
- 于立新刘晓燕沈嘉权字天文
- 关键词：电子病历
- IF对实时软件设计图形模型的验证
- 实时系统是能及时响应外部发生的随机事件,并以足够快的速度完成对事件处理的计算机应用系统。对于实时系统,不但要满足逻辑的正确性,而且要满足的时间的正确性,即对系统有时限要求,所要求的处理必须在一定的时限内完成,这就要求实时...
- 沈嘉权
- 关键词：实时系统时间自动机IF映射规则
- 文献传递
- 模糊算法在肾脏电子病历系统中的应用研究
- 2008年
- 本文将模糊逻辑推理的思想运用在肾脏电子病历系统的智能推理和知识表达中,并对一些模糊逻辑推理算法进行改进,使得在处方诊断时,可以根据患者输入的各项化验指标进行模糊推理,排定治疗的手段和治疗的剂量,供医生参考,并用模糊逻辑推理方法在肾脏电子病历系统中进行血液透析和腹膜透析综合运用的自动检测实验,结果表明该算法有效可行,可进一步实现电子病历的智能化。
- 于立新刘晓燕沈嘉权字天文荣宁
- 关键词：模糊逻辑电子病历
- 实时嵌入式构件模型组装方法及时间性推理被引量：2
- 2009年
- 针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。
- 字天文刘晓燕沈嘉权
- 关键词：实时嵌入式软构件模型时间性
- 实时多任务执行模型到VxWorks的代码映射被引量：2
- 2008年
- 基于对实时多任务软件的抽象执行体的研究分析以及对VxWorks平台的分析,提出了实时多任务执行模型到VxWorks平台下C语言程序框架的系统调用的映射规则及代码。给出了实时对象之间的通信原理及映射方法。给出了实时时间管理的映射代码。
- 刘晓燕张云生于立新沈嘉权李俊昌
- 关键词：实时多任务VXWORKS映射规则C代码
