面向通用处理器芯粒架构探索和评估的系统级模拟器

1

作者 张聪武 刘澳 +2 位作者 张科 常轶松 包云岗 《电子与信息学报》 EI CAS CSCD 北大核心 2024年第12期4575-4588,共14页

随着摩尔定律的逐步失效,芯片制造工艺的提升愈发困难,芯片性能的提升面临“面积墙”问题,chiplet(芯粒)技术开始被广泛采用来解决此问题。然而,面向chiplet引入的架构设计参数,目前的体系结构模拟器面临新的挑战。为了能够探索chiplet... 随着摩尔定律的逐步失效,芯片制造工艺的提升愈发困难,芯片性能的提升面临“面积墙”问题,chiplet(芯粒)技术开始被广泛采用来解决此问题。然而,面向chiplet引入的架构设计参数,目前的体系结构模拟器面临新的挑战。为了能够探索chiplet架构的特定设计参数,现有工作通常只会为模拟器增加单一的功能,导致其难以用于探索多个参数对chiplet芯片的整体影响。为了能够较为全面地探索和评估chiplet芯片架构,该文基于现有gem5模拟器实现了面向通用处理器芯粒架构探索和评估的系统级模拟器(SEEChiplet)模拟器框架。首先,总结了现在chiplet芯片设计关注的3类设计参数,包括:(1)芯片cache系统设计;(2)封装方式模拟;(3) chiplet间的互连网络。其次,针对上述3类参数:(1)设计并实现了私有末级缓存系统,扩大了cache系统设计空间;(2)修改了gem5已有的全局目录,以适配私有末级缓存(LLC)系统;(3)建模了两种常见的chiplet封装方式以及chiplet间互连网络。最后,该文在SEEChiplet框架中进行了系统级的模拟评估,在被测chiplet架构通用处理器上运行操作系统及PARSEC 3.0基准测试程序,验证了SEEChiplet的功能,证明SEEChiplet可以对chiplet设计空间进行探索和评估。 展开更多

关键词 芯粒 设计空间探索 体系结构模拟器 缓存系统

在线阅读 下载PDF 职称材料

一种多平台可移植的数字对讲机显控模块的实现方法

2

作者 白娅娟 《无线互联科技》 2024年第20期16-20,共5页

数字对讲机是警用和民用数字集群通信系统终端类设备,可为公安消防、城市驻军、边海防部队等在执勤巡逻、训练演习、反恐维稳时提供语音、短信息和数据等指挥调度通信保障。随着对讲机产品的更新升级,软件、硬件迭代,支持单一平台系统... 数字对讲机是警用和民用数字集群通信系统终端类设备,可为公安消防、城市驻军、边海防部队等在执勤巡逻、训练演习、反恐维稳时提供语音、短信息和数据等指挥调度通信保障。随着对讲机产品的更新升级,软件、硬件迭代,支持单一平台系统的显控模块无法满足多平台的开发升级。文章详细介绍了一种多平台可移植的数字对讲机显控模块的实现方法,以为开发者提供便利。 展开更多

关键词 显控模块 多平台 可移植 数字对讲机

在线阅读 下载PDF 职称材料

典型测试用例推荐与用例期望结果生成系统

3

作者 邓佳棋 王月波 +2 位作者 蒲卿路 李继秀 杨旭 《计算机测量与控制》 2024年第2期1-6,共6页

测试领域在对公司产品质量的把控中至关重要,但不同测试人员在面向同一个测试产品时,会由于测试人员本身缺少经验以及对产品功能的不熟悉,导致测试不具备系统性和全面性;同时测试团队在长时间针对公司相关业务产品,或者开发人员在系统... 测试领域在对公司产品质量的把控中至关重要,但不同测试人员在面向同一个测试产品时,会由于测试人员本身缺少经验以及对产品功能的不熟悉,导致测试不具备系统性和全面性;同时测试团队在长时间针对公司相关业务产品,或者开发人员在系统联试过程中,会形成大量具有典型意义的测试用例;但目前传统的做法并没有将该具有价值的测试用例深度分析;只是形成相关文档后汇总,就将该数据尘封;因此文章以典型测试用例为数据,以知识图谱为展现形式与存储形式,Bert实体提取为技术基础的推荐系统;根据用户输入,推荐出相关的典型测试用例;同时在某些行业,测试人员在实际工作业务中,需要花费大量时间对测试用例的输入和期望结果进行描述,形成正式文档用于保存记录;该系统可实现根据用例输入自动生成对应的期望结果,以提升测试人员的工作效率。 展开更多

