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

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

Use of a neural network to link AFM etch patterns to plasma parameters

Plasmas play a critical role in depositing thin films or etching fine patterns while manufacturing integrated circuits. A new model for plasma diagnosis is presented. This was accomplished by linking atomic force microscopy (AFM) to plasma parameters using a neural network. Experimental AFM data were collected during the etching of silicon oxynitride films in C₂F₆ inductively coupled plasma. Surface roughness of etched patterns was characterized by means of discrete wavelet transformation. This led to the construction of three vertical (type I), diagonal (type II), and horizontal (type III) wavelet coefficient-based models. The performance of diagnosis models was evaluated in terms of the prediction and recognition accuracies. Both accuracies were optimized as a function of the number of hidden neurons. Comparisons revealed that the type I model yielded the largest recognition and the smallest prediction error. This was demonstrated even under stricter monitoring conditions. More improved diagnosis is expected by enhancing AFM resolution.     

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

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

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

参数设计法在铝电解电容器设计中的应用探讨

论述了参数设计法在铝电解电容器设计开发阶段的应用。文中阐明了铝电解电容器的主要质量特性(损耗因子、电容量)及芯包外径的参数设计原理,并建立了归一化函数作为优选设计方案的判据。实例证明在铝电解电容器的设计过程中应用参数设计法以减小产品质量特性变异是有效的。     

Boundary knot method for 2D and 3D Helmholtz and convection–diffusion problems under complicated geometry

The boundary knot method (BKM) of very recent origin is an inherently meshless, integration‐free, boundary‐type, radial basis function collocation technique for the numerical discretization of general partial differential equation systems. Unlike the method of fundamental solutions, the use of non‐singular general solution in the BKM avoids the unnecessary requirement of constructing a controversial artificial boundary outside the physical domain. The purpose of this paper is to extend the BKM to solve 2D Helmholtz and convection–diffusion problems under rather complicated irregular geometry. The method is also first applied to 3D problems. Numerical experiments validate that the BKM can produce highly accurate solutions using a relatively small number of knots. For inhomogeneous cases, some inner knots are found necessary to guarantee accuracy and stability. The stability and convergence of the BKM are numerically illustrated and the completeness issue is also discussed. Copyright © 2003 John Wiley & Sons, Ltd.