条形装箱问题的优化模型和增广Lagrange算法

This paper formulates a two-dimensional strip packing problem as a non-linear programming(NLP)problem and establishes the first-order optimality con-ditions for the NLP problem.A numerical algorithm for solving this NLP problemis given to find exact solutions to strip-packing problems involving up to 10 items.Approximate solutions can be found for big-sized problems by decomposing the setof items into small-sized blocks of which each block adopts the proposed numericalalgorithm.Numerical results show that the approximate solutions to big-sized prob-lems obtained by this method are superior to those by NFDH,FFDH and BFDHapproaches.     

一种基于增强现实的室内漫游系统

提出了一种基于增强现实的室内漫游系统,在这个系统中用户通过HMD观察增强的视景。在这个视景中不但包含真实布景的图像,还包含有计算机生成的虚拟物体的图像。为了实现虚实场景之间的注册,在HMD上安装有两个摄像机:场景摄像机与跟踪摄像机。并且在用户所在房间的顶部安装了一系列的红外标志点,这些标志点的图像由跟踪摄像机获取,并通过位置估计算法计算用户头部的位置和姿态。另外,通过一对安装有ARtoolKit标志点的手套,实现用户与虚拟环境之间的交互。最后,一套海底漫系统被开发出来,以验证整个漫游系统的可用性     

A note on an SOR-like method for augmented systems

Golub et al. (2001, BIT, 41, 71–85) gave a generalizedsuccessive over-relaxation method for the augmented systems.In this paper, the connection between the SOR-like method andthe preconditioned conjugate gradient (PCG) method for the augmentedsystems is investigated. It is shown that the PCG method isat least as accurate (fast) as the SOR-like method. Numericalexamples demonstrate that the PCG method is much faster thanthe SOR-like method.     

Ab initio study of sodium intercalation into metal oxides

Using the full-potential linearized augmented plane wave (FP-LAPW) method, we have studied the effect of chemistry on the average intercalation voltage (AIV) caused by the Na ions intercalating into transition metal oxides. The effect of transition metal was systematically studied by varying M=Co, Ni and Mn in NaMO₂ and fixing the α-NaFeO₂ layered structure. The effect of the guest atoms into the host material is discussed in terms of the structural and electronic properties. Comparatively to Li intercalation, a significant electron transfer towards transition metal was found. This observation suggests that the transition metal contribute to the AIV determination and confirms the common assumption that intercalated electron reduces M⁴⁺ to M³⁺.     

Equality and inequality constrained optimization algorithms with convergent stepsizes

In this paper, we consider two algorithms for nonlinear equality and inequality constrained optimization. Both algorithms utilize stepsize strategies based on differentiable penalty functions and quadratic programming subproblems. The essential difference between the algorithms is in the stepsize strategies used. The objective function in the quadratic subproblem includes a linear term that is dependent on the penalty functions. The quadratic objective function utilizes an approximate Hessian of the Lagrangian augmented by the penalty functions. In this approximation, it is possible to ignore the second-derivative terms arising from the constraints in the penalty functions.The penalty parameter is determined using a strategy, slightly different for each algorithm, that ensures boundedness as well as a descent property. In particular, the boundedness follows as the strategy is always satisfied for finite values of the parameter.These properties are utilized to establish global convergence and the condition under which unit stepsizes are achieved. There is also a compatibility between the quadratic objective function and the stepsize strategy to ensure the consistency of the properties for unit steps and subsequent convergence rates.This research was funded by SERC and ESRC research contracts. The author is grateful to Professors Laurence Dixon and David Mayne for their comments. The numerical results in the paper were obtained using a program written by Mr. Robin Becker.     

Convergence of an augmented Lagrange algorithm for nonlinear optimizations with second-order cone constraints

An augmented Lagrange algorithm for nonlinear optimizations with second-order cone constraints is proposed based on a Löwner operator associated with a potential function for the optimization problems with inequality constraints. The favorable properties of both the Löwner operator and the corresponding augmented Lagrangian are discussed. And under some mild assumptions, the rate of convergence of the augmented Lagrange algorithm is studied in detail.     

Quantum mechanics versus realism

Quantum theory accepts the point-like indivisible (classical) character of a particle as a mere product of a measuring process, or what has become known as a collapse. Following the notion of empty waves, which accepts the particle as a real existent entity without regard to the measurement process, we propose an experiment that may shed some light on the reality of the particle and the consequences of that reality.     

“虚实结合”的EDA课程设计实验教学案例

为提高学生的工程实践能力,我校EDA课程设计结合自研在线教学平台,采用案例式教学方式,锻炼和培养学生对EDA开发工具综合运用的能力和动手实践能力。EDA课程案例包括Matlab设计仿真、Modelsim仿真及D/A电路设计调试等EDA完整工程设计流程,线上实验平台提供远程硬件调试功能,学生可以随时随地通过线上实验平台对设计进行验证并与教师进行在线交流。该案例的成功实施有助于虚实结合的实践教学方法探索。     

Solution of periodic Poisson's equation and the Hartree–Fock approach for solids with extended electron states: Application to linear augmented plane wave method

We formulate a Hartree–Fock‐LAPW method for electronic band structure calculations. The method is based on the Hartree–Fock–Roothaan approach for solids with extended electron states and closed core shells where the basis functions of itinerant electrons are linear augmented plane waves. All interactions within the restricted Hartree–Fock approach are analyzed and in principle can be taken into account. In particular, we obtained the matrix elements for the exchange interactions of extended states and the crystal electric field effects. To calculate the matrix elements of exchange for extended states, we first introduce an auxiliary potential and then integrate it with an effective charge density corresponding to the electron exchange transition under consideration. The problem of finding the auxiliary potential is solved by using the strategy of the full potential LAPW approach, which is based on the general solution of periodic Poisson's equation. Here, we use an original technique for the general solution of periodic Poisson's equation and multipole expansions of electron densities. We apply the technique to obtain periodic potentials of the face‐centered cubic lattice and discuss its accuracy and convergence in comparison with other methods. © 2002 Wiley Periodicals, Inc. Int J Quantum Chem, 2002     

Data‐Driven Kinematic Control for Robotic Spatial Augmented Reality System with Loose Kinematic Specifications

We propose a data‐driven kinematic control method for a robotic spatial augmented reality (RSAR) system. We assume a scenario where a robotic device and a projector‐camera unit (PCU) are assembled in an ad hoc manner with loose kinematic specifications, which hinders the application of a conventional kinematic control method based on the exact link and joint specifications. In the proposed method, the kinematic relation between a PCU and joints is represented as a set of B‐spline surfaces based on sample data rather than analytic or differential equations. The sampling process, which automatically records the values of joint angles and the corresponding external parameters of a PCU, is performed as an off‐line process when an RSAR system is installed. In an on‐line process, an external parameter of a PCU at a certain joint configuration, which is directly readable from motors, can be computed by evaluating the pre‐built B‐spline surfaces. We provide details of the proposed method and validate the model through a comparison with an analytic RSAR model with synthetic noises to simulate assembly errors.