基于逻辑"或"约束优化的实时系统设计

标准约束优化问题的等式或不等式约束之间是逻辑“与”关系，目前已经有很多高效、收敛的优化算法．但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含逻辑“与”关系，而且还包含逻辑“或”关系，现有的针对标准约束优化问题的各种算法不再适用，给出一种新的数学变换方法，把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式，并应用到实时单调速率调度算法的可调度性判定充要条件中，把实时系统设计表示成混合布尔型整数规划问题，利用经典的分支定界法求解．实验部分指出了各种方法的优缺点．

Application of uniform design and genetic algorithm in optimization of reversed-phase chromatographic separation

An optimization method based on uniform design in conjunction with genetic algorithm is described. According to the proposed method, the uniform design technique was applied to the design of starting experiments, which can reduce the number of experiments compared with traditional simultaneous methods, such as simplex. And genetic algorithm was used in optimization procedure, which can improve the rapidity of optimal procedure. The hierarchical chromatographic response function was modified to evaluate the separation equality of a chromatogram. An iterative procedure was adopted to search for the optimal condition to improve the accuracy of predicted retention and the quality of the chromatogram. The optimization procedure was tested in optimization of the chromatographic separation of 11 alkaloids in reversed-phase ion pair chromatography and satisfactory optimal result was obtained. (C) 2003 Elsevier B.V. All rights reserved.

中鲤亚属的分支系统学分析

基于外部形态特征和内部骨骼特征对鲤科鲤属中鲤亚属进行了分支系统学分析。内群包括中鲤亚属的全部5种和鲤亚属的2种鱼类，外群采用乌原鲤。在鲤属鱼类和外群间共有48个性状存在变化。系统发育分析采用PAUP~(*)软件的Parsimony和Bootstrap两种方式的Branch-and-Bound算法。排除不能极化的特征和特有离征之后，还有28个特征可用，由这28个特征可得到唯一的系统树，树长69，一致性系数0.7246，排除无用特征的一致性系数0.6122，保留系数0.6346。由5种中鲤组成的中鲤亚属明显不构成一个单系群。结果表明：中鲤亚属是一个复系群，该类元应该被撤销。

Measurement of the inelastic branch of the O-14(alpha, p)F-17 reaction: Implications for explosive burning in novae and x-ray bursters

A measurement of the inelastic component of the key astrophysical resonance in the 14O(α,p)17F reaction for burning and breakout from hot carbon-nitrogen-oxygen (CNO) cycles is reported. The inelastic component is found to be comparable to the ground-state branch and will enhance the 14O(α,p)17F reaction rate. The current results for the reaction rate confirm that the 14O(α,p)17F reaction is unlikely to contribute substantially to burning and breakout from the CNO cycles under novae conditions. The reaction can, however, contribute strongly to the breakout from the hot CNO cycles under the more extreme conditions found in x-ray bursters.

Simulation of Vortex-dominant and Turbulent Flows in Natural Environment

In the present talk, the simulation of vortex dominant and turbulent flows are primarily addressed. To cope with complicated circumstances in environmental flows we illustrate the strategy of combining simplified physical model and suitable algorithm by a few examples.

Investigation on the Interaction of Laser Beam and Metal Powders Conveyed by Coaxial Powder Feeder

In order to investigate the transient thermal stress field in wall-shape metal part during laser direct forming, a FEM model basing on ANSYS is established, and its algorithm is also dealt with. Calculation results show that while the wall-shape metal part is being deposited, in X direction, the thermal stress in the top layer of the wall-shape metal part is tensile stress and in the inner of the wall-shape metal part is compressive stress. The reason causing above-mentioned thermal stress status in the wall-shape metal part is illustrated, and the influence of the time and the processing parameters on the thermal stress field in wall-shape metal part is also studied. The calculation results are consistent with experimental results in tendency.

Phase unwrapping algorithms, respectively, based on path-following and discrete cosine transform

This paper describes a path-following phase unwrapping algorithm and a phase unwrapping algorithm based on discrete cosine transform (DCT) which accelerates the Computation and suppresses the propagation of noise. Through analysis of fringe pattern with serious noises simulated in mathematic model, we make a contrast between path-following algorithm and DCT algorithm. The advantages and disadvantages or analytical fringe pattern are also given through comparison of two algorithms. Three-dimensional experimental results have been given to prove the validity of these algorithms. Despite DCT phase unwrapping technique robustness and speed in some cases, it cannot be unwrapping inconsistencies phase. The path-following algorithm can be used in automation analysis of fringe patterns with little influence of noise. (c) 2007 Elsevier GmbH. All rights reserved.

Algorithm of far-field centre estimation based on phase-only matched filter

