期刊文献+
共找到123篇文章
< 1 2 7 >
每页显示 20 50 100
Characteristics of magnetic memory signals for medium carbon steel under static tensile conditions
1
作者 尹大伟 徐滨士 +2 位作者 董世运 杨尚林 董丽虹 《Journal of Central South University》 SCIE EI CAS 2005年第S2期107-111,共5页
To test the magnetic signals leaked from the surface of specimens during loading, the experiments of the static tensile of medium carbon 45# steel were carried out. The results show that the magnetic field strength va... To test the magnetic signals leaked from the surface of specimens during loading, the experiments of the static tensile of medium carbon 45# steel were carried out. The results show that the magnetic field strength values rapidly vary when the load began, and the curves of the magnetic field strength change from irregularity to regularity with the increase of the load. Furthermore, by comparing with the state of on-line testing, it is found that the magnetic signals of out-of-line testing has more practicability. In the course of loading, though the dots of passing zero of the magnetic field strength continually changed their positions and quantities, the last rupture places were always approached by the dots of passing zero since the elastic loading phase. Some certain relations should exist between external stress and changing of magnetic signals inside the material, and correlative explanation is made based on dislocation theory and the mechanism of magnetic domain action, which provides the basis for further research of magnetic memory. 展开更多
关键词 MAGNETIC memory static TENSILE MAGNETIC field STRENGTH MAGNETIC DOMAIN
在线阅读 下载PDF
基于Q学习的Spark自动调节内存管理器
2
作者 张军 顾皓元 《计算机工程与设计》 北大核心 2025年第5期1487-1493,共7页
为有效解决Apache Spark中静态和统一内存管理器适应性差、JVM垃圾内存回收频繁等问题,提出一种基于Q学习的Spark自动调节内存管理器。采用Q学习自动调优算法,根据不同的工作负载、任务需求和系统状态,在全局范围内实现内存分配的动态... 为有效解决Apache Spark中静态和统一内存管理器适应性差、JVM垃圾内存回收频繁等问题,提出一种基于Q学习的Spark自动调节内存管理器。采用Q学习自动调优算法,根据不同的工作负载、任务需求和系统状态,在全局范围内实现内存分配的动态调整。内存分配算法结合Q学习自动调优算法的决策和空闲内存,响应块管理器和任务内存请求,确保内存高效分配与利用。实验结果表明,新的内存管理器在Spark任务执行效率上获得了较明显的性能提升。 展开更多
关键词 Apache Spark 静态内存管理器 统一内存管理器 JVM垃圾内存回收 Q学习 内存分配动态调整 任务执行效率
在线阅读 下载PDF
基于EMD-KPCA-LSTM与SVG控制的双馈风电系统次同步振荡抑制方法
3
作者 张旭 徐鑫 +1 位作者 董成武 张继龙 《电气工程学报》 北大核心 2025年第2期54-67,共14页
静止无功发生器(Static var generator, SVG)凭借其快速动态响应特性,在抑制双馈风电系统并网的次同步振荡方面发挥了重要作用。然而,传统控制策略在应对系统复杂的非线性和时变特性时,仍存在一定的局限性。为此,提出一种基于经验模态分... 静止无功发生器(Static var generator, SVG)凭借其快速动态响应特性,在抑制双馈风电系统并网的次同步振荡方面发挥了重要作用。然而,传统控制策略在应对系统复杂的非线性和时变特性时,仍存在一定的局限性。为此,提出一种基于经验模态分解(Empirical mode decomposition, EMD)、核主成分分析(Kernel principal component analysis, KPCA)、长短期记忆网络(Long short-term memory, LSTM)与SVG附加阻尼控制的次同步振荡抑制方法。首先,通过EMD提取系统的振荡特征,利用KPCA进行降维优化,进一步通过LSTM对系统的动态特性进行建模与预测,从而显著提高了预测精度。在此基础上,结合SVG的附加阻尼控制功能,实时调节SVG的控制信号,有效抑制次同步振荡,提升系统的稳定性。该方法的创新在于将信号处理技术与深度学习算法相结合,构建了一个高效的预测与控制框架,为传统控制策略提供了全新思路。最后,利用PSCAD进行仿真分析,验证了该方法的有效性,为高渗透率新能源电网的稳定运行提供了技术支持。 展开更多
关键词 次同步振荡 经验模态分解 长短期记忆网络 双馈风电系统 静止无功发生器 核主成分分析
在线阅读 下载PDF
亚20 nm FinFET SRAM工艺涨落对单粒子翻转特性的影响
4
作者 孙乾 郭阳 +9 位作者 梁斌 池雅庆 陶明 罗登 陈建军 孙晗晗 胡春媚 方亚豪 高宇林 肖靖 《国防科技大学学报》 北大核心 2025年第6期264-273,共10页
为了探究工艺涨落对亚20纳米鳍式场效应晶体管(fin field-effect transistor,FinFET)工艺静态随机存储器(static random-access memory,SRAM)单粒子翻转特性的影响,通过建立与商用工艺接近的高精度三维计算机辅助工艺设计模型,对不同工... 为了探究工艺涨落对亚20纳米鳍式场效应晶体管(fin field-effect transistor,FinFET)工艺静态随机存储器(static random-access memory,SRAM)单粒子翻转特性的影响,通过建立与商用工艺接近的高精度三维计算机辅助工艺设计模型,对不同工艺角下FinFET SRAM的单粒子翻转特性进行仿真。仿真结果显示,FinFET工艺SRAM的单粒子翻转阈值在不同的工艺角变化下产生微小波动,且敏感位置都在N型金属氧化物半导体上。为了明确具体的工艺参数涨落对单粒子翻转阈值的影响,对鳍的厚度、鳍的高度、栅氧厚度、功函数波动造成的单粒子翻转特性的影响进行研究。仿真结果表明,前两种因素对翻转阈值未产生影响,后两种因素对翻转阈值造成了微小的波动。首次发现工艺涨落对FinFET SRAM单粒子翻转阈值的影响大幅降低,该发现对研制高一致性的抗辐射宇航用集成电路具有重要意义。 展开更多
关键词 FINFET 单粒子翻转 静态随机存储器 工艺涨落 工艺角
在线阅读 下载PDF
高速铁路轨道不平顺动静态数据反演研究
5
作者 何庆 马玉松 +3 位作者 孙华坤 李晨钟 何红宇 王平 《铁道学报》 北大核心 2025年第4期94-102,共9页
依据轨道不平顺检测数据进行超限等级划分和扣分评定是铁路工务部门对轨道几何状态进行评价的重要管理办法。现有研究中针对动静态检测数据反演的模型较少且适用性相对较弱,利用动静数据间的映射关系,建立一种基于双向长短期记忆网络的... 依据轨道不平顺检测数据进行超限等级划分和扣分评定是铁路工务部门对轨道几何状态进行评价的重要管理办法。现有研究中针对动静态检测数据反演的模型较少且适用性相对较弱,利用动静数据间的映射关系,建立一种基于双向长短期记忆网络的峰值预测模型。模型以动态检测数据为输入,实现静态检测数据预测反演。同时,提出数据三步变换法和多步长匹配机制改进模型性能。结合某高速铁路线路不同区段的轨道几何检测数据进行案例分析,结果表明:改进后模型精度提高70%以上,可实现对不同区段的垂、横向检测数据的准确预测,预测结果的平均绝对误差和均方根误差分别降低了75.27%和71.21%。 展开更多
关键词 高速铁路 动静轨检数据 双向长短期记忆网络 多步长匹配机制 数据反演
在线阅读 下载PDF
拉伸应力激励时铁磁性材料表面三维金属磁记忆信号变化规律
6
作者 王慧鹏 李海航 +3 位作者 石家龙 董丽虹 王海斗 刘惠中 《中国表面工程》 北大核心 2025年第4期198-207,共10页
目前金属磁记忆损伤检测主要采用一维及二维磁记忆信号检测损伤,但磁场是三维向量,仅用一维及二维信号无法准确表达损伤信息。为丰富金属磁记忆的检测机理与检测依据,采用试验分析与理论研究的方法,对单应力激励下母材试样与对接焊试样... 目前金属磁记忆损伤检测主要采用一维及二维磁记忆信号检测损伤,但磁场是三维向量,仅用一维及二维信号无法准确表达损伤信息。为丰富金属磁记忆的检测机理与检测依据,采用试验分析与理论研究的方法,对单应力激励下母材试样与对接焊试样表面三维金属磁记忆信号的变化规律进行探究。主要结论如下:施加轴向应力后,母材试样表面B_(x)和B_(y)信号为平直线,B_(z)信号为斜直线,B_(x)和B_(y)信号的均值以及B_(z)信号的斜率值随应力增加而增大,并在塑性变形后快速下降,三者均能用于表征应力大小;对接焊试样在焊缝区域B_(x)和B_(z)信号具有明显的异变信号,能够指示焊缝位置,B_(x)信号的均值和峰值以及B_(z)信号的斜率值可用于表征试样受到轴向应力的大小。获取了准确、全面的三维金属磁记忆信号幅值及特征变化规律,基于磁荷理论和磁导率模型建立了金属磁记忆信号的物理模型,可对应力损伤进行定位与定量。 展开更多
关键词 标准试样 拉伸试验 金属磁记忆检测 三维金属磁记忆信号 特征提取
在线阅读 下载PDF
一种结合静态分析的轻量化内存安全运行时检测方法
7
作者 毛瑞琪 陈哲 《计算机科学》 北大核心 2025年第S2期798-805,共8页
缓冲区溢出等内存安全问题长久困扰C语言开发者。运行时检测是解决C语言内存安全问题的可靠方法,但也引入了较高的运行时开销。现存的内存安全运行时检测开销削减方法或不兼容已有代码、依赖人工标注,或在削减开销的同时引入漏报和误报... 缓冲区溢出等内存安全问题长久困扰C语言开发者。运行时检测是解决C语言内存安全问题的可靠方法,但也引入了较高的运行时开销。现存的内存安全运行时检测开销削减方法或不兼容已有代码、依赖人工标注,或在削减开销的同时引入漏报和误报,或无法保证非法访存和检测报错的时序性。对此,提出了一种结合静态分析的针对栈上内存区域的轻量化运行时检测方法,将部分运行时元数据查询替换为编译时元数据查询,将大部分高开销的检测函数调用替换为轻量化的内联布尔条件判断,并使用跨过程的按需别名分析将方法扩展到跨过程分析、全程序检测。基于C语言抽象语法树进行静态分析和检测代码插桩,实现了原型工具LISA(Lightweight Inline Safety Assertion)。实验结果表明,LISA降低运行时检测的时间开销平均达36%,仅引入约0.5%额外的空间开销。此外,LISA还解决了现存方法不兼容已有代码、运行时检测有效性低、无法实时保证内存安全的问题。 展开更多
关键词 内存安全 运行时检测 静态分析 源代码插桩 别名分析
在线阅读 下载PDF
基于FPGA的优化型复合TCAM设计与应用 被引量:1
8
作者 梅进 于哲 +3 位作者 陈方 王彬 周舜民 赵子龙 《现代电子技术》 北大核心 2025年第14期1-6,共6页
三态内容可寻址存储器(TCAM)是网络架构中的重要组件之一,用于高速搜索应用。目前基于FPGA实现的TCAM多基于单一类型存储资源,消耗的存储资源量较大,且在实际应用中TCAM的搜索字多样化,易造成存储资源冗余。针对此问题,提出一种综合利用... 三态内容可寻址存储器(TCAM)是网络架构中的重要组件之一,用于高速搜索应用。目前基于FPGA实现的TCAM多基于单一类型存储资源,消耗的存储资源量较大,且在实际应用中TCAM的搜索字多样化,易造成存储资源冗余。针对此问题,提出一种综合利用FPGA中Block RAM(BRAM)与查找表RAM(LUTRAM)来优化对搜索字划分的方法。通过灵活组合BRAM和LUTRAM,实现更加接近甚至贴合搜索字位数的优化型复合TCAM(OC-TCAM),从而降低存储资源用量,并将该设计应用于网络数据包的过滤与加密系统中。实验结果表明,所提方法相较于目前领先的基于BRAM的TCAM,存储资源用量减少了39.1%,相比于领先的基于FPGA的复合TCAM,单位面积的性能提升了20.28%。 展开更多
关键词 三态内容可寻址存储器 静态随机存取存储器 现场可编程门阵列 资源存储 网络数据包过滤 加密系统
在线阅读 下载PDF
静载拉伸45钢材料的金属磁记忆信号分析 被引量:27
9
作者 王丹 董世运 +2 位作者 徐滨士 陈群志 董丽虹 《材料工程》 EI CAS CSCD 北大核心 2008年第8期77-80,共4页
研究了静载拉伸过程中三种规格45钢轴状试件表面法向磁场强度Hp(y)值的变化规律,并对Hp(y)曲线斜率的绝对值|k|与拉应力σ之间的对应关系进行了分析。结果表明:试件规格相同时,|k|-σ的对应关系相同,即弹性范围内,|k|随σ的增加而增大;... 研究了静载拉伸过程中三种规格45钢轴状试件表面法向磁场强度Hp(y)值的变化规律,并对Hp(y)曲线斜率的绝对值|k|与拉应力σ之间的对应关系进行了分析。结果表明:试件规格相同时,|k|-σ的对应关系相同,即弹性范围内,|k|随σ的增加而增大;加载至屈服极限附近时,|k|出现最大值;进入塑性变形阶段后,|k|出现减小的趋势;拉断后,Hp(y)曲线在断口附近发生折转,并在断口两侧出现峰值。试件规格不同时,受载区域长度对|k|-σ关系影响显著,即所受拉应力相同,受载区域的长度增大,|k|减小。 展开更多
关键词 金属磁记忆 静载拉伸 磁场强度 斜率 多规格
在线阅读 下载PDF
金属磁记忆技术检测低碳钢静载拉伸破坏的实验研究 被引量:19
10
作者 董丽虹 徐滨士 +1 位作者 董世运 尹大伟 《材料工程》 EI CAS CSCD 北大核心 2006年第3期40-43,共4页
为探索磁记忆现象的物理机制,在地磁场环境中,静载拉伸低碳钢板状试件。对应试件加载前、静载拉伸过程中不同的载荷水平以及断裂后等不同阶段,分别采用EMS-2003磁记忆诊断仪检测试样表面磁场强度垂直分量信号的变化。结果发现,加载前各... 为探索磁记忆现象的物理机制,在地磁场环境中,静载拉伸低碳钢板状试件。对应试件加载前、静载拉伸过程中不同的载荷水平以及断裂后等不同阶段,分别采用EMS-2003磁记忆诊断仪检测试样表面磁场强度垂直分量信号的变化。结果发现,加载前各试件初始磁状态对试件断裂后信号有影响。试件拉伸过程中塑性变形阶段内磁信号无较大数值变化,断裂后信号突变。拉伸过程中过零点漂移,最后集中在断口处。过零点对判定损伤破坏的铁磁构件危险区域具有一定意义。 展开更多
关键词 磁记忆 静载拉伸 磁信号 过零点
在线阅读 下载PDF
SRAM型FPGA单粒子辐照试验系统技术研究 被引量:6
11
作者 孙雷 段哲民 +1 位作者 刘增荣 陈雷 《计算机工程与应用》 CSCD 2014年第1期49-52,共4页
单粒子辐射效应严重制约FPGA的空间应用,为提高FPGA在辐射环境中的可靠性,深入研究抗辐射加固FPGA单粒子效应评估方法,设计优化单粒子效应评估方案,开发相应的评估系统,提出基于SRAM时序修正的码流存储比较技术和基于SelectMAP端口配置... 单粒子辐射效应严重制约FPGA的空间应用,为提高FPGA在辐射环境中的可靠性,深入研究抗辐射加固FPGA单粒子效应评估方法,设计优化单粒子效应评估方案,开发相应的评估系统,提出基于SRAM时序修正的码流存储比较技术和基于SelectMAP端口配置回读技术。借助国内高能量大注量率的辐照试验环境,完成FPGA单粒子翻转(SEU)、单粒子闩锁(SEL)和单粒子功能中断(SEFI)等单粒子效应的检测,试验结果表明,该方法可以科学有效地对SRAM型FPGA抗单粒子辐射性能进行评估。 展开更多
关键词 现场可编程门阵列(FPGA) 空间辐射 单粒子效应 回读 静态随机存储器(SRAM) Field PROGRAMMABLE Gate Array(FPGA) static Random Access memory(SRAM)
在线阅读 下载PDF
安装SMA阻尼器的钢筋混凝土连梁拟静力试验 被引量:19
12
作者 毛晨曦 王大磊 +1 位作者 王涛 李惠 《地震工程与工程振动》 CSCD 北大核心 2014年第4期140-147,共8页
本文提出了一种可以安装在钢筋混凝土连梁中的形状记忆合金(Shape Memory Alloy,SMA)阻尼器的构造设计及特征参数,并给出了安装SMA阻尼器的钢筋混凝土连梁的特征设计参数。通过阻尼器性能试验,验证了所提出的SMA阻尼器构造设计可靠,耗... 本文提出了一种可以安装在钢筋混凝土连梁中的形状记忆合金(Shape Memory Alloy,SMA)阻尼器的构造设计及特征参数,并给出了安装SMA阻尼器的钢筋混凝土连梁的特征设计参数。通过阻尼器性能试验,验证了所提出的SMA阻尼器构造设计可靠,耗能能力良好,有自复位能力,SMA丝的超弹性得到很好地发挥。在此基础上,进行了两组连梁拟静力试验,一组为普通钢筋混凝土连梁,另一组为安装SMA阻尼器的自复位连梁,结合试验破坏现象和两组连梁的力-位移滞回曲线来查看其性能。试验表明,与传统钢筋混凝土连梁相比,安装SMA阻尼器的连梁能够改善连梁损伤模式,将变形集中在阻尼器中,大幅度减少混凝土梁的损伤并起到自复位作用。 展开更多
关键词 形状记忆合金 阻尼器 连梁 拟静力试验 被动控制
在线阅读 下载PDF
亚微米特征工艺尺寸静态随机存储器单粒子效应实验研究 被引量:12
13
作者 郭红霞 罗尹虹 +4 位作者 姚志斌 张凤祁 张科营 何宝平 王园明 《原子能科学技术》 EI CAS CSCD 北大核心 2010年第12期1498-1504,共7页
利用中国原子能科学研究院重离子加速器,开展了不同特征尺寸(0.35~0.13μm)CMOS工艺、不同集成度(1M、4M、8M、16M)静态随机存储器(SRAM)单粒子翻转(SEU)和单粒子闩锁(SEL)实验研究,给出了SRAM器件的SEU、SEL截面曲线。与μm级特征尺... 利用中国原子能科学研究院重离子加速器,开展了不同特征尺寸(0.35~0.13μm)CMOS工艺、不同集成度(1M、4M、8M、16M)静态随机存储器(SRAM)单粒子翻转(SEU)和单粒子闩锁(SEL)实验研究,给出了SRAM器件的SEU、SEL截面曲线。与μm级特征尺寸的器件相比,随特征尺寸的减小,单粒子翻转更加严重。测量到了令人关注的单粒子多位翻转(MBU)效应,对翻转位数进行了统计分析。MBU对目前卫星系统采用的EDAC技术提出了挑战。 展开更多
关键词 静态随机存储器 多位翻转 重离子加速器
在线阅读 下载PDF
中低碳钢静拉伸时磁记忆效应的实验研究 被引量:18
14
作者 张卫民 刘红光 孙海涛 《北京理工大学学报》 EI CAS CSCD 北大核心 2004年第7期571-574,共4页
研究静拉伸情况下低碳X70管线钢和中碳45#钢的金属磁记忆效应.对X70钢试件进行了拉伸前后的金属磁记忆检测,总结了拉伸至塑性变形后试件表面磁场强度零值线的分布变化规律.在对45#钢所做的静拉伸实验中,发现磁记忆检测方法对于压磁效应... 研究静拉伸情况下低碳X70管线钢和中碳45#钢的金属磁记忆效应.对X70钢试件进行了拉伸前后的金属磁记忆检测,总结了拉伸至塑性变形后试件表面磁场强度零值线的分布变化规律.在对45#钢所做的静拉伸实验中,发现磁记忆检测方法对于压磁效应具有一定的敏感性,为在弹性区域内检测应力的变化提供了可能性. 展开更多
关键词 金属磁记忆 静拉伸 无损检测 压磁效应
在线阅读 下载PDF
基于区域内存模型的C程序静态分析 被引量:9
15
作者 董玉坤 金大海 +1 位作者 宫云战 邢颖 《软件学报》 EI CSCD 北大核心 2014年第2期357-372,共16页
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的... 为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析. 展开更多
关键词 可寻址表达式 内存模型 静态分析 符号化函数摘要 缺陷检测
在线阅读 下载PDF
基于指针映射集的动态内存故障测试方法研究 被引量:9
16
作者 张威 宫云战 +1 位作者 卢庆龄 万琳 《计算机学报》 EI CSCD 北大核心 2009年第11期2274-2281,共8页
动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并... 动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且由于规则定义较为全面,漏报和误报率也较低. 展开更多
关键词 软件测试 静态分析 指针映射集 内存泄漏 空指针引用
在线阅读 下载PDF
特种钢的磁记忆检测研究 被引量:7
17
作者 尹大伟 董世运 +2 位作者 徐滨士 董丽虹 权晓林 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第11期1483-1488,共6页
本文借助静载拉伸实验进行特种钢18CrNiWA试件的磁信号变化测试,验证了磁记忆检测技术用于该材料损伤检验的可行性。结果显示,弹塑性加载阶段试件磁信号差别显著,检测方式的不同对试件磁特性有明显影响,离线检测较在线检测实际效果更好... 本文借助静载拉伸实验进行特种钢18CrNiWA试件的磁信号变化测试,验证了磁记忆检测技术用于该材料损伤检验的可行性。结果显示,弹塑性加载阶段试件磁信号差别显著,检测方式的不同对试件磁特性有明显影响,离线检测较在线检测实际效果更好。此外,对实验过程中磁场强度变化现象做了相应的解释。 展开更多
关键词 磁记忆检测 应力集中 磁畴 静载拉伸实验
在线阅读 下载PDF
静态随机访问存储器型现场可编程门阵列辐照效应测试系统研制 被引量:8
18
作者 姚志斌 何宝平 +4 位作者 张凤祁 郭红霞 罗尹虹 王圆明 张科营 《强激光与粒子束》 EI CAS CSCD 北大核心 2009年第5期749-754,共6页
在调研静态随机访问存储器型现场可编程门阵列(FPGA)器件空间辐照效应失效机理的基础上,详细论述FPGA辐照效应测试系统内部存储器测试、功能测试及功耗测试的实现原理,给出了系统的软硬件实现方法。所建立的系统可以测试FPGA器件的配置... 在调研静态随机访问存储器型现场可编程门阵列(FPGA)器件空间辐照效应失效机理的基础上,详细论述FPGA辐照效应测试系统内部存储器测试、功能测试及功耗测试的实现原理,给出了系统的软硬件实现方法。所建立的系统可以测试FPGA器件的配置存储器翻转截面、块存储器翻转截面、功能失效截面、闭锁截面等多个参数,其长线传输距离达到50 m以上,最大可测门数达到了100万门,为FPGA辐照效应研究提供了测试平台。 展开更多
关键词 现场可编程门阵列 辐照效应 测试系统 静态随机访问存储器
在线阅读 下载PDF
不同检测环境下磁记忆信号变化研究 被引量:11
19
作者 尹大伟 徐滨士 +2 位作者 董世运 董丽虹 冯晨 《兵工学报》 EI CAS CSCD 北大核心 2007年第3期319-323,共5页
通过开展中碳45#钢试件的静载拉伸实验,采用磁记忆检测技术,研究了在线及离线2种检测环境下、不同加载阶段试件磁信号变化情况。结果显示:对应不同的检测环境,检测得到的试件磁信号差别显著。在线检测时试件周围磁环境对检测准确性影响... 通过开展中碳45#钢试件的静载拉伸实验,采用磁记忆检测技术,研究了在线及离线2种检测环境下、不同加载阶段试件磁信号变化情况。结果显示:对应不同的检测环境,检测得到的试件磁信号差别显著。在线检测时试件周围磁环境对检测准确性影响较大,磁记忆检测判据——“过零点”失去作用;离线检测时检测效果良好,过零点能够反映试件应力集中部位。同时,对实验过程中的磁场强度变化及过零点漂移现象进行了理论分析。 展开更多
关键词 材料检测与分析技术 无损检测 金属磁记忆 应力集中 磁畴 静载拉伸
在线阅读 下载PDF
基于区域内存模型的空指针引用缺陷检测 被引量:8
20
作者 董玉坤 宫云战 金大海 《电子学报》 EI CAS CSCD 北大核心 2014年第9期1744-1752,共9页
为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Valued Logic,RSTVL),RSTVL能够描述C程序运行时内存中数据结构... 为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Valued Logic,RSTVL),RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系;其次,给出了基于抽象语法树与函数摘要识别被引用指针方法;最后,结合基于RSTVL的数据流分析结果,将对被引用指针的检测转换为对相应区域的检测,给出了空指针引用缺陷检测的方法,通过函数摘要实现过程间的空指针引用缺陷检测.对比实验结果表明,本文方法在保证一定检测准确率的前提下,能够极大的减少空指针引用缺陷的漏报. 展开更多
关键词 空指针引用 内存模型 静态分析 函数摘要 缺陷检测
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部