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. 相似文献
1D-nanostructural zinc oxide (ZnO) with different shapes have been synthesized on p-type Si(1 0 0) and glass substrates via vapor phase growth by heating pure zinc powder at temperatures between 480 and 570 °C. The different ZnO nanostructures depend on the substrates and the growth temperatures. Scanning electron microscopy and X-ray diffraction revealed that a well-aligned nanowires array, which are vertical to the substrate of Si(1 0 0) with 18 sides on their heads, but six sides on their stems, has been formed at 480 °C. Raman study on the ZnO nanostructures shows that the coupling strength between electron and phonon determined by the ratio of the second- to the first-order Raman scattering cross-sections declines with decreasing diameter of the nanowires. However, a little changes of the coupling strength in terms of the width of the nanobelts have been observed. 相似文献
Deactivated palladium catalysts in the hydrogenation of anthraquinione were regenerated with ethanol, nitric acid, hydrogen
peroxide, boiling water and steam, respectively. The deactivated and regenerated catalysts were characterized by XPS, ICP,
TG, FTIR, TPD, XRD, etc., and studied in the hydrogenation of anthraquinone. The results showed that the main cause of catalyst deactivation is the
coverage of the active component by deposits. The treatments by hydrogen peroxide and boiling water can effectively regenerate
the deactivated catalysts.
This revised version was published online in August 2006 with corrections to the Cover Date. 相似文献
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. 相似文献