Search NASA⌕ Search

SEARCH · Search NASA

Results for “developable planes”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,423 records · Page 79

Eyes On the Ground: Year 2 Assessment.

The goal of the Eyes On the Ground project is to develop tools to aid IAEA inspectors. Our original vision was to produce a tool that would take three-dimensional measurements of an unknown piece of equipment, construct a semantic representation of the measured object, and then use the resulting data to infer possible explanations of equipment function. We report our tests of a 3-d laser scanner to obtain 3-d point cloud data, and subsequent tests of software to convert the resulting point clouds into primitive geometric objects such as planes and cylinders. These tests successfully identified pipes of moderate diameter and planar surfaces, but also incurred significant noise. We also investigated the IAEA inspector task context, and learned that task constraints may present significant obstacles to using 3-d laser scanners. We further learned that equipment scale and enclosing cases may confound our original goal of equipment diagnosis. Meanwhile, we also surveyed the rapidly evolving field of 3-d measurement technology, and identified alternative sensor modalities that may prove more suitable for inspector use in a safeguards context. We conclude with a detailed discussion of lessons learned and the resulting implications for project goals. Approved for public release; further dissemination unlimited.

47 OTHER INSTRUMENTATION↗

SU-F-T-168: Development and Implementation of An Anthropomorphic Head & Neck Phantom for the Assessment of Proton Therapy Treatment Procedures

Purpose: To design a Head and Neck (H&N) anthropomorphic QA phantom that the Imaging and Radiation Oncology Core Houston (IROC-H) can use to verify the quality of intensity modulated proton therapy (IMPT) H&N treatments for institutions participating in NCI clinical trials. Methods: The phantom was created to serve as a remote auditing tool for IROC-H to evaluate an institution’s IMPT planning and delivery abilities. The design was based on the composition, size, and geometry of a generalized oropharyngeal tumor and contains critical structures (parotids and spinal cord). Radiochromic film in the axial and sagittal planes and thermoluminescent dosimeters (TLD)-100 capsules were embedded in the phantom and used to perform the dose delivery evaluation. A CT simulation was used to create a passive scatter and a spot scanning treatment plan with typical clinical constraints for H&N cancer. The IMPT plan was approved by a radiation oncologist and the phantom was irradiated multiple times. The measured dose distribution using a 7%/4mm gamma analysis (85% of pixels passing) and point doses were compared with the treatment planning system calculations. Results: The designed phantom could not achieve the target dose prescription and organ at risk dose constraints with the passive scatter treatment plan. The target prescription dose could be met but not the parotid dose constraint. The average TLD point dose ratio in the target was 0.975, well within the 5% acceptance criterion. The dose distribution analysis using various acceptance criteria, 5%/4mm, 5%/3mm, 7%/4mm and 7%/5mm, had average pixel passing rates of 85.9%, 81.8%, 89.6% and 91.6%, and respectively. Conclusion: An anthropomorphic IMPT H&N phantom was designed that can assess the dose delivery of proton sites wishing to participate in clinical trials using a 5% TLD dose and 7%/4mm gamma analysis acceptance criteria.

60 APPLIED LIFE SCIENCES↗

Prediction of Precipitation Strengthening in the Commercial Mg Alloy AZ91 Using Dislocation Dynamics

In this paper, dislocation dynamics simulations were used to predict the strengthening of a commercial magnesium alloy, AZ91, due to β-Mg 17 Al 12 formed in the continuous precipitation mode. The precipitate distributions used in simulations were determined based on experimental characterization of the sizes, shapes, and number densities of the precipitates for 10-hour aging and 50-hour aging. For dislocations gliding on the basal plane, which is expected to be the dominant contributor to plastic deformation at room temperature, the critical resolved shear stress to bypass the precipitate distribution was 3.5 MPa for the 10-hour aged sample and 16.0 MPa for the 50-hour aged sample. The simulation results were compared to an analytical model of strengthening in this alloy, and the analytical model was found to predict critical resolved shear stresses that were approximately 30 pct lower. A model for the total yield strength was developed and compared with experiment for the 50-hour aged sample. Finally, the predicted yield strength, which included the precipitate strengthening contribution from the DD simulations, was 132.0 MPa, in good agreement with the measured yield strength of 141 MPa.

36 MATERIALS SCIENCE↗

A spatial beam property analyzer based on dispersive crystal diffraction for low-emittance X-ray light sources

