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

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

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

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

差分式太阳敏感器在航天器上的应用

航天器普遍采用差分式太阳敏感器进行太阳矢量及太阳角的确定。针对差分太敏在航天器在轨定姿应用中存在的问题,该文对根据电池片输出电流确定太阳矢量的方法进行了严密推导,分析了光阑厚度对电池片光生电流乃至对太阳矢量确定的影响;对太敏的视场进行了详尽分析,确定了太敏的有效视场,并针对太敏无效视场设计了对杂散光进行遮挡的遮光板。通过具体的仿真算例确定了太敏的有效视场尺寸(为标称视场的96%)及遮光板尺寸,并分析了光阑对太阳矢量确定精度的影响。相关分析为太阳敏感器的工程应用提供了指导。

基于MCCⅡ的差分式电流模式连续时间滤波器

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

EAST-NBI用差分式低温冷凝泵的设计

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

差分式CMOS连续时间电流模式滤波器

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

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

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

线性霍尔元件的互补组合及其差分式应用

为改善线性霍尔元件的输出特性,提出了一种基于霍尔互补组合的差分式应用方法。在阐述霍尔差分式测量方法的原理和实际应用的基础上,分别给出了霍尔互补组合体的实现方法和实验结果。结果证明,霍尔元件的差分式应用方法具有增大输出电压幅度、抑制共模干扰和降低温度漂移的优点,有利于提高线性霍尔元件的稳定性和测量精度。

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

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

差分式伸缩仪

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

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

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

基于MC的差分式低温泵人字形挡板结构分析

差分式低温冷凝泵主要用来维持EAST-NBI内的真空环境,以满足中性束生成与传输过程对真空压力分布的要求。人字形辐射挡板吸收高温壁面的辐射热,冷却到达低温冷凝板的气体。传输几率是影响人字形辐射挡板的一个重要的参数。为了寻求最佳的人字形辐射挡板的结构参数,文中主要利用蒙特卡罗方法,模拟气体分子的运动过程,计算不同参数下人字形辐射挡板的传输几率。根据中性束注入装置的尺寸要求,确定了人字形辐射挡板的具体尺寸。这为进一步优化人字形辐射挡板提供了理论基础。

基于MOCCII差分式二阶电流模式滤波器

本文提出了基于MOCCII的差分式二阶多功能电流模式滤波器电路。该电路能同时产生二阶低通、带通、高通输出,并通过适当连接输出端能得到带阻及全通滤波输出。对提出的电路进行了计算机PSPICE仿真。该电路具有对偶次谐波及共模干扰信号具有抑制作用。最后,对MOCCII的非理想特性进行了分析,并提出了其补偿方法。

差分式连续时间CMOS OTA－C双二阶滤波器

应用信号流图法，提出了一种新颖的差分式连续时间电压模式ＣＭＯＳ跨导－电容双二阶滤波器，系统地生成了各种差分式电压模式二阶滤波器；讨论了滤波器的极点特征参数与灵敏度；面向实际电路完成了ＭＯＳ管级的计算机仿真，仿真结果表明所提出的电路方案正确有效，适于全集成。

一种差分式电容传感器读出电路及其前置放大器的设计

采用基于开关电容技术的CMOS电路,实现差分式电容微传感器的信号读出;阐述了这种电路结构的工作原理;分析了噪声特性,并提出了减小噪声的措施。分析了各晶体管尺寸对热噪声和1/f噪声的影响,并在设计时进行了折衷。采用3μmN阱CMOS工艺参数对前置放大器进行了HSPICE仿真:放大器具有68nV/Hz的输入噪声、84dB的开环增益、130dB的共模增益等优良的交、直流特性;电路还可以达到1fF的输入分辨率。

集成差分式PH-ISFET的研究

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

集中差分式GPS车辆监控系统的研究

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

0.25μm BiC MOS差分式光电转换器

设计了一款0．25μmBiCMOS差分光电转换器，包括光电转换和运算放大电路两部分。设计过程中首先采取改进电路结构、优化器件参数的措施，以实现高速宽带低功耗的设计目标；然后确定了运算放大器的版图尺寸，各运放的芯片面积均为0．45mm×0．32mm；最后对所设计的转换器进行了仿真和硬件电路实验。结果表明，所设计转换器的光电流随入射光功率增加呈指数规律增大的趋势；运放电路可采用3．0～5．0V电源供电，-3dB带宽达到76．3kHz，功耗约89mw，而传输时延只有15．4ns，因此特剐适用于高性能光纤通信系统中。

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

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

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

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