Weight-Preserving Simulated Tempering

Simulated tempering is popular method of allowing MCMC algorithms to move between modes of a multimodal target density {\pi}. One problem with simulated tempering for multimodal targets is that the weights of the various modes change for different inverse-temperature values, sometimes dramatically so. In this paper, we provide a fix to overcome this problem, by adjusting the mode weights to be preserved (i.e., constant) over different inverse-temperature settings. We then apply simulated tempering algorithms to multimodal targets using our mode weight correction. We present simulations in which our weight-preserving algorithm mixes between modes much more successfully than traditional tempering algorithms. We also prove a diffusion limit for an version of our algorithm, which shows that under appropriate assumptions, our algorithm mixes in time O(d [log d]^2)

A decentralized motion coordination strategy for dynamic target tracking

This paper presents a decentralized motion planning algorithm for the distributed sensing of a noisy dynamical process by multiple cooperating mobile sensor agents. This problem is motivated by localization and tracking tasks of dynamic targets. Our gradient-descent method is based on a cost function that measures the overall quality of sensing. We also investigate the role of imperfect communication between sensor agents in this framework, and examine the trade-offs in performance between sensing and communication. Simulations illustrate the basic characteristics of the algorithms

The mechanism of the reverse recovery-step, phosphate release, and actin activation of Dictyostelium myosin II.

The rate-limiting step of the myosin basal ATPase (i.e. in absence of actin) is assumed to be a post-hydrolysis swinging of the lever arm (reverse recovery step), that limits the subsequent rapid product release steps. However, direct experimental evidence for this assignment is lacking. To investigate the binding and the release of ADP and phosphate independently from the lever arm motion, two single tryptophan-containing motor domains of Dictyostelium myosin II were used. The single tryptophans of the W129+ and W501+ constructs are located at the entrance of the nucleotide binding pocket and near the lever arm, respectively. Kinetic experiments show that the rate-limiting step in the basal ATPase cycle is indeed the reverse recovery step, which is a slow equilibrium step (k(forward) = 0.05 s(-1), k(reverse) = 0.15 s(-1)) that precedes the phosphate release step. Actin directly activates the reverse recovery step, which becomes practically irreversible in the actin-bound form, triggering the power stroke. Even at low actin concentrations the power stroke occurs in the actin-attached states despite the low actin affinity of myosin in the pre-power stroke conformation

Automated sequence and motion planning for robotic spatial extrusion of 3D trusses

While robotic spatial extrusion has demonstrated a new and efficient means to fabricate 3D truss structures in architectural scale, a major challenge remains in automatically planning extrusion sequence and robotic motion for trusses with unconstrained topologies. This paper presents the first attempt in the field to rigorously formulate the extrusion sequence and motion planning (SAMP) problem, using a CSP encoding. Furthermore, this research proposes a new hierarchical planning framework to solve the extrusion SAMP problems that usually have a long planning horizon and 3D configuration complexity. By decoupling sequence and motion planning, the planning framework is able to efficiently solve the extrusion sequence, end-effector poses, joint configurations, and transition trajectories for spatial trusses with nonstandard topologies. This paper also presents the first detailed computation data to reveal the runtime bottleneck on solving SAMP problems, which provides insight and comparing baseline for future algorithmic development. Together with the algorithmic results, this paper also presents an open-source and modularized software implementation called Choreo that is machine-agnostic. To demonstrate the power of this algorithmic framework, three case studies, including real fabrication and simulation results, are presented.Comment: 24 pages, 16 figure