DDoop:基于差分式Datalog求解的增量指针分析框架 被引量：1

1

作者 沈天琪 王熙灶 +1 位作者 宾向荣 卜磊 《软件学报》 EI CSCD 北大核心 2024年第6期2608-2630,共23页

指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序... 指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一种在代码频繁变更场景下有效复用已有分析结果提升分析效率的技术受到了越来越多的关注.然而,目前的增量指针分析技术通常针对特定算法设计,支持的指针分析选项有限,其可用性也受到较大限制.针对上述问题,设计并实现一种基于差分式Datalog求解的增量指针分析框架DDoop(Differential Doop).DDoop实现增量输入事实生成技术与增量分析规则自动化重写技术,将多版本程序增量分析问题表达为差分Datalog评估问题,从而可以充分利用成熟的差分式Datalog求解引擎,如DDlog,来实现端到端的增量指针分析,并最大化兼容复用Doop中已有的指针分析实现,提供透明的增量化支持.在广泛应用的真实世界程序上对DDoop进行实验评估,实验结果显示DDoop相较于非增量的Doop框架具有显著的性能优势,同时高度兼容Doop中已有的各种指针分析规则. 展开更多

关键词 指针分析 增量分析 datalog引擎 增量计算 差分式datalog

在线阅读 下载PDF 职称材料

基于谐波注入法的差分式非接触电压测量 被引量：1

2

作者 张耀 叶永杰 +1 位作者 李昊 熊思宇 《科学技术与工程》 北大核心 2024年第1期245-251,共7页

当前基于电容耦合的传感器尚无有效、便捷的耦合电容动态校准方法,影响测量精度。因此,提出了基于谐波注入的差分式非接触电压测量方法,首先,利用感应探头与跨阻运算放大器将基频信号引入测量系统;其次,通过屏蔽罩,减小外界杂散电容变... 当前基于电容耦合的传感器尚无有效、便捷的耦合电容动态校准方法,影响测量精度。因此,提出了基于谐波注入的差分式非接触电压测量方法,首先,利用感应探头与跨阻运算放大器将基频信号引入测量系统;其次,通过屏蔽罩,减小外界杂散电容变化带来的干扰,改进探头并引入差分式电路结构,消除运放输入电容的影响;再次,对测量电路注入谐波,并利用离散傅里叶变换(discrete Fourier transformation,DFT)实现对响应信号中基波信号与谐波信号的提取,通过计算谐波源与谐波响应信号的比值,求解出耦合电容参数,实现其动态校准;最后,将校准的电容参数代入基波方程,实现基波电压信号的测量。通过仿真结果表明,所提的测量方法可在10 kV的应用场景中满足对变化的耦合电容校正要求,且最大的电压测量误差小于0.4%。 展开更多

关键词 非接触测量 谐波注入 差分式 分布电容 电压传感器

在线阅读 下载PDF 职称材料

基于MCCⅡ的差分式电流模式连续时间滤波器 被引量：13

3

作者 郭静波 王赞基 +1 位作者 戴逸松 韩庆全 《通信学报》 EI CSCD 北大核心 1997年第6期59-63,共5页

提出了一种改进的多输出第二代电流传输器（ＭＣＣⅡ）的ＣＭＯＳ实现电路，应用该电路构成了一种新颖的差分式电流模式积分器。将提出的积分器方案及相应的ＣＭＯＳ实现电路应用于差分式电流模式连续时间滤波器。针对所提出的电路，完... 提出了一种改进的多输出第二代电流传输器（ＭＣＣⅡ）的ＣＭＯＳ实现电路，应用该电路构成了一种新颖的差分式电流模式积分器。将提出的积分器方案及相应的ＣＭＯＳ实现电路应用于差分式电流模式连续时间滤波器。针对所提出的电路，完成了ＳＰＩＣＥ仿真。 展开更多

关键词 连续时间 电流模式 差分式 滤波器

在线阅读 下载PDF 职称材料

EAST-NBI用差分式低温冷凝泵的设计 被引量：7

4

作者 崔伟 胡纯栋 +2 位作者 谢远来 陶玲 刘志伟 《真空科学与技术学报》 EI CAS CSCD 北大核心 2013年第5期458-461,共4页

