期刊文献+
共找到170篇文章
< 1 2 9 >
每页显示 20 50 100
Energy-Efficient Deterministic Fault-Tolerant Scheduling for Embedded Real-Time Systems
1
作者 李国徽 胡方晓 +1 位作者 杜小坤 唐向红 《Journal of Southwest Jiaotong University(English Edition)》 2009年第4期283-291,共9页
By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability ... By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability of the system was analyzed through checkpointing and the energy saving was considered via dynamic voltage and frequency scaling. Simulation results showed that the proposed algorithm had better performance compared with the existing voltage allocation techniques. The proposed technique saves 51.5% energy over FT-Only and 19.9% over FT + EC on average. Therefore, the proposed method was more appropriate for aperiodic tasks in embedded real-time systems. 展开更多
关键词 embedded real-time systems Aperiodic tasks fault tolerance Power management Task scheduling and voltageallocation
下载PDF
PATHS AND CYCLES EMBEDDING ON FAULTY ENHANCED HYPERCUBE NETWORKS 被引量:6
2
作者 刘敏 刘红美 《Acta Mathematica Scientia》 SCIE CSCD 2013年第1期227-246,共20页
Let Qn,k (n 〉 3, 1 〈 k ≤ n - 1) be an n-dimensional enhanced hypercube which is an attractive variant of the hypercube and can be obtained by adding some complementary edges, fv and fe be the numbers of faulty ve... Let Qn,k (n 〉 3, 1 〈 k ≤ n - 1) be an n-dimensional enhanced hypercube which is an attractive variant of the hypercube and can be obtained by adding some complementary edges, fv and fe be the numbers of faulty vertices and faulty edges, respectively. In this paper, we give three main results. First, a fault-free path P[u, v] of length at least 2n - 2fv - 1 (respectively, 2n - 2fv - 2) can be embedded on Qn,k with fv + f≤ n- 1 when dQn,k (u, v) is odd (respectively, dQ,~,k (u, v) is even). Secondly, an Q,,k is (n - 2) edgefault-free hyper Hamiltonianaceable when n ( 3) and k have the same parity. Lastly, a fault-free cycle of length at least 2n - 2fv can be embedded on Qn,k with f~ 〈 n - 1 and fv+f≤2n-4. 展开更多
关键词 enhanced hypercube fault-tolerant embedding paths embedding cycles em-bedding Hamiltonian-laceability
下载PDF
VERTEX-FAULT-TOLERANT CYCLES EMBEDDING ON ENHANCED HYPERCUBE NETWORKS 被引量:1
3
作者 张艳娟 刘红美 刘敏 《Acta Mathematica Scientia》 SCIE CSCD 2013年第6期1579-1588,共10页
In this paper, we study the enhanced hypercube, an attractive variant of the hypercube and obtained by adding some complementary edges from a hypercube, and focus on cycles embedding on the enhanced hypercube with fau... In this paper, we study the enhanced hypercube, an attractive variant of the hypercube and obtained by adding some complementary edges from a hypercube, and focus on cycles embedding on the enhanced hypercube with faulty vertices. Let Fu be the set of faulty vertices in the n-dimensional enhanced hypercube Qn,k (n ≥ 3, 1 ≤ k 〈≤n - 1). When IFvl = 2, we showed that Qn,k - Fv contains a fault-free cycle of every even length from 4 to 2n - 4 where n (n ≥ 3) and k have the same parity; and contains a fault-free cycle of every even length from 4 to 2n - 4, simultaneously, contains a cycle of every odd length from n-k + 2 to 2^n-3 where n (≥ 3) and k have the different parity. Furthermore, when |Fv| = fv ≤ n - 2, we prove that there exists the longest fault-free cycle, which is of even length 2^n - 2fv whether n (n ≥ 3) and k have the same parity or not; and there exists the longest fault-free cycle, which is of odd length 2^n - 2fv + 1 in Qn,k - Fv where n (≥ 3) and k have the different parity. 展开更多
关键词 enhanced hypercube fault tolerance cycles embedding
下载PDF
Evaluation of Embedded Operating System by a Software Method
4
作者 Junjie Peng Jun Ma Bingrong Hong 《通讯和计算机(中英文版)》 2006年第1期79-83,共5页
关键词 操作系统 软件开发 可靠性 程序包
下载PDF
Fault-Tolerant Scheduling for Real-Time Embedded Control Systems 被引量:15
5
作者 Chun-HuaYang GeertDeconinck Wei-HuaGui 《Journal of Computer Science & Technology》 SCIE EI CSCD 2004年第2期191-202,共12页
With the increasing complexity of industrial application, an embedded control system (ECS) requires processing a number of hard real-time tasks and needs fault-tolerance to assure high reliability. Considering the cha... With the increasing complexity of industrial application, an embedded control system (ECS) requires processing a number of hard real-time tasks and needs fault-tolerance to assure high reliability. Considering the characteristics of real-time tasks in ECS, an integrated algorithm is proposed to schedule real-time tasks and to guarantee that all real-time tasks are completed before their deadlines even in the presence of faults. Based on the nonpreemptive critical-section protocol (NCSP), this paper analyzes the blocking time introduced by resource conflicts of relevancy tasks in fault-tolerant multiprocessor systems. An extended schedulability condition is presented to check the assignment feasibility of a given task to a processor. A primary/backup approach and on-line replacement of failed processors are used to tolerate processor failures. The analysis reveals that the integrated algorithm bounds the blocking time, requires limited overhead on the number of processors, and still assures good processor utilization. This is also demonstrated by simulation results. Both analysis and simulation show the effectiveness of the proposed algorithm in ECS. 展开更多
关键词 embedded control system real-time task scheduling fault-tolerance relevancy task blocking time
原文传递
The embedded design verification test of microwave circuit modules based on specific chips
6
作者 郭荣斌 Mingjun Liu +1 位作者 Xiucai Zhao Lei Xia 《电子世界》 2013年第8期129-131,共3页
In the Paper,the author introduces an embedded design verification test based on specific chips to solve the technical problems of microwave circuit test and fault diagnosis.The author explains embedded design of micr... In the Paper,the author introduces an embedded design verification test based on specific chips to solve the technical problems of microwave circuit test and fault diagnosis.The author explains embedded design of microwave circuit modules and approach of hardware design and software design,and finally verifies the embedded design of microwave circuit modules based on specific chips. 展开更多
关键词 摘要 编辑部 编辑工作 读者
下载PDF
ITER气体注入系统控制系统设计
7
作者 谷正阳 赵宇轩 +4 位作者 李伟 潘莉 夏志伟 宫伟祥 李波 《现代电子技术》 北大核心 2024年第12期8-14,共7页
国际热核聚变实验堆(ITER)气体注入系统及其控制系统是直接参与装置运行的关键部件,也是中国独立承担的14个ITER采购包之一。文中基于ITER控制系统的设计框架和GIS的功能特性,进行GIS常规控制系统和互锁系统设计。常规控制系统采用模块... 国际热核聚变实验堆(ITER)气体注入系统及其控制系统是直接参与装置运行的关键部件,也是中国独立承担的14个ITER采购包之一。文中基于ITER控制系统的设计框架和GIS的功能特性,进行GIS常规控制系统和互锁系统设计。常规控制系统采用模块化和可扩展的设计方案,最大程度上满足了装置未来运行的可扩充性和功能实现的灵活性;互锁系统则采用冗余的硬件架构和容错体系结构,满足了ITER 3IL-2安全完整性等级要求。两种控制系统已于2022年11月完成了ITER组织的终期设计评审。 展开更多
关键词 国际热核聚变实验堆 气体注入系统 常规控制系统 互锁系统 CODAC 快速控制器 容错体系
下载PDF
考虑故障归一化的五相永磁电机低转矩脉动容错控制
8
作者 孙张俊 宋飞跃 《测控技术》 2024年第3期77-84,共8页
五相永磁电机具有功率密度高、容错能力强的优点,能够满足多电/全电飞机高可靠作动器的应用要求。针对五相永磁电机不同类型的故障,提出一种故障归一化的低转矩脉动容错控制方法。建立了五相永磁电机不同类型故障下的降阶解耦矩阵和故... 五相永磁电机具有功率密度高、容错能力强的优点,能够满足多电/全电飞机高可靠作动器的应用要求。针对五相永磁电机不同类型的故障,提出一种故障归一化的低转矩脉动容错控制方法。建立了五相永磁电机不同类型故障下的降阶解耦矩阵和故障电机数学模型,剖析了五相永磁电机开路故障时二次、四次谐波转矩脉动产生的机理,提出基于双谐振控制器的谐波注入算法。同时,提出了基于转子位置的旋转变换方法,将15种不同的相绕组开路故障归一化为3种类型的故障,简化了容错控制算法。实验结果验证了该容错控制策略能有效降低五相永磁电机容错运行时的转矩脉动,提高控制系统的可靠性。 展开更多
关键词 五相永磁电机 容错控制 谐波注入 谐振控制器 转矩脉动
下载PDF
基于桥臂能量平衡的MMC故障容错控制策略
9
作者 徐浩文 王江 +1 位作者 孟致丞 杨兴武 《电力电子技术》 2024年第7期23-26,共4页
模块化多电平换流器(MMC)子模块(SM)带故障运行时,保证MMC电容电压平衡及减少电容电压纹波是提高换流器运行可靠性的关键。为解决上述问题,此处提出了一种基于桥臂能量平衡、降低开关频率(RSF)算法的MMC容错控制策略。首先,基于上下桥... 模块化多电平换流器(MMC)子模块(SM)带故障运行时,保证MMC电容电压平衡及减少电容电压纹波是提高换流器运行可靠性的关键。为解决上述问题,此处提出了一种基于桥臂能量平衡、降低开关频率(RSF)算法的MMC容错控制策略。首先,基于上下桥臂的输入功率积分,得到其公共分量与微分分量,通过环流注入的方式实现能量平衡与电容器电压稳定。其次,建立故障后改进的电容电压成本函数,设定故障标志,绕过故障SM。最后,基于硬件在环(HIL)实验平台进行实验研究,结果表明,所提方法可在MMC发生故障后保证在桥臂不对称运行时输出电压和电流波形质量不受影响,且不会增加成本或复杂性。 展开更多
关键词 模块化多电平换流器 故障容错控制 桥臂能量平衡 环流注入
下载PDF
故障注入方法与工具的研究现状 被引量:52
10
作者 孙峻朝 王建莹 杨孝宗 《宇航学报》 EI CAS CSCD 北大核心 2001年第1期99-104,共6页
本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类 ,并从应用方法和工具结构两方面介绍了该项技术的研究现状。
关键词 故障注入 故障模型 客错计算机系统 可信性评价 应用方法 工具结构
下载PDF
故障注入研究的一种理论框架 被引量:20
11
作者 孙峻朝 李运策 杨孝宗 《小型微型计算机系统》 CSCD 北大核心 1999年第11期816-819,共4页
本文讨论了故障注入研究中的一些基本问题,为故障注入的研究建立了统一的理论框架.文章引入容错系统层次结构来描述故障注入的概念,将故障注入定义为一个试验过程.故障注入的原理被解释为组成该试验过程的四个步骤.故障注入的应用... 本文讨论了故障注入研究中的一些基本问题,为故障注入的研究建立了统一的理论框架.文章引入容错系统层次结构来描述故障注入的概念,将故障注入定义为一个试验过程.故障注入的原理被解释为组成该试验过程的四个步骤.故障注入的应用不仅包括评价容错机制,而且还可应用于更为广泛的领域. 展开更多
关键词 容错 故障注入 可靠性 计算机
下载PDF
龙芯1号处理器的故障注入方法与软错误敏感性分析 被引量:31
12
作者 黄海林 唐志敏 许彤 《计算机研究与发展》 EI CSCD 北大核心 2006年第10期1820-1827,共8页
在纳米级制造工艺下以及在航天等特殊应用场合中,可靠性将是处理器设计中的一个重要考虑因素.以龙芯1号处理器为研究对象,探讨了处理器可靠性设计中的故障注入方法,并提出了一种同时运行两个处理器RTL模型的故障注入与分析方法,可以实... 在纳米级制造工艺下以及在航天等特殊应用场合中,可靠性将是处理器设计中的一个重要考虑因素.以龙芯1号处理器为研究对象,探讨了处理器可靠性设计中的故障注入方法,并提出了一种同时运行两个处理器RTL模型的故障注入与分析方法,可以实现连续快速的处理器仿真故障注入.在此基础上,进一步分析了龙芯1号处理器的软错误敏感性,通过快速注入大约30万个软错误,保证了分析结果具有较好的统计意义,可以有效指导后续的容错与可靠性设计. 展开更多
关键词 容错处理器 可靠性设计 故障注入 软错误
下载PDF
一种基于格式化标签的可扩展控制流检测方法 被引量:11
13
作者 徐建军 谭庆平 +1 位作者 李建立 李剑明 《计算机研究与发展》 EI CSCD 北大核心 2011年第4期638-646,共9页
硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效... 硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势. 展开更多
关键词 控制流检测 基本块标签 硬件瞬态故障 软件容错 故障注入
下载PDF
嵌入式故障注入器HFI-4的研究与设计 被引量:6
14
作者 董剑 曲峰 +1 位作者 刘宏伟 崔刚 《小型微型计算机系统》 CSCD 北大核心 2003年第12期2335-2337,共3页
管脚级故障注入是对原型系统进行可信性验证的一种常用的方法 .本文提出了一个基于嵌入式注入方式的管脚级故障注入工具HFI 4的设计方案 ,并重点讨论了设计过程中遇到的方向控制、同步控制、结果回收等几项关键技术的解决方案 .
关键词 嵌入式 故障注入器 方向控制 同步控制 HFI-4 可信性验证 容错系统
下载PDF
一种用于星载系统可靠性评测的软件故障注入工具 被引量:6
15
作者 彭俊杰 黄庆成 +2 位作者 洪炳熔 李瑞 袁成军 《宇航学报》 EI CAS CSCD 北大核心 2005年第6期823-827,共5页
随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象... 随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象而开发,采用包括时间、空间、事件在内的多种故障触发方式,不仅能通过软件的方式随时随地注入接近实际的星载故障,而且操作简单,不需要修改星载系统的应用任务,对星载系统影响较小。实验结果表明,采用该故障注入工具评测星载系统可靠性的具有较多的优点和潜力。 展开更多
关键词 故障注入 可靠性 容错 星载系统
下载PDF
TMR整体硬化技术及其在电控系统中的应用 被引量:6
16
作者 原亮 丁国良 +2 位作者 刘文冰 黄飞云 赵强 《计算机工程》 EI CAS CSCD 北大核心 2006年第21期249-251,共3页
在对TMR的容错运行机制予以分析讨论的基础上,针对一种DC电机控制系统进行了基于FPGA芯片的“整体硬化”研究和具体实现。该方式既从原理上摆脱了传统的程序控制概念,消除了“程序跑飞”的隐患,又在结构上减少了因部分硬件单元的故障而... 在对TMR的容错运行机制予以分析讨论的基础上,针对一种DC电机控制系统进行了基于FPGA芯片的“整体硬化”研究和具体实现。该方式既从原理上摆脱了传统的程序控制概念,消除了“程序跑飞”的隐患,又在结构上减少了因部分硬件单元的故障而导致系统功能整体受损的可能。因此,整个系统在EMI测试环境下表现出了良好的抗干扰性能。 展开更多
关键词 TMR容错 嵌入式系统 FPGA EMI
下载PDF
容错计算机系统可靠性评估工具:HFI-2故障注入器 被引量:7
17
作者 王建莹 孙峻朝 杨孝宗 《电子学报》 EI CAS CSCD 北大核心 1999年第11期24-26,共3页
本文介绍一个容错计算机系统可靠性评估工具:HFI2故障注入器,描述该故障注入器的功能和结构并讨论一些关键技术,用实验验证了这一工具的有效性.
关键词 故障注入 容错 可靠性评估 覆盖率 计算机系统
下载PDF
容错机制测评中的故障注入模型及应用算法 被引量:7
18
作者 孙峻朝 王建莹 杨孝宗 《计算机研究与发展》 EI CSCD 北大核心 1999年第11期1335-1341,共7页
故障注入(FI)是一种有效的测试和评价容错机制(FTM)的方法, 可被普遍应用于容错计算机系统开发过程的各个阶段中. FI技术正确的和更广泛的应用依赖于对FI原理的一致理解. 文中首先详细讨论了FI的应用对象即FTM 在... 故障注入(FI)是一种有效的测试和评价容错机制(FTM)的方法, 可被普遍应用于容错计算机系统开发过程的各个阶段中. FI技术正确的和更广泛的应用依赖于对FI原理的一致理解. 文中首先详细讨论了FI的应用对象即FTM 在测评中所表现出来的若干特征, 在此基础上提出了六元组描述的FI模型, 并对各组成元的属性进行了深入分析. 同时, 作为FI模型的具体应用过程, 文中给出了FI独立试验算法(FI-IEA), 展开更多
关键词 容错机制 故障注入 测试 评价 计算机
下载PDF
一种用于容错计算机系统整体验证的故障注入试验策略 被引量:6
19
作者 王建莹 孙峻朝 杨孝宗 《计算机研究与发展》 EI CSCD 北大核心 2001年第1期61-67,共7页
故障注入是一种有效的用于容错计算机系统验证的技术 .分析了系统的层次分解模型在故障注入试验中的作用 .提出一种基于动态故障树的容错系统分解模型 MBDT,着重讨论利用这种模型产生故障注入试验属性集的方法 ,最终形成一种对容错计算... 故障注入是一种有效的用于容错计算机系统验证的技术 .分析了系统的层次分解模型在故障注入试验中的作用 .提出一种基于动态故障树的容错系统分解模型 MBDT,着重讨论利用这种模型产生故障注入试验属性集的方法 ,最终形成一种对容错计算机系统进行整体验证的故障注入试验策略 .这种试验策略已经应用于研制的硬件故障注入器 HFI- 3中 ,并对一个航天容错计算机进行了验证 。 展开更多
关键词 故障注入 容错系统 验证 试验策略 计算机
下载PDF
新型总线中并行CRC算法的设计与实现 被引量:11
20
作者 杜瑞 张伟功 +1 位作者 邓哲 朱晓燕 《计算机工程与设计》 CSCD 北大核心 2013年第1期131-135,共5页
为了对动态可重构高速串行总线UM-BUS进行差错控制,提出了一种用于新型总线数据校验的四通道并行CRC算法。根据UM-BUS的多通道并发通信方式和通道动态组织特点,采用四体FIFO进行数据缓冲存储,并设计了满足总线特点的四通道并行CRC编解... 为了对动态可重构高速串行总线UM-BUS进行差错控制,提出了一种用于新型总线数据校验的四通道并行CRC算法。根据UM-BUS的多通道并发通信方式和通道动态组织特点,采用四体FIFO进行数据缓冲存储,并设计了满足总线特点的四通道并行CRC编解码器。在此基础上,给出了它的FPGA实现方案和仿真结果。该并行CRC编解码器,可实时计算总线通信数据的CRC校验码,已成功的应用于动态可重构高速串行总线系统中,实现对突发错误的实时检测,通信速率达到100Mbps/通道。 展开更多
关键词 循环冗余校验码(CRC) 高可靠嵌入式系统 故障容错 动态重构 高速串行总线
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部