An Integrated Evolutionary Algorithm for Expensive Global Optimization

We propose an integrated algorithm named low dimensional simplex evolution extension (LDSEE) for expensive global optimization in which only a very limited number of function evaluations is allowed. The new algorithm accelerates an existing global optimization, low dimensional simplex evolution (LDSE), by using radial basis function (RBF) interpolation and tabu search. Different from other expensive global optimization methods, LDSEE integrates the RBF interpolation and tabu search with the LDSE algorithm rather than just calling existing global optimization algorithms as subroutines. As a result, it can keep a good balance between the model approximation and the global search. Meanwhile it is self-contained. It does not rely on other GO algorithms and is very easy to use. Numerical results show that it is a competitive alternative for expensive global optimization.

A block SPP algorithm for multidimensional tridiagonal equations with optimal message vector length

A parallel strategy for solving multidimensional tridiagonal equations is investigated in this paper. We present in detail an improved version of single parallel partition (SPP) algorithm in conjunction with message vectorization, which aggregates several communication messages into one to reduce the communication cost. We show the resulting block SPP can achieve good speedup for a wide range of message vector length (MVL), especially when the number of grid points in the divided direction is large. Instead of only using the largest possible MVL, we adopt numerical tests and modeling analysis to determine an optimal MVL so that significant improvement in speedup can be obtained.

Numerical Simulation of Liquefaction Deformation of Sand Layer around Bucket Foundations under Dynamic Loadings

Bucket Foundations under Dynamic Loadings The liquefaction deformation of sand layer around a bucket foundation is simulated under equivalent dynamic ice-induced loadings. A simplified numerical model is presented by taking the bucket-soil interaction into consideration. The development of vertical and horizontal liquefaction deformations are computed under equivalent dynamic ice-induced loadings. Firstly, the numerical model and results are proved to be reliable by comparing them with the centrifuge testing results. Secondly, the factors and the development characteristics of liquefaction deformation are analyzed. Finally, the following numerical simulation results are obtained: the liquefaction deformation of sand layer increases with the increase of loading amplitude and with the decrease of loading frequency and sand skeleton’s strength. The maximum vertical deformation is located on the sand layer surface and 1/4 times of the bucket’s height apart from the bucket’s side wall (loading boundary). The maximum horizontal deformation occurs at the loading boundary. When the dynamic loadings is applied for more than 5 hours, the vertical deformation on the sand layer surface reaches 3 times that at the bottom, and the horizontal deformation at 2.0 times of the bucket height apart from the loading boundary is 3.3% of which on the loading boundary.

Smoothed Particle Hydrodynamics (SPH): an Overview and Recent Developments

Smoothed particle hydrodynamics (SPH) is a meshfree particle method based on Lagrangian formulation, and has been widely applied to different areas in engineering and science. This paper presents an overview on the SPH method and its recent developments, including (1) the need for meshfree particle methods, and advantages of SPH, (2) approximation schemes of the conventional SPH method and numerical techniques for deriving SPH formulations for partial differential equations such as the Navier-Stokes (N-S) equations, (3) the role of the smoothing kernel functions and a general approach to construct smoothing kernel functions, (4) kernel and particle consistency for the SPH method, and approaches for restoring particle consistency, (5) several important numerical aspects, and (6) some recent applications of SPH. The paper ends with some concluding remarks.

High Order Multi-Moment Constrained Finite Volume Method. Part I: Basic Formulation

A new high-order finite volume method based on local reconstruction is presented in this paper. The method, so-called the multi-moment constrained finite volume (MCV) method, uses the point values defined within single cell at equally spaced points as the model variables (or unknowns). The time evolution equations used to update the unknowns are derived from a set of constraint conditions imposed on multi kinds of moments, i.e. the cell-averaged value and the point-wise value of the state variable and its derivatives. The finite volume constraint on the cell-average guarantees the numerical conservativeness of the method. Most constraint conditions are imposed on the cell boundaries, where the numerical flux and its derivatives are solved as general Riemann problems. A multi-moment constrained Lagrange interpolation reconstruction for the demanded order of accuracy is constructed over single cell and converts the evolution equations of the moments to those of the unknowns. The presented method provides a general framework to construct efficient schemes of high orders. The basic formulations for hyperbolic conservation laws in 1- and 2D structured grids are detailed with the numerical results of widely used benchmark tests. (C) 2009 Elsevier Inc. All rights reserved.