为了维持EAST-NBI内的真空环境以满足中性束生成与传输过程对真空压力分布的要求,设计了EAST-NBI用差分式低温冷凝泵。本文概述了中性束注入加热的原理以及EAST-NBI真空系统的组成,详细阐述了EAST-NBI用差分式低温冷凝泵的结构设计,抽... 为了维持EAST-NBI内的真空环境以满足中性束生成与传输过程对真空压力分布的要求,设计了EAST-NBI用差分式低温冷凝泵。本文概述了中性束注入加热的原理以及EAST-NBI真空系统的组成,详细阐述了EAST-NBI用差分式低温冷凝泵的结构设计,抽速和冷凝面积的确定,液氦系统和液氮系统热负荷的计算等关键问题。该差分式低温冷凝泵通过在EAST-NBI综合测试台上进行大量实验验证,完全满足EAST-NBI对真空系统的要求。 展开更多

关键词 中性束注入加热 差分式低温冷凝泵 冷凝面积 热负荷

在线阅读 下载PDF 职称材料

差分式CMOS连续时间电流模式滤波器 被引量：7

5

作者 郭静波 韩庆全 戴逸松 《电子学报》 EI CAS CSCD 北大核心 1997年第5期89-91,共3页

提出了基于电流镜电路的差分式连续时间电流模式积分器，井用此积分器构成了全差分式连续时间电流模式低通及带通滤波器；分析并模拟了所提出的积分器及滤波器的特性，结果表明所提出的电路具有结构简单、对称性好、失真小等优点，适于... 提出了基于电流镜电路的差分式连续时间电流模式积分器，井用此积分器构成了全差分式连续时间电流模式低通及带通滤波器；分析并模拟了所提出的积分器及滤波器的特性，结果表明所提出的电路具有结构简单、对称性好、失真小等优点，适于全集成． 展开更多

关键词 差分式 积分器 连续时间滤波器 电流模式 滤波器

在线阅读 下载PDF 职称材料

一种提高差分式光学电流互感器磁场抗扰度的新方法 被引量：7

6

作者 李深旺 张国庆 +2 位作者 于文斌 郭志忠 申岩 《中国电机工程学报》 EI CSCD 北大核心 2013年第36期157-163,22,共7页

针对差分式光学电流互感器抗外磁场干扰能力差的问题,提出一种提高其磁场抗扰度的新方法。建立差分式光学电流互感器的磁场抗扰度数学模型,研究不同布置方式下差分式光学电流互感器的磁场抗扰度特性。研究表明,传统布置方式下差分式光... 针对差分式光学电流互感器抗外磁场干扰能力差的问题,提出一种提高其磁场抗扰度的新方法。建立差分式光学电流互感器的磁场抗扰度数学模型,研究不同布置方式下差分式光学电流互感器的磁场抗扰度特性。研究表明,传统布置方式下差分式光学电流互感器的磁场抗扰度小,是导致其抗外磁场干扰能力差的根本原因。研究发现,差分式光学电流互感器总存在4个磁场抗扰度无穷大的环外P点,据此提出一种最佳方位角优化方案,并给出最佳方位角的计算方法。试验结果表明,差分式光学电流互感器采用最佳方位角优化方案时,相间干扰引起的误差小于0.08%,与传统布置方式相比减少一半。试验结果证明了最佳方位角优化方案的正确性与实用性。 展开更多

关键词 直通光路 差分式光学电流互感器 磁场抗扰度 相间磁干扰 最佳方位角

在线阅读 下载PDF 职称材料

差分式科氏流量计测量原理和零点不稳定及补偿分析 被引量：10

7

作者 陈鹏 涂亚庆 +3 位作者 杨辉跃 陈竹 罗毅 朱超 《传感器与微系统》 CSCD 2017年第1期61-63,70,共4页

针对差分式科氏流量计零点不稳定的问题,通过对一次仪表进行建模,分析其测量原理,分析了造成零点不稳定的原因。根据理论分析及实际调试经验,提出了零点补偿措施建议,有利于提升零点稳定性,减少测量误差,提高测量精度。

关键词 差分式科氏流量计 测量原理 零点不稳定

在线阅读 下载PDF 职称材料

差分式伸缩仪 被引量：5

8

作者 吕宠吾 杨江 《大地测量与地球动力学》 CSCD 北大核心 2009年第3期145-147,151,共4页

介绍差分式伸缩仪的基本原理、结构以及实验成果。实验结果表明,差分式伸缩仪对震动、电源波动等有较强的抗共模干扰能力。

关键词 伸缩仪 应变 差分式 抗干扰 试验

在线阅读 下载PDF 职称材料

基于微粒群区域搜索和小波评价的差分式自动聚焦 被引量：7