Abstract The advent of low-emittance synchrotron X-ray sources and free-electron lasers urges the development of novel diagnostic techniques for measuring and monitoring the spatial source properties, especially the source sizes. This work introduces an X-ray beam property analyzer based on a multi-crystal diffraction geometry, including a crystal-based monochromator and a Laue crystal in a dispersive setting to the monochromator. By measuring the flat beam and the transmitted beam profiles, the system can provide a simultaneous high-sensitivity characterization of the source size, divergence, position, and angle in the diffraction plane of the multi-crystal system. Detailed theoretical modeling predicts the system’s feasibility as a versatile characterization tool for monitoring the X-ray source and beam properties. The experimental validation was conducted at a bending magnet beamline at the Swiss Light Source by varying the machine parameters. A measurement sensitivity of less than 10% of a source size of around 12 µm is demonstrated. The proposed system offers a compact setup with simple X-ray optics and can also be utilized for monitoring the electron source.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Modulated electromagnetic fields in inhomogeneous media, hyperbolic pseudoanalytic functions, and transmutations

The time-dependent Maxwell system describing electromagnetic wave propagation in inhomogeneous isotropic media in the one-dimensional case reduces to a Vekua-type equation for bicomplex-valued functions of a hyperbolic variable, see Kravchenko and Ramirez [Adv. Appl. Cliord Algebr. 21(3), 547–559 (2011)]. Using this relation, we solve the problem of the transmission through an inhomogeneous layer of a normally incident electromagnetic time-dependent plane wave. The solution is written in terms of a pair of Darboux-associated transmutation operators [Kravchenko, V. V. and Torba, S. M., J. Phys. A: Math. Theor. 45, 075201 (2012)], and combined with the recent results on their construction [Kravchenko, V. V. and Torba, S. M., Complex Anal. Oper. Theory 9, 379-429 (2015); Kravchenko, V. V. and Torba, S. M., J. Comput. Appl. Math. 275, 1–26 (2015)] can be used for efficient computation of the transmitted modulated signals. We develop the corresponding numerical method and illustrate its performance with examples.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

POSSIBLE DISINTEGRATING SHORT-PERIOD SUPER-MERCURY ORBITING KIC 12557548

We report on the discovery of stellar occultations, observed with Kepler, which recur periodically at 15.685 hr intervals, but which vary in depth from a maximum of 1.3% to a minimum that can be less than 0.2%. The star that is apparently being occulted is KIC 12557548, a V = 16 mag K dwarf with T{sub eff,s} {approx_equal} 4400 K. The out-of-occultation behavior shows no evidence for ellipsoidal light variations, indicating that the mass of the orbiting object is less than {approx}3 M{sub J} (for an orbital period of 15.7 hr). Because the eclipse depths are highly variable, they cannot be due solely to transits of a single planet with a fixed size. We discuss but dismiss a scenario involving a binary giant planet whose mutual orbit plane precesses, bringing one of the planets into and out of a grazing transit. This scenario seems ruled out by the dynamical instability that would result from such a configuration. We also briefly consider an eclipsing binary, possibly containing an accretion disk, that either orbits KIC 12557548 in a hierarchical triple configuration or is nearby on the sky, but we find such a scenario inadequate to reproduce the observations. The much more likely explanation-but one which still requires more quantitative development-involves macroscopic particles escaping the atmosphere of a slowly disintegrating planet not much larger than Mercury in size. The particles could take the form of micron-sized pyroxene or aluminum oxide dust grains. The planetary surface is hot enough to sublimate and create a high-Z atmosphere; this atmosphere may be loaded with dust via cloud condensation or explosive volcanism. Atmospheric gas escapes the planet via a Parker-type thermal wind, dragging dust grains with it. We infer a mass-loss rate from the observations of order 1 M{sub Circled-Plus} Gyr{sup -1}, with a dust-to-gas ratio possibly of order unity. For our fiducial 0.1 M{sub Circled-Plus} planet (twice the mass of Mercury), the evaporation timescale may be {approx}0.2 Gyr. Smaller mass planets are disfavored because they evaporate still more quickly, as are larger mass planets because they have surface gravities too strong to sustain outflows with the requisite mass-loss rates. The occultation profile evinces an ingress-egress asymmetry that could reflect a comet-like dust tail trailing the planet; we present simulations of such a tail.

79 ASTRONOMY AND ASTROPHYSICS↗

FULLY CONVECTIVE MAGNETO-ROTATIONAL TURBULENCE IN LARGE ASPECT-RATIO SHEARING BOXES

