Controlling the Error on Target Motion through Real-time Mesh Adaptation: Applications to Deep Brain Stimulation

We present an error-controlled mesh refinement procedure for needle insertion simulation and apply it to the simulation of electrode implantation for deep brain stimulation, including brain shift. Our approach enables to control the error in the computation of the displacement and stress fields around the needle tip and needle shaft by suitably refining the mesh, whilst maintaining a coarser mesh in other parts of the domain. We demonstrate through academic and practical examples that our approach increases the accuracy of the displacement and stress fields around the needle without increasing the computational expense. This enables real-time simulations. The proposed methodology has direct implications to increase the accuracy and control the computational expense of the simulation of percutaneous procedures such as biopsy, brachytherapy, regional anesthesia, or cryotherapy and can be essential to the development of robotic guidance.Comment: 21 pages, 14 figure

Molecular mechanisms responsible for hydrate anti-agglomerant performance

Steered and equilibrium molecular dynamics simulations were employed to study the coalescence of a sI hydrate particle and a water droplet within a hydrocarbon mixture. The size of both the hydrate particle and the water droplet is comparable to that of the aqueous core in reverse micelles. The simulations were repeated in the presence of various quaternary ammonium chloride surfactants. We investigated the effects due to different groups on the quaternary head group (e.g. methyl vs. butyl groups), as well as different hydrophobic tail lengths (e.g. n-hexadecyl vs. n-dodecyl tails) on the surfactants' ability to prevent coalescence. Visual inspection of sequences of simulation snapshots indicates that when the water droplet is not covered by surfactants it is more likely to approach the hydrate particle, penetrate the protective surfactant film, reach the hydrate surface, and coalesce with the hydrate than when surfactants are present on both surfaces. Force-distance profiles obtained from steered molecular dynamics simulations and free energy profiles obtained from umbrella sampling suggest that surfactants with butyl tripods on the quaternary head group and hydrophobic tails with size similar to the solvent molecules can act as effective anti-agglomerants. These results qualitatively agree with macroscopic experimental observations. The simulation results provide additional insights, which could be useful in flow assurance applications: the butyl tripod provides adhesion between surfactants and hydrates; when the length of the surfactant tail is compatible with that of the hydrocarbon in the liquid phase a protective film can form on the hydrate; however, once a molecularly thin chain of water molecules forms through the anti-agglomerant film, connecting the water droplet and the hydrate, water flows to the hydrate and coalescence is inevitable

Electrical conductivity beyond linear response in layered superconductors under magnetic field

The time-dependent Ginzburg-Landau approach is used to investigate nonlinear response of a strongly type-II superconductor. The dissipation takes a form of the flux flow which is quantitatively studied beyond linear response. Thermal fluctuations, represented by the Langevin white noise, are assumed to be strong enough to melt the Abrikosov vortex lattice created by the magnetic field into a moving vortex liquid and marginalize the effects of the vortex pinning by inhomogeneities. The layered structure of the superconductor is accounted for by means of the Lawrence-Doniach model. The nonlinear interaction term in dynamics is treated within Gaussian approximation and we go beyond the often used lowest Landau level approximation to treat arbitrary magnetic fields. The I-V curve is calculated for arbitrary temperature and the results are compared to experimental data on high-$T_{c}$ superconductor YBa$_{2}$Cu$_{3}$O$$.Comment: 8 pages, 3 figure

Analysis of a jet stream induced gravity wave associated with an observed ice cloud over Greenland