Development and use of parasitoids (Hymenoptera : Aphidiidae & Aphelinidae) for biological control of aphids in China

A review of aphid parasitoids in China with special emphasis on their production, utilization, and conservation is presented with a brief history of Chinese biological control. Twenty genera, 99 species of Aphidiidae and two genera, 11 species of Aphelinidae were recorded in China. Each parasitoid is listed with a brief description of aphids, host plants, areas of study such as taxonomy, biology, bionomics, geographic distribution, rearing, and literature citations. Achievements, status, and problems in aphid parasitoid production, utilization, conservation, and future prospects are detailed for dominant aphid parasitoids such as Aphidius gifuensis Ashmead, A. ervi Haliday and Aphelinus mali Haldeman. Finally, opportunities and challenges of commercialization commercialization of natural enemies, especially aphid parasitoids, in China, are analyzed and discussed.

Design and performance of monolithic integrated electro-absorption modulated distributed feedback laser - art. no. 67820Y

High performance InGaAsP/InGaAsP strained compensated multiple-quantum-well (MQW) electroabsorption modulators (EAM) monolithically integrated with a DFB laser diode have been designed and realized by ultra low metal-organic vapor phase epitaxy (MOVPE) based on a novel butt joint scheme. The optimization thickness of upper SCH layer for DFB and EAM was obtained of the proposed MQW structure of the EAM through numerical simulation and experiment. The device containing 250(mu m) DFB and 170(mu m) EAM shows good material quality and exhibits a threshold current of 17mA, an extinction ratio of higher than 30 dB and a very high modulation efficiency (12dB/V) from 0V to 1V. By adopting a high-mesa ridge waveguide and buried polyimide, the capacitance of the modulator is reduced to about 0.30 pF corresponding to a 3dB bandwidth more than 20GHz.

basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

NP难问题的算法和实验性研究

NP难是计算机科学中的一个重要概念和核心问题，自从它的提出到现在， 人们已经得到了很多重要的理论结果。直观上讲，一个问题一旦被证明是NP难 的就意味着我们很难找到该问题的一个多项式时间的有效算法。但从实用的角 度讲，对于应用中遇到的问题，单单是证明它很难（是NP难的）是不够的，如何 在合理的时间内求解实际问题也是必须解决的现实问题。本文主要侧重于NP难 问题的算法和实验性研究，研究对象主要是可满足性问题、图的顶点染色、图 的子图匹配等NP难问题，以及可满足性模理论的解空间计算和体积估算等扩展 问题。 围绕几个著名的问题，本文的主要工作如下： 针对图染色问题，日本研究人员提出了一种通过组合小图单元得到大的难 实例的方法。他们通过试错的方式手工找到了7个小图单元。我们提出了一种新 的构造算法来系统地生成这类小图单元，用我们的算法生成的难图染色实例， 主流的图染色工具需要指数时间才能求解；在一些专门求解色数比较小的图的 图染色工具上我们的算法生成的实例更难求解。针对皇后图染色问题，我们利 用模型查找工具SEM来对这类问题进行求解，在求解过程中提出了新的变量选 择策略，发现比简单地使用可满足性问题工具和图染色工具效果要好。 针对语义Web推理中的关键问题RDF蕴含关系的判定问题，我们利用从子 图同构问题到可满足性问题的编码方案，把它转化为命题逻辑公式的可满足性 判定问题，并采用了启发式的方法对编码过程进行必要的化简得到较少的布尔 公式，然后再利用高效的可满足性问题工具来求解。这种转化为可满足性问题 的方法，是跟RDF简单蕴含的模型论语义结合比较自然的一个方法。在小规模 实例上，这种方法的效果也很好。 针对布尔和数值混合约束的公式，即可满足性模理论（线性理论）公式的 体积计算这一新问题，我们首先给出一个直接计算体积的方法，然后提出一个 改进的算法，并研究了如何通过引入可满足性模理论中的技术来尝试对该算法 进一步地改进。我们实现了工具并做了实验。在一个实际的程序实例上，我们 还就“热门路径”问题做了实例研究和探讨。 体积计算是一个有广泛应用背景的经典难题（#P难的），但以前的方法要 么只能处理线性约束，要么只具有理论价值（不够实用）；针对含非线性约束的 体积计算问题我们提出了实用的算法，并设计了相应的工具，在低维实例有很 好的逼近效果。

Ultra-broadband optical parametric chirped-pulse amplification by matching of both group-velocity and pulse-front

