Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “JAVA”

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Symbolic PathFinder: Symbolic Execution of Java Bytecode

Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs. In this tool, programs are executed on symbolic inputs representing multiple concrete inputs. Values of variables are represented as constraints generated from the analysis of Java bytecode. The constraints are solved using off-the shelf solvers to generate test inputs guaranteed to achieve complex coverage criteria. SPF has been used successfully at NASA, in academia, and in industry.

Pasareanu, Corina S.↗
NASA NTRS2006

Shuttle Data Center File-Processing Tool in Java

A Java-language computer program has been written to facilitate mining of data in files in the Shuttle Data Center (SDC) archives. This program can be executed on a variety of workstations or via Web-browser programs. This program is partly similar to prior C-language programs used for the same purpose, while differing from those programs in that it exploits the platform-neutrality of Java in implementing several features that are important for analysis of large sets of time-series data. The program supports regular expression queries of SDC archive files, reads the files, interleaves the time-stamped samples according to a chosen output, then transforms the results into that format. A user can choose among a variety of output file formats that are useful for diverse purposes, including plotting, Markov modeling, multivariate density estimation, and wavelet multiresolution analysis, as well as for playback of data in support of simulation and testing.

Barry, Matthew R.↗
NASA NTRS2009

Towards a Certified Lightweight Array Bound Checker for Java Bytecode

Dynamic array bound checks are crucial elements for the security of a Java Virtual Machines. These dynamic checks are however expensive and several static analysis techniques have been proposed to eliminate explicit bounds checks. Such analyses require advanced numerical and symbolic manipulations that 1) penalize bytecode loading or dynamic compilation, 2) complexify the trusted computing base. Following the Foundational Proof Carrying Code methodology, our goal is to provide a lightweight bytecode verifier for eliminating array bound checks that is both efficient and trustable. In this work, we define a generic relational program analysis for an imperative, stackoriented byte code language with procedures, arrays and global variables and instantiate it with a relational abstract domain as polyhedra. The analysis has automatic inference of loop invariants and method pre-/post-conditions, and efficient checking of analysis results by a simple checker. Invariants, which can be large, can be specialized for proving a safety policy using an automatic pruning technique which reduces their size. The result of the analysis can be checked efficiently by annotating the program with parts of the invariant together with certificates of polyhedral inclusions. The resulting checker is sufficiently simple to be entirely certified within the Coq proof assistant for a simple fragment of the Java bytecode language. During the talk, we will also report on our ongoing effort to scale this approach for the full sequential JVM.

Pichardie, David↗
DOE OSTI2017

Visualization Software for VisIT Java Client

The VisIT Java Client (JVC) library is a lightweight thin client that is designed and written purely in the native language of Java (the Python & JavaScript versions of the library use the same concept) and communicates with any new unmodified standalone version of VisIT, a high performance computing parallel visualization toolkit, over traditional or web sockets and dynamically determines capabilities of the running VisIT instance whether local or remote.

Billings, Jay Jay↗
NASA NTRS2003

Java for flight software

This work involves developing representative mission-critical spacecraft software using the Real-Time Specification for Java (RTSJ). This work currently leverages actual flight software used in the design of actual flight software in the NASA's Deep Space 1 (DSI), which flew in 1998.

java flight software design patterns real-time jav↗
DOE OSTI2014

JANIS 4: An Improved Version of the NEA Java-based Nuclear Data Information System

JANIS is software developed to facilitate the visualization and manipulation of nuclear data, giving access to evaluated data libraries, and to the EXFOR and CINDA databases. It is stand-alone Java software, downloadable from the web and distributed on DVD. Used offline, the system also makes use of an internet connection to access the NEA Data Bank database. It is now also offered as a full web application, only requiring a browser. The features added in the latest version of the software and this new web interface are described.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2013

Tomographic imaging of Central Java, Indonesia: Preliminary result of joint inversion of the MERAMEX and MCGA earthquake data

