Independent validation and verification of the TCAS II collisionavoidance subsystem

This paper describes the specification-based testing, analysis tools, and associated processes used to independently validate, verify, and ultimately, provide for certifying safety-critical software developed for the Traffic Alert and Collision Avoidance System (TCAS II) program. These tools and processes comprise an effective and Independent Validation and Verification (IV and V) activity applied to the Collision Avoidance Subsystem (GAS) software development process. A requirements specification language called the Requirements State Machine Language (RSML), originally developed by the University of California, Irvine (UCI), was employed for the specification of GAS. The end result is the next generation of TCAS II collision avoidance logic, referred to as Version 7, that is of a higher quality than its predecessors, meets the certification requirements of DO-178B Level B (Ref. 1), and can be shown to satisfy the new operational requirements it was developed to address     

Risk-taking during wayfinding is modulated by external stressors and personality traits

ABSTRACT

Two experiments examined cue reliance and risk-taking during desktop virtual wayfinding, and how they might be modulated by personality traits and external stressors. Participants navigated a series of virtual buildings and we manipulated the strength of probabilistic cues available to guide turn decisions. Navigators frequently discounted probabilistic cues and instead took risks, particularly when costs were low and potential benefits were high. Risk-taking was predicted by higher sense of direction and lower need for structure. Introducing a time stressor lowered risk-taking, with a higher relative reliance on probability-based information. This was most pronounced in females and those with a high need for structure. Results provide novel evidence that spatial cue reliance is modulated by individual differences and contextual constraints.     

Detonation engine fed by acetylene–oxygen mixture

The advantages of a constant volume combustion cycle as compared to constant pressure combustion in terms of thermodynamic efficiency has focused the search for advanced propulsion on detonation engines. Detonation of acetylene mixed with oxygen in various proportions is studied using mathematical modeling. Simplified kinetics of acetylene burning includes 11 reactions with 9 components. Deflagration to detonation transition (DDT) is obtained in a cylindrical tube with a section of obstacles modeling a Shchelkin spiral; the DDT takes place in this section for a wide range of initial mixture compositions. A modified ka-omega turbulence model is used to simulate flame acceleration in the Shchelkin spiral section of the system. The results of numerical simulations were compared with experiments, which had been performed in the same size detonation chamber and turbulent spiral ring section, and with theoretical data on the Chapman–Jouguet detonation parameters.     

2020年窄体飞机发动机维修市场预测

随着新一代发动机及衍生型投入脚步放缓,如波音737MAX停飞后又停产,其选配的Leap-1B发动机的交付情况也有待考量,同时预计将会影响一系列发动机的售后维修市场。由于新一代发动机投入运营的步伐放慢,成熟型号的发动机服役时间一再延长,所以这些成熟型发动机MRO需求仍在增加。例如,近年来CFM国际公司的Leap发动机(CFM56的衍生型),以及普惠公司的PW1000G齿轮传动涡喷发动机(GTF)陆续出现各种技术问题。但CFM56和V2500等成熟机型的维修需求并未减少。     

Spatial orientation during locomotion [correction of locomation] following space flight

To investigate changes in spatial orientation ability and walking performance following space flight, 7 astronaut subjects were asked pre- and post-flight to perform a goal directed locomotion paradigm which consisted of walking a triangular path with and without vision. This new paradigm, involving inputs from different sensory systems, allows quantification of several critical parameters, like orientation performance, walking velocities and postural stability, in a natural walking task. The paper presented here mainly focusses on spatial orientation performance quantified by the errors in walking the previously seen path without vision. Errors in length and reaching the corners did not change significantly from pre- to post-flight, while absolute angular errors slightly increased post-flight. The significant decrease in walking velocity and a change in head-trunk coordination while walking around the corners of the path observed post-flight may suggest that during re-adaptation to gravity the mechanisms which are necessary to perform the task have to be re-accomplished.     

The private solution to the space transportation crisis

