李晓飞

作品数：4被引量：1H指数：1
导出分析报告
供职机构：中国科学技术大学更多>>
发文主题：可预测性执行流逻辑MINICORE嵌入式操作系统更多>>
发文领域：自动化与计算机技术一般工业技术电气工程电子电信更多>>
发文期刊：《计算机工程与应用》《计算机系统应用》《低温与超导》《计算机科学》更多>>
所获基金：江苏省自然科学基金国家自然科学基金安徽省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式光纤高温超导电流引线失超检测技术
《低温与超导》2021年第12期22-26,47,共6页李晓飞 胡燕兰 刘承连 朱鑫鑫 郑龙贵 肖业政 
中国科学院合肥大科学中心重点研发项目(2020HSC-KPRD002);中国科学院等离子体物理研究所科学基金(DSJJ-2020-08)资助;中国聚变技术综合研究设施平台项目(2018-000052-73-01-001228);安徽省自然科学基金(2108085QA37)。
高温超导(HTS)电流引线是大型超导磁体的重要组成部分,通常使用Bi-2223超导带制作而成。高温超导材料具有失超传播速度慢和失超电压微弱的特点,这对失超检测设计提出很大的挑战。使用分布式光纤作为传感器,设计并制作了光纤封装件,在液...
关键词：高温超导 电流引线 分布式光纤 失超检测 
Timed SEFM:面向嵌入式实时控制系统的编程模型被引量：1
《计算机工程与应用》2016年第10期19-26,共8页刘杰 陈香兰 李晓飞 李曦 
国家自然科学基金(No.61379040;No.61272131);江苏省自然科学基金(No.SBK2012194)
实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时...
关键词：硬实时 控制系统 编程模型 时间可预测性 逻辑执行时间 服务体/执行流 
基于PRET的编程模型
《计算机系统应用》2016年第1期141-145,共5页李晓飞 陈香兰 
国家自然科学基金(61379040;61272131);江苏省自然科学基金(SBK2012194)
时间可预测性在信息物理系统设计领域正变得越来越重要,目前时间可预测性系统的设计分为编程模型和体系结构两个层次,编程模型的研究往往是基于传统RTOS而提出新的时间模型,体系结构层则是现有体系结构,设计的具有时间属性的指令集、流...
关键词：时间可预测性 精确时间机 逻辑时间模型 系统设计 
T-Minicore嵌入式时间可预测操作系统的设计与实现
《计算机科学》2015年第B11期454-459,共6页李晓飞 陈香兰 刘杰 李曦 
国家自然科学基金(61379040;61272131);江苏省自然科学基金(SBK2012194)资助
目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务...
关键词：嵌入式操作系统 时间可预测性 逻辑执行时间 服务体执行流 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部