International audienceA polar stratospheric ice cloud (PSC type II) was observed by airborne lidar above Greenland on 14 January 2000. Is was the unique observation of an ice cloud over Greenland during the SOLVE/THESEO 2000 campaign. Mesoscale simulations with the hydrostatic HRM model are presented which, in contrast to global analyses, are capable to produce a vertically propagating gravity wave that induces the low temperatures at the level of the PSC afforded for the ice formation. The simulated minimum temperature is ~8 K below the driving analyses and ~3 K below the frost point, exactly coinciding with the location of the observed ice cloud. Despite the high elevations of the Greenland orography the simulated gravity wave is not a mountain wave. Analyses of the horizontal wind divergence, of the background wind profiles, of backward gravity wave ray-tracing trajectories, of HRM experiments with reduced Greenland topography and of several instability diagnostics near the tropopause level provide consistent evidence that the wave is emitted by the geostrophic adjustment of a jet instability associated with an intense, rapidly evolving, anticyclonically curved jet stream. In order to evaluate the potential frequency of such non-orographic polar stratospheric cloud events, an approximate jet instability diagnostic is performed for the winter 1999/2000. It indicates that ice-PSCs are only occasionally generated by gravity waves emanating from an unstable jet

Bayesian signaling game based efficient security model for MANETs

Game Theory acts as a suitable tool offering promising solutions to security-related concerns in Mobile Ad Hoc Networks (i.e., MANETs). In MANETs, security forms a prominent concern as it includes nodes which are usually portable and require significant coordination between them. Further, the absence of physical organisation makes such networks susceptible to security breaches, hindering secure routing and execution among nodes. Game Theory approach has been manipulated in the current study to achieve an analytical view while addressing the security concerns in MANETs. This paper offers a Bayesian-Signaling game model capable of analysing the behaviour associated with regular as well as malicious nodes. In the proposed model, the utility of normal nodes has been increased while reducing the utility linked to malicious nodes. Moreover, the system employs a reputation system capable of stimulating best cooperation between the nodes. The regular nodes record incessantly to examine their corresponding nodes’ behaviours by using the belief system of Bayes-rules. On its comparison with existing schemes, it was revealed that the presented algorithm provides better identification of malicious nodes and attacks while delivering improved throughput and reduced false positive rate

Advanced Multilevel Node Separator Algorithms

A node separator of a graph is a subset S of the nodes such that removing S and its incident edges divides the graph into two disconnected components of about equal size. In this work, we introduce novel algorithms to find small node separators in large graphs. With focus on solution quality, we introduce novel flow-based local search algorithms which are integrated in a multilevel framework. In addition, we transfer techniques successfully used in the graph partitioning field. This includes the usage of edge ratings tailored to our problem to guide the graph coarsening algorithm as well as highly localized local search and iterated multilevel cycles to improve solution quality even further. Experiments indicate that flow-based local search algorithms on its own in a multilevel framework are already highly competitive in terms of separator quality. Adding additional local search algorithms further improves solution quality. Our strongest configuration almost always outperforms competing systems while on average computing 10% and 62% smaller separators than Metis and Scotch, respectively

Robotic Laser-Adaptive-Optics Imaging of 715 Kepler Exoplanet Candidates using Robo-AO

The Robo-AO Kepler Planetary Candidate Survey is designed to observe every Kepler planet candidate host star with laser adaptive optics imaging to search for blended nearby stars, which may be physically associated companions and/or responsible for transit false positives. In this paper we present the results from the 2012 observing season, searching for stars close to 715 representative Kepler planet candidate hosts. We find 53 companions, 44 of which are new discoveries. We detail the Robo-AO survey data reduction methods including a method of using the large ensemble of target observations as mutual point-spread-function references, along with a new automated companion-detection algorithm designed for large adaptive optics surveys. Our survey is sensitive to objects from 0.15" to 2.5" separation, with contrast ratios up to delta-m~6. We measure an overall nearby-star-probability for Kepler planet candidates of 7.4% +/- 1.0%, and calculate the effects of each detected nearby star on the Kepler-measured planetary radius. We discuss several KOIs of particular interest, including KOI-191 and KOI-1151, which are both multi-planet systems with detected stellar companions whose unusual planetary system architecture might be best explained if they are "coincident multiple" systems, with several transiting planets shared between the two stars. Finally, we detect 2.6-sigma evidence for <15d-period giant planets being 2-3 times more likely be found in wide stellar binaries than smaller close-in planets and all sizes of further-out planets.Comment: Accepted by ApJ. Minor updates & improved statistical analysis; no changes to results. 15 pages, 13 figure