反相积分器脉宽调制及其解调

介绍了反相积分器的主要用途 ,论证了反相积分器是用作脉宽测量。

反相积分器实验方法的改进

本文通过对反相积分器实验方法的改进，介绍一种同步测量时间与电压的装置。改进后的方法比一般的测量方法精度高，且设备简单、测量方便。

关于在单极非反相设计中采用“Deboo”积分器的研究

在可以采用双极电源的场合,标准反相积分器的设计是比较简单的.然而在采用单极电源时就较为麻烦了.为了给输出留有适当的峰值储备空间,电路必须加有对地的偏压(通常为电源电压的一半).由于输入和输出均不以地为基准电位,使得设计变得别扭且不实用.

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

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

Lebesgue积分在PVS中的证明分析

为了有效解决函数系统建模、信号实时分析等数理支持领域验证与测试的定理证明形式化问题,设计并实现了利用Lebesgue积分的运算特征在PVS定理证明器中进行形式化证明与分析.主要对其分裂定理、不等式计算、闭区间子集可积分性、多重分部、线性运算、Cauchy可积分准则和极限定理等多个方面进行了形式化,且依据数学定理与推论形式化,说明Lebesgue积分在PVS中的形式化是可行的、有效的.以标准反相积分器为应用模型,对其通用电路原理与机制进行了形式化证明,通过数理分析测试了本文Lebesgue积分形式化定理库的正确性.

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

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