Approximating schedules for dynamic process graphs efficiently

A model for parallel and distributed programs, the dynamic process graph (DPG), is investigated under graph-theoretic and complexity aspects. Such graphs embed constructors for parallel programs, synchronization mechanisms as well as conditional branches. They are capable of representing all possible executions of a parallel or distributed program in a very compact way. The size of this representation can be as small as logarithmic with respect to the size of any execution of the program.

In a preceding paper [A. Jakoby, et al., Scheduling dynamic graphs, in: Proc. 16th Symposium on Theoretical Aspects in Computer Science STACS'99, LNCS, vol. 1563, Springer, 1999, pp. 383–392] we have analysed the expressive power of the general model and various variants of it. We have considered the scheduling problem for DPGs given enough parallelism taking into account communication delays between processors when exchanging data. Given a DPG the question arises whether it can be executed (that means whether the corresponding parallel program has been specified correctly), and what is its minimum schedule length.

In this paper we study a subclass of dynamic process graphs called -output DPGs, which are appropriate in many situations, and investigate their expressive power. In a previous paper we have shown that the problem to determine the minimum schedule length is still intractable for this subclass, namely this problem is -complete as is the general case. Here we will investigate structural properties of the executions of such graphs. A natural graph-theoretic conjecture that executions must always split into components that are isomorphic to subgraphs turns out to be wrong. We are able to prove a weaker property. This implies a quadratic upper bound on the schedule length that may be necessary in the worst case, in contrast to the general case, where the optimal schedule length may be exponential with respect to the size of the representing DPG. Making this bound constructive, we obtain an approximation to a -complete problem. Computing such a schedule and then executing the program can be done on a parallel machine in polynomial time in a highly distributive fashion.     

Determination of carbamazepine by chemiluminescence detection using chemically prepared tris(2,2'-bipyridine)ruthenium(III) as oxidant.

A new chemiluminescence method for the determination of carbamazepine (CBZ) has been developed. The method is based on the chemiluminescence produced in the reaction of tris(2,2'-bipyridine)ruthenium(III) and CBZ in an acidic medium. The chemiluminescence intensity was enhanced by organic solvents in the reaction system. Under the optimum experimental conditions, the calibration curve was linear over the range 4.0 x 10(-3)-8.6 x 10(-7) mol/L for CBZ. The detection limit (S/N = 3) was 2.5 x 10(-7) mol/L and the relative standard deviation of six replicate measurements was 2.6% for 4.0 x 10(-4) mol/L of CBZ. The possible reaction mechanism were also discussed. The chemiluminescence method was successfully applied to assay the CBZ contents in pharmaceutical tablets.     

多目标半定规划的互补弱鞍点和G-鞍点最优性条件

对于含矩阵函数半定约束和多个目标函数的多目标半定规划问题，给出Lagrange函数在弱有效意义下的互补弱鞍点和Geofrrion恰当有效意义下的G-鞍点的定义及其等价定义．然后，在较弱的凸性条件下，利用含矩阵和向量约束的择一性定理，建立多目标半定规划的互补弱鞍点和G-鞍点充分必要条件．     

The effect of Mn substitution on thermoelectric properties of Ca3MnxCo4−xO9 at low temperatures

The effects of partial substitution of Mn for Co on the thermoelectric properties of Ca₃Mn_xCo_4−xO₉ (x=0, 0.03, 0.9), prepared by sol-gel process, were investigated at the temperatures from 380 K down to 5 K. The results indicate that the substitution of Mn for Co results in increase in thermopower at temperatures >∼80 K, and substantial (23-31% at 300 K) decrease in lattice thermal conductivity in the whole temperature range investigated. The temperature behavior of ZT suggests that Ca₃Mn_xCo_4−xO₉ with light Mn substitution would be a promising candidate for high-temperature thermoelectric applications.     

Saddle point and generalized convex duality for multiobjective programming

In this paper we consider the dual problems for multiobjective programming with generalized convex functions. We obtain the weak duality and the strong duality. At last, we give an equivalent relationship between saddle point and efficient solution in multiobjective programming.     

Decay distribution of spontaneous emission from atoms in one-dimensional photonic crystal

Spontaneous emission behavior from atoms (or molecules) in one-dimensional photonic crystal with a defect is investigated. Taken all the TE and TM modes into account, the normalized spontaneous emission rate of the atom is calculated as a function of the position of the atom in the crystal. Results for both nonabsorbing dielectric structure and absorbing dielectric structure are presented. With the increase of the thickness of the defect in which the atoms are embedded, the oscillations of the spontaneous emission rate versus the position of the atom become dense and the lifetime distribution becomes narrow and sharp. The PC effect may lead to the coexistence of both accelerated and inhibited decay processes.     

Focused ion beam Moiré method

A focused ion beam (FIB) Moiré method is proposed to measure the in-plane deformation of object in a micrometer scale. The FIB Moiré is generated by the interference between a prepared specimen grating and FIB raster scan lines. The principle of the FIB Moiré is described. The sensitivity and accuracy of deformation measurement are discussed in detail. Several specimen gratings with 0.14 and 0.20 μm spacing are used to generate FIB Moiré patterns. The FIB Moiré method is successfully used to measure the residual deformation in a micro-electro-mechanical system structure after removing the SiO₂ sacrificial layer with a 5000 lines/mm grating. The results demonstrate the feasibility of this method.     

Interface Optical Phonon Modes and Frohlich Electron-Phonon Interaction Hamiltonian in a Multi-shell Spherical Nanoheterosystem

Under dielectric continuum approximation, interface optical (IO) phonon modes and the Frohlich electron-IO phonon interaction Hamiltonian in a multi-shell spherical nanoheterosystem were derived and studied. Numericalcalculations on three-layer and four-layer CdS/HgS spherical nanoheterosystems have been performed. Results revealthat there are four IO phonon modes for the three-layer system and six IO phonon modes for the four-layer system.On each interface, there are two IO phonon modes, the frequency of one is between WTO,CdS and WLO,CdS, and that ofthe other is between WTO,HgS and WLO,HgS. With the increasing of quantum number l, the frequency of each IO modeapproaches one of the two frequency values of the single CdS/HgS heterostructure, and the potential for each IO modeis more and more localized at a certain interface, furthermore, the coupling between the electron-lO phonons becomes weaker.     

溃坝问题的间断有限元方法

本文研究90年代初提出的Runge-Kutta间断Galerkin有限元方法，给出该方法的精度分析，通过经典算例验证该方法处理间断问题、捕捉锐利波形的能力，并将其推广到求解浅水问题．针对坝底无摩擦，无坡度的理想情形进行讨论，给出方溃坝和圆溃坝问题的数值模拟结果．     

Development of Full Automatic External Welding Machine for Annular Welds of Pipeline

To meet the demands of rapid development of pipeline constructions in China, a complete set of full automatic external welding machine for annular welds of pipeline and welding procedure have been developed thereof. The system has been applied in the “West-East Pipeline Project” and its performance is proven. With this welding machine the welding parameters can be either preset before or adjusted in real time during the welding process, which avoids the blemishes of same type domestic and international products. Thus it is best propitious to in-situ construction conditions and workers‘ technical level in China. In this article the development of mechanical and control systems of this product is introduced and typical welding procedure parameters are provided.