We present a numerical study of turbulence and dynamo action in stratified shearing boxes with both finite and zero net magnetic flux. We assume that the fluid obeys the perfect gas law and has finite thermal diffusivity. The latter is chosen to be small enough so that vigorous convective states develop. The properties of these convective solutions are analyzed as the aspect ratio of the computational domain is varied and as the value of the mean field is increased. For the cases with zero net flux, we find that a well-defined converged state is obtained for large enough aspect ratios. In the converged state, the dynamo can be extremely efficient and can generate substantial toroidal flux. We identify solutions in which the toroidal field is mostly symmetric about the mid-plane and solutions in which it is mostly anti-symmetric. The symmetric solutions are found to be more efficient at transporting angular momentum and can give rise to a luminosity that is up to an order of magnitude larger than the corresponding value for the anti-symmetric states. In the cases with a finite net flux, the system appears to spend most of the time in the symmetric states.

79 ASTRONOMY AND ASTROPHYSICS↗

Quantum simulations of nuclear resonances with variational methods

Background: The many-body nature of nuclear physics problems poses significant computational challenges. These challenges become even more pronounced when studying the resonance states of nuclear systems, which are governed by the non-Hermitian Hamiltonian. Quantum computing, particularly for quantum many-body systems, offers a promising alternative, especially within the constraints of current noisy intermediate-scale quantum (NISQ) devices. Purpose: This work aims to simulate nuclear resonances using quantum algorithms by developing a variational framework compatible with non-Hermitian Hamiltonians and implementing it fully on a quantum simulator. Methods: We employ the complex scaling technique to extract resonance positions classically and adapt it for quantum simulations using a two-step algorithm. First, we transform the non-Hermitian Hamiltonian into a Hermitian form by using the energy variance as a cost function within a variational framework. Second, we perform 𝜃-trajectory calculations to determine optimal resonance positions in the complex energy plane. To address resource constraints on NISQ devices, we utilize Gray code (GC) encoding to reduce qubit requirements. Results: We first validate our approach using a schematic potential model that mimics a nuclear potential, successfully reproducing known resonance energies with high fidelity. We then extend the method to a more realistic 𝛼−𝛼 nuclear potential and compute the 𝐷- and 𝐺-wave resonance energies with a basis size of 𝑁=16, using only four qubits. The quantum simulation results closely match the classical values, demonstrating the feasibility of our approach. Conclusions: This study demonstrates, for the first time, that the complete 𝜃-trajectory method can be implemented on a quantum computer without relying on any classical input beyond the Hamiltonian. The results establish a scalable and efficient quantum framework for simulating resonance phenomena in nuclear systems. This work represents a significant step toward quantum simulations of open quantum systems and lays the foundation for future investigations into resonance structures in nuclear, atomic, and molecular physics.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Spark Breakdown Threshold in Non-Uniform Fields

We develop a criterion for spark breakdown in non-uniform field geometries with positive polarity and small electrode separations so that breakdown evolves without the formation of a leader. We arrive at the spark-breakdown criterion by framing it in terms of gain and instability conditions, whose relative importance are established from an analysis of the experimental breakdown characteristics and correlations with streamer behavior in short gaps. Results are presented in the context of two generic geometries having coaxial and point-plane electrodes. For nearly uniform field situations, we re-confirm that the breakdown criterion obtained by the usual extension of either the Townsend or Meek criteria satisfactorily predicts the experimental results. On the other hand, for increasing non-uniformity, the results for the corona and spark branches of the breakdown characteristics are shown inconsistent with a breakdown criterion solely based on either the Townsend or streamer mechanisms. In particular, the avalanche gain factor, the primary component of the Townsend and streamer criteria does not determine the spark breakdown criterion. Streamers can cross the gap for a significantly wide range of applied voltages without triggering a spark. We find that it is the instability condition, derived from a relation between the minimum Laplacian field in the gap and the local streamer body field (which we relate to the streamer sustaining field), that is sufficient for determining the spark threshold thereby yielding a breakdown criterion. We examine the physics of the discharge occurring in the several parts of the nonuniform field gap to elucidate the underpinning of the threshold criterion. These include streamer stability and branching in the stressed electrode region, cathode fall setup near the planar-type electrode, and importantly, the renewed ionization of the discharge resulting from neutral expansion of the gas discharge driven by currents, which are critically dependent on the minimum field level in the gap. We also discuss experiments which were carried out to examine instabilities associated with the streamer breakdown of uniform gaps with triggering.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Atomistic modeling of Mg/Nb interfaces: shear strength and interaction with lattice glide dislocations

