Recursive intermediate factorization and complete computational linearization of the coupled-cluster single,double, triple,and quadruple excitation equations

Summary The nonlinear CCSDTQ equations are written in a fully linearized form, via the introduction of computationally convenient intermediates. An efficient formulation of the coupled cluster method is proposed. Due to a recursive method for the calculation of intermediates, all computational steps involve the multiplication of an intermediate with aT vertex. This property makes it possible to express the CC equations exclusively in terms of matrix products which can be directly transformed into a highly vectorized program.This work has been supported by the U.S. Air Force Office of Scientific Research, Grant No. 90-0079     

The small octagon with longest perimeter

The convex octagon with unit diameter and maximum perimeter is determined. This answers an open question dating from 1922. The proof uses geometric reasoning and an interval arithmetic based global optimization algorithm to solve a series of non-linear and non-convex programs involving trigonometric functions.     

用集成电路制作简谐振动参考圆与振动曲线示教板控制器

用集成电路制成程序控制器，示教板性能稳定，寿命长，效果好，操作方便．其主要部分由电源、时钟、逻辑电路、输出驱动器四部分组成．     

A Duality Theory for a Class of Generalized Fractional Programs

In generalized fractional programming, one seeks to minimize the maximum of a finite number of ratios. Such programs are, in general, nonconvex and consequently are difficult to solve. Here, we consider a particular case in which the ratio is the quotient of a quadratic form and a positive concave function. The dual of such a problem is constructed and a numerical example is given.     

The linear complementarity problem as a separable bilinear program

The nonmonotone linear complementarity problem (LCP) is formulated as a bilinear program with separable constraints and an objective function that minimizes a natural error residual for the LCP. A linear-programming-based algorithm applied to the bilinear program terminates in a finite number of steps at a solution or stationary point of the problem. The bilinear algorithm solved 80 consecutive cases of the LCP formulation of the knapsack feasibility problem ranging in size between 10 and 3000, with almost constant average number of major iterations equal to four.This material is based on research supported by Air Force Office of Scientific Research Grant F49620-94-1-0036 and National Science Foundation Grants CCR-9322479 and CDA-9024618.     

Multimethodical Approach and Generation of Sequence of Expressions for Acceleration of Repetitive Analysis of Analog Circuits

In this paper a concept of multimethodical program and a classification of Sequence of Expressions (SoE) for analog circuit analysis are discussed. It is shown that the proper selection of circuit analysis method as well as method of SoE generation enables the minimization of arithmetic operations during repetitive frequency and transient analysis of analog circuits.     

A Global Optimization Algorithm using Lagrangian Underestimates and the Interval Newton Method

Convex relaxations can be used to obtain lower bounds on the optimal objective function value of nonconvex quadratically constrained quadratic programs. However, for some problems, significantly better bounds can be obtained by minimizing the restricted Lagrangian function for a given estimate of the Lagrange multipliers. The difficulty in utilizing Lagrangian duality within a global optimization context is that the restricted Lagrangian is often nonconvex. Minimizing a convex underestimate of the restricted Lagrangian overcomes this difficulty and facilitates the use of Lagrangian duality within a global optimization framework. A branch-and-bound algorithm is presented that relies on these Lagrangian underestimates to provide lower bounds and on the interval Newton method to facilitate convergence in the neighborhood of the global solution. Computational results show that the algorithm compares favorably to the Reformulation–Linearization Technique for problems with a favorable structure.     

基于ISP芯片的数字编码波形发生器设计

介绍了一种可程控的编码波形发生器,并重点讨论了用Synplicity的VHDL和在系统可编程逻辑器件ispLSI5KVE的实现方法.     

Parallel Implementation of Successive Convex Relaxation Methods for Quadratic Optimization Problems

As computing resources continue to improve, global solutions for larger size quadrically constrained optimization problems become more achievable. In this paper, we focus on larger size problems and get accurate bounds for optimal values of such problems with the successive use of SDP relaxations on a parallel computing system called Ninf (Network-based Information Library for high performance computing).     

浅谈TMS320C6000中断程序的实现方法

主要讨论中断服务程序在TMS320C6000 DSP中的几种用C语言来实现的方法。