肾病专科电子病历系统的分析与设计

电子病历是医院信息化发展的趋势,专科病历系统更是必然产物。针对目前电子病历的不足之处,分析国内肾病专科医院对信息化产物的需求,设计出具有处方诊断功能的智能化的肾病专科电子病历系统。用户在B／S模式的平台上,能够快速准确地查阅病人的临床检验信息,权限用户还可以管理患者信息;能够快速地处理大量的临床检验数据并且准确地得出解析结果;能够得出处方辅助医生诊断。该系统可以有效提高医生的工作效率。     

实时嵌入式构件模型组装方法及时间性推理

针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。     

基于IF的实时系统验证

IF是一个对异步实时系统建模和验证的开放环境,建立在具有丰富表达能力,基于时间自动机的中间语言IF符号集之上。文章描述了IF的组成,包括其体系结构,所使用的符号集;然后给出了IF对实时系统验证的方法,并运用此验证方法对一个实时系统实例进行了验证。     

实时多任务执行模型到VxWorks的代码映射

基于对实时多任务软件的抽象执行体的研究分析以及对VxWorks平台的分析,提出了实时多任务执行模型到VxWorks平台下C语言程序框架的系统调用的映射规则及代码。给出了实时对象之间的通信原理及映射方法。给出了实时时间管理的映射代码。