求分块鳞状因子循环矩阵逆矩阵的一种快速算法

给出了一种计算分块鳞状因子循环矩阵逆矩阵的快速算法,该算法主要利用了离散傅立叶变换和对角块矩阵求逆的递归算法,与标准的利用LU分解法求逆的算法相比,在计算复杂性上有很大的优势.     

Characterizing turbulence in globally coupled maps with stochastic finite automata

We describe a method to discriminate between ordered and turbulent behavior in a general class of collective systems known as Globally Coupled Maps (GCM). Our method is able to discover an unknown small ordered region inside the turbulent phase of GCM parameter space. The computational nature of the method is the main novelty of our approach; it is another example of how measures based on computational notions of structure may provide new information in the study of dynamical systems.     

Local minima for indefinite quadratic knapsack problems

We consider the complexity of finding a local minimum for the nonconvex Quadratic Knapsack Problem. Global minimization for this example of quadratic programming is NP-hard. Moré and Vavasis have investigated the complexity of local minimization for the strictly concave case of QKP; here we extend their algorithm to the general indefinite case. Our main result is an algorithm that computes a local minimum in O(n(logn)²) steps. Our approach involves eliminating all but one of the convex variables through parametrization, yielding a nondifferentiable problem. We use a technique from computational geometry to address the nondifferentiable problem.Supported in part by the Applied Mathematical Sciences subprogram of the Office of Energy Research, Department of Energy, under contract W-31-109-Eng-38, in part by a Fannie and John Hertz Foundation graduate fellowship, and in part by Department of Energy grant DE-FG02-86ER25013.A000.     

Problems, Models and Complexity. Part II: Application to the DLSP

In Part I of this study, we suggest to identify an operations research (OR) problem with the equivalence class of models describing the problem and enhance the standard computer-science theory of computational complexity to be applicable to this situation of an often model-based OR context. The Discrete Lot-sizing and Scheduling Problem (DLSP) is analysed here in detail to demonstrate the difficulties which can arise if these aspects are neglected and to illustrate the new theoretical concept. In addition, a new minimal model is introduced for the DLSP which makes this problem eventually amenable to a rigorous analysis of its computational complexity.     

What Makes a Theory Testable, or Is Intelligent Design Less Scientific Than String Theory?

I compare the theory of intelligent design to string theory to see on what basis, if any, only the former can be justifiably excluded as being scientific.We shall see that the classic criterion of testability or falsifiability is sometimes not so straightforward, and that there are other criteria to help us make such a distinction.     

Implementation of parallel adder using combinatorial logic architecture

The algorithm and optical implementation of full parallel adder using combina-torial logic architecture have been suggested in this paper.The hybrid full parallel adder,which can perform multiple bits addition simultaneously,is implemented by utilizing VLSItechnology and acoustooptic Bragg cells.The algorithm has the advantages of high parallelismand easy optical implementation.The full parallel adder finishes n-bit addition within the du-ration T_d if the pipeline architecture is employed,whose hardware complexity is O(n~2).     

The thermorheological complexity of photoelastic behaviour of 2-hydroxyethyl methacrylate — dodecyl methacrylate copolymers

The viscoelastic photoelastic behaviour of networks of 2-hydroxyethyl methacrylate — dodecyl methacrylate (DMA) copolymers in the main transition and rubberlike region was investigated. With increasing DMA content, photoelastic functions are quickly shifted to lower temperatures or shorter times; a detailed course of the functions suggests heterogeneity of the copolymers. Due to the existence of long side chains, optical function of all samples change the sign from positive to negative with increasing temperature. While the temperature dependences of the moduli of copolymers can be described by the two-phase Takayanagi model, the temperature dependences of optical functions cannot be described by using this model. It has been found, however, that the tempeature and time dependences of photoelastic functions can be described semiquantitatively by a three-phase model with a hypothetical statistical copolymer as the third component. The high values of the volume fraction of the hypothetical statistical copolymer found for the individual samples, suggest a considerable miscibility and a strong influence of the interphase boundary on the photoelastic behaviour of the copolymers.     

Organocatalytic Tandem Reaction to Construct Six‐Membered Spirocyclic Oxindoles with Multiple Chiral Centres through a Formal [2+2+2] Annulation

An efficient tandem reaction for the asymmetric synthesis of six‐membered spirocyclic oxindoles has been successfully developed through a formal [2+2+2] annulation strategy. The amine‐catalysed stereoselective Michael addition of aliphatic aldehydes to electron‐deficient olefinic oxindole motifs gave chiral C3 components, which were further combined with diverse electrophiles (activated olefins or imines) to afford spirocyclic oxindoles with versatile molecular complexity (up to six contiguous stereogenic centres, high diastereo‐ and enantioselectivities).