模块化蓝光光存储性能静态测试系统

蓝光光存储是信息存储领域发展的一个重要方向。测试系统是研究蓝光光存储材料的必备条件，为建立蓝光光存储研究平台，设计和搭建了一套模块化蓝光光存储性能静态测试系统。激光工作波长为406．7nm。系统采用调制解调技术降低系统噪声，提高测量粘度：采用光点移动模式降低对样品尺寸的要求；采用纳米平台提高记录点的反复定位性能。实验结果证明测试系统性能良好，可以满足蓝光光存储性能静态测试要求。     

Increasing the precision of a device used to determine the dynamic coefficient of friction

A theoretical evaluation of the potential application of a device with inclined plane for determining the dynamic coefficient of friction is given. Structural changes in the device that make it possible to increase its precision are proposed. Computational equations for estimating the resolution of the device are presented. __________ Translated from Izmeritel’naya Tekhnika, No. 11, pp. 24–26, November, 2007.     

Frequency response function of magnetic bearings using high-temperature superconductor

A high-temperature superconductor YBa₂Cu₃O_7-x with strong pinning force has allowed stable magnetic suspension with no control to be developed. Two types of superconducting magnetic bearings (SMB) using YBCO and permanent magnet were assembled. The two types are radial and axial. The dynamic stiffness of each SMB as it was cooled down under a magnetic field by liquid nitrogen was measured both radially and axially. As a result, it was found that the spring constants of these SMBs were almost as large as a practically desirable value; however, their damping coefficients were lower than the practical level. These findings are useful as one of the data bases for development of an optimum SMB design to support the weight of rotors in an axial direction.     

超高吨位灌注桩静载试验中的预应力混凝土反力装置

在复兴大桥超高吨位灌注桩的静载试验,预应力混凝土反力装置替代了传统的钢梁反力系统。这套装置主要包括预应力锚桩、预应力承台与预应力反力梁。试验结果表明,直接获得超高吨位大直径嵌岩桩的极限承载力相当不易,而对这类问题预应力混凝土反力装置是值得考虑的。     

Selectors Make Set-Based Analysis Too Hard

A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example, if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract the relevant component from the abstract representation of the procedure. In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more efficient manner.     

复杂山区静校正方法研究及效果

对于山区地震勘探，开展静校正研究是资料处理的主要问题之一。静校正精度与剖面质量密切相关，准确的静校正取决于合理的方法和正确的应用。本文在分析了复杂山区特点以及静校正难点的基础上，指出要解决好山区静校正，仅限于普通的方法是远远不够的，必须从四个关键点人手，即风化层延迟时的求取、基准面的确定、校正速度的研究以及表层模型的建立等。本文对上述问题的研究做了介绍，展示了合成延迟时法十等效速度模型反演十变速浮动基准面（地震参考面）静校正等综合技术在太行山区（山西沁源、大寨）、伊J；1丘陵山区等复杂地表区应用的例子。显著的处理效果表明，严重的山区静校正问题得到了较好的解决，满足了地下构造的叠加成像，提高了勘探精度及其整体效果。     

下运带式输送机液压制动系统的研究

首先对下运带式输送机的制动问题进行了分析,而后介绍了一种新型液压制动系统的基本原理、组成和用途,以及液压制动系统的控制要求和工作状态。实践结果表明,采用该液压制动系统从根本上保证了大倾角下运带式输送机的安全高效生产。     

基于CAE的模态综合法误差分析

为研究用模态综合法进行发动机舱前端模型NVH分析时的误差,用整体计算法和模态综合法分别进行截止频率为100,200,300,1 000,2 000和3 000 Hz的模态计算,并基于模态计算结果进行原点传递函数计算.结果表明:考虑静态补偿的模态综合法计算误差小于不考虑静态补偿的计算误差;子系统模态计算截止频率大于2倍原点传递函数频率时,模态综合法计算误差小于10%;当传递函数频率是截止频率的1/3时,误差可以降低到5%。     

基于LDRA Testbed的软件静态测试研究与实现

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。     

An improved bacterial foraging algorithm for combined static/dynamic environmental economic dispatch

Economic dispatch is carried out at the energy control center to find out the optimal output of thermal generating units such that power balance criterion is met, unit operating limits are satisfied and the fuel cost is minimized. With growing environmental awareness and strict government regulations throughout the world, it has become essential to optimize not only the total fuel cost but also the harmful emissions, both, under static as well as dynamic conditions. The static environment economic dispatch finds the optimal output of generating units for a fixed load demand at a given time, while the dynamic environmental economic dispatch schedules the output of online generators with changing power demands over a certain time period (normally one day) so as to minimize these two conflicting objectives, simultaneously. In this paper, the price penalty factor approach is employed for simultaneous minimization of cost and emission. The generator ramp rate constraints, non-convex and discontinuous nature of cost function and the large number of generators in practical power plants, make this problem very difficult to solve. Here, a fuzzy ranking approach is employed to identify the solution which offers the best compromise between cost and emission objectives.