直升机尾桨试验台拖动与计算机监控系统的应用

根据尾桨试验台拖动系统的特点及技术要求,采用S7-300 PLC作为中央控制器,Pll工控机作为监控计算机,SIMOVERT MD工程型变频器作为DP从站,构成了一个基于PROFIBUS-DP现场总线的控制网络.     

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.     

Using an induction prover for verifying arithmetic circuits

We show that existing theorem proving technology can be used effectively for mechanically verifying a family of arithmetic circuits. A theorem prover implementing: (i) a decision procedure for quantifier-free Presburger arithmetic with uninterpreted function symbols; (ii) conditional rewriting; and (iii) heuristics for carefully selecting induction schemes from terminating recursive function definitions; and (iv) well integrated with backtracking, can automatically verify number-theoretic properties of parameterized and generic adders, multipliers and division circuits. This is illustrated using our theorem prover Rewrite Rule Laboratory (RRL). To our knowledge, this is the first such demonstration of the capabilities of a theorem prover mechanizing induction. The above features of RRL are briefly discussed using illustrations from the verification of adder, multiplier and division circuits. Extensions to the prover likely to make it even more effective for hardware verification are discussed. Furthermore, it is believed that these results are scalable, and the proposed approach is likely to be effective for other arithmetic circuits as well.     

电网电压不平衡条件下并网逆变器的研究

采用一种具有双参数控制的结构实现并网运行和负序电流的消除,直流侧的电压控制环作为并网的基础控制,同时提取电网电压和逆变器输出电压的负序分量并加以控制,当两者相等时就可以达到消除负序电流的目的,然后对负序电压的获取以及电流的跟踪控制作了分析。最后利用Matlab/Simulink对系统进行仿真,验证了系统的可行性。     

浅谈断路器防跳回路

为防止断路器的“跳跃”现象发生,通常会采用防跳回路。当断路器出现“跳跃”时,将断路器闭锁到跳闸位置。该文对当前常用的防跳回路进行了分析。     

一种新型程控交流源上位机软件设计

介绍了一种在Delphi环境下实现程控交流源上位机监控软件的设计方法。该软件通过GPIB接口或RS232串口与多台程控电源通信,实现通信类型和输出方式选择、电参数回读、数据保存、SCPI命令测试等功能。详细介绍了通信协议、串口驱动、多线程等关键技术,并给出了部分编程示例。     

三菱A700系列变频器的设计与应用 第8讲 高速复卷机的变频通信控制

变频器被广泛应用于工业控制现场的交流传动之中。通常变频器控制由操作面板来完成,也可通过输入外部的控制信号来实现。在本项目中,变频器与PLC之间通过RS485总线通讯的方式实现了数据的交互。     

一种用于推挽式电压型逆变器的低损耗无源吸收电路

提出并实现了一种推挽式PWM电压型逆变器用无源吸收电路;设有独立的放电回路让缓冲电容器上的能量部分地回馈到直流电源中,高频放电能量不会叠加在输出电压上;缓冲电容器的电压被钳位,使得推挽电路特有的倍压不会在吸收电路上造成额外的损耗。给出吸收电路参数的设计准则和计算实例,在200VDC和30kW级的中压中功率逆变装置中发挥了推挽拓扑的优点。理论分析和实验验证了所提方法的有效性。     

Reduction of electromagnetic field coupling to microwave microstrip circuits

The signals induced by an external electromagnetic field along a microstrip line on a multilayered dielectric substrate were studied. The main target of the work is not to introduce a new technique of study but to search for suitable combinations of the structural and geometrical characteristics of the printed geometry whereby the electromagnetic interference of the external field to the circuit would be reduced. This reduction is desirable in all modern applications. The results derived prove that this object can be achieved at high frequencies and when the substrate is multilayered.     

钟控神经MOS管的改进及其在多值电路中的应用

首先对钟控神经MOS管进行研究,提出了相应的改进方法.然后采用此改进的钟控神经MOS管设计了一种新型多值触发器.与传统的触发器相比较,此多值触发器具有结构简单、速度快、功耗低等特点;而且无需改变电路结构就可实现不同基的多值触发器.PSPICE模拟证明了所设计的电路具有正确的逻辑功能.