Search NASA⌕ Search

SEARCH · Search NASA

Results for “Linear induction accelerator”

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

Track Structure and the Biological Effectiveness of Accelerated Particles for the Induction of Chromosome Damage

Track structure models predict that at a fixed value of LET, particles with lower charge number, Z will have a higher biological effectiveness compared to particles with a higher Z. In this report we investigated how track structure effects induction of chromosomal aberration in human cells. Human lymphocytes were irradiated in vitro with various energies of accelerated iron, silicon, neon, or titanium ions and chromosome damage was assessed in using three color FISH chromosome painting in chemically induced PCC samples collected a first cell division post irradiation. The LET values for these ions ranged from 30 to195 keV/micron. Of the particles studied, Neon ions have the highest biological effectiveness for induction of total chromosome damage, which is consistent with track structure model predictions. For complex-type exchanges 64 MeV/ u Neon and 450 MeV/u Iron were equally effective and induced the most complex damage. In addition we present data on chromosomes exchanges induced by six different energies of protons (5 MeV/u to 2.5 GeV/u). The linear dose response term was similar for all energies of protons suggesting that the effect of the higher LET at low proton energies is balanced by the production of nuclear secondaries from the high energy protons.

George, K.↗
NASA NTRS2012

The Biological Effectiveness of Accelerated Particles for the Induction of Chromosome Damage: Track Structure Effects and Cytogenetic Signatures of High-LET Exposure

Track structure models predict that at a fixed value of LET, particles with lower charge number, Z will have a higher biological effectiveness compared to particles with a higher Z. In this report we investigated how track structure effects induction of chromosomal aberration in human cells. Human lymphocytes were irradiated in vitro with various energies of accelerated iron, silicon, neon, or titanium ions and chromosome damage was assessed in using three color FISH chromosome painting in chemically induced PCC samples collected a first cell division post irradiation. The LET values for these ions ranged from 30 to 195 keV/micrometers. Of the particles studied, Neon ions have the highest biological effectiveness for induction of total chromosome damage, which is consistent with track structure model predictions. For complex-type exchanges 64 MeV/ u Neon and 450 MeV/u Iron were equally effective and induced the most complex damage. In addition we present data on chromosomes exchanges induced by six different energies of protons (5 MeV/u to 2.5 GeV/u). The linear dose response term was similar for all energies of protons suggesting that the effect of the higher LET at low proton energies is balanced by the production of nuclear secondaries from the high energy protons. All energies of protons have a much higher percentage of complex-type chromosome exchanges than gamma rays, signifying a cytogenetic signature for proton exposures.

George, K.↗
NASA NTRS1995

Effects of alpha-particles on survival and chromosomal aberrations in human mammary epithelial cells

We have studied the radiation responses of a human mammary epithelial cell line, H184B5 F5-1 M/10. This cell line was derived from primary mammary cells after treatment with chemicals and heavy ions. The F5-1 M/10 cells are immortal, density-inhibited in growth, and non-tumorigenic in athymic nude mice and represent an in vitro model of the human epithelium for radiation studies. Because epithelial cells are the target of alpha-particles emitted from radon daughters, we concentrated our studies on the efficiency of alpha-particles. Confluent cultures of M/10 cells were exposed to accelerated alpha-particles [beam energy incident at the cell monolayer = 3.85 MeV, incident linear energy transfer (LET) in cell = 109 keV/microns] and, for comparison, to 80 kVp x-rays. The following endpoints were studied: (1) survival, (2) chromosome aberrations at the first postirradiation mitosis, and (3) chromosome alterations at later passages following irradiation. The survival curve was exponential for alpha-particles (D0 = 0.73 +/- 0.04 Gy), while a shoulder was observed for x-rays (alpha/beta = 2.9 Gy; D0 = 2.5 Gy, extrapolation number 1.6). The relative biological effectiveness (RBE) of high-LET alpha-particles for human epithelial cell killing was 3.3 at 37% survival. Dose-response curves for the induction of chromosome aberrations were linear for alpha-particles and linearquadratic for x-rays. The RBE for the induction of chromosome aberrations varied with the type of aberration scored and was high (about 5) for chromosome breaks and low (about 2) for chromosome exchanges.(ABSTRACT TRUNCATED AT 250 WORDS).

NASA Center JSC↗
NASA NTRS2001

Cell killing and chromatid damage in primary human bronchial epithelial cells irradiated with accelerated 56Fe ions