The realization of local earthquake tomography is usually conducted by removing distant events outside the study region, because these events may increase errors. In this study, tomographic inversion has been conducted using the travel time data of local and regional events in order to improve the structural resolution, especially for deep structures. We used the local MERapi Amphibious EXperiments (MERAMEX) data catalog that consists of 292 events from May to October 2004. The additional new data of regional events in the Java region were taken from the Meteorological, Climatological, and Geophysical Agency (MCGA) of Indonesia, which consist of 882 events, having at least 10 recording phases at each seismographic station from April 2009 to February 2011. We have conducted joint inversions of the combined data sets using double-difference tomography to invert for velocity structures and to conduct hypocenter relocation simultaneously. The checkerboard test results of Vp and Vs structures demonstrate a significantly improved spatial resolution from the shallow crust down to a depth of 165 km. Our tomographic inversions reveal a low velocity anomaly beneath the Lawu - Merapi zone, which is consistent with the results from previous studies. A strong velocity anomaly zone with low Vp, low Vs and low Vp/Vs is also identified between Cilacap and Banyumas. We interpret this anomaly as a fluid content material with large aspect ratio or sediment layer. This anomaly zone is in a good agreement with the existence of a large dome containing sediment in this area as proposed by previous geological studies. A low velocity anomaly zone is also detected in Kebumen, where it may be related to the extensional oceanic basin toward the land.

58 GEOSCIENCES↗
DOE OSTI2014

Identification of earthquakes that generate tsunamis in Java and Nusa Tenggara using rupture duration analysis

Java and Nusa Tenggara are the tectonically active of Sunda arc. This study discuss the rupture duration as a manifestation of the power of earthquake-generated tsunami. We use the teleseismic (30° - 90°) body waves with high-frequency energy Seismometer is from IRIS network as amount 206 broadband units. We applied the Butterworth high bandpass (1 - 2 Hz) filtered. The arrival and travel times started from wave phase of P - PP which based on Jeffrey Bullens table with TauP program. The results are that the June 2, 1994 Banyuwangi and the July 17, 2006 Pangandaran earthquakes identified as tsunami earthquakes with long rupture duration (To > 100 second), medium magnitude (7.6 < Mw < 7.9) and located near the trench. The others are 4 tsunamigenic earthquakes and 3 inland earthquakes with short rupture duration start from To > 50 second which depend on its magnitude. Those events are located far from the trench.

58 GEOSCIENCES↗
DOE OSTI2015

Earthquake disaster mitigation of Lembang Fault West Java with electromagnetic method

The Lembang fault is located around eight kilometers from Bandung City, West Java, Indonesia. The existence of this fault runs through densely populated settlement and tourism area. It is an active fault structure with increasing seismic activity where the 28 August 2011 earthquake occurred. The seismic response at the site is strongly influenced by local geological conditions. The ambient noise measurements from the western part of this fault give strong implication for a complex 3-D tectonic setting. Hence, near surface Electromagnetic (EM) measurements are carried out to understand the location of the local active fault of the research area. Hence, near surface EM measurements are carried out to understand the location of the local active fault and the top of the basement structure of the research area. The Transientelectromagnetic (TEM) measurements are carried out along three profiles, which include 35 TEM soundings. The results indicate that TEM data give detailed conductivity distribution of fault structure in the study area.

58 GEOSCIENCES↗
DOE OSTI2015

The preliminary results: Seismic ambient noise Rayleigh wave tomography around Merapi volcano, central Java, Indonesia