Here, using a newly developed embedded-atom-method potential for Mg–Nb, the semi-coherent Mg/Nb interface with the Kurdjumov–Sachs orientation relationship is studied. Atomistic simulations have been carried out to understand the shear strength of the interface, as well as the interaction between lattice glide dislocations and the interface. The interface shear mechanisms are dependent on the shear loading directions, through either interface sliding between Mg and Nb atomic layers or nucleation and gliding of Shockley partial dislocations in between the first two atomic planes in Mg at the interface. The shear strength for the Mg/Nb interface is found to be generally high, in the range of 0.9–1.3 GPa depending on the shear direction. As a consequence, the extents of dislocation core spread into the interface are considerably small, especially when compared to the case of other “weak” interfaces such as the Cu/Nb interface.

36 MATERIALS SCIENCE↗

Online monitoring of solutions within microfluidic chips: simultaneous Raman and UV-Vis absorption spectroscopies

Microfluidics is an appealing analytical tool in the global effort to close the nuclear fuel cycle. Using a microfluidic chip permits analysis of greatly reduced sample volumes compared to what is necessary for traditional analytical methods. There is a commensurate reduction in disposal volume and cost. Development of spectroscopic methods practicable on the microscale are necessary to take advantage of the microchip configuration. This study uses simultaneously applied UV-vis and micro-Raman spectroscopies adapted to function on the microscale to analyze in situ both the Nd3+ (UV-vis active) and HNO3 (Raman active) concentrations in the same sample. An adjustable translation platform was designed to hold the micro-Raman probe above and perpendicular to the chip face, and the UV-vis probe in the plane of the chip. These complimentary spectral techniques when processed through multivariate PLS (Partial Least Squares) models gave an accurate picture of the widely varying solution concentrations as a function of time for each solution component. Solution matrix effects can drastically alter analyte signatures as measured by both UV-vis absorbance and Raman spectroscopy. PLS methods successfully modeled these spectral changes and accurately measured concentrations of components of interest within the microfluidic chip.

on-line monitoring, microfluidics, Raman, UV-vis↗

Tunable magnetism in metal adsorbed fluorinated nanoporous graphene

Developing nanostructures with tunable magnetic states is crucial for designing novel data storage and quantum information devices. Using density functional theory, we study the thermodynamic stability and magnetic properties of tungsten adsorbed tri-vacancy fluorinated (TVF) graphene. We demonstrate a strong structure-property relationship and its response to external stimuli via defect engineering in graphene-based materials. Complex interplay between defect states and the chemisorbed atom results in a large magnetic moment of 7 μ B along with high in-plane magneto-crystalline anisotropy energy (MAE) of 17 meV. Under the influence of electric field, spin crossover effect accompanied by a change in the MAE is observed. The ascribed change in spin-configuration is caused by the modification of exchange coupling between defect states and a change in the occupation of d-orbitals of the metal complex. In conclusion, our predictions open a promising way towards controlling the magnetic properties in graphene based spintronic and non-volatile memory devices.

36 MATERIALS SCIENCE↗

KEPLER AND GROUND-BASED TRANSITS OF THE EXO-NEPTUNE HAT-P-11b

We analyze 26 archival Kepler transits of the exo-Neptune HAT-P-11b, supplemented by ground-based transits observed in the blue (B band) and near-IR (J band). Both the planet and host star are smaller than previously believed; our analysis yields R{sub p} = 4.31 R{sub +} {+-} 0.06 R{sub +} and R{sub s} = 0.683 R{sub sun} {+-} 0.009 R{sub sun}, both about 3{sigma} smaller than the discovery values. Our ground-based transit data at wavelengths bracketing the Kepler bandpass serve to check the wavelength dependence of stellar limb darkening, and the J-band transit provides a precise and independent constraint on the transit duration. Both the limb darkening and transit duration from our ground-based data are consistent with the new Kepler values for the system parameters. Our smaller radius for the planet implies that its gaseous envelope can be less extensive than previously believed, being very similar to the H-He envelope of GJ 436b and Kepler-4b. HAT-P-11 is an active star, and signatures of star spot crossings are ubiquitous in the Kepler transit data. We develop and apply a methodology to correct the planetary radius for the presence of both crossed and uncrossed star spots. Star spot crossings are concentrated at phases -0.002 and +0.006. This is consistent with inferences from Rossiter-McLaughlin measurements that the planet transits nearly perpendicular to the stellar equator. We identify the dominant phases of star spot crossings with active latitudes on the star, and infer that the stellar rotational pole is inclined at about 12{sup 0} {+-} 5{sup 0} to the plane of the sky. We point out that precise transit measurements over long durations could in principle allow us to construct a stellar Butterfly diagram to probe the cyclic evolution of magnetic activity on this active K-dwarf star.