Estimation of the far-field centre is carried out in beam auto-alignment. In this paper, the features of the far-field of a square beam are presented. Based on these features, a phase-only matched filter is designed, and the algorithm of centre estimation is developed. Using the simulated images with different kinds of noise and the 40 test images that are taken in sequence, the accuracy of this algorithm is estimated. Results show that the error is no more than one pixel for simulated noise images with a 99% probability, and the stability is restricted within one pixel for test images. Using the improved algorithm, the consumed time is reduced to 0.049 s.

Identification of Prorocentrum minimum and Takayama pulchella by fluorescence in situ hybridization through epifluorescence microscopy and flow cytometry

Partial rDNA sequences of Prorocentrum minimum and Takayama pulchella were amplified, cloned and sequenced. and these sequence data were deposited in the GenBank. Eight oligonucleotide probes (DNA probes) were designed based on the sequence analysis. The probes were employed to detect and identify P. minimum and T. pulchella in unialgal and mixed algal samples with a fluorescence in situ hybridization method using flow cytometry. Epifluorescence micrographs showed that these specific probes labeled with fluorescein isothiocyanate entered the algal cells and bound to target sequences, and the fluorescence signal resulting from whole-cell hybridization varied from probe to probe. These DNA probes and the hybridization protocol we developed were specific and effective for P. minimum and T. pulchella, without any specific binding to other algal species. The hybridization efficiency of different probes specific to P. minimum was in the order: PM18S02 > PM28S02 > PM28S01 > PM18S01, and that of the probes specific to T. pulchella was TP18S02 > TP28S01 > TP28S02 > TP18S01. The different hybridization efficiency of the DNA probes could also be shown in the fluorescent signals between the labeled and unlabeled cells demonstrated using flow cytometry. The DNA probes PM18S02, PM28S02; TP18S02 and TP28S01, and the protocol, were also useful for the detection of algae in natural samples.

Mathematical symbols and computing methods in high dimensional biomimetic informatics and their applications

High dimensional biomimetic informatics (HDBI) is a novel theory of informatics developed in recent years. Its primary object of research is points in high dimensional Euclidean space, and its exploratory and resolving procedures are based on simple geometric computations. However, the mathematical descriptions and computing of geometric objects are inconvenient because of the characters of geometry. With the increase of the dimension and the multiformity of geometric objects, these descriptions are more complicated and prolix especially in high dimensional space. In this paper, we give some definitions and mathematical symbols, and discuss some symbolic computing methods in high dimensional space systematically from the viewpoint of HDBI. With these methods, some multi-variables problems in high dimensional space can be solved easily. Three detailed algorithms are presented as examples to show the efficiency of our symbolic computing methods: the algorithm for judging the center of a circle given three points on this circle, the algorithm for judging whether two points are on the same side of a hyperplane, and the algorithm for judging whether a point is in a simplex constructed by points in high dimensional space. Two experiments in blurred image restoration and uneven lighting image correction are presented for all these algorithms to show their good behaviors.

Intrasubband and intersubband transitions in lightly and heavily doped GaAs/AlGa1-xAs multiple quantum wells

We use a polarizer to investigate quantum-well infrared absorption, and report experimental results as follows. The intrasubband transition was observed in GaAs/AlxGa1-xAs multiple quantum wells (MQWs) when the incident infrared radiation (IR) is polarized parallel to the MQW plane. According to the selection rule, an intrasubband transition is forbidden. Up to now, most studies have only observed the intersubband transition between two states with opposite parity. However, our experiment shows not only the intersubband transitions, but also the intrasubband transitions. In our study, we also found that for light doping in the well (4x10(18) cm(-3)), the intrasubband transition occurs only in the lowest subband, while for the heavy doping (8x10(18) cm(-3)), such a transition occurs not only in the lowest subband, but also in the first excited one, because of the electron subband filling. Further experimental results show a linear dependence of the intrasubband transition frequency on the root of the well doping density. These data are in good agreement with our numerical results. Thus we strongly suggest that such a transition can be attributed to plasma oscillation. Conversely, when the incident IR is polarized perpendicular to the MQW plane, intersubband-transition-induced signals appear, while the intrasubband-transition-induced spectra disappear for both light and heavy well dopings. A depolarization blueshift was also taken into account to evaluate the intersubband transition spectra at different well dopings. Furthermore, we performed a deep-level transient spectroscopy (DLTS) measurement to determine the subband energies at different well dopings. A good agreement between DLTS, infrared absorption, and numerical calculation was obtained. In our experiment, two important phenomena are noteworthy: (1) The polarized absorbance is one order of magnitude higher than the unpolarized spectra. This puzzling result is well explained in detail. (2) When the IR, polarized perpendicular to the well plane, normally irradiates the 45 degrees-beveled edge of the samples, we only observed intersubband transition spectra. However, the intrasubband transition signals caused by the in-plane electric-field component are significantly absent. The reason is that such in-plane electric-field components can cancel each other out everywhere during the light propagating in the samples. The spectral widths of bound-to-bound and bound-to-continuum transitions were also discussed, and quantitatively compared to the relaxation time tau, which is deduced from the electron mobility. The relaxation times deduced from spectral widths of bound-to-bound and bound-to-continuum transitions are also discussed, and quantitatively compared to the relaxation time deduced from electron mobility. [S0163-1829(98)01912-2].

