Observability Driven Path Generation for Delay Test

This research describes an approach for path generation using an observability metric for delay test. K Longest Path Per Gate (KLPG) tests are generated for sequential circuits. A transition launched from a scan flip-flop (SFF) is captured into another SFF during at-speed clock cycles, that is, clock cycles at the rated design speed. The generated path is a ‘longest path’ suitable for delay test. The path generation algorithm then utilizes observability of the fan-out gates in the consecutive, lower-speed clock cycles, known as coda cycles, to generate paths ending at a SFF, to capture the transition from the at-speed cycles. For a given clocking scheme defined by the number of coda cycles, if the final flip-flop is not scan-enabled, the path generation algorithm attempts to generate a different path that ends at a SFF, located in a different branch of the circuit fan-out, indicated by lower observability. The paths generated over multiple cycles are sequentially justified using Boolean satisfiability. The observability metric optimizes the path generation in the coda cycles by always attempting to grow the path through the branch with the best observability and never generating a path that ends at a non-scan flip-flop. The algorithm has been developed in C++. The experiments have been performed on an Intel Core i7 machine with 64GB RAM. Various ISCAS benchmark circuits have been used with various KLPG configurations for code evaluation. Multiple configurations have been used for the experiments. The combinations of the values of K [1, 2, 3, 4, 5] and number of coda cycles [1, 2, 3] have been used to characterize the implementation. A sublinear rise is run time has been observed with increasing K values. The total number of tested paths rise with K and falls with number of coda cycles, due to the increasing number of constraints on the path, particularly due to the fixed inputs

Gas hydrate technology: state of the art and future possibilities for Europe

Interest in natural gas hydrates has been steadily increasing over the last few decades, with the understanding that exploitation of this abundant unconventional source may help meet the ever-increasing energy demand and assist in reduction of CO2 emission (by replacing coal). Unfortunately, conventional technologies for oil and gas exploitation are not fully appropriate for the specific exploitation of gas hydrate. Consequently, the technology chain, from exploration through production to monitoring, needs to be further developed and adapted to the specific properties and conditions associated with gas hydrates, in order to allow for a commercially and environmentally sound extraction of gas from gas hydrate deposits. Various academic groups and companies within the European region have been heavily involved in theoretical and applied research of gas hydrate for more than a decade. To demonstrate this, Fig. 1.1 shows a selection of leading European institutes that are actively involved in gas hydrate research. A significant number of these institutes have been strongly involved in recent worldwide exploitation of gas hydrate, which are shown in Fig. 1.2 and summarized in Table 1.1. Despite the state of knowledge, no field trials have been carried out so far in European waters. MIGRATE (COST action ES1405) aims to pool together expertise of a large number of European research groups and industrial players to advance gas-hydrate related activity with the ultimate goal of preparing the setting for a field production test in European waters. This MIGRATE report presents an overview of current technologies related to gas hydrate exploration (Chapter 2), production (Chapter 3) and monitoring (Chapter 4), with an emphasis on European activity. This requires covering various activities within different disciplines, all of which contribute to the technology development needed for future cost-effective gas production. The report points out future research and work areas (Chapter 5) that would bridge existing knowledge gaps, through multinational collaboration and interdisciplinary approaches

INVESTIGATION OF OCEAN ACOUSTICS USING AUTONOMOUS INSTRUMENTATION TO QUANTIFY THE WATER-SEDIMENT BOUNDARY PROPERTIES

Sound propagation in shallow water is characterized by interaction with the oceans surface, volume, and bottom. In many coastal margin regions, including the Eastern U.S. continental shelf and the coastal seas of China, the bottom is composed of a depositional sandy-silty top layer. Previous measurements of narrow and broadband sound transmission at frequencies from 100 Hz to 1 kHz in these regions are consistent with waveguide calculations based on depth and frequency dependent sound speed, attenuation and density profiles. Theoretical predictions for the frequency dependence of attenuation vary from quadratic for the porous media model of M.A. Biot to linear for various competing models. Results from experiments performed under known conditions with sandy bottoms, however, have agreed with attenuation proportional to f1.84, which is slightly less than the theoretical value of f2 [Zhou and Zhang, J. Acoust. Soc. Am. 117, 2494]. This dissertation presents a reexamination of the fundamental considerations in the Biot derivation and leads to a simplification of the theory that can be coupled with site-specific, depth dependent attenuation and sound speed profiles to explain the observed frequency dependence. Long-range sound transmission measurements in a known waveguide can be used to estimate the site-specific sediment attenuation properties, but the costs and time associated with such at-sea experiments using traditional measurement techniques can be prohibitive. Here a new measurement tool consisting of an autonomous underwater vehicle and a small, low noise, towed hydrophone array was developed and used to obtain accurate long-range sound transmission measurements efficiently and cost effectively. To demonstrate this capability and to determine the modal and intrinsic attenuation characteristics, experiments were conducted in a carefully surveyed area in Nantucket Sound. A best-fit comparison between measured results and calculated results, while varying attenuation parameters, revealed the estimated power law exponent to be 1.87 between 220.5 and 1228 Hz. These results demonstrate the utility of this new cost effective and accurate measurement system. The sound transmission results, when compared with calculations based on the modified Biot theory, are shown to explain the observed frequency dependence.National Defense Science and Engineering Graduate Fellowship through the American Society for Engineering Education, the Office of Naval Research, and the Woods Hole Oceanographic Institution

