检索结果-南通市图书馆

Cymbal换能器的材料常数与机电性能关系研究

在线全文

学校读者我要写书评

暂无评论

电子元件与材料 2004年第10期23卷 33-35页

作者：王光灿王丽坤李光栾桂冬张福学云南大学材料与化学学院云南昆明650091 北京信息工程学院传感器技术研究中心北京100101 北京大学信息科学技术学院北京100871

用有限元方法和ANSYS软件,仿真计算了不同材料对Cymbal换能器的机械、电及机电性能的影响。研制了Cymbal换能器并进行了测量,计算结果和实测结果符合较好(误差≤6%)。通过这一研究得到了材料常数与Cymbal换能器的机电性能之间的关系。... 详细信息

用有限元方法和ANSYS软件,仿真计算了不同材料对Cymbal换能器的机械、电及机电性能的影响。研制了Cymbal换能器并进行了测量,计算结果和实测结果符合较好(误差≤6%)。通过这一研究得到了材料常数与Cymbal换能器的机电性能之间的关系。研究结果对Cymbal换能器的研究和设计工作具有实际意义。

关键词：电子技术有限元方法 Cymbal换能器材料常数机电性能

基于Event-B与ADT的TACS形式化开发方法与验证

在线全文

学校读者我要写书评

暂无评论

中国铁道科学 2023年第6期44卷 172-183页

作者：陈祖希牛传军梅萌刘杰刘传振郑黎晓骆翔宇潘亮汪小勇徐中伟华侨大学计算机科学与技术学院福建厦门361021 同济大学电子与信息工程学院上海201804 中国科学院软件研究所北京100190 卡斯柯信号有限公司城市轨道交通系统集成部上海200070

为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验... 详细信息

为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验证。首先,根据TACS的需求以及案例研究等相关内容,提取TACS的功能需求和安全需求,并将功能需求和安全需求以非形式化的语言进行描述;然后,根据TACS的功能需求和安全需求进行模型精化层次的设计,避免因在抽象模型中建模复杂的需求而导致证明困难;最后,在模型中使用形式化语言Event-B对TACS的功能需求和安全需求进行建模并验证其正确性,且在建模过程中,利用ADT的抽象概念将轨道网络、轨道区域以及移动授权(Movement Authority,MA)等复杂系统组件在初始模型中指定组件的必要属性,且在后续系统建模过程必要的精化阶段引入组件的具体定义,以降低系统开发和证明的复杂度。结果表明:提出的方法有助于在早期开发阶段减少TACS中复杂的细节部分,使得证明义务成功率为100%,自动证明成功率占比83%,手动证明成功率仅占比仅17%,在简化证明义务的同时有效提高了自动化证明的占比。

关键词： Event-B 抽象数据类型精化策略列车自主运行控制系统

在线全文

学校读者我要写书评

暂无评论

对一个混沌密码模型的分析

通信学报 2008年第9期29卷 134-140页

作者：韦军廖晓峰杨吉云遵义医学院医学信息工程系贵州遵义563000 重庆大学计算机科学学院重庆400044

基于混沌的密码算法设计引起了广泛的讨论,然而,大多数混沌密码算法发表不久即被攻击。为了对它们在混沌信号流攻击下非常脆弱的原因进行研究,分析了其中一些混沌密码算法的安全性,抽象出一个混沌密码数学模型,并提出了针对这一模型的... 详细信息

基于混沌的密码算法设计引起了广泛的讨论,然而,大多数混沌密码算法发表不久即被攻击。为了对它们在混沌信号流攻击下非常脆弱的原因进行研究,分析了其中一些混沌密码算法的安全性,抽象出一个混沌密码数学模型,并提出了针对这一模型的攻击及相应的改进方法。最后,运用上述研究成果,分析了李树均在Phsics Letters A上提出的一种混沌密码算法的安全性,验证了该数学模型的有效性。

关键词：混沌密码安全分析数学模型

基于轻音乐加音乐节拍方式的大脑双重刺激诱导方法

在线全文

学校读者我要写书评

暂无评论

计算机工程 2017年第11期43卷 27-31,39页

作者：廖智朱珍民王毅初显奇伍能彪湘潭大学信息工程学院湖南湘潭4111052 中国科学院计算技术研究所普适计算研究中心北京100190 中国科学院大学北京100190

