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

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

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)     

转炉出钢口套整体袖砖工艺技术开发

介绍了天津天铁冶金集团有限公司炼钢厂转炉出钢口袖砖工艺的开发过程，主要工艺参数的制定，实践证明，该工艺的应用取得了良好的使用效果。     

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

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

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

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

达县广电城域网运行状况及故障分析

对达县广电城域网运行状况进行了检测，认为不能满足用户上网需要的原因除了网内病毒感染之外，设备与设备之间链路层协商及连接线出现故障。改进措施主要有两点：解决NE08E与S8505的连接问题，解决S8505上的DHCP服务器不能分配IP地址问题。     

蜂窝移动通信系统核心网络的演进与全IP核心网络

分析了现有移动通信网络存在的问题，阐述了第2代移动通信核心网向第3代移动通信核心网演进的必然性：讨论了第2代移动通信核心网向第3代移动通信核心网演进所采用的演进策略，介绍了两种可供选择的全IP核心网络的参考结构。