We examined cell killing and chromatid damage in primary human bronchial epithelial cells irradiated with high-energy 56Fe ions. Cells were irradiated with graded doses of 56Fe ions (1 GeV/nucleon) accelerated with the Alternating Gradient Synchrotron at Brookhaven National Laboratory. The survival curves for cells plated 1 h after irradiation (immediate plating) showed little or no shoulder. However, the survival curves for cells plated 24 h after irradiation (delayed plating) had a small initial shoulder. The RBE for 56Fe ions compared to 137Cs gamma rays was 1.99 for immediate plating and 2.73 for delayed plating at the D10. The repair ratio (delayed plating/immediate plating) was 1.67 for 137Cs gamma rays and 1.22 for 56Fe ions. The dose-response curves for initially measured and residual chromatid fragments detected by the Calyculin A-mediated premature chromosome condensation technique showed a linear response. The results indicated that the induction frequency for initially measured fragments was the same for 137Cs gamma rays and 56Fe ions. On the other hand, approximately 85% of the fragments induced by 137Cs gamma rays had rejoined after 24 h of postirradiation incubation; the corresponding amount for 56Fe ions was 37%. Furthermore, the frequency of chromatid exchanges induced by gamma rays measured 24 h after irradiation was higher than that induced by 56Fe ions. No difference in the amount of chromatid damage induced by the two types of radiations was detected when assayed 1 h after irradiation. The results suggest that high-energy 56Fe ions induce a higher frequency of complex, unrepairable damage at both the cellular and chromosomal levels than 137Cs gamma rays in the target cells for radiation-induced lung cancers.

NASA Discipline Radiation Health↗
DOE OSTI2017

Dealloying, Microstructure and the Corrosion/Protection of Cast Magnesium Alloys

The purpose of this project was to develop a greater understanding of micro-galvanic corrosion effects in cast magnesium alloys using both experimental and computational methods. Experimental accomplishments have been made in the following areas of interest: characterization, aqueous free-corrosion, atmospheric corrosion, ionic liquid dissolution, rate kinetics of oxide dissolution, and coating investigation. Commercial alloys (AZ91D, AM60, and AZ31B), binary-phase alloys (αMg-2at.%Al, αMg-5at.%Al, and Mg-8at.%Al), and component phases (Mg, Al, β-Mg, β-1%Zn, MnAl3) were obtained and characterized using energy dispersive spectroscopy (EDS), X-ray diffraction (XRD), and scanning electron microscopy (SEM). Full immersion in aqueous chloride was used to characterize the corrosion behavior of alloys. Rotating disc electrodes (RDEs) were used to observe accelerated long-term corrosion behavior. Al surface redistribution for freely corroded samples was analyzed using SEM, EDS, and lithium underpotential deposition (Li UPD). Atmospheric corrosion was observed using contact angle evolution, overnight pH monitoring, and surface pH evolution studies. Ionic liquid corrosion characterization was performed using linear sweep voltammetry and potentiostatic dissolution in 150° choline chloride-urea (cc-urea). Two surface coatings were investigated: (1) Li-carbonate and (2) cc-urea. Li-carbonate coatings were characterized using X-ray photoelectron spectroscopy (XPS), SEM, and aqueous free corrosion potential monitoring. Hydrophobic cc-urea coatings were characterized using contact angle measurements and electrochemical impedance spectroscopy. Oxide dissolution rate kinetics were studied using inductively coupled plasma mass spectroscopy (ICP-MS). Computational accomplishments have been made through the development of Kinetic Monte Carlo (KMC) simulations which model time- and composition-dependent effects on the microstructure due to spatial redistribution of alloying elements during corrosion.

36 MATERIALS SCIENCE↗
NASA NTRS2006

Switching Characteristics of a 4H-SiC Based Bipolar Junction Transistor to 200 C

