An interpolating spline-based approach is presented for modeling multi-flexible-body systems in the divide-and-conquer (DCA) scheme. This algorithm uses the floating frame of reference formulation and piecewise spline...
详细信息
An interpolating spline-based approach is presented for modeling multi-flexible-body systems in the divide-and-conquer (DCA) scheme. This algorithm uses the floating frame of reference formulation and piecewise spline functions to construct and solve the non-linear equations of motion of the multi-flexible-body system undergoing large rotations and translations. The new approach is compared with the flexible DCA (FDCA) that uses the assumed modes method [1]. The FDCA, in many cases, must resort to sub-structuring to accurately model the deformation of the system. We demonstrate, through numerical examples, that the interpolating spline-based approach is comparable in accuracy and superior in efficiency to the FDCA. The present approach is appropriate for modeling flexible mechanisms with thin 1D bodies undergoing large rotations and translations, including those with irregular shapes. As such, the present approach extends the current capability of the DCA to model deformable systems. The algorithm retains the theoretical logarithmic complexity inherent in the DCA when implemented in parallel. (C) 2013 Elsevier Ltd. All rights reserved.
The authors have developed a new approach for large-scale systems including over 100,000 atoms to obtain physical strength from the viewpoint of atom-atom bonding energy. Combining the semi-empirical molecular orbital...
详细信息
The authors have developed a new approach for large-scale systems including over 100,000 atoms to obtain physical strength from the viewpoint of atom-atom bonding energy. Combining the semi-empirical molecular orbital method with real space division method makes it possible to estimate structural parameters, electronic structures and bonding energy for various large systems. With this method, various quantum physical properties can be obtained quickly using the semi-empirical molecular orbital method, while adopting real space division improves the computational efficiency of parallelization. In this study, the authors applied this method to SiH4 molecule and crystalline silica system, and carried out bond order and bonding energy analyses. In this analysis, the developed method offered almost the same analytical accuracy as the first principle method, while its calculation speed was much faster than that of the latter. The developed method was also suitable for parallel computing. (C) 2011 Elsevier B.V. All rights reserved.
A separator theorem for a class of graphs asserts that every graph in the class can be divided approximately in half by removing a set of vertices of specified size. Nontrivial separator theorems hold for several clas...
详细信息
A separator theorem for a class of graphs asserts that every graph in the class can be divided approximately in half by removing a set of vertices of specified size. Nontrivial separator theorems hold for several classes of graphs, including graphs of bounded genus and chordal graphs. We show that any separator theorem implies Various weighted separator theorems. In particular, we show that if the vertices of the graph have real-valued weights, which may be positive or negative, then the graph can be divided exactly in half according to weight. If k unrelated sets of weights are given, the graph can be divided simultaneously by all k sets of weights. These results considerably strengthen earlier results of Gilbert, Lipton, and Tarjan: (1) for k = 1 with the weights restricted to being nonnegative, and (2) for k > 1, nonnegative weights, and simultaneous division within a factor of (1 + epsilon) of exactly in half.
The knight's tour problem is an ancient puzzle whose goal is to find out how to construct a series of legal moves made by a knight so that it visits every square of a chessboard exactly once. In previous works. re...
详细信息
The knight's tour problem is an ancient puzzle whose goal is to find out how to construct a series of legal moves made by a knight so that it visits every square of a chessboard exactly once. In previous works. researchers have partially solved this problem by offering algorithms for subsets of chessboards. For example, among prior studies, Parberry proposed a divided-and-conqueralgorithm that can build a closed knight's tour on an n x n, an n x (n + 1) or an n x (n + 2) chessboard in O(n(2)) (i.e.. linear in area) time on a sequential processor. In this paper we completely solve this problem by presenting new methods that can construct a closed knight's tour or an open knight's tour on an arbitrary n x in chessboard if such a solution exists. Our algorithms also run in linear time (O(nm)) on a sequential processor. (C) 2004 Elsevier B.V. All rights reserved.
Given a stochastic matrix P partitioned in four blocks P-ij, i, j = 1, 2, Kemeny's constant kappa(P) is expressed in terms of Kemeny's constants of the stochastic complements P-1 = P(1)1+ P-12(I-P-22)-1P(21), ...
详细信息
Given a stochastic matrix P partitioned in four blocks P-ij, i, j = 1, 2, Kemeny's constant kappa(P) is expressed in terms of Kemeny's constants of the stochastic complements P-1 = P(1)1+ P-12(I-P-22)-1P(21), and P-2 = P-22+P-21(I-P-11)-1P(12). Specific cases concerning periodic Markov chains and Kronecker products of stochastic matrices are investigated. Bounds to Kemeny's constant of perturbed matrices are given. Relying on these theoretical results, a divide-and-conquer algorithm for the efficient computation of Kemeny's constant of graphs is designed. Numerical experiments performed on real world problems show the high efficiency and reliability of this algorithm. (c) 2024 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http:// creativecommons .org /licenses /by /4 .0/).
In this paper, we provide a systematic method to generate the sheets of two-dimensional layered aluminophosphates with Al3P4O163- stoichiometry. Our approach adopts the divide-and-conquer algorithm to reduce the degre...
详细信息
In this paper, we provide a systematic method to generate the sheets of two-dimensional layered aluminophosphates with Al3P4O163- stoichiometry. Our approach adopts the divide-and-conquer algorithm to reduce the degree of combination explosion caused by simple enumeration. We use Coordination Sequences to identify the same topological meshes in order to get the distinct sheets. We relax the generated sheets using Genetic algorithm, then minimize the energies of the sheets to choose the lower energy sheets which may be synthesized. This approach can generate systemically more than 4,000 distinct sheets by the computer. Some sheets have been synthesized, while some new hypothetical sheets resemble lower energy as the known 2D Al3P4O163- compounds. We further discuss the structural features of 2D Al3P4O163- nets. (C) 1999 Elsevier Science Ltd. All rights reserved.
We exemplify an optimization criterion for divide-and-conquer algorithms with a technique called generic competitive graph search. The technique is then applied to solve two problems arising from biocomputing, so-call...
详细信息
We exemplify an optimization criterion for divide-and-conquer algorithms with a technique called generic competitive graph search. The technique is then applied to solve two problems arising from biocomputing, so-called Common Connected Components and Cograph Sandwich. The first problem can be defined as follows: given two graphs on the same set of n vertices, find the coarsest partition of the vertex set into subsets which induce connected subgraphs in both input graphs. The second problem is an instance of sandwich problems: given a partial subgraph G(1) of G(2), find a partial subgraph G of G(2) that is partial supergraph of G(1) (sandwich), and that is a cograph. For the former problem our generic algorithm not only achieves the current best known performance on arbitrary graphs and forests, but also improves by a log it factor when the input is made of planar graphs. However, our complexity for intervals graphs is slightly lower than a recent result. For the latter problem, we first study the relationship between the common connected components problem and the cograph sandwich problem, then, using our competitive graph search paradigm, we improve the computation of cograph sandwiches from O(n (n + m)) down to O(n + m log(2) n), where n is the number of vertices and m of total edges. (C) 2007 Elsevier B.V. All rights reserved.
Limit laws are proven by the contraction method for random vectors of a recursive nature as they arise as parameters of combinatorial structures such as random trees or recursive algorithms, where we use the Zolotarev...
详细信息
Limit laws are proven by the contraction method for random vectors of a recursive nature as they arise as parameters of combinatorial structures such as random trees or recursive algorithms, where we use the Zolotarev metric. In comparison to previous applications of this method, a general transfer theorem is derived which allows us to establish a limit law on the basis of the recursive structure and the asymptotics of the first and second moments of the sequence. In particular, a general asymptotic normality result is obtained by this theorem which typically cannot be handled by the more common l(2) metrics. As applications we derive quite automatically many asymptotic limit results ranging from the size of tries or m-ary search trees and path lengths in digital structures to mergesort and parameters of random recursive trees, which were previously shown by different methods one by one. We also obtain a related local density approximation result as well as a global approximation result. For the proofs of these results we establish that a smoothed density distance as well as a smoothed total variation distance can be estimated from above by the Zolotarev metric, which is the main tool in this article.
Recently Laurie presented a new algorithm for the computation of (2n + 1)-point Gauss-Kronrod quadrature rules with real nodes and positive weights. This algorithm first determines a symmetric tridiagonal matrix of or...
详细信息
Recently Laurie presented a new algorithm for the computation of (2n + 1)-point Gauss-Kronrod quadrature rules with real nodes and positive weights. This algorithm first determines a symmetric tridiagonal matrix of order 2n + 1 from certain mixed moments, and then computes a partial spectral factorization. We describe a new algorithm that does not require the entries of the tridiagonal matrix to be determined, and thereby avoids computations that can be sensitive to perturbations. Our algorithm uses the consolidation phase of a divide-and-conquer algorithm for the symmetric tridiagonal eigenproblem. We also discuss how the algorithm can be applied to compute Kronrod extensions of Gauss-Radau and Gauss-Lobatto quadrature rules. Throughout the paper we emphasize how the structure of the algorithm makes efficient implementation on parallel computers possible. Numerical examples illustrate the performance of the algorithm.
We present an O(n(3))-time, O(n(2))-space algorithm to test whether a dissimilarity d on an n-object set X is Robinsonian, i.e., X admits an ordering such that i less than or equal to j less than or equal to k implies...
详细信息
We present an O(n(3))-time, O(n(2))-space algorithm to test whether a dissimilarity d on an n-object set X is Robinsonian, i.e., X admits an ordering such that i less than or equal to j less than or equal to k implies that d(x(i),x(k)) greater than or equal to max {d(x(i),x(j)), d(x(j),x(k))}.
暂无评论