Search NASASearch

SEARCH · Search NASA

Results for “authorization”

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 127 records · Page 7

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft

Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. In this paper, we report on our experience in requirements creation and analysis, as well as run-time monitor generation using the Formal Requirement Elicitation Tool (FRET), on an industrial case study for a Lift-Plus-Cruise concept aircraft. We study the creation of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. Our study is the first complete attempt at using FRET to create industrial, realizable requirements and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.

Requirements engineering

Creating a Fully-Electronic GFE Work Authorization Document Process for JSC

JSC’s Electronic Document System (EDS) was published in 2013 by SMA to store and process Task Performance Sheets (TPS), Discrepancy Reports (DR), Hardware Movement Documents (EZT), etc. The 2013 transition turned a fully paper process into an electronic routing one with document level electronic approvals but maintained an in-line paper process . - Today, all work and buy-offs continue to be captured on paper, walked between buildings, and is susceptible to approval errors, a rapidly slowing processing time, and led to projects requesting waivers to use alternate WAD systems, damaging JSC’s QMS. - NT Data Systems team collaborated with multiple platform providers, test user groups, and stakeholders, to find a solution for this growing need in a way that exceeds JSC’s current process, is adaptable to future innovation, and within our limited resource constraints

Nicholas Holaday

Identifying Indicators of Harmful Algal Blooms in Coastal Atacama Using Satellite Image Processing Techniques to Improve Industry and Authority Response

Over the past decade, Chile has experienced a significant rise in both the frequency and intensity of coastal Harmful Algal Blooms (HABs). These bloom events are a growing concern for the Atacama Region especially, with potential impacts on human health, aquaculture, and the environment. HABs are caused by an excess proliferation of microalgae, with certain algae species commonly found in Chilean HABs capable of producing toxins which can poison fish, toxify shellfish, and cause illness or death when ingested by humans. Collaborating with the Ministry of Health of Chile, Centro de Información de Recursos Naturales, the University of Atacama, and the Embassy of Chile’s Agricultural Office, this study identifies potential indicators of HABs in the Coastal Atacama Region using NASA Earth observations. Satellite imagery from the Moderate Resolution Imaging Spectroradiometer (MODIS) instrument onboard NASA’s Aqua satellite was used for the identification of chlorophyll-a which provides direct estimates of the algae pigment’s concentration in water bodies. In addition, the spatiotemporal patterns of several other parameters were examined to identify correlations with occurrences of HABs, including sea surface temperature and normalized fluorescence line height using Aqua MODIS, Normalized Difference Turbidity Index (NDTI) using Landsat 8, and ocean wind speed measurements from the NOAA Joint Polar Satellite System. Analysis of these patterns revealed hotspots of high chlorophyll-a concentrations from the years 2014 to 2022, the most major of which occurring in the coastal zones of Chañaral, Bahía Inglesa, and Huasco. Also, through the use of a similarity search conducted, the seasonal variation of these indicators was mapped to highlight areas with great likelihood of experiencing HABs in the future. The results can guide future efforts for in-situ water sampling, toxin analysis and assessment, and HAB monitoring and prevention.

Cody O'Ferrall

Cardea: Providing Support for Dynamic Resource Access in a Distributed Computing Environment

The environment framing the modem authorization process span domains of administration, relies on many different authentication sources, and manages complex attributes as part of the authorization process. Cardea facilitates dynamic access control within this environment as a central function of an inter-operable authorization framework. The system departs from the traditional authorization model by separating the authentication and authorization processes, distributing the responsibility for authorization data and allowing collaborating domains to retain control over their implementation mechanisms. Critical features of the system architecture and its handling of the authorization process differentiate the system from existing authorization components by addressing common needs not adequately addressed by existing systems. Continuing system research seeks to enhance the implementation of the current authorization model employed in Cardea, increase the robustness of current features, further the framework for establishing trust and promote interoperability with existing security mechanisms.

Lepro, Rebekah

Correction: “When I talk about it, my eyes light up!” Impacts of a national laboratory internship on community college student success