Superluminescent diode monolithically integrated with novel Y-branch by bundle integrated waveguide for fiber optic gyroscope - art. no. 68380D

We have developed a novel InP-based, ridge-waveguide photonic integrated circuit (PIC), which consists of a 1.1-um wavelength Y-branch optical waveguide with low loss and improved far field pattern and a 1.3-um wavelength strained InGaAsP-InP multiple quantum-well superluminescent diode, with bundle integrated guide (BIG) as the scheme for monolithic integration. The simulations of BIG and Y-branches show low losses and improved far-field patterns, based on the beam propagation method (BPM). The amplified spontaneous emission of the device is up to 10 mW at 120 mA with no threshold and saturation. Spectral characteristics of about 30 nm width and less than I dB modulation are achieved using the built-in anti-lasing ability of Y-branch. The beam divergence angles in horizontal and vertical directions are optimized to as small as 12 degrees x8 degrees, resulting in good fiber coupling. The compactness, simplicity in fabrication, good superluminescent performance, low transmission loss and estimated low coupling loss prove the BIG and Y-branch method to be a feasible way for integration and make the photonic integrated circuit of Y-branch and superluminescent diode an promising candidate for transmitter and transceiver used in fiber optic gyroscope.

Design and path planning for a remote-brained service robot

This paper presents a novel robot named "TUT03-A" with expert systems, speech interaction, vision systems etc. based on remote-brained approach. The robot is designed to have the brain and body separated. There is a cerebellum in the body. The brain with the expert systems is in charge of decision and the cerebellum control motion of the body. The brain-body. interface has many kinds of structure. It enables a brain to control one or more cerebellums. The brain controls all modules in the system and coordinates their work. The framework of the robot allows us to carry out different kinds of robotics research in an environment that can be shared and inherited over generations. Then we discuss the path planning method for the robot based on ant colony algorithm. The mathematical model is established and the algorithm is achieved with the Starlogo simulating environment. The simulation result shows that it has strong robustness and eligible pathfinding efficiency.

A voltage-controlled tunable two-color infrared photodetector using GaAs/AlAs/GaAlAs and GaAs/GaAlAs stacked multiquantum wells

A voltage-controlled tunable two-color infrared detector with photovoltaic (PV) and photoconductive (PC) dual-mode operation at 3-5 mu m and 8-14 mu m using GaAs/AlAs/AlGaAs double barrier quantum wells (DBQWs) and bound-to-continuum GaAs/AlGaAs quantum wells is demonstrated. The photoresponse peak of the photovoltaic GaAs/AlAs/GaAlAs DBQWs is at 5.3 mu m, and that of the photoconductive GaAs/GaAlAs quantum wells is at 9.0 mu m. When the two-color detector is under a zero bias, the spectral response at 5.3 mu m is close to saturate and the peak detectivity at 80 K can reach 1.0X10(11) cmHz(1/2)/W, while the spectral photoresponsivity at 9.0 mu m is absolutely zero completely. When the external voltage of the two-color detector is changed to 2.0 V, the spectral photoresponsivity at 5.3 mu m becomes zero while the spectral photoresponsivity at 9.0 mu m increases comparable to that at 5.3 mu m under zero bias, and the peak detectivity (9.0 mu m) at 80 K can reach 1.5X10(10) cmHz(1/2)/W. Strictly speaking, this is a real bias-controlled tunable two-color infrared photodetector. We have proposed a model based on the PV and PC dual-mode operation of stacked two-color QWIPs and the effects of tunneling resonance with narrow energy width of photoexcited electrons in DBQWs, which can explain qualitatively the voltage-controlled tunable behavior of the photoresponse of the two-color infrared photodetector. (C) 1996 American Institute of Physics.

Computer perception of topological symmetry by all-paths algorithm

During the development of our ESESOC system (Expert System for the Elucidation of the Structures of Organic Compounds), computer perception of topological symmetry is essential in searching for the canonical description of a molecular structure, removing the irredundant connections in the structure generation process, and specifying the number of peaks in C-13- and H-1-NMR spectra in the structure evaluation process. In the present paper, a new path identifier is introduced and an algorithm for detection of topological symmetry from a connection table is developed by the all-paths method. (C) 1999 Elsevier Science B.V. All rights reserved.