峰值电流型PFC电路的频率与电路参数关系

峰值电流型ＰＦＣ电路的频率与电路参数关系赵修科陈炜（南京航空航天大学自动控制系，南京２１００１６）（南通纺织工学院电气工程与自动化系，南通２２６０００）功率因数校正ＰＦＣ（ＰｏｗｅｒＦａｃｔｏｒＣｏｒｅｃｔｉｏｎ）是通过一定的控制方式，使输入电流具...     

浅析配合物的颜色

本文以群论方法和分子轨道理论为基本概念，用配合物的电子吸收光谱和电荷迁移光谱解释配合物的颜色及颜色强度。     

谐波增强与频率估计的自适应方法

基于递归预测误差原理，研究了用来估计谐波中基波频率和增强谐波的方法，并由此设计了一种具有任意的窄带性能和预期形状的均匀切口的自适应谐波增强或陷波滤波器．由于算法非线性部分只涉及基波频率一个参数，使算法很易用于具有高次谐波的过程．而且由于利用了可变极点半径和忘却因子（ｆｏｒ－ｇｅｔｔｉｎｇｆａｃｔｏｒ）因而算法对谐波频率的敏感性强，收敛速度快，并能跟踪频率时变的信号．     

负指数调和映照

研究了负指数调和映照和及指数调和映照之间的关系，得到了负指数调和映照的第一变分公式，Ｂｏｈｎｅｒ型公式。     

一类带脉冲接种和脉冲剔除的SIR传染病模型的稳定性态

文章研究了一类具有脉冲接种和脉冲剔除的SIR传染病模型的动力学性态．应用Floquet定理研究了无病周期解的局部稳定性，通过脉冲微分不等式证明了其全局渐近稳定性．     

解析函数的一种简单求法

文章利用解析函数的Cauchy-Riemanne条件,给出了调和函数作为解析函数的实部或虚部时解析函数的一种简单求法.     

测量飞秒光参量产生器输出光脉冲脉宽的自相关仪的设计

设计出一台只用一块非线性晶体就能够测量宽波长范围的飞秒激光脉冲脉宽的单次脉冲自相关仪,适用于测量由光参量产生获得的可调谐飞秒激光脉冲的脉宽.     

基于ARM的电能质量监测控制器的研制

介绍了一种基于ARM的电能质量监测控制器的研制过程.该硬件主要由电压电流信号采集模块、LCD液晶显示部分、以太网接口模块GSM无线通信模块和USB移动存储模块组成.软件部分主要对电参量的算法进行了推导,给出了优化算法,操作系统选用源码公开的实时操作系统μC/OS-Ⅱ.其核心代码短小精悍,具有可移植性、可裁剪、占先式等优点,通过实时多任务操作系统对所有任务的调度管理,解决在单任务系统中难以处理的实时性差的问题,同时增强了系统工作的可靠性.对电能质量参数进行了实验测试和分析,结果表明这种设计符合电能质量监测标准.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

BP神经网络算法探讨

BP神经网络算法是在BP神经网络现有算法的基础上提出的,是通过任意选定一组权值,将给定的目标输出直接作为线性方程的代数和来建立线性方程组,解得待求权,不存在传统方法的局部极小及收敛速度慢的问题,且更易理解。