On a Question of Phillips

In [5] Phillips proved that one can obtain the additive group of any nonstandard model *? of the ring ? of integers by using a linear mod 1 function h : F ?, where F is the α-dimensional vector space over ? when α is the cardinality of *?. In this connection it arises the question whether there are linear mod 1 functions which are neither addition nor quasi-linear. We prove that this is the case.     

Volumetric path following algorithms for linear programming

We consider the construction of small step path following algorithms using volumetric, and mixed volumetric-logarithmic, barriers. We establish quadratic convergence of a volumetric centering measure using pure Newton steps, enabling us to use relatively standard proof techniques for several subsequently needed results. Using a mixed volumetric-logarithmic barrier we obtain an O(n ^1/4 m ^1/4 L) iteration algorithm for linear programs withn variables andm inequality constraints, providing an alternative derivation for results first obtained by Vaidya and Atkinson. In addition, we show that the same iteration complexity can be attained while holding the work per iteration to O(n ² m), as opposed to O(nm ²), operations, by avoiding use of the true Hessian of the volumetric barrier. Our analysis also provides a simplified proof of self-concordancy of the volumetric and mixed volumetric-logarithmic barriers, originally due to Nesterov and Nemirovskii. This paper was first presented at the 1994 Faculty Research Seminar “Optimization in Theory and Practice”, at the University of Iowa Center for Advanced Studies.     

The multiple-scale wave equation

An analytic and numerical study of the behavior of the linear nonhomogeneous wave equation of the form ε²u_tt = Δu + tf with high wave speed (ε 1) is carried out. This study was initially motivated by meteorological observations which have indicated the presence of large spatial scale gravity waves in the neighborhood of a number of summer and winter storms, mainly from visible images of ripples in clouds in satellite photos. There is a question as to whether the presence of these waves is caused by the nearby storms. Since the linear wave equation is an approximation to the full system describing pressure waves in the atmosphere, yet is considerably more tractable, we have chosen to analyze the behavior of the linear nonhomogeneous wave equation with high wave speed. The analysis is shown to be valid in one, two, and three space dimensions. Partly because of the high wave speed, the solution is known to consist of behavior which changes on two different time scales, one rapid and one slow. Additionally, because of the presence of the nonhomogeneous forcing term tf, we show that there is a component of the solution which will vary only on a very large spatial scale. Since even the linearized wave equation can give rise to persistent large spatial scale waves under the right conditions, the implication is that certain storms could be responsible for the generation of large-scale waves. Numerical simulations in one and two dimensions confirm analytic results.     

审讯过程的数学模型

本文从经济学的观点出发，利用对策论方法建立了审讯过程的数学模型，并由此研究了讯问人三种主要策略对审讯成功的效度。     

Rapid and reproducible capillary electrophoretic separation of double-stranded DNA fragments in a simple methyl cellulosic sieving system

Summary A rapid, robust and reproducible method providing excellent separation performance and simplicity using a 0.5% MC-4000 methyl cellulosic sieving medium in DB-1 coated capillaries has been developed. The method is suitable for qualitative comparison of DNA restriction profiles for fragments in the size range 100–1000 base pairs (bp). Efficiencies up to 8.5 million plates/m (1057 bp fragment) were recorded. Peak resolution of 6 bp (291/297 bp, 335/341 bp) and 4 bp (238/242 bp, 341/345 bp) was achieved. In addition, 1 bp partial resolution of 123/124 bp and 298/297 bp was obtained. Run-to-run (n=15), day-to-day (n=4), and capillary-to-capillary (n=3) variations of 0.1–0.2% RSD, 0.3–0.5% RSD, and 0.1–0.3% RSD, respectively, were observed. The MC-4000 sieving matrix was found to be better than hydroxypropyl methyl cellulose and hydroxypropyl cellulose, in terms of both performance and stability in the DB-1 coated capillaries. The efficiency and resolution in DB-WAX capillaries were inferior to those obtained in DB-1 capillaries. The commercially available DB-1 capillaries were stable for months in the sieving medium at pH 8.3 and could be regenerated to provide high efficiency after accidental current breaks.     

