基于模型修正技术的模拟集成电路几何规划优化方法

为了兼顾模拟集成电路设计优化的求解精度和计算效率,提出一种基于正项式模型修正技术的几何规划优化方法.首先将模拟集成电路的设计目标与约束简化为正项式模型,然后在采用几何规划方法迭代优化的过程中利用晶体管级SPICE仿真不断修正这一正项式模型.实例表明,与传统基于公式的优化方法和基于仿真的优化方法相比,该方法能够在尽量保证计算效率和全局最优解的前提下使优化精度满足晶体管级SPICE仿真的要求.     

Finite-size effects in surface tension: Thermodynamics and the Gaussian interface model

It has been suggested by Kayser that finite-size effects associated with capillary waves might play a significant role in some surface tension measurements; for capillary rise between plates a distance D apart, an effect varying as 1/D and apparently observable in measurements, was proposed. In reconsidering this problem, one must analyze the thermodynamics of finite-size corrections to surface tension. In particular, one sees that capillary rise between plates does not measure the interfacial free energy density but, rather, a derivative of the interfacial free energy with respect to a system dimension. The quantity needed to draw definite conclusions, the finite-size residual free energy, can be calculated within the harmonic or Gaussian capillary wave model in d spatial dimensions with the aid of Poisson summation techniques and should yield the correct leading asymptotic behavior. For d=3 and experimentally relevant parameter values, the results are independent of the short-wavelength cutoff needed in the model and can be checked against the theory of conformai covariance at two-dimensional critical points. It is found that the finite-size effects in capillary-rise measurements of surface tension vary as 1/D ² (with a universal coefficient) but are too small to be seen in current experiments.Invited paper presented at the Tenth Symposium on Thermophysical Properties, June 20–23, 1988, Gaithersburg, Maryland, U.S.A.     

Nondestructive characterization of the mechanical strength of diffusion bonds. II. Application of a quasi-static spring model

It has been shown that the acoustic response of imperfect interfaces may be described by a quasi-static spring model. In the present paper, experimental data on the geometry of the contacts between two diffusion-bonded blocks have been used to determine the spring stiffness of such interfaces which have been correlated with experimentally determined ultrasonic reflection coefficients. The correlation between the theoretical reflection coefficient and the spring stiffness was found to be in excellent agreement with experimentally-observed values, if the disbonds are of infinitesimally small thickness. For disbonds of finite thickness, the agreement is less satisfactory. Reasons for the discrepancy in the latter case are unknown at the present time.     

CAD与CAPP集成研究回转体类零件特征识别

本文研究了回转体轴类,轴套类零件的特征识别。对这类零件常用的特征单元进行了定义,描述了这类零件的特征模型:介绍了它的识别方法和特征参数定义方法。     

Effective vehicle width in self-paced tracking

In self-paced tracking tasks, such as driving, the speed is related to the lateral tolerance. This lateral tolerance has been varied in two ways in previous studies by changing the track width for constant vehicle width and vice versa. The current study used both an automobile driving task and a computer/mouse task to show that these two ways of varying lateral tolerance did not produce equivalent results. Subjects behaved as if vehicle width were less important than track width. Speeds and errors both increased as vehicle width increased for a constant lateral tolerance. This could have safety consequences when driving in confined spaces.     

FMS的模型参考自适应调度

用运筹学研究生产线调度问题已有几十年的历史,但由此得出的调度策略的实时性很差.1986年自动控制工作者提出了“PMS动态自适应计算机调”一词.令人感到十分新奇.可惜.从未见到任何有关的论文.本文研究FMS的模型参考自适应调度.本文采用我们提出的考虑了有限缓冲器容量的极大代数模型.环境的影响反映于对象参数的摄动,本文采用我们提出的摄动计算方法.调度器的设计采用次梯度法,以求解连续变量和离散变量混合的优化问题,附有数字实例,计算和仿真表明:FMS的模型参考自适应调度是可行的,是值得继续深入研究的。     

Randomized range-maxima in nearly-constant parallel time

Given an array ofn input numbers, therange-maxima problem is that of preprocessing the data so that queries of the type what is the maximum value in subarray [i..j] can be answered quickly using one processor. We present a randomized preprocessing algorithm that runs inO(log^* n) time with high probability, using an optimal number of processors on a CRCW PRAM; each query can be processed in constant time by one processor. We also present a randomized algorithm for a parallel comparison model. Using an optimal number of processors, the preprocessing algorithm runs inO( (n)) time with high probability; each query can be processed inO ( (n)) time by one processor. (As is standard, (n) is the inverse of Ackermann function.) A constant time query can be achieved by some slowdown in the performance of the preprocessing stage.     

On problem transformability in VLSI

The two basic performance parameters that capture the complexity of any VLSI chip are the area of the chip,A, and the computation time,T. A systematic approach for establishing lower bounds onA is presented. This approach relatesA to the bisection flow, . A theory of problem transformation based on , which captures bothAT ² andA complexity, is developed. A fundamental problem, namely, element uniqueness, is chosen as a computational prototype. It is shown under general input/output protocol assumptions that any chip that decides ifn elements (each with (1+)lognbits) are unique must have =(nlogn), and thus, AT²=(n ²log² n), andA= (nlogn). A theory of VLSI transformability reveals the inherentAT ² andA complexity of a large class of related problems.This work was supported in part by the Semiconductor Research Corporation under contract RSCH 84-06-049-6.     

Simulation of nitrogen dynamics and biomass production in winter wheat using the Danish simulation model DAISY

A dynamic simulation model for the soil plant system is described. The model includes a number of main modules, viz., a hydrological model including a submodel for soil water dynamics, a soil temperature model, a soil nitrogen model including a submodel for soil organic matter dynamics, and a crop model including a submodel for nitrogen uptake. The soil part of the model has a one-dimensional vertical structure. The soil profile is divided into layers on the basis of physical and chemical soil characteristics. The simulation model was used to simulate soil nitrogen dynamics and biomass production in winter wheat grown at two locations at various levels of nitrogen fertilization. The simulated results were compared to experimental data including concentration of inorganic nitrogen in soil, crop yield, and nitrogen accumulated in the aboveground part of the crop. Based on this validation it is concluded that the overall performance of the model is satisfactory although some minor adjustments of the model may prove to be necessary.     

ON THE UNIMODALITY OF THE EXACT LIKELIHOOD FUNCTION FOR NORMAL AR(2) SERIES

Abstract. For stationary second-order autoregressive normal processes, the conjecture of uniqueness of the solution of the exact likelihood equations is examined. A sufficient condition for uniqueness is given; this condition is satisfied with very high probability if the number of observations is not extremely small. Moreover, it is shown that not more than two maxima may exist. Examples of data which actually produce a likelihood function with two local maxima are given.