期刊文献+
共找到608篇文章
< 1 2 31 >
每页显示 20 50 100
基于Simulink浮点模型和定点模型的问题研究 预览
1
作者 邹凡 朱宏翔 袁凯 《汽车实用技术》 2019年第4期131-132,150共3页
文章介绍了MATLAB/Simulink的自动代码生成的实现方法和过程。以某新能源汽车油门控制模型为例,重点解释了浮点模型和定点模型之间的区别,并通过自动生成的代码和Code Warrior编译生成的可执行文件证明定点模型相对于浮点模型所占内存少。
关键词 MATLAB/SIMULINK 自动代码生成 浮点 定点
在线阅读 下载PDF
双精度浮点矩阵乘协处理器研究 预览
2
作者 贾迅 邬贵明 +1 位作者 谢向辉 吴东 《计算机研究与发展》 EI CSCD 北大核心 2019年第2期410-420,共11页
矩阵乘运算在多个应用领域特别是数值计算领域被广泛使用,但双精度浮点矩阵乘在CPU,GPGPU,FPGA等现有计算平台上的性能和效率受限,其往往成为大规模数值计算应用的性能瓶颈.针对该问题,以线性阵列计算结构为基础,研究了双精度浮点矩阵... 矩阵乘运算在多个应用领域特别是数值计算领域被广泛使用,但双精度浮点矩阵乘在CPU,GPGPU,FPGA等现有计算平台上的性能和效率受限,其往往成为大规模数值计算应用的性能瓶颈.针对该问题,以线性阵列计算结构为基础,研究了双精度浮点矩阵乘的定制加速.首先,对线性阵列计算结构进行了双缓冲优化并设计了针对双缓冲的存储访问调度,以提高结构的计算效率.其次,提出了矩阵乘协处理器和加速计算系统的结构,构建了协处理器的性能模型并对其结构设计空间进行了探索.最后,验证了协处理器的功能正确性并在某主流工艺下评估了其硬件开销.实验结果表明,设计的双精度浮点矩阵乘协处理器可以达到3 TFLOPS的计算性能和99%的计算效率.与NVIDIA K40 GPGPU相比,协处理器执行双精度浮点矩阵乘的性能是K40的1.95倍,而面积开销仅为K40的21.05%.探索了定制加速结构设计在高性能计算中的应用,对现有计算系统的性能提升具有一定的参考价值. 展开更多
关键词 矩阵乘 协处理器 加速 浮点 硬件定制
在线阅读 下载PDF
适用于 FPGA 的浮点型 DSP 硬核结构设计 预览
3
作者 赵赫 黄志洪 +3 位作者 余乐 杨海钢 许仕龙 郝亚男 《太赫兹科学与电子信息学报》 北大核心 2019年第3期524-530,共7页
提出一种浮点型数字信号处理器(DSP)硬核结构,在兼容定点数运算的同时,也为浮点数运算提供较好支持。目前各大现场可编程门阵列(FPGA)主流厂商在实现浮点数运算功能时均采用软核实现方式,即将浮点数运算算法映射到芯片上,通过逻辑资源和... 提出一种浮点型数字信号处理器(DSP)硬核结构,在兼容定点数运算的同时,也为浮点数运算提供较好支持。目前各大现场可编程门阵列(FPGA)主流厂商在实现浮点数运算功能时均采用软核实现方式,即将浮点数运算算法映射到芯片上,通过逻辑资源和 DSP 模块实现。相比于传统方法,提出的硬核结构在不占用 FPGA 中其他逻辑资源情况下,仅利用 DSP 模块便能完成浮点数运算。设计中,充分考虑负载和时延影响,插入多级流水线,显著提高浮点数的计算效率。采用中芯国际(MCI)28 nm 工艺设计并完成所提出的浮点型 DSP 硬核结构。仿真结果表明,所提出的硬核结构的单个浮点数加法和乘法效率为 0.4 Gflops。 展开更多
关键词 现场可编程门阵列 数字信号处理器 硬核结构 浮点数运算
在线阅读 下载PDF
一款消除浮空点并自锁存的老化预测传感器
4
作者 徐辉 汪海 孙侠 《半导体技术》 CAS 北大核心 2019年第3期216-222,共7页
针对负偏置温度不稳定性引起的组合逻辑电路老化,提出了一款消除浮空点并自锁存的老化预测传感器。该传感器不仅可以预测组合逻辑电路老化,而且能够通过传感器内部的反馈来锁存检测结果,同时解决稳定性校验器在锁存期间的浮空点问题,其... 针对负偏置温度不稳定性引起的组合逻辑电路老化,提出了一款消除浮空点并自锁存的老化预测传感器。该传感器不仅可以预测组合逻辑电路老化,而且能够通过传感器内部的反馈来锁存检测结果,同时解决稳定性校验器在锁存期间的浮空点问题,其延时单元为可控型延时单元,可以控制其工作状态。使用HSPICE软件进行仿真,验证了老化预测传感器的可行性,可以适用于多种环境中且不会影响传感器性能。与同类型结构相比,该传感器的稳定性校验器能够对检测结果进行自锁存,使用的晶体管数量减少了约8%,平均功耗降低了约20%。 展开更多
关键词 传感器 老化预测 自锁存 浮空点 逻辑电路 负偏置温度不稳定性
浮针治疗颈源性头痛的疗效观察 预览 被引量:2
5
作者 张永红 刘初容 +1 位作者 梁鲁波 张新斐 《针灸临床杂志》 2018年第5期42-45,共4页
目的:观察浮针治疗颈源性头痛的临床疗效。方法:将颈源性头痛患者68例随机分为浮针组(34例)、常规针刺组(34例)。常规针刺组取风池、合谷、天柱、肩井、太冲和足临泣等。浮针组主要针对斜方肌、斜角肌、胸锁乳突肌和枕下肌群等存... 目的:观察浮针治疗颈源性头痛的临床疗效。方法:将颈源性头痛患者68例随机分为浮针组(34例)、常规针刺组(34例)。常规针刺组取风池、合谷、天柱、肩井、太冲和足临泣等。浮针组主要针对斜方肌、斜角肌、胸锁乳突肌和枕下肌群等存在的激痛点进行皮下疏松结缔组织内扫散,同时结合肌肉抗阻。两组均每天治疗1次,每周治疗5次,共计2周。比较治疗前后两组头痛持续时间、头痛频率、头痛程度、颈部症状阳性率以及两组总体临床疗效。结果:治疗后,两组头痛持续时间、头痛频率、头痛程度数字评分、颈部症状阳性率均较治疗前改善(均P〈0.05),浮针组各项评分改善均优于针刺组(均P〈0.05);浮针组总有效率为100%(34/34),针刺组为76.5%(26/34),浮针组疗效优于针刺组(P〈0.05)。结论:浮针治疗颈源性头痛疗效显著,可明显改善头痛症状及颈部功能活动。 展开更多
关键词 颈源性头痛 浮针 针刺疗法 激痛点
在线阅读 免费下载
基于FPGA的高性能卫星导航抗干扰处理器设计与实现 预览
6
作者 马忠志 张荣兵 刘红 《遥测遥控》 2018年第2期34-40,共7页
卫星导航接收机多采用阵列天线进行抗干扰处理。为提高阵列天线的抗干扰性能,利用FPGA设计并实现一个基于浮点复协方差矩阵求逆的高性能抗干扰处理器。通过选择合理的求逆方法和资源复用策略解决了算法高复杂度和FPGA有限资源之间的矛... 卫星导航接收机多采用阵列天线进行抗干扰处理。为提高阵列天线的抗干扰性能,利用FPGA设计并实现一个基于浮点复协方差矩阵求逆的高性能抗干扰处理器。通过选择合理的求逆方法和资源复用策略解决了算法高复杂度和FPGA有限资源之间的矛盾,利用较少的硬件资源获得了良好的权值计算精度和权值更新速度。仿真测试结果表明,处理器干扰抑制效果显著,可以有效提升卫星导航接收机的抗干扰能力。 展开更多
关键词 卫星导航 抗干扰 复矩阵求逆 浮点数
在线阅读 下载PDF
浮点及整数混合运算器的设计与实现 被引量:1
7
作者 何星宏 阴亚芳 戴程 《微电子学与计算机》 CSCD 北大核心 2018年第2期52-55,60共5页
针对现行普遍的浮点运算器耗费面积较大,功能实现结构松散的问题,设计实现一款浮点及整数混合运算器(Mixture-Arithmetic Logic Unit,MALU).该运算器基于基4算法华莱士树型结构,并尝试一种新的阶码对齐方法,合并整数运算与浮点... 针对现行普遍的浮点运算器耗费面积较大,功能实现结构松散的问题,设计实现一款浮点及整数混合运算器(Mixture-Arithmetic Logic Unit,MALU).该运算器基于基4算法华莱士树型结构,并尝试一种新的阶码对齐方法,合并整数运算与浮点运算处理逻辑.在三级流水线结构下可准确完成单精度浮点数,扩展精度浮点数以及整数基本运算.采用基于synopsys提供的Design Compler综合工具在SMIC 65 nm工艺库下完成综合,达到500MHz主频. 展开更多
关键词 IEEE754 SYSTEMVERILOG 乘加运算 整数 浮点
An improved boundary element method for modelling a self-reacting point absorber wave energy converter 预览
8
作者 Qian-Long Xu Ye Li Zhi-Liang Lin 《力学学报:英文版》 SCIE EI CAS CSCD 2018年第6期1015-1034,共20页
A numerical model based on a boundary element method (BEM) is developed to predict the performance of two-body selfreacting floating-point absorber (SRFPA) wave energy systems that operate predominantly in heave.The k... A numerical model based on a boundary element method (BEM) is developed to predict the performance of two-body selfreacting floating-point absorber (SRFPA) wave energy systems that operate predominantly in heave.The key numerical issues in applying the BEM are systematically discussed.In particular,some improvements and simplifications in the numerical scheme are developed to evaluate the free surface Green's function,which is a main element of difficulty in the BEM.For a locked SRFPA system,the present method is compared with the existing experiment and the Reynolds-averaged NavierStokes (RANS)-based method,where it is shown that the inviscid assumption leads to substantial over-prediction of the heave response.For the unlocked SRFPA model we study in this paper,the additional viscous damping primarily induced by flow separation and vortex shedding,is modelled as a quadratic drag force,which is proportional to the square of body velocity.The inclusion of viscous drag in present method significantly improves the prediction of the heave responses and the power absorption performance of the SRFPA system,obtaining results excellent agreement with experimental data and the RANS simulation results over a broad range of incident wave periods,except near resonance in larger wave height scenarios.It is found that the wave overtopping and the re-entering impact of out-of-water floating body are observed more frequently in larger waves,where these non-linear effects are the dominant damping sources and could significantly reduce the power output and the motion responses of the SRFPA system. 展开更多
关键词 Boundary element method FLOATING-POINT ABSORBER HEAVE Green's function VISCOUS drag
在线阅读 下载PDF
基于FPGA的高速FIR滤波器并行结构设计 预览 被引量:2
9
作者 骆希 陶伟 黄荣鑫 《微处理机》 2017年第1期9-12,共4页
提出了一种基于FPGA平台的并行FIR滤波器结构,能大幅提升滤波器的计算能力。与传统的串行滤波器结构相比,并行结构的运算速度可以提高N倍,N为并行路数,同时运算延迟也会相应减小,在处理时钟速率有限的情况下,通过使用并行结构的FIR滤波... 提出了一种基于FPGA平台的并行FIR滤波器结构,能大幅提升滤波器的计算能力。与传统的串行滤波器结构相比,并行结构的运算速度可以提高N倍,N为并行路数,同时运算延迟也会相应减小,在处理时钟速率有限的情况下,通过使用并行结构的FIR滤波器,可大幅提高运算吞吐量。以宽带数据链为应用背景介绍了并行FIR滤波器的使用与实现,以两路并行结构设计为例,通过Matlab对FIR滤波器运算进行了浮点级的仿真验证,然后用经典符号数表示以及优化定点滤波器系数,最后在Xilinx的K7系列芯片实现了定点并行滤波器。通过Xilinx提供的编译软件Vivado编译以及下载测试结果表明,该滤波器仅占用少量的资源,其等效吞吐量可达到1GHz。 展开更多
关键词 可编程逻辑阵列 有限脉冲响应滤波器 吞吐量 浮点 定点运算 并行仿真
在线阅读 下载PDF
浮点与整数资源区别分配的SMT处理器取指策略 预览
10
作者 蒋生健 胡向东 杨剑新 《计算机工程》 CSCD 北大核心 2017年第4期46-51,共6页
在同时多线程处理器中,各线程对于浮点和整数资源需求不同,合理分配线程的共享资源是提升处理器整体性能的重要因素。为此,提出一种浮点与整数资源区别分配的取指策略,合理分配各个线程对于浮点和整数资源的使用情况。实验结果表明,与IC... 在同时多线程处理器中,各线程对于浮点和整数资源需求不同,合理分配线程的共享资源是提升处理器整体性能的重要因素。为此,提出一种浮点与整数资源区别分配的取指策略,合理分配各个线程对于浮点和整数资源的使用情况。实验结果表明,与ICOUNT,STALL等策略相比,该策略在算术平均IPC和调和平均IPC方面均取得一定的性能提升,同时其在处理浮点和整数混合型程序时也具有优势。 展开更多
关键词 同时多线程 取指策略 资源分配 线程级并行 浮点 整数
在线阅读 下载PDF
云计算环境下浮点和整数同时多线程资源配置方法研究 预览 被引量:1
11
作者 崔嘉 《科学技术与工程》 北大核心 2017年第23期238-242,共5页
云计算环境下数据规模较大,当前资源配置方法依据优先级、按照顺序对资源进行配置,具有资源利用率低、配置效率低、能耗高等弊端。为此,提出一种新的云计算环境下浮点和整数同时多线程资源配置方法,分析了计算操作和访存操作的并发性,... 云计算环境下数据规模较大,当前资源配置方法依据优先级、按照顺序对资源进行配置,具有资源利用率低、配置效率低、能耗高等弊端。为此,提出一种新的云计算环境下浮点和整数同时多线程资源配置方法,分析了计算操作和访存操作的并发性,给出云计算环境下和每片外访存load操作相应的发射执行指令数的定义,得出在相同时间段内IPM值越大,计算型与访存型操作同时执行的机会越大,资源配置性能越高的结论。依据该结论,通过IPM实现云计算环境下浮点和整数同时多线程资源配置,将较多的资源分配至IPM值较大的浮点或整数线程中,将较少的资源分配至IPM值较小的浮点或整数线程中,使得云计算环境下的共享资源得到最佳配置。利用实验测试所提方法的实际应用性能。实验结果表明,所提方法资源利用率高、能耗损失低、资源配置效率高,整体资源配置性能很高。 展开更多
关键词 云计算环境 浮点 整数 多线程资源配置
在线阅读 免费下载
一种抗老化消除浮空点并自锁存的老化预测传感器
12
作者 徐辉 董文祥 易茂祥 《半导体技术》 CSCD 北大核心 2017年第12期944-950,共7页
随着集成电路芯片制造工艺进入纳米阶段,电路可靠性问题变得越来越严重,以负偏置温度不稳定性效应为代表的电路老化也逐渐成为影响其性能的重要因素。基于老化预测的精确性和传感器功能的多样性,提出了一种抗老化、可编程的老化预测传... 随着集成电路芯片制造工艺进入纳米阶段,电路可靠性问题变得越来越严重,以负偏置温度不稳定性效应为代表的电路老化也逐渐成为影响其性能的重要因素。基于老化预测的精确性和传感器功能的多样性,提出了一种抗老化、可编程的老化预测传感器。其中稳定性检测器部分利用反馈回路解决了浮空点问题,同时整合了锁存器部分,实现了对老化预测结果的自动锁存,从而增加了老化预测的精确度,减小了一定的面积开销。最后通过HSPICE模拟器仿真验证了该传感器的优越性,且与经典结构相比降低了约21.43%的面积开销。 展开更多
关键词 负偏置温度不稳定性 传感器 老化 浮空点 集成电路
基于FPGA的浮点除法器的研究与实现 预览
13
作者 钟强 刘鹏飞 +2 位作者 刘宝军 胡宗进 秦绪栋 《中国集成电路》 2016年第9期43-46,共4页
文章针对现场可编程门阵列(FPGA)器件的某些芯片不支持浮点除法运算的情况,设计出一种输出为32位的单精度浮点数的除法器。文章利用已有的整数除法器的IP核(IPCore)进行改进,大大的降低了程序设计的复杂性,并且保证了可靠性。通... 文章针对现场可编程门阵列(FPGA)器件的某些芯片不支持浮点除法运算的情况,设计出一种输出为32位的单精度浮点数的除法器。文章利用已有的整数除法器的IP核(IPCore)进行改进,大大的降低了程序设计的复杂性,并且保证了可靠性。通过ModelSim仿真软件,证明我们设计的算法结果正确,完全满足要求。 展开更多
关键词 浮点 除法器 现场可编程门阵列
在线阅读 下载PDF
非精确浮点数乘法器设计 预览 被引量:2
14
作者 尹培培 《电子技术应用》 北大核心 2016年第3期38-41,46共5页
随着电路系统数值运算范围以及数据运算精度的不断扩大,浮点数运算的研究变得越来越重要。但传统浮点数运算单元硬件复杂、功耗大、延时长,这些因素很大程度上制约着浮点数运算的性能。非精确计算可以减少容错设备的动态及静态能量损耗... 随着电路系统数值运算范围以及数据运算精度的不断扩大,浮点数运算的研究变得越来越重要。但传统浮点数运算单元硬件复杂、功耗大、延时长,这些因素很大程度上制约着浮点数运算的性能。非精确计算可以减少容错设备的动态及静态能量损耗,作为解决以上问题的有效方法。提出了一种非精确浮点数乘法器的算法设计,同时将该算法应用于高动态范围图片的图像处理中,并将结果与精确浮点数乘法器的应用结果进行对比,结果表明所提出的非精确浮点数乘法器具有很好的性能。 展开更多
关键词 浮点数 非精确 乘法器 高动态范围图片
在线阅读 下载PDF
C语言中浮点数的表示范围浅析 预览 被引量:1
15
作者 田祎 樊景博 《软件工程》 2016年第4期8-10,共3页
浮点数是C语言中的一种数据类型,但在标准C中并没有给出其具体的描述,即数的存储格式及表示范围。部分经典的C语言程序设计教程中给出了浮点数的表示范围,但存在不严谨和值得商榷的地方。结合IEEE754标准,就C语言中浮点数内在存储格式... 浮点数是C语言中的一种数据类型,但在标准C中并没有给出其具体的描述,即数的存储格式及表示范围。部分经典的C语言程序设计教程中给出了浮点数的表示范围,但存在不严谨和值得商榷的地方。结合IEEE754标准,就C语言中浮点数内在存储格式进行分析并给出结论。 展开更多
关键词 C语言 浮点数 表示范围
在线阅读 下载PDF
基于Xilinx FPGA IP核的浮点频域脉冲压缩算法的设计与实现 预览
16
作者 邢冠培 孟凡利 《无线互联科技》 2015年第11期33-34,39共3页
脉冲压缩体制雷达的发射信号通常包括多种线性调频信号,这就要求对回波信号的脉冲压缩处理适应性要强,如果采用定点脉压,不同信噪比的回波信号脉冲压缩结果的截位各不相同,需要分别进行仿真测试,以确定截位的位置,而文章提出一种浮点频... 脉冲压缩体制雷达的发射信号通常包括多种线性调频信号,这就要求对回波信号的脉冲压缩处理适应性要强,如果采用定点脉压,不同信噪比的回波信号脉冲压缩结果的截位各不相同,需要分别进行仿真测试,以确定截位的位置,而文章提出一种浮点频域脉压的算法及实现,基于Xilinx FPGA IP核,无需考虑截位,对各种信号适应性强,方便易用。 展开更多
关键词 IP核 脉冲压缩 浮点 频域
在线阅读 下载PDF
针灸治疗哮喘临床选穴规律研究 被引量:9
17
作者 田伟 杨楠 杨涛 《河南中医》 2015年第1期158-159,共2页
目的:探讨临床针灸治疗哮喘的选穴规律。方法:检索CNKI和VIP数据库,检索词为"哮喘"分别与"针灸""针刺""艾灸""电针""腹针""眼针""三棱针""芒针""皮肤针""皮内针""耳穴或耳针""头针""腕踝针""浮针""火... 目的:探讨临床针灸治疗哮喘的选穴规律。方法:检索CNKI和VIP数据库,检索词为"哮喘"分别与"针灸""针刺""艾灸""电针""腹针""眼针""三棱针""芒针""皮肤针""皮内针""耳穴或耳针""头针""腕踝针""浮针""火针""敷贴""埋线""腧穴注射或水针""磁疗""拔罐""刮痧"等针灸方法进行组合检索。结果:针灸治疗哮喘应用频次最多的为膀胱经穴位,以五脏俞穴为主,其中肺俞、肾俞、脾俞应用频次较多。结论:目前临床上针灸治疗哮喘所选取的穴位以肺俞、定喘、大椎最为常见,经络主要集中在膀胱经、任脉和经外奇穴上。 展开更多
关键词 哮喘 针灸治疗 艾灸 电针 腹针 眼针 三棱针 芒针 皮肤针 皮内针 耳穴 耳针 头针 腕踝针 浮针 火针 敷贴埋线 腧穴注射 水针 磁疗 拔罐 刮痧
基于Xilinx FPGA IP核的浮点频域脉冲压缩算法的设计与实现 预览 被引量:2
18
作者 邢冠培 孟凡利 《电子测试》 2015年第8期28-30,16共4页
脉冲压缩体制雷达的发射信号通常包括多种线性调频信号,这就要求对回波信号的脉冲压缩处理适应性要强,如果采用定点脉压,不同信噪比的回波信号脉冲压缩结果的截位各不相同,需要分别进行仿真测试,以确定截位的位置,而本文提出一种... 脉冲压缩体制雷达的发射信号通常包括多种线性调频信号,这就要求对回波信号的脉冲压缩处理适应性要强,如果采用定点脉压,不同信噪比的回波信号脉冲压缩结果的截位各不相同,需要分别进行仿真测试,以确定截位的位置,而本文提出一种浮点频域脉压的算法及实现,基于xilinx FPGA IP核,无需考虑截位,对各种信号适应性强,方便易用。 展开更多
关键词 IP核:脉冲压缩 浮点 频域
在线阅读 下载PDF
Noise degradation system using Wiener filter and CORDIC based FFT/IFFT processor 预览 被引量:1
19
作者 Yasodai A Ramprasad A V 《中南大学学报:英文版》 SCIE EI CAS CSCD 2015年第10期3849-3859,共11页
On augmentation of past work, an effective Wiener filter and its application for noise suppression combined with a formed CORDIC based FFT/IFFT processor with improved speed were executed. The pipelined methodology wa... On augmentation of past work, an effective Wiener filter and its application for noise suppression combined with a formed CORDIC based FFT/IFFT processor with improved speed were executed. The pipelined methodology was embraced for expanding the execution of the system. The proposed Wiener filter was planned in such an approach to evacuate the iteration issues in ordinary Wiener filter. The division process was supplanted by a productive inverse and multiplication process in the proposed design. An enhanced design for matrix inverse with reduced computation complexity was executed. The wide-ranging framework processing was focused around IEEE-754 standard single precision floating point numbers. The Wiener filter and the entire system design was integrated and actualized on VIRTEX 5 FPGA stage and re-enacted to approve the results in Xilinx ISE 13.4. The results show that a productive decrease in power and area is developed by adjusting the proposed technique for speech signal noise degradation with latency of n/2 clock cycles and substantial throughput result per every 12 clock cycles for n-bit precision. The execution of proposed design is exposed to be 31.35% more effective than that of prevailing strategies. 展开更多
关键词 CORDIC算法 维纳滤波器 FFT处理器 退化系统 噪声抑制 VIRTEX Xilinx 生产过程
在线阅读 免费下载
基于补偿的浮点八边形抽象域
20
作者 王瑞 吴世堂 +1 位作者 李宁 李战怀 《华中科技大学学报:自然科学版》 EI CAS CSCD 北大核心 2015年第6期76-80,共5页
为了解决抽象解释理论对浮点程序分析中的主要困难存在于构造复杂抽象域时采用实数而受限于高代价的计算量问题,针对八边形抽象域上实数运算提出了基于IEEE754的带补偿量的机器浮点表示及其运算算法,减少了浮点运算的复杂性;同时,将传... 为了解决抽象解释理论对浮点程序分析中的主要困难存在于构造复杂抽象域时采用实数而受限于高代价的计算量问题,针对八边形抽象域上实数运算提出了基于IEEE754的带补偿量的机器浮点表示及其运算算法,减少了浮点运算的复杂性;同时,将传统八边形抽象域扩展为可靠的浮点八边形抽象域,能够在分析的效率和精度之间取得合理的权衡.实验结果表明:用带补偿的浮点替代实数能够极大地提高八边形抽象域的效率,并且保证了分析的可靠性. 展开更多
关键词 静态分析 浮点数 八边形抽象域 抽象解释 补偿量
上一页 1 2 31 下一页 到第
使用帮助 返回顶部 意见反馈