79 ASTRONOMY AND ASTROPHYSICS↗

Integrated profiling of three dimensional cell culture models and 3D microscopy

Motivation: Our goal is to develop a screening platform for quantitative profiling of colony organizations in 3D cell culture models. The 3D cell culture models, which are also imaged in 3D, are functional assays that mimic the in vivo characteristics of the tissue architecture more faithfully than the 2D cultures. However, they also introduce significant computational challenges, with the main barriers being the effects of growth conditions, fixations and inherent complexities in segmentation that need to be resolved in the 3D volume. Results: A segmentation strategy has been developed to delineate each nucleus in a colony that overcomes (i) the effects of growth conditions, (ii) variations in chromatin distribution and (iii) ambiguities formed by perceptual boundaries from adjacent nuclei. The strategy uses a cascade of geometric filters that are insensitive to spatial nonuniformity and partitions a clump of nuclei based on the grouping of points of maximum curvature at the interface of two neighboring nuclei. These points of maximum curvature are clustered together based on their coplanarity and proximity to define dissecting planes that separate the touching nuclei. The proposed curvature-based partitioning method is validated with both synthetic and real data, and is shown to have a superior performance against previous techniques. Validation and sensitivity analysis are coupled with the experimental design that includes a non-transformed cell line and three tumorigenic cell lines, which covers a wide range of phenotypic diversity in breast cancer. Colony profiling, derived from nuclear segmentation, reveals distinct indices for the morphogenesis of each cell line.

59 BASIC BIOLOGICAL SCIENCES↗

Selected advances in small-angle scattering and applications they serve in manufacturing, energy and climate change

Innovations in small-angle X-ray and neutron scattering (SAXS and SANS) at major X-ray and neutron facilities offer new characterization tools for researching materials phenomena relevant to advanced applications. For SAXS, the new generation of diffraction-limited storage rings, incorporating multi-bend achromat concepts, dramatically decrease electron beam emittance and significantly increase X-ray brilliance over previous third-generation sources. This results in intense X-ray incident beams that are more compact in the horizontal plane, allowing significantly improved spatial resolution, better time resolution, and a new era for coherent-beam SAXS methods such as X-ray photon correlation spectroscopy. Elsewhere, X-ray free-electron laser sources provide extremely bright, fully coherent, X-ray pulses of <100 fs and can support SAXS studies of material processes where entire SAXS data sets are collected in a single pulse train. Meanwhile, SANS at both steady-state reactor and pulsed spallation neutron sources has significantly evolved. Developments in neutron optics and multiple detector carriages now enable data collection in a few minutes for materials characterization over nanometre-to-micrometre scale ranges, opening up real-time studies of multi-scale materials phenomena. SANS at pulsed neutron sources is becoming more integrated with neutron diffraction methods for simultaneous structure characterization of complex materials. In this paper, selected developments are highlighted and some recent state-of-the-art studies discussed, relevant to hard matter applications in advanced manufacturing, energy and climate change.

36 MATERIALS SCIENCE↗

Evaluation of the microangiographic fluoroscope (MAF) using generalized system performance metrics

