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

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的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.     

Biparametric Models for Elastic Wedge Foundation

In this paper, some biparametric models for an elastic foundation are proposed. It is assumed that the foundation has the shape of the wedge. The modeling procedure starts from the linear elasticity equations into which we introduce some simplifying assumptions based on the conceptions of decay functions. The simplified models are described by the ordinary differential equations. Stationary and nonstationary Green’s functions for the foundation considered are obtained by applying the Hankel and Laplace transform methods. An example of the interaction between the rigid plate and the elastic wedge foundation is studied.     

综合自动化技术在企业变电站中的应用

介绍了Farad2 0 0SEA变电站综合自动化系统在中铝广西分公司热电厂的配置、功能及应用情况 ,着重阐述了系统的网络结构组成。     

Delay discounting of real and hypothetical rewards.

The degree to which real and hypothetical rewards were discounted across delays ranging from 6 hr to 1 year was explored in a within-subjects design. An adjusting-amounts procedure was used to estimate the subjective value of real and hypothetical rewards at each delay. A hyperbolic discounting function provided a significantly better fit to individual participants' preferences than did an exponential function. No significant effect of reward type on degree of hyperbolic discounting or area under the discounting curves was detected. These findings offer some support for the validity of using hypothetical rewards to estimate discounting rates in substance-abusing and other populations, but caution is suggested because this support is gleaned from a failure to detect an effect of reward type. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

非均匀裂缝性油藏压力动态

在介绍具有连续基质颗粒大小分布和孔间表皮裂缝性油藏的不稳定压力分析模型的同时。提出了代表实际变化的裂缝密度和均匀性油藏的基质岩块大小分布概率密度函数，给出Laplace空间井筒压力解。该理论通过裂缝跨度变化拓宽了以前的双孔隙油藏模型，在不考虑孔间表皮的情况下，对非均匀裂缝性油藏压力动态进行了分析。     

基于PSOS的TM1300应用系统中的BSP研究

通过在应用软件与板级支持包BSP之间加一层库函数的方法较好地解决了应用程序与板级支持包函数间的通信问题，减少了板级支持包函数的维护复杂度，从而为嵌入式系统板级支持包的实现提供了一个有价值的思路。     

高速供送螺杆动态性能评价体系的建构

随着设备高速化的日益发展，传统的螺杆设计方法及相应的供送特性评价体系已显落后。参照蜗型凸轮动力学性能的评价方法，建立了高速供送螺杆的动态性能评价体系，为高速化供送螺杆的设计提供了性能参照指标。