依据音乐旋律以及节拍对脑电波能量谱的影响,提出一种轻音乐加音乐节拍的双重刺激诱导方法。对测试者的大脑意识活动进行调节,通过分析采集到的脑电信号判断其是否能够快速进入高度放松状态。在调节阶段采用轻音乐加速度渐变和强弱顺序... 详细信息

依据音乐旋律以及节拍对脑电波能量谱的影响,提出一种轻音乐加音乐节拍的双重刺激诱导方法。对测试者的大脑意识活动进行调节,通过分析采集到的脑电信号判断其是否能够快速进入高度放松状态。在调节阶段采用轻音乐加速度渐变和强弱顺序相反的音乐节拍声方式,使被测试者倾听5 min,并对通过EEG耳机采集的脑电信号进行分析。实验结果表明,该方法在调节持续时间约为2 min^3 min时,能够有效地促进大脑进入高度放松状态。

关键词：脑电信号音乐旋律音乐节拍重心频率随机森林

在线全文

学校读者我要写书评

暂无评论

攻击图在风险评估中的矩阵可视化

小型微型计算机系统 2013年第3期34卷 553-556页

作者：潘晓中何江湖申军伟王浩明武警工程大学电子技术系网络与信息安全武警部队重点实验室西安710086 武警工程大学信息安全研究所西安710086

随着大规模网络的发展,网络攻击手段呈现出多样化与复杂化,网络安全分析的要求也是越来越高,而网络攻击图作为分析网络安全状况的一个重要方法,对防止网络攻击,实施网络安全防护有一定的现实指导意义.本文提出一种借助现有攻击图,利用... 详细信息

随着大规模网络的发展,网络攻击手段呈现出多样化与复杂化,网络安全分析的要求也是越来越高,而网络攻击图作为分析网络安全状况的一个重要方法,对防止网络攻击,实施网络安全防护有一定的现实指导意义.本文提出一种借助现有攻击图,利用矩阵对大规模网络进行安全分析的方法,并通过实验验证了所提方法的合理性与有效性.最后本文通过柱形图把网络风险表示出来,实现了大规模网络中的风险可视化,为网络安全管理员管理与维护大规模网络提供了一个直观的依据.

关键词：攻击图风险评估矩阵可视化

在线全文

学校读者我要写书评

暂无评论

大数据负载的体系结构特征分析

计算机科学 2015年第11期42卷 48-52页

作者：罗建平谢梦瑶王华锋中国科学院计算技术研究所先进计算机系统研究中心北京100190 北京航空航天大学软件学院北京100910 郑州大学信息工程学院郑州450001

针对大数据离线分析类和交互式查询类负载,首先对这些负载的一些共性进行分析,提取出公共操作集,并对它们进行分组整理;然后在大数据平台上测试这些负载运行过程中的微体系结构特征,采用PCA和SimpleKMeans算法对这些体系结构特征参数进... 详细信息

针对大数据离线分析类和交互式查询类负载,首先对这些负载的一些共性进行分析,提取出公共操作集,并对它们进行分组整理;然后在大数据平台上测试这些负载运行过程中的微体系结构特征,采用PCA和SimpleKMeans算法对这些体系结构特征参数进行降维和聚类处理。实验分析结果表明负载之间有公共的操作集,如Join和Cross Production;有些负载有相似的属性,如Difference和Projection共享相同的微体系结构特征。实验结果对于处理器等硬件平台的设计以及应用程序的优化具有指导性的意义,并且为大数据基准测试平台的设计提供了参考。

关键词：大数据大数据负载体系结构特征应用程序

基于参数化模型的FPGA时钟网络设计和优化

在线全文

学校读者我要写书评

暂无评论

电子学报 2017年第7期45卷 1686-1694页

作者：余乐陈岩李洋洋吴超王瑶苏童谢元禄北京工商大学计算机与信息工程学院食品安全大数据技术北京市重点实验室北京100048 中国科学院微电子学研究所中国科学院微电子器件与集成技术重点实验室北京100049

本文在FPGA时钟网络(Clock Distributed Network,CDN)关键结构尺寸的参数化建模基础上,提出一种针对全定制FPGA CDN的设计和优化方法.本文所建立的参数化模型将结构尺寸分为拓扑结构和电路与互连两类,分别给出了这两类尺寸参数的设计原... 详细信息

