水轮机调速器现代调节技术及选型

对目前比较先进的微机调速器的两种系统结构进行了分析，并对微机调节的控制策略和调节参数的设置及系统配置等作了介绍，并提出了对凋速器技术性能的评价标准和调速器选型时的突出问题，可为实际应用提供参考。     

齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

Directional features in online handwriting recognition

The selection of valuable features is crucial in pattern recognition. In this paper we deal with the issue that part of features originate from directional instead of common linear data. Both for directional and linear data a theory for a statistical modeling exists. However, none of these theories gives an integrated solution to problems, where linear and directional variables are to be combined in a single, multivariate probability density function. We describe a general approach for a unified statistical modeling, given the constraint that variances of the circular variables are small. The method is practically evaluated in the context of our online handwriting recognition system frog on hand and the so-called tangent slope angle feature. Recognition results are compared with two alternative modeling approaches. The proposed solution gives significant improvements in recognition accuracy, computational speed and memory requirements.     

Gorillas (Gorilla gorilla) and Orangutans (Pongo pygmaeus) Encode Relevant Problem Features in a Tool-Using Task.

Two important elements in problem solving are the abilities to encode relevant task features and to combine multiple actions to achieve the goal. The authors investigated these 2 elements in a task in which gorillas (Gorilla gorilla) and orangutans (Pongo pygmaeus) had to use a tool to retrieve an out-of-reach reward. Subjects were able to select tools of an appropriate length to reach the reward even when the position of the reward and tools were not simultaneously visible. When presented with tools that were too short to retrieve the reward, subjects were more likely to refuse to use them than when tools were the appropriate length. Subjects were proficient at using tools in sequence to retrieve the reward. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

改进的第三代相干算法及应用

在讨论相干技术发展及三代相干算法优缺点的基础上，介绍了改进的第三代相干算法。应用自行开发的相干软件对多个油气勘探和开发区块的三维地震资料进行处理、分析，对相干时窗长度、相关道数等参数对算法效果的影响及相干体对断层、异常地质体的识别，以及解释方法进行了探讨。应用实例证明，改进的第三代相干算法抗干扰能力强，横向分辨率高，不仅适用于倾斜地层，而且对断层尤其对小断层、异常地质体具有较高的检测能力，是油气勘探和开发的一项有效和实用的技术。     

用VBA开发基于Excel的数据统计

Excel是广泛应用的电子数据表格程序,如在Excel中使用VBA（Visual Basic for Application）编程将有很多机会开发出有价值的应用程序,本文介绍一种基于Excel的VBA编程方法,来扩展Excel的功能,以实现学生评优和奖学金评选的数据统计的计算功能。     

水电工程坝基岩体研究现状与发展的思考

以国内部分重点水电工程为例，对我国水电工程建设中坝基岩体质量分类、主要岩石力学参数的选取、大坝建基面的确定及弱风化岩体利用情况进行总结与分析；指出简化的坝基岩体多因子分类、岩体力学参数的提取与岩体质量分类相配套、按等值线提取岩体物理力学参数并动态确定大坝建基面的方法，应是水电工程坝基工程岩体研究的发展趋势。     

两相电流互感器配电网零序电流构造方法

中性点非直接接地配电网大多只安装A，C两相电流互感器（TA），而现有单相接地故障选线方法基本都以零序电流为基础实现。如何在两相TA配电网中准确检测并隔离接地故障线路，成为长期困扰实际运行的技术难题。通过对暂态电流的频域和时域分析，找出B相暂态电流与A，C相暂态电流的对应关系，提出在A相和C相接地时由A相和C相暂态电流构造B相暂态电流，进而得到较精确零序电流的方法。通过大量仿真实验验证了所提出的构造方法的正确性。零序电流的成功构造为实现两相TA配电网单相接地故障选线提供了基础。     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.