关键词 典型测试用例 Bert 知识图谱 实体提取 文本生成

在线阅读 下载PDF 职称材料

数字版权管理技术及应用研究进展 被引量：65

4

作者 范科峰 莫玮 +2 位作者 曹山 赵新华 裴庆祺 《电子学报》 EI CAS CSCD 北大核心 2007年第6期1139-1147,共9页

随着信息与通信技术的飞速发展,数字媒体内容的分发、复制与编辑变得越来越普遍.数字内容的版权管理和内容保护可以减少内容盗版和不规范使用行为.本文介绍了数字版权管理技术的基本原理,综述了关键技术,分析了国内外应用情况,并讨论了... 随着信息与通信技术的飞速发展,数字媒体内容的分发、复制与编辑变得越来越普遍.数字内容的版权管理和内容保护可以减少内容盗版和不规范使用行为.本文介绍了数字版权管理技术的基本原理,综述了关键技术,分析了国内外应用情况,并讨论了几个具有挑战性的问题.最后,总结了全文,并展望了该技术领域的研究重点和发展方向. 展开更多

关键词 数字内容 内容安全 数字版权管理 标准化

在线阅读 下载PDF 职称材料

基于小波域的第二代数字水印算法的研究 被引量：13

5

作者 兰红星 陈松乔 +1 位作者 胡爱娜 李陶深 《电子学报》 EI CAS CSCD 北大核心 2007年第9期1799-1803,共5页

提出一种基于离散小波变换(DWT)域的第二代水印算法.该算法在CBWM模型基础上,把视觉系统掩蔽特性应用于水印的编码过程,引入了小波块的概念.算法首先从小波变换后的系数中提取出图像的重要特征值作为水印信息,然后通过调制将水印依次嵌... 提出一种基于离散小波变换(DWT)域的第二代水印算法.该算法在CBWM模型基础上,把视觉系统掩蔽特性应用于水印的编码过程,引入了小波块的概念.算法首先从小波变换后的系数中提取出图像的重要特征值作为水印信息,然后通过调制将水印依次嵌入到图像的分解层中,最后该特征值在提取水印时作为位置参考点.实验结果表明,该水印算法对一般的几何攻击具有较强的鲁棒性,对旋转具有独特的抗干扰性. 展开更多

关键词 数字水印 离散小波变换 第二代水印 人眼视觉特性 小波块 几何攻击

在线阅读 下载PDF 职称材料

基于脆弱水印的H.264视频完整性认证方案 被引量：15

6

作者 王美华 裴庆祺 范科峰 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2007年第5期823-827,848,共6页

为了解决低码率视频完整性认证问题,提出了一种基于脆弱水印的视频认证方案.在H.264视频编码时,首先根据I帧DCT低频量化系数关系生成认证码,然后以水印的形式把认证码嵌入到I帧DCT高频量化系数中;在视频解码阶段进行认证,水印提取不需... 为了解决低码率视频完整性认证问题,提出了一种基于脆弱水印的视频认证方案.在H.264视频编码时,首先根据I帧DCT低频量化系数关系生成认证码,然后以水印的形式把认证码嵌入到I帧DCT高频量化系数中;在视频解码阶段进行认证,水印提取不需要原视频作参考.仿真结果表明,所提出的方案具有较小的码率变化和视频失真,保证了方案的有效性. 展开更多

关键词 完整性认证 视频认证 脆弱水印 H.264

