1,399 research outputs found
Impact of composites on future transport aircraft
In the current environment, new technology must be cost-effective in addition to improving operability. Various approaches have been used to determine the 'hurdle' or 'breakthrough' return that must be achieved to gain customer commitment for a new product or aircraft, or in this case, a new application of the technology. These approaches include return-on-investment, payback period, and addition to net worth. An easily understood figure-of-merit and one used by our airline customers is improvement in direct operating cost per seat-mile. Any new technology must buy its way onto the aircraft through reduction in direct operating cost (DOC)
Experiments in chick feeding, 1947-1952
This bulletin is a report on Department of Poultry Husbandry research project No. 24, entitled 'Rations for growing chicks'--P. [2]
Detecting Malicious Code by Model Checking
Abstract. The ease of compiling malicious code from source code in higher programming languages has increased the volatility of malicious programs: The first appearance of a new worm in the wild is usually followed by modified versions in quick succession. As demonstrated by Christodorescu and Jha, however, classical detection software relies on static patterns, and is easily outsmarted. In this paper, we present a flexible method to detect malicious code patterns in executables by model checking. While model checking was originally developed to verify the correctness of systems against specifications, we argue that it lends itself equally well to the specification of malicious code patterns. To this end, we introduce the specification language CTPL (Computation Tree Predicate Logic) which extends the well-known logic CTL, and describe an efficient model checking algorithm. Our practical experiments demonstrate that we are able to detect a large number of worm variants with a single specification. Key words: Model Checking, Malware Detection.
Orbiter Entry Aerodynamics Flight Testing: STS-119 and STS-125
NASA has performed entry flight testing related to boundary layer transition and turbulent heating environments during 2009. Two projects are involved in implementing the activities and acquiring flight data: 1) Orbiter BLT Flight Experiment during STS-119; and 2) Hypersonic Thermodynamic Infrared Measurements (HYTHIRM) during STS-119 and STS-125. Orbiter BLT FE has implemented tile surface thermocouples in order to provide in-situ data downstream of a fixed geometry tile protuberance. HYTHIRM has developed a framework of mission planning and aircraft based telescopic infrared measurements to provide quantitative surface temperature distributions
Boundary Layer Transition Flight Experiment Overview and In-Situ Measurements
In support of the Boundary Layer Transition Flight Experiment (BLTFE) Project, a manufactured protuberance tile was installed on the port wing of Space Shuttle Orbiter Discovery for the flights of STS-119 and STS-128. Additional instrumentation was also installed in order to obtain more spatially resolved measurements downstream of the protuberance. This paper provides an overview of the BLTFE Project, including the project history, organizations involved, and motivations for the flight experiment. Significant efforts were made to place the protuberance at an appropriate location on the Orbiter and to design the protuberance to withstand the expected environments. Efforts were also extended to understand the as-fabricated shape of the protuberance and the thermal protection system tile configuration surrounding the protuberance. A high-level overview of the in-situ flight data is presented, along with a summary of the comparisons between pre- and post-flight analysis predictions and flight data. Comparisons show that predictions for boundary layer transition onset time closely match the flight data, while predicted temperatures were significantly higher than observed flight temperatures
Ground-state properties of the spin-1/2 antiferromagnetic Heisenberg model on the triangular lattice: A variational study based on entangled-plaquette states
We study, on the basis of the general entangled-plaquette variational ansatz,
the ground-state properties of the spin-1/2 antiferromagnetic Heisenberg model
on the triangular lattice. Our numerical estimates are in good agreement with
available exact results and comparable, for large system sizes, to those
computed via the best alternative numerical approaches, or by means of
variational schemes based on specific (i.e., incorporating problem dependent
terms) trial wave functions. The extrapolation to the thermodynamic limit of
our results for lattices comprising up to N=324 spins yields an upper bound of
the ground-state energy per site (in units of the exchange coupling) of
[ for the XX model], while the estimated
infinite-lattice order parameter is (i.e., approximately 64% of the
classical value).Comment: 8 pages, 3 tables, 2 figure
Managing the Socially Marginalized: Attitudes Towards Welfare, Punishment and Race
Welfare and incarceration policies have converged to form a system of governance over socially marginalized groups, particularly racial minorities. In both of these policy areas, rehabilitative and social support objectives have been replaced with a more punitive and restrictive system. The authors examine the convergence in individual-level attitudes concerning welfare and criminal punishment, using national survey data. The authors\u27 analysis indicates a statistically significant relationship between punitive attitudes toward welfare and punishment. Furthermore, accounting for the respondents\u27 racial attitudes explains the bivariate relationship between welfare and punishment. Thus, racial attitudes seemingly link support for punitive approaches to opposition to welfare expenditures. The authors discuss the implications of this study for welfare and crime control policies by way of the conclusion
Complete-Graph Tensor Network States: A New Fermionic Wave Function Ansatz for Molecules
We present a new class of tensor network states that are specifically
designed to capture the electron correlation of a molecule of arbitrary
structure. In this ansatz, the electronic wave function is represented by a
Complete-Graph Tensor Network (CGTN) ansatz which implements an efficient
reduction of the number of variational parameters by breaking down the
complexity of the high-dimensional coefficient tensor of a
full-configuration-interaction (FCI) wave function. We demonstrate that CGTN
states approximate ground states of molecules accurately by comparison of the
CGTN and FCI expansion coefficients. The CGTN parametrization is not biased
towards any reference configuration in contrast to many standard quantum
chemical methods. This feature allows one to obtain accurate relative energies
between CGTN states which is central to molecular physics and chemistry. We
discuss the implications for quantum chemistry and focus on the spin-state
problem. Our CGTN approach is applied to the energy splitting of states of
different spin for methylene and the strongly correlated ozone molecule at a
transition state structure. The parameters of the tensor network ansatz are
variationally optimized by means of a parallel-tempering Monte Carlo algorithm
- …