Static curves and resistive load switching characteristics of a 600 V, 4 A rated, SiC-based NPN bipolar power transistor (BJT) were observed at selected temperatures from room to 200 C. All testing was done in a pulse mode at low duty cycle (approx.0.1 percent). Turn-on was driven by an adjustable base current pulse and turn-off was accelerated by a negative base voltage pulse of 7 V. These base drive signals were implemented by 850 V, gated power pulsers, having rise-times of roughly 10 ns, or less. Base charge sweep-out with a 7 V negative pulse did not produce the large reverse base current pulse seen in a comparably rated Si-based BJT. This may be due to a very low charge storage time. The decay of the collector current was more linear than its exponential-like rise. Switching observations were done at base drive currents (I(sub B)) up to 400 mA and collector currents (I(sub C)) up to 4 A, using a 100 Omega non-inductive load. At I(sub B) = 400 mA and I(sub C) = 4 A, turn-on times typically varied from 80 to 94 ns, over temperatures from 23 to 200 C. As expected, lowering the base drive greatly extended the turn-on time. Similarly, decreasing the load current to I(sub C) = 1 A with I(sub B) = 400 mA produced turn-on times as short as 34 ns. Over the 23 to 200 C range, with I(sub B) = 400 mA and I(sub C) = 4 A, turn-off times were in the range of 72 to 84 ns with the 7 V sweep-out.

Niedra, Janis M.↗
NASA NTRS1997

Mutagenic effects of a single and an exact number of alpha particles in mammalian cells

One of the main uncertainties in risk estimation for environmental radon exposure using lung cancer data from underground miners is the extrapolation from high- to low-dose exposure where multiple traversal is extremely rare. The biological effects of a single alpha particle are currently unknown. Using the recently available microbeam source at the Radiological Research Accelerator Facility at Columbia University, we examined the frequencies and molecular spectrum of S1- mutants induced in human-hamster hybrid (A(L)) cells by either a single or an exact number of alpha particles. Exponentially growing cells were stained briefly with a nontoxic concentration of Hoechst dye for image analysis, and the location of individual cells was computer-monitored. The nucleus of each cell was irradiated with either 1,2,4, or 8 alpha particles at a linear energy transfer of 90 keV/microm consistent with the energy spectrum of domestic radon exposure. Although single-particle traversal was only slightly cytotoxic to A(L) cells (survival fraction approximately 0.82), it was highly mutagenic, and the induced mutant fraction averaged 110 mutants per 10(5) survivors. In addition, both toxicity and mutant induction were dose-dependent. Multiplex PCR analysis of mutant DNA showed that the proportion of mutants with multilocus deletions increased with the number of particle traversals. These data provide direct evidence that a single a particle traversing a nucleus will have a high probability of resulting in a mutation and highlight the need for radiation protection at low doses.

NASA Discipline Radiation Health↗
DOE OSTI2023

Density Measurement of NaCl-MgCl 2 -PuCl 3 and NaCl-UCl 3 -PuCl 3 Molten Salt Systems by Neutron Radiographic Dilatometry

A novel neutron radiographic technique was developed and implemented to measure the change in volume as a function of temperature of select plutonium-containing liquid chloride mixtures from melt to 1250 K. These measurements were performed at Los Alamos National Laboratory by members of the molten salt research group under support from Gateway for Accelerated Innovation in Nuclear (GAIN) voucher NE-21-25117: “Density Measurements of Plutonium Bearing Salts via Neutron Beam Dilatometry”. This technical report contains a description of the experimental method and a summary of the results. Initial characterization of the {NaCl, MgCl 2 , UCl 3 , PuCl 3 } salts used in this experiment includes a combination of x-ray diffraction, differential scanning calorimetry, gamma ray spectroscopy, and inductively coupled plasma mass spectrometry. Four samples of NaCl + MgCl 2 + x mol% PuCl 3 and four samples of NaCl + UCl 3 + x mol% PuCl 3 were prepared at the Plutonium Facility, shipped to the Los Alamos Neutron Science Center (LANSCE), and radiographed with the density via neutron radiography (DvNR) apparatus. Density data in the form of meniscus heights were recorded as a function of temperature. The results show a linear dependence of density with temperature and a third order polynomial dependence of density with composition as a function of PuCl 3 addition in the corresponding halide salt mixture. Additions of PuCl 3 result in a significant increase in density of the salt mixture and a slight reduction in the coefficient of volumetric expansion. These results represent a first measurement of the density of plutonium chloride salt mixtures and, in combination with additional measurements, may lead to a generalized description of the density of such salt systems for arbitrary compositions and temperature.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
NASA NTRS2001

Genomic instability, bystander effect, cytoplasmic irradiation and other phenomena that may achieve fame without fortune

