Demodulation system Patent

Development of demodulation system for removing amplitude modulation from two quadrature displaced data bearing signal

The Production of Chloropicrin as Needed from Dry Mixtures of Picric Acid and Bleaching Powder

Chloropicrin or trichloromethane is a colorless liquid boiling at l 12°C and having a specific gravity of 1.69. It was first prepared by Stenhouse from picric acid and bleaching powder. Its first use was in chemical warfare by the Allied troops in 1918. It was prepared in large quantities at Edgewood Arsenal during the World War, by the method developed and patented by the senior author. Picric acid, hydrated lime, and water were mixed to form a calcium picrate suspension. This suspension together with a suspension of bleaching powder and water was run into a still. The chloropicrin was steam-distilled off

Geology and Geohydrology of the East Texas Basin

The investigations in the East Texas Basin are part of the broader salt dome studies underway in the Gulf Coast Interior Salt Basin of Texas, Louisiana, and Mississippi, constituting one regional element of the national Nuclear Waste Repository Program. The U.S. Department of Energy (DOE) aims to select one salt site for site-specific evaluation as a nuclear waste repository. This report focuses on the salt dome program in East Texas and outlines some preliminary conclusions reached on dome suitability during FY1980. The 1980 program to investigate the tectonic, geologic, and hydrogeologic stability of salt domes in the East Texas Basin was divided into four subprograms: 1. Subsurface geology. 2. Surficial geology, remote sensing, and geomorphology. 3. Hydrogeology. 4. Salt dome characteristics. Integration of the results from these four subprograms will determine the general suitability of salt domes in the East Texas Basin for further evaluation as a potential nuclear waste repository and will provide information on specific candidate domes in the East Texas Basin.Bureau of Economic Geolog

Provenance and geochemistry of exotic clasts in conglomerates of the Oligocene Torehina Formation, Coromandel Peninsula, New Zealand

Non-marine pebble to cobble conglomerates of the lower Torehina Formation (Oligocene) crop out along western Coromandel Peninsula and overlie, with strong angular discordance, continental-margin metasedimentary rocks (Manaia Hill Group) of Mesozoic (Late Jurassic to ?Early Cretaceous) age. The conglomerates contain provenance information that identifies a pre-Oligocene depositional history obscured by the unconformable juxtaposition of these Tertiary and Mesozoic strata. Most clasts in the lower Torehina Formation are visually similar to local bedrock lithologies, including metamorphosed sandstones and argillites, but are kaolinitic and contain more detrital and authigenic chert, quartz, and potash feldspar. Local derivation of these clasts seems unlikely. By comparing geochemical ratios with those defined for continental margin sandstones, and well characterised New Zealand tectonic terranes, we interpret the majority of clasts in the lower Torehina Formation to have been derived from a dissected orogen, with mixtures of felsic and volcanogenic-derived sediment. The most likely sources are the Waipapa and Torlesse Terranes. The remaining 20–30% of the clasts in the lower Torehina Formation were originally friable, are coarse grained, and appear to be lithologically exotic relative to known metamorphosed sandstones in basement terrane sources on North Island. Some clasts contain coal laminae and particles, and all contain detrital kaolinite as lithic fragments and matrix. Such characteristics imply a non-marine to marginal-marine source containing sediment derived from strongly weathered granite or granodiorite. Mechanical fragility implies a likely proximal, easily erodible source. We propose that this group of clasts was derived from an Upper Cretaceous sedimentary cover, either part of a locally developed basin fill or part of a once regionally extensive cover on North Island. Either case defines a more widely distributed Cretaceous source than found today

Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

Plasma Dynamics

Contains reports on three research projects.United States Atomic Energy Commission (Contract AT(30-1)-1842)United States Air Force, Air Force Cambridge Research Center (Contract AF19(604)-5992)United States Air Force, Air Force Cambridge Research Center (Contract AF19(604)-4551)National Science Foundation (Grant G-9930)Office of Naval Research through Project SQUID, Phase III, under contract with Massachusetts Institute of Technolog

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $\Delta^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.Comment: 56 pages, 9 figures, 6 table

Viral forensic genomics reveals the relatedness of classic herpes simplex virus strains KOS, KOS63, and KOS79

Herpes simplex virus 1 (HSV-1) is a widespread global pathogen, of which the strain KOS is one of the most extensively studied. Previous sequence studies revealed that KOS does not cluster with other strains of North American geographic origin, but instead clustered with Asian strains. We sequenced a historical isolate of the original KOS strain, called KOS63, along with a separately isolated strain attributed to the same source individual, termed KOS79. Genomic analyses revealed that KOS63 closely resembled other recently sequenced isolates of KOS and was of Asian origin, but that KOS79 was a genetically unrelated strain that clustered in genetic distance analyses with HSV-1 strains of North American/European origin. These data suggest that the human source of KOS63 and KOS79 could have been infected with two genetically unrelated strains of disparate geographic origins. A PCR RFLP test was developed for rapid identification of these strains