期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
MPSoC核协调可靠性和性能的形式化验证
1
作者 张晖 吴尽昭 +1 位作者 谢盈 曹俊月 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2016年第3期107-114,共8页
为了在早期发现片上多核处理器(MPSoC)设计缺陷,提出一种对核协调进行结构建模和性质刻画的形式化方法。在标记变迁系统中引入多项式函数替代动作表达核协调过程中对数据的改变,加入物理元器件发生故障的概率属性,形成用以描述核协调可... 为了在早期发现片上多核处理器(MPSoC)设计缺陷,提出一种对核协调进行结构建模和性质刻画的形式化方法。在标记变迁系统中引入多项式函数替代动作表达核协调过程中对数据的改变,加入物理元器件发生故障的概率属性,形成用以描述核协调可靠性和性能的混杂马尔科夫决策过程模型。采用随机时序逻辑刻画系统性质,通过模型检测工具验证分析,以银行数据脱敏MPSoC为例,分析系统可靠性和时间延迟与能耗等性能指标。这些验证结果对于早期MPSoC设计人员具有较强的指导作用。 展开更多
关键词 片上多处理器 核协调 混杂变迁系统 混杂马尔科夫决策过程 随机时序逻辑 PRISM模型检测器 数据脱敏
下载PDF
基于多核技术的三轴陀螺数字测控系统 被引量:2
2
作者 严杰 周斌 张嵘 《微计算机信息》 2010年第11期29-31,共3页
本文首次介绍了一种基于SOPC多核技术的三轴一体化MEMS陀螺数字测控系统。系统通过进行驱动频率闭环、驱动幅度闭环控制,使三只陀螺驱动轴稳定地工作在各自谐振点上且幅度稳定,同时对陀螺敏感轴信号进行解调,实时输出三轴同步的角速度... 本文首次介绍了一种基于SOPC多核技术的三轴一体化MEMS陀螺数字测控系统。系统通过进行驱动频率闭环、驱动幅度闭环控制,使三只陀螺驱动轴稳定地工作在各自谐振点上且幅度稳定,同时对陀螺敏感轴信号进行解调,实时输出三轴同步的角速度信息。本文采用SOPC多核协调同步、多总线控制、并行计算、数字闭环控制等技术,创新性的构建了单片FPGA内集成多个计算内核的三轴实时并行计算系统,与传统的FPGA+DSP数字控制系统相比显示出小体积、低功耗、低成本、完全可重构、高并行处理能力等优势,同时为今后系统ASIC化打下基础,具有很好的应用前景。 展开更多
关键词 微机械陀螺仪 片上系统 核协调同步 数宇闭环控制
下载PDF
Development of Human Resources for GEN (Generation) II1+ New Build Projects
3
作者 Didier Schoevaerts Christian Schoenfelder 《Journal of Energy and Power Engineering》 2013年第9期1786-1794,共9页
After a long period without new NPPs (nuclear power plants) being designed or constructed in Europe, new build projects have been prepared, planned and are now under construction. The majority of these projects invo... After a long period without new NPPs (nuclear power plants) being designed or constructed in Europe, new build projects have been prepared, planned and are now under construction. The majority of these projects involve a new design with an enhanced level of safety, called GEN (Generation) III+. Although the serious events at the Japanese Fukushima Daiichi NPP caused by a tsunami led to a reduction in the number of new projects or even a phase out of nuclear power in some countries, only a slight reduction or delay of projects is expected globally. GEN III+ new build projects give rise to several economical, technical, human resource and organizational challenges. The paper starts with a discussion of these challenges and presents several activities that have been started to deal with them. It focuses on the development of human resources, coordinated approach of operators and suppliers can lead to the needs-oriented human resources development. particularly with operators and suppliers of GEN III+ NPPs. Only a successful execution of these projects. The focus must be on the 展开更多
关键词 EDUCATION TRAINING human resources GEN III+ new build projects.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部