260 research outputs found
Testing Uniformity of Stationary Distribution
A random walk on a directed graph gives a Markov chain on the vertices of the
graph. An important question that arises often in the context of Markov chain
is whether the uniform distribution on the vertices of the graph is a
stationary distribution of the Markov chain. Stationary distribution of a
Markov chain is a global property of the graph. In this paper, we prove that
for a regular directed graph whether the uniform distribution on the vertices
of the graph is a stationary distribution, depends on a local property of the
graph, namely if (u,v) is an directed edge then outdegree(u) is equal to
indegree(v).
This result also has an application to the problem of testing whether a given
distribution is uniform or "far" from being uniform. This is a well studied
problem in property testing and statistics. If the distribution is the
stationary distribution of the lazy random walk on a directed graph and the
graph is given as an input, then how many bits of the input graph do one need
to query in order to decide whether the distribution is uniform or "far" from
it? This is a problem of graph property testing and we consider this problem in
the orientation model (introduced by Halevy et al.). We reduce this problem to
test (in the orientation model) whether a directed graph is Eulerian. And using
result of Fischer et al. on query complexity of testing (in the orientation
model) whether a graph is Eulerian, we obtain bounds on the query complexity
for testing whether the stationary distribution is uniform
The Subgraph Testing Model
We initiate a study of testing properties of graphs that are presented as subgraphs of a fixed (or an explicitly given) graph. The tester is given free access to a base graph G=([n],E), and oracle access to a function f:E -> {0,1} that represents a subgraph of G. The tester is required to distinguish between subgraphs that posses a predetermined property and subgraphs that are far from possessing this property.
We focus on bounded-degree base graphs and on the relation between testing graph properties in the subgraph model and testing the same properties in the bounded-degree graph model. We identify cases in which testing is significantly easier in one model than in the other as well as cases in which testing has approximately the same complexity in both models. Our proofs are based on the design and analysis of efficient testers and on the establishment of query-complexity lower bounds
Testing formula satisfaction
We study the query complexity of testing for properties defined by read once formulae, as instances of massively parametrized properties, and prove several testability and non-testability results. First we prove the testability of any property accepted by a Boolean read-once formula involving any bounded arity gates, with a number of queries exponential in \epsilon and independent of all other parameters. When the gates are limited to being monotone, we prove that there is an estimation algorithm, that outputs an approximation of the distance of the input from
satisfying the property. For formulae only involving And/Or gates, we provide a more efficient test whose query complexity is only quasi-polynomial in \epsilon. On the other hand we show that such testability results do not hold in general for formulae over non-Boolean alphabets; specifically we construct a property defined by a read-once arity 2 (non-Boolean) formula over alphabets of size 4, such that any 1/4-test for it requires a number of queries depending on the formula size
Manufacturability and Analysis of Topologically Optimized Continuous Fiber Reinforced Composites
Researchers are unlocking the potential of Continuous Fiber Reinforced Composites for producing components with greater strength-to-weight ratios than state of the art metal alloys and unidirectional composites. The key is the emerging technology of topology optimization and advances in additive manufacturing. Topology optimization can fine tune component geometry and fiber placement all while satisfying stress constraints. However, the technology cannot yet robustly guarantee manufacturability. For this reason, substantial post-processing of an optimized design consisting of manual fiber replacement and subsequent Finite Element Analysis (FEA) is still required.
To automate this post-processing in two dimensions, two (2) algorithms were developed. The first one is aimed at filling the space of a topologically optimized component with fibers of prescribed thickness. The objective is to produce flawless fiber paths, meaning no self-intersections, no tight turns, and no overlapping between fibers. It does so by leveraging concepts from elementary geometry and the Signed Distance Function of a topologically optimized domain. The manufacturable fiber paths are represented using Non-Uniform Rational Basis Splines, which can be readily conveyed to a 3D-printer as
The second algorithm then calls a meshing routine to spatially discretize the topologically optimized domain. It takes input from the first algorithm to automatically create and append, orientations and material flags to the spatial elements produced by the meshing routine. Finally, it generates output that is then input to FEA software. The software is written in the C-programming language using the PETSc library. A load case is validated against MSC NASTRAN
Recommended from our members
The design and analysis of boundary data structures
The thesis is concerned with the efficient interrogation of CAD data. CAD data finds use in diverse range of applications which necessitates extension and integration of the CAD data base. By an exhaustive categorization of such application requirements and analysis of various CAD techniques, it is shown that boundary data structures are the most suitable in CAD, CAM and advanced robotic applications.
Several boundary data structures have been proposed since the classic Winged edge data structure, these aimed at reducing the storage requirement and increasing information retrieval speeds. In this thesis methodologies are developed which enable us to discover compact and fast access time schemes and analyze and fine tune for individual applications. We demonstrate how the application of the optimality concepts can lead us to the discovery of more efficient data structures than popular data structures. All the boundary data structures proposed to date have been based on the underlying assumption that all the data resides in main memory. We show that in an integrated CAD environment (characterized by virtual a memory environment or a data base environment), these data structures are inefficient in both storage and time. We propose a new data structure shaped like A which is the most compact as well as more efficient in access time, under certain conditions of real memory and virtual memory. Experiments reveal a paradoxical phenomenon: access time increases with storage, violating the classic law of storage vs. time.
Recently non-manifold boundary geometric modeling has become popular to meet the growing needs such as uniform treatment of wire frame, surface and solid modeling and design by features. We introduce a uniform terminology and notation to distinguish and critically analyze several non-manifold boundary data structures. It is hoped to fulfill the need for a ready reference for the design of efficient boundary data structures. The other aspects dealt with are the validity and conversion of Boundary data structures.
To verify the concepts developed, in practice, a whole suite of fast algorithms have been implemented for model manipulation, visualization and data conversion
- …