The ORCID iDs are missing for the second, fourth, sixth, seventh, eighth and ninth author. Please see the authors’ respective ORCID iDs here: Author Seth Van Doren’s ORCID iD is: 0000-0003-0674-277X (https://orcid.org/0000-0003-0674-277X). Author Julio Jaramillo Salcido’s ORCID iD is: 0000-0002-4113-5345 (https://orcid.org/orcid.org/0000-0002-4113-5345) Author Gabriel Otero Munoz’s ORCID iD is: 0000-0002-1444-8020 (https://orcid.org/0000-0002-1444-8020) Author Aparna Manocha’s ORCID iD is: 0000-0001-7824-9971 (https://orcid.org/0000-0001-7824-9971) Author Colette L. Flood’s ORCID iD is: 0000-0002-8674-0872 (https://orcid.org/0000-0002-8674-0872) Author Anne M. Baranger’s ORCID iD is: 0000-0002-1973-4632 (https://orcid.org/0000-0002-1973-4632)

99 GENERAL AND MISCELLANEOUS

Predicting U.S. federal fleet electric vehicle charging patterns using internal combustion engine vehicle fueling transaction statistics

Utilizing fueling transactions from internal combustion engine vehicles (ICEVs), the authors estimated how frequently midday public charging would be required for U.S. federal fleet battery electric vehicles (BEVs). Fueling transaction summary statistics are more widely available than trip-level telematics data, making this methodology more accessible and transferable to other researchers and fleet managers considering BEV replacements. For example, readers can easily apply a linear model using only the count of back-to-back fueling events at gas stations over 57 straight-line miles apart to predict days exceeding range. This linear regression predicted binned days exceeding 250 miles at 80% accuracy on a hold-out test set from the same fleet as the training data and 66 % accuracy on a new fleet displaying different driving behaviors. The authors additionally provide linear equations for days exceeding 200 and 300 miles as alternative range estimates to account for differences in BEV range and temperature impacts. Beyond the single-feature linear models which readers can apply, the authors tuned and trained other machine learning models on a variety of fueling transaction statistics including consecutive transaction distances, transaction distance from garage, estimated miles traveled from fuel economy and fuel quantity, and transaction periodicity. Utilizing a subset of 1678 light-duty federal fleet vehicles which contained daily vehicle miles traveled (VMT) in addition to fueling statistics, the authors determined which fueling transaction statistics were most relevant in predicting driving days exceeding 250 miles (an approximation of BEV rated driving range). In support of the U.S. federal fleet transition to zero-emission vehicles (ZEVs), the authors used these statistics and machine learning models to predict the frequency of BEV midday charging. After training models on the subset with VMT, the authors predicted days exceeding rated range for 112,902 light-duty vehicles operating in similar circumstances in the federal fleet using a Support Vector Regressor (SVR). In conclusion, they then used the projections as part of the ZEV Planning and Charging (ZPAC) tool to identify optimal candidates for BEVs for the federal fleet. An anonymized version of ZPAC is included in the supplementary materials.

25 ENERGY STORAGE

PDnetwork

PDnetwork is an interactive online tool designed to visualize the evolution of the co-authorship network in the field of peridynamics. In this network, each node represents a peridynamics author, and each link represents co-authorship between authors. The tool allows users to obtain collaborative measures for authors using selected network metrics and visualize collaborations for specific authors. Additionally, it provides rankings for authors based on selected collaboration metrics and includes links to the author profiles in the Scopus publication database.

Dahal, Biraj [Georgia Institute of Technology, Atl

An experiment to assess the cost-benefits of code inspections in large scale software development

This experiment (currently in progress) is designed to measure costs and benefits of different code inspection methods. It is being performed with a real development team writing software for a commercial product. The dependent variables for each code unit's inspection are the elapsed time and the number of defects detected. We manipulate the method of inspection by randomly assigning reviewers, varying the number of reviewers and the number of teams, and, when using more than one team, randomly assigning author repair and non-repair of detected defects between code inspections. After collecting and analyzing the first 17 percent of the data, we have discovered several interesting facts about reviewers, about the defects recorded during reviewer preparation and during the inspection collection meeting, and about the repairs that are eventually made. (1) Only 17 percent of the defects that reviewers record in their preparations are true defects that are later repaired. (2) Defects recorded at the inspection meetings fall into three categories: 18 percent false positives requiring no author repair, 57 percent soft maintenance where the author makes changes only for readability or code standard enforcement, and 25 percent true defects requiring repair. (3) The median elapsed calendar time for code inspections is 10 working days - 8 working days before the collection meeting and 2 after. (4) In the collection meetings, 31 percent of the defects discovered by reviewers during preparation are suppressed. (5) Finally, 33 percent of the true defects recorded are discovered at the collection meetings and not during any reviewer's preparation. The results to date suggest that inspections with two sessions (two different teams) of two reviewers per session (2sX2p) are the most effective. These two-session inspections may be performed with author repair or with no author repair between the two sessions. We are finding that the two-session, two-person with repair (2sX2pR) inspections are the most expensive, taking 15 working days of calendar time from the time the code is ready for review until author repair is complete, whereas two-session, two-person with no repair (2sX2pN) inspections take only 10 working days, but find about 10 percent fewer defects.

Porter, A.

Rayleigh-Taylor Gravity Waves and Quasiperiodic Oscillation Phenomenon in X-ray Binaries

Accretion onto compact objects in X-ray binaries (black hole, neutron star (NS), white dwarf) is characterized by non-uniform flow density profiles. Such an effect of heterogeneity in presence of gravitational forces and pressure gradients exhibits Rayleigh-Taylor gravity waves (RTGW). They should be seen as quasiperiodic wave oscillations (QPO) of the accretion flow in the transition (boundary) layer between the Keplerian disk and the central object. In this paper the author shows that the main QPO frequency, which is very close to the Keplerian frequency, is split into separate frequencies (hybrid and low branch) under the influence of the gravitational forces in the rotational frame of reference. The RTGWs must be present and the related QPOs should be detected in any system where the gravity, buoyancy and Coriolis force effects cannot be excluded (even in the Earth and solar environments). The observed low and high QPO frequencies are an intrinsic signature of the RTGW. The author elaborates the conditions for the density profile when the RTGW oscillations are stable. A comparison of the inferred QPO frequencies with QPO observations is presented. The author finds that hectohertz frequencies detected from NS binaries can be identified as the RTGW low branch frequencies. The author also predicts that an observer can see the double NS spin frequency during the NS long (super) burst events when the pressure gradients and buoyant forces are suppressed. The Coriolis force is the only force which acts in the rotational frame of reference and its presence causes perfect coherent pulsations with a frequency twice of the NS spin. The QPO observations of neutron binaries have established that the high QPO frequencies do not go beyond of the certain upper limit. The author explains this observational effect as a result of the density profile inversions. Also the author demonstrates that a particular problem of the gravity waves in the rotational frame of reference in the approximation of very small pressure gradients is reduced to the problem of the classical oscillator in the rotational frame of reference which was previously introduced and applied for the interpretation of kHZ QPO observation by Osherovich & Titarchuk.

Titarchuk, Lev

Cardea: Dynamic Access Control in Distributed Systems

Modern authorization systems span domains of administration, rely on many different authentication sources, and manage complex attributes as part of the authorization process. This . paper presents Cardea, a distributed system that facilitates dynamic access control, as a valuable piece of an inter-operable authorization framework. First, the authorization model employed in Cardea and its functionality goals are examined. Next, critical features of the system architecture and its handling of the authorization process are then examined. Then the S A M L and XACML standards, as incorporated into the system, are analyzed. Finally, the future directions of this project are outlined and connection points with general components of an authorization system are highlighted.

Lepro, Rebekah

NASA Engineering Excellence: A Case Study on Strengthening an Engineering Organization

NASA implemented a system of technical authority following the Columbia Accident Investigation Board (CAE) report calling for independent technical authority to be exercised on the Space Shuttle Program activities via a virtual organization of personnel exercising specific technical authority responsibilities. After the current NASA Administrator reported for duty, and following the first of two planned "Shuttle Return to Flight" missions, the NASA Chief Engineer and the Administrator redirected the Independent Technical Authority to a program of Technical Excellence and Technical Authority exercised within the existing engineering organizations. This paper discusses the original implementation of technical authority and the transition to the new implementation of technical excellence, including specific measures aimed at improving safety of future Shuttle and space exploration flights.

Shivers, C. Herbert

Higher Order, Hybrid BEM/FEM Methods Applied to Antenna Modeling

In this presentation, the authors address topics relevant to higher order modeling using hybrid BEM/FEM formulations. The first of these is the limitation on convergence rates imposed by geometric modeling errors in the analysis of scattering by a dielectric sphere. The second topic is the application of an Incomplete LU Threshold (ILUT) preconditioner to solve the linear system resulting from the BEM/FEM formulation. The final tOpic is the application of the higher order BEM/FEM formulation to antenna modeling problems. The authors have previously presented work on the benefits of higher order modeling. To achieve these benefits, special attention is required in the integration of singular and near-singular terms arising in the surface integral equation. Several methods for handling these terms have been presented. It is also well known that achieving ~he high rates of convergence afforded by higher order bases may als'o require the employment of higher order geometry models. A number of publications have described the use of quadratic elements to model curved surfaces. The authors have shown in an EFIE formulation, applied to scattering by a PEC .sphere, that quadratic order elements may be insufficient to prevent the domination of modeling errors. In fact, on a PEC sphere with radius r = 0.58 Lambda(sub 0), a quartic order geometry representation was required to obtain a convergence benefi.t from quadratic bases when compared to the convergence rate achieved with linear bases. Initial trials indicate that, for a dielectric sphere of the same radius, - requirements on the geometry model are not as severe as for the PEC sphere. The authors will present convergence results for higher order bases as a function of the geometry model order in the hybrid BEM/FEM formulation applied to dielectric spheres. It is well known that the system matrix resulting from the hybrid BEM/FEM formulation is ill -conditioned. For many real applications, a good preconditioner is required to obtain usable convergence from an iterative solver. The authors have examined the use of an Incomplete LU Threshold (ILUT) preconditioner . to solver linear systems stemming from higher order BEM/FEM formulations in 2D scattering problems. Although the resulting preconditioner provided aD excellent approximation to the system inverse, its size in terms of non-zero entries represented only a modest improvement when compared with the fill-in associated with a sparse direct solver. Furthermore, the fill-in of the preconditioner could not be substantially reduced without the occurrence of instabilities. In addition to the results for these 2D problems, the authors will present iterative solution data from the application of the ILUT preconditioner to 3D problems.

Fink, P. W.

Blue ellipticals in compact groups

By studying galaxies in compact groups, the authors examine the hypothesis that mergers of spiral galaxies make elliptical galaxies. The authors combine dynamical models of the merger-rich compact group environment with stellar evolution models and predict that roughly 15 percent of compact group ellipticals should be 0.15 mag bluer in B - R color than normal ellipticals. The published colors of these galaxies suggest the existence of this predicted blue population, but a normal distribution with large random errors can not be ruled out based on these data alone. However, the authors have new ultraviolet blue visual data which confirm the blue color of the two ellipticals with blue B - R colors for which they have their own colors. This confirmation of a population of blue ellipticals indicates that interactions are occurring in compact groups, but a blue color in one index alone does not require that these ellipticals are recent products of the merger of two spirals. The authors demonstrate how optical spectroscopy in the blue may distinguish between a true spiral + spiral merger and the swallowing of a gas-rich system by an already formed elliptical. The authors also show that the sum of the luminosity of the galaxies in each group is consistent with the hypothesis that the final stage in the evolution of compact group is an elliptical galaxy.

Zepf, Stephen E.

Current collection in a magnetoplasma

The authors present a survey of a very incomplete subject, current collection in a magnetoplasma. The best-developed and simplest theories for current collection are steady-state collisionless theories, and these must be understood before departures from them can be analyzed usefully. Thus, the authors begin with a review of them. The authors include some recent numerical results which indicate that steady-state collisionless Laplace-limit currents remain substantially below the Parker-Murphy (1967) canonical upper bound out to very large electrode potentials, and approach it as a limit only very slowly if at all. Attempts to correct this theory for space-charge effects lead to potential disturbances which extend to infinite distance along the electrode's magnetic shadow, unless collisional effects are also taken into account. However, even a small amount of relative plasma drift motion, such as that involved in a typical rocket experiment, can change this conclusion fundamentally. It is widely believed that time-averaged current collection may be increased by effects of plasma turbulence, and the authors review the available evidence for and against this contention. Steady-state collisionless particle dynamics predicts the existence of a toroidal region of trapped orbits which surrounds the electrode. Light emissions from this region have been photographed, indicating that collisional ionization may also occur there, and this, and/or scattering by collisions or possibly turbulent fluctuations in this region, may also increase current collection by the electrode. The authors also discuss effects on particle motions near the electrode, associated with breakdown of magnetic insulation in the region of large electric fields near it.

Laframboise, Jim G.

International organizations to enable world-wide mobile satellite services

Numbers of systems exist or have been proposed to provide world-wide mobile satellite services (MSS). Developers of these systems have formulated institutional structures they consider most appropriate for profitable delivery of these services. MSS systems provide niche services and complement traditional telecommunications networks; they are not integrated into world-wide networks. To be successful, MSS system operators must be able to provide an integrated suite of services to support the increasing globalization, interconnectivity, and mobility of business. The critical issue to enabling 'universal roaming' is securing authority to provide MSS in all of the nations of the world. Such authority must be secured in the context of evolving trends in international telecommunications, and must specifically address issues of standardization, regulation and organization. Today, only one existing organization has such world-wide authority. The question is how proponents of new MSS systems and services can gain similar authority. Securing the appropriate authorizations requires that these new organizations reflect the objectives of the nations in which services are to be delivered.

Anglin, Richard L., Jr.