Search NASA⌕ Search

SEARCH · Search NASA

Results for “Cloning”

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 145 records · Page 8

Development of human epithelial cell systems for radiation risk assessment

The most important health effect of space radiation for astronauts is cancer induction. For radiation risk assessment, an understanding of carcinogenic effect of heavy ions in human cells is most essential. In our laboratory, we have successfully developed a human mammary epithelial cell system for studying the neoplastic transformation in vitro. Growth variants were obtained from heavy ion irradiated immortal mammary cell line. These cloned growth variants can grow in regular tissue culture media and maintain anchorage dependent growth and density inhibition property. Upon further irradiation with high-Linear Energy Transfer (LET) radiation, transformed foci were found. Experimental results from these studies suggest that multiexposure of radiation is required to induce neoplastic tranformation of human epithelial cells. This multihits requirement may be due to high genomic stability of human cells. These growth variants can be useful model systems for space flight experiments to determine the carcinogenic effect of space radiation in human epithelial cells.

Yang, C. H.↗

The Linux operating system: An introduction

Linux is a Unix-like operating system for Intel 386/486/Pentium based IBM-PCs and compatibles. The kernel of this operating system was written from scratch by Linus Torvalds and, although copyrighted by the author, may be freely distributed. A world-wide group has collaborated in developing Linux on the Internet. Linux can run the powerful set of compilers and programming tools of the Free Software Foundation, and XFree86, a port of the X Window System from MIT. Most capabilities associated with high performance workstations, such as networking, shared file systems, electronic mail, TeX, LaTeX, etc. are freely available for Linux. It can thus transform cheap IBM-PC compatible machines into Unix workstations with considerable capabilities. The author explains how Linux may be obtained, installed and networked. He also describes some interesting applications for Linux that are freely available. The enormous consumer market for IBM-PC compatible machines continually drives down prices of CPU chips, memory, hard disks, CDROMs, etc. Linux can convert such machines into powerful workstations that can be used for teaching, research and software development. For professionals who use Unix based workstations at work, Linux permits virtually identical working environments on their personal home machines. For cost conscious educational institutions Linux can create world-class computing environments from cheap, easily maintained, PC clones. Finally, for university students, it provides an essentially cost-free path away from DOS into the world of Unix and X Windows.

Bokhari, Shahid H.↗

Optical characterization of the oceanic unicellular cyanobacterium Synechococcus grown under a day-night cycle in natural irradiance

