SEARCH · Engineering Papers

Results for “Scala”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

77 records · Page 5

All sources NASA NTRS DOE OSTI

NASA NTRS1995

The tonotopic map in the embryonic chicken cochlea

The purpose of the present study was to determine the tonotopic map in the chicken cochlea at 19 days of incubation (E19) by obtaining characteristic frequencies (CFs) for primary afferents, labeling the characterized neurons, and documenting their projections to the papilla. The lowest and highest CFs recorded were 188 and 1623 Hz respectively. The embryonic tonotopic map coincided with maps reported for post-hatch chicks. There were no evidence that neurons selective to low frequencies project inappropriately to more basal locations of the embryonic papilla. Linear regression was used to estimate the frequency gradient (b = 0.037 +/- 0.012 In Hz/% [b +/- SEb]) and intercept (In C, where C = 111 Hz) of the semilog plot of frequency versus cochlear position (in % distance from apex). From these estimates the octave distribution was calculated to be 18.7%/octave or 0.58 mm/octave. These quantities were not significantly different from those found in post hatch chickens. We conclude that the tonotopic map of the avian cochlea for CFs between 100 and 1700 Hz is stable and relatively mature from age E19 to post-hatch day 21 (P21). The most striking sign of immaturity in the E19 embryo is the limited range of high CFs. We offer the hypothesis that, between the ages of E19 and P21, improvements in middle ear admittance alone or in combination with functional maturation of the cochlear base may be the principal factors responsible for the appearance of adult-like high CF limits and not an apically shifting tonotopic map.

NASA Discipline Neuroscience↗

NASA NTRS1993

Bulge formed cooling channels with a variable lead helix on a hollow body of revolution

A method of constructing a nozzle having cooling channels comprises a shell and a liner which are formed into a body of revolution having an axis of revolution. Helical welds are formed to hold the liner and shell to each other with a channel position being defined between each pair of helical welds. Pressurized fluid which may be a gas or a liquid, is introduced between the weld pairs to outwardly bulge the material of at least one of the liner and shell to define the channels.

McAninch, Michael D.↗

NASA NTRS1976

Heat resistant substrates and battery separators made therefrom

A flexible substrate having a caustic resistant support and at least one membrane comprising a solid polymeric matrix containing a network of interconnected pores and interdispersed inorganic filler particles with a ratio of filler: polymer in the polymeric matrix of between about 1:1 to 5:1, is made by coating at least one side of the support with a filler:coating formulation mixture of inorganic filler particles and a caustic resistant, water insoluble polymer dissolved in an organic solvent, and removing the solvent from the mixture to provide a porous network within the polymeric matrix.

Langer, Alois↗

NASA NTRS2012

Requirements-Driven Log Analysis Extended Abstract

Imagine that you are tasked to help a project improve their testing effort. In a realistic scenario it will quickly become clear, that having an impact is diffcult. First of all, it will likely be a challenge to suggest an alternative approach which is significantly more automated and/or more effective than current practice. The reality is that an average software system has a complex input/output behavior. An automated testing approach will have to auto-generate test cases, each being a pair (i; o) consisting of a test input i and an oracle o. The test input i has to be somewhat meaningful, and the oracle o can be very complicated to compute. Second, even in case where some testing technology has been developed that might improve current practice, it is then likely difficult to completely change the current behavior of the testing team unless the technique is obviously superior and does everything already done by existing technology. So is there an easier way to incorporate formal methods-based approaches than the full edged test revolution? Fortunately the answer is affirmative. A relatively simple approach is to benefit from possibly already existing logging infrastructure, which after all is part of most systems put in production. A log is a sequence of events, generated by special log recording statements, most often manually inserted in the code by the programmers. An event can be considered as a data record: a mapping from field names to values. We can analyze such a log using formal methods, for example checking it against a formal specification. This separates running the system for analyzing its behavior. It is not meant as an alternative to testing since it does not address the important in- put generation problem. However, it offers a solution which testing teams might accept since it has low impact on the existing process. A single person might be assigned to perform such log analysis, compared to the entire testing team changing behavior.

log analysis↗

NASA NTRSDate not supplied

MESA: Scalable Runtime Verification Tool Using Actors

This work presents our runtime verification approach implemented by the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in linear temporal logic and finite state machines.We employ the actor programing model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper also presents a case study where MESA is used to monitor flights in National Airspace System of United States using live air traffic data stream. The case study which motivated this work in the first place shows that our approach is effective.We also perform empirical study by conducting experiments using monitoring systems with different numbers of concurrent monitors and different layers of indexing.This paper describes our experiments, evaluates our results,and discusses challenges faced during the study. The evaluation shows our approach is scalable.

runtime verification, concurrency, actor programin↗