9

作者 吕恒毅 刘杨 薛旭成 《中国光学》 EI CAS 2011年第3期283-292,共10页

为进一步提高图像法自动聚焦的性能,提出了一种差分式提取图像边缘的方法,并构造了图像清晰度的小波评价函数,同时利用微粒群(PSO)算法对聚焦区域进行快速搜索。首先,介绍了差分式边缘提取方法及其优势,给出了一种评价区域的选取判据以... 为进一步提高图像法自动聚焦的性能,提出了一种差分式提取图像边缘的方法,并构造了图像清晰度的小波评价函数,同时利用微粒群(PSO)算法对聚焦区域进行快速搜索。首先,介绍了差分式边缘提取方法及其优势,给出了一种评价区域的选取判据以及基于PSO的高效搜索方法;然后,对小波评价函数参数进行了比较分析和优选;最后,与传统方法进行了对比实验。结果表明,由于采用了差分式提取方法以及新的自适应聚焦窗口和评价函数,聚焦曲线较传统方法具有更高的调焦分辨率,PSO算法的使用使聚焦速度提高了约170 ms,聚焦精度约为2.3μm,同时调焦效果不受初始位置的影响。 展开更多

关键词 自动聚焦 差分式边缘提取 聚焦区域选择 微粒群(PSO)算法 清晰度评价函数 小波变换

在线阅读 下载PDF 职称材料

集成差分式PH-ISFET的研究 被引量：1

10

作者 邵丙铣 张永夏 +1 位作者 邵红霖 金曼娜 《仪器仪表学报》 EI CAS CSCD 北大核心 1989年第3期225-228,共4页

本文扼要地叙述了集成差分式氢离子敏感器的原理、制备和特性。由于具有温度补偿作用的M OSFET 与ISFET 集成在同一芯片上,显著地降低了共模噪声和温度的影响,并保持了良好的灵敏度、线性和选择性等性能指标。

关键词 差分式 离子敏感器 氢 ISFET 集成

在线阅读 下载PDF 职称材料

集中差分式GPS车辆监控系统的研究 被引量：1

11

作者 罗批 姜丁 +7 位作者 杨生辉 董宏国 朱先民 王明国 王克才 齐志鹏 张戎罡 郑慕侨 《系统工程与电子技术》 EI CSCD 2000年第1期85-87,共3页

设计并建成了集中差分式ＧＰＳ（ＧｌｏｂａｌＰｏｓｉｔｉｏｎｉｎｇ Ｓｙｓｔｅｍ ）车辆监控系统，研究并实现了应用在ＧＰＳ位置差分和车辆定位中的集中差方算法和卡尔曼（Ｋａｌｍ ａｎ）滤波，完成了系统的单点静态定位试验和实... 设计并建成了集中差分式ＧＰＳ（ＧｌｏｂａｌＰｏｓｉｔｉｏｎｉｎｇ Ｓｙｓｔｅｍ ）车辆监控系统，研究并实现了应用在ＧＰＳ位置差分和车辆定位中的集中差方算法和卡尔曼（Ｋａｌｍ ａｎ）滤波，完成了系统的单点静态定位试验和实车试验。试验结果表明，该系统与其它ＧＰＳ差分定位系统相比，所用硬件设备较少，具有较高的性能价格比和较强的灵活性，其定位精度能够满足一般车辆监控系统的要求，具有广阔的应用前景。 展开更多

关键词 全球定位系统 集中差分式 车辆监控系统

在线阅读 下载PDF 职称材料

用改进的差分式Hopfield网络实现线性二次型最优控制 被引量：1

12

作者 李明爱 乔俊飞 阮晓钢 《控制理论与应用》 EI CAS CSCD 北大核心 2005年第5期837-842,共6页

为解决差分式Hopfield网络能量函数的局部极小问题,本文对之改进得到一种具有迭代学习功能的线性差分式Hopfield网络.理论分析表明,该网络具有稳定性,且稳定状态使其能量函数达到唯一极小值.基于线性差分式Hopfield网络稳定性与其能量... 为解决差分式Hopfield网络能量函数的局部极小问题,本文对之改进得到一种具有迭代学习功能的线性差分式Hopfield网络.理论分析表明,该网络具有稳定性,且稳定状态使其能量函数达到唯一极小值.基于线性差分式Hopfield网络稳定性与其能量函数收敛特性的关系,本文将该网络用于求解多变量时变系统的线性二次型最优控制问题.网络的理论设计方法表明,网络的稳态输出就是欲求的最优控制向量.数字仿真取得了与理论分析一致的实验结果. 展开更多

