66 kV输电线路及防雷技术分析

输电线路在运行中很容易遭受雷击,造成故障停电,大大降低了供电可靠性,阐述了输电线路遭受雷击的种类,并加以分析,提出输电线防雷技术方法.     

微机通信中高压传输线对信号线的电感性干扰研究

矿用微机供电线路中通常是高压传输线，会对信号线造成很大的电磁干扰，尤其在开关开合瞬间电源上存在着高频干扰，如不采取措施，会直接影响微机的正常工作。本文根据这一特殊情况，首先建立了矿用微机设备传输线的供电模型，把多芯供电电缆中动力线对信号线的电磁干扰模式引入实际多导体传输线的供电系统中。分析了传输线对信号线的电感性干扰，并着重研究了开关吸合瞬间有尖峰脉冲作用下的电磁干扰。并对单脉冲和多脉冲的加栽模式进行了比较。结果表明，当单脉冲作用时，干扰电压会随信号线与传输线的距离不同而有变化，最大可达50V。当有脉冲群作用时，干扰会更大，最大可达500V。     

应变式扭矩仪测量信号的无线传输技术

综述了应变式旋转轴扭矩测量信号的无线传输方法,对各种无线传输方法的基本原理和供电方式进行了深入分析,并对各种方法的特点和技术性能作了详细论述。     

基于DOM的Web信息提取

当前，Web已经成为人们获取信息的主要渠道之一。然而，用于表达Web页面信息的HTML语言存在着与生俱来的缺点。HTML的“标记”只是告诉浏览器软件如何显示所定义的信息，却不包含任何语义。因此由HTML语言所表述的Web页面经过浏览器分析后只适合人们浏览，不适合作为一种数据交换的方式由机器处理。该文以文档对象模型DOM为基础，把所要提取的信息在DOM层次结构中的路径作为信息抽取的“坐标”，并以这个基本原理为基础设计了一种归纳学习算法来半自动地生成提取规则，然后根据提取规则生成Java类.生成的Java类可以作为Web数据源包装器组成的重要构件。     

稀土永磁无刷直流电动机电枢反应的分析

对永磁无刷直流电动机电枢反应的特点作用了详细分析，分析结果认为它对气隙磁通、感应电势、电磁转矩的平均值的影响可忽略不计，故为电磁设计时把空载工作点的磁通所似看作负载工作点磁通的结论提供了理论依据，并用此结论设计了样机，对其进行了空载、负载实验，实验结果和设计数据吻合较好。     

A Chip for an Implantable Neural Stimulator

This paper describes a chip for a multichannel neural stimulator for functional electrical stimulation (FES). The purpose of FES is to restore muscular control in disabled patients. The chip performs all the signal processing required in an implanted neural stimulator. The power and digital data transmission to the stimulator passes through a 5 MHz inductive link. From the signals transmitted to the stimulator, the chip is able to generate charge-balanced current pulses with a controllable length up to 256 s and an amplitude up to 2 mA, for stimulation of nerve fibers. The quiescent current consumption of the chip is approx. 650 A at supply voltages of 6–12 V, and its size is 3.9×3.5 mm². It has 4 output channels for use in a multipolar cuff electrode.     

Managing Structural Information by Higher-Order Colored Unification

Coloring terms (rippling) is a technique developed for inductive theorem proving that uses syntactic differences of terms to guide the proof search. Annotations (colors) to symbol occurrences in terms are used to maintain this information. This technique has several advantages; for example, it is highly goal oriented and involves little search. In this paper we give a general formalization of coloring terms in a higher-order setting. We introduce a simply typed calculus with color annotations and present appropriate algorithms for the general, pre-, and pattern unification problems. Our work is a formal basis to the implementation of rippling in a higher-order setting, which is required, for example, in the case of middle-out reasoning. Another application is in the construction of natural the language semantics, where the color annotations rule out linguistically invalid readings that are possible using standard higher-order unification.     

高感抗性负载驱动电路的设计改进

本文讨论了高感抗性负载驱动电路设计的新方法．为了克服传统驱动电路在设计过程中存在的缺点，笔者用串联谐振的原理，使高感抗性负载的功率因数提高，仅在１５Ｖ直流电源电压条件下，即可直接驱动高感抗大功率负载．这种驱动电路和传统驱动电路相比，具有良好的可靠性     

A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions

This paper presents a full formalization of the semantics of definite programs, in the calculus of inductive constructions. First, we describe a formalization of the proof of first-order terms unification: this proof is obtained from a similar proof dealing with quasi-terms, thus showing how to relate an inductive set with a subset defined by a predicate. Then, SLD-resolution is explicitely defined: the renaming process used in SLD-derivations is made explicit, thus introducing complications, usually overlooked, during the proofs of classical results. Last, switching and lifting lemmas and soundness and completeness theorems are formalized. For this, we present two lemmas, usually omitted, which are needed. This development also contains a formalization of basic results on operators and their fixpoints in a general setting. All the proofs of the results, presented here, have been checked with the proof assistant Coq.     

Inductive Learning with a Computational Network

This paper introduces a computational network which combines heterogeneous rule-extraction algorithms for intelligent data analysis. Combining induction programs may alleviate the possible negative effects of data set representation and individual program's influences, such as inductive bias. The application of the computational network to a diabetes data set shows that, when combining the various programs, an increase in rule set accuracy and comprehensibility are obtained.