The optical properties of the ocenanic cyanobacterium Synechococcus (clone WH8103) were examined in a nutrient-replete laboratory culture grown under a day-night cycle in natural irradiance. Measurements of the spectral absorption and beam attenuation coefficients, the size distribution of cells in suspension, and microscopic analysis of samples were made at intervals of 2-4 hours for 2 days. These measurements were used to calculate the optical properties at the level of a single 'mean' cell representative of the acutal population, specifically, the optical cross sections for spectral absorption bar-(sigma(sub a)), scattering bar-sigma(sub b))(lambda), and attentuation bar-(sigma(sub c))(lambda). In addition, concurrent determinations of chlorophyll a and particulate organic carbon allowed calculation of the Chl a- and C-specific optical coefficients. The refractive index of cells was derived from the observed data using a theory of light absorption and scattering by homogeneous spheres. Low irradiance because of cloudy skies resulted in slow division rates of cells in the culture. The percentage of dividing cells was unusually high (greater than 30%) throughout the experiment. The optical cross sections varied greatly over a day-night cycle, with a minimum near dawn or midmorning and maximum near dusk. During daylight hours, bar-(sigma(sub b)) and bar-(sigma(sub c)) can increase more than twofold and bar-(sigma(sub a) by as much as 45%. The real part of the refractive index n increaed during the day; changes in n had equal or greater effect than the varying size distribution on changes in bar-(sigma(sub c)) and bar-(sigma(sub b)). The contribution of changes in n to the increase of bar-(sigma(sub c))(660) during daylight hours was 65.7% and 45.1% on day 1 and 2, respectively. During the dark period, when bar-(sigma(sub c))(660) decreased by a factor of 2.9, the effect of decreasing n was dominant (86.3%). With the exception of a few hours during the second light period, the imaginary part of the refractive index n' showed little variation over a day-night cycle, and bar-(sigma(sub a)) was largely controlled by variations in cell size. The real part of the refractive index at lambda = 660 nm was correlated with the intracellular C concentration and the imaginary part at lambda = 678 nm with the intracellular Chl a concentration. The C-specfic attenuation coefficient showed significant diel variability, which has implications for the estimation of oceanic primary production from measurements of diel variability in beam attenuation. This study provides strong evidence that diel variability is an important component of the optical characterization of marine phytoplankton.

Stramski, Dariusz↗

Multirepressor Control Systems For Efficient Promoter Regulation

Report presents numerical-simulation study, based on molecular-level mathematical models, to evaluate effectiveness of eight different configurations of repressor synthesis control of cloned-product-gene expression initiated from promoter/operator genetic sequence. In study, both single- and dual-repressor situations considered, using genetically structured molecules for lac and IPR promotor/operator in example calculations.

Bailey, James E.↗

Incorporating CLIPS into a personal-computer-based Intelligent Tutoring System

A large number of Intelligent Tutoring Systems (ITS's) have been built since they were first proposed in the early 1970's. Research conducted on the use of the best of these systems has demonstrated their effectiveness in tutoring in selected domains. Computer Sciences Corporation, Applied Technology Division, Houston Operations has been tasked by the Spacecraft Software Division at NASA/Johnson Space Center (NASA/JSC) to develop a number of lTS's in a variety of domains and on many different platforms. This paper will address issues facing the development of an ITS on a personal computer using the CLIPS (C Language Integrated Production System) language. For an ITS to be widely accepted, not only must it be effective, flexible, and very responsive, it must also be capable of functioning on readily available computers. There are many issues to consider when using CLIPS to develop an ITS on a personal computer. Some of these issues are the following: when to use CLIPS and when to use a procedural language such as C, how to maximize speed and minimize memory usage, and how to decrease the time required to load your rule base once you are ready to deliver the system. Based on experiences in developing the CLIPS Intelligent Tutoring System (CLIPSITS) on an IBM PC clone and an intelligent Physics Tutor on a Macintosh 2, this paper reports results on how to address some of these issues. It also suggests approaches for maintaining a powerful learning environment while delivering robust performance within the speed and memory constraints of the personal computer.

Mueller, Stephen J.↗

Cultivating Insect Cells To Produce Recombinant Proteins

Method of producing recombinant proteins involves growth of insect cells in nutrient solution in cylindrical bioreactor rotating about cylindrical axis, oriented horizontally and infecting cells with viruses into which genes of selected type cloned. Genes in question those encoding production of desired proteins. Horizontal rotating bioreactor preferred for use in method, denoted by acronym "HARV", described in "High-Aspect-Ratio Rotating Cell-Culture Vessel" (MSC-21662).

Spaulding, Glenn↗

A Novel Kinesin-Like Protein with a Calmodulin-Binding Domain

Calcium regulates diverse developmental processes in plants through the action of calmodulin. A cDNA expression library from developing anthers of tobacco was screened with S-35-labeled calmodulin to isolate cDNAs encoding calmodulin-binding proteins. Among several clones isolated, a kinesin-like gene (TCK1) that encodes a calmodulin-binding kinesin-like protein was obtained. The TCK1 cDNA encodes a protein with 1265 amino acid residues. Its structural features are very similar to those of known kinesin heavy chains and kinesin-like proteins from plants and animals, with one distinct exception. Unlike other known kinesin-like proteins, TCK1 contains a calmodulin-binding domain which distinguishes it from all other known kinesin genes. Escherichia coli-expressed TCK1 binds calmodulin in a Ca(2+)-dependent manner. In addition to the presence of a calmodulin-binding domain at the carboxyl terminal, it also has a leucine zipper motif in the stalk region. The amino acid sequence at the carboxyl terminal of TCK1 has striking homology with the mechanochemical motor domain of kinesins. The motor domain has ATPase activity that is stimulated by microtubules. Southern blot analysis revealed that TCK1 is coded by a single gene. Expression studies indicated that TCKI is expressed in all of the tissues tested. Its expression is highest in the stigma and anther, especially during the early stages of anther development. Our results suggest that Ca(2+)/calmodulin may play an important role in the function of this microtubule-associated motor protein and may be involved in the regulation of microtubule-based intracellular transport.

Wang, W.↗

Calcium-Dependent Protein Kinase Genes in Corn Roots

Two cDNAs encoding Ca-2(+) - Dependent Protein Kinases (CDPKs), Corn Root Protein Kinase 1 and 2 (CRPK 1, CRPK 2) were isolated from the root tip library of corn (Zea mays L., cv. Merit) and their nucleotide sequences were determined. Deduced amino acid sequences of both the clones have features characteristic of plant CDPKS, including all 11 conserved serine/threonine kinase subdomains, a junction domain and a calmodulin-like domain with four Ca-2(+), -binding sites. Northern analysis revealed that CRPKI mRNA is preferentially expressed in roots, especially in the root tip; whereas, the expression of CRPK2 mRNA was very low in all the tissues tested. In situ hybridization experiments revealed that CRPKI mRNA is highly expressed in the root apex, as compared to other parts of the root. Partially purified CDPK from the root tip phosphorylates syntide-2, a common peptide substrate for plant CDPKs, and the phosphorylation was stimulated 7-fold by the addition of Ca-2(+). Our results show that two CDPK isoforms are expressed in corn roots and they may be involved in the Ca-2(+)-dependent signal transduction process.

Takezawa, D.↗

Calmodulin Gene Family in Potato: Developmental and Touch-Induced Expression of the mRNA Encoding a Novel Isoform

Eight genomic clones of potato calmodulin (PCM1 to 8) were isolated and characterized. Sequence comparisons of different genes revealed that the deduced amino acid sequence of PCM1 had several unique substitutions, especially in the fourth Ca(2+)-binding area. The expression patterns of different genes were studied by northern analysis using the 3'-untranslated regions as probes. The expression of PCM1, 5, and 8 was highest in the stolon tip and it decreased during tuber development. The expression of PCM6 did not vary much in the tissues tested, except in the leaves, where the expression was lower; whereas, the expression of PCM4 was very low in all the tissues. The expression of PCM2 and PCM3 was not detected in any of the tissues tested. Among these genes, only PCM1 showed increased expression following touch stimulation. To study the regulation of PCM1, transgenic potato plants carrying the PCM1 promoter fused to the beta-glucuronidase (GUS) reporter gene were produced. GUS expression was found to be developmentally regulated and touch-responsive, indicating a positive correlation between the expression of PCM1 and GUS mRNAs. These results suggest that the 5'-flanking region of PCM1 controls developmental and touch-induced expression. X-Gluc staining patterns revealed that GUS localization is high in meristematic tissues such as the stem apex, stolon tip, and vascular regions.

Takezawa, D.↗

Dual Regulation of a Chimeric Plant Serine/Threonine Kinase by Calcium and Calcium/Calmodulin

A chimeric Ca(2+)/calmodulin-dependent protein kinase (CCaMK) gene characterized by a catalytic domain, a calmodulin-binding domain, and a neural visinin-like Ca(2+)-binding domain was recently cloned from plants. The Escherichia coli-expressed CCaMK phosphorylates various protein and peptide substrates in a Ca(2+)/calmodulin-dependent manner. The calmodulin-binding region of CCAMK has similarity to the calmodulin-binding region of the alpha-subunit of multifunctional Ca(2+)/calmodulin-dependent protein kinase (CaMKII). CCaMK exhibits basal autophosphorylation at the threonine residue(s) (0.098 mol of P-32/mol) that is stimulated 3.4-fold by Ca(2+) (0.339 mol of P-32/mol), while calmodulin inhibits Ca(2+)-stimulated autophosphorylation to the basal level. A deletion mutant lacking the visinin-like domain did not show Ca(2+)-simulated autophosphorylation activity but retained Ca(2+)/calmodulin-dependent protein kinase activity at a reduced level. Ca(2+)-dependent mobility shift assays using E.coli-expressed protein from residues 358-520 revealed that Ca(2+) binds to the visinin-like domain. Studies with site-directed mutants of the visinin-like domain indicated that EF-hands II and III are crucial for Ca(2+)-induced conformational changes in the visinin-like domain. Autophosphorylation of CCaMK increases Ca(2+)/calmodulin-dependent protein kinase activity by about 5-fold, whereas it did not affect its C(2+)-independent activity. This report provides evidence for the existence of a protein kinase in plants that is modulated by Ca(2+) and Ca(2+)/calmodulin. The presence of a visinin-like Ca(2+)-binding domain in CCaMK adds an additional Ca(2+)-sensing mechanism not previously known to exist in the Ca(2+)/calmodulin-mediated signaling cascade in plants.

Takezawa, D.↗

Regulated Expression of a Calmodulin Isoform Alters Growth and Development in Potato

A transgene approach was taken to study the consequences of altered expression of a calmodutin iso-form on plant growth and development. Eight genomic clones of potato calmodulin (PCM 1 to 8) have been isolated and characterized. Among the potato calmodulin isoforms studied, PCM 1 differs from the other isoforms because of its unique amino acid substitutions. Transgenic potato plants were produced carrying sense construct of PCM 1 fused to the CAMV 35S promoter. Transgenic plants showing a moderate increase in PCM 1 MRNA exhibited strong apical dominance, produced elongated tubers, and were taller than the controls. Interestingly, the plants expressing the highest level of PCM 1 MRNA did not form underground tubers. Instead, these transgenic plants produced aerial tubers when allowed to grow for longer periods. The expression of different calmodulin isoforms (PCM 1, 5, 6, and 8) was studied in transgenic plants. Among the four potato calmodulin isoforms, only the expression of PCM 1 MRNA was altered in transgenic plants, while the expression of other isoforms was not significantly altered. Western analysis revealed increased PCM 1 protein in transgenic plants, indicating that the expression of both MRNA and protein are altered in transgenic plants. These results suggest that increasing the expression of PCM 1 alters growth and development in potato plants.

Poovaiah, B. W.↗

A DNA enzyme with Mg(2+)-Dependent RNA Phosphoesterase Activity

Previously we demonstrated that DNA can act as an enzyme in the Pb(2+)-dependent cleavage of an RNA phosphoester. This is a facile reaction, with an uncatalyzed rate for a typical RNA phosphoester of approx. 10(exp -4)/ min in the presence of 1 mM Pb(OAc)2 at pH 7.0 and 23 C. The Mg(2+) - dependent reaction is more difficult, with an uncatalyzed rate of approx. 10(exp -7)/ min under comparable conditions. Mg(2+) - dependent cleavage has special relevance to biology because it is compatible with intracellular conditions. Using in vitro selection, we sought to develop a family of phosphoester-cleaving DNA enzymes that operate in the presence of various divalent metals, focusing particularly on the Mg(2+) - dependent reaction. Results: We generated a population of greater than 10(exp 13) DNAs containing 40 random nucleotides and carried out repeated rounds of selective amplification, enriching for molecules that cleave a target RNA phosphoester in the presence of 1 mM Mg(2+), Mn(2+), Zn(2+) or Pb(2+). Examination of individual clones from the Mg(2+) lineage after the sixth round revealed a catalytic motif comprised of a three-stem junction.This motif was partially randomized and subjected to seven additional rounds of selective amplification, yielding catalysts with a rate of 0.01/ min. The optimized DNA catalyst was divided into separate substrate and enzyme domains and shown to have a similar level of activity under multiple turnover conditions. Conclusions: We have generated a Mg(2+) - dependent DNA enzyme that cleaves a target RNA phosphoester with a catalytic rate approx. 10(exp 5) - fold greater than that of the uncatalyzed reaction. This activity is compatible with intracellular conditions, raising the possibility that DNA enzymes might be made to operate in vivo.

Breaker, Ronald R.↗

Green Fluorescent Protein as a Model for Protein Crystal Growth Studies

Green fluorescent protein (GFP) from jellyfish Aequorea Victoria has become a popular marker for e.g. mutagenesis work. Its fluorescent property, which originates from a chromophore located in the center of the molecule, makes it widely applicable as a research too]. GFP clones have been produced with a variety of spectral properties, such as blue and yellow emitting species. The protein is a single chain of molecular weight 27 kDa and its structure has been determined at 1.9 Angstrom resolution. The combination of GFP's fluorescent property, the knowledge of its several crystallization conditions, and its increasing use in biophysical and biochemical studies, all led us to consider it as a model material for macromolecular crystal growth studies. Initial preparations of GFP were from E.coli with yields of approximately 5 mg/L of culture media. Current yields are now in the 50 - 120 mg/L range, and we hope to further increase this by expression of the GFP gene in the Pichia system. The results of these efforts and of preliminary crystal growth studies will be presented.

Agena, Sabine↗

Effects of Elevated CO2 Concentration on Photosynthesis and Respiration of Populus Deltodies

To determine how increased atmospheric CO2 will affect the physiology of cottonwood trees, cuttings of the cloned Populus deltodies [cottonwood] were grown in open-top chambers containing ambient or elevated CO2 concentration. The control treatment was maintained at ambient Biosphere 2 atmospheric CO2 (c. 450 +/- 50 micro l/l), and elevated CO2 treatment was maintained at approximately double ambient Biosphere 2 atmospheric CO2 (c. 1000 +/- 50 micro l/l). The effects of elevated CO2 on leaf photosynthesis, and stomatal conductance were measured. The cottonwoods exposed to CO2 enrichment showed no significant indication of photosynthetic down-regulation. There was no significant difference in the maximum assimilation rate between the treatment and the control (P less than 0.24). The CO2 enriched treatment showed a decreased stomatal conductance of 15% (P less than 0.03). The elevated CO2 concentrated atmosphere had an effect on the respiration rates of the plants; the compensation point of the treatment was on average 13% higher than the control (P less than 0.01).

Anderson, Angela M.↗

Three-Dimensional, Transgenic Cell Models to Quantify Space Genotoxic Effects

The space environment contains radiation and chemical agents known to be mutagenic and carcinogenic to humans. Additionally, microgravity is a complicating factor that may modify or synergize induced genotoxic effects. Most in vitro models fail to use human cells (making risk extrapolation to humans more difficult), overlook the dynamic effect of tissue intercellular interactions on genotoxic damage, and lack the sensitivity required to measure low-dose effects. Currently a need exists for a model test system that simulates cellular interactions present in tissue, and can be used to quantify genotoxic damage induced by low levels of radiation and chemicals, and extrapolate assessed risk to humans. A state-of-the-art, three-dimensional, multicellular tissue equivalent cell culture model will be presented. It consists of mammalian cells genetically engineered to contain multiple copies of defined target genes for genotoxic assessment,. NASA-designed bioreactors were used to coculture mammalian cells into spheroids, The cells used were human mammary epithelial cells (H184135) and Stratagene's (Austin, Texas) Big Blue(TM) Rat 2 lambda fibroblasts. The fibroblasts were genetically engineered to contain -a high-density target gene for mutagenesis (60 copies of lacl/LacZ per cell). Tissue equivalent spheroids were routinely produced by inoculation of 2 to 7 X 10(exp 5) fibroblasts with Cytodex 3 beads (150 micrometers in diameter). at a 20:1 cell:bead ratio, into 50-ml HARV bioreactors (Synthecon, Inc.). Fibroblasts were cultured for 5 days, an equivalent number of epithelial cells added, and the fibroblast/epithelial cell coculture continued for 21 days. Three-dimensional spheroids with diameters ranging from 400 to 600 micrometers were obtained. Histological and immunohistochemical Characterization revealed i) both cell types present in the spheroids, with fibroblasts located primarily in the center, surrounded by epithelial cells; ii) synthesis of extracellular matrix; and iii,, mitotic cells located throughout the spheroids. Spheroidal integrity and cell viability were retained for the 30-day test period after removal of spheroids from the bioreactor. Potential utility of this three-dimensional, transgenic model for genotoxicity was initially assessed by exposure of spheroids to 0-2 Gy neon at dose rates of 0.3 to 1.5 Gy/min (National Institute of Radiological Sciences, Chiba, Japan). Quantification of mutation at the lacl gene revealed a linear dose response for mutation induction. Limited sequencing analysis of mutant clones revealed higher frequencies of deletions and multiple base sequence changes with increasing dose. These results suggest that our three-dimensional, transgenic model is applicable to a wide variety of studies involving the quantification, identification, and characterization of genotoxicity incurred in space and on Earth. This model uniquely allows investigation of the interaction of relevant factors, namely cell-to-cell interactions and the mechanistic interaction of microgravity with radiation insults and DNA repair. Using this three-dimensional model will allow us to obtain dual genotoxic information (i.e., mutation rate plus chromosome aberration data) from the same system so that one endpoint can be used to reference the other, thereby increasing the fidelity of the data set. Moreover, the tissue-equivalent nature of the three-dimensional model provides high confidence for relevance of risk assessment, i.e., the establishment of quality factors directly applicable to the microgravity environment.

Gonda, S. R.↗

Expression of the Acyl-Coenzyme A: Cholesterol Acyltransferase GFP Fusion Protein in Sf21 Insect Cells

The enzyme acyl-coenzyme A:cholesterol acyltransferase (ACAT) is an important contributor to the pathological expression of plaque leading to artherosclerosis n a major health problem. Adequate knowledge of the structure of this protein will enable pharmaceutical companies to design drugs specific to the enzyme. ACAT is a membrane protein located in the endoplasmic reticulum.t The protein has never been purified to homogeneity.T.Y. Chang's laboratory at Dartmouth College provided a 4-kb cDNA clone (K1) coding for a structural gene of the protein. We have modified the gene sequence and inserted the cDNA into the BioGreen His Baculovirus transfer vector. This was successfully expressed in Sf2l insect cells as a GFP-labeled ACAT protein. The advantage to this ACAT-GFP fusion protein (abbreviated GCAT) is that one can easily monitor its expression as a function of GFP excitation at 395 nm and emission at 509 nm. Moreover, the fusion protein GCAT can be detected on Western blots with the use of commercially available GFP antibodies. Antibodies against ACAT are not readily available. The presence of the 6xHis tag in the transfer vector facilitates purification of the recombinant protein since 6xHis fusion proteins bind with high affinity to Ni-NTA agarose. Obtaining highly pure protein in large quantities is essential for subsequent crystallization. The purified GCAT fusion protein can readily be cleaved into distinct GFP and ACAT proteins in the presence of thrombin. Thrombin digests the 6xHis tag linking the two protein sequences. Preliminary experiments have indicated that both GCAT and ACAT are expressed as functional proteins. The ultimate aim is to obtain large quantities of the ACAT protein in pure and functional form appropriate for protein crystal growth. Determining protein structure is the key to the design and development of effective drugs. X-ray analysis requires large homogeneous crystals that are difficult to obtain in the gravity environment of earth. Protein crystals grown in microgravity are often larger and have fewer defects than those grown on earth. The analysis of higher quality space-grown crystals will assist in structure-based drug design. We have successfully grown GCAT-infected Sf21 cells in both adhesion and suspension cultures. Expression levels of GCAT in cell lines such as Sf9 and High Five appear to be reduced. We intend to replicate GCAT expression in all three cell lines using the NASA rotating wall bioreactor which effectively duplicates a microgravity environment. The bioreactor itself could be launched to study the expression of the GFP and GCAT proteins in the actual microgravity environment achieved in orbit.

Mahtani, H. K.↗

Automated Theorem Proving in High-Quality Software Design

The amount and complexity of software developed during the last few years has increased tremendously. In particular, programs are being used more and more in embedded systems (from car-brakes to plant-control). Many of these applications are safety-relevant, i.e. a malfunction of hardware or software can cause severe damage or loss. Tremendous risks are typically present in the area of aviation, (nuclear) power plants or (chemical) plant control. Here, even small problems can lead to thousands of casualties and huge financial losses. Large financial risks also exist when computer systems are used in the area of telecommunication (telephone, electronic commerce) or space exploration. Computer applications in this area are not only subject to safety considerations, but also security issues are important. All these systems must be designed and developed to guarantee high quality with respect to safety and security. Even in an industrial setting which is (or at least should be) aware of the high requirements in Software Engineering, many incidents occur. For example, the Warshaw Airbus crash, was caused by an incomplete requirements specification. Uncontrolled reuse of an Ariane 4 software module was the reason for the Ariane 5 disaster. Some recent incidents in the telecommunication area, like illegal "cloning" of smart-cards of D2GSM handies, or the extraction of (secret) passwords from German T-online users show that also in this area serious flaws can happen. Due to the inherent complexity of computer systems, most authors claim that only a rigorous application of formal methods in all stages of the software life cycle can ensure high quality of the software and lead to real safe and secure systems. In this paper, we will have a look, in how far automated theorem proving can contribute to a more widespread application of formal methods and their tools, and what automated theorem provers (ATPs) must provide in order to be useful.

Schumann, Johann↗

Gravity Estimation from a Simulated GRACE Mission: Short vs. Long Arcs

We present simulations of gravity estimation from a GRACE-like satellite mission: low-low intersatellite tracking with a precision of order 1 micron s(exp -1) yielding gravity fields of degree and order 120. We employ a unique parameterization of the intersatellite baseline vector which allows the gravity estimation to be performed (relatively) independently of the GPS (global positioning system) tracking data once sufficiently accurate orbits are obtained. This considerably simplifies data processing during the gravity estimation. During that process only certain components of the baseline parameterization need be adjusted; other components are uncorrelated with gravity and may be adopted unchanged from the initial GPS orbits. The technique is also amenable to very short arcs of data. We present comparisons of gravity estimation from 30 days of observations with arcs of length 15 minutes vs. arcs of one day. Our 'truth' field is the EGM96 (Earth Gravitational Model) model; our prior field is a degree-70 clone of EGM96, perturbed from it by amounts comparable to the standard errors of EGM96 (and identically zero for degrees 71-120). For a high inclination orbit, the short-arc analysis recovers low order gravity coefficients remarkably well, although higher order terms, especially sectorial terms, are understandably less accurate. The simulations suggest that either long or short arcs of GRACE data are likely to improve parts of the geopotential spectrum by several orders of magnitude. This is especially so for low order coefficients, which are markedly improved for all degrees through 120.

Rowlands, David D.↗