The possible risk of induced malignancies in astronauts, as a consequence of the radiation environment in space, is a factor of concern for long term missions. Cancer risk estimates for high doses of low LET radiation are available from the epidemiological studies of the A-bomb survivors. Cancer risks at lower doses cannot be detected in epidemiological studies and must be inferred by extrapolation from the high dose risks. The standard setting bodies, such as the ICRP recommend a linear, no-threshold extrapolation of risks from high to low doses, but this is controversial. A study of mechanisms of carcinogenesis may shed some light on the validity of a linear extrapolation. The multi-step nature of carcinogenesis suggests that the role of radiation may be to induce a mutation leading to a mutator phenotype. High energy Fe ions, such as those encountered in space are highly effective in inducing genomic instability. Experiments involving the single particle microbeam have demonstrated a "bystander effect", ie a biological effect in cells not themselves hit, but in close proximity to those that are, as well as the induction of mutations in cells where only the cytoplasm, and not the nucleus, have been traversed by a charged particle. These recent experiments cast doubt on the validity of a simple linear extrapolation, but the data are so far fragmentary and conflicting. More studies are necessary. While mechanistic studies cannot replace epidemiology as a source of quantitative risk estimates, they may shed some light on the shape of the dose response relationship and therefore on the limitations of a linear extrapolation to low doses.

NASA Discipline Radiation Health↗
NASA NTRS1981

Linear theory of tearing in a high-beta plasma

The linear dispersion relation for a collisionless plasma in a sheared one-dimensional current sheet is calculated with reference to conditions in the daytime magnetopause. Calculations are extended to include plasmas with beta approximately equal to 1. It is found that the tearing mode eigenstructure and temporal growth rate are a sensitive function of the ratios l sub s/l sub G, l sub s/l sub T, and l sub s/l sub n, where l sub s is the shearing length of the magnetic field, l sub G is the gradient scale length, and l sub T is the temperature gradient scale length. In particular, if beta is approximately equal to 1, and l sub s is less than l sub G, l sub n, and l sub T, then the thickness of the layer over which particles are resonantly accelerated by the induction magnetic field is approximately rho, a thermal gyroradius. If the above conditions are not satisfied, plasma gradients may electrostatically stabilize the mode.

Quest, K. B.↗
DOE OSTI2018

Algebraic motion of vertically displacing plasmas

In this paper, the vertical motion of a tokamak plasma is analytically modelled during its non-linear phase by a free-moving current-carrying rod inductively coupled to a set of fixed conducting wires or a cylindrical conducting shell. The solutions capture the leading term in a Taylor expansion of the Green's function for the interaction between the plasma column and the surrounding vacuum vessel. The plasma shape and profiles are assumed not to vary during the vertical drifting phase such that the plasma column behaves as a rigid body. In the limit of perfectly conducting structures, the plasma is prevented to come in contact with the wall due to steep effective potential barriers created by the induced Eddy currents. Resistivity in the wall allows the equilibrium point to drift towards the vessel on the slow timescale of flux penetration. The initial exponential motion of the plasma, understood as a resistive vertical instability, is succeeded by a non-linear “sinking” behaviour shown to be algebraic and decelerating. Finally, the acceleration of the plasma column often observed in experiments is thus concluded to originate from an early sharing of toroidal current between the core, the halo plasma, and the wall or from the thermal quench dynamics precipitating loss of plasma current.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2017

Analysis of ELM stability with extended MHD models in JET, JT-60U and future JT-60SA tokamak plasmas

The stability with respect to a peeling–ballooning mode (PBM) was investigated numerically with extended MHD simulation codes in JET, JT-60U and future JT-60SA plasmas. The MINERVA-DI code was used to analyze the linear stability, including the effects of rotation and ion diamagnetic drift (${\omega }_{* {\rm{i}}}$), in JET-ILW and JT-60SA plasmas, and the JOREK code was used to simulate nonlinear dynamics with rotation, viscosity and resistivity in JT-60U plasmas. It was validated quantitatively that the ELM trigger condition in JET-ILW plasmas can be reasonably explained by taking into account both the rotation and ${\omega }_{* {\rm{i}}}$ effects in the numerical analysis. When deuterium poloidal rotation is evaluated based on neoclassical theory, an increase in the effective charge of plasma destabilizes the PBM because of an acceleration of rotation and a decrease in ${\omega }_{* {\rm{i}}}$. The difference in the amount of ELM energy loss in JT-60U plasmas rotating in opposite directions was reproduced qualitatively with JOREK. By comparing the ELM affected areas with linear eigenfunctions, it was confirmed that the difference in the linear stability property, due not to the rotation direction but to the plasma density profile, is thought to be responsible for changing the ELM energy loss just after the ELM crash. A predictive study to determine the pedestal profiles in JT-60SA was performed by updating the EPED1 model to include the rotation and ${\omega }_{* {\rm{i}}}$ effects in the PBM stability analysis. It was shown that the plasma rotation predicted with the neoclassical toroidal viscosity degrades the pedestal performance by about 10% by destabilizing the PBM, but the pressure pedestal height will be high enough to achieve the target parameters required for the ITER-like shape inductive scenario in JT-60SA.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2016

