沈嘉权

作品数：5被引量：3H指数：1
导出分析报告
供职机构：昆明理工大学信息工程与自动化学院更多>>
发文主题：映射规则IF时间自动机电子病历系统电子病历更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机时代》《计算机工程与应用》《河北软件职业技术学院学报》《电脑知识与技术》更多>>
所获基金：云南省教育厅科学研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实时嵌入式构件模型组装方法及时间性推理被引量：2
《计算机工程与应用》2009年第25期74-77,85,共5页字天文 刘晓燕 沈嘉权 
云南省教育厅科学研究基金项目No.07C10799;昆明理工大学人才培养基金No.2008037~~
针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件...
关键词：实时嵌入式 软构件模型 构件接口 组装 时间性 
基于IF的实时系统验证
《计算机时代》2009年第4期3-6,共4页沈嘉权 刘晓燕 字天文 于立新 
IF是一个对异步实时系统建模和验证的开放环境,建立在具有丰富表达能力,基于时间自动机的中间语言IF符号集之上。文章描述了IF的组成,包括其体系结构,所使用的符号集;然后给出了IF对实时系统验证的方法,并运用此验证方法对一个实时系统...
关键词：IF 异步实时系统 时间自动机 实时系统验证 
模糊算法在肾脏电子病历系统中的应用研究
《河北软件职业技术学院学报》2008年第4期60-63,共4页于立新 刘晓燕 沈嘉权 字天文 荣宁 
本文将模糊逻辑推理的思想运用在肾脏电子病历系统的智能推理和知识表达中,并对一些模糊逻辑推理算法进行改进,使得在处方诊断时,可以根据患者输入的各项化验指标进行模糊推理,排定治疗的手段和治疗的剂量,供医生参考,并用模糊逻辑推理...
关键词：模糊逻辑 智能推理 电子病历 处方诊断 
肾病专科电子病历系统的分析与设计
《电脑知识与技术》2008年第12期1687-1688,共2页于立新 刘晓燕 沈嘉权 字天文 
电子病历是医院信息化发展的趋势，专科病历系统更是必然产物。针对目前电子病历的不足之处，分析国内肾病专科医院对信息化产物的需求，设计出具有处方诊断功能的智能化的肾病专科电子病历系统。用户在B／S模式的平台上，能够快速准确...
关键词：电子病历 数字化医院 处方诊断 
实时多任务执行模型到VxWorks的代码映射被引量：1
《计算机工程与应用》2008年第3期122-123,127,共3页刘晓燕 张云生 于立新 沈嘉权 李俊昌 
云南省教育厅科学研究基金项目(the Science Foundation of Yunnan Province Education Department under Grant No.07C10799)
基于对实时多任务软件的抽象执行体的研究分析以及对VxWorks平台的分析,提出了实时多任务执行模型到VxWorks平台下C语言程序框架的系统调用的映射规则及代码。给出了实时对象之间的通信原理及映射方法。给出了实时时间管理的映射代码。
关键词：实时多任务 执行模型 VXWORKS 映射规则 C代码 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部