关键词 多变量时变系统 线性二次型最优控制问题 动态优化 差分式Hopfield网络

在线阅读 下载PDF 职称材料

基于两电平差分式直接AC/AC变换的斩波可控阻抗器 被引量：1

13

作者 刘闯 靳新苗 +6 位作者 郭东波 蔡国伟 朱炳达 陈皓楠 杜天鹏 王艺博 裴忠晨 《中国电机工程学报》 EI CSCD 北大核心 2022年第1期320-328,共9页

为提高传统晶闸管控制阻抗型补偿器的响应速度,解决脉宽调制(pulse width modulation,PWM)斩波可控阻抗器(chopper controlled impedance,CCI)所存在的换流问题,提出一种基于两电平差分式直接AC/AC变换的串/并联型CCI拓扑结构,它由斩波... 为提高传统晶闸管控制阻抗型补偿器的响应速度,解决脉宽调制(pulse width modulation,PWM)斩波可控阻抗器(chopper controlled impedance,CCI)所存在的换流问题,提出一种基于两电平差分式直接AC/AC变换的串/并联型CCI拓扑结构,它由斩波可控电容器和电抗器构成。文中以串联型斩波可控阻抗器(series-type CCI,S-CCI)为例详细分析其拓扑结构和工作模态,通过采用PWM调制策略,实现S-CCI基频等效阻抗从感性模式到容性模式的连续变化,并建立S-CCI的数学模型,推导其基频等效阻抗和调制比之间的关系式。最后,搭建Matlab仿真电路和700W的实验样机,验证理论分析的正确性。 展开更多

关键词 斩波可控阻抗器 直接式AC/AC变换 两电平差分式 脉宽调制 等效阻抗

在线阅读 下载PDF 职称材料

差分式电流模式CMOS OTA-C双二阶滤波器

14

作者 郭静波 王赞基 +1 位作者 戴逸松 韩庆全 《通信学报》 EI CSCD 北大核心 1997年第8期54-57,共4页

应用信号流图法，提出了一种新颖的差分式连续时间电流模式ＣＭＯＳ跨导—电容双二阶滤波器，该滤波器仅使用最少量的差分式ＯＴＡ和电容并且能有效地消除偶次谐波失真、具有较低的特征参数灵敏度等优点；面向实际电路完成了ＭＯＳ管级... 应用信号流图法，提出了一种新颖的差分式连续时间电流模式ＣＭＯＳ跨导—电容双二阶滤波器，该滤波器仅使用最少量的差分式ＯＴＡ和电容并且能有效地消除偶次谐波失真、具有较低的特征参数灵敏度等优点；面向实际电路完成了ＭＯＳ管级的计算机仿真，仿真结果表明所提出的电路方案正确有效，适于全集成。 展开更多

关键词 差分式 电流模式 连续时间 有源滤波器

在线阅读 下载PDF 职称材料

基于MOCCⅡ差分式跳耦结构电流模式滤波器

15

作者 王春华 沈光地 《北京工业大学学报》 CAS CSCD 北大核心 2005年第6期570-573,共4页

为了更有效地抑制偶次谐波及共模干扰信号,提出了基于MOCCⅡ的高阶差分式跳耦结构电流模式滤波器电路及设计方法．对提出的电路进行了截止频率为1MHz的四阶巴特沃斯滤波器的计算机PSPICE仿真．该电路对偶次谐波及共模干扰信号有较好的... 为了更有效地抑制偶次谐波及共模干扰信号,提出了基于MOCCⅡ的高阶差分式跳耦结构电流模式滤波器电路及设计方法．对提出的电路进行了截止频率为1MHz的四阶巴特沃斯滤波器的计算机PSPICE仿真．该电路对偶次谐波及共模干扰信号有较好的抑制作用,且保留了无源梯形网络灵敏度低的特点． 展开更多

关键词 滤波器 差分式 MOCCⅡ

在线阅读 下载PDF 职称材料

基于相关法的差分式科氏流量计幅值检测算法

16

作者 陈鹏 涂亚庆 +3 位作者 沈艳林 温贤培 玄波 陈飞 《科学技术与工程》 北大核心 2017年第13期20-23,共4页

