1,399 research outputs found

    An automatic interference refractometer

    Get PDF

    Impact of composites on future transport aircraft

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    Full text link
    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 0.5458(2)-0.5458(2) [0.4074(1)-0.4074(1) for the XX model], while the estimated infinite-lattice order parameter is 0.3178(5)0.3178(5) (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

    Get PDF
    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

    Get PDF
    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
    corecore