李曦

作品数：142被引量：318H指数：8
导出分析报告
供职机构：中国科学技术大学更多>>
发文主题：体系结构描述语言任务调度功耗功耗优化ASIP更多>>
发文领域：自动化与计算机技术文化科学电子电信医药卫生更多>>
发文期刊：《高技术通讯》《常州工学院学报》《软件》《石油化工自动化》更多>>
所获基金：国家自然科学基金安徽省自然科学基金国家教育部博士点基金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
最坏执行时间分析中的时序异常问题
《计算机研究与发展》2025年第4期1033-1049,共17页蒋滨泽 朱钇宣 陈香兰 龚小航 高银康 李曦 
国家自然科学基金项目(62102383,61976200,62172380);江苏省自然科学基金项目(BK20210123)。
时序异常是一种程序在最坏执行时间(worst-case execution time,WCET)分析中反直觉的时间行为,其特征在于,尽管局部执行速度更快,但整体的执行时间可能会增加,因此WCET分析必须以保守的态度考虑所有可能的执行情况,以确保分析结果的安全...
关键词：最坏执行时间 处理器架构 时序异常 时间可预测 实时系统 
针对深度学习中不规则内存访问的高吞吐内存管理单元
《高技术通讯》2024年第7期714-725,共12页丁峰 李曦 
国家自然科学基金(U20A20227,U22A2028);中国科学院稳定支持基础研究领域青年团队计划(YSBR-029);中国科学院青年创新促进会资助项目。
人工智能应用的多样化与复杂化导致了算法模型的不规则内存访问,即集中突发的访问请求与稀疏的访问地址,从而给智能应用在内存资源严格受限的移动端设备的部署带来了挑战。这种不规则的内存访问导致了现有架构中内存管理单元(MMU)的地...
关键词：内存管理单元(MMU) 地址转换 不规则访存 深度学习 高吞吐 
基于RPU的TTI程序设计和分析方法
《计算机研究与发展》2024年第1期98-119,共22页高银康 陈香兰 龚小航 蒋滨泽 李曦 周学海 
国家重点研发计划项目(2017YFA0700900);国家自然科学基金项目(62102383)。
实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问...
关键词：实时嵌入式系统 时间可预测性 时间语义指令集 实时处理器 WCET分析 
安全关键的信息物理系统中时序行为的组合与精化
《计算机研究与发展》2023年第8期1895-1911,共17页陈博 李曦 周学海 
国家自然科学基金项目(61772482)。
信息物理系统(cyber physical systems, CPS)通常被应用于安全关键的场景中,需要进行实时监控,并计算反馈信息,实现对外部环境的自动控制与管理.基于模型驱动的开发方法是针对实时的、异构的CPS进行开发的,而模型的可组合性是其中的核...
关键词：信息物理系统 时序约束语言 组件的可组合性 L*算法 时序行为精化 
实时计算机系统结构综述
《计算机研究与发展》2023年第5期1021-1036,共16页龚小航 蒋滨泽 陈香兰 高银康 李曦 
国家重点研发计划项目(2017YFA0700900,2017YFA0700903);国家自然科学基金项目(62102383,61976200,62172380);江苏省自然科学基金项目(BK20210123);中国科学院青年创新促进会项目(Y2021121);中国科学技术大学青年创新重点基金项目(YD2150002005)。
在时间敏感的嵌入式系统中,任务需要满足其最后截止期限,错失任务期限会显著影响服务质量或带来灾难性后果.与通用系统相比,实时系统研究进展缓慢,甚至很多基本概念都未达成共识.精确计时(precision timed,PRET)机和实时处理单元(real-t...
关键词：时间敏感系统 时间属性 时间语义 实时机 实时系统解决方案 
基于时间自动机的AADL端到端流规约验证方法
《计算机工程与科学》2023年第5期810-819,共10页白先平 姚袭欣 陈香兰 刘翀 李曦 
国家自然科学基金(61772482)。
体系结构分析及设计语言(AADL)作为一种标准且直观的实时系统分析与设计工具,可以为系统设计、分析、验证、自动代码生成等关键环节提供统一的抽象表示。然而,AADL模型采用仿真的验证方法无法得到精确的端到端延迟验证结果,尤其是对于...
关键词：实时系统验证 AADL 时间自动机 观察者 
一种基于Event-B语言的时间触发系统建模方法
《计算机工程与科学》2023年第4期613-621,共9页姚袭欣 章博 陈香兰 乔磊 李曦 
国家自然科学基金(61772482);开放基金(OBCandETL-2020-02)。
安全关键信息物理系统的时间属性建模和验证至关重要。Event-B模型验证避免了基于状态遍历模型检查方法的状态空间爆炸问题,验证时耗少,适用于高并发系统。然而,常规的Event-B方法缺乏时间语义表达结构,特别是缺乏对可提高系统可预测性...
关键词：EVENT-B 实时系统建模 时间触发系统 分布式多时钟 
信息物理系统中组件的时间行为可组合研究综述被引量：2
《小型微型计算机系统》2022年第12期2657-2666,共10页陈博 刘翀 陈辉 陈香兰 李曦 
国家自然科学基金项目(61772482)资助;苏州市科技计划项目(SYG201731)资助。
组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的...
关键词：安全攸关系统 信息物理系统 组件化开发方法(CBD) 时间行为 时间可组合 
LET模型的时间语义编程语言
《计算机工程与应用》2022年第4期73-82,共10页吴昊 章博 陈香兰 王超 李曦 
国家自然科学基金(61772482)。
嵌入式实时系统的正确性不仅取决于计算结果的正确性,更取决于产生结果时间的正确性。然而软件不确定的并发执行带来系统时间行为不可预测问题,使得验证复杂度升高,成本增加,为此实时系统领域提出了许多实时编程语言来提高系统的时间可...
关键词：嵌入式实时系统 编程语言 逻辑执行时间模型(LET) 编译器 
一种具有时间语义的实时处理器模型被引量：7
《计算机研究与发展》2021年第6期1176-1191,共16页汪超 陈香兰 章博 李曦 王超 周学海 
国家自然科学基金项目(61772482)。
实时嵌入式系统是安全关键设备的计算与控制核心.为了保证系统的时间行为正确,要求其软硬件具有时序确定性和可预测性.而现代计算机系统的各个抽象层次均缺乏时间语义,无法满足硬实时安全性设计要求.针对指令集体系结构层次的基础设施...
关键词：实时嵌入式系统 时间可预测性 实时机模型 时间语义指令集 实时处理器 
全选清除导出
共14页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部