检索结果-维普期刊中文期刊服务平台

基于时间可预测性的差分搜索盲信号分离算法被引量：13: 1; 作者陈雷张立毅 +2 位作者郭艳菊黄勇梁静毅《通信学报》 EI CSCD 北大核心 2014年第6期117-125,共9页; 针对基于仿生智能优化的盲信号分离算法计算量偏大的问题,提出了一种新的基于差分搜索的盲信号分离算法。采用信号在时间上的可预测性度量作为目标函数,使用差分搜索算法对目标函数进行优化求解。利用去相关消源方法从混合信号中去除每... 展开更多; 关键词盲信号分离时间可预测性差分搜索算法消源; 在线阅读下载PDF 职称材料

基于时间可预测性的粒子群优化盲解卷积算法被引量：1: 2; 作者陈雷张立毅 +3 位作者郭艳菊黄勇梁静毅苟晓晨《计算机应用研究》 CSCD 北大核心 2014年第4期1001-1004,共4页; 针对信道对声音信号的卷积效应,提出了一种基于粒子群优化的盲解卷积新算法。利用信号的时间可预测性作为盲解卷积的解卷测度,采用粒子群优化算法对基于该测度的代价函数进行优化求解,从而成功得到解卷积滤波器系数,实现对信号的盲解卷... 展开更多; 关键词盲解卷积时间可预测性粒子群优化声音信号; 在线阅读下载PDF 职称材料

T-Minicore嵌入式时间可预测操作系统的设计与实现: 3; 作者李晓飞陈香兰 +1 位作者刘杰李曦《计算机科学》 CSCD 北大核心 2015年第B11期454-459,共6页; 目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务... 展开更多; 关键词嵌入式操作系统时间可预测性逻辑执行时间服务体执行流; 在线阅读下载PDF 职称材料

实时机模型及时间语义指令集研究被引量：3: 4; 作者陈香兰李曦 +1 位作者汪超周学海《计算机工程与科学》 CSCD 北大核心 2021年第4期571-578,共8页; 混合关键系统中,具有不同安全和时间关键度的应用程序共享计算资源。由于系统中存在多种不确定性,设计者需要能同时满足功能行为确定性、时间行为可预测性和高计算性能等多重设计约束的紧致时间设计方法,对现有计算机体系结构及编程语... 展开更多; 关键词混合关键系统计算机体系结构指令集编程模型时间可预测性; 在线阅读下载PDF 职称材料

一种具有时间语义的实时处理器模型被引量：7: 5; 作者汪超陈香兰 +3 位作者章博李曦王超周学海《计算机研究与发展》 EI CSCD 北大核心 2021年第6期1176-1191,共16页; 实时嵌入式系统是安全关键设备的计算与控制核心.为了保证系统的时间行为正确,要求其软硬件具有时序确定性和可预测性.而现代计算机系统的各个抽象层次均缺乏时间语义,无法满足硬实时安全性设计要求.针对指令集体系结构层次的基础设施... 展开更多; 关键词实时嵌入式系统时间可预测性实时机模型时间语义指令集实时处理器; 在线阅读下载PDF 职称材料

基于RPU的TTI程序设计和分析方法: 6; 作者高银康陈香兰 +3 位作者龚小航蒋滨泽李曦周学海《计算机研究与发展》 EI CSCD 北大核心 2024年第1期98-119,共22页; 实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问... 展开更多; 关键词实时嵌入式系统时间可预测性时间语义指令集实时处理器 WCET分析; 在线阅读下载PDF 职称材料

基于核方法的工频干扰消除算法被引量：2: 7; 作者郭艳菊陈雷 +1 位作者陈国鹰李锵《计算机应用研究》 CSCD 北大核心 2013年第4期1123-1126,共4页; 提出了一种新的基于核方法的工频干扰消除算法。利用构造参考信号的方法,将工频干扰消除问题转换为盲信号分离问题。通过核方法向高维特征空间的数据映射克服信号采集传感器的非线性畸变效应,利用信号的时间可预测性实现对输入信号的分... 展开更多; 关键词核方法盲信号分离工频干扰非线性畸变时间可预测性; 在线阅读下载PDF 职称材料

Timed SEFM:面向嵌入式实时控制系统的编程模型被引量：1: 8; 作者刘杰陈香兰 +1 位作者李晓飞李曦《计算机工程与应用》 CSCD 北大核心 2016年第10期19-26,共8页; 实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时... 展开更多; 关键词硬实时控制系统编程模型时间可预测性逻辑执行时间服务体/执行流; 在线阅读下载PDF 职称材料