在线阅读 下载PDF 职称材料

先导式大流量电液比例方向阀建模与仿真研究 被引量：5

7

作者 艾超 孔祥东 田德志 《计算机仿真》 CSCD 北大核心 2012年第11期11-15,41,共6页

先导式大流量电液比例方向阀控制精度高、响应速度快,能精确实现流量的方向控制和比例控制,这对于电液比例系统的高精度控制及其整体性能提高具有重要的意义。针对某型号的先导式大流量电液比例方向阀建立其静、动态特性和先导阀与主阀... 先导式大流量电液比例方向阀控制精度高、响应速度快,能精确实现流量的方向控制和比例控制,这对于电液比例系统的高精度控制及其整体性能提高具有重要的意义。针对某型号的先导式大流量电液比例方向阀建立其静、动态特性和先导阀与主阀匹配研究的仿真模型,进行理论计算和仿真研究。仿真结果表明该阀的静、动态特性较好,先导阀与主阀匹配良好,为阀优化设计奠定了基础。 展开更多

关键词 电液比例方向阀 匹配 静 动态特性分析

在线阅读 下载PDF 职称材料

新的基于ID的身份鉴别方案 被引量：1

8

作者 李艳平 苏万力 王育民 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2009年第1期86-90,共5页

针对网络环境下用户身份的鉴别问题,依据双线性加群上计算性Diffie-Hellman问题的困难性假设建立了一个随机语言模型,采用了无证书公钥密码体制私钥生成方法,首次提出了一个能有效抵抗重置攻击和冒充攻击的基于身份(ID)的身份鉴别方案.... 针对网络环境下用户身份的鉴别问题,依据双线性加群上计算性Diffie-Hellman问题的困难性假设建立了一个随机语言模型,采用了无证书公钥密码体制私钥生成方法,首次提出了一个能有效抵抗重置攻击和冒充攻击的基于身份(ID)的身份鉴别方案.新方案避免了基于公钥证书诸多方案的密钥吊销问题,也避免了基于身份的诸多方案所涉及的密钥托管问题,并释放了传统的基于身份的方案中私钥生成中心(PKG)无条件可信假设.在随机预言模型下对新方案进行了安全性证明.结果显示,即使PKG参与了主动并行攻击,多项式时间敌手冒充攻击成功方案的概率可以忽略. 展开更多

关键词 随机预言模型 重置攻击 冒充攻击 密钥生成中心(PKG)

在线阅读 下载PDF 职称材料

GPS物流车辆行驶数据采集与存储系统的开发 被引量：3

9

作者 王鹏辉 陈光 鲍萍萍 《电子设计工程》 2017年第11期9-13,共5页

为了便于物流企业实时采集受控车辆的行驶数据,以便精确掌握车辆的行驶过程,设计开发了一种基于GPS的物流车辆行驶数据采集与存储系统。该系统包括车载移动终端、数据传输网络和监控中心。首先,该系统利用多线程技术采集对装有车载设备... 为了便于物流企业实时采集受控车辆的行驶数据,以便精确掌握车辆的行驶过程,设计开发了一种基于GPS的物流车辆行驶数据采集与存储系统。该系统包括车载移动终端、数据传输网络和监控中心。首先,该系统利用多线程技术采集对装有车载设备的受控车辆的行驶数据。然后,通过数据截取获取受控车辆的经度、纬度、速率以及时间信息。最后,利用CDMA无线通信技术远程传输到监控中心并存储到后台数据库中,为管理人员查阅分析车辆当前状态提供依据。通过测试,证明该系统可以提高物流企业车辆的运营效率和安全行驶率,有效地杜绝车辆超速行驶、跑私车以及乱停乱放等现象,有着较好的经济效益。 展开更多

关键词 GPS CDMA 多线程 数据截取 数据存储

在线阅读 下载PDF 职称材料

基于无证书公钥密码体制的身份鉴别方案 被引量：1

10

作者 李艳平 王育民 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2008年第5期619-622,共4页

