We show how to construct an O(root n)-separator decomposition of a planar graph G in O(n) time. Such a decomposition defines a binary tree, where each node corresponds to a subgraph of G and stores an O(root n)-separa...
详细信息
We show how to construct an O(root n)-separator decomposition of a planar graph G in O(n) time. Such a decomposition defines a binary tree, where each node corresponds to a subgraph of G and stores an O(root n)-separator of that subgraph. We also show how to construct an O(n(epsilon))-way decomposition tree in parallel in O(log n) time so that each node corresponds to a subgraph of G and stores an O(n(12+epsilon))-separator of that subgraph. We demonstrate the utility of such a separator decomposition by showing how it can be used in the design of a parallel algorithm for triangulating a simple polygon deterministically in O(log n) time using O(n/log n) processors on a CRCW PRAM. (C) 1995 Academic Press, Inc.
Parallel genetic algorithms (GAs) are complex programs that are controlled by many parameters, which affect their search quality and their efficiency. The goal of this paper is to provide guidelines to choose those pa...
详细信息
Parallel genetic algorithms (GAs) are complex programs that are controlled by many parameters, which affect their search quality and their efficiency. The goal of this paper is to provide guidelines to choose those parameters rationally. The investigation centers on the sizing of populations, because previous studies show that there is a crucial relation between solution quality and population size. As a first step, the paper shows how to size a simple GA to reach a solution of a desired quality. The simple GA is then parallelized, and its execution time is optimized. The rest of the paper deals with parallel GAs with multiple populations. Two bounding cases of the migration rate and topology are analyzed, and the case that yields good speedups is optimized. Later, the models are specialized to consider sparse topologies and migration rates that are more likely to be used by practitioners. The paper also presents the additional advantages of combining multi- and single-population parallel GAs. The results of this work are simple models that practitioners may use to design efficient and competent parallel GAs. (C) 2000 Elsevier Science S.A. All rights reserved.
The greatest fixed point of a set functor is proved to be (a) a metric completion and (b) a CPO-completion of finite iterations. For each (possibly infinitary) signature Sigma the terminal C-coalgebra is thus proved t...
详细信息
The greatest fixed point of a set functor is proved to be (a) a metric completion and (b) a CPO-completion of finite iterations. For each (possibly infinitary) signature Sigma the terminal C-coalgebra is thus proved to be the coalgebra of all C-labelled trees;this is the completion of the set of all such trees of finite depth. A set functor is presented which has a fixed point but does not have a greatest fixed point. A sufficient condition for the existence of a greatest fixed point is proved: the existence of two fixed points of successor cardinalities.
The impact of Ta doping on two orthoniobates SmNbO4 and HoNbO4 has been studied using a combination of high-resolution powder diffraction and Density-Functional theory calculations. In both ANb(1-x)Ta(x)O(4) (A = Sm, ...
详细信息
The impact of Ta doping on two orthoniobates SmNbO4 and HoNbO4 has been studied using a combination of high-resolution powder diffraction and Density-Functional theory calculations. In both ANb(1-x)Ta(x)O(4) (A = Sm, Ho) series the unit cell volume decreases as the Ta content increased demonstrating that the effective ionic radii of Ta is smaller than that of Nb in this structure. The average Sm-O distance and volume of the SmO8 polyhedra were invariant of the Ta content across the SmNb1-xTaxO4 solid solution whereas the average M-O (M = Nb or Ta) distance and MO6 polyhedral volume decrease with Ta doping. The analogous Ho oxides HoNb1-xTaxO4 do not form a complete solid solution when the samples were prepared at 1400 degrees C, rather there is a miscibility gap around x = 0.95, with HoTaO4 exhibiting the M '-type P2/c structure rather than the M-type I2/a structure of HoNbO4. Increasing the synthesis temperature to 1450 degrees C eliminates the miscibility gap. The energy difference between the P2/c and I2/a structures of HoTaO4 is found to be nearly 30 meV per f.u. with the total energy of the P2/c phase of HoTaO4 being more negative. First-principles calculations, carried out using Density-Functional theory, reveal significant covalent character in the Nb-O bonds, which is reduced in the corresponding tantalates. Anisotropy in the Born Effective Charge tensors demonstrates the impact of the long M-O bond identified in the structural studies showing that the Nb and Ta cations are effectively six-coordinate. The similarity in the frequency of the intense Raman peak near 800 cm(-1) due to the symmetric stretching of the Ta-O bonds is consistent with the description of that both polymorphs of HoTaO4 contain TaO6 octahedra.
A bridging ((2)) neutral zwitterionic amidoxime binding mode previously unobserved between amidoximes and uranyl is reported and compared to other uranyl amidoxime complexes. Density functional theorycomputations sho...
详细信息
A bridging ((2)) neutral zwitterionic amidoxime binding mode previously unobserved between amidoximes and uranyl is reported and compared to other uranyl amidoxime complexes. Density functional theorycomputations show the dinuclear complex exhibits a shallow potential energy surface allowing for facile inclusion of a nonbonding water molecule in the solid-state.
This manuscript reports four new gold(I)-silver(I) complexes with 2-(2-pyridyl)-1,8-naphthyridine (pyNP) and terpyridine (terpy) as ancillary ligands, having formulae [Ag(pyNP)(Au(CN)2)]2 (1), [Ag2Au2(mu-CN)(2)(CN)2(p...
详细信息
This manuscript reports four new gold(I)-silver(I) complexes with 2-(2-pyridyl)-1,8-naphthyridine (pyNP) and terpyridine (terpy) as ancillary ligands, having formulae [Ag(pyNP)(Au(CN)2)]2 (1), [Ag2Au2(mu-CN)(2)(CN)2(pyNP)(2)] (2), [Ag2Au(mu-CN)(2)(terpy)(2)][Au(CN)(2)] (3) and [Ag4Au4(mu-CN)(8)(terpy)(2)(py)] (4). Complexes 1 and 2 are structural isomers obtained from different solvents. The Au(CN)2- anion is not coordinated and establishes intramolecular Au ... Ag,Ag interactions in 1. In contrast, it is monocoordinated to silver atoms via a CN fragment in compound 2 and no metallophilic interaction is observed. In compound 3, one Au(CN)(2) anion bridges two Ag(terpy) fragments. In this complex an infinite array of gold atoms is found, exhibiting aurophilic interactions of 3.415 angstrom. In complex 4 the 3D architecture observed in the crystal packing is driven by Au...Au and Au...Ag metallophilic interactions. All compounds have been structurally and vibrationally characterized to better understand the crystal forces. In addition, a solution chemistry study in different solvents by ESI-MS spectrometry was performed to comprehend the speciation and solvent effects. Finally, DFT calculations were carried out to analyze the Ag...Au interactions and also the pi-stacking interactions that are relevant in the crystal packing of some structures. Special attention has been paid to the bifurcated nature of the Au...Ag,Ag interactions in compound 1 that has been analyzed theoretically using the quantum theory of atoms-in-molecules (QTAIM) and the Natural Bond Orbital (NBO) computational tools.
The finding that transition metals on Mo2C-supported nanocatalysts are promising for water-gas shift (WGS) reactions at room temperature has generated much excitement. However, the progress achieved with computational...
详细信息
The finding that transition metals on Mo2C-supported nanocatalysts are promising for water-gas shift (WGS) reactions at room temperature has generated much excitement. However, the progress achieved with computational chemistry in this area is far behind that of experimental studies. Accordingly, density functional theory (DFT) calculations have been used to design the catalytic activity center structure and study the stabilities and catalytic performances of transition metals doped on beta-Mo2C(001) surfaces. A new catalyst that comprises atomically dispersed Pt over Mo2C was designed using DFT. The bimetallic Mo2C surfaces doped with single metal Pt exhibit catalytic activities similar to those of the Pt systems for WGS, while demonstrating the advantages of lower costs and higher thermal stabilities. Importantly, the Pt@Mo2C catalyst is more efficient than the pure Pt catalyst for H-2 production under the same reaction conditions. Meanwhile, the density of active sites of Pt@Mo2C(001) for H-2 production is considerably increased due to its highly dispersed Pt structure. Therefore, Mo and Pt can synergistically increase H-2 production. These findings are significantly beneficial for establishing the relationship between the structure and characteristics of the catalyst, understanding the catalytic activities of single-atom catalysts, and gaining insight into the feasibility of developing substitutes for expensive noble metal catalysts.
作者:
LOWE, MFR 6-1
Technische Universitä t Berlin
Franklinstrasse 28/29 W-1000 Berlin 10 Germany
The single-pushout approach to graph transformation interprets a double-pushout transformation rule of the classical algebraic approach which consists of two total graph morphisms as a single partial morphism from the...
详细信息
The single-pushout approach to graph transformation interprets a double-pushout transformation rule of the classical algebraic approach which consists of two total graph morphisms as a single partial morphism from the left- to the right-hand side. The notion of a double-pushout diagram for the transformation process can then be substituted by a single-pushout diagram in an appropriate category of partial morphisms. It can be shown that this kind of transformation generalizes the double-pushout framework. Hence, the classical approach can be seen as a special (and very important) case of the new concept. It can be reobtained from the single-pushout approach by imposing an application condition on the redices which formulates the gluing conditions in the new setting. On the other hand, single-pushout transformations are always possible even if the gluing conditions for the redex are violated. The simpler structure of a direct transformation (one pushout diagram instead of two) simplifies many proofs. Hence, the whole theory for double-pushout transformations including sequential composition, parallel composition, and amalgamation can be reformulated and generalized in the new framework. Some constructions provide new effects and properties which are discussed in detail.
The importance of an abstract approach to a computation theory over general data types has been stressed by Tucker in many of his papers. Berger and Seisenberger recently elaborated the idea for extraction out of proo...
详细信息
The importance of an abstract approach to a computation theory over general data types has been stressed by Tucker in many of his papers. Berger and Seisenberger recently elaborated the idea for extraction out of proofs involving (only) abstract reals. They considered a proof involving coinduction of the proposition that any two reals in [-1, 1] have their average in the same interval, and informally extract a Haskell program from this proof, which works with stream representations of reals. Here we formalize the proof, and machine extract its computational content using the Minlog proof assistant. This required an extension of this system to also take coinduction into account.
Spin-orbit torque (SOT) plays a significant role in spintronic logic and memory devices. However, due to the limited spin Hall angle and SOT symmetry in a heavy-metal-ferromagnet bilayer, further improving SOT efficie...
详细信息
Spin-orbit torque (SOT) plays a significant role in spintronic logic and memory devices. However, due to the limited spin Hall angle and SOT symmetry in a heavy-metal-ferromagnet bilayer, further improving SOT efficiency and all-electric magnetization manipulation remain a challenge. Here we report enhanced SOT efficiency and all-electric switching in Au based magnetic structures, by inserting two-dimensional transition metal dichalcogenides (2D TMDs) with large spin-orbit coupling. With the TMD spacer insert, both damping-like and field-like SOTs are improved, and an unconventional out-of-plane damping-like SOT is induced, due to the interface orbital hybridization, modified spin-mixing conductance and orbital current. Moreover, current induced field-free magnetization switching is demonstrated in Au/WTe2/Ni and Au/MoS2/Ni devices, and it shows multiple intermediate states and can be efficiently controlled by an electric current. Our results open a path for increasing torques and expand the application of 2D TMDs in spintronic devices for neuromorphic computing.
暂无评论