Purpose: The performance of a newly developed, high resolution, microangiographic fluoroscope (MAF) (35 {mu}m pixel pitch and 300 {mu}m thick CsI phosphor) was evaluated using a generalized linear system analysis and compared with that of a standard amorphous Si thin film transistor flat panel detector (FPD) (194 {mu}m pixel pitch and 600 {mu}m thick CsI phosphor). The linear system metrics such as modulation transfer function (MTF), noise power spectrum, and detection quantum efficiency (DQE) are commonly used to gauge the intrinsic detector performance in the detector plane. However, these linear system metrics do not provide information about the image receptor performance in a real system since they do not include the effects of other parameters such as focal spot distribution, scatter radiation, and geometric unsharpness, which may compromise detector performance characteristics. Use of generalized linear system metrics [generalized modulation transfer function (GMTF), generalized normalized noise power spectrum (GNNPS), and generalized detection quantum efficiency (GDQE)] that include these effects gives a more meaningful, complete, and appropriate evaluation of detector performance as part of the imaging system. Methods: A uniform head equivalent phantom was used to simulate realistic clinical parameters and x-ray spectra. The detector MTFs were measured using the slanted edge method and the focal spot MTFs were measured using a pinhole assembly. The scatter MTF was simulated and the scatter fraction was measured for a head-equivalent phantom. The generalized system metrics were calculated for different combinations of three choices of focal spots and three different magnifications with two different air-gaps. The performance of the MAF was also illustrated using stent images obtained with different focal spots under similar conditions. Results: Results for the generalized metrics provide a quantitative description of the performance of the imaging system for both detectors. This generalized analysis demonstrated that both detectors have similar imaging capabilities at lower spatial frequencies, but that the MAF has superior performance over the FPD at higher frequencies even when considering focal spot blurring and scatter. Conclusions: This generalized performance analysis demonstrates the significance of focal spot size, magnification, and scatter on the system performance metrics (GMTF, GNNPS, and GDQE). Although the ideal detector performance characteristics of the MAF are not fully realized due to these other system factors, it still retains an advantage in DQE at high spatial frequencies over the FPD. Similar studies based on the generalized linear system metrics can serve as an efficient tool to evaluate total system capabilities under different realistic conditions to enable optimal design for specific imaging tasks.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Template Synthesis, Structure, and Magnetic Properties of Layered Nanowires

Nanowires (NWs) consisting of Ni/Cu and Co/Cu alternating layers with a diameter of 100 nm and layer thicknesses varying between 10 and 500 nm are prepared by template synthesis in pores of polymer track-etched membranes. Bath compositions and different regimes for pulsed electrodeposition of NWs are explored. A procedure for electrodeposition of NWs using pulses of equal charge is developed. By diminishing the amount of charge per pulse, initially we manage to lower the layer thickness to 10–15 nm, but further diminishing of charge in pulses leads to the blending of elemental composition of adjacent layers and/or formation of rod–shell nanostructures within the NWs. The coercive force (15–30 mT) and residual magnetization of our layered NWs are determined from magnetization measurements. For NWs with a layer thickness of 50–100 nm, the magnetization curves recorded in the out-of-plane and in-plane geometries are similar in shape and have similar parameters. For NWs with thicker layers (250 and 500 nm), magnetization curves are markedly different due to magnetic anisotropy (an easy magnetization axis emerges longitudinally to NWs) and interference between neighboring NWs. Magnetic force microscopy of isolated NWs identifies that the NWs comprise magnetic regions extending over ~100–150 nm. The NW can be partially remagnetized by applying an external magnetic field (+16 mT) longitudinally.

77 NANOSCIENCE AND NANOTECHNOLOGY↗

Virtual machine-based simulation platform for mobile ad-hoc network-based cyber infrastructure

In modeling and simulating complex systems such as mobile ad-hoc networks (MANETs) in de-fense communications, it is a major challenge to reconcile multiple important considerations: the rapidity of unavoidable changes to the software (network layers and applications), the difficulty of modeling the critical, implementation-dependent behavioral effects, the need to sustain larger scale scenarios, and the desire for faster simulations. Here we present our approach in success-fully reconciling them using a virtual time-synchronized virtual machine(VM)-based parallel ex-ecution framework that accurately lifts both the devices as well as the network communications to a virtual time plane while retaining full fidelity. At the core of our framework is a scheduling engine that operates at the level of a hypervisor scheduler, offering a unique ability to execute multi-core guest nodes over multi-core host nodes in an accurate, virtual time-synchronized manner. In contrast to other related approaches that suffer from either speed or accuracy issues, our framework provides MANET node-wise scalability, high fidelity of software behaviors, and time-ordering accuracy. The design and development of this framework is presented, and an ac-tual implementation based on the widely used Xen hypervisor system is described. Benchmarks with synthetic and actual applications are used to identify the benefits of our approach. The time inaccuracy of traditional emulation methods is demonstrated, in comparison with the accurate execution of our framework verified by theoretically correct results expected from analytical models of the same scenarios. In the largest high fidelity tests, we are able to perform virtual time-synchronized simulation of 64-node VM-based full-stack, actual software behaviors of MANETs containing a mix of static and mobile (unmanned airborne vehicle) nodes, hosted on a 32-core host, with full fidelity of unmodified ad-hoc routing protocols, unmodified application executables, and user-controllable physical layer effects including inter-device wireless signal strength, reachability, and connectivity.

97 MATHEMATICS AND COMPUTING↗