Temporal Frequency Analysis: Unmanned Aerial System Detection & Assessment.
Abstract not provided.
SEARCH · Search NASA
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.
Abstract not provided.
Abstract not provided.
Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an aspect and compiles it into the original program using the instrumentation. Another core element of JPaX is an observation package that supports the analysis of the generated event stream. Two kinds of analysis are currently supported. In temporal analysis the execution trace is evaluated against formulae written in temporal logic. We have implemented a temporal logic evaluator on finite traces using the Maude rewriting system from SRI International, USA. Temporal logic is defined in Maude by giving its syntax as a signature and its semantics as rewrite equations. The resulting semantics is extremely efficient and can handle event streams of hundreds of millions events in few minutes. Furthermore, the implementation is very succinct. The second form of even stream analysis supported is error pattern analysis where an execution trace is analyzed using various error detection algorithms that can identify error-prone programming practices that may potentially lead to errors in some different executions. Two such algorithms focusing on concurrency errors have been implemented in JPaX, one for deadlocks and the other for data races. It is important to note, that a deadlock or data race potential does not need to occur in order for its potential to be detected with these algorithms. This is what makes them very scalable in practice. The data race algorithm implemented is the Eraser algorithm from Compaq, however adopted to Java. The tool is currently being applied to a code base for controlling a spacecraft by the developers of that software in order to evaluate its applicability.
Surface science methodologies for understanding thermodynamic aspects of surface processes are at an advanced level. However, instrumentation and approaches for extracting kinetic parameters from elementary steps are far less accessible. In this work, we present an approach combining the use of a fast gas pulsing valve synchronized with data acquisition to enable surface transient kinetics studies using infrared reflection absorption spectroscopy. This methodology applies to the study of reversible processes and borrows concepts and ideas from molecular beam scattering and temporal analysis of products. Here, a temporal resolution of ~67 ms is achieved, and this is illustrated through the study of CO adsorption and desorption on a Pd(111) crystal in the presence and absence of background O 2 . The same approach can be extended to other surface spectroscopies, such as X-ray photoelectron spectroscopy, to obtain spectra with high temporal resolution and signal-to-noise ratio and enable future multimodal surface transient kinetic studies aiming at elucidating reaction mechanisms.
We present an in-depth analysis of the spectral and temporal behavior of a long almost uninterrupted INTEGRAL observation of Vela X-1 in Nov/Dec 2003. In addition to an already high activity level, Vela X-1 exhibited several very intense flares with a maximum intensity of more than 5 Crab in the 20 40 keV band. Furthermore Vela X-1 exhibited several off states where the source became undetectable with ISGRI. We interpret flares and off states as being due to the strongly structured wind of the optical companion: when Vela X-1 encounters a cavity in the wind with strongly reduced density, the flux will drop, thus potentially triggering the onset of the propeller effect which inhibits further accretion, thus giving rise to the off states. The required drop in density to trigger the propeller effect in Vela X-1 is of the same order as predicted by theoretical papers for the densities in the OB star winds. The same structured wind can give rise to the giant flares when Vela X-1 encounters a dense blob in the wind. Further temporal analysis revealed that a short lived QPO with a period of 6800 sec is present. The part of the light curve during which the QPO is present is very close to the off states and just following a high intensity state, thus showing that all these phenomena are related.
Public opinion becomes increasingly salient in the ex post evaluation stage of large infrastructure projects which have significant impacts to the environment and the society. However, traditional survey methods are inefficient in collection and assessment of the public opinion due to its large quantity and diversity. Recently, Social media platforms provide a rich data source for monitoring and assessing the public opinion on controversial infrastructure projects. This paper proposes an assessment framework to transform unstructured online public opinions on large infrastructure projects into sentimental and topical indicators for enhancing practices of ex post evaluation and public participation. The framework uses web crawlers to collect online comments related to a large infrastructure project and employs two natural language processing technologies, including sentiment analysis and topic modeling, with spatio-temporal analysis, to transform these comments into indicators for assessing online public opinion on the project. Based on the framework, we investigate the online public opinion of the Three Gorges Project on China's largest microblogging site, namely, Weibo. Assessment results present spatial-temporal distributions of post intensity and sentiment polarity, reveals major topics with different sentiments and summarizes managerial implications, for ex post evaluation of the world's largest hydropower project. The proposed assessment framework is expected to be widely applied as a methodological strategy to assess public opinion in the ex post evaluation stage of large infrastructure projects. - Highlights: • We developed a framework to assess online public opinion on large infrastructure projects with environmental impacts. • Indicators were built to assess post intensity, sentiment polarity and major topics of the public opinion. • We took the Three Gorges Project (TGP) as an example to demonstrate the effectiveness proposed framework. • We revealed spatial-temporal patterns of post intensity and sentiment polarity on the TGP. • We drew implications for a more in-depth understanding of the public opinion on large infrastructure projects.
A low-density gas jet injected into a high-density ambient gas is known to exhibit self-excited global oscillations accompanied by large vortical structures interacting with the flow field. The primary objective of the proposed research is to study buoyancy effects on the origin and nature of the flow instability and structure in the near-field of low-density gas jets. Quantitative rainbow schlieren deflectometry, Computational fluid dynamics (CFD) and Linear stability analysis were the techniques employed to scale the buoyancy effects. The formation and evolution of vortices and scalar structure of the flow field are investigated in buoyant helium jets discharged from a vertical tube into quiescent air. Oscillations at identical frequency were observed throughout the flow field. The evolving flow structure is described by helium mole percentage contours during an oscillation cycle. Instantaneous, mean, and RMS concentration profiles are presented to describe interactions of the vortex with the jet flow. Oscillations in a narrow wake region near the jet exit are shown to spread through the jet core near the downstream location of the vortex formation. The effects of jet Richardson number on characteristics of vortex and flow field are investigated and discussed. The laminar, axisymmetric, unsteady jet flow of helium injected into air was simulated using CFD. Global oscillations were observed in the flow field. The computed oscillation frequency agreed qualitatively with the experimentally measured frequency. Contours of helium concentration, vorticity and velocity provided information about the evolution and propagation of vortices in the oscillating flow field. Buoyancy effects on the instability mode were evaluated by rainbow schlieren flow visualization and concentration measurements in the near-field of self-excited helium jets undergoing gravitational change in the microgravity environment of 2.2s drop tower at NASA John H. Glenn Research Center. The jet Reynolds number was varied from 200 to 1500 and jet Richardson number was varied from 0.72 to 0.002. Power spectra plots generated from Fast Fourier Transform (FFT) analysis of angular deflection data acquired at a temporal resolution of 1000Hz reveal substantial damping of the oscillation amplitude in microgravity at low Richardson numbers (~0.002). Quantitative concentration data in the form of spatial and temporal evolutions of the instability data in Earth gravity and microgravity reveal significant variations in the jet flow structure upon removal of buoyancy forces. Radial variation of the frequency spectra and time traces of helium concentration revealed the importance of gravitational effects in the jet shear layer region. Linear temporal and spatio-temporal stability analyses of a low-density round gas jet injected into a high-density ambient gas were performed by assuming hyper-tan mean velocity and density profiles. The flow was assumed to be non parallel. Viscous and diffusive effects were ignored. The mean flow parameters were represented as the sum of the mean value and a small normal-mode fluctuation. A second order differential equation governing the pressure disturbance amplitude was derived from the basic conservation equations. The effects of the inhomogeneous shear layer and the Froude number (signifying the effects of gravity) on the temporal and spatio-temporal results were delineated. A decrease in the density ratio (ratio of the density of the jet to the density of the ambient gas) resulted in an increase in the temporal amplification rate of the disturbances. The temporal growth rate of the disturbances increased as the Froude number was reduced. The spatio-temporal analysis performed to determine the absolute instability characteristics of the jet yield positive absolute temporal growth rates at all Fr and different axial locations. As buoyancy was removed (Fr . 8), the previously existing absolute instability disappeared at all locations establhing buoyancy as the primary instability mechanism in self-excited low-density jets.
Here, we recently showed that phase-pure molybdenum carbide nanotubes can be durable supports for platinum (Pt) nanoparticles in hydrogen evolution reaction (HER). In this paper we further characterize surface properties of the same Pt/β-Mo 2 C catalyst platform using carbon monoxide (CO)-Pt and CO-Mo 2 C bond strength of different Pt particle sizes in the <3 nm range. Results from diffuse reflectance infrared Fourier transform spectroscopy (DRIFTS) and temporal analysis of products (TAP) revealed the existence of different active sites as Pt particle size increases. Correlation between the resultant catalyst activity and deposited Pt particle size was further investigated using water–gas-shift (WGS) as a probe reaction, suggesting that precise control of particle diameter and thickness is needed for optimized catalytic activity.
The starting point for many consumer products is the industrial manufacture of platform chemicals. The recent boom in domestic shale gas production makes it possible to envision a new resource for chemical manufacturing. Catalysts are the accelerants behind most industrial chemical reactions. A sophisticated research technique using a Temporal Analysis of Products (or TAP) reactor can now help. By shedding light on a catalyst’s fundamental step-by-step process, a TAP reactor can help chemists and chemical engineers understand why a new catalyst works better in the lab than in the chemical plant.
The Temporal Analysis of Products (TAP) Reactor applies transient kinetics to analyze sophisticated chemical reaction mechanisms, rapidly changing temperature, flow rate, pressure or concentration and then monitoring the system’s time dependent response. A simulation tool exists for the TAP reactor, but it requires a visualization platform to interface effectively with researchers. This graphical user interface remedies this problem, fixing many of the difficulties caused by users interacting directly with the simulation code by providing an intuitive web application that satisfies the simulation input parameters for fast generation of data. This tool will ensure robust and repeatable simulation results, expedite the data generating process and enhance the overall ability of TAP to produce significant findings.
This perspective reviews the current understanding of the Oxidative Coupling of Methane (OCM) reaction over the supported Mn-Na 2 WO 4 /SiO 2 catalyst, with a focus on recent insights gained from state-of-the-art in-situ and operando spectroscopic characterization and chemical probe experiments under controlled environments. The supported Mn-Na 2 WO 4 /SiO 2 catalyst exhibits dynamic structural changes during the OCM reaction, involving multiple reactive lattice and adsorbed oxygen species, each associated with different oxide phases. These oxygen species play distinct roles in various steps of the OCM mechanism. The catalytic active sites for activation of CH 4 are associated with isolated surface Na-WO x sites on the SiO 2 support and the role of surface MnO x sites on SiO 2 is to oxidatively dehydrogenate C 2 H 6 to C 2 H 4 . Furthermore, this paper provides a detailed discussion of these roles and also introduces new experimental data from Temporal Analysis of Products (TAP) studies to clarify the ongoing debate in the literature regarding the contributions of lattice versus adsorbed oxygen species in OCM reaction product formation. Additionally, recommendations are offered for optimizing the performance of supported Mn-Na 2 WO 4 /SiO 2 catalysts to enhance CH 4 activation and C 2 product selectivity.
Improved method of temporal analysis of propagation of electro-magnetic waves in monolithic microwave integrated circuits (MMICs) implemented by generalized version of traditional Yee algorithm. Provides more accurate mathematical modeling for analysis and design of MMICs. Based on unstructured and otherwise irregular grids. Grids readily fitted to conductive and dielectric circuit elements having realistically complex three-dimensional shapes. Better for modeling important and geometrically complex phenomena like fringing fields.
This paper presents a straightforward and user-friendly procedure for extracting a reactivity characterization of catalytic reactions on solid materials under non-steady-state conditions, particularly in temporal analysis of products (TAP) experiments. The kinetic parameters derived by this procedure can help with the development of detailed mechanistic understanding. The procedure consists of the following two major steps: 1) Three “Laplace reactivities” are first determined based on the moments of the exit flow pulse response data; 2) Depending on a select kinetic model, kinetic constants of elementary reaction steps can then be expressed as a function of reactivities and determined accordingly. In particular, we distinguish two calculation methods based on the availability and reliability of reactant and product data. The theoretical results are illustrated using a reverse example with given parameters as well as an experimental example of CO oxidation over a supported Au/SiO 2 catalyst. The procedure presented here provides an efficient tool for kinetic characterization of many complex chemical reactions.
Here, this paper introduces the use of statistical distributions based on transport differential equations for clear distinction of transport modes within transient kinetic experiments. More specifically, novel techniques are developed for the transient data obtained through the Temporal Analysis of Products (TAP) reactor and are applicable to experiments where pulse response into a gas flow is used. The methodology allows distinguishing between two domains of diffusion transport in heterogeneous catalytic systems, i.e., Knudsen and non-Knudsen diffusion, using statistical fingerprints, and finding the transition domain. Two distribution parameters were obtained that directly result in coefficients that correspond to the concentration and the rate of transport. Using a linear relationship between the rate and concentration coefficients, Knudsen diffusion is revealed when the rate of transport is constant and non-Knudsen diffusion is confirmed when the rate of transport coefficient is a function of the concentration coefficient. As a result, accurate transport information can be extracted from experimental data even in the presence of comprising instrument drift or noise particularly when analyzing higher pressure pulse responses with complex transport. This enables more direct investigation of experiments influenced by gas-phase reactions.
Oxidative coupling of methane (OCM) is a promising industrial process to upgrade natural gas to high value chemicals. In this study, Temporal Analysis of Products (TAP) and steady-state experiments were conducted to distinguish how the composition of surface and gas phase oxygen influence mechanistic details of the selective conversion of CH 4 to C 2 H 4 over the Mn-Na 2 WO 4 /SiO 2 catalyst. The results from TAP studies indicate that methane activation on this catalyst proceeds predominantly via a short-lived, transient surface oxygen species and there is a competition for this species to form either CO or methyl radicals on the surface. This active species has a total lifetime of 3 s and is identified to have a dioxygen (e.g. O 2 2- or O 2 -) form. We show that the concentration of the transient surface oxygen species significantly impacts the OCM performance. Oxygen attributed to the catalyst lattice (in a singular form e.g., O - ), is found to activate methane to a lesser degree, but exclusively forms CO 2 . Evidence for these surface pathways for methyl radical, CO and CO 2 formation identified by TAP are also validated through steady-state experiments. Finally, by distinguishing different catalyst oxygen species and their role in selective/nonselective pathways, important screening criteria have been identified for the advancement of superior catalyst formulations.
In the development of catalytic materials, a set of standard conditions is needed where the kinetic performance of many samples can be compared. This can be challenging when a sample set covers a broad range of activity. Precise kinetic characterization requires uniformity in the gas and catalyst bed composition. This limits the range of convecting devices to low conversion (generally <20%). While steady-state kinetics offer a snapshot of conversion, yield and apparent rates of the slow reaction steps, transient techniques offer much greater detail of rate processes and hence more information as to why certain catalyst compositions offer better performance. In this work, transient experiments in two transport regimes are compared: an advecting differential plug flow reactor (PFR) and a pure-diffusion temporal analysis of products (TAP) reactor. The decomposition of ammonia was used as a model reaction to test three simple materials: polycrystalline iron, cobalt and a bimetallic preparation of the two. These materials presented a wide range of activity and it was not possible to capture transient information in the advecting device for all samples at the same conditions while ensuring uniformity. We push the boundary for the theoretical estimates of uniformity in the TAP device and find reliable kinetic measurement up to 90% conversion. However, what is more advantageous from this technique is the ability to observe the time-dependence of the reaction rate rather than just singular points of conversion and yield. For example, on the iron sample we observed reversible adsorption of ammonia and on cobalt materials we identify two routes for hydrogen production. From the time-dependence of reactants and product, the dynamic accumulation was calculated. This was used to understand the atomic distribution of H and N species regulated by the surface of different materials. When ammonia was pulsed at 550 °C, the surface hydrogen/nitrogen, (H/N), ratios that evolved for Fe, CoFe and Co were 2.4, 0.25 and 0.3 respectively. This indicates that iron will store a mixture of hydrogenated species while materials with cobalt will predominantly store NH and N. While much is already known about iron, cobalt and ammonia decomposition, the goal of this work was to demonstrate new tools for comparing materials over a wider window of conversion and with much greater kinetic detail. As a result, this provides an approach for detailed kinetic discrimination of more complex industrial samples beyond conversion and yield.
Selective oxidation of propene to acrolein over industrial multicomponent bismuth molybdate (BMO) catalysts significantly depends on reaction conditions that include operating parameters and catalyst state. Here, this work investigates selective propene oxidation in the intrinsic kinetic paradigm of Temporal Analysis of Products (TAP) reactor by systematically varying catalyst redox state, temperature, and oxygen-to-propene feed ratio. A 93 % propene conversion with an acrolein yield of 80 % is achieved at elevated temperatures (450 °C) on oxidized catalysts under oxygen-rich conditions (O 2 :C 3 H 6 = 10). However, these conditions diminish acrolein-to-CO 2 selectivity due to enhanced total oxidation to CO 2 . In contrast, a reduced catalyst state, moderate temperature (350 °C), and lower oxygen feed (O 2 :C 3 H 6 = 1) nearly doubles the acrolein to-CO 2 selectivity, albeit at a lower acrolein yield (33 %). Transient kinetic studies together with a kinetic model that simplify the major product formation pathways in lumped non-elementary forms reveal that the availability of surface oxygen species plays a pivotal role in governing reaction pathways. Additionally, density functional theory (DFT) calculations on pure BMO catalysts inform the role of surface redox states on propene and oxygen activation barriers. Lattice oxygen at acrolein-selective sites drives both acrolein and CO 2 formation, while adsorbed oxygen at activation sites favors unselective CO 2 generation. This work establishes a critical relationship between transient product selectivity and surface oxygen availability, which is strongly influenced by catalyst redox state, feed ratio, and reaction temperature. These insights underscore the importance of dynamic reactor operation strategies and offer a foundation for designing next-generation propene oxidation processes with tunable acrolein selectivity.
Oxidative coupling of methane (OCM) is an attractive direct route for upgrading methane to valuable chemicals. In this study, Temporal Analysis of Products (TAP) and steady state experiments are conducted to understand the role of individual oxide phases and their combinations in supported Mn-Na 2 WO 4 /SiO 2 catalysts for OCM. The results from TAP transient kinetic studies indicate that Mn plays an important role in promoting gas phase oxygen activation, while NaO x /SiO 2 and WO x /SiO 2 are relatively inert towards gas phase oxygen and methane activation. However, the supported catalyst combining Na and W in the form Na 2 WO 4 show enhanced gas phase oxygen activation exhibiting a much lower oxygen activation energy (148 kJ/mol) and enhanced activity toward methane activation as compared to the individual supported oxide catalysts. Addition of Mn to Na 2 WO 4 /SiO 2 further decreases the oxygen activation energy by 40 kJ/mol. Moreover, methane activation is also enhanced with CH 3 as the main intermediate but, with increasing Mn content, more CH 2 intermediates are observed. Different forms of oxygen (both dioxygen and atomic) are detected on the catalyst surface using isotopic pump/probe pulsing and their distribution is found to depend on the catalyst composition. An optimal Mn content in the Na 2 WO 4 /SiO 2 catalyst system is needed to enhance the amount of dioxide surface species (e.g., superoxide 16 O 2 - or peroxide 16 O 2 2- ) associated with the Na 2 WO 4 leading to high C 2 selectivity for OCM. When the Mn content is too high, the larger MnOx domains are shown to contribute to the formation of higher concertation of monoxide surface species that lead to nonselective OCM pathways. This insight from transient kinetic characterization using TAP combined with conventional steady state studies, provides a deeper understanding of the role of individual oxide phases and their combination on supported catalysts toward the formation of intermediate surface species and their impact on the OCM reaction mechanism. This knowledge is critical toward designing superior catalyst formulations for OCM.