Radiosensitization by PARP inhibition to proton beam irradiation in cancer cells

The poly(ADP-ribose) polymerase (PARP)-1 regulates DNA damage responses and promotes base excision repair. PARP inhibitors have been shown to enhance the cytotoxicity of ionizing radiation in various cancer cells and animal models. We have demonstrated that the PARP inhibitor (PARPi) AZD2281 is also an effective radiosensitizer for carbon-ion radiation; thus, we speculated that the PARPi could be applied to a wide therapeutic range of linear energy transfer (LET) radiation as a radiosensitizer. Institutes for biological experiments using proton beam are limited worldwide. This study was performed as a cooperative research at heavy ion medical accelerator in Chiba (HIMAC) in National Institute of Radiological Sciences. HIMAC can generate various ion beams; this enabled us to compare the radiosensitization effect of the PARPi on cells subjected to proton and carbon-ion beams from the same beam line. After physical optimization of proton beam irradiation, the radiosensitization effect of the PARPi was assessed in the human lung cancer cell line, A549, and the pancreatic cancer cell line, MIA PaCa-2. The effect of the PARPi, AZD2281, on radiosensitization to Bragg peak was more significant than that to entrance region. The PARPi increased the number of phosphorylated H2AX (γ-H2AX) foci and enhanced G2/M arrest after proton beam irradiation. This result supports our hypothesis that a PARPi could be applied to a wide therapeutic range of LET radiation by blocking the DNA repair response. - Highlights: • Effective radiosensitizers for particle radiation therapy have not been reported. • PARP inhibitor treatment radiosensitized after proton beam irradiation. • The sensitization at Bragg peak was greater than that at entrance region. • DSB induction and G2/M arrest is involved in the sensitization mechanism.

60 APPLIED LIFE SCIENCES↗
NASA NTRS1994

Charged-particle mutagenesis II. Mutagenic effects of high energy charged particles in normal human fibroblasts

The biological effects of high LET charged particles are a subject of great concern with regard to the prediction of radiation risk in space. In this report, mutagenic effects of high LET charged particles are quantitatively measured using primary cultures of human skin fibroblasts, and the spectrum of induced mutations are analyzed. The LET of the charged particles ranged from 25 KeV/micrometer to 975 KeV/micrometer with particle energy (on the cells) between 94-603 MeV/u. The X-chromosome linked hypoxanthine guanine phosphoribosyl transferase (hprt) locus was used as the target gene. Exposure to these high LET charged particles resulted in exponential survival curves; whereas, mutation induction was fitted by a linear model. The Relative Biological Effect (RBE) for cell-killing ranged from 3.73 to 1.25, while that for mutant induction ranged from 5.74 to 0.48. Maximum RBE values were obtained at the LET of 150 keV/micrometer. The inactivation cross-section (alpha i) and the action cross-section for mutant induction (alpha m) ranged from 2.2 to 92.0 micrometer2 and 0.09 to 5.56 x 10(-3) micrometer2, respectively. The maximum values were obtained by 56Fe with an LET of 200 keV/micrometer. The mutagenicity (alpha m/alpha i) ranged from 2.05 to 7.99 x 10(-5) with the maximum value at 150 keV/micrometer. Furthermore, molecular analysis of mutants induced by charged particles indicates that higher LET beams are more likely to cause larger deletions in the hprt locus.

NASA Center JSC↗
NASA NTRS1998

Repair of clustered DNA damage caused by high LET radiation in human fibroblasts

