期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
支持动态可重构的软/硬件统一多线程编程模型 被引量:3
1
作者 王颖 周学功 +1 位作者 游红俊 彭澄廉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第6期736-745,共10页
针对可重构系统中的数据流驱动应用,提出支持动态可重构的软/硬件统一多线程编程模型SHUMDR及其层次化实现.通过硬件线程接口设计、操作系统内核扩展,便于设计人员以统一的线程视图描述应用的软硬件划分.以数据加密/解密为例进行测试的... 针对可重构系统中的数据流驱动应用,提出支持动态可重构的软/硬件统一多线程编程模型SHUMDR及其层次化实现.通过硬件线程接口设计、操作系统内核扩展,便于设计人员以统一的线程视图描述应用的软硬件划分.以数据加密/解密为例进行测试的结果表明,统一线程抽象带来的时间开销和空间资源占用率较小,该模型在探索编程灵活性的同时,能够有效地兼顾硬件的效率. 展开更多
关键词 动态部分可重构 软/硬件统一多线程编程模型 硬件线程接口 桩线程
在线阅读 下载PDF
VSOS-HAM:基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究
2
作者 钱振江 黄皓 宋方敏 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2017年第3期577-578,共2页
形式化方法是保证操作系统设计和实现的正确性的可靠方法.操作系统的形式化设计和验证过程仍然是一个极其复杂的过程.由于汇编语言过于底层,对其进行形式化验证的难度较大,如何有效地对汇编语言代码进行建模,便于对其语义和功效的正确... 形式化方法是保证操作系统设计和实现的正确性的可靠方法.操作系统的形式化设计和验证过程仍然是一个极其复杂的过程.由于汇编语言过于底层,对其进行形式化验证的难度较大,如何有效地对汇编语言代码进行建模,便于对其语义和功效的正确性进行验证成为操作系统形式化领域的研究热点.在汇编级提出对操作系统的设计和实现的正确性进行形式化验证的方法.通过建立操作系统内核硬件抽象模型,形式化地描述指令的操作语义,在此内核硬件抽象模型的基础上界定影响系统状态变化的数据对象,建立系统状态空间,结合指令的操作语义的定义来描述系统的状态转换函数.在Isabelle/HOL定理证明器环境中描述该内核硬件抽象模型,以实现的可信操作系统VSOS为例,在汇编级对系统设计和实现的正确性进行验证.结果表明,该方法是可行的和高效的. 展开更多
关键词 操作系统 内核硬件抽象模型 形式化验证 Isabelle/HOL 定理证明
在线阅读 下载PDF
支持硬件透明编程模型的动态可重构系统的设计与实现 被引量:1
3
作者 钟俊 李仁发 +1 位作者 陈宇 刘彦 《计算机应用研究》 CSCD 北大核心 2009年第11期4193-4196,4217,共5页
以Java作为可重构系统描述语言,提出了一种方法级的硬件透明编程模型,给出了硬件方法封装方式和软硬件方法动态链接过程。程序设计者调用软件方法进行应用开发,虚拟机根据软硬件划分结果动态加载并链接相应的硬件方法,从而达到简化编译... 以Java作为可重构系统描述语言,提出了一种方法级的硬件透明编程模型,给出了硬件方法封装方式和软硬件方法动态链接过程。程序设计者调用软件方法进行应用开发,虚拟机根据软硬件划分结果动态加载并链接相应的硬件方法,从而达到简化编译器和综合工具以及屏蔽底层物理细节的目的。实验结果表明上述编程模型能够支持硬件透明编程,同时系统性能得到了明显的改善。 展开更多
关键词 动态可重构系统 硬件划分 硬件协同综合 JAVA 硬件透明编程模型 硬件方法
在线阅读 下载PDF
一种新的“一卡多用”智能卡模型 被引量:7
4
作者 徐中华 刘玉珍 张焕国 《计算机工程》 CAS CSCD 北大核心 2003年第5期43-45,共3页
提出了一种新的“一卡多用”的智能卡的模型,并提出了适合一卡多用的新的硬件体系结构,着重探讨了基于这种模型的芯片操作系统的结构以及有关的安全管理方法。
关键词 “一卡多用”智能卡模型 信息安全 智能卡 硬件模型 集成电路卡 单片机芯片
在线阅读 下载PDF
流体系结构抽象模型研究 被引量:1
5
作者 文梅 李海燕 +2 位作者 伍楠 张春元 李礼 《计算机工程与科学》 CSCD 2006年第7期123-126,共4页
流体系结构在新兴的体系结构中备受关注。鉴于多种多样的流体系结构的存在,本文提出了一个流体系结构的抽象模型。本项工作对开发应用在多种流体系结构上的可移植性具有重要意义。
关键词 流体系结构 硬件结构模型 程序设计模型 流应用
在线阅读 下载PDF
面向Agent生命周期法的系统软硬件工程一般方法论 被引量:2
6
作者 金敏 沈德耀 周翔 《高技术通讯》 EI CAS CSCD 2001年第11期64-68,共5页
针对大型工控系统产品的研制开发这类包括软件和硬件在内的复杂系统工程 ,本文将软件Agent概念推广到硬件领域 ,构造出软硬件Agent一般性模型 ,以此模型为基础 ,提出一套面向Agent生命周期法的系统软硬件工程一般方法论。文中给出了该... 针对大型工控系统产品的研制开发这类包括软件和硬件在内的复杂系统工程 ,本文将软件Agent概念推广到硬件领域 ,构造出软硬件Agent一般性模型 ,以此模型为基础 ,提出一套面向Agent生命周期法的系统软硬件工程一般方法论。文中给出了该套方法论的基本原则和实施步骤 ,并通过一现场总线控制系统产品的开发实例说明了整套方法论的实施细则。 展开更多
关键词 硬件Agent一般性模型 硬件系统工程 面向对象 工业控制系统 软件系统工程 面向Agent生命周期法
在线阅读 下载PDF
系统级模拟的MEMS器件宏模型 被引量:6
7
作者 戎华 黄庆安 李伟华 《真空科学与技术》 CSCD 北大核心 2002年第5期366-371,共6页
MEMS器件的系统级模拟是实现器件优化的重要环节 ,常用的MEMS器件系统级模拟方法是基于宏模型 ,该宏模型要能与电路模拟软件相连接 ,再用电路模拟软件进行系统级模拟。因此 ,关键是如何建立能满足此种要求的宏模型。本文介绍了常用的等... MEMS器件的系统级模拟是实现器件优化的重要环节 ,常用的MEMS器件系统级模拟方法是基于宏模型 ,该宏模型要能与电路模拟软件相连接 ,再用电路模拟软件进行系统级模拟。因此 ,关键是如何建立能满足此种要求的宏模型。本文介绍了常用的等效电路宏模型和硬件描述语言宏模型的建立方法以及这两种宏模型的优缺点。 展开更多
关键词 MEMS器件 系统级模拟 等效电路宏模型 硬件描述语言宏模型 微机电系统
在线阅读 下载PDF
支持过程级动态软硬件划分的RSoC设计与实现
8
作者 朱海 李仁发 +1 位作者 陈宇 刘彦 《计算机工程与科学》 CSCD 北大核心 2010年第4期131-135,共5页
目前,可重构计算平台所支持的动态软硬件划分粒度多处于线程级或指令级,但线程级划分开销太大,而指令级划分又过于复杂,因此很难被用于实际应用之中。本文设计并实现了一种支持过程级动态软硬件划分的可重构片上系统(RSoC),提出了一种... 目前,可重构计算平台所支持的动态软硬件划分粒度多处于线程级或指令级,但线程级划分开销太大,而指令级划分又过于复杂,因此很难被用于实际应用之中。本文设计并实现了一种支持过程级动态软硬件划分的可重构片上系统(RSoC),提出了一种过程级硬件透明编程模型,给出了过程级的硬件封装方案;在分析软硬件过程根本区别的基础上,针对硬件过程开发了专门的管理模块,并利用部分动态重构等技术,实现了硬件过程的动态配置。实验表明该系统能够较好的支持过程级的动态软硬件划分,实现了节省资源、简化设计,提高性能等目的。 展开更多
关键词 可重构片上系统 动态软硬件划分 硬件透明编程模型
在线阅读 下载PDF
基于跳跃访问控制的低功耗分支目标缓冲器设计 被引量:4
9
作者 喻明艳 张祥建 杨兵 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第4期695-702,共8页
传统的分支目标缓冲器(BTB)每个取指周期都要进行访问,由于程序中的分支指令只占总指令数的20%左右,使得大约80%的BTB访问都是无效的.为此,利用程序控制流中分支指令间距固定的特性,提出一种对性能影响极小的BTB跳跃访问算法.在BTB中存... 传统的分支目标缓冲器(BTB)每个取指周期都要进行访问,由于程序中的分支指令只占总指令数的20%左右,使得大约80%的BTB访问都是无效的.为此,利用程序控制流中分支指令间距固定的特性,提出一种对性能影响极小的BTB跳跃访问算法.在BTB中存储分支指令到运行路径中下一条分支指令的距离,BTB命中后,根据相应的分支距离来关闭当前分支指令与下一条分支指令之间的BTB访问,以有效地提高访问效率并降低动态功耗.该算法在嵌入式处理器中实现时只控制预测跳转分支指令的BTB跳跃访问,减少了硬件资源的开销.在硬件模型上进行模拟和综合后的结果表明,在128分支项的BTB中,采用文中算法可以降低72%的动态功耗,而性能损失仅为0.013%. 展开更多
关键词 分支目标缓冲器 分支预测器 低功耗 嵌入式处理器 硬件模型
在线阅读 下载PDF
FMS环境下的刀具管理系统研究 被引量:3
10
作者 朱海荣 邓飞 《机床与液压》 北大核心 2009年第12期198-199,143,共3页
通过分析FMS中刀具管理的重要性,提出了基于计算机网络的刀具管理系统的概念。并根据制造企业刀具管理的特点和工作流程,建立了系统的硬件关系模型,同时对系统开发的各功能模型提出了相应的控制要求。
关键词 柔性制造系统 刀具管理 硬件模型 功能模型
在线阅读 下载PDF
支持远程动态重构的嵌入式系统设计 被引量:3
11
作者 侯方 王颖 +2 位作者 周学功 王伶俐 彭澄廉 《计算机工程》 CAS CSCD 2012年第7期213-216,共4页
为使嵌入式系统具备远程在线更新和维护能力,基于软/硬件统一多任务编程模型,应用互联网可重构逻辑设计方法设计并实现支持远程动态重构的嵌入式系统。提出的统一多任务编程模型为软/硬件任务提供统一接口和管理方式,可降低设计可重构... 为使嵌入式系统具备远程在线更新和维护能力,基于软/硬件统一多任务编程模型,应用互联网可重构逻辑设计方法设计并实现支持远程动态重构的嵌入式系统。提出的统一多任务编程模型为软/硬件任务提供统一接口和管理方式,可降低设计可重构系统的复杂度,同时远程重构功能增加了系统远程在线更新和维护的能力。实验结果表明,该模型可用于远程可重构系统的设计,同时硬件任务也具有较快的加速比。 展开更多
关键词 硬件任务 动态可重构 软/硬件统一多任务编程模型 Xilkernel操作系统 WEB服务器 嵌入式系统 可重构区域
在线阅读 下载PDF
能量采集双向衬底式认知中继网络中断性能分析
12
作者 罗轶 施荣华 +1 位作者 董健 冯倬惠 《南京理工大学学报》 EI CAS CSCD 北大核心 2019年第3期292-299,共8页
针对具有硬件损伤的能量受限网络传输效率低、生存周期短的问题,提出了基于硬件损伤模型和多天线能量信标(PB)辅助能量采集的衬底式双向认知中继网络模型。次网络节点发射功率由采集自多天线PB的射频信号能量和多主接收端的干扰约束共... 针对具有硬件损伤的能量受限网络传输效率低、生存周期短的问题,提出了基于硬件损伤模型和多天线能量信标(PB)辅助能量采集的衬底式双向认知中继网络模型。次网络节点发射功率由采集自多天线PB的射频信号能量和多主接收端的干扰约束共同决定。推导了次网络在瑞利分块衰落信道下中断概率的精确和渐近闭合解。理论分析和蒙特卡洛仿真结果表明:随着PB天线数目和发射功率、主网络干扰约束和能量转换效率的增加,次网络中断概率减小;随着主接收节点数目、次网络节点硬件损伤水平以及PB与次网络间距离的增大,次网络中断概率提高。 展开更多
关键词 能量采集 双向 认知中继网络 硬件损伤模型 多天线 能量信标 瑞利分块衰落信道
在线阅读 下载PDF
基于OBDD的信号处理任务智能加卸载算法
13
作者 谢宗甫 高博 岳春生 《计算机工程》 CAS CSCD 北大核心 2019年第11期225-233,242,共10页
为实现信号处理平台中应用任务的快速动态加卸载和智能切换,提出一种基于有序二叉决策图(OBDD)的智能加卸载算法。在分析智能加卸载整体系统构成的基础上,构建信号处理平台软硬件资源模型、态势参数定义字典和智能加卸载规则库。通过基... 为实现信号处理平台中应用任务的快速动态加卸载和智能切换,提出一种基于有序二叉决策图(OBDD)的智能加卸载算法。在分析智能加卸载整体系统构成的基础上,构建信号处理平台软硬件资源模型、态势参数定义字典和智能加卸载规则库。通过基于OBDD的智能规则决策算法,实现最小人工干预下的应用任务智能加卸载。实验结果表明,与顺序规则存储算法相比,该算法的效率较高,圈复杂度较低。 展开更多
关键词 动态加载 智能切换 硬件资源模型 参数定义字典 规则库 有序二叉决策图
在线阅读 下载PDF
Simulation of quasi-dimensional model for diesel engine working process 被引量:1
14
作者 齐鲲鹏 冯立岩 +2 位作者 冷先银 田江平 隆武强 《Journal of Central South University》 SCIE EI CAS 2010年第4期868-872,共5页
In order to satisfy the demand of validity and real time operating performance of diesel engine model used in hardware-in-the-loop simulation system,a simplified quasi-dimensional model for diesel engine working proce... In order to satisfy the demand of validity and real time operating performance of diesel engine model used in hardware-in-the-loop simulation system,a simplified quasi-dimensional model for diesel engine working process was proposed,which was based on the phase-divided spray mixing model.The software MATLAB/Simulink was utilized to simulate diesel engine performance parameters.The comparisons between calculated results and experimental data show that the relative error of power and brake specific fuel consumption is less than 2.8%,and the relative error of nitric oxide and soot emissions is less than 9.1%.At the same time,the average computational time for simulation of one working process with the new model is 36 s,which presents good real time operating performance of the model.The simulation results also indicate that the nozzle flow coefficient has great influence on the prediction precision of performance parameters in diesel engine simulation model. 展开更多
关键词 diesel engine phase-divided spray mixing model quasi-dimensional model MATLAB/SIMULINK prediction precision
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部