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

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

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.     

Hydriding and Dehydriding Characteristics of Mechanically Alloyed LaMg_(17) Ni Composite Material

Magnesiumandmagnesiumalloyshavebeenin vestigatedashydrogenstoragematerialsforseveralde cadesbecausefarmorehydrogenbyweightcanbestoredinthemthaninmostoftheothercurrentlyknownhydrogenstoragealloys .Moreover ,thehighnaturalabundanceofMg ,itslightmassandenviron mentalcompatibilitypotentiallymakemagnesiumoneofthemostprospectivecandidatesforfuturehydrogenstoragematerials .Unfortunately ,thepracticalappli cationofMganditsalloyshasbeenlimitedonlytocertainstoragedevicebecauseoftheirpoorhydriding dehydr…     

2D Image Construction from Low Resolution Response of a New Non‐invasive Measurement for Medical Application

This paper presents an application of digital signal processing to data acquired by the radio imaging method (RIM) that was adopted to measure moisture distribution inside the human body. RIM was originally developed for the mining industry; we are applying the method to a biomedical measurement because of its simplicity, economy, and safety. When a two‐dimensional image was constructed from the measured data, the method provided insufficient resolution because the wavelength of the measurement medium, a weak electromagnetic wave in a VHF band, was longer than human tissues. We built and measured a phantom, a model simulating the human body, consisting of two water tanks representing large internal organs. A digital equalizer was applied to the measured values as a weight function, and images were reconstructed that corresponded to the original shape of the two water tanks. As a result, a two‐dimensional image containing two individual peaks corresponding to the original two small water tanks was constructed. The result suggests the method was applicable to biomedical measurement by the assistance of digital signal processing. This technique may be applicable to home‐based medical care and other situations in which safety, simplicity, and economy are important.