基于双线性加群G1上计算Diffie-Hellman问题的困难性假设下,采用无证书公钥密码体制密钥生成原理,首次提出了一个能有效抵抗重置攻击和冒充攻击的基于ID的身份鉴别方案,避免了基于身份的诸多方案所涉及敏感的密钥托管问题.最后在随机预... 基于双线性加群G1上计算Diffie-Hellman问题的困难性假设下,采用无证书公钥密码体制密钥生成原理,首次提出了一个能有效抵抗重置攻击和冒充攻击的基于ID的身份鉴别方案,避免了基于身份的诸多方案所涉及敏感的密钥托管问题.最后在随机预言模型下给出了方案的安全性证明. 展开更多

关键词 随机预言模型 重置攻击 冒充攻击 无证书公钥密码体制

在线阅读 下载PDF 职称材料

基于局部多核支持向量机的视频镜头边界检测 被引量：1

11

作者 肖永良 夏利民 《信息与控制》 CSCD 北大核心 2011年第3期381-386,共6页

提出了一种基于局部多核支持向量机的视频镜头边界检测方法.利用视频图像相邻帧的时空信息构建视频中间特征,在此基础上利用局部多核支持向量机将视频帧划分为边界帧和非边界帧.为了提高基于全局优化的多核支持向量机的检测精度,利用局... 提出了一种基于局部多核支持向量机的视频镜头边界检测方法.利用视频图像相邻帧的时空信息构建视频中间特征,在此基础上利用局部多核支持向量机将视频帧划分为边界帧和非边界帧.为了提高基于全局优化的多核支持向量机的检测精度,利用局部敏感哈希算法将视频帧投影至哈希子空间,结合多核学习方法为各个哈希子空间构建局部多核支持向量机,利用SMOTE上采样技术解决了视频图像边界帧和普通帧的不平衡问题.试验结果表明,本文提出的镜头边界检测方法的查全率和查准率得到了提高. 展开更多

关键词 镜头边界检测 多核学习 局部敏感哈希 支持向量机 SMOTE采样

在线阅读 下载PDF 职称材料

基于2.4G的无线视频传输装置设计 被引量：1

12

作者 杨峰 王文虎 《微型机与应用》 2014年第12期83-86,共4页

基于X86构架的DSP芯片SQ907S所构建的视频传输终端,通过MT9V139 Sensor采集图像,通过2.4 G无线模块进行视频传输;嵌入的μC/OS-II实时操作系统,实现多任务的管理,优化程序进程。实验表明,终端传输距离长、图像效果优质、人机对话界面友... 基于X86构架的DSP芯片SQ907S所构建的视频传输终端,通过MT9V139 Sensor采集图像,通过2.4 G无线模块进行视频传输;嵌入的μC/OS-II实时操作系统,实现多任务的管理,优化程序进程。实验表明,终端传输距离长、图像效果优质、人机对话界面友好、能够实时存储图片和视频,具有很好的应用前景。 展开更多

关键词 SQ907S MT9V139 ΜC/OS-II 2.4 G无线图像传输

在线阅读 下载PDF 职称材料

基于传统群件Lotus Domino的分布式解决方案

13

作者 倪时龙 彭巍 +2 位作者 林振天 吴飞 许双成 《电子设计工程》 2016年第10期100-104,共5页

Lotus Domino是优秀的办公电子协作平台,具有独特的安全特性和快速开发等特征。被广泛运用于政府和企业的办公自动化和邮件系统。但由于使用的是文档型数据库,随着数据量增长,性能会急剧下降;且它的数据库、Web服务器、应用服务器均耦... Lotus Domino是优秀的办公电子协作平台,具有独特的安全特性和快速开发等特征。被广泛运用于政府和企业的办公自动化和邮件系统。但由于使用的是文档型数据库,随着数据量增长,性能会急剧下降;且它的数据库、Web服务器、应用服务器均耦合集成,不易扩展,在大型系统的应用上有很大的局限。随着信息化的发展,政府企业都开始集约化方向发展,希望建立集中式的数据中心。Lotus Domino在大型应用系统上的发展遭遇瓶颈。通过运用分布式的思想对Lotus Domino进行包装改造,建设可扩展的副本和分片机制,建设统一的数据索引中心与调度中,将数据与负载动态平摊于多个Domino服务器节点间。通过国家电网协同办公一级部署系统的运行实践表明,创新的分布式架构让Domino平台充分发挥其优势情况下又规避了它在负载能力上的不足。 展开更多