为提高差分式科氏流量计幅值检测的精度,提出了基于相关法的幅值检测算法。首先构造两路与采样信号同频的参考信号,然后分别与采样信号进行互相关得到互相关信号,估计出采样信号的初相位,最后检测出采样信号的幅值。理论分析表明:该方... 为提高差分式科氏流量计幅值检测的精度,提出了基于相关法的幅值检测算法。首先构造两路与采样信号同频的参考信号,然后分别与采样信号进行互相关得到互相关信号,估计出采样信号的初相位,最后检测出采样信号的幅值。理论分析表明:该方法不受信号非整周期采样的影响。仿真实验结果表明:该方法提高了检测精度,在信噪比45d B时,测量相对误差低于0.25%。 展开更多

关键词 差分式科氏流量计 幅值检测 相关法 非整周期采样

在线阅读 下载PDF 职称材料

β分式α稳定过程的1/H变差

17

作者 李楚进 《应用数学》 CSCD 北大核心 2006年第3期469-472,共4页

本文主要讨论了β分式α稳定过程的1/H变差,这对关于β分式α稳定过程的随机分析是非常重要的.

关键词 分式BROWN运动 分式稳定过程 1/H变差

在线阅读 下载PDF 职称材料

差分式MEMS面内加速度计设计 被引量：5

18

作者 董胜飞 石云波 +2 位作者 周智君 李策 李祥 《传感技术学报》 CAS CSCD 北大核心 2014年第7期893-897,共5页

设计了一种新型差分式大量程MEMS加速度计,实现了面内大过载信号的测试。首先利用MATLAB软件结合理论原理,设计了具体的结构参数,利用ANSYS有限元分析软件验证了结构设计的合理性。将本差分式MEMS面内加速度计结构用于集成三轴传感器,3... 设计了一种新型差分式大量程MEMS加速度计,实现了面内大过载信号的测试。首先利用MATLAB软件结合理论原理,设计了具体的结构参数,利用ANSYS有限元分析软件验证了结构设计的合理性。将本差分式MEMS面内加速度计结构用于集成三轴传感器,3个敏感质量块可以分别感应3个方向的加速度而不会相互影响,可以有效解决传感器体积大以及轴间交叉干扰的难题。 展开更多

关键词 差分式 面内加速度计 高量程

在线阅读 下载PDF 职称材料

差分式自阻尼位移传感器传感特性研究 被引量：8

19

作者 曾涛 王大伟 +2 位作者 谭久彬 张钟华 曹观标 《仪器仪表学报》 EI CAS CSCD 北大核心 2020年第2期18-24,共7页

"能量天平法"是一种基于机械电磁能量平衡的普朗克常数测量方法,该方法因存在一项由线圈特征矢量的非对准状态引起的"特征矢量对准能量误差",其普朗克常数测量不确定度难以降低至1×10-8。为实现对准能量误差... "能量天平法"是一种基于机械电磁能量平衡的普朗克常数测量方法,该方法因存在一项由线圈特征矢量的非对准状态引起的"特征矢量对准能量误差",其普朗克常数测量不确定度难以降低至1×10-8。为实现对准能量误差的精确补偿,针对能量天平线圈垂向运动过程中的残留水平位移的精确测量问题,提出一种基于电磁自阻尼直接垂向测量参考的差分线面式位移传感测量方法。为避免间接测量参考的调整过程引入系统误差进而导致测量精度降低,线面式位移传感器利用细丝电极作为直接垂向测量参考;设计差分式三电极电容结构用于抑制单端电容非线性特性;将另两个电极的表面形状设计为相互正对的外圆柱面,利用圆柱面在横截面内的几何形状各向同性抵消姿态倾斜对测量结果的影响,提高传感器对复杂测量条件的适应能力;采用电磁阻尼器稳定细丝电极,保证测量结果的准确性。实验结果表明,在正常工作量程范围内,差分式自阻尼位移传感器的合成扩展不确定度约为2.81μm。 展开更多

关键词 差分式位移传感器 水平位移检测 直接垂向参考 电磁自阻尼

在线阅读 下载PDF 职称材料

全球定位系统和差分式全球定位系统

20

作者 李振五 《海洋地质动态》 1991年第11期3-5,共3页

全球定位系统的卫星星座可望在1993年布置完毕。利用C/A码时,静态定位精度和动态定位精度约为±10m,采用差分法定位时,动态定位精度可达±1.1-1.4m。

关键词 全球定位系统 差分式全球定位系统 静态定位精度 动态定位精度

在线阅读 下载PDF 职称材料