It has recently been demonstrated experimentally that DNA damage induced by high LET radiation in mammalian cells is non-randomly distributed along the DNA molecule in the form of clusters of various sizes. The sizes of such clusters range from a few base-pairs to at least 200 kilobase-pairs. The high biological efficiency of high LET radiation for induction of relevant biological endpoints is probably a consequence of this clustering, although the exact mechanisms by which the clustering affects the biological outcome is not known. We discuss here results for induction and repair of base damage, single-strand breaks and double-strand breaks for low and high LET radiations. These results are discussed in the context of clustering. Of particular interest is to determine how clustering at different scales affects overall rejoining and fidelity of rejoining of DNA double-strand breaks. However, existing methods for measuring repair of DNA strand breaks are unable to resolve breaks that are close together in a cluster. This causes problems in interpretation of current results from high LET radiation and will require new methods to be developed.

NASA Discipline Radiation Health↗
DOE OSTI2021

Evaluation of Oxygen Consumption as a Sensitive Measure of Electrical Cable Polymer Insulation Degradation

Polymers used as dielectric materials in nuclear grade electrical cables, such as cross-linked polyethylene (XLPE) and ethylene-propylene rubber (EPR), are long-lived and durable. Estimating the decades-long useful service life of polymers experimentally in a feasible timeframe of weeks or months requires greatly accelerated aging in the laboratory at elevated temperatures and/or gamma dose rates. Many limitations of accelerated aging, such as due to artefacts of the process including diffusion limited oxidation and dose rate effects, have been identified that can make accurate lifetime prediction at service conditions challenging. This can be due to differences in degradation mechanisms between rapid and extended aging or to the presence of induction periods during which early aging is undetectable using common metrics of polymer insulation characterization such as tensile elongation at break. Conceptually, an ideal measure of aging would track clearly and predictably with material changes throughout the lifecycle of the evolving material state from early aging through end of useful life. With such a metric accelerated aging could be performed at much milder conditions, conditions closer to those found in long term service, and end of life calculated from the early data. Oxygen consumption has previously been proposed as a sensitive measure of insulation polymer oxidation that might meet such desirable characteristics. In this work, nuclear cable insulation samples of the two most common types, XLPE and EPR, from two of the most sourced manufacturers, RSCC and The Okonite Company, were subjected to gamma irradiation at dose rates of 100, 200, and 300 Gy/hr for up to 42 days at 26°C. The aged samples were used to evaluate oxygen consumption as a sensitive measure of aging for these materials and these conditions. For comparison and validation, the aged samples were also characterized using the more conventional tests of mass change, density, carbonyl index, and yellowness index. For both materials, oxygen consumption during irradiation was found to track consistently with applied dose—oxygen consumption rate was linear with time. Mass change and carbonyl index were also clearly proportional to exposure dose. Yellowness index, a surface sensitive measure, was observed to increase linearly with dose at low exposure levels before plateauing. Sample density was not observed to change under the conditions explored. Oxygen consumption was found to be a particularly sensitive metric to measure the degradation of polymeric cable insulation exposed to radiation. Oxygen consumption was compared to Arrhenius and time-temperature-superposition methods for activation energy calculation using literature date and found to be a useful and viable alternative for lifetime prediction. The techniques developed in this work are anticipated to be valuable in the estimation of insulation aging rates under mild conditions approaching service conditions. Direction comparison of useful life prediction by oxygen consumption with prediction via Arrhenius methodology for thermal aging and existing methods for radiation and combined thermal/radiation aging would serve to further validate this promising approach and refine our understanding of material-specific aging rates.

36 MATERIALS SCIENCE↗
NASA NTRS1998

Effect of track structure and radioprotectors on the induction of oncogenic transformation in murine fibroblasts by heavy ions

The oncogenic potential of high-energy 56Fe particles (1 GeV/nucleon) accelerated with the Alternating Gradient Synchrotron at the Brookhaven National Laboratory was examined utilizing the mouse C3H 10T1/2 cell model. The dose-averaged LET for high-energy 56Fe is estimated to be 143 keV/micrometer with the exposure conditions used in this study. For 56Fe ions, the maximum relative biological effectiveness (RBEmax) values for cell survival and oncogenic transformation were 7.71 and 16.5 respectively. Compared to 150 keV/micrometer 4He nuclei, high-energy 56Fe nuclei were significantly less effective in cell killing and oncogenic induction. The prostaglandin E1 analog misoprostol, an effective oncoprotector of C3H 10T1/2 cells exposed to X rays, was evaluated for its potential as a radioprotector of oncogenic transformation with high-energy 56Fe. Exposure of cells to misoprostol did not alter 56Fe cytotoxicity or the rate of 56Fe-induced oncogenic transformation.

NASA Discipline Radiation Health↗
DOE OSTI2024

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)

42 ENGINEERING↗