Ultra-broadband optical parametric chirped-pulse amplification is analyzed based the compensation of phase-mismatch, which is achieved by matching of both group-velocity and pulse-front between signal and idler by the combination of the noncollinear-phase-match and pulse-front-tilt. The results show exactly matching of both group-velocity and pulse-front is the important criterion for constructing an UBOPCPA. Its general model is developed, in which the group velocities, noncollinear angles. spatial walk-off angles, linear angular spectral dispersion coefficients and pulse-front tilted angles are suitably linked to each other. Finally, specific numerical calculations and simulations are presented for beta-barium borate OPCPA with type-1 noncollinear angularly dispersed geometry. (C) 2005 Elsevier B.V. All rights reserved.

Phase and amplitude reconstruction from a single carrier-frequency interferogram without phase unwrapping

A rapid algorithm for phase and amplitude reconstruction from a single spatial-carrier interferogram is proposed by bringing a phase-shifting mechanism into reconstruction of a carrier-frequency interferogram. The algorithm reconstructs phase through directly obtaining and integrating its real-value derivatives, avoiding a phase unwrapping process. The proposed method is rapid and easy to implement and is made insensitive to the profile of the interferogram boundaries by choosing a suitable integrating path. Moreover, the algorithm can also be used to reconstruct the amplitude of the object wave expediently without retrieving the phase profile in advance. The feasibility of this algorithm is demonstrated by both numerical simulation and experiment. (c) 2008 Optical Society of America.

Intrabeam scattering of heavy ions at HIRFL-CSR

Small-angle multiple intrabeam scattering (IBS) is an important effect for heavy-ion storage rings with electron cooling, because the cooling time is determined by the equilibrium between cooling and IBS process. All usually used numerical algorithms of IBS growth rate calculations are based on the model of the collisions proposed by A.Piwinski, but this result is a multidimensional integral. In this paper, the IBS growth rates are simulated for HIRFL-CSR using symmetric elliptic integral method, and compared with several available IBS code results.

Relativistic Continuum Random Phase Approximation and Applications I. Formalism

A fully consistent relativistic continuum random phase approximation (RCRPA) is constructed in terms of the Green's function technique. In this method the contribution of the continuum spectrum to nuclear excitations is treated exactly by the single particle Green's function, which includes also the negative states in the Dirac sea in the nose aapproximation. The theoretical formalism of RCRPA and numerical details are presented. The single particle Green's function is calculated numerically by a proper product of regular and irregular solutions of the Dirac equation. The numerical details and the formalism of RCRPA in the momentum representation are presented.

Biopotentials of marine sponges from China oceans: past and future

An extensive literature survey of over 17 Journals was carried out on Chinese sponges and their natural products in the period from 1980 to 2001. This review is thus intended to provide the first thorough overview of research on marine sponges from China Ocean territories. Information is provided about the rather-limited taxonomic study of Chinese marine sponges, with an analysis on their distribution and diversity. Research findings on the natural products and their bioactivity screening from Chinese sponges are summarized. The weaknesses, gaps and problems in the past R&D program of Chinese sponges are identified, which point to the future opportunities in exploiting these huge untapped sponge resources. The report is expected to serve as an entry point for understanding Chinese sponges and for furthering R&D on their bioactive compounds for new drug development. (C) 2003 Elsevier Science B.V. All rights reserved.

ELECTROCHEMISTRY AND IN-SITU IR MICROSPECTROELECTROCHEMISTRY IN A VERSATILE THIN-LAYER REFLECTION FOURIER-TRANSFORM IR MICROSPECTROELECTROCHEMICAL CELL

A simple, convenient and versatile thin layer reflection Fourier transform IR microspectroelectrochemical (FTIRMSEC) cell has been described and characterized. Electrochemistry and in situ FTIR microspectroscopy were studied by using the hexacyanoferrate redox couple in aqueous sulphate solution, indicating that this type of cell is characteristic of both micro- or ultramicroelectrode and thin layer spectroelectrochemistry. Furthermore, the application of this FTIRMSEC cell to IR for characterization of the products of electrochemical reactions was carried out for the oxidation of (mesotetraphenylporphinato)manganese(III) perchlorate in dichloromethane + tetrabutylammonium perchlorate solution. Finally, the advantages and problems of this type of cell compared with a conventional optically transparent thin layer FTIR spectroelectrochemical cell were discussed.