本文在FPGA时钟网络(Clock Distributed Network,CDN)关键结构尺寸的参数化建模基础上,提出一种针对全定制FPGA CDN的设计和优化方法.本文所建立的参数化模型将结构尺寸分为拓扑结构和电路与互连两类,分别给出了这两类尺寸参数的设计原则.在标准CMOS 0.13μm工艺下,对H树型、鱼骨型以及混合型三种类型时钟网络设计了2组结构参数,分别代表优化前和优化后,对比分析延时、偏斜、功耗和面积等性能参数.实验结果显示:混合型结构在绝对延时和时钟偏斜上减小最多,分别达到20.89%和63.20%;鱼骨型结构的面积减小达到50.14%;H树型结构的绝对延时和功耗则均降低了7.37%和8.33%.以上结果充分证明了本文所提设计优化方法的有效性.

关键词： FPGA 时钟网络参数化建模

在线全文

学校读者我要写书评

暂无评论

基于多个网络接口的DASH系统设计与实现

计算机应用与软件 2017年第8期34卷 136-144页

作者：周传杰陈哲张旭徐跃东复旦大学计算机科学技术学院上海201203 网络信息安全审计与监控教育部工程研究中心上海201203 复旦大学电子工程系上海200433

对基于HTTP协议的动态自适应流媒体来说,客户端可以根据不同的网络状况自适应地调整请求的视频比特率。当前DASH的研究主要集中于单链路的比特率切换算法的设计。而考虑到移动终端拥有多个网络接口以及短视频的播放流行度,开发一个基于L... 详细信息

对基于HTTP协议的动态自适应流媒体来说,客户端可以根据不同的网络状况自适应地调整请求的视频比特率。当前DASH的研究主要集中于单链路的比特率切换算法的设计。而考虑到移动终端拥有多个网络接口以及短视频的播放流行度,开发一个基于LTE/Wi-Fi的多接口DASH系统——PASM(Predictive Adaptive Streaming system over LTE/Wi-Fi Multiple access networks)。PASM从两个互补方面提高了DASH性能,一方面,减少了由于两条链路异构性造成的视频块的乱序到达,充分利用两条链路的带宽之和进行DASH传输,提高了请求视频的质量;另一方面,在剩余请求视频时长不多时,采用一种更加激进的视频比特率请求算法,减少了带宽的不充分利用,提高了视频的平均比特率。实验结果表明,在各种链路带宽差异的网络下,PASM保证了视频比特率的平滑切换,同时提高了视频平均比特率。

关键词： DASH 多接口网络乱序

在线全文

学校读者我要写书评

暂无评论

Cache侧信道攻击防御量化研究

信息安全学报 2024年第4期9卷 107-124页

作者：王占鹏朱子元王立敏中国科学院信息工程研究所北京100093 中国科学院大学(网络安全学院) 北京100049

芯片安全防护技术关系到国家、企业和个人的信息安全,相关的研究一直是计算机安全领域的热点。片上高速缓存对芯片性能起着重要作用,可以有效提升芯片内核访问效率。传统的缓存设计并没有充分考虑安全性,侧信道攻击会对Cache造成巨大威... 详细信息

芯片安全防护技术关系到国家、企业和个人的信息安全,相关的研究一直是计算机安全领域的热点。片上高速缓存对芯片性能起着重要作用,可以有效提升芯片内核访问效率。传统的缓存设计并没有充分考虑安全性,侧信道攻击会对Cache造成巨大威胁,可以窃取加密密钥等内存存储敏感信息。攻击者利用侧信道的技术窃取用户的隐私数据或加密算法密钥时不会改变片上系统芯片的运行状态,从而使计算机系统很难检测是否受到了攻击。与基于电磁信号和基于能量检测的侧信道攻击相比,基于存储共享的侧信道攻击只需要利用软件测量就可以实现,对芯片安全的威胁更大。目前存在多种侧信道攻击和防御手段,但缺乏一套完善的关于系统架构的安全度量方法,对Cache的安全性进行有效评估。本文对Cache侧信道攻击和防御手段进行模型化分析,提出一套Cache安全性量化研究方法。首先,我们采用CVSS漏洞评分模型对Cache侧信道攻击进行量化评分。然后,利用贝叶斯公式,构建侧信道攻击和防御的关系模型。最后,通过图模型对Cache侧信道攻击机理进行建模,计算在防御架构基础上不同威胁的攻击成功率,并结合CVSS防御得分求得不同防御方法的得分。本文针对Cache侧信道攻击进行机理建模,对攻击和防御进行评估和探索,为硬件安全人员提供理论支持。

关键词： Cache侧信道 CVSS 贝叶斯模型安全量化安全架构