NURBS曲线插补的离散比例积分器速度规划算法

传统NURBS(Non-uniform rational B-spline,NURBS)曲线插补算法忽略了弧长与曲线的参数关系,造成无法在线对速度进行实时调节,针对这个问题,该文提出一种NURBS曲线插补的离散比例积分器速度规划算法.该方法分2个步骤实现速度规划:①使用数值方法计算NURBS曲线弧长及给定速度的运行时间;二、使用具有加减速的对称性和信号转换功能的离散比例积分器,完成对NURBS曲线插补的在线速度规划.在离散比例积分器的速度规划方法中,起始段、结束段的轨迹速度能够得到实时控制,系统以不超过机床要求的加速度运行.实验结果表明,该文速度规划算法能有效地满足系统约束,保证机床平稳运行.另外,相较于其他算法,该文算法在插补精度、插补实时性及速度波动率性能方面优于现有方法,说明该文方法的有效性和先进性.     

基于模式识别的Lebesgue积分在PVS中的形式化证明与分析

针对传统模型验证方法存在效率低和模型较为复杂的缺点,将Lebesgue积分的运算特征引入模型验证和测试,提出一种基于Lebesgue积分的形式化验证和测试方法。通过不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则以及极限定理等方面的形式化,实现Lebesgue积分的运算特征在PVS(Prototype Verification System)定理证明器中的形式化。以标准反相积分器为应用模型验证数学理论和公式推导的正确性,通过数理分析验证Lebesgue积分形式化定理库在计算机信息安全领域应用的正确性。测试结果证明了Lebesgue积分在PVS中进行形式化的可行性和有效性。     

用Velocity Verlet积分器改进HMC抽样方法

Hamilton Monte Carlo (HMC) 方法是一种常用的快速抽样方法. 在对哈密尔顿方程进行抽样时,HMC方法使用Leapfrog积分器,这可能造成方程的位置和动量的迭代值在时间上不同步,产生的误差会降低抽样效率及抽样结果的稳定性. 为此,本文提出了IHMC（Improved HMC）方法,该方法用Velocity Verlet积分器代替Leapfrog积分器,在每次迭代时都计算两变量在同一时刻的值. 为验证方法的效果,本文进行了两个数值实验,一个是将方法应用于非对称随机波动率模型（RASV模型）的参数估计,另一个是将方法应用于方差伽马分布的抽样. 结果显示,IHMC方法比HMC方法的效率更高,结果更稳定.     

一类具有状态时滞的时离散多智能体系统可控性研究

本文针对一类舍有状态时滞的双积分器模型的时离散多智能体系统，在两种通信协议条件下，研究了它的可控性问题。我们应用化时滞系统为其等价的无时滞的增广系统的方法，获得了由跟随者构成的系统在多个领航者的控制下，系统可控的一些充分条件。在这些条件下，系统可以完成预期的编队控制或速度控制。     

开关型RC积分带通滤波器

用多路开关积分电路实现的带通滤波器，其中心频率为２０ＫＨｚ，带宽为６Ｈｚ以下     

由V／F转换器和单片机系统构成的数字库仑计

采用集成Ｖ／Ｆ转换器件ＬＭ３３１和ＭＣＳ－５１单片微型计算机系统设计构成简单、精密的数字积分器，通过Ｖ／Ｆ转换斜率调节成为直读式库仑计，用以在基础物理化学实验测定电量，收到满意的效果．     

不确定高维非线性系统的鲁棒H∞控制

对含有未知参数和干扰的不确定高维非线性系统,运用本质改进的加幂积分器技巧及backstepping逆归设计方法,根据问题可解的充分条件以及可解时控制器的构造性算法,设计出一种鲁棒自适应控制器,实现闭环系统的鲁棒H_∞几乎干扰解耦。     

基于平衡运放的电压模多相位正弦振荡器

为了获得高精度、高稳定性、易集成的电压模式多相位正弦振荡器,以平衡运放及其同相和反相积分器为基础,给出多相位正弦振荡器.该电路能输出2组N(N为奇,亦可为偶)个等幅度、等相位分布的正弦输出,无源灵敏度低;振荡幅度与振荡频率可独立调节;所有电容接地,适宜集成.计算机仿真结果与理论分析一致.     

流水式双积分器电流检测方法

为解决传统电流检测输出结果受积分常数RC限制的问题,提出了一种应用于智能电池管理芯片中的流水式双积分器电流检测方法。采用中芯国际0.18μm标准CMOS工艺,应用Spectre和Spectre Verilog等软件对相关模块进行仿真验证。在参考电压为0.3V和敏感电阻30mΩ的条件下,最终检测电流可达0.04～10A。两级流水电流工作方式的选用,使检测速度比传统方法提高了一倍。结果表明,该方法输出结果不依赖于RC,检测速度快、精度高,可以对电流进行实时检测。