5,229 research outputs found
Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm
We show that every orthogonal polyhedron homeomorphic to a sphere can be
unfolded without overlap while using only polynomially many (orthogonal) cuts.
By contrast, the best previous such result used exponentially many cuts. More
precisely, given an orthogonal polyhedron with n vertices, the algorithm cuts
the polyhedron only where it is met by the grid of coordinate planes passing
through the vertices, together with Theta(n^2) additional coordinate planes
between every two such grid planes.Comment: 15 pages, 10 figure
Spontaneous currents in a bosonic ring
Nonequilibrium dynamics of noninteracting bosons in a one-dimensional
ring-shaped lattice is studied by means of the Kinetic Monte Carlo method. The
system is approximated by the classical XY model (the kinetic term is
neglected) and then the simulations are performed for the planar classical
spins. We study the dynamics that follows a finite-time quench to zero
temperature. If the quench is slow enough the system can equilibrate and
finally reaches the ground state with uniform spin alignment. However, we show
that if the quench is faster than the relaxation rate, the system can get
locked in a current-carrying metastable state characterized by a nonzero
winding number. We analyze how the zero-temperature state depends on the quench
rate.Comment: 6 pages, 3 figure
Lightweight Multilingual Software Analysis
Developer preferences, language capabilities and the persistence of older
languages contribute to the trend that large software codebases are often
multilingual, that is, written in more than one computer language. While
developers can leverage monolingual software development tools to build
software components, companies are faced with the problem of managing the
resultant large, multilingual codebases to address issues with security,
efficiency, and quality metrics. The key challenge is to address the opaque
nature of the language interoperability interface: one language calling
procedures in a second (which may call a third, or even back to the first),
resulting in a potentially tangled, inefficient and insecure codebase. An
architecture is proposed for lightweight static analysis of large multilingual
codebases: the MLSA architecture. Its modular and table-oriented structure
addresses the open-ended nature of multiple languages and language
interoperability APIs. We focus here as an application on the construction of
call-graphs that capture both inter-language and intra-language calls. The
algorithms for extracting multilingual call-graphs from codebases are
presented, and several examples of multilingual software engineering analysis
are discussed. The state of the implementation and testing of MLSA is
presented, and the implications for future work are discussed.Comment: 15 page
Lightweight Call-Graph Construction for Multilingual Software Analysis
Analysis of multilingual codebases is a topic of increasing importance. In
prior work, we have proposed the MLSA (MultiLingual Software Analysis)
architecture, an approach to the lightweight analysis of multilingual
codebases, and have shown how it can be used to address the challenge of
constructing a single call graph from multilingual software with mutual calls.
This paper addresses the challenge of constructing monolingual call graphs in a
lightweight manner (consistent with the objective of MLSA) which nonetheless
yields sufficient information for resolving language interoperability calls. A
novel approach is proposed which leverages information from a
compiler-generated AST to provide the quality of call graph necessary, while
the program itself is written using an Island Grammar that parses the AST
providing the lightweight aspect necessary. Performance results are presented
for a C/C++ implementation of the approach, PAIGE (Parsing AST using Island
Grammar Call Graph Emitter) showing that despite its lightweight nature, it
outperforms Doxgen, is robust to changes in the (Clang) AST, and is not
restricted to C/C++.Comment: 10 page
Real-time dynamic articulations in the 2-D waveguide mesh vocal tract model
Time domain articulatory vocal tract modeling in one-dimensional (1-D) is well established. Previous studies into two-dimensional (2-D) simulation of wave propagation in the vocal tract have shown it to present accurate static vowel synthesis. However, little has been done to demonstrate how such a model might accommodate the dynamic tract shape changes necessary in modeling speech. Two methods of applying the area function to the 2-D digital waveguide mesh vocal tract model are presented here. First, a method based on mapping the cross-sectional area onto the number of waveguides across the mesh, termed a widthwise mapping approach is detailed. Discontinuity problems associated with the dynamic manipulation of the model are highlighted. Second, a new method is examined that uses a static-shaped rectangular mesh with the area function translated into an impedance map which is then applied to each waveguide. Two approaches for constructing such a map are demonstrated; one using a linear impedance increase to model a constriction to the tract and another using a raised cosine function. Recommendations are made towards the use of the cosine method as it allows for a wider central propagational channel. It is also shown that this impedance mapping approach allows for stable dynamic shape changes and also permits a reduction in sampling frequency leading to real-time interaction with the model
Thermal robustness of multipartite entanglement of the 1-D spin 1/2 XY model
We study the robustness of multipartite entanglement of the ground state of
the one-dimensional spin 1/2 XY model with a transverse magnetic field in the
presence of thermal excitations, by investigating a threshold temperature,
below which the thermal state is guaranteed to be entangled. We obtain the
threshold temperature based on the geometric measure of entanglement of the
ground state. The threshold temperature reflects three characteristic lines in
the phase diagram of the correlation function. Our approach reveals a region
where multipartite entanglement at zero temperature is high but is thermally
fragile, and another region where multipartite entanglement at zero temperature
is low but is thermally robust.Comment: Revised, 11 pages, 7 figure
Psychosocial Dimensions of Fatherhood Readiness in Low-Income Young Men
Researchers have a limited understanding of how men become ready for fatherhood, especially among young, low-income men in the transition to fatherhood. The present study draws a diverse sample (n = 53) enrolled in fatherhood programs in Midwestern cities. Life history interviews were conducted with the participants and grounded theory was employed to identify common themes among the narratives. Four cognitive dimensions of fatherhood readiness were identified by the current investigation: presumptive paternity and acknowledged paternity that one is a father, fatherhood vision, maturity, and men's perceptions of their provisional capacity. These contributed to the construction of narratives that describe fatherhood--trial readiness and decided readiness. Implications for social policies and programming are discussed
- …