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. 相似文献
Because of package, a single FBG has dual Bragg wavelength. One is sensitive to stress and the other is sensitive to temperature. By using the special mechanism, the wavelengths can be tuned by stress and temperature respectively. 相似文献
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. 相似文献
The effects of partial substitution of Mn for Co on the thermoelectric properties of Ca3MnxCo4−xO9 (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 Ca3MnxCo4−xO9 with light Mn substitution would be a promising candidate for high-temperature thermoelectric applications. 相似文献
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. 相似文献
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. 相似文献
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 SiO2 sacrificial layer with a 5000 lines/mm grating. The results demonstrate the feasibility of this method. 相似文献
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. 相似文献