Confused and short-sighted decisions dominated by political expediency have been made about US space policy in the past 30 years. Overly large and ambitious systems have been chosen, resulting in today's crisis in space transportation. The history of commercial aircraft development offers an alternative example of producing in a range of sizes and capabilities for a wide variety of users, and shows that the space transport industry could benefit from applying the decision-making processes used in private enterprise. The authors examine strategies for privatization of space transportation and conclude that policy support for the commercial launch industry must be continued. NASA must be reoriented towards its basic research function, and more government services should be bought from the private sector.     

Computer modeling of test particle acceleration at oblique shocks

We review the basic techniques and results of numerical codes used to model the acceleration of charged particles at oblique, fast-mode, collisionless shocks. The emphasis is upon models in which accelerated particles (ions) are treated as test particles, and particle dynamics is calculated by numerically integrating along exact phase-space orbits. We first review the case where ions are sufficiently energetic so that the shock can be approximated by a planar discontinuity, and where the electromagnetic fields on both sides of the shock are defined at the outset of each computer run. When the fields are uniform and static, particles are accelerated by the scatter-free drift acceleration process at a single shock encounter. We review the characteristics of scatter-free drift acceleration by considering how an incident particle distribution is modified by interacting with a shock. Next we discuss drift acceleration when magnetic fluctuations are introduced on both sides of the shock, and compare these results with those obtained under scatter-free conditions. We describe the modeling of multiple shock encounters, discuss specific applications, and compare the model predictions with theory. Finally, we review some recent numerical simulations that illustrate the importance of shock structure to both the ion injection process and to the acceleration of ions to high energies at quasi-perpendicular shocks.     

Telerobotics: problems and research needs

With major emphasis on simulation, a university laboratory telerobotics facility permits problems to be approached by groups of graduate students. Helmet-mounded displays provide realism; the slaving of the display to the human operator's viewpoint gives a sense of `telepresence' that may be useful for prolonged tasks. Using top-down 3-D model control of distant images allows distant images to be reduced to a few parameters to update the model used for display to the human operator in a preview model to circumvent, in part, the communication delay. Also, the model can be used as a format for supervisory control and permit short-term local autonomous operations. Image processing algorithms can be made simpler and faster without trying to construct sensible images from the bottom. Control studies of telerobots lead to preferential manual control modes and, in this university environment, to basic paradigms for human motion and thence, perhaps, to redesign of robotic control, trajectory path planning, and rehabilitation prosthetics. Speculation as to future industrial drives for this telerobotic field suggests efficient roles for government agencies such as NASA     

The Cassini Visual And Infrared Mapping Spectrometer (Vims) Investigation

The Cassini visual and infrared mapping spectrometer (VIMS) investigation is a multidisciplinary study of the Saturnian system. Visual and near-infrared imaging spectroscopy and high-speed spectrophotometry are the observational techniques. The scope of the investigation includes the rings, the surfaces of the icy satellites and Titan, and the atmospheres of Saturn and Titan. In this paper, we will elucidate the major scientific and measurement goals of the investigation, the major characteristics of the Cassini VIMS instrument, the instrument calibration, and operation, and the results of the recent Cassini flybys of Venus and the Earth–Moon system.This revised version was published online in July 2005 with a corrected cover date.     

Investigation of phase transition-based tethered systems for small body sample capture

This paper summarizes the modeling, simulation, and testing work related to the development of technology to investigate the potential that shape memory actuation has to provide mechanically simple and affordable solutions for delivering assets to a surface and for sample capture and possible return to Earth. We investigate the structural dynamics and controllability aspects of an adaptive beam carrying an end-effector which, by changing material equilibrium phases, is able to actively decouple the end-effector dynamics from the spacecraft dynamics during the surface contact phase. Asset delivery and sample capture and return are at the heart of several emerging potential missions to small bodies, such as asteroids and comets, and to the surface of large bodies, such as Titan.