Ambient noise tomography is relatively a new method for imaging the shallow structure of the Earth subsurface. We presents the application of this method to produce a Rayleigh wave group velocity maps around the Merapi Volcano, Central Java. Rayleigh waves group velocity maps were reconstructed from the cross-correlation of ambient noise recorded by the DOMERAPI array which consists 43 broadband seismometers. In the processing stage, we first filtered the observation data to separatethe noise from the signal that dominated by the strong volcanic activities. Next, we cross-correlate the filtered data and stack to obtain the Green’s function for all possible station pairs. Then we carefully picked the peak of each Green’s function to estimate the dispersion trend and appliedMultiple Filter Technique to obtain the dispersion curve. Inter-station group velocity curvesare inverted to produceRayleigh wave group velocity maps for periods 1 to 10 s. The resulted Rayleigh group velocity maps show the interesting features around the Merapi Volcano which generally agree with the previous studies. Merapi-Lawu Anomaly (MLA) is emerged as a relatively low anomaly in our group velocity maps.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS2000

Lisp as an Alternative to Java

In a recent study, Prechelt compared the relative performance of Java and C++ in terms of execution time and memory utilization. Unlike many benchmark studies, Prechelt compared mulitple implementations of the same task by multiple programmers in order to control for the effects of difference in programmer skill.

Lisp Java↗
NASA NTRS1999

Java Will be Faster than C++

This paper shows that it is possible for Java to have better general performance than C++, and that it is likely that this will actually occur.

Java C++ comparitive performance compilers dynamic↗
NASA NTRS2004

Project Golden Gate: towards real-time Java in space missions

This paper describes the problem domain and our experimentation with the first commercial implementation of the Real Time Specification for Java. The two main issues explored in this report are: (1) the effect of RTSJ's non-heap memory on the programming model, and (2) performance benchmarking of RTSJ/Linux relative to C++/VxWorks.

lander↗
NASA NTRS2003

Java for flight software

We have successfully demonstrated a portion of the spacecraft attitude control and fault protection, running on a standard Java platform, and are currently in the process of taking advantage of the features provided by the RTSJ.

Java flight software design patterns↗
DOE OSTI2018

No 182 W excess in the Ontong Java Plateau source

We report that small-scale W isotope variations in ancient and modern terrestrial rocks provide insights into Earth's accretion and early differentiation history as well as the long-term evolution of the Earth's mantle. Tungsten isotope studies on such rocks have exploited advances in mass spectrometry, both NTIMS and MC-ICPMS, which now permit the determination of W isotope ratios at unprecedented precision. While W isotope studies performed in different labs by MC-ICPMS and NTIMS generally exhibit excellent agreement, obtaining accurate W isotope data at this level of precision remains analytically challenging. For example, a recent NTIMS study reported a relatively large, +24 ppm excess in 182 W/ 184 W for a Phanerozoic sample from the Ontong Java Plateau (OJP), but no such 182 W/ 184 W anomaly was found in another study by MC-ICPMS. The present study aims to resolve the discrepancy between these two previous studies, and more generally to evaluate the agreement between different recent W isotope studies by NTIMS and MC-ICPMS. To this end, we report new W isotope data for OJP drill core samples obtained by MC-ICPMS. Additionally, the OJP samples analyzed here exhibit no resolvable 182 W/ 184 W excess relative to the standards and most terrestrial rocks. Moreover, the OJP samples as well as the terrestrial rock standards analyzed here exhibit small but variable W isotope variations for ratios involving 183 W, producing coupled variations in both ‘radiogenic’ (i.e., 182 W/ 183 W) and ‘non-radiogenic’ (i.e., 183 W/ 184 W) ratios. These W isotope variations are analytical in origin, induced during sample preparation, and very likely caused by a nuclear field shift isotope fractionation affecting primarily the odd isotope ( 183 W). The recently reported 182 W excess for an OJP sample may result from this nuclear field shift effect, as the NTIMS analyses had to rely on a double normalization involving the 183 W/ 184 W ratio. More generally, these results demonstrate that using 183 W data from any MC-ICPMS or NTIMS study requires a careful quantification of any potential analytical 183 W effect. Nevertheless, once such effects are taken into account, then both 182 W/ 184 W and 183 W/ 184 W can accurately be determined to a very high level of precision.

07 ISOTOPE AND RADIATION SOURCES↗