题名基于时间可预测性的差分搜索盲信号分离算法被引量：13: 1; 作者陈雷张立毅郭艳菊黄勇梁静毅; 机构天津商业大学信息工程学院天津大学精密仪器与光电子工程学院河北工业大学信息工程学院; 出处《通信学报》 EI CSCD 北大核心 2014年第6期117-125,共9页; 基金国家自然科学基金资助项目(11127202 60802049)~~; 文摘针对基于仿生智能优化的盲信号分离算法计算量偏大的问题,提出了一种新的基于差分搜索的盲信号分离算法。采用信号在时间上的可预测性度量作为目标函数,使用差分搜索算法对目标函数进行优化求解。利用去相关消源方法从混合信号中去除每次分离出的源信号成分,通过逐次分离最终实现对所有源信号的成功恢复。仿真实验表明,所提算法可以有效实现对混合信号的盲分离。与其他算法相比,该算法在保证了更高分离精度的同时,具有更低的运算量。; 关键词盲信号分离时间可预测性差分搜索算法消源; Keywords blind signal separation temporal predictability differential search algorithm deflation; 分类号 TN911.7 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于时间可预测性的粒子群优化盲解卷积算法被引量：1: 2; 作者陈雷张立毅郭艳菊黄勇梁静毅苟晓晨; 机构天津商业大学信息工程学院天津大学电子信息工程学院河北工业大学信息工程学院; 出处《计算机应用研究》 CSCD 北大核心 2014年第4期1001-1004,共4页; 基金国家自然科学基金资助项目(11127202); 文摘针对信道对声音信号的卷积效应,提出了一种基于粒子群优化的盲解卷积新算法。利用信号的时间可预测性作为盲解卷积的解卷测度,采用粒子群优化算法对基于该测度的代价函数进行优化求解,从而成功得到解卷积滤波器系数,实现对信号的盲解卷积。仿真实验表明,所提出的算法对于声音信号具有很好的盲解卷积效果,所恢复信号与原始信号的相关系数和重构信噪比均较高。; 关键词盲解卷积时间可预测性粒子群优化声音信号; Keywords blind deconvolution temporal predictability particle swarm optimization（PSO） sound signal0; 分类号 TP391 [自动化与计算机技术—计算机应用技术] TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名T-Minicore嵌入式时间可预测操作系统的设计与实现: 3; 作者李晓飞陈香兰刘杰李曦; 机构中国科学技术大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2015年第B11期454-459,共6页; 基金国家自然科学基金(61379040 61272131) 江苏省自然科学基金(SBK2012194)资助; 文摘目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务粒度时间可预测操作系统T-Minicore。之后通过理论分析证明了改进的通信方式具有时间可预测性,最后通过实验证明运行在该操作系统上的应用具有时间可预测性特性。; 关键词嵌入式操作系统时间可预测性逻辑执行时间服务体执行流; Keywords Embedded OS,Timing predictability, Logical execution time, Servant/exe-flow model; 分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名实时机模型及时间语义指令集研究被引量：3: 4; 作者陈香兰李曦汪超周学海; 机构中国科学技术大学计算机科学与技术学院; 出处《计算机工程与科学》 CSCD 北大核心 2021年第4期571-578,共8页; 基金国家自然科学基金(61772482)。; 文摘混合关键系统中,具有不同安全和时间关键度的应用程序共享计算资源。由于系统中存在多种不确定性,设计者需要能同时满足功能行为确定性、时间行为可预测性和高计算性能等多重设计约束的紧致时间设计方法,对现有计算机体系结构及编程语言的理论和方法提出了新的挑战。提出支持时间语义的实时机模型RTM和时间触发指令集TTI,作为构建多层次协同的紧致时间设计方法MTTT的重要基础。最后以直升机飞控程序为例,说明RTM思想和TTI指令集的有效性。; 关键词混合关键系统计算机体系结构指令集编程模型时间可预测性; Keywords mixed critical system computer architecture instruction set programming model time predictablity; 分类号 TP332 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种具有时间语义的实时处理器模型被引量：7: 5; 作者汪超陈香兰章博李曦王超周学海; 机构中国科学技术大学计算机科学与技术学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2021年第6期1176-1191,共16页; 基金国家自然科学基金项目(61772482)。; 文摘实时嵌入式系统是安全关键设备的计算与控制核心.为了保证系统的时间行为正确,要求其软硬件具有时序确定性和可预测性.而现代计算机系统的各个抽象层次均缺乏时间语义,无法满足硬实时安全性设计要求.针对指令集体系结构层次的基础设施缺乏时间语义的问题,尝试重新定义实时嵌入式系统的指令集和微体系结构.首先,提出一种具有时间语义的实时计算机体系结构模型——实时机(real-time machine,RTM).接着,参考时间触发自动机理论,构建具有时间语义的指令集——TTI(time-triggered instruction set)作为RTM的软硬件接口,并讨论TTI的时间语义完备性问题.最后,设计并实现了实时处理单元(real-time processing unit,RPU),通过理论分析与实验结果的对照得出RPU的时序确定性.逻辑执行时间(logical execution time,LET)编程模型是学术界广泛认可的实时编程范式,通过给出在RPU上运行LET任务集的示例,说明RTM和TTI的有效性.; 关键词实时嵌入式系统时间可预测性实时机模型时间语义指令集实时处理器; Keywords real-time embedded system(RTES) timing predictability real-time machine(RTM) timed instruction set real-time processor; 分类号 TP332 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于RPU的TTI程序设计和分析方法: 6; 作者高银康陈香兰龚小航蒋滨泽李曦周学海; 机构中国科学技术大学计算机科学与技术学院中国科学技术大学苏州高等研究院; 出处《计算机研究与发展》 EI CSCD 北大核心 2024年第1期98-119,共22页; 基金国家重点研发计划项目(2017YFA0700900) 国家自然科学基金项目(62102383)。; 文摘实时嵌入式系统不仅要保证计算结果的逻辑正确性,还要确保与外界交互的时序正确性,所以底层程序要能精确表达上层模型中的时间行为.TTI指令集(time-triggered instruction set)的提出尝试解决计算机指令集体系结构层次缺少时间语义的问题,并且基于TTI指令集实现的实时处理单元(real-time processing unit,RPU)证明了TTI指令集的可行性和有效性.但是目前的工作缺少对于TTI程序设计和分析方法的研究.所以,基于TTI指令集和RPU,提出了TTI指令集可以表达的4种时间语义,给出了TTI程序的设计范式.并且构建了TTI程序时间行为的表示方法——TFG+,TFG+是对TFG的扩展,TFG+区分了TTI程序中时间语义指令和普通代码段,可以表示TTI程序的控制流信息、用户规定的时间行为和TTI程序平台相关的时间属性.最后,提出了TTI程序的时间分析方法以及时间安全性检查方法,为TTI程序的设计和部署提供了依据.; 关键词实时嵌入式系统时间可预测性时间语义指令集实时处理器 WCET分析; Keywords real-time embedded system(RTES) timing predictability timed instruction set real-time processor WCET analysis; 分类号 TP332 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于核方法的工频干扰消除算法被引量：2: 7; 作者郭艳菊陈雷陈国鹰李锵; 机构河北工业大学信息工程学院天津商业大学信息工程学院天津大学电子信息工程学院; 出处《计算机应用研究》 CSCD 北大核心 2013年第4期1123-1126,共4页; 基金国家自然科学基金资助项目(60802049); 文摘提出了一种新的基于核方法的工频干扰消除算法。利用构造参考信号的方法,将工频干扰消除问题转换为盲信号分离问题。通过核方法向高维特征空间的数据映射克服信号采集传感器的非线性畸变效应,利用信号的时间可预测性实现对输入信号的分离,从而得到不含工频干扰的有用信号。仿真实验结果表明,算法能够有效克服传感器的非线性畸变影响,很好地消除心电信号和地震信号中的工频干扰。; 关键词核方法盲信号分离工频干扰非线性畸变时间可预测性; Keywords kernel method blind signal separation power interference removal nonlinear aberrance temporal predictability; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Timed SEFM:面向嵌入式实时控制系统的编程模型被引量：1: 8; 作者刘杰陈香兰李晓飞李曦; 机构中国科学技术大学计算机科学与技术学院; 出处《计算机工程与应用》 CSCD 北大核心 2016年第10期19-26,共8页; 基金国家自然科学基金(No.61379040 No.61272131) 江苏省自然科学基金(No.SBK2012194); 文摘实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时间触发语义明确描述时间需求,但其所基于的操作系统仍沿用进程/线程模型,仍会引入时间不确定性。结合服务体/执行流模型SEFM(Servant/Exe-Flow Model)和LET模型,定义了一种时间确定的编程模型Timed SEFM,用改进的SEFM模型描述系统的功能行为,用LET描述系统的时间行为。把智能小车控制系统的实现作为研究实例。; 关键词硬实时控制系统编程模型时间可预测性逻辑执行时间服务体/执行流; Keywords hard real-time control system programming model time predictability Logical Execution Time（LET） servant/exe-flow; 分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于时间可预测性的差分搜索盲信号分离算法	陈雷张立毅郭艳菊黄勇梁静毅	《通信学报》 EI CSCD 北大核心	2014	13	在线阅读下载PDF 职称材料
2	基于时间可预测性的粒子群优化盲解卷积算法	陈雷张立毅郭艳菊黄勇梁静毅苟晓晨	《计算机应用研究》 CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
3	T-Minicore嵌入式时间可预测操作系统的设计与实现	李晓飞陈香兰刘杰李曦	《计算机科学》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
4	实时机模型及时间语义指令集研究	陈香兰李曦汪超周学海	《计算机工程与科学》 CSCD 北大核心	2021	3	在线阅读下载PDF 职称材料
5	一种具有时间语义的实时处理器模型	汪超陈香兰章博李曦王超周学海	《计算机研究与发展》 EI CSCD 北大核心	2021	7	在线阅读下载PDF 职称材料
6	基于RPU的TTI程序设计和分析方法	高银康陈香兰龚小航蒋滨泽李曦周学海	《计算机研究与发展》 EI CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
7	基于核方法的工频干扰消除算法	郭艳菊陈雷陈国鹰李锵	《计算机应用研究》 CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
8	Timed SEFM:面向嵌入式实时控制系统的编程模型	刘杰陈香兰李晓飞李曦	《计算机工程与应用》 CSCD 北大核心	2016	1	在线阅读下载PDF 职称材料