A globally convergent Newton method for solving strongly monotone variational inequalities

Variational inequality problems have been used to formulate and study equilibrium problems, which arise in many fields including economics, operations research and regional sciences. For solving variational inequality problems, various iterative methods such as projection methods and the nonlinear Jacobi method have been developed. These methods are convergent to a solution under certain conditions, but their rates of convergence are typically linear. In this paper we propose to modify the Newton method for variational inequality problems by using a certain differentiable merit function to determine a suitable step length. The purpose of introducing this merit function is to provide some measure of the discrepancy between the solution and the current iterate. It is then shown that, under the strong monotonicity assumption, the method is globally convergent and, under some additional assumptions, the rate of convergence is quadratic. Limited computational experience indicates the high efficiency of the proposed method.     

无偏的岭回归迭代算法

本文探讨线性模型的无偏的岭回归迭代算法,这种算法保持最小二乘法的性质,当存在较为严重的共线性时,它能给出较为精确的参数及其协差阵的估计值;当存在严格的共线性时,给出参数及其协差阵的无穷多解中的一个,这个解由初值决定。文章还给出了算法的收敛性及一些其它性质的证明。     

Polling systems in heavy traffic: Exhaustiveness of service policies

We study the expected delay in cyclic polling models with general ‘branching-type’ service disciplines. For this class of models, which contains models with exhaustive and gated service as special cases, we obtain closed-form expressions for the expected delay under standard heavy-traffic scalings. We identify a single parameter associated with the service discipline at each queue, which we call the ‘exhaustiveness’. We show that the scaled expected delay figures depend on the service policies at the queues only through the exhaustiveness of each of the service disciplines. This implies that the influence of different service disciplines, but with the same exhaustiveness, on the expected delays at the queues becomes the same when the system reaches saturation. This observation leads to a new classification of the service disciplines. In addition, we show monotonicity of the scaled expected delays with respect to the exhaustiveness of the service disciplines. This induces a complete ordering in terms of efficiency of the service disciplines. The results also lead to new rules for optimization of the system performance with respect to the service disciplines at the queues. Further, the exact asymptotic results suggest simple expected waiting-time approximations for polling models in heavy traffic. Numerical experiments show that the accuracy of the approximations is excellent for practical heavy-traffic scenarios. This revised version was published online in June 2006 with corrections to the Cover Date.     

一类求解线性约束非线性规划问题的可行方向法

Wilson,Han和Powell提出的序列二次规划方法(简称SQP方法)是求解非线性规划问题的一个著名方法,这种方法每次迭代的搜索方向是通过求解一个二次规划子问题得到的,本文受[1]启发,得到二次规划子问题的一个近似解,进而给出了一类求解线性约束非线性规划问题的可行方向法,在约束集合满足正则性的条件下,证明了该算法对五种常用线性搜索方法具有全局收敛性。     

On practical metrology and chemical analysis: etalons and traceability systems

 National measurement systems are infrastructures to ensure, for each nation, a consistent and internationally recognised basis for measurement. Such complex systems have historical, technical, legal, organisational and institutional aspects to connect scientific metrology with practical measurements. Underlying any valid measurement is a chain of comparisons linking the measurement to an accepted standard. The ways the links are forged and the etalons (measurement standards) to which they connect are defining characteristics of all measurement systems. This is often referred to as traceability which aims at basing measurements in common measurement units – a key issue for the integration of quantitative chemical analysis with the evolving physical and engineering measurement systems. Adequate traceability and metrological control make possible new technical capabilities and new levels of quality assurance and confidence by users in the accuracy and integrity of quantitative analytical results. Traceability for chemical measurements is difficult to achieve and harder to demonstrate. The supply of appropriate etalons is critical to the development of metrology systems for chemical analysis. An approach is suggested that involves the development of networks of specialised reference laboratories able to make matrix-independent reference measurements on submitted samples, which may then be used as reference materials by an originating laboratory using its practical measurement procedures. Received: 31 July 1995 Accepted: 19 August 1995