Exponential lower bounds for depth three Boolean circuits

We consider the class of unbounded fan-in depth three Boolean circuits, for which the bottom fan-in is limited by k and the top gate is an OR. It is known that the smallest such circuit computing the parity function has gates (for k = O(n ^1/2)) for some , and this was the best lower bound known for explicit (P-time computable) functions. In this paper, for k = 2, we exhibit functions in uniform NC ¹ that require size depth 3 circuits. The main tool is a theorem that shows that any circuit on n variables that accepts a inputs and has size s must be constant on a projection (subset defined by equations of the form x _i = 0, x _i = 1, x _i = x _j or x _i = ) of dimension at least log(a/s)log n. Received: April 1, 1997.     

基于瞬时无功理论的并联型有源滤波器恒功率控制

针对有源滤波器谐波电流检测的复杂性以及响应延迟,根据瞬时功率理论,提出了并联型有源滤波器恒功率控制策略。该控制策略通过实现逆变器有功功率和无功功率的解耦,分离出待补偿的功率分量,采用空间矢量调制算法,实现系统的恒功率控制。通过Matlab/Simulink进行仿真验证,结果显示该策略可以有效抑制系统交流侧谐波电流,补偿无功功率,输出稳定的有功功率,改善系统稳态性能,证明了该策略的正确性和有效性。     

A class of hybrid collocation methods for third-order ordinary differential equations

A class of numerical methods is proposed for solving general third-order ordinary differential equations directly by collocation at the grid points x = x _n+j , i = 0(1)k and at an off grid point x = x _n+u , where k is the step number of the method and u is an arbitrary rational number in (x _n , x _n+k ). A predictor of order 2k ? 1 is also proposed to cater for y _n+k in the main method. Taylor series expansion is employed for the calculation of y _n+1, y _n+2, y _n+u and their higher derivatives. Evaluation of the resulting method at x = x _n+k for any value of u in the specified open interval yields a particular discrete scheme as a special case of the method. The efficiency of the method is tested on some general initial value problems of third-order ordinary differential equations.     

神经模糊PID控制算法在恒压供水系统中的应用

针对恒压供水系统的大迟滞、非线性特点,提出了神经模糊PID控制算法,利用被控量偏差及偏差的变化,在线调整PID参数.通过仿真分析得出,神经模糊PID控制算法的效果较之传统PID控制和模糊PID控制具有更低的超调和更快的反应速度.     

具时滞及分段常数变量苍蝇模型的Flip分支

研究了一类具有时滞及分段常数变量苍蝇模型的Flip分支.利用差分方程的特征值理论和Jury判据,给出了该模型局部稳定的充要条件.依据分支理论,讨论了Flip分支的存在性条件.基于规范化理论及中心流形定理,研究了分支的方向及其稳定性.通过举例与数值模拟验证了所得条件与结论的正确性与可实现性.     

CCTO掺杂对BaTiO3-Nb2O5-Co3O4陶瓷系统介电性能的影响

以BaTiO3-Nb2O5-Co3O4(BTNC)系统陶瓷为研究对象,研究了掺杂CaCu3Ti4O12(CCTO)对该系统陶瓷介电性能的影响.结果表明,在20～85℃温度范围内,BT系统中CC-TO掺杂量为3.0%时,体系平均介电常数>2 600,温度稳定性△C/C≤4.7%;在20～125℃温度范围内,BTNC系统中CCTO掺杂量为2.0%时,体系的平均介电常数>2 700,温度稳定性△C/C≤10%;CCTO掺杂量为4.0%时,平均介电常数>2 200,温度稳定性△C/C≤4.7%.     

边界不同恒温时功能梯度板平面稳态温度场

假设热导率沿功能梯度板高呈指数函数形式分布,基于该板的平面稳态热传导基本方程,用分离变量法,导出边界不同恒温时该板的平面稳态温度场的级数解析解,与有限元解对比,两种方法的最大节点温度误差0.86％.通过数值计算,获得了该板的平面稳态温度场分布,研究了板的梯度参数和几何组成对温度场的影响.主要结果表明:板内的温度场分布对称于过形心的y轴;随着梯度参数值的增加,板内的高温区向左右两边界和下边界逐步扩展;随着板高的递减,板内中下部的温度分布趋于平缓.因此,可选择适合的梯度参数和几何组成来满足设计、应用和热应力分析的需要,所获得的解析解可作为检验其他近似方法的参考标准.     

液压式阻拦系统的数学建模及仿真

为了确定舰载机着舰过程中的动态变化,对美国航母上MARK7 Mod1型液压式舰载机阻拦系统开展研究,建立的阻拦系统的数学模型.利用Matlab对所建立的阻拦系统模型进行仿真分析,论述了着舰过程中阻拦系统和舰载机的动态变化,分析了液压装置和定长冲跑控制装置的在着舰过程中的作用.结果表明:利用MARK7 Mod1型阻拦系统,航母上的舰载机在一定的速度范围内着舰降落,都能够在固定的甲板长度内平稳的拦停,实现舰载机的安全着舰.     

石羊河流域井灌区管道灌溉系统优化模式研究

为了探求石羊河流域井灌区管道灌溉系统优化模式,对喷灌、滴灌、管灌等高效节水技术与变频调速技术进行配套,采用"恒压变量"研究方案对各灌溉技术间流量与压力协调进行了试验。结果表明:水泵的转速大于最低合理转速1 710 r/min时,在喷灌、滴灌、管灌3种工作条件下,水泵效率均较高,基本在高效区运行,同时也说明"恒压变量"一整套水泵调速工况点参数计算公式和计算方法正确可靠。     

基于常数模算法和自适应变模值符号Godard算法的联合盲均衡(英文)

在数字通信系统中为了克服码间干扰,常采用基于不需要使用训练序列的常数模算法的分数间隔盲均衡技术.但是该技术在对非常模信号,如高阶QAM信号,进行均衡时存在稳态均方误差大的缺陷.因此提出了一种基于常数模算法和自适应变模值符号Godard算法的联合盲均衡.新方法将常数模算法作为基础部分用来使接收信号的眼图睁开;将自适应变模值符号Godard算法作为第二部分用来进一步减少算法的残留误差.通过计算机仿真验证了新方法比基于常数模算法的分数间隔盲均衡具有更低的稳态均方误差.