An approach for assessing software prototypes

A procedure for evaluating a software prototype is presented. The need to assess the prototype itself arises from the use of prototyping to demonstrate the feasibility of a design or development stategy. The assessment procedure can also be of use in deciding whether to evolve a prototype into a complete system. The procedure consists of identifying evaluations criteria, defining alterative design approaches, and ranking the alternatives according to the criteria

Designing with Ada for satellite simulation: A case study

A FORTRAN oriented and an Ada oriented design for the same system are compared to learn whether an essentially different design was produced using Ada. The designs were produced by an experiment that involves the parallel development of software for a spacecraft dynamics simulator. Design differences are identified in the use of abstractions, system structure, and simulator operations. Although the designs were vastly different, this result may be influenced by some special characteristics discussed

Moessbauer Spectroscopy of Martian and Sverrefjell Carbonates

Mars, in its putative "warmer, wetter: early history, could have had a CO2 atmosphere much denser than its current value of <10 mbar. The question of where all this early CO2 has gone has long been debated. Now, several instruments on Mars Exploration Rover (MER) Spirit, including its Moessbauer spectrometer MIMOS II, have identified Mg-Fe carbonate in rock outcrops at Comanche Spur in the Columbia Hills of Gusev Crater. With this finding, carbonate cements in volcanic breccia collected on Sverrefjell Volcano on Spitzbergen Island in the Svalbard Archipelago (Norway) during the AMASE project are mineralogical and possible process analogues of the newly discovered martian carbonate. We report further analyses of Mossbauer spectra from Comanche Spur and discuss their relationship to Mossbauer data acquired on Sverrefjell carbonates. The spectra were velocity calibrated with MERView and fit using MERFit. Instead of the "average temperature" Comanche spectrum (data from all temperature windows summed), we refit the Comanche data for QS within each temperature window, modeling as doublets for Fe2+(carbonate), Fe2+(olivine), and Fe3+(npOx). The temperature dependences of QS for the Comanche carbonate and for a low-Ca carbonate from Chocolate Pots in Yellowstone National Park (YNP) are shown; they are the same within error. For Comanche carbonate summed over 210-270 K, (CS, QS) = (1.23, 1.95) mm/s. The value of QS for Sverrefjell carbonate at 295 K, (CS, QS) = (1.25, 1.87) mm/s, is also plotted, and the plot shows that the QS for the Sverrefjell carbonate agrees within error with the Comanche data extrapolated to 295 K. This agreement is additional evidence that the Sverrefjell carbonates are Mossbauer analogues for the Comanche carbonates, and that both carbonates might have precipitated from solutions that became carbonate rich by passing through buried carbonate deposits

Managers Handbook for Software Development

Methods and aids for the management of software development projects are presented. The recommendations are based on analyses and experiences with flight dynamics software development. The management aspects of organizing the project, producing a development plan, estimation costs, scheduling, staffing, preparing deliverable documents, using management tools, monitoring the project, conducting reviews, auditing, testing, and certifying are described

The dependence of test-mass thermal noises on beam shape in gravitational-wave interferometers

In second-generation, ground-based interferometric gravitational-wave detectors such as Advanced LIGO, the dominant noise at frequencies $f \sim 40$ Hz to $\sim 200$ Hz is expected to be due to thermal fluctuations in the mirrors' substrates and coatings which induce random fluctuations in the shape of the mirror face. The laser-light beam averages over these fluctuations; the larger the beam and the flatter its light-power distribution, the better the averaging and the lower the resulting thermal noise. In semi-infinite mirrors, scaling laws for the influence of beam shape on the four dominant types of thermal noise (coating Brownian, coating thermoelastic, substrate Brownian, and substrate thermoelastic) have been suggested by various researchers and derived with varying degrees of rigour. Because these scaling laws are important tools for current research on optimizing the beam shape, it is important to firm up our understanding of them. This paper (1) gives a summary of the prior work and of gaps in the prior analyses, (2) gives a unified and rigorous derivation of all four scaling laws, and (3) explores, relying on work by J. Agresti, deviations from the scaling laws due to finite mirror size.Comment: 25 pages, 10 figures, submitted to Class. Quantum Gra

Mineralogy of SNC Meteorite EET79001 by Simultaneous Fitting of Moessbauer Backscatter Spectra

We have acquired M ssbauer spectra for SNC meteorite EET79001 with a MIMOS II backscatter M ssbauer spectrometer [1] similar to those now operating on Mars as part of the Mars Exploration Rover (MER) missions. We are working to compare the Fe mineralogical composition of martian meteorites with in-situ measurements on Mars. Our samples were hand picked from the >1 mm size fraction of saw fines on the basis of lithology, color, and grain size (Table 1). The chips were individually analyzed at approx.300K by placing them on a piece of plastic that was in turn supported by the contact ring of the instrument (oriented vertically). Tungsten foil was used to mask certain areas from analysis. As shown in Figure 1, a variety of spectra was obtained, each resulting from different relative contributions of the Fe-bearing minerals present in the sample. Because the nine samples are reasonably mixtures of the same Fe-bearing phases in variable proportions, the nine spectra were fit simultaneously (simfit) with a common model, adjusting parameters to a single minimum chi-squared convergence criterion [2]. The starting point for the fitting model and values of hyperfine parameters was the work of Solberg and Burns [3], who identified olivine, pyroxene, and ferrous glass as major, and ilmenite and a ferric phase as minor (<5%), Fe-bearing phases in EET79001

X-Ray Diffraction and Reflectance Spectroscopy of Murchison Powders (CM2) After Thermal Analysis Under Reducing Conditions to Final Temperatures Between 300 and 1300c

The asteroids Ryugu and Bennu have spectral characteristics in common with CI/CM type carbonaceous chondrites and are target bodies for JAXAs Hayabusa2 and NASAs OSIRIS-Rex missions, respectively. Analog studies, based primarily on the Murchison CM2 chondrite, provide a pathway to separate spectral properties resulting space weathering from those inherent to parent-body, mineralogy, chemistry, and processes. Ryugu shares spectral properties with thermally metamorphosed and partly dehydrated CI/CM chondrites. We have undertaken a multidisciplinary study of the thermal decomposition of Murchison powder samples as an analog to metamorphic process that may have occurred on Ryugu. Bulk analyses include thermal And evolved gas analysis, X-ray diffraction (XRD), and VIS-NIR and Mssbauer spectroscopy; micro- to nanoscale analyses included scanning and transmission electron microscopy and electron probe micro analysisWe report here XRD and VIS-NIR analyses of pre- and post-heated Murchison powders, and in a companion paper report results from multiple electron beam techniques

Measuring software technology

Results are reported from a series of investigations into the effectiveness of various methods and tools used in a software production environment. The basis for the analysis is a project data base, built through extensive data collection and process instrumentation. The project profiles become an organizational memory, serving as a reference point for an active program of measurement and experimentation on software technology