字天文

作品数：7被引量：3H指数：1
导出分析报告
供职机构：昆明理工大学信息工程与自动化学院更多>>
发文主题：实时多任务UML-RT实时系统实时嵌入式软构件模型更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电脑知识与技术》《计算机工程与应用》《河北软件职业技术学院学报》《计算机时代》更多>>
所获基金：云南省教育厅科学研究基金云南省应用基础研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实时嵌入式构件模型组装方法及时间性推理被引量：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页于立新 刘晓燕 沈嘉权 字天文 荣宁 
本文将模糊逻辑推理的思想运用在肾脏电子病历系统的智能推理和知识表达中,并对一些模糊逻辑推理算法进行改进,使得在处方诊断时,可以根据患者输入的各项化验指标进行模糊推理,排定治疗的手段和治疗的剂量,供医生参考,并用模糊逻辑推理...
关键词：模糊逻辑 智能推理 电子病历 处方诊断 
实时多任务执行模型到Windows NT的映射
《计算机工程与应用》2008年第8期110-112,144,共4页刘晓燕 张云生 字天文 李俊昌 
云南省教育厅资助科研课题( the Research Project of Department of Education of Yunnan Province; China under Grant No.07C10799)
基于对实时多任务软件的抽象执行体的研究分析以及对Windows NT操作系统的分析,提出了实时多任务执行模型到Windows NT平台下的系统调用及C++语言程序框架的映射规则。给出了实时对象之间的通信原理及映射方法。
关键词：实时多任务 执行模型 WINDOWS NT 映射规则 
肾病专科电子病历系统的分析与设计
《电脑知识与技术》2008年第12期1687-1688,共2页于立新 刘晓燕 沈嘉权 字天文 
电子病历是医院信息化发展的趋势，专科病历系统更是必然产物。针对目前电子病历的不足之处，分析国内肾病专科医院对信息化产物的需求，设计出具有处方诊断功能的智能化的肾病专科电子病历系统。用户在B／S模式的平台上，能够快速准确...
关键词：电子病历 数字化医院 处方诊断 
UML-RT在实时系统中的应用研究
《计算机时代》2007年第12期45-48,共4页字天文 刘晓燕 
云南省教育厅科学研究基金项目(04Y467D)
采用UML-RT为实时应用的结构和行为建模的基本概念及策略,给出了实时系统分析和设计的方法;并以一个实时系统的结构模型和行为模型的实现为例,说明了利用UML-RT进行实时系统建模的具体过程。
关键词：UML-RT 实时应用 结构建模 行为建模 
UML-RT到一个实时多任务执行模型的转换被引量：1
《计算机科学》2007年第7期275-278,共4页刘晓燕 字天文 张云生 J-J.Schwarz 李俊昌 
云南省教育厅科学研究基金项目(04Y467D);云南省应用基础研究基金重点项目(2000F0004Z)
为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出...
关键词：UML-RT 实时系统 状态图 行为建模 执行模型 转换方法. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部