关键词 分布式系统 群件 协同办公 LOTUS DOMINO

在线阅读 下载PDF 职称材料

量子安全直接通信协议分析

14

作者 韩芳 郑晶晶 +1 位作者 胡爱娜 武海艳 《山东轻工业学院学报（自然科学版）》 CAS 2010年第3期14-16,共3页

量子安全直接通信协议是继量子密钥分配协议之后提出的重要协议,通过对乒乓通信协议的安全特性和CSS纠错码QSDC的安全特性的分析,提出了乒乓通信协议存在的不足以及CSS纠错码QSDC可以抵抗已有量子算法攻击,为合法者对量子直接通信的安... 量子安全直接通信协议是继量子密钥分配协议之后提出的重要协议,通过对乒乓通信协议的安全特性和CSS纠错码QSDC的安全特性的分析,提出了乒乓通信协议存在的不足以及CSS纠错码QSDC可以抵抗已有量子算法攻击,为合法者对量子直接通信的安全性判定和对窃听者的检测提供了一定的依据和标准。 展开更多

关键词 QSDC CSS纠错码 乒乓通信协议

在线阅读 下载PDF 职称材料

基于AS和瓦片地图的虚拟校园漫游导航系统的设计与实现

15

作者 廖梦怡 徐向艺 《电子设计工程》 2015年第7期145-147,共3页

虚拟校园漫游导航系统是通过在3D仿真模型中加入交互功能。用户可以通过浏览器产生亲临现场的感觉,非常直观地了解学校的人文环境和物理设施。当下各高校都建立了自己的虚拟校园系统。本文以平顶山学院西校区为例,开发出了具有放大查看... 虚拟校园漫游导航系统是通过在3D仿真模型中加入交互功能。用户可以通过浏览器产生亲临现场的感觉,非常直观地了解学校的人文环境和物理设施。当下各高校都建立了自己的虚拟校园系统。本文以平顶山学院西校区为例,开发出了具有放大查看、缩小查看、导航、测距、综合查询、快速信息标注等交互功能的虚拟校园漫游系统,获得了满意的效果。 展开更多

关键词 AS 瓦片地图技术 虚拟校园 漫游导航

在线阅读 下载PDF 职称材料

基于车用电涡流缓速器温度场分析控制系统设计

16

作者 吴金舟 《计算机测量与控制》 北大核心 2014年第12期3986-3989,共4页

随着车辆向大型化、高速化发展,车辆正常行驶制动能量增加,传统的摩擦制动器已经难以满足使用要求,很容易诱发一些故障;电涡流缓速器以其非接触无摩擦,响应时间短,无明显时间滞后,工作时噪声很小,能够提供车辆正常行驶85%的制动功率等... 随着车辆向大型化、高速化发展,车辆正常行驶制动能量增加,传统的摩擦制动器已经难以满足使用要求,很容易诱发一些故障;电涡流缓速器以其非接触无摩擦,响应时间短,无明显时间滞后,工作时噪声很小,能够提供车辆正常行驶85%的制动功率等优点成为新型的车辆辅助制动系统;采用ANSYS软件实现电涡流缓速器转子盘的二维温度场分析,对不同宽度的转筒式电涡流缓速器的温度分布进行数据采集,建立转筒式电涡流缓速器转筒的二维模型,采用虚拟边界法进行简化处理,然后根据系统不同的载荷和约束条件进行温度场控制系统建模;最后做了大量的仿真实验,模拟了依据不同的制动力矩,不同的磁路结构以及转子盘温升来分析对汽车制动性的影响。 展开更多

