Reliability measurement during software development

During the development of data base software for a multi-sensor tracking system, reliability was measured. The failure ratio and failure rate were found to be consistent measures. Trend lines were established from these measurements that provided good visualization of the progress on the job as a whole as well as on individual modules. Over one-half of the observed failures were due to factors associated with the individual run submission rather than with the code proper. Possible application of these findings for line management, project managers, functional management, and regulatory agencies is discussed. Steps for simplifying the measurement process and for use of these data in predicting operational software reliability are outlined

The interplay between food knowledge, nudges, and preference elicitation methods determines the evaluation of a recipe recommender system

Domain knowledge can affect how a user evaluates different aspects of a recommender system. Recipe recommendations might be difficult to understand, as some health aspects are implicit. The appropriateness of a recommender’s preference elicitation (PE) method, whether users rate individual items or item attributes, may depend on the user’s knowledge level. We present an online recipe recommender experiment. Users (𝑁=360) with varying levels of subjective food knowledge faced different cognitive digital nudges (i.e., food labels) and PE methods. In a 3 (recipes annotated with no labels, Multiple Traffic Light (MTL) labels, or full nutrition labels) x2 (PE method : content-based PE or knowledge-based) between-subjects design. We observed a main effect of knowledge-based PE on the healthiness of chosen recipes, while MTL label only helped marginally. A Structural Equation Model analysis revealed that the interplay between user knowledge and the PE method reduced the perceived effort of using the system and in turn, affected choice difficulty and satisfaction. Moreover, the evaluation of health labels depends on a user’s level of food knowledge. Our findings emphasize the importance of user characteristics in the evaluation of food recommenders and the merit of interface and inter action aspects

Exploring the effects of natural language justifications in food recommender systems

Users of food recommender systems typically prefer popular recipes, which tend to be unhealthy. To encourage users to select healthier recommendations by making more informed food decisions, we introduce a methodology to generate and present a natural language justification that emphasizes the nutritional content, or health risks and benefits of recommended recipes. We designed a framework that takes a user and two food recommendations as input and produces an automatically generated natural language justification as output, which is based on the user’s characteristics and the recipes’ features. In doing so, we implemented and evaluated eight different justification strategies through two different justification styles (e.g., comparing each recipe’s food features) in an online user study (N = 503). We compared user food choices for two personalized recommendation approaches, popularity-based vs our health-aware algorithm, and evaluated the impact of presenting natural language justifications. We showed that comparative justifications styles are effective in supporting choices for our healthy-aware recommendations, confirming the impact of our methodology on food choices

Exploring the effects of natural language justifications in food recommender systems

Users of food recommender systems typically prefer popular recipes, which tend to be unhealthy. To encourage users to select healthier recommendations by making more informed food decisions, we introduce a methodology to generate and present a natural language justification that emphasizes the nutritional content, or health risks and benefits of recommended recipes. We designed a framework that takes a user and two food recommendations as input and produces an automatically generated natural language justification as output, which is based on the user's characteristics and the recipes' features. In doing so, we implemented and evaluated eight different justification strategies through two different justification styles (e.g., comparing each recipe's food features) in an online user study (N = 503). We compared user food choices for two personalized recommendation approaches, popularity-based vs our health-aware algorithm, and evaluated the impact of presenting natural language justifications. We showed that comparative justifications styles are effective in supporting choices for our healthy-aware recommendations, confirming the impact of our methodology on food choices

Cluster Observations of Bow Shock Energetic Ion Transport Through the Magnetosheath into the Cusp

The observation of energetic particles by polar orbiting satellites in the magnetospheric cusp resulted in a controversy about their source region. It has been suggested that these cusp energetic particles (CEP) with significant fluxes from magnetosheath energies up to several hundred keV/e are accelerated locally in the cusp by the turbulence found in cusp diamagnetic cavities (CDC). As an alternative to the local acceleration region, the quasi‐parallel shock is successful as a source region for CEP events. Energetic ions accelerated at the bow shock can be transported downstream and enter the cusp along newly reconnected field lines. Composition and energy spectra of these CEP events resemble those of bow shock energetic diffuse ions. This study investigates a northern cusp pass by the Cluster satellites that encountered two CDCs with CEP ions. We use recently developed techniques to determine the location of the reconnection site at the magnetopause, draping interplanetary magnetic field lines over the magnetopause and mapping those field lines back into the solar wind to show magnetic connection of the cusp regions, Earth’s bow shock, and upstream region. Energetic ions are also observed outside the magnetopause in the boundary layer streaming from the quasi‐parallel shock toward the cusp which supports an outside source region for CEP ions

Flux pile-up and plasma depletion at the high latitude dayside magnetopause during southward interplanetary magnetic field: a cluster event study

An event of strong flux pile-up and plasma depletion at the high latitude magnetopause tailward of the cusp has been analyzed based on observations by the suite of Cluster spacecraft. The multi-satellite analysis facilitates the separation of temporal and spatial features and provides a direct estimate for the strength of the plasma depletion layer for this event. A doubling of the magnetic field strength and a forty percent reduction of the density are found. Our analysis shows that roughly half of the total magnetic field increase occurs within 0.6 RE of the magnetopause and another quarter within a distance of 1.2 RE. In addition, the plasma depletion signatures exhibit temporal variations which we relate to magnetopause dynamics.<br><br> <b>Keywords.</b> Magnetospheric physics (Magnetopause, Cusp and boundary layers; Magnetosheath; Solar windmagnetosphere interactions

Evidence of Multiple Reconnection Lines at the Magnetopause from Cusp Observations

Recent global hybrid simulations investigated the formation of flux transfer events (FTEs) and their convection and interaction with the cusp. Based on these simulations, we have analyzed several Polar cusp crossings in the Northern Hemisphere to search for the signature of such FTEs in the energy distribution of downward precipitating ions: precipitating ion beams at different energies parallel to the ambient magnetic field and overlapping in time. Overlapping ion distributions in the cusp are usually attributed to a combination of variable ion acceleration during the magnetopause crossing together with the time-of-flight effect from the entry point to the observing satellite. Most "step up" ion cusp structures (steps in the ion energy dispersions) only overlap for the populations with large pitch angles and not for the parallel streaming populations. Such cusp structures are the signatures predicted by the pulsed reconnection model, where the reconnection rate at the magnetopause decreased to zero, physically separating convecting flux tubes and their parallel streaming ions. However, several Polar cusp events discussed in this study also show an energy overlap for parallel-streaming precipitating ions. This condition might be caused by reopening an already reconnected field line, forming a magnetic island (flux rope) at the magnetopause similar to that reported in global MHD and Hybrid simulation

Charged-Particle Motion in Electromagnetic Fields Having at Least One Ignorable Spatial Coordinate

We give a rigorous derivation of a theorem showing that charged particles in an arbitrary electromagnetic field with at least one ignorable spatial coordinate remain forever tied to a given magnetic-field line. Such a situation contrasts the significant motions normal to the magnetic field that are expected in most real three-dimensional systems. It is pointed out that, while the significance of the theorem has not been widely appreciated, it has important consequences for a number of problems and is of particular relevance for the acceleration of cosmic rays by shocks.Comment: 7 pages, emulateapj format, including 1 eps figure, to appear in The Astrophysical Journal, Dec. 10 1998 issu