The sedimentary and geomorphic signature of subglacial processes in the Tarfala Valley, northern Sweden, and the links between subglacial soft-bed deformation, glacier flow dynamics, and landform generation

The aim of this study is to understand the extent, depth, magnitude and significance of subglacial sediment deformation. It will examine the role of this deformation in controlling glacier dynamics and landform generation in glaciers in general, and polythermal glaciers in particular. A detailed multi-dimensional approach is used to study recently exposed glacigenic sediments on the forefields of three polyglaciers in the Tarfala Valley, northern Sweden. Overridden fluted moraines and diamicton plains occur in each forefield. These palimpsest landforms consist of multiple subglacial traction tills. Flutes have quasi-regular geometry and about half of those studied have no initiating boulder. It is suggested here that flute formation by forced-mechanisms was superimposed on flute formation related to a topographically-induced flow instability. In each forefield the depth of the deforming-bed averaged between 0.2m and 0.6m thickness. Detailed clast fabric data suggest the diamicton plain is composed of thin layers of traction tills that accreted over time as the zone of deformation moved upwards. Laboratory shear box tests show that subglacial deformation required elevated pore-water pressures, which suggests deforming-bed conditions and flute formation were restricted to the temperate zones of polythermal glaciers. Magnetic fabrics suggest strain magnitudes were moderate (≤10), rather than the very high strain magnitudes (>102) required by the deforming-bed model. The application of the micro-structural mapping technique demonstrates that subglacial deformation was multi-phase, heterogeneous, and partitioned into the softer and more easily deformed parts of the matrix. Consequently, deformation is controlled by variations in sediment granulometry and pore-water pressure, and is likely to have been spatially and temporally variable, a finding that supports the ice-bed mosaic model. The strain magnitudes and deforming-bed thickness suggest that soft-bed deformation did not exert a major control on glacier dynamics during the Little Ice Age advance

Technology 2001: The Second National Technology Transfer Conference and Exposition, volume 1

Papers from the technical sessions of the Technology 2001 Conference and Exposition are presented. The technical sessions featured discussions of advanced manufacturing, artificial intelligence, biotechnology, computer graphics and simulation, communications, data and information management, electronics, electro-optics, environmental technology, life sciences, materials science, medical advances, robotics, software engineering, and test and measurement

Abstracts of manuscripts submitted in 1990 for publication

This volume contans the abstracts of manuscripts submitted for publication during calendar year 1990 by the staff and students of the Woods Hole Oceanographic Institution. We identify the journal of those manuscripts which are in press or have been published. The volume is intended to be informative, but not a bibliography. The abstracts are listed by title in the Table of Contents and are grouped into one of our five deparments, Marine Policy Center, Coastal Research Center, or the student category. An author index is presented in the back to facilitate locating specific papers

Abstracts on Radio Direction Finding (1899 - 1995)

The files on this record represent the various databases that originally composed the CD-ROM issue of "Abstracts on Radio Direction Finding" database, which is now part of the Dudley Knox Library's Abstracts and Selected Full Text Documents on Radio Direction Finding (1899 - 1995) Collection. (See Calhoun record https://calhoun.nps.edu/handle/10945/57364 for further information on this collection and the bibliography). Due to issues of technological obsolescence preventing current and future audiences from accessing the bibliography, DKL exported and converted into the three files on this record the various databases contained in the CD-ROM. The contents of these files are: 1) RDFA_CompleteBibliography_xls.zip [RDFA_CompleteBibliography.xls: Metadata for the complete bibliography, in Excel 97-2003 Workbook format; RDFA_Glossary.xls: Glossary of terms, in Excel 97-2003 Workbookformat; RDFA_Biographies.xls: Biographies of leading figures, in Excel 97-2003 Workbook format]; 2) RDFA_CompleteBibliography_csv.zip [RDFA_CompleteBibliography.TXT: Metadata for the complete bibliography, in CSV format; RDFA_Glossary.TXT: Glossary of terms, in CSV format; RDFA_Biographies.TXT: Biographies of leading figures, in CSV format]; 3) RDFA_CompleteBibliography.pdf: A human readable display of the bibliographic data, as a means of double-checking any possible deviations due to conversion