Aerospace Medicine and Biology: A continuing bibliography with indexes (supplement 314)

This bibliography lists 139 reports, articles, and other documents introduced into the NASA scientific and technical information system in August, 1988

Verifying the Safety of a Flight-Critical System

This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM), and involved several stages: formalizing and disambiguating requirements in collaboration with do- main experts; processing models for their use by formal verification tools; applying compositional techniques at the architectural and component level to scale verification. Performed in the context of a major NASA milestone, this study of formal verification in practice is one of the most challenging that our group has performed, and it took several person months to complete it. This paper describes the methodology that we followed and the lessons that we learned.Comment: 17 pages, 5 figure

Spacecraft dynamics under the action of Y-dot magnetic control law

The paper investigates the dynamic behavior of a spacecraft when a single magnetic torque-rod is used for achieving a pure spin condition by means of the so-called Y-dot control law. Global asymptotic convergence to a pure spin condition is proven on analytical grounds when the dipole moment is proportional to the rate of variation of the component of the magnetic field along the desired spin axis. Convergence of the spin axis towards the orbit normal is then explained by estimating the average magnetic control torque over one orbit. The validity of the analytical results, based on some simplifying assumptions and approximations, is finally investigated by means of numerical simulation for a fully non-linear attitude dynamic model, featuring a tilted dipole model for Earth׳s magnetic field. The analysis aims to support, in the framework of a sound mathematical basis, the development of effective control laws in realistic mission scenarios. Results are presented and discussed for relevant test cases

Review and classification of fretting fatigue test rigs

There is no standard or generally accepted test rig for fretting fatigue experiments. Therefore, researchers adopt an existing concept, or build a new test rig that meets their specific requirements. However, too many different test rigs may be disadvantageous because the results of two different test rigs are hard to compare. The increasing amount of diversity is mainly caused by the lack of a recent literature survey on fretting fatigue test rigs. In 1994, Hills and Nowell described a few test rigs in Mechanics Of Fretting Fatigue. In this study, the authors made a classification of test rigs based on the contact geometry, which is determined by the test specimens, not by the test rig itself. The authors of this article present a review of the available literature, and present a classification based on the properties of test rigs. Fretting fatigue test rigs are first divided in two categories based on the geometry of the test specimen: full scale and coupon scale test rigs. The latter are mostly used to perform research and are subdivided in categories based on increasing functionalities. This is the ability to apply a fatigue load, a constant normal force, and an alternating slip in the range of some micrometers. In time, from the fifties until now, progress has been seen in the design of fretting fatigue test rigs. More parameters can be controlled during experiments and more measuring techniques are incorporated. State of the art test rigs are classified in the last category with mostffunctionalities, but still have imperfections. Future designers can use this article to classify their needs, or help to design a better test rig knowing the imperfections of the state of the art test rigs

Electrical conductivity of carbon nanofiber reinforced resins: potentiality of Tunneling Atomic Force Microscopy (TUNA) technique

Epoxy nanocomposites able to meet pressing industrial requirements in the field of structural material have been developed and characterized. Tunneling Atomic Force Microscopy (TUNA), which is able to detect ultra-low currents ranging from 80 fA to 120 pA, was used to correlate the local topography with electrical properties of tetraglycidyl methylene dianiline (TGMDA) epoxy nanocomposites at low concentration of carbon nanofibers (CNFs) ranging from 0.05% up to 2% by wt. The results show the unique capability of TUNA technique in identifying conductive pathways in CNF/resins even without modifying the morphology with usual treatments employed to create electrical contacts to the ground

A spatial impedance controller for robotic manipulation

Mechanical impedance is the dynamic generalization of stiffness, and determines interactive behavior by definition. Although the argument for explicitly controlling impedance is strong, impedance control has had only a modest impact on robotic manipulator control practice. This is due in part to the fact that it is difficult to select suitable impedances given tasks. A spatial impedance controller is presented that simplifies impedance selection. Impedance is characterized using ¿spatially affine¿ families of compliance and damping, which are characterized by nonspatial and spatial parameters. Nonspatial parameters are selected independently of configuration of the object with which the robot must interact. Spatial parameters depend on object configurations, but transform in an intuitive, well-defined way. Control laws corresponding to these compliance and damping families are derived assuming a commonly used robot model. While the compliance control law was implemented in simulation and on a real robot, this paper emphasizes the underlying theor

Passive elasto-magnetic suspensions: nonlinear models and experimental outcomes

The paper presents a passive elasto-magnetic suspension based on rare-earth permanent magnets: the dynamical system is described with theoretical and numerical nonlinear models, whose results are validated through experimental compar- ison. The goal is to minimize the dependence on mass of the natural frequency of a single degree of freedom system. For a system with variable mass, static configuration and dynamical behaviour are compared for classic linear elastic systems, for purely magnetic suspensions and for a combination of the two. In particular the dynamics of the magneto-mechanic inter- action is predicted by use of nonlinear and linearised models and experimentally observed through a suitable single degree of freedom test ri

Provenance-based trust for grid computing: Position Paper

Current evolutions of Internet technology such as Web Services, ebXML, peer-to-peer and Grid computing all point to the development of large-scale open networks of diverse computing systems interacting with one another to perform tasks. Grid systems (and Web Services) are exemplary in this respect and are perhaps some of the first large-scale open computing systems to see widespread use - making them an important testing ground for problems in trust management which are likely to arise. From this perspective, today's grid architectures suffer from limitations, such as lack of a mechanism to trace results and lack of infrastructure to build up trust networks. These are important concerns in open grids, in which "community resources" are owned and managed by multiple stakeholders, and are dynamically organised in virtual organisations. Provenance enables users to trace how a particular result has been arrived at by identifying the individual services and the aggregation of services that produced such a particular output. Against this background, we present a research agenda to design, conceive and implement an industrial-strength open provenance architecture for grid systems. We motivate its use with three complex grid applications, namely aerospace engineering, organ transplant management and bioinformatics. Industrial-strength provenance support includes a scalable and secure architecture, an open proposal for standardising the protocols and data structures, a set of tools for configuring and using the provenance architecture, an open source reference implementation, and a deployment and validation in industrial context. The provision of such facilities will enrich grid capabilities by including new functionalities required for solving complex problems such as provenance data to provide complete audit trails of process execution and third-party analysis and auditing. As a result, we anticipate that a larger uptake of grid technology is likely to occur, since unprecedented possibilities will be offered to users and will give them a competitive edge