关键词 温度场 电涡流缓速器 最大制动力矩 ANSYS软件 有限元分析

在线阅读 下载PDF 职称材料

一种基于小波块的自适应水印算法

17

作者 宫娜娜 武海艳 《山东轻工业学院学报（自然科学版）》 CAS 2010年第3期11-13,共3页

为了确保水印算法的不可见性和鲁棒性,提出一种基于小波块的算法。根据人类的视觉特性,由图像的纹理、频率、方向特征自适应地确定嵌入位置与强度。该算法对一般的攻击,如裁剪、压缩、加噪、图像增强等具有一定的鲁棒性。

关键词 离散小波变换 小波块 人类视觉系统

在线阅读 下载PDF 职称材料

一种基于H.264视频内容认证的水印算法

18

作者 高洁 刘超慧 《电脑开发与应用》 2010年第6期12-14,共3页

提出一种基于H.264视频内容认证的半脆弱水印,该水印方案对视频内容恶意篡改敏感,而对于视频重编码等内容保持操作鲁棒。水印方案建立在视频压缩域上利用图像块之间不变的能量关系构建基于内容的特征码。由于DCT系数块能量主要集中在低... 提出一种基于H.264视频内容认证的半脆弱水印,该水印方案对视频内容恶意篡改敏感,而对于视频重编码等内容保持操作鲁棒。水印方案建立在视频压缩域上利用图像块之间不变的能量关系构建基于内容的特征码。由于DCT系数块能量主要集中在低频部分,所以用低频部分来生成特征码,用高频部分来嵌入水印。实验结果证明算法是有效的,并且较好地实现了篡改定位。 展开更多

关键词 视频水印 内容认证 半脆弱 篡改定位

在线阅读 下载PDF 职称材料

函数矩阵理论在HOL4中的形式化 被引量：2

19

作者 刘振科 施智平 +4 位作者 关永 金声震 张杰 叶世伟 李晓娟 《小型微型计算机系统》 CSCD 北大核心 2013年第3期654-658,共5页

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化... 定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化分析有重要意义.本文在高阶逻辑定理证明器Higher-Order Logic 4中形式化函数向量和函数矩阵,包括形式化定义数据类型、运算及形式化验证运算性.本文同时给出了函数矩阵求导的形式化定义,证明了矩阵微分法中函数矩阵(或函数向量)相对于数量变量的微分法的常用定理,并给出了对二次型函数求导的形式化证明.本文工作已整理成定理库. 展开更多

关键词 函数矩阵 形式化验证 矩阵微分法 定理证明 HIGHER-ORDER Logic4

在线阅读 下载PDF 职称材料

移动通信网中基于级串框架的网络流量性能分析 被引量：1

20

作者 邹德斌 张兴 王文博 《北京邮电大学学报》 EI CAS CSCD 北大核心 2009年第2期101-105,共5页

根据湍流尺度分析中的对数无限可分级串方法(LIDC),对从某移动运营商处获取的无线分组网络流量进行了多尺度行为分析,以GPRS为例,发现现网GPRS流量符合对数无限可分级串框架,并由此对无线分组流量数据进行了深入的特性分析.结果表明,LID... 根据湍流尺度分析中的对数无限可分级串方法(LIDC),对从某移动运营商处获取的无线分组网络流量进行了多尺度行为分析,以GPRS为例,发现现网GPRS流量符合对数无限可分级串框架,并由此对无线分组流量数据进行了深入的特性分析.结果表明,LIDC方法在分析无线分组网络流量的多尺度行为方面非常有效.该方法不仅在全尺度范围内能刻画网络流量的尺度特性,而且能确定出某一尺度下的有效分析范围.同时,经过该分析框架分析表明,无线分组网络流量中的尺度保持了幂律关系、单一尺度及尺度不变性等特点. 展开更多

关键词 网络流量分析 对数无限可分级串 扩展自相似性 无线网络

在线阅读 下载PDF 职称材料