H9000 V4.0计算机监控系统技术特点概要

为了满足三峡右岸电站的应用需要,在H9000 V3.0计算机监控系统的基础上研制开发了H9000 V4.0系统,改进和完善了原系统已有功能,开发了新功能,进一步提高了系统的性能指标和可靠性指标。文中主要介绍H9000 V4.0系统的设计原则,以及数据采集、人机联系、报表定制、Web信息发布、历史数据管理等主要新功能。     

复合功能原理方案特征建模及其求解过程研究

研制了驱动、传动和分离等典型功能原理方案解的知识库，建立了复合功能产品原理解的特征模型，提出了复合功能原理求解的通用进`生平注解和接口匹配并行的策略，进而提出原理解接口特征的嵌套结构及其匹配进程，开发了一个复合功能产品原理方案求解的计算机支持平台，进行了实例验证。     

Electro‐optical transfer function preferences for LCD TVs: The effect of display brightness and surround illumination on preferred gamma

Abstract— Recent commercial liquid‐crystal‐display (LCD) televisions are larger and brighter than traditional televisions, thus impacting the viewing conditions in which they are viewed. These changes in viewing conditions may require different electro‐optical transfer functions (EOTFs) for LCD TVs than those for conventional TVs. Here, the way various EOTFs affect the preferred image quality of test images with changes in brightness and surround illumination conditions are examined. The first method used a gain, offset, and gamma (GOG) function with a range of gamma values, and the second method altered the intrinsic EOTFs. Image preference for the simulated EOTFs was determined using a paired‐comparison experiment for ten images. The first experiment took place in a darkened room at two display luminance levels. The results indicated that a gamma of 1.6 was most preferred overall although more so at a lower screen luminance level. In a second experiment, the procedure was repeated with a dim surround of 10% of the display's white point. With this surround, preference for a gamma value of around 1.6 at both screen luminance levels was more enhanced. These results indicated that image preference for different EOTFs is dependent on display luminance and that this dependence is maintained with a dim surround.     

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.     

Necessary optimality conditions in a nonsmooth control problem with variable structure

An optimal control problem with nonsmooth performance criterion described by a system of ordinary differential equations is considered. Necessary first-order optimality conditions are obtained.     

Extracting Electron Densities in N-Type GaAs From Raman Spectra: Theory

In this paper, we present the theory for calculating Raman line shapes as functions of the Fermi energy and finite temperatures in zinc blende, n-type GaAs for donor densities between 10¹⁶ cm⁻³ and 10¹⁹ cm⁻³. Compared to other theories, this theory is unique in two respects: 1) the many-body effects are treated self-consistently and 2) the theory is valid at room temperature for arbitrary values of the ratio R = (Q²/α), where Q is the magnitude of the normalized wave vector and α is the normalized frequency used in the Raman measurements. These calculations solve the charge neutrality equation self-consistently for a two-band model of GaAs at 300 K that includes the effects of high carrier concentrations and dopant densities on the perturbed densities of states used to calculate the Fermi energy as a function of temperature. The results are then applied to obtain the carrier concentrations from Fermi energies in the context of line shapes in Raman spectra due to the coupling between longitudinal optical phonons and plasmons. Raman measurements have been proposed as a non-destructive method for wafer acceptance tests of carrier density in semiconductor epilayers. The interpretation of Raman spectra to determine the majority electron density in n-type semiconductors requires an interdisciplinary effort involving experiments, theory, and computer-based simulations and visualizations of the theoretical calculations.     

Survivability of systems under multiple factor impact

The paper considers vulnerable multi-state series-parallel systems operating under influence of external impacts. Both the external impacts and internal failures affect system survivability, which is determined as the probability of meeting a given demand. The external impacts are characterized by several destructive factors affecting the system or its parts simultaneously.In order to increase the system's survivability a multilevel protection against the destructive factors can be applied to its subsystems. In such systems, the protected subsystems can be destroyed only if all of the levels of their protection are destroyed.The paper presents an algorithm for evaluating the survivability of series-parallel systems with arbitrary configuration of multilevel protection against multiple destructive factor impacts. The algorithm is based on a composition of Boolean and the Universal Generating Function techniques.Illustrative examples are presented.     

大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。     

Analysis of Resolution of Bistatic SAR

In this paper, the spatial resolutions at different directions of bistatic synthetic aperture radar （BiSAR） have been derived from the ambiguity function. Compared with monostatic signal to noise ratio, BiSAR＇s resolutions of a fixed point target are varying with slow time since BiSAR system is space-variant. Constraints for the assumption of space-invariant bistatic topology are proposed in the paper. Moreover, under the assumption of invariance, the change of resolutions at different point in the image scene is taken into account, and we have specified two key parameters that affect resolutions directly and analyzed the way how they influence on the resolutions.     

裂缝性潜山储层地震描述技术

裂缝是潜山油气藏的重要储集层 ,潜山的油气产出与裂缝的发育情况密切相关 ,因此 ,对裂缝发育控制因素和裂缝发育规律进行了分析和探讨。尽管单条裂缝在地震资料上难以识别 ,但是裂缝带在地震资料上有其特征。描述了裂缝储层的地球物理特征 ,并利用测井约束反演技术、吸收系数技术、地震相分类和相干分析技术对潜山储层进行预测。通过在车古 2 0 1潜山的应用实例分析 ,说明以上 4种储层描述技术比较有效