Science.gov

Sample records for abstract machine wam

  1. Descriptive Model of Generic WAMS

    SciTech Connect

    Hauer, John F.; DeSteese, John G.

    2007-06-01

    The Department of Energy’s (DOE) Transmission Reliability Program is supporting the research, deployment, and demonstration of various wide area measurement system (WAMS) technologies to enhance the reliability of the Nation’s electrical power grid. Pacific Northwest National Laboratory (PNNL) was tasked by the DOE National SCADA Test Bed Program to conduct a study of WAMS security. This report represents achievement of the milestone to develop a generic WAMS model description that will provide a basis for the security analysis planned in the next phase of this study.

  2. Automatic Review of Abstract State Machines by Meta Property Verification

    NASA Technical Reports Server (NTRS)

    Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia

    2010-01-01

    A model review is a validation technique aimed at determining if a model is of sufficient quality and allows defects to be identified early in the system development, reducing the cost of fixing them. In this paper we propose a technique to perform automatic review of Abstract State Machine (ASM) formal specifications. We first detect a family of typical vulnerabilities and defects a developer can introduce during the modeling activity using the ASMs and we express such faults as the violation of meta-properties that guarantee certain quality attributes of the specification. These meta-properties are then mapped to temporal logic formulas and model checked for their violation. As a proof of concept, we also report the result of applying this ASM review process to several specifications.

  3. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines

    NASA Astrophysics Data System (ADS)

    Biernacka, Małgorzata; Danvy, Olivier

    We present a context-sensitive reduction semantics for a lambda-calculus with explicit substitutions and we show that the functional implementation of this small-step semantics mechanically corresponds to that of the abstract machine for Core Scheme presented by Clinger at PLDI’98, including first-class continuations. Starting from this reduction semantics, (1) we refocus it into a small-step abstract machine; (2) we fuse the transition function of this abstract machine with its driver loop, obtaining a big-step abstract machine which is staged; (3) we compress its corridor transitions, obtaining an eval/continue abstract machine; and (4) we unfold its ground closures, which yields an abstract machine that essentially coincides with Clinger’s machine. This lambda-calculus with explicit substitutions therefore aptly accounts for Core Scheme, including Clinger’s permutations and unpermutations.

  4. Autonomous berthing/unberthing of a Work Attachment Mechanism/Work Attachment Fixture (WAM/WAF)

    NASA Technical Reports Server (NTRS)

    Nguyen, Charles C.; Antrazi, Sami S.

    1992-01-01

    Discussed here is the autonomous berthing of a Work Attachment Mechanism/Work Attachment Fixture (WAM/WAF) developed by NASA for berthing and docking applications in space. The WAM/WAF system enables fast and reliable berthing (unberthing) of space hardware. A successful operation of the WAM/WAF requires that the WAM motor velocity be precisely controlled. The operating principle and the design of the WAM/WAF is described as well as the development of a control system used to regulate the WAM motor velocity. The results of an experiment in which the WAM/WAF is used to handle an orbital replacement unit are given.

  5. Abstracts

    NASA Astrophysics Data System (ADS)

    2012-09-01

    Measuring cosmological parameters with GRBs: status and perspectives New interpretation of the Amati relation The SED Machine - a dedicated transient spectrograph PTF10iue - evidence for an internal engine in a unique Type Ic SN Direct evidence for the collapsar model of long gamma-ray bursts On pair instability supernovae and gamma-ray bursts Pan-STARRS1 observations of ultraluminous SNe The influence of rotation on the critical neutrino luminosity in core-collapse supernovae General relativistic magnetospheres of slowly rotating and oscillating neutron stars Host galaxies of short GRBs GRB 100418A: a bridge between GRB-associated hypernovae and SNe Two super-luminous SNe at z ~ 1.5 from the SNLS Prospects for very-high-energy gamma-ray bursts with the Cherenkov Telescope Array The dynamics and radiation of relativistic flows from massive stars The search for light echoes from the supernova explosion of 1181 AD The proto-magnetar model for gamma-ray bursts Stellar black holes at the dawn of the universe MAXI J0158-744: the discovery of a supersoft X-ray transient Wide-band spectra of magnetar burst emission Dust formation and evolution in envelope-stripped core-collapse supernovae The host galaxies of dark gamma-ray bursts Keck observations of 150 GRB host galaxies Search for properties of GRBs at large redshift The early emission from SNe Spectral properties of SN shock breakout MAXI observation of GRBs and short X-ray transients A three-dimensional view of SN 1987A using light echo spectroscopy X-ray study of the southern extension of the SNR Puppis A All-sky survey of short X-ray transients by MAXI GSC Development of the CALET gamma-ray burst monitor (CGBM)

  6. Multivariate cross-classification: applying machine learning techniques to characterize abstraction in neural representations

    PubMed Central

    Kaplan, Jonas T.; Man, Kingson; Greening, Steven G.

    2015-01-01

    Here we highlight an emerging trend in the use of machine learning classifiers to test for abstraction across patterns of neural activity. When a classifier algorithm is trained on data from one cognitive context, and tested on data from another, conclusions can be drawn about the role of a given brain region in representing information that abstracts across those cognitive contexts. We call this kind of analysis Multivariate Cross-Classification (MVCC), and review several domains where it has recently made an impact. MVCC has been important in establishing correspondences among neural patterns across cognitive domains, including motor-perception matching and cross-sensory matching. It has been used to test for similarity between neural patterns evoked by perception and those generated from memory. Other work has used MVCC to investigate the similarity of representations for semantic categories across different kinds of stimulus presentation, and in the presence of different cognitive demands. We use these examples to demonstrate the power of MVCC as a tool for investigating neural abstraction and discuss some important methodological issues related to its application. PMID:25859202

  7. Multivariate cross-classification: applying machine learning techniques to characterize abstraction in neural representations.

    PubMed

    Kaplan, Jonas T; Man, Kingson; Greening, Steven G

    2015-01-01

    Here we highlight an emerging trend in the use of machine learning classifiers to test for abstraction across patterns of neural activity. When a classifier algorithm is trained on data from one cognitive context, and tested on data from another, conclusions can be drawn about the role of a given brain region in representing information that abstracts across those cognitive contexts. We call this kind of analysis Multivariate Cross-Classification (MVCC), and review several domains where it has recently made an impact. MVCC has been important in establishing correspondences among neural patterns across cognitive domains, including motor-perception matching and cross-sensory matching. It has been used to test for similarity between neural patterns evoked by perception and those generated from memory. Other work has used MVCC to investigate the similarity of representations for semantic categories across different kinds of stimulus presentation, and in the presence of different cognitive demands. We use these examples to demonstrate the power of MVCC as a tool for investigating neural abstraction and discuss some important methodological issues related to its application. PMID:25859202

  8. Smart Test Machines

    NASA Technical Reports Server (NTRS)

    1997-01-01

    Vern Wedeven, president of Wedeven Associates, developed the WAM4, a computer-aided "smart" test machine for simulating stress on equipment, based on his bearing lubrication expertise gained while working for Lewis Research Center. During his NASA years from the 1970s into the early 1980s, Wedeven initiated an "Interdisciplinary Collaboration in Tribology," an effort that involved NASA, six universities, and several university professors. The NASA-sponsored work provided foundation for Wedeven in 1983 to form his own company. Several versions of the smart test machine, the WAM1, WAM2, and WAM3, have proceeded the current version, WAM4. This computer-controlled device can provide detailed glimpses at gear and bearing points of contact. WAM4 can yield a three-dimensional view of machinery as an operator adds "what-if" thermal and lubrication conditions, contact stress, and surface motion. Along with NASA, a number of firms, including Pratt & Whitney, Caterpillar Tractor, Exxon, and Chevron have approached Wedeven for help on resolving lubrication problems.

  9. Correlative Analysis of GRBs Detected by Swift and Suzaku- WAM

    NASA Technical Reports Server (NTRS)

    Krimm, H.A.; Sakamoto, T.; Yamaoka, K.; Sugita, S.; Ohno, M.; Sato, G.; Hara, R.; Ohmori, N.; Tanaka, H.; Yamauchi, M.; Onda, K.; Tashiro, M.

    2009-01-01

    It is now well known that a complete understanding of the energetics of the prompt phase of gamma-ray bursts (GRBs) requires full knowledge of the spectrum, extending at least as high as the peak energy (Epeak) of the vF(v) spectrum. Since most gamma-ray bursts (GRBs) have Epeak above the energy range (15-150 keV) of the Burst Alert Telescope (BAT) on Swift, a full understanding of the prompt emission from Swift GRBs requires spectral fits over as broad an energy range as possible. This can be completed for bursts which are simultaneously detected by Swift BAT and the Suzaku Wide-band All-Sky Monitor (WAM), which covers the energy range from 50-5000 keV. Between the launch of Suzaku in July 2005 and the end of 2008, there were 44 gamma-ray bursts (GRBs) which triggered both Swift and WAM and an additional 41 bursts which triggered Swift and were detected by WAM, but did not trigger. A joint BAT-WAM team has cross-calibrated the two instruments using GRBs, and we are now able to perform joint fits on these bursts to determine spectral parameters including Epeak. The results of broad spectral fits allows us to understand the distribution of Epeak for Swift bursts and to calibrate Epeak estimators when Epeak is within the BAT energy range. For those bursts with spectroscopic redshifts, we can calculate the isotropic energy and study various correlations between Epeak and other global burst parameters. Here we present the results of joint Swift/BAT-Suzaku/WAM spectral fits for 77 of the bursts jointly detected by the two instruments. We show that the distribution of spectral fit parameters is consistent with distributions from earlier missions and confirm that Swift bursts are consistent with earlier reported relationships between Epeak and isotropic energy. We show through time-resolved spectroscopy that individual burst pulses are also consistent with this relationship.

  10. Programming the Navier-Stokes computer: An abstract machine model and a visual editor

    NASA Technical Reports Server (NTRS)

    Middleton, David; Crockett, Tom; Tomboulian, Sherry

    1988-01-01

    The Navier-Stokes computer is a parallel computer designed to solve Computational Fluid Dynamics problems. Each processor contains several floating point units which can be configured under program control to implement a vector pipeline with several inputs and outputs. Since the development of an effective compiler for this computer appears to be very difficult, machine level programming seems necessary and support tools for this process have been studied. These support tools are organized into a graphical program editor. A programming process is described by which appropriate computations may be efficiently implemented on the Navier-Stokes computer. The graphical editor would support this programming process, verifying various programmer choices for correctness and deducing values such as pipeline delays and network configurations. Step by step details are provided and demonstrated with two example programs.

  11. Development of the WAMS-TIR instrument for SPF-II

    NASA Astrophysics Data System (ADS)

    Okamura, Yoshihiko; Matsuyama, Hiroko; Kasahara, Marehito; Yoshida, Shigeomi; Tange, Yoshio

    2005-01-01

    Wide-Angle Multi-band Sensor - Thermal Infrared (WAMS-TIR), one of the three sensors aboard the station-keeping test airship (SPF-II) for the stratospheric platform project, is a thermal infrared multi-band radiometer designed to observe land surface temperature. WAMS-TIR consists of very wide field-of-view (over 100 deg) optics and an uncooled microbolometer array detector. It has band-pass filters mounted on a rotating wheel to select spectral bands in the range of 7 to 12 microns. A blackbody calibrator is also mounted on the same rotating wheel to calibrate sensor performance in the operation. Results of pre-flight performance tests suggest that WAMS-TIR has the predicted image quality and high radiometric performance. This paper describes the instrument design and the performance tests results of WAMS-TIR.

  12. Watchdog activity monitor (WAM) for use wth high coverage processor self-test

    NASA Technical Reports Server (NTRS)

    Tulpule, Bhalchandra R. (Inventor); Crosset, III, Richard W. (Inventor); Versailles, Richard E. (Inventor)

    1988-01-01

    A high fault coverage, instruction modeled self-test for a signal processor in a user environment is disclosed. The self-test executes a sequence of sub-tests and issues a state transition signal upon the execution of each sub-test. The self-test may be combined with a watchdog activity monitor (WAM) which provides a test-failure signal in the presence of a counted number of state transitions not agreeing with an expected number. An independent measure of time may be provided in the WAM to increase fault coverage by checking the processor's clock. Additionally, redundant processor systems are protected from inadvertent unsevering of a severed processor using a unique unsever arming technique and apparatus.

  13. Experiments on exactly computing non-linear energy transfer rate in MASNUM-WAM

    NASA Astrophysics Data System (ADS)

    Jiang, Xingjie; Wang, Daolong; Gao, Dalu; Zhang, Tingting

    2016-07-01

    The Webb-Resio-Tracy (WRT) method for exact computation of the non-linear energy transfer rate was implemented in MASNUM-WAM, which is a third-generation wave model solving the discrete spectral balance equation. In this paper, we describe the transformation of the spectral space in the original WRT method. Four numerical procedures were developed in which the acceleration techniques in the original WRT method, such as geometric scaling, pre-calculating, and grid-searching, are all reorganized. A series of numerical experiments including two simulations based on real data were performed. The availability of such implementation in both serial and parallel versions of the wave model was proved, and a comparison of computation times showed that some of the developed procedures provided good efficacy. With exact computation of non-linear energy transfer, MASNUM-WAM now can be used to perform numerical experiments for research purposes, which augurs well for further developments of the model.

  14. Development of the WAMS-VNIR instrument for SPF-II

    NASA Astrophysics Data System (ADS)

    Matsuyama, Hiroko; Okamura, Yoshihiko; Kasahara, Marehito; Yoshida, Shigeomi; Tange, Yoshio

    2005-01-01

    Wide-Angle Multi-Band Sensor-Visible and Near Infrared (WAMS-VNIR) has been developed as an Earth-observation mission instrument for SPF-II. SPF-II is a step toward the realization of Stratospheric Platform (SPF) using airships; it is capable of station-keeping flight at an altitude of 4km. WAMS-VNIR is a STARING multi-spectral imaging radiometer and polarimeter with five bands in wavelengths of 500 to 1000nm. WAMS-VNIR has optics of a 110° FOV, two rotating filter wheels, and a 1280 × 1024 pixel Si-CCD FPA. The wide field-of-view optics enable observing an 8km area even from an altitude of 4km. Five narrow-band spectral filters are installed on a rotating wheel, and two polarizers are installed on another rotating wheel. The polarizers rotate around the optical axis separately from the rotation of the wheel, providing several advantages in polarization measurement. The sensor system was completed and performance checks are being conducted. This paper introduces the sensor system and its performance.

  15. Opportunities for Increased Physical Activity in the Workplace: the Walking Meeting (WaM) Pilot Study, Miami, 2015

    PubMed Central

    Kling, Hannah E.; Yang, Xuan; Messiah, Sarah E.; Arheart, Kristopher L.; Brannan, Debi

    2016-01-01

    Introduction Despite the positive impact walking has on human health, few opportunities exist for workers with largely sedentary jobs to increase physical activity while at work. The objective of this pilot study was to examine the implementation, feasibility, and acceptability of using a Walking Meeting (WaM) protocol to increase the level of work-related physical activity among a group of sedentary white-collar workers. Methods White-collar workers at a large university were invited to participate in a newly developed WaM protocol. Workers who conducted weekly meetings in groups of 2 or 3 individuals were recruited for the pilot study (n = 18) that took place from January 2015 to August 2015. Seventeen participants wore an accelerometer to measure physical activity levels during 3 consecutive weeks (first week baseline, followed by 2 weeks of organized WaMs) and participated in focus groups conducted during week 3 to document experiences with the WaM protocol. Results The WaM protocol met study criteria on feasibility, implementation, and acceptability among study participants. The average number of minutes (standard deviation) participants engaged in combined work-related moderate/vigorous physical activity per week during the 3 weeks increased from an average of 107 (55) minutes during the baseline week to 114 (67) minutes at week 2 and to 117 (65) minutes at week 3. Conclusion White- collar workers were supportive of transforming regular seated meetings into walking meetings and increased their work-related physical activity levels. PMID:27337560

  16. Hindcasts and data assimilation studies with the WAM model during the Seasat period

    NASA Astrophysics Data System (ADS)

    Janssen, Peter A. E. M.; Lionello, Piero; Reistad, Magnar; Hollingsworth, Anthony

    1989-01-01

    In the next decade a wealth of ocean surface data will become available through the launch of satellites such as ERS 1. We discuss the problem of how to make optimal use of this data. We have investigated the benefits of having a coupled wind-wave analysis over the oceans for quality assessment of satellite data, for monitoring the performance of the algorithms (e.g., for the scatterometer), and for producing consistent wind and wave analyses. Using a reliable wave prediction scheme, the WAM model, we show how to cross validate altimeter wave height with scatterometer data and how to construct an analyzed wave model spectrum from the altimeter wave height. The analyzed wave spectrum may be cross validated with the synthetic aperture radar image spectrum. Implications for improvement of, for example, the Seasat scatterometer algorithm are pointed out.

  17. Validation and assimilation of Seasat altimeter wave heights using the WAM wave model

    NASA Technical Reports Server (NTRS)

    Bauer, Eva; Hasselmann, Susanne; Hasselmann, Klaus; Graber, Hans C.

    1992-01-01

    The third-generation wave model, WAM, is presently used to investigate the mutual consistency of the Seasat global data sets of scatterometer winds and altimeter wave heights for the complete Seasat period. While modeled and observed wave heights are in reasonable agreement on the global average, regional differences can be great and on occasion exceed 40 percent. These errors are primarily attributable to forcing wind field deficiencies; the friction velocities of the Goddard Laboratory for Atmospheres are found to be significantly underestimated in the high-wind belt of the Southern Hemisphere. A wave data assimilation scheme is presented in which the wave field is updated without change to the forcing wind field.

  18. Testing the E(sub peak)-E(sub iso) Relation for GRBs Detected by Swift and Suzaku-WAM

    NASA Technical Reports Server (NTRS)

    Krimm, H. A.; Yamaoka, K.; Sugita, S.; Ohno, M.; Sakamoto, T.; Barthelmy, S. D.; Gehrels, N.; Hara, R.; Onda, K.; Sato, G.; Tanaka, H.; Tashiro, M.; Yamauchi, M.; Norris, J. P.; Ohmori, N.

    2009-01-01

    One of the most prominent, yet controversial associations derived from the ensemble of prompt-phase observations of gamma-ray bursts (GRBs) is the apparent correlation in the source frame between the peak energy (E(sub peak)) of the nuF(nu) spectrum and the isotropic radiated energy, E(sub iso). Since most gamma-ray bursts (GRBs) have E(sub peak) above the energy range (15-150 keV) of the Burst Alert Telescope (BAT) on Swift, determining accurate E(sub peak) values for large numbers of Swift bursts has been difficult. However, by combining data from Swift/BAT and the Suzaku Wide-band All-Sky Monitor (WAM), which covers the energy range from 50-5000 keV, for bursts which are simultaneously detected ; one can accurately fit E(sub peak) and E(sub iso) and test the relationship between them for the Swift sample. Between the launch of Suzaku in July 2005 and the end of March 2009, there were 45 gamma-ray bursts (GRBs) which triggered both Swift/BAT and WAM and an additional 47 bursts which triggered Swift and were detected by WAM, but did not trigger. A BAT-WAM team has cross-calibrated the two instruments using GRBs, and we are now able to perform joint fits on these bursts to determine spectral parameters. For those bursts with spectroscopic redshifts.. we can also calculate the isotropic energy. Here we present the results of joint Swift/BAT-Suzaku/WAM spectral fits for 86 of the bursts detected by the two instruments. We show that the distribution of spectral fit parameters is consistent with distributions from earlier missions and confirm that Swift, bursts are consistent with earlier reported relationships between Epeak and isotropic energy. We show through time-resolved spectroscopy that individual burst pulses are also consistent with this relationship.

  19. Sensitivity of The High-resolution Wam Model With Respect To Time Step

    NASA Astrophysics Data System (ADS)

    Kasemets, K.; Soomere, T.

    The northern part of the Baltic Proper and its subbasins (Bothnian Sea, the Gulf of Finland, Moonsund) serve as a challenge for wave modellers. In difference from the southern and the eastern parts of the Baltic Sea, their coasts are highly irregular and contain many peculiarities with the characteristic horizontal scale of the order of a few kilometres. For example, the northern coast of the Gulf of Finland is extremely ragged and contains a huge number of small islands. Its southern coast is more or less regular but has up to 50m high cliff that is frequently covered by high forests. The area also contains numerous banks that have water depth a couple of meters and that may essentially modify wave properties near the banks owing to topographical effects. This feature suggests that a high-resolution wave model should be applied for the region in question, with a horizontal resolution of an order of 1 km or even less. According to the Courant-Friedrich-Lewy criterion, the integration time step for such models must be of the order of a few tens of seconds. A high-resolution WAM model turns out to be fairly sensitive with respect to the particular choice of the time step. In our experiments, a medium-resolution model for the whole Baltic Sea was used, with the horizontal resolution 3 miles (3' along latitudes and 6' along longitudes) and the angular resolution 12 directions. The model was run with steady wind blowing 20 m/s from different directions and with two time steps (1 and 3 minutes). For most of the wind directions, the rms. difference of significant wave heights calculated with differ- ent time steps did not exceed 10 cm and typically was of the order of a few per cents. The difference arose within a few tens of minutes and generally did not increase in further computations. However, in the case of the north wind, the difference increased nearly monotonously and reached 25-35 cm (10-15%) within three hours of integra- tion whereas mean of significant wave

  20. Coupling the WAM wave model to EC-Earth GCM: Will it reduce the Southern Ocean bias?

    NASA Astrophysics Data System (ADS)

    de Vries, Hylke

    2015-04-01

    In an attempt to accelerate progress on the reduction of the well-known ocean SST bias in the Southern Ocean (SO), research has been undertaken to include the WAM wave-model in to the EC-Earth GCM. EC-Earth v3.1 is based on the ECMWF IFS atmosphere model and uses NEMO to describe the ocean circulation. The SST bias in EC-Earth, as in many other coupled GCMs, is predominantly a summer problem. In that season mixed layer depths are shallow because strong radiative forcing leads to strong vertical temperature stratification. Realistic sea states and surface wave breaking will feedback on to the upper layers of the oceanic circulation, for example through enhanced vertical mixing. Without actual sea state information, NEMO relies on certain parameterizations that involve atmospheric surface windstress. However, during a "growing"/"decaying" sea state, the net stress entering the ocean is lower/higher than the atmospheric wind stress. Without real-time information of the sea state, ocean models such as NEMO can only assume a sea-state in equilibrium with the wind at all times, a situation which is rather rare. We present first results of the effect of including surface ocean waves (WAM) into EC-Earth. If only IFS-WAM interaction is included, effects on the SO bias are limited. The small changes in the wind patterns (and thereby windstress), induced by the wave-induced modified drag-coefficients, are clearly not large enough to substantially modify the SST pattern. If WAM-NEMO interactions are included as well the changes are more substantial (as they modify the vertical mixing), but not necessarily everywhere in the right direction regarding the SST bias.

  1. The DOE Wide Area Measurement System (WAMS) Project: Demonstration of dynamic information technology for the future power system

    SciTech Connect

    Mittelstadt, W.A.; Krause, P.E.; Wilson, R.E.; Overholt, P.N.; Sobajic, D.J.; Hauer, J.F.; Rizy, D.T.

    1996-07-01

    In 1989 the Bonneville Power Administration (BPA) and the Western Area Power Administration (WAPA) joined the US Department of Energy (DOE) in an assessment of longer-term research and development needs for future electric power system operation. The effort produced a progressively sharper vision of a future power system in which enhanced control and operation are the primary means for serving new customer demands, in an environment where increased competition, a wider range of services and vendors, and much narrower operating margins all contribute to increased system efficiencies and capacity. Technology and infrastructure for real time access to wide area dynamic information were identified as critical path elements in realizing that vision. In 1995 the DOE accordingly launched the Wide Area Measurement System (WAMS) Project jointly with the two Power Marketing Administrations (PMAs) to address these issues in a practical operating environment--the western North America power system. The Project draws upon many years of PMA effort and related collaboration among the western utilities, plus an expanding infrastructure that includes regionally involved contractors, universities, and National Laboratories plus linkages to the Electric Power Research Institute (EPRI). The WAMS project also brings added focus and resources to the evolving Western System Dynamic Information Network, or WesDINet. This is a collective response of the Western Systems Coordinating Council (WSCC) member utilities to their shared needs for direct information about power system characteristics, model fidelity, and operational performance. The WAMS project is a key source of the technology and backbone communications needed to make WesDINet a well integrated, cost effective enterprise network demonstrating the role of dynamic information technology in the emerging utility environment.

  2. Abstract Painting

    ERIC Educational Resources Information Center

    Henkes, Robert

    1978-01-01

    Abstract art provokes numerous interpretations, and as many misunderstandings. The adolescent reaction is no exception. The procedure described here can help the student to understand the abstract from at least one direction. (Author/RK)

  3. Wave buoy measurements at the Antarctic sea ice edge compared with an enhanced ECMWF WAM: Progress towards global waves-in-ice modelling

    NASA Astrophysics Data System (ADS)

    Doble, Martin J.; Bidlot, Jean-Raymond

    2013-10-01

    The breakup of pack ice in the Weddell Sea is examined with respect to a single wave buoy, frozen into the pack ice six months earlier, and the ECMWF WAM model. The pack ice broke up around the buoy on 14th September 2000 as large amplitude storm waves approached the ice edge at the buoy's location. The WAM model is modified to allow waves to propagate into the ice cover, in contrast to the operational scheme which sets wave energy to zero at ice concentrations over 30%. A simple, lookup-table-based, wave scattering attenuation scheme is then added and is combined with a sea ice drag attenuation parameterisation. WAM results at the location of the buoy are compared to the observations over a two-month period straddling the breakup. The modified WAM scheme generally reproduces the significant wave height, wave period and spectral characteristics measured by the buoy, though the model does not yet have any concept of floe breaking and re-freezing, assuming only that the ice cover is broken if the concentration is less than 80%. The simplistic nature of these modifications is designed to allow operational implementation, to eventually provide a global assessment of the wave-influenced ice zone.

  4. Study of Southern Tyrrhenian and Sicilian regions by a sequential procedure to integrate WAM seismic tomographies and Bouguer anomaly data

    NASA Astrophysics Data System (ADS)

    Panepinto, S.; Calo, M. M.; Luzio, D.; Dorbath, C.

    2009-12-01

    A procedure to obtain 3D velocity-density models and earthquake relocation by integrated inversion of P and S wave traveltimes and Bouguer anomaly distribution was applied to a large dataset concerning the Southern Tyrrhenian and Sicilian areas. The seismic dataset was subdivided into two subsets for separate inversions, whose results were later on joined by the WAM (Weighted Average Model) technique. This is a post-processing technique proposed by Calò et al. (2009) by which preliminary tomographic models are unified in a common 3D grid. The first dataset concerns 28873 P and 9990 S arrival times of 1800 earthquakes located in the area 14°30‧ E - 17°E, 37°N - 41°N while the second dataset contains 31250 P and 13588 S arrival-times related to 1951 events located in the area 11° E - 15°48‧ E, 36°30‧N - 39°N. The selected events were recorded at least by 10 stations in the period 1981-2005 and marked by RMS < 0.50 s. The second dataset was integrated with P-wave traveltimes picked in several sesmic profiles carried out in the study region. The Bouguer anomaly measurements were interpolated in the nodes of a 8x8 km regular grid covering the area 12° E - 16°01‧ E, 36°13‧ N - 38°31‧ N. The proposed procedure allows to invert seismic and gravimetric data with a sequential technique to avoid the problematic optimization of the relative weights to assign to the different type of data. A first WAM provides a preliminary Vp, Vs and Vp/Vs models and a first ipocentral relocation. Since the obtained Vs model seems poorly constrained by the S wave arrival times, the Vp model is converted in a new Vs model, through a Vs-Vp correlation law proposed by T.M. Brocher (2005), and used, jointly to the Vp model, as input for a second WAM. The results of this second step are used to derive, by the empirical Brocher’s equations, 2 density distributions associated to the Vp and Vs models. These density models are statistically compared and the distribution of

  5. Abstract Constructions.

    ERIC Educational Resources Information Center

    Pietropola, Anne

    1998-01-01

    Describes a lesson designed to culminate a year of eighth-grade art classes in which students explore elements of design and space by creating 3-D abstract constructions. Outlines the process of using foam board and markers to create various shapes and optical effects. (DSK)

  6. The DOE Wide Area Measurement System (WAMS) Project -- Demonstration of dynamic information technology for the future power system

    SciTech Connect

    Mittelstadt, W.A.; Hauer, J.F.; Krause, P.E.; Wilson, R.E.; Overholt, P.N.; Rizy, D.T.

    1995-12-31

    In 1989 the Bonneville Power Administration (BPA) and the Western Power Administration (WAPA) joined the US Department of Energy (DOE) in an assessment of longer-term research and development needs for future electric power system operation. The effort produced a progressively sharper vision of a future power system in which enhanced control and operation are the primary means for serving new customer demands in an environment characterized by increased competition, a wider range of services and vendors, and much narrower operating margins. Technology and infrastructure for real time access to wide area dynamic information were identified as critical path elements in realizing that vision. In 1995 the DOE accordingly launched the Wide Area Measurement System (WAMS) Project jointly with the two Power Marketing Administrations (PMAs) to address these issues in a practical operating environment the western North America power system. The Project draws upon many years of PMA effort and related collaboration among the western utilities, plus an expanding infrastructure that includes regionally involved contractors, universities, and National Laboratories plus linkages to the Electric Power Research Institute (EPRI).

  7. INVENTORY ABSTRACTION

    SciTech Connect

    G. Ragan

    2001-12-19

    The purpose of the inventory abstraction, which has been prepared in accordance with a technical work plan (CRWMS M&O 2000e for ICN 02 of the present analysis, and BSC 2001e for ICN 03 of the present analysis), is to: (1) Interpret the results of a series of relative dose calculations (CRWMS M&O 2000c, 2000f). (2) Recommend, including a basis thereof, a set of radionuclides that should be modeled in the Total System Performance Assessment in Support of the Site Recommendation (TSPA-SR) and the Total System Performance Assessment in Support of the Final Environmental Impact Statement (TSPA-FEIS). (3) Provide initial radionuclide inventories for the TSPA-SR and TSPA-FEIS models. (4) Answer the U.S. Nuclear Regulatory Commission (NRC)'s Issue Resolution Status Report ''Key Technical Issue: Container Life and Source Term'' (CLST IRSR) key technical issue (KTI): ''The rate at which radionuclides in SNF [spent nuclear fuel] are released from the EBS [engineered barrier system] through the oxidation and dissolution of spent fuel'' (NRC 1999, Subissue 3). The scope of the radionuclide screening analysis encompasses the period from 100 years to 10,000 years after the potential repository at Yucca Mountain is sealed for scenarios involving the breach of a waste package and subsequent degradation of the waste form as required for the TSPA-SR calculations. By extending the time period considered to one million years after repository closure, recommendations are made for the TSPA-FEIS. The waste forms included in the inventory abstraction are Commercial Spent Nuclear Fuel (CSNF), DOE Spent Nuclear Fuel (DSNF), High-Level Waste (HLW), naval Spent Nuclear Fuel (SNF), and U.S. Department of Energy (DOE) plutonium waste. The intended use of this analysis is in TSPA-SR and TSPA-FEIS. Based on the recommendations made here, models for release, transport, and possibly exposure will be developed for the isotopes that would be the highest contributors to the dose given a release to the

  8. Surface wave effects on water temperature in the Baltic Sea: simulations with the coupled NEMO-WAM model

    NASA Astrophysics Data System (ADS)

    Alari, Victor; Staneva, Joanna; Breivik, Øyvind; Bidlot, Jean-Raymond; Mogensen, Kristian; Janssen, Peter

    2016-06-01

    Coupled circulation (NEMO) and wave model (WAM) system was used to study the effects of surface ocean waves on water temperature distribution and heat exchange at regional scale (the Baltic Sea). Four scenarios—including Stokes-Coriolis force, sea-state dependent energy flux (additional turbulent kinetic energy due to breaking waves), sea-state dependent momentum flux and the combination these forcings—were simulated to test the impact of different terms on simulated temperature distribution. The scenario simulations were compared to a control simulation, which included a constant wave-breaking coefficient, but otherwise was without any wave effects. The results indicate a pronounced effect of waves on surface temperature, on the distribution of vertical temperature and on upwelling's. Overall, when all three wave effects were accounted for, did the estimates of temperature improve compared to control simulation. During the summer, the wave-induced water temperature changes were up to 1 °C. In northern parts of the Baltic Sea, a warming of the surface layer occurs in the wave included simulations in summer months. This in turn reduces the cold bias between simulated and measured data, e.g. the control simulation was too cold compared to measurements. The warming is related to sea-state dependent energy flux. This implies that a spatio-temporally varying wave-breaking coefficient is necessary, because it depends on actual sea state. Wave-induced cooling is mostly observed in near-coastal areas and is the result of intensified upwelling in the scenario, when Stokes-Coriolis forcing is accounted for. Accounting for sea-state dependent momentum flux results in modified heat exchange at the water-air boundary which consequently leads to warming of surface water compared to control simulation.

  9. Surface wave effects on water temperature in the Baltic Sea: simulations with the coupled NEMO-WAM model

    NASA Astrophysics Data System (ADS)

    Alari, Victor; Staneva, Joanna; Breivik, Øyvind; Bidlot, Jean-Raymond; Mogensen, Kristian; Janssen, Peter

    2016-08-01

    Coupled circulation (NEMO) and wave model (WAM) system was used to study the effects of surface ocean waves on water temperature distribution and heat exchange at regional scale (the Baltic Sea). Four scenarios—including Stokes-Coriolis force, sea-state dependent energy flux (additional turbulent kinetic energy due to breaking waves), sea-state dependent momentum flux and the combination these forcings—were simulated to test the impact of different terms on simulated temperature distribution. The scenario simulations were compared to a control simulation, which included a constant wave-breaking coefficient, but otherwise was without any wave effects. The results indicate a pronounced effect of waves on surface temperature, on the distribution of vertical temperature and on upwelling's. Overall, when all three wave effects were accounted for, did the estimates of temperature improve compared to control simulation. During the summer, the wave-induced water temperature changes were up to 1 °C. In northern parts of the Baltic Sea, a warming of the surface layer occurs in the wave included simulations in summer months. This in turn reduces the cold bias between simulated and measured data, e.g. the control simulation was too cold compared to measurements. The warming is related to sea-state dependent energy flux. This implies that a spatio-temporally varying wave-breaking coefficient is necessary, because it depends on actual sea state. Wave-induced cooling is mostly observed in near-coastal areas and is the result of intensified upwelling in the scenario, when Stokes-Coriolis forcing is accounted for. Accounting for sea-state dependent momentum flux results in modified heat exchange at the water-air boundary which consequently leads to warming of surface water compared to control simulation.

  10. Abstraction and art.

    PubMed Central

    Gortais, Bernard

    2003-01-01

    In a given social context, artistic creation comprises a set of processes, which relate to the activity of the artist and the activity of the spectator. Through these processes we see and understand that the world is vaster than it is said to be. Artistic processes are mediated experiences that open up the world. A successful work of art expresses a reality beyond actual reality: it suggests an unknown world using the means and the signs of the known world. Artistic practices incorporate the means of creation developed by science and technology and change forms as they change. Artists and the public follow different processes of abstraction at different levels, in the definition of the means of creation, of representation and of perception of a work of art. This paper examines how the processes of abstraction are used within the framework of the visual arts and abstract painting, which appeared during a period of growing importance for the processes of abstraction in science and technology, at the beginning of the twentieth century. The development of digital platforms and new man-machine interfaces allow multimedia creations. This is performed under the constraint of phases of multidisciplinary conceptualization using generic representation languages, which tend to abolish traditional frontiers between the arts: visual arts, drama, dance and music. PMID:12903659

  11. ERGONOMICS ABSTRACTS 48347-48982.

    ERIC Educational Resources Information Center

    Ministry of Technology, London (England). Warren Spring Lab.

    IN THIS COLLECTION OF ERGONOMICS ABSTRACTS AND ANNOTATIONS THE FOLLOWING AREAS OF CONCERN ARE REPRESENTED--GENERAL REFERENCES, METHODS, FACILITIES, AND EQUIPMENT RELATING TO ERGONOMICS, SYSTEMS OF MAN AND MACHINES, VISUAL, AUDITORY, AND OTHER SENSORY INPUTS AND PROCESSES (INCLUDING SPEECH AND INTELLIGIBILITY), INPUT CHANNELS, BODY MEASUREMENTS,…

  12. Business Machines

    ERIC Educational Resources Information Center

    Pactor, Paul

    1970-01-01

    The U.S. Department of Labor has projected a 106 percent increase in the demand for office machine operators over the next 10 years. Machines with a high frequency of use include printing calculators, 10-key adding machines, and key punch machines. The 12th grade is the logical time for teaching business machines. (CH)

  13. Working with simple machines

    NASA Astrophysics Data System (ADS)

    Norbury, John W.

    2006-11-01

    A set of examples is provided that illustrate the use of work as applied to simple machines. The ramp, pulley, lever and hydraulic press are common experiences in the life of a student, and their theoretical analysis therefore makes the abstract concept of work more real. The mechanical advantage of each of these systems is also discussed so that students can evaluate their usefulness as machines.

  14. Machine Shop Grinding Machines.

    ERIC Educational Resources Information Center

    Dunn, James

    This curriculum manual is one in a series of machine shop curriculum manuals intended for use in full-time secondary and postsecondary classes, as well as part-time adult classes. The curriculum can also be adapted to open-entry, open-exit programs. Its purpose is to equip students with basic knowledge and skills that will enable them to enter the…

  15. Piaget on Abstraction.

    ERIC Educational Resources Information Center

    Moessinger, Pierre; Poulin-Dubois, Diane

    1981-01-01

    Reviews and discusses Piaget's recent work on abstract reasoning. Piaget's distinction between empirical and reflective abstraction is presented; his hypotheses are considered to be metaphorical. (Author/DB)

  16. A Comparison of Costs of Searching the Machine-Readable Data Bases ERIC and "Psychological Abstracts" in an Annual Subscription Rate System Against Costs Estimated for the Same Searches Done in the Lockheed DIALOG System and the System Development Corporation for ERIC, and the Lockheed DIALOG System and PASAT for "Psychological Abstracts."

    ERIC Educational Resources Information Center

    Palmer, Crescentia

    A comparison of costs for computer-based searching of Psychological Abstracts and Educational Resources Information Center (ERIC) systems by the New York State Library at Albany was produced by combining data available from search request forms and from bills from the contract subscription service, the State University of New…

  17. Object Classification via Planar Abstraction

    NASA Astrophysics Data System (ADS)

    Oesau, Sven; Lafarge, Florent; Alliez, Pierre

    2016-06-01

    We present a supervised machine learning approach for classification of objects from sampled point data. The main idea consists in first abstracting the input object into planar parts at several scales, then discriminate between the different classes of objects solely through features derived from these planar shapes. Abstracting into planar shapes provides a means to both reduce the computational complexity and improve robustness to defects inherent to the acquisition process. Measuring statistical properties and relationships between planar shapes offers invariance to scale and orientation. A random forest is then used for solving the multiclass classification problem. We demonstrate the potential of our approach on a set of indoor objects from the Princeton shape benchmark and on objects acquired from indoor scenes and compare the performance of our method with other point-based shape descriptors.

  18. Working with Simple Machines

    ERIC Educational Resources Information Center

    Norbury, John W.

    2006-01-01

    A set of examples is provided that illustrate the use of work as applied to simple machines. The ramp, pulley, lever and hydraulic press are common experiences in the life of a student, and their theoretical analysis therefore makes the abstract concept of work more real. The mechanical advantage of each of these systems is also discussed so that…

  19. Annual Conference Abstracts

    ERIC Educational Resources Information Center

    Engineering Education, 1975

    1975-01-01

    Papers abstracted represent those submitted to the distribution center at the 83rd American Society for Engineering Education Convention. Abstracts are grouped under headings corresponding to the main topic of the paper. (Editor/CP)

  20. Abstraction and Consolidation

    ERIC Educational Resources Information Center

    Monaghan, John; Ozmantar, Mehmet Fatih

    2006-01-01

    The framework for this paper is a recently developed theory of abstraction in context. The paper reports on data collected from one student working on tasks concerned with absolute value functions. It examines the relationship between mathematical constructions and abstractions. It argues that an abstraction is a consolidated construction that can…

  1. Database machines

    NASA Technical Reports Server (NTRS)

    Stiefel, M. L.

    1983-01-01

    The functions and performance characteristics of data base machines (DBM), including machines currently being studied in research laboratories and those currently offered on a commerical basis are discussed. The cost/benefit considerations that must be recognized in selecting a DBM are discussed, as well as the future outlook for such machines.

  2. Abstraction and Problem Reformulation

    NASA Technical Reports Server (NTRS)

    Giunchiglia, Fausto

    1992-01-01

    In work done jointly with Toby Walsh, the author has provided a sound theoretical foundation to the process of reasoning with abstraction (GW90c, GWS9, GW9Ob, GW90a). The notion of abstraction formalized in this work can be informally described as: (property 1), the process of mapping a representation of a problem, called (following historical convention (Sac74)) the 'ground' representation, onto a new representation, called the 'abstract' representation, which, (property 2) helps deal with the problem in the original search space by preserving certain desirable properties and (property 3) is simpler to handle as it is constructed from the ground representation by "throwing away details". One desirable property preserved by an abstraction is provability; often there is a relationship between provability in the ground representation and provability in the abstract representation. Another can be deduction or, possibly inconsistency. By 'throwing away details' we usually mean that the problem is described in a language with a smaller search space (for instance a propositional language or a language without variables) in which formulae of the abstract representation are obtained from the formulae of the ground representation by the use of some terminating rewriting technique. Often we require that the use of abstraction results in more efficient .reasoning. However, it might simply increase the number of facts asserted (eg. by allowing, in practice, the exploration of deeper search spaces or by implementing some form of learning). Among all abstractions, three very important classes have been identified. They relate the set of facts provable in the ground space to those provable in the abstract space. We call: TI abstractions all those abstractions where the abstractions of all the provable facts of the ground space are provable in the abstract space; TD abstractions all those abstractions wllere the 'unabstractions' of all the provable facts of the abstract space are

  3. Abstraction in mathematics.

    PubMed

    Ferrari, Pier Luigi

    2003-07-29

    Some current interpretations of abstraction in mathematical settings are examined from different perspectives, including history and learning. It is argued that abstraction is a complex concept and that it cannot be reduced to generalization or decontextualization only. In particular, the links between abstraction processes and the emergence of new objects are shown. The role that representations have in abstraction is discussed, taking into account both the historical and the educational perspectives. As languages play a major role in mathematics, some ideas from functional linguistics are applied to explain to what extent mathematical notations are to be considered abstract. Finally, abstraction is examined from the perspective of mathematics education, to show that the teaching ideas resulting from one-dimensional interpretations of abstraction have proved utterly unsuccessful. PMID:12903658

  4. Loving Those Abstracts

    ERIC Educational Resources Information Center

    Stevens, Lori

    2004-01-01

    The author describes a lesson she did on abstract art with her high school art classes. She passed out a required step-by-step outline of the project process. She asked each of them to look at abstract art. They were to list five or six abstract artists they thought were interesting, narrow their list down to the one most personally intriguing,…

  5. Formal modeling of virtual machines

    NASA Technical Reports Server (NTRS)

    Cremers, A. B.; Hibbard, T. N.

    1978-01-01

    Systematic software design can be based on the development of a 'hierarchy of virtual machines', each representing a 'level of abstraction' of the design process. The reported investigation presents the concept of 'data space' as a formal model for virtual machines. The presented model of a data space combines the notions of data type and mathematical machine to express the close interaction between data and control structures which takes place in a virtual machine. One of the main objectives of the investigation is to show that control-independent data type implementation is only of limited usefulness as an isolated tool of program development, and that the representation of data is generally dictated by the control context of a virtual machine. As a second objective, a better understanding is to be developed of virtual machine state structures than was heretofore provided by the view of the state space as a Cartesian product.

  6. Experience with abstract notation one

    NASA Technical Reports Server (NTRS)

    Harvey, James D.; Weaver, Alfred C.

    1990-01-01

    The development of computer science has produced a vast number of machine architectures, programming languages, and compiler technologies. The cross product of these three characteristics defines the spectrum of previous and present data representation methodologies. With regard to computer networks, the uniqueness of these methodologies presents an obstacle when disparate host environments are to be interconnected. Interoperability within a heterogeneous network relies upon the establishment of data representation commonality. The International Standards Organization (ISO) is currently developing the abstract syntax notation one standard (ASN.1) and the basic encoding rules standard (BER) that collectively address this problem. When used within the presentation layer of the open systems interconnection reference model, these two standards provide the data representation commonality required to facilitate interoperability. The details of a compiler that was built to automate the use of ASN.1 and BER are described. From this experience, insights into both standards are given and potential problems relating to this development effort are discussed.

  7. Community Development Abstracts.

    ERIC Educational Resources Information Center

    Agency for International Development (Dept. of State), Washington, DC.

    This volume of 1,108 abstracts summarizes the majority of important works on community development during the last ten years. Part I contains abstracts of periodical literature and is classified into 19 sections, including general history, communications, community and area studies, decision-making, leadership, migration and settlement, social…

  8. Leadership Abstracts, Volume 10.

    ERIC Educational Resources Information Center

    Milliron, Mark D., Ed.

    1997-01-01

    The abstracts in this series provide brief discussions of issues related to leadership, administration, professional development, technology, and education in community colleges. Volume 10 for 1997 contains the following 12 abstracts: (1) "On Community College Renewal" (Nathan L. Hodges and Mark D. Milliron); (2) "The Community College Niche in a…

  9. Has Abstractness Been Resolved?

    ERIC Educational Resources Information Center

    Al-Omoush, Ahmad

    1989-01-01

    A discussion focusing on the abstractness of analysis in phonology, debated since the 1960s, describes the issue, reviews the literature on the subject, cites specific natural language examples, and examines the extent to which the issue has been resolved. An underlying representation is said to be abstract if it is different from the derived one,…

  10. Designing for Mathematical Abstraction

    ERIC Educational Resources Information Center

    Pratt, Dave; Noss, Richard

    2010-01-01

    Our focus is on the design of systems (pedagogical, technical, social) that encourage mathematical abstraction, a process we refer to as "designing for abstraction." In this paper, we draw on detailed design experiments from our research on children's understanding about chance and distribution to re-present this work as a case study in designing…

  11. Knowledge-Based Abstracting.

    ERIC Educational Resources Information Center

    Black, William J.

    1990-01-01

    Discussion of automatic abstracting of technical papers focuses on a knowledge-based method that uses two sets of rules. Topics discussed include anaphora; text structure and discourse; abstracting techniques, including the keyword method and the indicator phrase method; and tools for text skimming. (27 references) (LRW)

  12. Leadership Abstracts, 1995.

    ERIC Educational Resources Information Center

    Johnson, Larry, Ed.

    1995-01-01

    The abstracts in this series provide two-page discussions of issues related to leadership, administration, and teaching in community colleges. The 12 abstracts for Volume 8, 1995, are: (1) "Redesigning the System To Meet the Workforce Training Needs of the Nation," by Larry Warford; (2) "The College President, the Board, and the Board Chair: A…

  13. Paper Abstract Animals

    ERIC Educational Resources Information Center

    Sutley, Jane

    2010-01-01

    Abstraction is, in effect, a simplification and reduction of shapes with an absence of detail designed to comprise the essence of the more naturalistic images being depicted. Without even intending to, young children consistently create interesting, and sometimes beautiful, abstract compositions. A child's creations, moreover, will always seem to…

  14. Is It Really Abstract?

    ERIC Educational Resources Information Center

    Kernan, Christine

    2011-01-01

    For this author, one of the most enjoyable aspects of teaching elementary art is the willingness of students to embrace the different styles of art introduced to them. In this article, she describes a project that allows upper-elementary students to learn about abstract art and the lives of some of the master abstract artists, implement the idea…

  15. Journalism Abstracts. Vol. 15.

    ERIC Educational Resources Information Center

    Popovich, Mark N., Ed.

    This book, the fifteenth volume of an annual publication, contains 373 abstracts of 52 doctoral and 321 master's theses from 50 colleges and universities. The abstracts are arranged alphabetically by author, with the doctoral dissertations appearing first. These cover such topics as advertising, audience analysis, content analysis of news issues…

  16. Leadership Abstracts, 1996.

    ERIC Educational Resources Information Center

    Johnson, Larry, Ed.

    1996-01-01

    The abstracts in this series provide two-page discussions of issues related to leadership, administration, professional development, technology, and education in community colleges. Volume 9 for 1996 includes the following 12 abstracts: (1) "Tech-Prep + School-To-Work: Working Together To Foster Educational Reform," (Roderick F. Beaumont); (2)…

  17. Mathematical Abstraction through Scaffolding

    ERIC Educational Resources Information Center

    Ozmantar, Mehmet Fatih; Roper, Tom

    2004-01-01

    This paper examines the role of scaffolding in the process of abstraction. An activity-theoretic approach to abstraction in context is taken. This examination is carried out with reference to verbal protocols of two 17 year-old students working together on a task connected to sketching the graph of |f|x|)|. Examination of the data suggests that…

  18. Abstract coherent categories.

    PubMed

    Rehder, B; Ross, B H

    2001-09-01

    Many studies have demonstrated the importance of the knowledge that interrelates features in people's mental representation of categories and that makes our conception of categories coherent. This article focuses on abstract coherent categories, coherent categories that are also abstract because they are defined by relations independently of any features. Four experiments demonstrate that abstract coherent categories are learned more easily than control categories with identical features and statistical structure, and also that participants induced an abstract representation of the category by granting category membership to exemplars with completely novel features. The authors argue that the human conceptual system is heavily populated with abstract coherent concepts, including conceptions of social groups, societal institutions, legal, political, and military scenarios, and many superordinate categories, such as classes of natural kinds. PMID:11550753

  19. Abstract Datatypes in PVS

    NASA Technical Reports Server (NTRS)

    Owre, Sam; Shankar, Natarajan

    1997-01-01

    PVS (Prototype Verification System) is a general-purpose environment for developing specifications and proofs. This document deals primarily with the abstract datatype mechanism in PVS which generates theories containing axioms and definitions for a class of recursive datatypes. The concepts underlying the abstract datatype mechanism are illustrated using ordered binary trees as an example. Binary trees are described by a PVS abstract datatype that is parametric in its value type. The type of ordered binary trees is then presented as a subtype of binary trees where the ordering relation is also taken as a parameter. We define the operations of inserting an element into, and searching for an element in an ordered binary tree; the bulk of the report is devoted to PVS proofs of some useful properties of these operations. These proofs illustrate various approaches to proving properties of abstract datatype operations. They also describe the built-in capabilities of the PVS proof checker for simplifying abstract datatype expressions.

  20. Abstract Interpreters for Free

    NASA Astrophysics Data System (ADS)

    Might, Matthew

    In small-step abstract interpretations, the concrete and abstract semantics bear an uncanny resemblance. In this work, we present an analysis-design methodology that both explains and exploits that resemblance. Specifically, we present a two-step method to convert a small-step concrete semantics into a family of sound, computable abstract interpretations. The first step re-factors the concrete state-space to eliminate recursive structure; this refactoring of the state-space simultaneously determines a store-passing-style transformation on the underlying concrete semantics. The second step uses inference rules to generate an abstract state-space and a Galois connection simultaneously. The Galois connection allows the calculation of the "optimal" abstract interpretation. The two-step process is unambiguous, but nondeterministic: at each step, analysis designers face choices. Some of these choices ultimately influence properties such as flow-, field- and context-sensitivity. Thus, under the method, we can give the emergence of these properties a graph-theoretic characterization. To illustrate the method, we systematically abstract the continuation-passing style lambda calculus to arrive at two distinct families of analyses. The first is the well-known k-CFA family of analyses. The second consists of novel "environment-centric" abstract interpretations, none of which appear in the literature on static analysis of higher-order programs.

  1. Nonplanar machines

    SciTech Connect

    Ritson, D. )

    1989-05-01

    This talk examines methods available to minimize, but never entirely eliminate, degradation of machine performance caused by terrain following. Breaking of planar machine symmetry for engineering convenience and/or monetary savings must be balanced against small performance degradation, and can only be decided on a case-by-case basis. 5 refs.

  2. Electric machine

    DOEpatents

    El-Refaie, Ayman Mohamed Fawzi; Reddy, Patel Bhageerath

    2012-07-17

    An interior permanent magnet electric machine is disclosed. The interior permanent magnet electric machine comprises a rotor comprising a plurality of radially placed magnets each having a proximal end and a distal end, wherein each magnet comprises a plurality of magnetic segments and at least one magnetic segment towards the distal end comprises a high resistivity magnetic material.

  3. Permutation Machines.

    PubMed

    Bhatia, Swapnil; LaBoda, Craig; Yanez, Vanessa; Haddock-Angelli, Traci; Densmore, Douglas

    2016-08-19

    We define a new inversion-based machine called a permuton of n genetic elements, which allows the n elements to be rearranged in any of the n·(n - 1)·(n - 2)···2 = n! distinct orderings. We present two design algorithms for architecting such a machine. We define a notion of a feasible design and use the framework to discuss the feasibility of the permuton architectures. We have implemented our design algorithms in a freely usable web-accessible software for exploration of these machines. Permutation machines could be used as memory elements or state machines and explicitly illustrate a rational approach to designing biological systems. PMID:27383067

  4. Abstracts of SIG Sessions.

    ERIC Educational Resources Information Center

    Proceedings of the ASIS Annual Meeting, 1997

    1997-01-01

    Presents abstracts of SIG Sessions. Highlights include digital collections; information retrieval methods; public interest/fair use; classification and indexing; electronic publication; funding; globalization; information technology projects; interface design; networking in developing countries; metadata; multilingual databases; networked…

  5. Automatic Abstraction in Planning

    NASA Technical Reports Server (NTRS)

    Christensen, J.

    1991-01-01

    Traditionally, abstraction in planning has been accomplished by either state abstraction or operator abstraction, neither of which has been fully automatic. We present a new method, predicate relaxation, for automatically performing state abstraction. PABLO, a nonlinear hierarchical planner, implements predicate relaxation. Theoretical, as well as empirical results are presented which demonstrate the potential advantages of using predicate relaxation in planning. We also present a new definition of hierarchical operators that allows us to guarantee a limited form of completeness. This new definition is shown to be, in some ways, more flexible than previous definitions of hierarchical operators. Finally, a Classical Truth Criterion is presented that is proven to be sound and complete for a planning formalism that is general enough to include most classical planning formalisms that are based on the STRIPS assumption.

  6. 1971 Annual Conference Abstracts

    ERIC Educational Resources Information Center

    Journal of Engineering Education, 1971

    1971-01-01

    Included are 112 abstracts listed under headings such as: acoustics, continuing engineering studies, educational research and methods, engineering design, libraries, liberal studies, and materials. Other areas include agricultural, electrical, mechanical, mineral, and ocean engineering. (TS)

  7. 2016 ACPA MEETING ABSTRACTS.

    PubMed

    2016-07-01

    The peer-reviewed abstracts presented at the 73rd Annual Meeting of the ACPA are published as submitted by the authors. For financial conflict of interest disclosure, please visit http://meeting.acpa-cpf.org/disclosures.html. PMID:27447885

  8. Abstracts of contributed papers

    SciTech Connect

    Not Available

    1994-08-01

    This volume contains 571 abstracts of contributed papers to be presented during the Twelfth US National Congress of Applied Mechanics. Abstracts are arranged in the order in which they fall in the program -- the main sessions are listed chronologically in the Table of Contents. The Author Index is in alphabetical order and lists each paper number (matching the schedule in the Final Program) with its corresponding page number in the book.

  9. Metacognition and abstract reasoning.

    PubMed

    Markovits, Henry; Thompson, Valerie A; Brisson, Janie

    2015-05-01

    The nature of people's meta-representations of deductive reasoning is critical to understanding how people control their own reasoning processes. We conducted two studies to examine whether people have a metacognitive representation of abstract validity and whether familiarity alone acts as a separate metacognitive cue. In Study 1, participants were asked to make a series of (1) abstract conditional inferences, (2) concrete conditional inferences with premises having many potential alternative antecedents and thus specifically conducive to the production of responses consistent with conditional logic, or (3) concrete problems with premises having relatively few potential alternative antecedents. Participants gave confidence ratings after each inference. Results show that confidence ratings were positively correlated with logical performance on abstract problems and concrete problems with many potential alternatives, but not with concrete problems with content less conducive to normative responses. Confidence ratings were higher with few alternatives than for abstract content. Study 2 used a generation of contrary-to-fact alternatives task to improve levels of abstract logical performance. The resulting increase in logical performance was mirrored by increases in mean confidence ratings. Results provide evidence for a metacognitive representation based on logical validity, and show that familiarity acts as a separate metacognitive cue. PMID:25416026

  10. Mining machine

    SciTech Connect

    Parrott, G.A.

    1985-05-07

    A haulage system for a mining machine comprises a mining machine mounted on and/or guided by a conveyor and reciprocable with respect thereto, the conveyor being provided with a rack having plural rows of teeth of identical pitch, with the teeth of one row staggered with respect to an adjacent row(s), and the machine being provided with at least one power driven haulage sprocket comprising plural sets of peripherally arranged teeth of identical pitch, one set being angularly staggered with respect to an adjacent set(s), whereby one set is engageable with each row of teeth of the rack. The invention also includes a mining machine provided with such a power driven haulage sprocket, and a rack as above described and provided with end fittings for securing in articulated manner to an adjacent rack.

  11. Thyra Abstract Interface Package

    2005-09-01

    Thrya primarily defines a set of abstract C++ class interfaces needed for the development of abstract numerical atgorithms (ANAs) such as iterative linear solvers, transient solvers all the way up to optimization. At the foundation of these interfaces are abstract C++ classes for vectors, vector spaces, linear operators and multi-vectors. Also included in the Thyra package is C++ code for creating concrete vector, vector space, linear operator, and multi-vector subclasses as well as other utilitiesmore » to aid in the development of ANAs. Currently, very general and efficient concrete subclass implementations exist for serial and SPMD in-core vectors and multi-vectors. Code also currently exists for testing objects and providing composite objects such as product vectors.« less

  12. Abstracting and indexing guide

    USGS Publications Warehouse

    U.S. Department of the Interior; Office of Water Resources Research

    1974-01-01

    These instructions have been prepared for those who abstract and index scientific and technical documents for the Water Resources Scientific Information Center (WRSIC). With the recent publication growth in all fields, information centers have undertaken the task of keeping the various scientific communities aware of current and past developments. An abstract with carefully selected index terms offers the user of WRSIC services a more rapid means for deciding whether a document is pertinent to his needs and professional interests, thus saving him the time necessary to scan the complete work. These means also provide WRSIC with a document representation or surrogate which is more easily stored and manipulated to produce various services. Authors are asked to accept the responsibility for preparing abstracts of their own papers to facilitate quick evaluation, announcement, and dissemination to the scientific community.

  13. Monel Machining

    NASA Technical Reports Server (NTRS)

    1983-01-01

    Castle Industries, Inc. is a small machine shop manufacturing replacement plumbing repair parts, such as faucet, tub and ballcock seats. Therese Castley, president of Castle decided to introduce Monel because it offered a chance to improve competitiveness and expand the product line. Before expanding, Castley sought NERAC assistance on Monel technology. NERAC (New England Research Application Center) provided an information package which proved very helpful. The NASA database was included in NERAC's search and yielded a wealth of information on machining Monel.

  14. The SIDdatagrabber (Abstract)

    NASA Astrophysics Data System (ADS)

    Silvis, G.

    2015-12-01

    (Abstract only) The Stanford/SARA SuperSid project offers an opportunity for adding data to the AAVSO SID Monitoring project. You can now build a SID antenna and monitoring setup for about $150. And with the SIDdatagrabber application you can easily re-purpose the data collected for the AAVSO.

  15. Making the Abstract Concrete

    ERIC Educational Resources Information Center

    Potter, Lee Ann

    2005-01-01

    President Ronald Reagan nominated a woman to serve on the United States Supreme Court. He did so through a single-page form letter, completed in part by hand and in part by typewriter, announcing Sandra Day O'Connor as his nominee. While the document serves as evidence of a historic event, it is also a tangible illustration of abstract concepts…

  16. Learning Abstracts, 2001.

    ERIC Educational Resources Information Center

    Wilson, Cynthia, Ed.

    2001-01-01

    Volume 4 of the League for Innovation in the Community College's Learning Abstracts include the following: (1) "Touching Students in the Digital Age: The Move Toward Learner Relationship Management (LRM)," by Mark David Milliron, which offers an overview of an organizing concept to help community colleges navigate the intersection between digital…

  17. Leadership Abstracts, 2002.

    ERIC Educational Resources Information Center

    Wilson, Cynthia, Ed.; Milliron, Mark David, Ed.

    2002-01-01

    This 2002 volume of Leadership Abstracts contains issue numbers 1-12. Articles include: (1) "Skills Certification and Workforce Development: Partnering with Industry and Ourselves," by Jeffrey A. Cantor; (2) "Starting Again: The Brookhaven Success College," by Alice W. Villadsen; (3) "From Digital Divide to Digital Democracy," by Gerardo E. de los…

  18. Leadership Abstracts, 1993.

    ERIC Educational Resources Information Center

    Doucette, Don, Ed.

    1993-01-01

    This document includes 10 issues of Leadership Abstracts (volume 6, 1993), a newsletter published by the League for Innovation in the Community College (California). The featured articles are: (1) "Reinventing Government" by David T. Osborne; (2) "Community College Workforce Training Programs: Expanding the Mission to Meet Critical Needs" by…

  19. Abstraction through Game Play

    ERIC Educational Resources Information Center

    Avraamidou, Antri; Monaghan, John; Walker, Aisha

    2012-01-01

    This paper examines the computer game play of an 11-year-old boy. In the course of building a virtual house he developed and used, without assistance, an artefact and an accompanying strategy to ensure that his house was symmetric. We argue that the creation and use of this artefact-strategy is a mathematical abstraction. The discussion…

  20. CIRF Abstracts, Volume 12.

    ERIC Educational Resources Information Center

    International Labour Office, Geneva (Switzerland).

    The aim of the CIRF abstracts is to convey information about vocational training ideas, programs, experience, and experiments described in periodicals, books, and other publications and relating to operative personnel, supervisors, and technical and training staff in all sectors of economic activity. Information is also given on major trends in…

  1. Leadership Abstracts, 1999.

    ERIC Educational Resources Information Center

    Leadership Abstracts, 1999

    1999-01-01

    This document contains five Leadership Abstracts publications published February-December 1999. The article, "Teaching the Teachers: Meeting the National Teacher Preparation Challenge," authored by George R. Boggs and Sadie Bragg, examines the community college role and makes recommendations and a call to action for teacher education. "Chaos…

  2. Double Trouble (Abstract)

    NASA Astrophysics Data System (ADS)

    Simonsen, M.

    2015-12-01

    (Abstract only) Variable stars with close companions can be difficult to accurately measure and characterize. The companions can create misidentifications, which in turn can affect the perceived magnitudes, amplitudes, periods, and colors of the variable stars. We will show examples of these Double Trouble stars and the impact their close companions have had on our understanding of some of these variable stars.

  3. Send Me No Abstract.

    ERIC Educational Resources Information Center

    Levy, Steven

    1985-01-01

    Discusses Magazine Index's practice of assigning letter grades (sometimes inaccurate) to book, restaurant, and movie reviews, thus allowing patrons to get the point of the review from the index rather than the article itself, and argues that this situation is indicative of the larger problem of reliability of abstracts. (MBR)

  4. Annual Conference Abstracts

    ERIC Educational Resources Information Center

    Engineering Education, 1976

    1976-01-01

    Presents the abstracts of 158 papers presented at the American Society for Engineering Education's annual conference at Knoxville, Tennessee, June 14-17, 1976. Included are engineering topics covering education, aerospace, agriculture, biomedicine, chemistry, computers, electricity, acoustics, environment, mechanics, and women. (SL)

  5. Water reuse. [Lead abstract

    SciTech Connect

    Middlebrooks, E.J.

    1982-01-01

    Separate abstracts were prepared for the 31 chapters of this book which deals with all aspects of wastewater reuse. Design data, case histories, performance data, monitoring information, health information, social implications, legal and organizational structures, and background information needed to analyze the desirability of water reuse are presented. (KRM)

  6. Reasoning abstractly about resources

    NASA Technical Reports Server (NTRS)

    Clement, B.; Barrett, A.

    2001-01-01

    r describes a way to schedule high level activities before distributing them across multiple rovers in order to coordinate the resultant use of shared resources regardless of how each rover decides how to perform its activities. We present an algorithm for summarizing the metric resource requirements of an abstract activity based n the resource usages of its potential refinements.

  7. Humor, abstraction, and disbelief.

    PubMed

    Hoicka, Elena; Jutsum, Sarah; Gattis, Merideth

    2008-09-01

    We investigated humor as a context for learning about abstraction and disbelief. More specifically, we investigated how parents support humor understanding during book sharing with their toddlers. In Study 1, a corpus analysis revealed that in books aimed at 1-to 2-year-olds, humor is found more often than other forms of doing the wrong thing including mistakes, pretense, lying, false beliefs, and metaphors. In Study 2, 20 parents read a book containing humorous and non-humorous pages to their 19-to 26-month-olds. Parents used a significantly higher percentage of high abstraction extra-textual utterances (ETUs) when reading the humorous pages. In Study 3, 41 parents read either a humorous or non-humorous book to their 18-to 24-month-olds. Parents reading the humorous book made significantly more ETUs coded for a specific form of high abstraction: those encouraging disbelief of prior utterances. Sharing humorous books thus increases toddlers' exposure to high abstraction and belief-based language. PMID:21585438

  8. Abstracts of SIG Sessions.

    ERIC Educational Resources Information Center

    Proceedings of the ASIS Annual Meeting, 1995

    1995-01-01

    Presents abstracts of 15 special interest group (SIG) sessions. Topics include navigation and information utilization in the Internet, natural language processing, automatic indexing, image indexing, classification, users' models of database searching, online public access catalogs, education for information professions, information services,…

  9. 2002 NASPSA Conference Abstracts.

    ERIC Educational Resources Information Center

    Journal of Sport & Exercise Psychology, 2002

    2002-01-01

    Contains abstracts from the 2002 conference of the North American Society for the Psychology of Sport and Physical Activity. The publication is divided into three sections: the preconference workshop, "Effective Teaching Methods in the Classroom;" symposia (motor development, motor learning and control, and sport psychology); and free…

  10. Annual Conference Abstracts

    ERIC Educational Resources Information Center

    Journal of Engineering Education, 1972

    1972-01-01

    Includes abstracts of papers presented at the 80th Annual Conference of the American Society for Engineering Education. The broad areas include aerospace, affiliate and associate member council, agricultural engineering, biomedical engineering, continuing engineering studies, chemical engineering, civil engineering, computers, cooperative…

  11. Learning Abstracts, 1999.

    ERIC Educational Resources Information Center

    League for Innovation in the Community Coll.

    This document contains volume two of Learning Abstracts, a bimonthly newsletter from the League for Innovation in the Community College. Articles in these seven issues include: (1) "Get on the Fast Track to Learning: An Accelerated Associate Degree Option" (Gerardo E. de los Santos and Deborah J. Cruise); (2) "The Learning College: Both Learner…

  12. Computers in Abstract Algebra

    ERIC Educational Resources Information Center

    Nwabueze, Kenneth K.

    2004-01-01

    The current emphasis on flexible modes of mathematics delivery involving new information and communication technology (ICT) at the university level is perhaps a reaction to the recent change in the objectives of education. Abstract algebra seems to be one area of mathematics virtually crying out for computer instructional support because of the…

  13. Abstract Film and Beyond.

    ERIC Educational Resources Information Center

    Le Grice, Malcolm

    A theoretical and historical account of the main preoccupations of makers of abstract films is presented in this book. The book's scope includes discussion of nonrepresentational forms as well as examination of experiments in the manipulation of time in films. The ten chapters discuss the following topics: art and cinematography, the first…

  14. Historical development of abstracting.

    PubMed

    Skolnik, H

    1979-11-01

    The abstract, under a multitude of names, such as hypothesis, marginalia, abridgement, extract, digest, précis, resumé, and summary, has a long history, one which is concomitant with advancing scholarship. The progression of this history from the Sumerian civilization ca. 3600 B.C., through the Egyptian and Greek civilizations, the Hellenistic period, the Dark Ages, Middle Ages, Renaissance, and into the modern period is reviewed. PMID:399482

  15. Generalized Abstract Symbolic Summaries

    NASA Technical Reports Server (NTRS)

    Person, Suzette; Dwyer, Matthew B.

    2009-01-01

    Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program s lifetime. This is due, in large part, to the use of syntactic program techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we develop techniques for performing abstract semantic differencing of program behaviors that offer the potential for improved precision.

  16. EBS Radionuclide Transport Abstraction

    SciTech Connect

    J. Prouty

    2006-07-14

    The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment (TSPA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport model considers advective transport and diffusive transport

  17. Workout Machine

    NASA Technical Reports Server (NTRS)

    1995-01-01

    The Orbotron is a tri-axle exercise machine patterned after a NASA training simulator for astronaut orientation in the microgravity of space. It has three orbiting rings corresponding to roll, pitch and yaw. The user is in the middle of the inner ring with the stomach remaining in the center of all axes, eliminating dizziness. Human power starts the rings spinning, unlike the NASA air-powered system. Marketed by Fantasy Factory (formerly Orbotron, Inc.), the machine can improve aerobic capacity, strength and endurance in five to seven minute workouts.

  18. Wacky Machines

    ERIC Educational Resources Information Center

    Fendrich, Jean

    2002-01-01

    Collectors everywhere know that local antique shops and flea markets are treasure troves just waiting to be plundered. Science teachers might take a hint from these hobbyists, for the next community yard sale might be a repository of old, quirky items that are just the things to get students thinking about simple machines. By introducing some…

  19. EBS Radionuclide Transport Abstraction

    SciTech Connect

    J.D. Schreiber

    2005-08-25

    The purpose of this report is to develop and analyze the engineered barrier system (EBS) radionuclide transport abstraction model, consistent with Level I and Level II model validation, as identified in ''Technical Work Plan for: Near-Field Environment and Transport: Engineered Barrier System: Radionuclide Transport Abstraction Model Report Integration'' (BSC 2005 [DIRS 173617]). The EBS radionuclide transport abstraction (or EBS RT Abstraction) is the conceptual model used in the total system performance assessment for the license application (TSPA-LA) to determine the rate of radionuclide releases from the EBS to the unsaturated zone (UZ). The EBS RT Abstraction conceptual model consists of two main components: a flow model and a transport model. Both models are developed mathematically from first principles in order to show explicitly what assumptions, simplifications, and approximations are incorporated into the models used in the TSPA-LA. The flow model defines the pathways for water flow in the EBS and specifies how the flow rate is computed in each pathway. Input to this model includes the seepage flux into a drift. The seepage flux is potentially split by the drip shield, with some (or all) of the flux being diverted by the drip shield and some passing through breaches in the drip shield that might result from corrosion or seismic damage. The flux through drip shield breaches is potentially split by the waste package, with some (or all) of the flux being diverted by the waste package and some passing through waste package breaches that might result from corrosion or seismic damage. Neither the drip shield nor the waste package survives an igneous intrusion, so the flux splitting submodel is not used in the igneous scenario class. The flow model is validated in an independent model validation technical review. The drip shield and waste package flux splitting algorithms are developed and validated using experimental data. The transport model considers

  20. Drilling Machines: Vocational Machine Shop.

    ERIC Educational Resources Information Center

    Thomas, John C.

    The lessons and supportive information in this field tested instructional block provide a guide for teachers in developing a machine shop course of study in drilling. The document is comprised of operation sheets, information sheets, and transparency masters for 23 lessons. Each lesson plan includes a performance objective, material and tools,…

  1. A LARI Experience (Abstract)

    NASA Astrophysics Data System (ADS)

    Cook, M.

    2015-12-01

    (Abstract only) In 2012, Lowell Observatory launched The Lowell Amateur Research Initiative (LARI) to formally involve amateur astronomers in scientific research by bringing them to the attention of and helping professional astronomers with their astronomical research. One of the LARI projects is the BVRI photometric monitoring of Young Stellar Objects (YSOs), wherein amateurs obtain observations to search for new outburst events and characterize the colour evolution of previously identified outbursters. A summary of the scientific and organizational aspects of this LARI project, including its goals and science motivation, the process for getting involved with the project, a description of the team members, their equipment and methods of collaboration, and an overview of the programme stars, preliminary findings, and lessons learned is presented.

  2. IEEE conference record -- Abstracts

    SciTech Connect

    Not Available

    1994-01-01

    This conference covers the following areas: computational plasma physics; vacuum electronic; basic phenomena in fully ionized plasmas; plasma, electron, and ion sources; environmental/energy issues in plasma science; space plasmas; plasma processing; ball lightning/spherical plasma configurations; plasma processing; fast wave devices; magnetic fusion; basic phenomena in partially ionized plasma; dense plasma focus; plasma diagnostics; basic phenomena in weakly ionized gases; fast opening switches; MHD; fast z-pinches and x-ray lasers; intense ion and electron beams; laser-produced plasmas; microwave plasma interactions; EM and ETH launchers; solid state plasmas and switches; intense beam microwaves; and plasmas for lighting. Separate abstracts were prepared for 416 papers in this conference.

  3. Charging machine

    DOEpatents

    Medlin, John B.

    1976-05-25

    A charging machine for loading fuel slugs into the process tubes of a nuclear reactor includes a tubular housing connected to the process tube, a charging trough connected to the other end of the tubular housing, a device for loading the charging trough with a group of fuel slugs, means for equalizing the coolant pressure in the charging trough with the pressure in the process tubes, means for pushing the group of fuel slugs into the process tube and a latch and a seal engaging the last object in the group of fuel slugs to prevent the fuel slugs from being ejected from the process tube when the pusher is removed and to prevent pressure liquid from entering the charging machine.

  4. Fullerene Machines

    NASA Technical Reports Server (NTRS)

    Globus, Al; Saini, Subhash (Technical Monitor)

    1998-01-01

    Fullerenes possess remarkable properties and many investigators have examined the mechanical, electronic and other characteristics of carbon SP2 systems in some detail. In addition, C-60 can be functionalized with many classes of molecular fragments and we may expect the caps of carbon nanotubes to have a similar chemistry. Finally, carbon nanotubes have been attached to t he end of scanning probe microscope (Spill) tips. Spills can be manipulated with sub-angstrom accuracy. Together, these investigations suggest that complex molecular machines made of fullerenes may someday be created and manipulated with very high accuracy. We have studied some such systems computationally (primarily functionalized carbon nanotube gears and computer components). If such machines can be combined appropriately, a class of materials may be created that can sense their environment, calculate a response, and act. The implications of such hypothetical materials are substantial.

  5. Fullerene Machines

    NASA Technical Reports Server (NTRS)

    Globus, Al; Saini, Subhash

    1998-01-01

    Recent computational efforts at NASA Ames Research Center and computation and experiment elsewhere suggest that a nanotechnology of machine phase functionalized fullerenes may be synthetically accessible and of great interest. We have computationally demonstrated that molecular gears fashioned from (14,0) single-walled carbon nanotubes and benzyne teeth should operate well at 50-100 gigahertz. Preliminary results suggest that these gears can be cooled by a helium atmosphere and a laser motor can power fullerene gears if a positive and negative charge have been added to form a dipole. In addition, we have unproven concepts based on experimental and computational evidence for support structures, computer control, a system architecture, a variety of components, and manufacture. Combining fullerene machines with the remarkable mechanical properties of carbon nanotubes, there is some reason to believe that a focused effort to develop fullerene nanotechnology could yield materials with tremendous properties.

  6. Induction machine

    DOEpatents

    Owen, Whitney H.

    1980-01-01

    A polyphase rotary induction machine for use as a motor or generator utilizing a single rotor assembly having two series connected sets of rotor windings, a first stator winding disposed around the first rotor winding and means for controlling the current induced in one set of the rotor windings compared to the current induced in the other set of the rotor windings. The rotor windings may be wound rotor windings or squirrel cage windings.

  7. Teaching for Abstraction: A Model

    ERIC Educational Resources Information Center

    White, Paul; Mitchelmore, Michael C.

    2010-01-01

    This article outlines a theoretical model for teaching elementary mathematical concepts that we have developed over the past 10 years. We begin with general ideas about the abstraction process and differentiate between "abstract-general" and "abstract-apart" concepts. A 4-phase model of teaching, called Teaching for Abstraction, is then proposed…

  8. Architectures for intelligent machines

    NASA Technical Reports Server (NTRS)

    Saridis, George N.

    1991-01-01

    The theory of intelligent machines has been recently reformulated to incorporate new architectures that are using neural and Petri nets. The analytic functions of an intelligent machine are implemented by intelligent controls, using entropy as a measure. The resulting hierarchical control structure is based on the principle of increasing precision with decreasing intelligence. Each of the three levels of the intelligent control is using different architectures, in order to satisfy the requirements of the principle: the organization level is moduled after a Boltzmann machine for abstract reasoning, task planning and decision making; the coordination level is composed of a number of Petri net transducers supervised, for command exchange, by a dispatcher, which also serves as an interface to the organization level; the execution level, include the sensory, planning for navigation and control hardware which interacts one-to-one with the appropriate coordinators, while a VME bus provides a channel for database exchange among the several devices. This system is currently implemented on a robotic transporter, designed for space construction at the CIRSSE laboratories at the Rensselaer Polytechnic Institute. The progress of its development is reported.

  9. Automated Supernova Discovery (Abstract)

    NASA Astrophysics Data System (ADS)

    Post, R. S.

    2015-12-01

    (Abstract only) We are developing a system of robotic telescopes for automatic recognition of Supernovas as well as other transient events in collaboration with the Puckett Supernova Search Team. At the SAS2014 meeting, the discovery program, SNARE, was first described. Since then, it has been continuously improved to handle searches under a wide variety of atmospheric conditions. Currently, two telescopes are used to build a reference library while searching for PSN with a partial library. Since data is taken every night without clouds, we must deal with varying atmospheric and high background illumination from the moon. Software is configured to identify a PSN, reshoot for verification with options to change the run plan to acquire photometric or spectrographic data. The telescopes are 24-inch CDK24, with Alta U230 cameras, one in CA and one in NM. Images and run plans are sent between sites so the CA telescope can search while photometry is done in NM. Our goal is to find bright PSNs with magnitude 17.5 or less which is the limit of our planned spectroscopy. We present results from our first automated PSN discoveries and plans for PSN data acquisition.

  10. Stellar Presentations (Abstract)

    NASA Astrophysics Data System (ADS)

    Young, D.

    2015-12-01

    (Abstract only) The AAVSO is in the process of expanding its education, outreach and speakers bureau program. powerpoint presentations prepared for specific target audiences such as AAVSO members, educators, students, the general public, and Science Olympiad teams, coaches, event supervisors, and state directors will be available online for members to use. The presentations range from specific and general content relating to stellar evolution and variable stars to specific activities for a workshop environment. A presentation—even with a general topic—that works for high school students will not work for educators, Science Olympiad teams, or the general public. Each audience is unique and requires a different approach. The current environment necessitates presentations that are captivating for a younger generation that is embedded in a highly visual and sound-bite world of social media, twitter and U-Tube, and mobile devices. For educators, presentations and workshops for themselves and their students must support the Next Generation Science Standards (NGSS), the Common Core Content Standards, and the Science Technology, Engineering and Mathematics (STEM) initiative. Current best practices for developing relevant and engaging powerpoint presentations to deliver information to a variety of targeted audiences will be presented along with several examples.

  11. Abstraction of Drift Seepage

    SciTech Connect

    J.T. Birkholzer

    2004-11-01

    This model report documents the abstraction of drift seepage, conducted to provide seepage-relevant parameters and their probability distributions for use in Total System Performance Assessment for License Application (TSPA-LA). Drift seepage refers to the flow of liquid water into waste emplacement drifts. Water that seeps into drifts may contact waste packages and potentially mobilize radionuclides, and may result in advective transport of radionuclides through breached waste packages [''Risk Information to Support Prioritization of Performance Assessment Models'' (BSC 2003 [DIRS 168796], Section 3.3.2)]. The unsaturated rock layers overlying and hosting the repository form a natural barrier that reduces the amount of water entering emplacement drifts by natural subsurface processes. For example, drift seepage is limited by the capillary barrier forming at the drift crown, which decreases or even eliminates water flow from the unsaturated fractured rock into the drift. During the first few hundred years after waste emplacement, when above-boiling rock temperatures will develop as a result of heat generated by the decay of the radioactive waste, vaporization of percolation water is an additional factor limiting seepage. Estimating the effectiveness of these natural barrier capabilities and predicting the amount of seepage into drifts is an important aspect of assessing the performance of the repository. The TSPA-LA therefore includes a seepage component that calculates the amount of seepage into drifts [''Total System Performance Assessment (TSPA) Model/Analysis for the License Application'' (BSC 2004 [DIRS 168504], Section 6.3.3.1)]. The TSPA-LA calculation is performed with a probabilistic approach that accounts for the spatial and temporal variability and inherent uncertainty of seepage-relevant properties and processes. Results are used for subsequent TSPA-LA components that may handle, for example, waste package corrosion or radionuclide transport.

  12. Types: A data abstraction package in FORTRAN

    SciTech Connect

    Youssef, S. )

    1990-08-01

    TYPES is a collection of Fortran programs which allow the creation and manipulation of abstract data objects'' without the need for a preprocessor. Each data object is assigned a type'' as it is created which implies participation in a set of characteristic operations. Available types include scalars, logicals, ordered sets, stacks, queues, sequences, trees, arrays, character strings, block text, histograms, virtual and allocatable memories. A data object may contain integers, reals, or other data objects in any combination. In addition to the type specific operations, a set of universal utilities allows for copying input/output to disk, naming, editing, displaying, user input, interactive creation, tests for equality of contents or structure, machine to machine translation or source code creation for and data object. TYPES is available on VAX/VMS, SUN 3, SPARC, DEC/Ultrix, Silicon Graphics 4D and Cray/Unicos machines. The capabilities of the package are discussed together with characteristic applications and experience in writing the GVerify package.

  13. TEMPO machine

    SciTech Connect

    Rohwein, G.J.; Lancaster, K.T.; Lawson, R.N.

    1986-06-01

    TEMPO is a transformer powered megavolt pulse generator with an output pulse of 100 ns duration. The machine was designed for burst mode operation at pulse repetition rates up to 10 Hz with minimum pulse-to-pulse voltage variations. To meet the requirement for pulse duration a nd a 20-..omega.. output impedance within reasonable size constraints, the pulse forming transmission line was designed as two parallel water-insulated, strip-type Blumleins. Stray capacitance and electric fields along the edges of the line elements were controlled by lining the tank with plastic sheet.

  14. Electrical machine

    DOEpatents

    De Bock, Hendrik Pieter Jacobus; Alexander, James Pellegrino; El-Refaie, Ayman Mohamed Fawzi; Gerstler, William Dwight; Shah, Manoj Ramprasad; Shen, Xiaochun

    2016-06-21

    An apparatus, such as an electrical machine, is provided. The apparatus can include a rotor defining a rotor bore and a conduit disposed in and extending axially along the rotor bore. The conduit can have an annular conduit body defining a plurality of orifices disposed axially along the conduit and extending through the conduit body. The rotor can have an inner wall that at least partially defines the rotor bore. The orifices can extend through the conduit body along respective orifice directions, and the rotor and conduit can be configured to provide a line of sight along the orifice direction from the respective orifices to the inner wall.

  15. Tunneling machine

    SciTech Connect

    Snyder, L.L.

    1980-02-19

    A diametrically compact tunneling machine for boring tunnels is disclosed. The machine includes a tubular support frame having a hollow piston mounted therein which is movable from a retracted position in the support frame to an extended position. A drive shaft is rotatably mounted in the hollow piston and carries a cutter head at one end. The hollow piston is restrained against rotational movement relative to the support frame and the drive shaft is constrained against longitudinal movement relative to the hollow piston. A plurality of radially extendible feet project from the support frame to the tunnel wall to grip the tunnel wall during a tunneling operation wherein the hollow piston is driven forwardly so that the cutter head works on the tunnel face. When the hollow piston is fully extended, a plurality of extendible support feet, which are fixed to the rearward and forward ends of the hollow piston, are extended, the radially extendible feet are retracted and the support frame is shifted forwardly by the piston so that a further tunneling operation may be initiated.

  16. Advance Organizers: Concret Versus Abstract.

    ERIC Educational Resources Information Center

    Corkill, Alice J.; And Others

    1988-01-01

    Two experiments examined the relative effects of concrete and abstract advance organizers on students' memory for subsequent prose. Results of the experiments are discussed in terms of the memorability, familiarity, and visualizability of concrete and abstract verbal materials. (JD)

  17. Accepted scientific research works (abstracts).

    PubMed

    2014-01-01

    These are the 39 accepted abstracts for IAYT's Symposium on Yoga Research (SYR) September 24-24, 2014 at the Kripalu Center for Yoga & Health and published in the Final Program Guide and Abstracts. PMID:25645134

  18. Thomas Leps Internship Abstract

    NASA Technical Reports Server (NTRS)

    Leps, Thomas

    2016-01-01

    issue. I have since narrowed the likely source of the error down to a Software Development Kit released by the camera supplier PixeLink. I have since developed a workaround in order to build star grids for calibration until the software bug can be isolated and fixed. I was also tasked with building a Hardware in the Loop test stand in order to test the full Op-Nav system. A 4k screen displays simulated Lunar and Terrestrial images from a possible Orion trajectory. These images are then projected through a collimator and then captured with an Op-Nav camera controlled by an Intel NUC computer running flight software. The flight software then analyzes the images to determine attitude and position, this data is then reconstructed into a trajectory and matched to the simulated trajectory in order to determine the accuracy of the attitude and position estimates. In order for the system to work it needs to be precisely and accurately aligned. I developed an alignment procedure that allows the screen, collimator and camera to be squared, centered and collinear with each other within a micron spatially and 5 arcseconds in rotation. I also designed a rigid mount for the screen that was machined on site in Building 10 by another intern. While I was working in the EOL we received a $500k Orion startracker for alignment procedure testing. Due to my prior experience in electronics development, as an ancillary duty, I was tasked with building the cables required to operate and power the startracker. If any errors are made building these cables the startracker would be destroyed, I was honored that the director of the lab entrusted such a critical component with me. This internship has cemented my view on public space exploration. I always preferred public sector to privatization because, as a scientist, the most interesting aspects of space for me are not necessarily the most profitable. I was concerned that the public sector was faltering however, and that in order to improve human

  19. Parallel machines: Parallel machine languages

    SciTech Connect

    Iannucci, R.A. )

    1990-01-01

    This book presents a framework for understanding the tradeoffs between the conventional view and the dataflow view with the objective of discovering the critical hardware structures which must be present in any scalable, general-purpose parallel computer to effectively tolerate latency and synchronization costs. The author presents an approach to scalable general purpose parallel computation. Linguistic Concerns, Compiling Issues, Intermediate Language Issues, and hardware/technological constraints are presented as a combined approach to architectural Develoement. This book presents the notion of a parallel machine language.

  20. Machine musicianship

    NASA Astrophysics Data System (ADS)

    Rowe, Robert

    2002-05-01

    The training of musicians begins by teaching basic musical concepts, a collection of knowledge commonly known as musicianship. Computer programs designed to implement musical skills (e.g., to make sense of what they hear, perform music expressively, or compose convincing pieces) can similarly benefit from access to a fundamental level of musicianship. Recent research in music cognition, artificial intelligence, and music theory has produced a repertoire of techniques that can make the behavior of computer programs more musical. Many of these were presented in a recently published book/CD-ROM entitled Machine Musicianship. For use in interactive music systems, we are interested in those which are fast enough to run in real time and that need only make reference to the material as it appears in sequence. This talk will review several applications that are able to identify the tonal center of musical material during performance. Beyond this specific task, the design of real-time algorithmic listening through the concurrent operation of several connected analyzers is examined. The presentation includes discussion of a library of C++ objects that can be combined to perform interactive listening and a demonstration of their capability.

  1. Machine wanting.

    PubMed

    McShea, Daniel W

    2013-12-01

    Wants, preferences, and cares are physical things or events, not ideas or propositions, and therefore no chain of pure logic can conclude with a want, preference, or care. It follows that no pure-logic machine will ever want, prefer, or care. And its behavior will never be driven in the way that deliberate human behavior is driven, in other words, it will not be motivated or goal directed. Therefore, if we want to simulate human-style interactions with the world, we will need to first understand the physical structure of goal-directed systems. I argue that all such systems share a common nested structure, consisting of a smaller entity that moves within and is driven by a larger field that contains it. In such systems, the smaller contained entity is directed by the field, but also moves to some degree independently of it, allowing the entity to deviate and return, to show the plasticity and persistence that is characteristic of goal direction. If all this is right, then human want-driven behavior probably involves a behavior-generating mechanism that is contained within a neural field of some kind. In principle, for goal directedness generally, the containment can be virtual, raising the possibility that want-driven behavior could be simulated in standard computational systems. But there are also reasons to believe that goal-direction works better when containment is also physical, suggesting that a new kind of hardware may be necessary. PMID:23792091

  2. Mechanical Engineering Department technical abstracts

    SciTech Connect

    Denney, R.M.

    1982-07-01

    The Mechanical Engineering Department publishes listings of technical abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). Overall information about current activities of each of the Department's seven divisions precedes the technical abstracts.

  3. Recursive Abstractions for Parameterized Systems

    NASA Astrophysics Data System (ADS)

    Jaffar, Joxan; Santosa, Andrew E.

    We consider a language of recursively defined formulas about arrays of variables, suitable for specifying safety properties of parameterized systems. We then present an abstract interpretation framework which translates a paramerized system as a symbolic transition system which propagates such formulas as abstractions of underlying concrete states. The main contribution is a proof method for implications between the formulas, which then provides for an implementation of this abstract interpreter.

  4. Vague Language in Conference Abstracts

    ERIC Educational Resources Information Center

    Cutting, Joan

    2012-01-01

    This study examined abstracts for a British Association for Applied Linguistics conference and a Sociolinguistics Symposium, to define the genre of conference abstracts in terms of vague language, specifically universal general nouns (e.g. people) and research general nouns (e.g. results), and to discover if the language used reflected the level…

  5. Leadership Abstracts; Volume 4, 1991.

    ERIC Educational Resources Information Center

    Doucette, Don, Ed.

    1991-01-01

    "Leadership Abstracts" is published bimonthly and distributed to the chief executive officer of every two-year college in the United States and Canada. This document consists of the 15 one-page abstracts published in 1991. Addressing a variety of topics of interest to the community college administrators, this volume includes: (1) "Delivering the…

  6. Food Science and Technology Abstracts.

    ERIC Educational Resources Information Center

    Cohen, Elinor; Federman, Joan

    1979-01-01

    Introduces the reader to the Food Science and Technology Abstracts, a data file that covers worldwide literature on human food commodities and aspects of food processing. Topics include scope, subject index, thesaurus, searching online, and abstracts; tables provide a comparison of ORBIT and DIALOG versions of the file. (JD)

  7. Innovation Abstracts, Volume XV, 1993.

    ERIC Educational Resources Information Center

    Roueche, Suanne D., Ed.

    1993-01-01

    This volume of 30 one- to two-page abstracts from 1993 highlights a variety of innovative approaches to teaching and learning in the community college. Topics covered in the abstracts include: (1) role-playing to encourage critical thinking; (2) team learning techniques to cultivate business skills; (3) librarian-instructor partnerships to create…

  8. Student Success with Abstract Art

    ERIC Educational Resources Information Center

    Hamidou, Kristine

    2009-01-01

    An abstract art project can be challenging or not, depending on the objectives the teacher sets up. In this article, the author describes an abstract papier-mache project that is a success for all students, and is a versatile project easily manipulated to suit the classroom of any art teacher.

  9. Abstraction in perceptual symbol systems.

    PubMed Central

    Barsalou, Lawrence W

    2003-01-01

    After reviewing six senses of abstraction, this article focuses on abstractions that take the form of summary representations. Three central properties of these abstractions are established: ( i ) type-token interpretation; (ii) structured representation; and (iii) dynamic realization. Traditional theories of representation handle interpretation and structure well but are not sufficiently dynamical. Conversely, connectionist theories are exquisitely dynamic but have problems with structure. Perceptual symbol systems offer an approach that implements all three properties naturally. Within this framework, a loose collection of property and relation simulators develops to represent abstractions. Type-token interpretation results from binding a property simulator to a region of a perceived or simulated category member. Structured representation results from binding a configuration of property and relation simulators to multiple regions in an integrated manner. Dynamic realization results from applying different subsets of property and relation simulators to category members on different occasions. From this standpoint, there are no permanent or complete abstractions of a category in memory. Instead, abstraction is the skill to construct temporary online interpretations of a category's members. Although an infinite number of abstractions are possible, attractors develop for habitual approaches to interpretation. This approach provides new ways of thinking about abstraction phenomena in categorization, inference, background knowledge and learning. PMID:12903648

  10. Technical abstracts: Mechanical engineering, 1990

    SciTech Connect

    Broesius, J.Y.

    1991-03-01

    This document is a compilation of the published, unclassified abstracts produced by mechanical engineers at Lawrence Livermore National Laboratory (LLNL) during the calendar year 1990. Many abstracts summarize work completed and published in report form. These are UCRL-JC series documents, which include the full text of articles to be published in journals and of papers to be presented at meetings, and UCID reports, which are informal documents. Not all UCIDs contain abstracts: short summaries were generated when abstracts were not included. Technical Abstracts also provides descriptions of those documents assigned to the UCRL-MI (miscellaneous) category. These are generally viewgraphs or photographs presented at meetings. An author index is provided at the back of this volume for cross referencing.

  11. Metaphor: Bridging embodiment to abstraction.

    PubMed

    Jamrozik, Anja; McQuire, Marguerite; Cardillo, Eileen R; Chatterjee, Anjan

    2016-08-01

    Embodied cognition accounts posit that concepts are grounded in our sensory and motor systems. An important challenge for these accounts is explaining how abstract concepts, which do not directly call upon sensory or motor information, can be informed by experience. We propose that metaphor is one important vehicle guiding the development and use of abstract concepts. Metaphors allow us to draw on concrete, familiar domains to acquire and reason about abstract concepts. Additionally, repeated metaphoric use drawing on particular aspects of concrete experience can result in the development of new abstract representations. These abstractions, which are derived from embodied experience but lack much of the sensorimotor information associated with it, can then be flexibly applied to understand new situations. PMID:27294425

  12. A Prolog Emulator

    NASA Technical Reports Server (NTRS)

    Tick, Evan

    1987-01-01

    This note describes an efficient software emulator for the Warren Abstract Machine (WAM) Prolog architecture. The version of the WAM implemented is called Lcode. The Lcode emulator, written in C, executes the 'naive reverse' benchmark at 3900 LIPS. The emulator is one of a set of tools used to measure the memory-referencing characteristics and performance of Prolog programs. These tools include a compiler, assembler, and memory simulators. An overview of the Lcode architecture is given here, followed by a description and listing of the emulator code implementing each Lcode instruction. This note will be of special interest to those studying the WAM and its performance characteristics. In general, this note will be of interest to those creating efficient software emulators for abstract machine architectures.

  13. Applied machine vision

    SciTech Connect

    Not Available

    1984-01-01

    This book presents the papers given at a conference on robot vision. Topics considered at the conference included the link between fixed and flexible automation, general applications of machine vision, the development of a specification for a machine vision system, machine vision technology, machine vision non-contact gaging, and vision in electronics manufacturing.

  14. Machine Shop Lathes.

    ERIC Educational Resources Information Center

    Dunn, James

    This guide, the second in a series of five machine shop curriculum manuals, was designed for use in machine shop courses in Oklahoma. The purpose of the manual is to equip students with basic knowledge and skills that will enable them to enter the machine trade at the machine-operator level. The curriculum is designed so that it can be used in…

  15. NASA Patent Abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 21) Abstracts

    NASA Technical Reports Server (NTRS)

    1982-01-01

    Abstracts are cited for 87 patents and applications introduced into the NASA scientific and technical information system during the period of January 1982 through June 1982. Each entry consists of a citation, an abstract, and in mose cases, a key illustration selected from the patent or patent application.

  16. Teaching Abstract Concepts by Metaphor.

    ERIC Educational Resources Information Center

    Sutherland, Judith A.

    2001-01-01

    Defines metaphor and its uses; explains the construction and application of metaphors in nursing education. Describes the transformation of the abstract psychiatric concept of therapeutic milieu into a visual metaphor. (SK)

  17. Deficiencies in structured medical abstracts.

    PubMed

    Froom, P; Froom, J

    1993-07-01

    This study was carried out to determine if the content of structured abstracts conforms with recommendations of the Ad Hoc Working Group for the critical appraisal of the medical literature as adopted by the Annals of Internal Medicine. The study design was a survey. All articles published in Annals of Internal Medicine in 1991, excluding editorials, case-reports, literature reviews, decision analysis, studies in medical education, descriptive studies of clinical and basic phenomena, and papers lacking a structured abstract, were studied. Of a total of 150 articles, 20 were excluded. The abstract and text of each article were assessed for the presence of the following items; patient selection criteria, statements concerning extrapolation of findings, need for further study, and whether or not the information should be used now. Number of refusers, drop outs and reason(s) for drop outs were assessed for intervention and prospective cohort studies only. Deficiencies of assessed items were noted in both abstracts and texts. For abstracts, patient selection criteria, numbers of refusers, number of drop outs and reason(s) for drop outs were reported in 44.6% (58/130), 3.1% (4/130), 16.9% (14/83) and 2.4% (2/83) respectively. These items were reported more frequently in the texts 87.7% (114/130), 9.2% (12/130), 60.2% (50/83) and 37.3% (31/83) respectively (p < 0.05). Statements concerning extrapolation of findings, need for further study and use of information now were also more frequent in texts than abstracts (p < 0.0001). A large number of structured abstracts published in the Annals of Internal Medicine in 1991, lack information recommended by the Ad Hoc Working Group. Our findings should not be extrapolated to other journals requiring structured abstracts. PMID:8326342

  18. Dry machinability of aluminum alloys.

    SciTech Connect

    Shareef, I.; Natarajan, M.; Ajayi, O. O.; Energy Technology; Department of IMET

    2005-01-01

    Adverse effects of the use of cutting fluids and environmental concerns with regard to cutting fluid disposability is compelling industry to adopt Dry or near Dry Machining, with the aim of eliminating or significantly reducing the use of metal working fluids. Pending EPA regulations on metal cutting, dry machining is becoming a hot topic of research and investigation both in industry and federal research labs. Although the need for dry machining may be apparent, most of the manufacturers still consider dry machining to be impractical and even if possible, very expensive. This perception is mainly due to lack of appropriate cutting tools that can withstand intense heat and Built-up-Edge (BUE) formation during dry machining. The challenge of heat dissipation without coolant requires a completely different approach to tooling. Special tooling utilizing high-performance multi-layer, multi-component, heat resisting, low friction coatings could be a plausible answer to the challenge of dry machining. In pursuit of this goal Argonne National Labs has introduced Nano-crystalline near frictionless carbon (NFC) diamond like coatings (DLC), while industrial efforts have led to the introduction of composite coatings such as titanium aluminum nitride (TiAlN), tungsten carbide/carbon (WC/C) and others. Although, these coatings are considered to be very promising, they have not been tested either from tribological or from dry machining applications point of view. As such a research program in partnership with federal labs and industrial sponsors has started with the goal of exploring the feasibility of dry machining using the newly developed coatings such as Near Frictionless Carbon Coatings (NFC), Titanium Aluminum Nitride (TiAlN), and multi-layer multicomponent nano coatings such as TiAlCrYN and TiAlN/YN. Although various coatings are under investigation as part of the overall dry machinability program, this extended abstract deals with a systematic investigation of dry

  19. Modelling Metamorphism by Abstract Interpretation

    NASA Astrophysics Data System (ADS)

    Dalla Preda, Mila; Giacobazzi, Roberto; Debray, Saumya; Coogan, Kevin; Townsend, Gregg M.

    Metamorphic malware apply semantics-preserving transformations to their own code in order to foil detection systems based on signature matching. In this paper we consider the problem of automatically extract metamorphic signatures from these malware. We introduce a semantics for self-modifying code, later called phase semantics, and prove its correctness by showing that it is an abstract interpretation of the standard trace semantics. Phase semantics precisely models the metamorphic code behavior by providing a set of traces of programs which correspond to the possible evolutions of the metamorphic code during execution. We show that metamorphic signatures can be automatically extracted by abstract interpretation of the phase semantics, and that regular metamorphism can be modelled as finite state automata abstraction of the phase semantics.

  20. Mechanical Engineering Department technical abstracts

    SciTech Connect

    Not Available

    1984-07-01

    The Mechanical Engineering Department publishes abstracts twice a year to inform readers of the broad range of technical activities in the Department, and to promote an exchange of ideas. Details of the work covered by an abstract may be obtained by contacting the author(s). General information about the current role and activities of each of the Department's seven divisions precedes the technical abstracts. Further information about a division's work may be obtained from the division leader, whose name is given at the end of each divisional summary. The Department's seven divisions are as follows: Nuclear Test Engineering Division, Nuclear Explosives Engineering Division, Weapons Engineering Division, Energy Systems Engineering Division, Engineering Sciences Division, Magnetic Fusion Engineering Division and Materials Fabrication Division.

  1. Meeting Abstracts - Annual Meeting 2016.

    PubMed

    2016-04-01

    The AMCP Abstracts program provides a forum through which authors can share their insights and outcomes of advanced managed care practice through publication in AMCP's Journal of Managed Care & Specialty Pharmacy (JMCP). Most of the reviewed and unreviewed abstracts are presented as posters so that interested AMCP meeting attendees can review findings and query authors. The Student/Resident/ Fellow poster presentation (unreviewed) is Wednesday, April 20, 2016, and the Professional poster presentation (reviewed) is Thursday, April 21. The Professional posters will also be displayed on Friday, April 22. The reviewed abstracts are published in the JMCP Meeting Abstracts supplement. The AMCP Managed Care & Specialty Pharmacy Annual Meeting 2016 in San Francisco, California, is expected to attract more than 3,500 managed care pharmacists and other health care professionals who manage and evaluate drug therapies, develop and manage networks, and work with medical managers and information specialists to improve the care of all individuals enrolled in managed care programs. Abstracts were submitted in the following categories: Research Report: describe completed original research on managed care pharmacy services or health care interventions. Examples include (but are not limited to) observational studies using administrative claims, reports of the impact of unique benefit design strategies, and analyses of the effects of innovative administrative or clinical programs. Economic Model: describe models that predict the effect of various benefit design or clinical decisions on a population. For example, an economic model could be used to predict the budget impact of a new pharmaceutical product on a health care system. Solving Problems in Managed Care: describe the specific steps taken to introduce a needed change, develop and implement a new system or program, plan and organize an administrative function, or solve other types of problems in managed care settings. These

  2. Hard Machinable Machining of Cobalt Super Alloys

    NASA Astrophysics Data System (ADS)

    Čep, Robert; Janásek, Adam; Petrů, Jana; Čepová, Lenka; Sadílek, Marek; Kratochvíl, Jiří

    2012-12-01

    The article deals with difficult-to-machine cobalt super alloys. The main aim is to test the basic properties of cobalt super alloys and propose suitable cutting materials and machining parameters under the designation 188 when machining. Although the development of technology in chipless machining such as moulding, precision casting and other manufacturing methods continues to advance, machining is still the leading choice for piece production, typical for energy and chemical engineering. Nowadays, super alloys are commonly used in turbine engines in regions that are subject to high temperatures, which require high strength, high temperature resistance, phase stability, as well as corrosion or oxidation resistance.

  3. Abstract communication for coordinated planning

    NASA Technical Reports Server (NTRS)

    Clement, Bradley J.; Durfee, Edmund H.

    2003-01-01

    work offers evidence that distributed planning agents can greatly reduce communication costs by reasoning at abstract levels. While it is intuitive that improved search can reduce communication in such cases, there are other decisions about how to communicate plan information that greatly affect communication costs. This paper identifies cases independent of search where communicating at multiple levels of abstraction can exponentially decrease costs and where it can exponentially add costs. We conclude with a process for determining appropriate levels of communication based on characteristics of the domain.

  4. Tube Alinement for Machining

    NASA Technical Reports Server (NTRS)

    Garcia, J.

    1984-01-01

    Tool with stepped shoulders alines tubes for machining in preparation for welding. Alinement with machine tool axis accurate to within 5 mils (0.13mm) and completed much faster than visual setup by machinist.

  5. Women, Men, and Machines.

    ERIC Educational Resources Information Center

    Form, William; McMillen, David Byron

    1983-01-01

    Data from the first national study of technological change show that proportionately more women than men operate machines, are more exposed to machines that have alienating effects, and suffer more from the negative effects of technological change. (Author/SSH)

  6. Stirling machine operating experience

    NASA Technical Reports Server (NTRS)

    Ross, Brad; Dudenhoefer, James E.

    1991-01-01

    Numerous Stirling machines have been built and operated, but the operating experience of these machines is not well known. It is important to examine this operating experience in detail, because it largely substantiates the claim that Stirling machines are capable of reliable and lengthy lives. The amount of data that exists is impressive, considering that many of the machines that have been built are developmental machines intended to show proof of concept, and were not expected to operate for any lengthy period of time. Some Stirling machines (typically free-piston machines) achieve long life through non-contact bearings, while other Stirling machines (typically kinematic) have achieved long operating lives through regular seal and bearing replacements. In addition to engine and system testing, life testing of critical components is also considered.

  7. Virtual Machine Language

    NASA Technical Reports Server (NTRS)

    Grasso, Christopher; Page, Dennis; O'Reilly, Taifun; Fteichert, Ralph; Lock, Patricia; Lin, Imin; Naviaux, Keith; Sisino, John

    2005-01-01

    Virtual Machine Language (VML) is a mission-independent, reusable software system for programming for spacecraft operations. Features of VML include a rich set of data types, named functions, parameters, IF and WHILE control structures, polymorphism, and on-the-fly creation of spacecraft commands from calculated values. Spacecraft functions can be abstracted into named blocks that reside in files aboard the spacecraft. These named blocks accept parameters and execute in a repeatable fashion. The sizes of uplink products are minimized by the ability to call blocks that implement most of the command steps. This block approach also enables some autonomous operations aboard the spacecraft, such as aerobraking, telemetry conditional monitoring, and anomaly response, without developing autonomous flight software. Operators on the ground write blocks and command sequences in a concise, high-level, human-readable programming language (also called VML ). A compiler translates the human-readable blocks and command sequences into binary files (the operations products). The flight portion of VML interprets the uplinked binary files. The ground subsystem of VML also includes an interactive sequence- execution tool hosted on workstations, which runs sequences at several thousand times real-time speed, affords debugging, and generates reports. This tool enables iterative development of blocks and sequences within times of the order of seconds.

  8. Innovation Abstracts, Volume XIX, 1997.

    ERIC Educational Resources Information Center

    Roueche, Suanne D., Ed.

    1997-01-01

    The 52 abstracts in these 29 serial issues describe innovative approaches to teaching and learning in the community college. Sample topics include a checklist for conference presenters, plan to retain students, faculty home page, improvements in writing instruction, cooperative learning, support for high risk students, competitive colleges and the…

  9. Handedness Shapes Children's Abstract Concepts

    ERIC Educational Resources Information Center

    Casasanto, Daniel; Henetz, Tania

    2012-01-01

    Can children's handedness influence how they represent abstract concepts like "kindness" and "intelligence"? Here we show that from an early age, right-handers associate rightward space more strongly with positive ideas and leftward space with negative ideas, but the opposite is true for left-handers. In one experiment, children indicated where on…

  10. Innovation Abstracts, Volume XX, 1998.

    ERIC Educational Resources Information Center

    Roueche, Suanne D., Ed.

    1998-01-01

    The 52 abstracts in these 29 serial issues describe innovative approaches to teaching and learning in the community college. Sample topics include reading motivation, barriers to academic success, the learning environment, writing skills, leadership in the criminal justice profession, role-playing strategies, cooperative education, distance…

  11. Abstract Journal Concept Being Examined

    ERIC Educational Resources Information Center

    Somerville, Brendan F.

    1972-01-01

    In order to control the information explosion, some European chemical groups are studying the idea of abandoning full publication in printed form of all primary journals and, in their place, substituting a new form of abstract journal combined with a microfilm record of full scientific papers. (Author/CP)

  12. Metaphoric Images from Abstract Concepts.

    ERIC Educational Resources Information Center

    Vizmuller-Zocco, Jana

    1992-01-01

    Discusses children's use of metaphors to create meaning, using as an example the pragmatic and "scientific" ways in which preschool children explain thunder and lightning to themselves. Argues that children are being shortchanged by modern scientific notions of abstractness and that they should be encouraged to create their own explanations of…

  13. Abstract Expressionism. Clip and Save.

    ERIC Educational Resources Information Center

    Hubbard, Guy

    2002-01-01

    Provides information on the art movement, Abstract Expressionism, and includes learning activities. Focuses on the artist Jackson Pollock, offering a reproduction of his artwork, "Convergence: Number 10." Includes background information on the life and career of Pollock and a description of the included artwork. (CMK)

  14. Does "Social Work Abstracts" Work?

    ERIC Educational Resources Information Center

    Holden, Gary; Barker, Kathleen; Covert-Vail, Lucinda; Rosenberg, Gary; Cohen, Stephanie A.

    2008-01-01

    Objective: The current study seeks to provide estimates of the adequacy of journal coverage in the Social Work Abstracts (SWA) database. Method: A total of 23 journals listed in the Journal Citation Reports social work category during the 1997 to 2005 period were selected for study. Issue-level coverage estimates were obtained for SWA and…

  15. Manpower Management Studies: Selected Abstracts.

    ERIC Educational Resources Information Center

    Ryerson, William R., Comp.

    This bibliography contains 58 selected abstracts of research reports dating back to 1964 on the general subject of manpower management. It was prepared from a search of the National Technical Information Service data base of more than 300,000 documents submitted by agencies of the Federal Government and also by private organizations or individuals…

  16. The Theatre Audience: An Abstraction.

    ERIC Educational Resources Information Center

    Campbell, Paul Newell

    1981-01-01

    Argues that theater is aimed at and presented to an ideal or abstract audience. Discusses the implications of performing for an actual audience, adaptation to various audiences, and the concept of the audience as an evaluative device. (See CS 705 536.) (JMF)

  17. Chemical Abstracts' Document Delivery Service.

    ERIC Educational Resources Information Center

    Rollins, Stephen

    1984-01-01

    The Document Delivery Service offered by Chemical Abstracts is described in terms of the DIALORDER option on the Dialog information retrieval system, mail requests, and requests transmitted through OCLC's Interlibrary Loan system. Transmission costs, success rates, delivery rates, and other considerations in utilizing the service are included.…

  18. Automatic Inspection During Machining

    NASA Technical Reports Server (NTRS)

    Ransom, Clyde L.

    1988-01-01

    In experimental manufacturing process, numerically-controlled machine tool temporarily converts into inspection machine by installing electronic touch probes and specially-developed numerical-control software. Software drives probes in paths to and on newly machined parts and collects data on dimensions of parts.

  19. Machining lead wafers

    SciTech Connect

    Schamaun, R.T.

    1987-09-01

    Recently, MEC-6 machined some 4-inch-diameter lead wafers to precision tolerances. The tolerance on the wafer thickness was +-0.000080 inch. A diamond tool was used to machine the wafers on a Moore No. 3 lathe. This report discusses the methods used to machine the wafers, the fixtures used to hold the wafers, and the inspection methods and results.

  20. Apprentice Machine Theory Outline.

    ERIC Educational Resources Information Center

    Connecticut State Dept. of Education, Hartford. Div. of Vocational-Technical Schools.

    This volume contains outlines for 16 courses in machine theory that are designed for machine tool apprentices. Addressed in the individual course outlines are the following topics: basic concepts; lathes; milling machines; drills, saws, and shapers; heat treatment and metallurgy; grinders; quality control; hydraulics and pneumatics;…

  1. Foundations of support constraint machines.

    PubMed

    Gnecco, Giorgio; Gori, Marco; Melacci, Stefano; Sanguineti, Marcello

    2015-02-01

    The mathematical foundations of a new theory for the design of intelligent agents are presented. The proposed learning paradigm is centered around the concept of constraint, representing the interactions with the environment, and the parsimony principle. The classical regularization framework of kernel machines is naturally extended to the case in which the agents interact with a richer environment, where abstract granules of knowledge, compactly described by different linguistic formalisms, can be translated into the unified notion of constraint for defining the hypothesis set. Constrained variational calculus is exploited to derive general representation theorems that provide a description of the optimal body of the agent (i.e., the functional structure of the optimal solution to the learning problem), which is the basis for devising new learning algorithms. We show that regardless of the kind of constraints, the optimal body of the agent is a support constraint machine (SCM) based on representer theorems that extend classical results for kernel machines and provide new representations. In a sense, the expressiveness of constraints yields a semantic-based regularization theory, which strongly restricts the hypothesis set of classical regularization. Some guidelines to unify continuous and discrete computational mechanisms are given so as to accommodate in the same framework various kinds of stimuli, for example, supervised examples and logic predicates. The proposed view of learning from constraints incorporates classical learning from examples and extends naturally to the case in which the examples are subsets of the input space, which is related to learning propositional logic clauses. PMID:25380338

  2. An Abstract Plan Preparation Language

    NASA Technical Reports Server (NTRS)

    Butler, Ricky W.; Munoz, Cesar A.

    2006-01-01

    This paper presents a new planning language that is more abstract than most existing planning languages such as the Planning Domain Definition Language (PDDL) or the New Domain Description Language (NDDL). The goal of this language is to simplify the formal analysis and specification of planning problems that are intended for safety-critical applications such as power management or automated rendezvous in future manned spacecraft. The new language has been named the Abstract Plan Preparation Language (APPL). A translator from APPL to NDDL has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats Project (SAVH) sponsored by the Explorations Technology Development Program, which is seeking to mature autonomy technology for application to the new Crew Exploration Vehicle (CEV) that will replace the Space Shuttle.

  3. Cryogenic foam insulation: Abstracted publications

    NASA Technical Reports Server (NTRS)

    Williamson, F. R.

    1977-01-01

    A group of documents were chosen and abstracted which contain information on the properties of foam materials and on the use of foams as thermal insulation at cryogenic temperatures. The properties include thermal properties, mechanical properties, and compatibility properties with oxygen and other cryogenic fluids. Uses of foams include applications as thermal insulation for spacecraft propellant tanks, and for liquefied natural gas storage tanks and pipelines.

  4. Concrete and abstract Voronoi diagrams

    SciTech Connect

    Klein, R. )

    1989-01-01

    The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great importance to computer science and many other fields. The challenge is to compute Voronoi diagrams quickly. The problem is that their structure depends on the notion of distance and the sort of site. In this book the author proposes a unifying approach by introducing abstract Voronoi diagrams. These are based on the concept of bisecting curves which are required to have some simple properties that are actually possessed by most bisectors of concrete Voronoi diagrams. Abstract Voronoi diagrams can be computed efficiently and there exists a worst-case efficient algorithm of divide-and-conquer type that applies to all abstract Voronoi diagrams satisfying a certain constraint. The author shows that this constraint is fulfilled by the concrete diagrams based no large classes of metrics in the plane.

  5. Perspex machine: VII. The universal perspex machine

    NASA Astrophysics Data System (ADS)

    Anderson, James A. D. W.

    2006-01-01

    The perspex machine arose from the unification of projective geometry with the Turing machine. It uses a total arithmetic, called transreal arithmetic, that contains real arithmetic and allows division by zero. Transreal arithmetic is redefined here. The new arithmetic has both a positive and a negative infinity which lie at the extremes of the number line, and a number nullity that lies off the number line. We prove that nullity, 0/0, is a number. Hence a number may have one of four signs: negative, zero, positive, or nullity. It is, therefore, impossible to encode the sign of a number in one bit, as floating-point arithmetic attempts to do, resulting in the difficulty of having both positive and negative zeros and NaNs. Transrational arithmetic is consistent with Cantor arithmetic. In an extension to real arithmetic, the product of zero, an infinity, or nullity with its reciprocal is nullity, not unity. This avoids the usual contradictions that follow from allowing division by zero. Transreal arithmetic has a fixed algebraic structure and does not admit options as IEEE, floating-point arithmetic does. Most significantly, nullity has a simple semantics that is related to zero. Zero means "no value" and nullity means "no information." We argue that nullity is as useful to a manufactured computer as zero is to a human computer. The perspex machine is intended to offer one solution to the mind-body problem by showing how the computable aspects of mind and, perhaps, the whole of mind relates to the geometrical aspects of body and, perhaps, the whole of body. We review some of Turing's writings and show that he held the view that his machine has spatial properties. In particular, that it has the property of being a 7D lattice of compact spaces. Thus, we read Turing as believing that his machine relates computation to geometrical bodies. We simplify the perspex machine by substituting an augmented Euclidean geometry for projective geometry. This leads to a general

  6. 0.625" FPPW Abstract

    NASA Technical Reports Server (NTRS)

    Littell, Justin

    2015-01-01

    Friction Pull Plug Welding (FPPW) is a solid-state process that is the primary close out method for Self- Reacting Friction Stir Welding (SR-FSW). This process uses a servo hydraulic machine to spin an aluminum plug to several thousand revolutions per minute and pull the plug with several thousand pound force into an aluminum piece of material. This process, which has been around for approximately a decade, has proven to be a very difficult process to develop. There are large number of variables with interactions and correlations that are difficult to detect. Historically this method only provided good results on aluminum material up to 0.327" thick. The SLS rocket required weld land configurations of up to 0.625" thick. This not only pushed the limits of the process but also of the tools procured for materials 1/2 as thick. Ultimate Tensile Results was typically the response used for FPPW input variables. The problem was there were multiple processes including, welding, post weld machining, Non Destructive Evaluation, specimen fabrication and mechanical testing between the FPPW inputs and the mechanical test results. This only compiled the list of variables and made the process of FPPW even more difficult to develop. This presentation and paper describes the new process development methodology, which uses the FPPW tool's feedback to observe the process and develop it systematically. It captures 6 months and 600 plugs worth of work using only the tool's feedback as a response to the process. This presentation describes the solution to the issue, a solution whose methodology could apply to a variety of other processes.

  7. Youth Studies Abstracts. Vol. 4 No. 3.

    ERIC Educational Resources Information Center

    Youth Studies Abstracts, 1985

    1985-01-01

    This volume contains 169 abstracts of documents dealing with youth and educational programs for youth. Included in the volume are 97 abstracts of documents dealing with social and educational developments; 56 abstracts of program reports, reviews, and evaluations; and 16 abstracts of program materials. Abstracts are grouped according to the…

  8. High Speed Computing, LANs, and WAMs

    NASA Technical Reports Server (NTRS)

    Bergman, Larry A.; Monacos, Steve

    1994-01-01

    Optical fiber networks may one day offer potential capacities exceeding 10 terabits/sec. This paper describes present gigabit network techniques for distributed computing as illustrated by the CASA gigabit testbed, and then explores future all-optic network architectures that offer increased capacity, more optimized level of service for a given application, high fault tolerance, and dynamic reconfigurability.

  9. Operating System Abstraction Layer (OSAL)

    NASA Technical Reports Server (NTRS)

    Yanchik, Nicholas J.

    2007-01-01

    This viewgraph presentation reviews the concept of the Operating System Abstraction Layer (OSAL) and its benefits. The OSAL is A small layer of software that allows programs to run on many different operating systems and hardware platforms It runs independent of the underlying OS & hardware and it is self-contained. The benefits of OSAL are that it removes dependencies from any one operating system, promotes portable, reusable flight software. It allows for Core Flight software (FSW) to be built for multiple processors and operating systems. The presentation discusses the functionality, the various OSAL releases, and describes the specifications.

  10. IEEE conference record--Abstracts

    SciTech Connect

    Not Available

    1992-01-01

    The following topics were covered in this meeting: basic plasma phenomena and plasma waves; plasma diagnostics; space plasma diagnostics; magnetic fusion; electron, ion and plasma sources; intense electron and ion beams; intense beam microwaves; fast wave M/W devices; microwave plasma interactions; plasma focus; ultrafast Z-pinches; plasma processing; electrical gas discharges; fast opening switches; magnetohydrodynamics; electromagnetic and electrothermal launchers; x-ray lasers; computational plasma science; solid state plasmas and switches; environmental/energy issues in plasma science; vacuum electronics; plasmas for lighting; gaseous electronics; and ball lightning and other spherical plasmas. Separate abstracts were prepared for 278 papers of this conference.

  11. Machine tool locator

    DOEpatents

    Hanlon, John A.; Gill, Timothy J.

    2001-01-01

    Machine tools can be accurately measured and positioned on manufacturing machines within very small tolerances by use of an autocollimator on a 3-axis mount on a manufacturing machine and positioned so as to focus on a reference tooling ball or a machine tool, a digital camera connected to the viewing end of the autocollimator, and a marker and measure generator for receiving digital images from the camera, then displaying or measuring distances between the projection reticle and the reference reticle on the monitoring screen, and relating the distances to the actual position of the autocollimator relative to the reference tooling ball. The images and measurements are used to set the position of the machine tool and to measure the size and shape of the machine tool tip, and examine cutting edge wear. patent

  12. Fault Tolerant State Machines

    NASA Technical Reports Server (NTRS)

    Burke, Gary R.; Taft, Stephanie

    2004-01-01

    State machines are commonly used to control sequential logic in FPGAs and ASKS. An errant state machine can cause considerable damage to the device it is controlling. For example in space applications, the FPGA might be controlling Pyros, which when fired at the wrong time will cause a mission failure. Even a well designed state machine can be subject to random errors us a result of SEUs from the radiation environment in space. There are various ways to encode the states of a state machine, and the type of encoding makes a large difference in the susceptibility of the state machine to radiation. In this paper we compare 4 methods of state machine encoding and find which method gives the best fault tolerance, as well as determining the resources needed for each method.

  13. Advanced light source: Compendium of user abstracts and technical reports,1993-1996

    SciTech Connect

    None, None

    1997-04-01

    This compendium contains abstracts written by users summarizing research completed or in progress from 1993-1996, ALS technical reports describing ongoing efforts related to improvement in machine operations and research and development projects, and information on ALS beamlines planned through 1998. Two tables of contents organize the user abstracts by beamline and by area of research, and an author index makes abstracts accessible by author and by principal investigator. Technical details for each beamline including whom to contact for additional information can be found in the beamline information section. Separate abstracts have been indexed into the database for contributions to this compendium.

  14. Chaotic Boltzmann machines

    PubMed Central

    Suzuki, Hideyuki; Imura, Jun-ichi; Horio, Yoshihiko; Aihara, Kazuyuki

    2013-01-01

    The chaotic Boltzmann machine proposed in this paper is a chaotic pseudo-billiard system that works as a Boltzmann machine. Chaotic Boltzmann machines are shown numerically to have computing abilities comparable to conventional (stochastic) Boltzmann machines. Since no randomness is required, efficient hardware implementation is expected. Moreover, the ferromagnetic phase transition of the Ising model is shown to be characterised by the largest Lyapunov exponent of the proposed system. In general, a method to relate probabilistic models to nonlinear dynamics by derandomising Gibbs sampling is presented. PMID:23558425

  15. Abstract Expression Grammar Symbolic Regression

    NASA Astrophysics Data System (ADS)

    Korns, Michael F.

    This chapter examines the use of Abstract Expression Grammars to perform the entire Symbolic Regression process without the use of Genetic Programming per se. The techniques explored produce a symbolic regression engine which has absolutely no bloat, which allows total user control of the search space and output formulas, which is faster, and more accurate than the engines produced in our previous papers using Genetic Programming. The genome is an all vector structure with four chromosomes plus additional epigenetic and constraint vectors, allowing total user control of the search space and the final output formulas. A combination of specialized compiler techniques, genetic algorithms, particle swarm, aged layered populations, plus discrete and continuous differential evolution are used to produce an improved symbolic regression sytem. Nine base test cases, from the literature, are used to test the improvement in speed and accuracy. The improved results indicate that these techniques move us a big step closer toward future industrial strength symbolic regression systems.

  16. Toward Millimagnitude Photometric Calibration (Abstract)

    NASA Astrophysics Data System (ADS)

    Dose, E.

    2014-12-01

    (Abstract only) Asteroid roation, exoplanet transits, and similar measurements will increasingly call for photometric precisions better than about 10 millimagnitudes, often between nights and ideally between distant observers. The present work applies detailed spectral simulations to test popular photometric calibration practices, and to test new extensions of these practices. Using 107 synthetic spectra of stars of diverse colors, detailed atmospheric transmission spectra computed by solar-energy software, realistic spectra of popular astronomy gear, and the option of three sources of noise added at realistic millimagnitude levels, we find that certain adjustments to current calibration practices can help remove small systematic errors, especially for imperfect filters, high airmasses, and possibly passing thin cirrus clouds.

  17. Abstraction Planning in Real Time

    NASA Technical Reports Server (NTRS)

    Washington, Richard

    1994-01-01

    When a planning agent works in a complex, real-world domain, it is unable to plan for and store all possible contingencies and problem situations ahead of time. The agent needs to be able to fall back on an ability to construct plans at run time under time constraints. This thesis presents a method for planning at run time that incrementally builds up plans at multiple levels of abstraction. The plans are continually updated by information from the world, allowing the planner to adjust its plan to a changing world during the planning process. All the information is represented over intervals of time, allowing the planner to reason about durations, deadlines, and delays within its plan. In addition to the method, the thesis presents a formal model of the planning process and uses the model to investigate planning strategies. The method has been implemented, and experiments have been run to validate the overall approach and the theoretical model.

  18. Abstraction Planning in Real Time

    NASA Technical Reports Server (NTRS)

    Washington, R.

    1994-01-01

    When a planning agent works in a complex, real-world domain, it is unable to plan for and store all possible contingencies and problem situations ahead of time. This thesis presents a method for planning a run time that incrementally builds up plans at multiple levels of abstraction. The plans are continually updated by information from the world, allowing the planner to adjust its plan to a changing world during the planning process. All the information is represented over intervals of time, allowing the planner to reason about durations, deadlines, and delays within its plan. In addition to the method, the thesis presents a formal model of the planning process and uses the model to investigate planning strategies.

  19. Diamond machine tool face lapping machine

    DOEpatents

    Yetter, H.H.

    1985-05-06

    An apparatus for shaping, sharpening and polishing diamond-tipped single-point machine tools. The isolation of a rotating grinding wheel from its driving apparatus using an air bearing and causing the tool to be shaped, polished or sharpened to be moved across the surface of the grinding wheel so that it does not remain at one radius for more than a single rotation of the grinding wheel has been found to readily result in machine tools of a quality which can only be obtained by the most tedious and costly processing procedures, and previously unattainable by simple lapping techniques.

  20. Abstraction/Representation Theory for heterotic physical computing.

    PubMed

    Horsman, D C

    2015-07-28

    We give a rigorous framework for the interaction of physical computing devices with abstract computation. Device and program are mediated by the non-logical representation relation; we give the conditions under which representation and device theory give rise to commuting diagrams between logical and physical domains, and the conditions for computation to occur. We give the interface of this new framework with currently existing formal methods, showing in particular its close relationship to refinement theory, and the implications for questions of meaning and reference in theoretical computer science. The case of hybrid computing is considered in detail, addressing in particular the example of an Internet-mediated social machine, and the abstraction/representation framework used to provide a formal distinction between heterotic and hybrid computing. This forms the basis for future use of the framework in formal treatments of non-standard physical computers. PMID:26078343

  1. Compound taper milling machine

    NASA Technical Reports Server (NTRS)

    Campbell, N. R.

    1969-01-01

    Simple, inexpensive milling machine tapers panels from a common apex to a uniform height at panel edge regardless of the panel perimeter configuration. The machine consists of an adjustable angled beam upon which the milling tool moves back and forth above a rotatable table upon which the workpiece is held.

  2. Technique for Machining Glass

    NASA Technical Reports Server (NTRS)

    Rice, S. H.

    1982-01-01

    Process for machining glass with conventional carbide tools requires a small quantity of a lubricant for aluminum applied to area of glass to be machined. A carbide tool is then placed against workpiece with light pressure. Tool is raised periodically to clear work of glass dust and particles. Additional lubricant is applied as it is displaced.

  3. THE TEACHING MACHINE.

    ERIC Educational Resources Information Center

    KLEIN, CHARLES; WAYNE, ELLIS

    THE ROLE OF THE TEACHING MACHINE IS COMPARED WITH THE ROLE OF THE PROGRAMED TEXTBOOK. THE TEACHING MACHINE IS USED FOR INDIVIDUAL INSTRUCTION, CONTAINS AND PRESENTS PROGRAM CONTENT IN STEPS, PROVIDES A MEANS WHEREBY THE STUDENT MAY RESPOND TO THE PROGRAM, PROVIDES THE STUDENT WITH IMMEDIATE INFORMATION OF SOME KIND CONCERNING HIS RESPONSE THAT CAN…

  4. Simple Machines Made Simple.

    ERIC Educational Resources Information Center

    St. Andre, Ralph E.

    Simple machines have become a lost point of study in elementary schools as teachers continue to have more material to cover. This manual provides hands-on, cooperative learning activities for grades three through eight concerning the six simple machines: wheel and axle, inclined plane, screw, pulley, wedge, and lever. Most activities can be…

  5. Simple Machine Junk Cars

    ERIC Educational Resources Information Center

    Herald, Christine

    2010-01-01

    During the month of May, the author's eighth-grade physical science students study the six simple machines through hands-on activities, reading assignments, videos, and notes. At the end of the month, they can easily identify the six types of simple machine: inclined plane, wheel and axle, pulley, screw, wedge, and lever. To conclude this unit,…

  6. Friction-Testing Machine

    NASA Technical Reports Server (NTRS)

    Benz, F. J.; Dixon, D. S.; Shaw, R. C.

    1986-01-01

    Testing machine evaluates wear and ignition characteristics of materials in rubbing contact. Offers advantages over other laboratory methods of measuring wear because it simulates operating conditions under which material will actually be used. Machine used to determine wear characteristics, rank and select materials for service with such active oxidizers as oxygen, halogens, and oxides of nitrogen, measure wear characteristics, and determine coefficients of friction.

  7. An asymptotical machine

    NASA Astrophysics Data System (ADS)

    Cristallini, Achille

    2016-07-01

    A new and intriguing machine may be obtained replacing the moving pulley of a gun tackle with a fixed point in the rope. Its most important feature is the asymptotic efficiency. Here we obtain a satisfactory description of this machine by means of vector calculus and elementary trigonometry. The mathematical model has been compared with experimental data and briefly discussed.

  8. Machining heavy plastic sections

    NASA Technical Reports Server (NTRS)

    Stalkup, O. M.

    1967-01-01

    Machining technique produces consistently satisfactory plane-parallel optical surfaces for pressure windows, made of plexiglass, required to support a photographic study of liquid rocket combustion processes. The surfaces are machined and polished to the required tolerances and show no degradation from stress relaxation over periods as long as 6 months.

  9. Machine Translation Project

    NASA Technical Reports Server (NTRS)

    Bajis, Katie

    1993-01-01

    The characteristics and capabilities of existing machine translation systems were examined and procurement recommendations were developed. Four systems, SYSTRAN, GLOBALINK, PC TRANSLATOR, and STYLUS, were determined to meet the NASA requirements for a machine translation system. Initially, four language pairs were selected for implementation. These are Russian-English, French-English, German-English, and Japanese-English.

  10. Stirling machine operating experience

    SciTech Connect

    Ross, B.; Dudenhoefer, J.E.

    1994-09-01

    Numerous Stirling machines have been built and operated, but the operating experience of these machines is not well known. It is important to examine this operating experience in detail, because it largely substantiates the claim that stirling machines are capable of reliable and lengthy operating lives. The amount of data that exists is impressive, considering that many of the machines that have been built are developmental machines intended to show proof of concept, and are not expected to operate for lengthy periods of time. Some Stirling machines (typically free-piston machines) achieve long life through non-contact bearings, while other Stirling machines (typically kinematic) have achieved long operating lives through regular seal and bearing replacements. In addition to engine and system testing, life testing of critical components is also considered. The record in this paper is not complete, due to the reluctance of some organizations to release operational data and because several organizations were not contacted. The authors intend to repeat this assessment in three years, hoping for even greater participation.

  11. Efficient Checkpointing of Virtual Machines using Virtual Machine Introspection

    SciTech Connect

    Aderholdt, Ferrol; Han, Fang; Scott, Stephen L; Naughton, III, Thomas J

    2014-01-01

    Cloud Computing environments rely heavily on system-level virtualization. This is due to the inherent benefits of virtualization including fault tolerance through checkpoint/restart (C/R) mechanisms. Because clouds are the abstraction of large data centers and large data centers have a higher potential for failure, it is imperative that a C/R mechanism for such an environment provide minimal latency as well as a small checkpoint file size. Recently, there has been much research into C/R with respect to virtual machines (VM) providing excellent solutions to reduce either checkpoint latency or checkpoint file size. However, these approaches do not provide both. This paper presents a method of checkpointing VMs by utilizing virtual machine introspection (VMI). Through the usage of VMI, we are able to determine which pages of memory within the guest are used or free and are better able to reduce the amount of pages written to disk during a checkpoint. We have validated this work by using various benchmarks to measure the latency along with the checkpoint size. With respect to checkpoint file size, our approach results in file sizes within 24% or less of the actual used memory within the guest. Additionally, the checkpoint latency of our approach is up to 52% faster than KVM s default method.

  12. BRITISH MOLDING MACHINE, PBQ AUTOMATIC COPE AND DRAG MOLDING MACHINE ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    BRITISH MOLDING MACHINE, PBQ AUTOMATIC COPE AND DRAG MOLDING MACHINE MAKES BOTH MOLD HALVES INDIVIDUALLY WHICH ARE LATER ROTATED, ASSEMBLED, AND LOWERED TO POURING CONVEYORS BY ASSISTING MACHINES. - Southern Ductile Casting Company, Casting, 2217 Carolina Avenue, Bessemer, Jefferson County, AL

  13. 14. Interior, Machine Shop, Roundhouse Machine Shop Extension, Southern Pacific ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    14. Interior, Machine Shop, Roundhouse Machine Shop Extension, Southern Pacific Railroad Carlin Shops, view to north (90mm lens). - Southern Pacific Railroad, Carlin Shops, Roundhouse Machine Shop Extension, Foot of Sixth Street, Carlin, Elko County, NV

  14. Machine tool evaluation and machining operation development

    SciTech Connect

    Morris, T.O.; Kegg, R.

    1997-03-15

    The purpose of this CRADA was to support Cincinnati Milacron`s needs in fabricating precision components, from difficult to machine materials, while maintaining and enhancing the precision manufacturing skills of the Oak Ridge Complex. Oak Ridge and Cincinnati Milacron personnel worked in a team relationship wherein each contributed equally to the success of the program. Process characterization, control technologies, machine tool capabilities, and environmental issues were the primary focus areas. In general, Oak Ridge contributed a wider range of expertise in machine tool testing and monitoring, and environmental testing on machining fluids to the defined tasks while Cincinnati Milacron personnel provided equipment, operations-specific knowledge and shop-floor services to each task. Cincinnati Milacron was very pleased with the results of all of the CRADA tasks. However, some of the environmental tasks were not carried through to a desired completion due to an expanding realization of need as the work progressed. This expansion of the desired goals then exceeded the time length of the CRADA. Discussions are underway on continuing these tasks under either a Work for Others agreement or some alternate funding.

  15. Micro-machining.

    PubMed

    Brinksmeier, Ekkard; Preuss, Werner

    2012-08-28

    Manipulating bulk material at the atomic level is considered to be the domain of physics, chemistry and nanotechnology. However, precision engineering, especially micro-machining, has become a powerful tool for controlling the surface properties and sub-surface integrity of the optical, electronic and mechanical functional parts in a regime where continuum mechanics is left behind and the quantum nature of matter comes into play. The surprising subtlety of micro-machining results from the extraordinary precision of tools, machines and controls expanding into the nanometre range-a hundred times more precise than the wavelength of light. In this paper, we will outline the development of precision engineering, highlight modern achievements of ultra-precision machining and discuss the necessity of a deeper physical understanding of micro-machining. PMID:22802498

  16. Introduction to machine learning.

    PubMed

    Baştanlar, Yalin; Ozuysal, Mustafa

    2014-01-01

    The machine learning field, which can be briefly defined as enabling computers make successful predictions using past experiences, has exhibited an impressive development recently with the help of the rapid increase in the storage capacity and processing power of computers. Together with many other disciplines, machine learning methods have been widely employed in bioinformatics. The difficulties and cost of biological analyses have led to the development of sophisticated machine learning approaches for this application area. In this chapter, we first review the fundamental concepts of machine learning such as feature assessment, unsupervised versus supervised learning and types of classification. Then, we point out the main issues of designing machine learning experiments and their performance evaluation. Finally, we introduce some supervised learning methods. PMID:24272434

  17. An object-oriented extension for debugging the virtual machine

    SciTech Connect

    Pizzi, R.G. Jr.

    1994-12-01

    A computer is nothing more then a virtual machine programmed by source code to perform a task. The program`s source code expresses abstract constructs which are compiled into some lower level target language. When a virtual machine breaks, it can be very difficult to debug because typical debuggers provide only low-level target implementation information to the software engineer. We believe that the debugging task can be simplified by introducing aspects of the abstract design and data into the source code. We introduce OODIE, an object-oriented extension to programming languages that allows programmers to specify a virtual environment by describing the meaning of the design and data of a virtual machine. This specification is translated into symbolic information such that an augmented debugger can present engineers with a programmable debugging environment specifically tailored for the virtual machine that is to be debugged.

  18. An abstract approach to music.

    SciTech Connect

    Kaper, H. G.; Tipei, S.

    1999-04-19

    In this article we have outlined a formal framework for an abstract approach to music and music composition. The model is formulated in terms of objects that have attributes, obey relationships, and are subject to certain well-defined operations. The motivation for this approach uses traditional terms and concepts of music theory, but the approach itself is formal and uses the language of mathematics. The universal object is an audio wave; partials, sounds, and compositions are special objects, which are placed in a hierarchical order based on time scales. The objects have both static and dynamic attributes. When we realize a composition, we assign values to each of its attributes: a (scalar) value to a static attribute, an envelope and a size to a dynamic attribute. A composition is then a trajectory in the space of aural events, and the complex audio wave is its formal representation. Sounds are fibers in the space of aural events, from which the composer weaves the trajectory of a composition. Each sound object in turn is made up of partials, which are the elementary building blocks of any music composition. The partials evolve on the fastest time scale in the hierarchy of partials, sounds, and compositions. The ideas outlined in this article are being implemented in a digital instrument for additive sound synthesis and in software for music composition. A demonstration of some preliminary results has been submitted by the authors for presentation at the conference.

  19. Ozone Conference II: Abstract Proceedings

    SciTech Connect

    1999-11-01

    Ozone Conference II: Pre- and Post-Harvest Applications Two Years After Gras, was held September 27-28, 1999 in Tulare, California. This conference, sponsored by EPRI's Agricultural Technology Alliance and Southern California Edison's AgTAC facility, was coordinated and organized by the on-site ATA-AgTAC Regional Center. Approximately 175 people attended the day-and-a-half conference at AgTAC. During the Conference twenty-two presentations were given on ozone food processing and agricultural applications. Included in the presentations were topics on: (1) Ozone fumigation; (2) Ozone generation techniques; (3) System and design applications; (4) Prewater treatment requirements; (5) Poultry water reuse; (6) Soil treatments with ozone gas; and (7) Post-harvest aqueous and gaseous ozone research results. A live videoconference between Tulare and Washington, D.C. was held to discuss the regulators' view from inside the beltway. Attendees participated in two Roundtable Question and Answer sessions and visited fifteen exhibits and demonstrations. The attendees included university and governmental researchers, regulators, consultants and industry experts, technology developers and providers, and corporate and individual end-users. This report is comprised of the Abstracts of each presentation, biographical sketches for each speaker and a registration/attendees list.

  20. 1986 annual information meeting. Abstracts

    SciTech Connect

    Not Available

    1986-01-01

    Abstracts are presented for the following papers: Geohydrological Research at the Y-12 Plant (C.S. Haase); Ecological Impacts of Waste Disposal Operations in Bear Creek Valley Near the Y-12 Plant (J.M. Loar); Finite Element Simulation of Subsurface Contaminant Transport: Logistic Difficulties in Handling Large Field Problems (G.T. Yeh); Dynamic Compaction of a Radioactive Waste Burial Trench (B.P. Spalding); Comparative Evaluation of Potential Sites for a High-Level Radioactive Waste Repository (E.D. Smith); Changing Priorities in Environmental Assessment and Environmental Compliance (R.M. Reed); Ecology, Ecotoxicology, and Ecological Risk Assessment (L.W. Barnthouse); Theory and Practice in Uncertainty Analysis from Ten Years of Practice (R.H. Gardner); Modeling Landscape Effects of Forest Decline (V.H. Dale); Soil Nitrogen and the Global Carbon Cycle (W.M. Post); Maximizing Wood Energy Production in Short-Rotation Plantations: Effect of Initial Spacing and Rotation Length (L.L. Wright); and Ecological Communities and Processes in Woodland Streams Exhibit Both Direct and Indirect Effects of Acidification (J.W. Elwood).

  1. Attracting Girls into Physics (abstract)

    NASA Astrophysics Data System (ADS)

    Gadalla, Afaf

    2009-04-01

    A recent international study of women in physics showed that enrollment in physics and science is declining for both males and females and that women are severely underrepresented in careers requiring a strong physics background. The gender gap begins early in the pipeline, from the first grade. Girls are treated differently than boys at home and in society in ways that often hinder their chances for success. They have fewer freedoms, are discouraged from accessing resources or being adventurous, have far less exposure to problem solving, and are not encouraged to choose their lives. In order to motivate more girl students to study physics in the Assiut governorate of Egypt, the Assiut Alliance for the Women and Assiut Education District collaborated in renovating the education of physics in middle and secondary school classrooms. A program that helps in increasing the number of girls in science and physics has been designed in which informal groupings are organized at middle and secondary schools to involve girls in the training and experiences needed to attract and encourage girls to learn physics. During implementation of the program at some schools, girls, because they had not been trained in problem-solving as boys, appeared not to be as facile in abstracting the ideas of physics, and that was the primary reason for girls dropping out of science and physics. This could be overcome by holding a topical physics and technology summer school under the supervision of the Assiut Alliance for the Women.

  2. Machine Phase Fullerene Nanotechnology: 1996

    NASA Technical Reports Server (NTRS)

    Globus, Al; Chancellor, Marisa K. (Technical Monitor)

    1997-01-01

    NASA has used exotic materials for spacecraft and experimental aircraft to good effect for many decades. In spite of many advances, transportation to space still costs about $10,000 per pound. Drexler has proposed a hypothetical nanotechnology based on diamond and investigated the properties of such molecular systems. These studies and others suggest enormous potential for aerospace systems. Unfortunately, methods to realize diamonoid nanotechnology are at best highly speculative. Recent computational efforts at NASA Ames Research Center and computation and experiment elsewhere suggest that a nanotechnology of machine phase functionalized fullerenes may be synthetically relatively accessible and of great aerospace interest. Machine phase materials are (hypothetical) materials consisting entirely or in large part of microscopic machines. In a sense, most living matter fits this definition. To begin investigation of fullerene nanotechnology, we used molecular dynamics to study the properties of carbon nanotube based gears and gear/shaft configurations. Experiments on C60 and quantum calculations suggest that benzyne may react with carbon nanotubes to form gear teeth. Han has computationally demonstrated that molecular gears fashioned from (14,0) single-walled carbon nanotubes and benzyne teeth should operate well at 50-100 gigahertz. Results suggest that rotation can be converted to rotating or linear motion, and linear motion may be converted into rotation. Preliminary results suggest that these mechanical systems can be cooled by a helium atmosphere. Furthermore, Deepak has successfully simulated using helical electric fields generated by a laser to power fullerene gears once a positive and negative charge have been added to form a dipole. Even with mechanical motion, cooling, and power; creating a viable nanotechnology requires support structures, computer control, a system architecture, a variety of components, and some approach to manufacture. Additional

  3. The Basic Anaesthesia Machine

    PubMed Central

    Gurudatt, CL

    2013-01-01

    After WTG Morton's first public demonstration in 1846 of use of ether as an anaesthetic agent, for many years anaesthesiologists did not require a machine to deliver anaesthesia to the patients. After the introduction of oxygen and nitrous oxide in the form of compressed gases in cylinders, there was a necessity for mounting these cylinders on a metal frame. This stimulated many people to attempt to construct the anaesthesia machine. HEG Boyle in the year 1917 modified the Gwathmey's machine and this became popular as Boyle anaesthesia machine. Though a lot of changes have been made for the original Boyle machine still the basic structure remains the same. All the subsequent changes which have been brought are mainly to improve the safety of the patients. Knowing the details of the basic machine will make the trainee to understand the additional improvements. It is also important for every practicing anaesthesiologist to have a thorough knowledge of the basic anaesthesia machine for safe conduct of anaesthesia. PMID:24249876

  4. The basic anaesthesia machine.

    PubMed

    Gurudatt, Cl

    2013-09-01

    After WTG Morton's first public demonstration in 1846 of use of ether as an anaesthetic agent, for many years anaesthesiologists did not require a machine to deliver anaesthesia to the patients. After the introduction of oxygen and nitrous oxide in the form of compressed gases in cylinders, there was a necessity for mounting these cylinders on a metal frame. This stimulated many people to attempt to construct the anaesthesia machine. HEG Boyle in the year 1917 modified the Gwathmey's machine and this became popular as Boyle anaesthesia machine. Though a lot of changes have been made for the original Boyle machine still the basic structure remains the same. All the subsequent changes which have been brought are mainly to improve the safety of the patients. Knowing the details of the basic machine will make the trainee to understand the additional improvements. It is also important for every practicing anaesthesiologist to have a thorough knowledge of the basic anaesthesia machine for safe conduct of anaesthesia. PMID:24249876

  5. Machine Learning and Radiology

    PubMed Central

    Wang, Shijun; Summers, Ronald M.

    2012-01-01

    In this paper, we give a short introduction to machine learning and survey its applications in radiology. We focused on six categories of applications in radiology: medical image segmentation, registration, computer aided detection and diagnosis, brain function or activity analysis and neurological disease diagnosis from fMR images, content-based image retrieval systems for CT or MRI images, and text analysis of radiology reports using natural language processing (NLP) and natural language understanding (NLU). This survey shows that machine learning plays a key role in many radiology applications. Machine learning identifies complex patterns automatically and helps radiologists make intelligent decisions on radiology data such as conventional radiographs, CT, MRI, and PET images and radiology reports. In many applications, the performance of machine learning-based automatic detection and diagnosis systems has shown to be comparable to that of a well-trained and experienced radiologist. Technology development in machine learning and radiology will benefit from each other in the long run. Key contributions and common characteristics of machine learning techniques in radiology are discussed. We also discuss the problem of translating machine learning applications to the radiology clinical setting, including advantages and potential barriers. PMID:22465077

  6. DNA-based machines.

    PubMed

    Wang, Fuan; Willner, Bilha; Willner, Itamar

    2014-01-01

    The base sequence in nucleic acids encodes substantial structural and functional information into the biopolymer. This encoded information provides the basis for the tailoring and assembly of DNA machines. A DNA machine is defined as a molecular device that exhibits the following fundamental features. (1) It performs a fuel-driven mechanical process that mimics macroscopic machines. (2) The mechanical process requires an energy input, "fuel." (3) The mechanical operation is accompanied by an energy consumption process that leads to "waste products." (4) The cyclic operation of the DNA devices, involves the use of "fuel" and "anti-fuel" ingredients. A variety of DNA-based machines are described, including the construction of "tweezers," "walkers," "robots," "cranes," "transporters," "springs," "gears," and interlocked cyclic DNA structures acting as reconfigurable catenanes, rotaxanes, and rotors. Different "fuels", such as nucleic acid strands, pH (H⁺/OH⁻), metal ions, and light, are used to trigger the mechanical functions of the DNA devices. The operation of the devices in solution and on surfaces is described, and a variety of optical, electrical, and photoelectrochemical methods to follow the operations of the DNA machines are presented. We further address the possible applications of DNA machines and the future perspectives of molecular DNA devices. These include the application of DNA machines as functional structures for the construction of logic gates and computing, for the programmed organization of metallic nanoparticle structures and the control of plasmonic properties, and for controlling chemical transformations by DNA machines. We further discuss the future applications of DNA machines for intracellular sensing, controlling intracellular metabolic pathways, and the use of the functional nanostructures for drug delivery and medical applications. PMID:24647836

  7. Abstraction and reformulation in artificial intelligence.

    PubMed Central

    Holte, Robert C.; Choueiry, Berthe Y.

    2003-01-01

    This paper contributes in two ways to the aims of this special issue on abstraction. The first is to show that there are compelling reasons motivating the use of abstraction in the purely computational realm of artificial intelligence. The second is to contribute to the overall discussion of the nature of abstraction by providing examples of the abstraction processes currently used in artificial intelligence. Although each type of abstraction is specific to a somewhat narrow context, it is hoped that collectively they illustrate the richness and variety of abstraction in its fullest sense. PMID:12903653

  8. Annotating user-defined abstractions for optimization

    SciTech Connect

    Quinlan, D; Schordan, M; Vuduc, R; Yi, Q

    2005-12-05

    This paper discusses the features of an annotation language that we believe to be essential for optimizing user-defined abstractions. These features should capture semantics of function, data, and object-oriented abstractions, express abstraction equivalence (e.g., a class represents an array abstraction), and permit extension of traditional compiler optimizations to user-defined abstractions. Our future work will include developing a comprehensive annotation language for describing the semantics of general object-oriented abstractions, as well as automatically verifying and inferring the annotated semantics.

  9. Quantum Boltzmann Machine

    NASA Astrophysics Data System (ADS)

    Kulchytskyy, Bohdan; Andriyash, Evgeny; Amin, Mohammed; Melko, Roger

    The field of machine learning has been revolutionized by the recent improvements in the training of deep networks. Their architecture is based on a set of stacked layers of simpler modules. One of the most successful building blocks, known as a restricted Boltzmann machine, is an energetic model based on the classical Ising Hamiltonian. In our work, we investigate the benefits of quantum effects on the learning capacity of Boltzmann machines by extending its underlying Hamiltonian with a transverse field. For this purpose, we employ exact and stochastic training procedures on data sets with physical origins.

  10. OPTICAM machine design

    NASA Astrophysics Data System (ADS)

    Liedes, Jyrki T.

    1992-01-01

    Rank Pneumo has worked with the Center of Optics Manufacturing to design a multiple-axis flexible machining center for spherical lens fabrication. The OPTICAM/SM prototype machine has been developed in cooperation with the Center's Manufacturing Advisory Board. The SM will generate, fine grind, pre-polish, and center a spherical lens surface in one setup sequence. Unique features of the design incorporate machine resident metrology to provide RQM (Real-time Quality Management) and closed-loop feedback control that corrects for lens thickness, diameter, and centering error. SPC (Statistical Process Control) software can compensate for process drift and QA data collection is provided without additional labor.

  11. Machine Tool Software

    NASA Technical Reports Server (NTRS)

    1988-01-01

    A NASA-developed software package has played a part in technical education of students who major in Mechanical Engineering Technology at William Rainey Harper College. Professor Hack has been using (APT) Automatically Programmed Tool Software since 1969 in his CAD/CAM Computer Aided Design and Manufacturing curriculum. Professor Hack teaches the use of APT programming languages for control of metal cutting machines. Machine tool instructions are geometry definitions written in APT Language to constitute a "part program." The part program is processed by the machine tool. CAD/CAM students go from writing a program to cutting steel in the course of a semester.

  12. Laser machining of ceramic

    SciTech Connect

    Laudel, A.

    1980-01-01

    The Kansas City Division of The Bendix Corporation manufactures hybrid microcircuits (HMCs) using both thin film and thick film technologies. Laser machining is used to contour the ceramic substrates and to drill holes in the ceramic for frontside-backside interconnections (vias) and holes for mounting components. A 1000 W CO/sub 2/ type laser is used. The laser machining process, and methods used for removing protruding debris and debris from holes, for cleaning the machined surfaces, and for refiring are described. The laser machining process described consistently produces vias, component holes and contours with acceptable surface quality, hole locations, diameter, flatness and metallization adhesion. There are no cracks indicated by dipping in fluorescent dye penetrant and the substances are resistant to repeated thermal shock.

  13. Tunnel boring machine

    SciTech Connect

    Snyder, L. L.

    1985-07-09

    A tunnel boring machine for controlled boring of a curvilinear tunnel including a rotating cutter wheel mounted on the forward end of a thrust cylinder assembly having a central longitudinal axis aligned with the cutter wheel axis of rotation; the thrust cylinder assembly comprising a cylinder barrel and an extendable and retractable thrust arm received therein. An anchoring assembly is pivotally attached to the rear end of the cylinder barrel for anchoring the machine during a cutting stroke and providing a rear end pivot axis during curved cutting strokes. A pair of laterally extending, extendable and retractable arms are fixedly mounted at a forward portion of the cylinder barrel for providing lateral displacement in a laterally curved cutting mode and for anchoring the machine between cutting strokes and during straight line boring. Forward and rear transverse displacement and support assemblies are provided to facilitate cutting in a transversely curved cutting mode and to facilitate machine movement between cutting strokes.

  14. Data Machine Independence

    1994-12-30

    Data-machine independence achieved by using four technologies (ASN.1, XDR, SDS, and ZEBRA) has been evaluated by encoding two different applications in each of the above; and their results compared against the standard programming method using C.

  15. OIL POLLUTION ABSTRACTS. VOLUME 6, NUMBER 1

    EPA Science Inventory

    Oil Pollution Abstracts (formerly entitled Oil Pollution Reports) is a quarterly compilation of abstracts of current oil pollution related literature and research projects. Comprehensive coverage of oil pollution and its prevention and control is provided, with emphasis on the aq...

  16. An algorithm for generating abstract syntax trees

    NASA Technical Reports Server (NTRS)

    Noonan, R. E.

    1985-01-01

    The notion of an abstract syntax is discussed. An algorithm is presented for automatically deriving an abstract syntax directly from a BNF grammar. The implementation of this algorithm and its application to the grammar for Modula are discussed.

  17. 16. Interior, Machine Shop, Roundhouse Machine Shop Extension, Southern Pacific ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    16. Interior, Machine Shop, Roundhouse Machine Shop Extension, Southern Pacific Railroad Carlin Shops, view to south (90mm lens). Note the large segmental-arched doorway to move locomotives in and out of Machine Shop. - Southern Pacific Railroad, Carlin Shops, Roundhouse Machine Shop Extension, Foot of Sixth Street, Carlin, Elko County, NV

  18. A Function Machine

    ERIC Educational Resources Information Center

    Hewitt, Dave

    2008-01-01

    In this article, the author describes a lesson he observed involving a function machine. This function machine was a box with a slot at the top of one side and a large cut-out hole at the bottom of the opposite side. A card with a number written on it (the input) was pushed into the slot and the teacher put their hand through the hole of the other…

  19. Doubly fed induction machine

    DOEpatents

    Skeist, S. Merrill; Baker, Richard H.

    2005-10-11

    An electro-mechanical energy conversion system coupled between an energy source and an energy load including an energy converter device having a doubly fed induction machine coupled between the energy source and the energy load to convert the energy from the energy source and to transfer the converted energy to the energy load and an energy transfer multiplexer coupled to the energy converter device to control the flow of power or energy through the doubly fed induction machine.

  20. Metalworking and machining fluids

    DOEpatents

    Erdemir, Ali; Sykora, Frank; Dorbeck, Mark

    2010-10-12

    Improved boron-based metal working and machining fluids. Boric acid and boron-based additives that, when mixed with certain carrier fluids, such as water, cellulose and/or cellulose derivatives, polyhydric alcohol, polyalkylene glycol, polyvinyl alcohol, starch, dextrin, in solid and/or solvated forms result in improved metalworking and machining of metallic work pieces. Fluids manufactured with boric acid or boron-based additives effectively reduce friction, prevent galling and severe wear problems on cutting and forming tools.

  1. Flexible machining systems described

    NASA Astrophysics Data System (ADS)

    Butters, H. J.

    1985-03-01

    The rationalization and gradual automation of short rotationally symmetric parts in the Saalfeld VEB Machine Tool Factory was carried out in three stages: (1) part-specific manufacturing; (2) automated production line for manufacturing toothed gears; and (3) automated manufacturing section for short rotationally symmetric parts. The development of numerically controlled machine tools and of industrial robot technology made possible automated manufacturing. The design of current facilities is explored, manufacturing control is examined, experience is reported.

  2. Human-machine interactions

    DOEpatents

    Forsythe, J. Chris; Xavier, Patrick G.; Abbott, Robert G.; Brannon, Nathan G.; Bernard, Michael L.; Speed, Ann E.

    2009-04-28

    Digital technology utilizing a cognitive model based on human naturalistic decision-making processes, including pattern recognition and episodic memory, can reduce the dependency of human-machine interactions on the abilities of a human user and can enable a machine to more closely emulate human-like responses. Such a cognitive model can enable digital technology to use cognitive capacities fundamental to human-like communication and cooperation to interact with humans.

  3. Sealing intersecting vane machines

    DOEpatents

    Martin, Jedd N.; Chomyszak, Stephen M.

    2007-06-05

    The invention provides a toroidal intersecting vane machine incorporating intersecting rotors to form primary and secondary chambers whose porting configurations minimize friction and maximize efficiency. Specifically, it is an object of the invention to provide a toroidal intersecting vane machine that greatly reduces the frictional losses through intersecting surfaces without the need for external gearing by modifying the width of one or both tracks at the point of intermeshing. The inventions described herein relate to these improvements.

  4. Sealing intersecting vane machines

    DOEpatents

    Martin, Jedd N.; Chomyszak, Stephen M.

    2005-06-07

    The invention provides a toroidal intersecting vane machine incorporating intersecting rotors to form primary and secondary chambers whose porting configurations minimize friction and maximize efficiency. Specifically, it is an object of the invention to provide a toroidal intersecting vane machine that greatly reduces the frictional losses through intersecting surfaces without the need for external gearing by modifying the width of one or both tracks at the point of intermeshing. The inventions described herein relate to these improvements.

  5. 2013 SYR Accepted Poster Abstracts.

    PubMed

    2013-01-01

    SYR 2013 Accepted Poster abstracts: 1. Benefits of Yoga as a Wellness Practice in a Veterans Affairs (VA) Health Care Setting: If You Build It, Will They Come? 2. Yoga-based Psychotherapy Group With Urban Youth Exposed to Trauma. 3. Embodied Health: The Effects of a Mind�Body Course for Medical Students. 4. Interoceptive Awareness and Vegetable Intake After a Yoga and Stress Management Intervention. 5. Yoga Reduces Performance Anxiety in Adolescent Musicians. 6. Designing and Implementing a Therapeutic Yoga Program for Older Women With Knee Osteoarthritis. 7. Yoga and Life Skills Eating Disorder Prevention Among 5th Grade Females: A Controlled Trial. 8. A Randomized, Controlled Trial Comparing the Impact of Yoga and Physical Education on the Emotional and Behavioral Functioning of Middle School Children. 9. Feasibility of a Multisite, Community based Randomized Study of Yoga and Wellness Education for Women With Breast Cancer Undergoing Chemotherapy. 10. A Delphi Study for the Development of Protocol Guidelines for Yoga Interventions in Mental Health. 11. Impact Investigation of Breathwalk Daily Practice: Canada�India Collaborative Study. 12. Yoga Improves Distress, Fatigue, and Insomnia in Older Veteran Cancer Survivors: Results of a Pilot Study. 13. Assessment of Kundalini Mantra and Meditation as an Adjunctive Treatment With Mental Health Consumers. 14. Kundalini Yoga Therapy Versus Cognitive Behavior Therapy for Generalized Anxiety Disorder and Co-Occurring Mood Disorder. 15. Baseline Differences in Women Versus Men Initiating Yoga Programs to Aid Smoking Cessation: Quitting in Balance Versus QuitStrong. 16. Pranayam Practice: Impact on Focus and Everyday Life of Work and Relationships. 17. Participation in a Tailored Yoga Program is Associated With Improved Physical Health in Persons With Arthritis. 18. Effects of Yoga on Blood Pressure: Systematic Review and Meta-analysis. 19. A Quasi-experimental Trial of a Yoga based Intervention to Reduce Stress and

  6. Could a machine think

    SciTech Connect

    Churchland, P.M.; Churchland, P.S. )

    1990-01-01

    There are many reasons for saying yes. One of the earliest and deepest reason lay in two important results in computational theory. The first was Church's thesis, which states that every effectively computable function is recursively computable. The second important result was Alan M. Turing's demonstration that any recursively computable function can be computed in finite time by a maximally simple sort of symbol-manipulating machine that has come to be called a universal Turing machine. This machine is guided by a set of recursively applicable rules that are sensitive to the identity, order and arrangement of the elementary symbols it encounters as input. The authors reject the Turing test as a sufficient condition for conscious intelligence. They base their position of the specific behavioral failures of the classical SM machines and on the specific virtues of machines with a more brain-like architecture. These contrasts show that certain computational strategies have vast and decisive advantages over others where typical cognitive tasks are concerned, advantages that are empirically inescapable. Clearly, the brain is making systematic use of these computational advantage. But it need not be the only physical system capable of doing so. Artificial intelligence, in a nonbiological but massively parallel machine, remain a compelling and discernible prospect.

  7. At the HeART of Abstraction

    ERIC Educational Resources Information Center

    Berdit, Nancy

    2006-01-01

    Abstraction has long been a concept difficult to define for students. Students often feel the pressure of making their artwork "look real" and frustration can often lead to burnout in the classroom. In this article, the author describes how her lesson on abstraction has alleviated much of that pressure as students created an abstract acrylic…

  8. 37 CFR 1.438 - The abstract.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 37 Patents, Trademarks, and Copyrights 1 2010-07-01 2010-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...

  9. 37 CFR 1.438 - The abstract.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 37 Patents, Trademarks, and Copyrights 1 2011-07-01 2011-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...

  10. 37 CFR 1.438 - The abstract.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 37 Patents, Trademarks, and Copyrights 1 2013-07-01 2013-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...

  11. 37 CFR 1.438 - The abstract.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 37 Patents, Trademarks, and Copyrights 1 2014-07-01 2014-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...

  12. 37 CFR 1.438 - The abstract.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 37 Patents, Trademarks, and Copyrights 1 2012-07-01 2012-07-01 false The abstract. 1.438 Section 1... COMMERCE GENERAL RULES OF PRACTICE IN PATENT CASES International Processing Provisions The International Application § 1.438 The abstract. (a) Requirements as to the content and form of the abstract are set forth...

  13. Writing a Structured Abstract for the Thesis

    ERIC Educational Resources Information Center

    Hartley, James

    2010-01-01

    This article presents the author's suggestions on how to improve thesis abstracts. The author describes two books on writing abstracts: (1) "Creating Effective Conference Abstracts and Posters in Biomedicine: 500 tips for Success" (Fraser, Fuller & Hutber, 2009), a compendium of clear advice--a must book to have in one's hand as one prepares a…

  14. The Buttonhole Machine. Module 13.

    ERIC Educational Resources Information Center

    South Carolina State Dept. of Education, Columbia. Office of Vocational Education.

    This module on the bottonhole machine, one in a series dealing with industrial sewing machines, their attachments, and operation, covers two topics: performing special operations on the buttonhole machine (parts and purpose) and performing special operations on the buttonhole machine (gauged buttonholes). For each topic these components are…

  15. The Knife Machine. Module 15.

    ERIC Educational Resources Information Center

    South Carolina State Dept. of Education, Columbia. Office of Vocational Education.

    This module on the knife machine, one in a series dealing with industrial sewing machines, their attachments, and operation, covers one topic: performing special operations on the knife machine (a single needle or multi-needle machine which sews and cuts at the same time). These components are provided: an introduction, directions, an objective,…

  16. Research & writing basics: elements of the abstract.

    PubMed

    Krasner, D; Van Rijswijk, L

    1995-04-01

    Writing an abstract is a challenging skill that requires precision and care. Criteria for well-formulated abstracts and abstract guidelines for 2 types of articles (empirical studies and reviews or theoretical articles) as well as a description of the content of a structured abstract are presented. Details were gleaned from a review of the literature including the American Medical Association Manual of Style, Eighth Edition and the Publication Manual of the American Psychological Association, Fourth Edition. A good abstract is like a crystal: it is a clear, sharp synthesis that elucidates meaning for the reader. PMID:7546111

  17. Non-traditional machining techniques

    SciTech Connect

    Day, Robert D; Fierro, Frank; Garcia, Felix P; Hatch, Douglass J; Randolph, Randall B; Reardon, Patrick T; Rivera, Gerald

    2008-01-01

    During the course of machining targets for various experiments it sometimes becomes necessary to adapt fixtures or machines, which are designed for one function, to another function. When adapting a machine or fixture is not adequate, it may be necessary to acquire a machine specifically designed to produce the component required. In addition to the above scenarios, the features of a component may dictate that multi-step machining processes are necessary to produce the component. This paper discusses the machining of four components where adaptation, specialized machine design, or multi-step processes were necessary to produce the components.

  18. Extreme ultraviolet lithography machine

    DOEpatents

    Tichenor, Daniel A.; Kubiak, Glenn D.; Haney, Steven J.; Sweeney, Donald W.

    2000-01-01

    An extreme ultraviolet lithography (EUVL) machine or system for producing integrated circuit (IC) components, such as transistors, formed on a substrate. The EUVL machine utilizes a laser plasma point source directed via an optical arrangement onto a mask or reticle which is reflected by a multiple mirror system onto the substrate or target. The EUVL machine operates in the 10-14 nm wavelength soft x-ray photon. Basically the EUV machine includes an evacuated source chamber, an evacuated main or project chamber interconnected by a transport tube arrangement, wherein a laser beam is directed into a plasma generator which produces an illumination beam which is directed by optics from the source chamber through the connecting tube, into the projection chamber, and onto the reticle or mask, from which a patterned beam is reflected by optics in a projection optics (PO) box mounted in the main or projection chamber onto the substrate. In one embodiment of a EUVL machine, nine optical components are utilized, with four of the optical components located in the PO box. The main or projection chamber includes vibration isolators for the PO box and a vibration isolator mounting for the substrate, with the main or projection chamber being mounted on a support structure and being isolated.

  19. Organisms ≠ Machines.

    PubMed

    Nicholson, Daniel J

    2013-12-01

    The machine conception of the organism (MCO) is one of the most pervasive notions in modern biology. However, it has not yet received much attention by philosophers of biology. The MCO has its origins in Cartesian natural philosophy, and it is based on the metaphorical redescription of the organism as a machine. In this paper I argue that although organisms and machines resemble each other in some basic respects, they are actually very different kinds of systems. I submit that the most significant difference between organisms and machines is that the former are intrinsically purposive whereas the latter are extrinsically purposive. Using this distinction as a starting point, I discuss a wide range of dissimilarities between organisms and machines that collectively lay bare the inadequacy of the MCO as a general theory of living systems. To account for the MCO's prevalence in biology, I distinguish between its theoretical, heuristic, and rhetorical functions. I explain why the MCO is valuable when it is employed heuristically but not theoretically, and finally I illustrate the serious problems that arise from the rhetorical appeal to the MCO. PMID:23810470

  20. Brown coal preparation machines

    SciTech Connect

    Bleckmann, H.; Sitte, W.; Kellerwessel, H.

    1981-05-01

    Lignite usually requires comminuting and screening before being used as a fuel in power plants. Reduction machines normally used for coarse crushing bituminous coal, such as jaw crushers, roll crushers, and impact crushers, are not generally suitable for lignite as they require a brittle feed and large grain size. In contrast to these requirements, lignite can be easily compressed and has a small grain size. Therefore, special crusher types have been developed for the coarse reduction of lignite. These machines resemble roll crushers but subject the feed to shearing and tearing forces rather than to compressive stress. It is often necessary to screen the lignite to remove the undersize or to limit the maximum particle size before the next comminution process. Screening the lignite is a particularly difficult operation due to the high water content and the presence of clay minerals which tend to clog the screening machines. These problems can be overcome with multi-roll sizers.

  1. Micro-machined resonator

    DOEpatents

    Godshall, N.A.; Koehler, D.R.; Liang, A.Y.; Smith, B.K.

    1993-03-30

    A micro-machined resonator, typically quartz, with upper and lower micro-machinable support members, or covers, having etched wells which may be lined with conductive electrode material, between the support members is a quartz resonator having an energy trapping quartz mesa capacitively coupled to the electrode through a diaphragm; the quartz resonator is supported by either micro-machined cantilever springs or by thin layers extending over the surfaces of the support. If the diaphragm is rigid, clock applications are available, and if the diaphragm is resilient, then transducer applications can be achieved. Either the thin support layers or the conductive electrode material can be integral with the diaphragm. In any event, the covers are bonded to form a hermetic seal and the interior volume may be filled with a gas or may be evacuated. In addition, one or both of the covers may include oscillator and interface circuitry for the resonator.

  2. Micro-machined resonator

    DOEpatents

    Godshall, Ned A.; Koehler, Dale R.; Liang, Alan Y.; Smith, Bradley K.

    1993-01-01

    A micro-machined resonator, typically quartz, with upper and lower micro-machinable support members, or covers, having etched wells which may be lined with conductive electrode material, between the support members is a quartz resonator having an energy trapping quartz mesa capacitively coupled to the electrode through a diaphragm; the quartz resonator is supported by either micro-machined cantilever springs or by thin layers extending over the surfaces of the support. If the diaphragm is rigid, clock applications are available, and if the diaphragm is resilient, then transducer applications can be achieved. Either the thin support layers or the conductive electrode material can be integral with the diaphragm. In any event, the covers are bonded to form a hermetic seal and the interior volume may be filled with a gas or may be evacuated. In addition, one or both of the covers may include oscillator and interface circuitry for the resonator.

  3. Artificial Molecular Machines.

    PubMed

    Balzani; Credi; Raymo; Stoddart

    2000-10-01

    The miniaturization of components used in the construction of working devices is being pursued currently by the large-downward (top-down) fabrication. This approach, however, which obliges solid-state physicists and electronic engineers to manipulate progressively smaller and smaller pieces of matter, has its intrinsic limitations. An alternative approach is a small-upward (bottom-up) one, starting from the smallest compositions of matter that have distinct shapes and unique properties-namely molecules. In the context of this particular challenge, chemists have been extending the concept of a macroscopic machine to the molecular level. A molecular-level machine can be defined as an assembly of a distinct number of molecular components that are designed to perform machinelike movements (output) as a result of an appropriate external stimulation (input). In common with their macroscopic counterparts, a molecular machine is characterized by 1) the kind of energy input supplied to make it work, 2) the nature of the movements of its component parts, 3) the way in which its operation can be monitored and controlled, 4) the ability to make it repeat its operation in a cyclic fashion, 5) the timescale needed to complete a full cycle of movements, and 6) the purpose of its operation. Undoubtedly, the best energy inputs to make molecular machines work are photons or electrons. Indeed, with appropriately chosen photochemically and electrochemically driven reactions, it is possible to design and synthesize molecular machines that do work. Moreover, the dramatic increase in our fundamental understanding of self-assembly and self-organizational processes in chemical synthesis has aided and abetted the construction of artificial molecular machines through the development of new methods of noncovalent synthesis and the emergence of supramolecular assistance to covalent synthesis as a uniquely powerful synthetic tool. The aim of this review is to present a unified view of the field

  4. Perspex Machine X: software development

    NASA Astrophysics Data System (ADS)

    Noble, Sam; Thomas, Benjamin A.; Anderson, James A. D. W.

    2007-01-01

    The Perspex Machine arose from the unification of computation with geometry. We now report significant redevelopment of both a partial C compiler that generates perspex programs and of a Graphical User Interface (GUI). The compiler is constructed with standard compiler-generator tools and produces both an explicit parse tree for C and an Abstract Syntax Tree (AST) that is better suited to code generation. The GUI uses a hash table and a simpler software architecture to achieve an order of magnitude speed up in processing and, consequently, an order of magnitude increase in the number of perspexes that can be manipulated in real time (now 6,000). Two perspex-machine simulators are provided, one using trans-floating-point arithmetic and the other using transrational arithmetic. All of the software described here is available on the world wide web. The compiler generates code in the neural model of the perspex. At each branch point it uses a jumper to return control to the main fibre. This has the effect of pruning out an exponentially increasing number of branching fibres, thereby greatly increasing the efficiency of perspex programs as measured by the number of neurons required to implement an algorithm. The jumpers are placed at unit distance from the main fibre and form a geometrical structure analogous to a myelin sheath in a biological neuron. Both the perspex jumper-sheath and the biological myelin-sheath share the computational function of preventing cross-over of signals to neurons that lie close to an axon. This is an example of convergence driven by similar geometrical and computational constraints in perspex and biological neurons.

  5. Refrigerating machine oil

    SciTech Connect

    Nozawa, K.

    1981-03-17

    Refrigerating machine oil to be filled in a sealed motorcompressor unit constituting a refrigerating cycle system including an electric refrigerator, an electric cold-storage box, a small-scaled electric refrigerating show-case, a small-scaled electric cold-storage show-case and the like, is arranged to have a specifically enhanced property, in which smaller initial driving power consumption of the sealed motor-compressor and easier supply of the predetermined amount of the refrigerating machine oil to the refrigerating system are both guaranteed even in a rather low environmental temperature condition.

  6. The pendulum wave machine

    NASA Astrophysics Data System (ADS)

    Zetie, K. P.

    2015-05-01

    There are many examples on the internet of videos of ‘pendulum wave machines’ and how to make them (for example, www.instructables.com/id/Wave-Pendulum/). The machine is simply a set of pendula of different lengths which, when viewed end on, produce wave-like patterns from the positions of the bobs. These patterns change with time, with new patterns emerging as the bobs change phase. In this article, the physics of the machine is explored and explained, along with tips on how to build such a device.

  7. Precision Robotic Assembly Machine

    ScienceCinema

    None

    2010-09-01

    The world's largest laser system is the National Ignition Facility (NIF), located at Lawrence Livermore National Laboratory. NIF's 192 laser beams are amplified to extremely high energy, and then focused onto a tiny target about the size of a BB, containing frozen hydrogen gas. The target must be perfectly machined to incredibly demanding specifications. The Laboratory's scientists and engineers have developed a device called the "Precision Robotic Assembly Machine" for this purpose. Its unique design won a prestigious R&D-100 award from R&D Magazine.

  8. New photolithography stepping machine

    SciTech Connect

    Hale, L.; Klingmann, J.; Markle, D.

    1995-03-08

    A joint development project to design a new photolithography steeping machine capable of 150 nanometer overlay accuracy was completed by Ultratech Stepper and the Lawrence Livermore National Laboratory. The principal result of the project is a next-generation product that will strengthen the US position in step-and-repeat photolithography. The significant challenges addressed and solved in the project are the subject of this report. Design methods and new devices that have broader application to precision machine design are presented in greater detail while project specific information serves primarily as background and motivation.

  9. Paradigms for machine learning

    NASA Technical Reports Server (NTRS)

    Schlimmer, Jeffrey C.; Langley, Pat

    1991-01-01

    Five paradigms are described for machine learning: connectionist (neural network) methods, genetic algorithms and classifier systems, empirical methods for inducing rules and decision trees, analytic learning methods, and case-based approaches. Some dimensions are considered along with these paradigms vary in their approach to learning, and the basic methods are reviewed that are used within each framework, together with open research issues. It is argued that the similarities among the paradigms are more important than their differences, and that future work should attempt to bridge the existing boundaries. Finally, some recent developments in the field of machine learning are discussed, and their impact on both research and applications is examined.

  10. Automated fiber pigtailing machine

    DOEpatents

    Strand, Oliver T.; Lowry, Mark E.

    1999-01-01

    The Automated Fiber Pigtailing Machine (AFPM) aligns and attaches optical fibers to optoelectonic (OE) devices such as laser diodes, photodiodes, and waveguide devices without operator intervention. The so-called pigtailing process is completed with sub-micron accuracies in less than 3 minutes. The AFPM operates unattended for one hour, is modular in design and is compatible with a mass production manufacturing environment. This machine can be used to build components which are used in military aircraft navigation systems, computer systems, communications systems and in the construction of diagnostics and experimental systems.

  11. Machining in Microgravity

    NASA Astrophysics Data System (ADS)

    Vincent, Graylan

    2003-01-01

    A CNC mill was flown aboard NASA's KC-135 ``Weightless Wonder'' microgravity research aircraft to investigate the effect of gravity on the machining process and to demonstrate the feasibility and functionality of a CNC mill in a weightless environment, such as aboard the International Space Station. The experiment hypothesis was that the surface roughness of milling cuts made in microgravity would be of higher quality than cuts made in a gravitational environment due to increased chip removal. The technical problems associated with microgravity machining (such as the chip removal and collection process), and the engineering solutions to these problems were also evaluated in this experiment.

  12. Intersecting vane machines

    DOEpatents

    Bailey, H. Sterling; Chomyszak, Stephen M.

    2007-01-16

    The invention provides a toroidal intersecting vane machine incorporating intersecting rotors to form primary and secondary chambers whose porting configurations minimize friction and maximize efficiency. Specifically, it is an object of the invention to provide a toroidal intersecting vane machine that greatly reduces the frictional losses through meshing surfaces without the need for external gearing by modifying the function of one or the other of the rotors from that of "fluid moving" to that of "valving" thereby reducing the pressure loads and associated inefficiencies at the interface of the meshing surfaces. The inventions described herein relate to these improvements.

  13. Automated fiber pigtailing machine

    DOEpatents

    Strand, O.T.; Lowry, M.E.

    1999-01-05

    The Automated Fiber Pigtailing Machine (AFPM) aligns and attaches optical fibers to optoelectronic (OE) devices such as laser diodes, photodiodes, and waveguide devices without operator intervention. The so-called pigtailing process is completed with sub-micron accuracies in less than 3 minutes. The AFPM operates unattended for one hour, is modular in design and is compatible with a mass production manufacturing environment. This machine can be used to build components which are used in military aircraft navigation systems, computer systems, communications systems and in the construction of diagnostics and experimental systems. 26 figs.

  14. Precision Robotic Assembly Machine

    SciTech Connect

    2009-08-14

    The world's largest laser system is the National Ignition Facility (NIF), located at Lawrence Livermore National Laboratory. NIF's 192 laser beams are amplified to extremely high energy, and then focused onto a tiny target about the size of a BB, containing frozen hydrogen gas. The target must be perfectly machined to incredibly demanding specifications. The Laboratory's scientists and engineers have developed a device called the "Precision Robotic Assembly Machine" for this purpose. Its unique design won a prestigious R&D-100 award from R&D Magazine.

  15. An Immanent Machine: Reconsidering Grades, Historical and Present

    ERIC Educational Resources Information Center

    Tocci, Charles

    2010-01-01

    At some point the mechanics of schooling begin running of their own accord. Such has become the case with grades (A's, B's, C's, etc.). This article reconsiders the history of grades through the concepts of immanence and abstract machines from the oeuvre of Deleuze and Guattari. In the first section, the history of grades as presently written…

  16. Analysis of complex networks using aggressive abstraction.

    SciTech Connect

    Colbaugh, Richard; Glass, Kristin.; Willard, Gerald

    2008-10-01

    This paper presents a new methodology for analyzing complex networks in which the network of interest is first abstracted to a much simpler (but equivalent) representation, the required analysis is performed using the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit abstractions that are simultaneously dramatically simplifying and property preserving - we call these aggressive abstractions -- and which can therefore be analyzed using the proposed approach. We then introduce and develop two forms of aggressive abstraction: 1.) finite state abstraction, in which dynamical networks with uncountable state spaces are modeled using finite state systems, and 2.) onedimensional abstraction, whereby high dimensional network dynamics are captured in a meaningful way using a single scalar variable. In each case, the property preserving nature of the abstraction process is rigorously established and efficient algorithms are presented for computing the abstraction. The considerable potential of the proposed approach to complex networks analysis is illustrated through case studies involving vulnerability analysis of technological networks and predictive analysis for social processes.

  17. Prefrontal cortex organization: dissociating effects of temporal abstraction, relational abstraction, and integration with FMRI.

    PubMed

    Nee, Derek Evan; Jahn, Andrew; Brown, Joshua W

    2014-09-01

    The functions of the prefrontal cortex (PFC) underlie higher-level cognition. Varying proposals suggest that the PFC is organized along a rostral-caudal gradient of abstraction with more abstract representations/processes associated with more rostral areas. However, the operational definition of abstraction is unclear. Here, we contrasted 2 prominent theories of abstraction--temporal and relational--using fMRI. We further examined whether integrating abstract rules--a function common to each theory--recruited the PFC independently of other abstraction effects. While robust effects of relational abstraction were present in the PFC, temporal abstraction effects were absent. Instead, we found activations specific to the integration of relational rules in areas previously shown to be associated with temporal abstraction. We suggest that previous effects of temporal abstraction were due to confounds with integration demands. We propose an integration framework to understand the functions of the PFC that resolves discrepancies in prior data. PMID:23563962

  18. Machine speech and speaking about machines

    SciTech Connect

    Nye, A.

    1996-12-31

    Current philosophy of language prides itself on scientific status. It boasts of being no longer contaminated with queer mental entities or idealist essences. It theorizes language as programmable variants of formal semantic systems, reimaginable either as the properly epiphenomenal machine functions of computer science or the properly material neural networks of physiology. Whether or not such models properly capture the physical workings of a living human brain is a question that scientists will have to answer. I, as a philosopher, come at the problem from another direction. Does contemporary philosophical semantics, in its dominant truth-theoretic and related versions, capture actual living human thought as it is experienced, or does it instead reflect, regardless of (perhaps dubious) scientific credentials, pathology of thought, a pathology with a disturbing social history.

  19. 14. Machine in north 1922 section of Building 59. Machine ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    14. Machine in north 1922 section of Building 59. Machine is 24' Jointer made by Oliver Machinery Co. Camera pointed E. - Puget Sound Naval Shipyard, Pattern Shop, Farragut Avenue, Bremerton, Kitsap County, WA

  20. 42. MACHINE SHOP Machine shop area with small parts bins ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    42. MACHINE SHOP Machine shop area with small parts bins on the right and pipe storage racks on the left. Remains of the power drive system are suspended from the ceiling. - Hovden Cannery, 886 Cannery Row, Monterey, Monterey County, CA

  1. 12. Photocopied August 1978. CHANNELING MACHINES, NOVEMBER 1898. THESE MACHINES ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    12. Photocopied August 1978. CHANNELING MACHINES, NOVEMBER 1898. THESE MACHINES BLOCKED OUT SECTIONS IN THE ROCK CUT IN PREPARATION FOR DRILLING AND BLASTING. (17) - Michigan Lake Superior Power Company, Portage Street, Sault Ste. Marie, Chippewa County, MI

  2. BRASS FOUNDRY MACHINE ROOM USED TO MACHINE CAST BRONZE PIECES ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    BRASS FOUNDRY MACHINE ROOM USED TO MACHINE CAST BRONZE PIECES FOR VALVES AND PREPARE BRONZE VALVE BODIES FOR ASSEMBLY. - Stockham Pipe & Fittings Company, Brass Foundry, 4000 Tenth Avenue North, Birmingham, Jefferson County, AL

  3. The Art Machine.

    ERIC Educational Resources Information Center

    Vertelney, Harry; Grossberger, Lucia

    1983-01-01

    Introduces educators to possibilities of computer graphics using an inexpensive computer system which takes advantage of existing equipment (35mm camera, super 8 movie camera, VHS video cassette recorder). The concept of the "art machine" is explained, highlighting input and output devices (X-Y plotter, graphic tablets, video digitizers). (EJS)

  4. Cybernetic anthropomorphic machine systems

    NASA Technical Reports Server (NTRS)

    Gray, W. E.

    1974-01-01

    Functional descriptions are provided for a number of cybernetic man machine systems that augment the capacity of normal human beings in the areas of strength, reach or physical size, and environmental interaction, and that are also applicable to aiding the neurologically handicapped. Teleoperators, computer control, exoskeletal devices, quadruped vehicles, space maintenance systems, and communications equipment are considered.

  5. Support vector machines

    NASA Technical Reports Server (NTRS)

    Garay, Michael J.; Mazzoni, Dominic; Davies, Roger; Wagstaff, Kiri

    2004-01-01

    Support Vector Machines (SVMs) are a type of supervised learning algorith,, other examples of which are Artificial Neural Networks (ANNs), Decision Trees, and Naive Bayesian Classifiers. Supervised learning algorithms are used to classify objects labled by a 'supervisor' - typically a human 'expert.'.

  6. The Answer Machine.

    ERIC Educational Resources Information Center

    Feldman, Susan

    2000-01-01

    Discusses information retrieval systems and the need to have them adapt to user needs, integrate information in any format, reveal patterns and trends in information, and answer questions. Topics include statistics and probability; natural language processing; intelligent agents; concept mapping; machine-aided indexing; text mining; filtering;…

  7. Electrical Discharge Machining.

    ERIC Educational Resources Information Center

    Montgomery, C. M.

    The manual is for use by students learning electrical discharge machining (EDM). It consists of eight units divided into several lessons, each designed to meet one of the stated objectives for the unit. The units deal with: introduction to and advantages of EDM, the EDM process, basic components of EDM, reaction between forming tool and workpiece,…

  8. Laser machining of explosives

    DOEpatents

    Perry, Michael D.; Stuart, Brent C.; Banks, Paul S.; Myers, Booth R.; Sefcik, Joseph A.

    2000-01-01

    The invention consists of a method for machining (cutting, drilling, sculpting) of explosives (e.g., TNT, TATB, PETN, RDX, etc.). By using pulses of a duration in the range of 5 femtoseconds to 50 picoseconds, extremely precise and rapid machining can be achieved with essentially no heat or shock affected zone. In this method, material is removed by a nonthermal mechanism. A combination of multiphoton and collisional ionization creates a critical density plasma in a time scale much shorter than electron kinetic energy is transferred to the lattice. The resulting plasma is far from thermal equilibrium. The material is in essence converted from its initial solid-state directly into a fully ionized plasma on a time scale too short for thermal equilibrium to be established with the lattice. As a result, there is negligible heat conduction beyond the region removed resulting in negligible thermal stress or shock to the material beyond a few microns from the laser machined surface. Hydrodynamic expansion of the plasma eliminates the need for any ancillary techniques to remove material and produces extremely high quality machined surfaces. There is no detonation or deflagration of the explosive in the process and the material which is removed is rendered inert.

  9. Giving Machines the Vision

    NASA Technical Reports Server (NTRS)

    1999-01-01

    Amherst Systems manufactures foveal machine vision technology and systems commercially available to end-users and system integrators. This technology was initially developed under NASA contracts NAS9-19335 (Johnson Space Center) and NAS1-20841 (Langley Research Center). This technology is currently being delivered to university research facilities and military sites. More information may be found in www.amherst.com.

  10. A Turing Machine Simulator.

    ERIC Educational Resources Information Center

    Navarro, Aaron B.

    1981-01-01

    Presents a program in Level II BASIC for a TRS-80 computer that simulates a Turing machine and discusses the nature of the device. The program is run interactively and is designed to be used as an educational tool by computer science or mathematics students studying computational or automata theory. (MP)

  11. Introduction to Exploring Machines

    ERIC Educational Resources Information Center

    Early Childhood Today, 2006

    2006-01-01

    Young children are fascinated by how things "work." They are at a stage of development where they want to experiment with the many ways to use an object or take things apart and put them back together. In the process of exploring tools and machines, children use the scientific method and problem-solving skills. They observe how things work, wonder…

  12. Developing Creativity and Abstraction in Representing Data

    ERIC Educational Resources Information Center

    South, Andy

    2012-01-01

    Creating charts and graphs is all about visual abstraction: the process of representing aspects of data with imagery that can be interpreted by the reader. Children may need help making the link between the "real" and the image. This abstraction can be achieved using symbols, size, colour and position. Where the representation is close to what…

  13. Content Differences for Abstract and Concrete Concepts

    ERIC Educational Resources Information Center

    Wiemer-Hastings, Katja Katja; Xu, Xu

    2005-01-01

    Concept properties are an integral part of theories of conceptual representation and processing. To date, little is known about conceptual properties of abstract concepts, such as idea. This experiment systematically compared the content of 18 abstract and 18 concrete concepts, using a feature generation task. Thirty-one participants listed…

  14. Annual Abstract Series of Educational Material.

    ERIC Educational Resources Information Center

    Shelesnyak, M. C., Ed.

    1980-01-01

    This is the fifth annual collection of abstracts of educational materials presented by the Educational Materials Review Board of the American Physiological Society under the direction of the Education Committee. The collection includes abstracts of articles, papers, textbooks, books, handbooks, and symposia which are valuable in teaching…

  15. Abstracting in the Context of Spontaneous Learning

    ERIC Educational Resources Information Center

    Williams, Gaye

    2007-01-01

    There is evidence that spontaneous learning leads to relational understanding and high positive affect. To study spontaneous abstracting, a model was constructed by combining the RBC model of abstraction with Krutetskii's mental activities. Using video-stimulated interviews, the model was then used to analyze the behavior of two Year 8 students…

  16. National Workplace Literacy Program. 1993 Abstracts.

    ERIC Educational Resources Information Center

    Office of Vocational and Adult Education (ED), Washington, DC. National Workplace Literacy Program.

    This publication presents the abstracts of the 57 National Workplace Literacy Program 1993 projects. Each abstract provides the following information: project title; award number; project director; awardee; address; telephone and fax numbers; funds by fiscal year (federal and nonfederal); award period; federal project officer; objectives;…

  17. A Hybrid Method for Abstracting Newspaper Articles.

    ERIC Educational Resources Information Center

    Liu, James; Wu, Yan; Zhou, Lina

    1999-01-01

    Introduces a hybrid method for abstracting Chinese text that integrates the statistical approach with language understandings, incorporating some linguistics heuristics and segmentation into the abstracting process. Initial responses from application to Chinese newspaper articles show that the method contributes much to the flexibility and…

  18. Abstractions of Awareness: Aware of What?

    NASA Astrophysics Data System (ADS)

    Metaxas, Georgios; Markopoulos, Panos

    This chapter presents FN-AAR, an abstract model of awareness systems. The purpose of the model is to capture in a concise and abstract form essential aspects of awareness systems, many of which have been discussed in design essays or in the context of evaluating specific design solutions.

  19. Foundations of the Bandera Abstraction Tools

    NASA Technical Reports Server (NTRS)

    Hatcliff, John; Dwyer, Matthew B.; Pasareanu, Corina S.; Robby

    2003-01-01

    Current research is demonstrating that model-checking and other forms of automated finite-state verification can be effective for checking properties of software systems. Due to the exponential costs associated with model-checking, multiple forms of abstraction are often necessary to obtain system models that are tractable for automated checking. The Bandera Tool Set provides multiple forms of automated support for compiling concurrent Java software systems to models that can be supplied to several different model-checking tools. In this paper, we describe the foundations of Bandera's data abstraction mechanism which is used to reduce the cardinality (and the program's state-space) of data domains in software to be model-checked. From a technical standpoint, the form of data abstraction used in Bandera is simple, and it is based on classical presentations of abstract interpretation. We describe the mechanisms that Bandera provides for declaring abstractions, for attaching abstractions to programs, and for generating abstracted programs and properties. The contributions of this work are the design and implementation of various forms of tool support required for effective application of data abstraction to software components written in a programming language like Java which has a rich set of linguistic features.

  20. New Features in the ADS Abstract Service

    NASA Technical Reports Server (NTRS)

    Eichhorn, Guenther; Accomazzi, Alberto; Grant, Carolyn S.; Kurtz, Michael J.; Henneken, Edwin A.; Thompson, Donna M.; Murray, Stephen S.

    2005-01-01

    The NASA-ADS Abstract Service provides a sophisticated search capability for the literature in Astronomy, Planetary Sciences, Physics/Geophysics, and Space Instrumentation. The ADS is funded by NASA and access to the ADS services is free to anybody world-wide without restrictions. It allows the user to search the literature by author, title, and abstract text.

  1. Interpreting Abstract Interpretations in Membership Equational Logic

    NASA Technical Reports Server (NTRS)

    Fischer, Bernd; Rosu, Grigore

    2001-01-01

    We present a logical framework in which abstract interpretations can be naturally specified and then verified. Our approach is based on membership equational logic which extends equational logics by membership axioms, asserting that a term has a certain sort. We represent an abstract interpretation as a membership equational logic specification, usually as an overloaded order-sorted signature with membership axioms. It turns out that, for any term, its least sort over this specification corresponds to its most concrete abstract value. Maude implements membership equational logic and provides mechanisms to calculate the least sort of a term efficiently. We first show how Maude can be used to get prototyping of abstract interpretations "for free." Building on the meta-logic facilities of Maude, we further develop a tool that automatically checks and abstract interpretation against a set of user-defined properties. This can be used to select an appropriate abstract interpretation, to characterize the specified loss of information during abstraction, and to compare different abstractions with each other.

  2. Tour the Galaxy of the Abstract.

    ERIC Educational Resources Information Center

    Kennedy, Patricia

    2003-01-01

    Describes an abstract art unit in which students in an introductory art course created abstract art inspired by the work of M. C. Escher. Explains that some students are unsure of their drawing ability. States this unit helps them overcome their fears. (CMK)

  3. Some Call It Stone: Teaching Abstract Sculpture

    ERIC Educational Resources Information Center

    Asher, Rikki

    2004-01-01

    Abstract visual art is not for everybody. Some people find it threatening, uncomfortable, and often, inaccessible. Understandably, this can result in a lack of attention paid to nonrepresentational works of art in the visual arts curriculum. This article describes an experiential, hands-on, field trip that sought to demystify abstract sculpture,…

  4. Third LDEF Post-Retrieval Symposium Abstracts

    NASA Technical Reports Server (NTRS)

    Levine, Arlene S. (Compiler)

    1993-01-01

    This volume is a compilation of abstracts submitted to the Third Long Duration Exposure Facility (LDEF) Post-Retrieval Symposium. The abstracts represent the data analysis of the 57 experiments flown on the LDEF. The experiments include materials, coatings, thermal systems, power and propulsion, science (cosmic ray, interstellar gas, heavy ions, micrometeoroid, etc.), electronics, optics, and life science.

  5. Romanian Scientific Abstracts, Volume 10 Number 3.

    ERIC Educational Resources Information Center

    Caracas, Angela, Ed.

    The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main numerical sequence. The December issue includes a subject index for the material included throughout the year. It also indicates, in an appended table, the numerical symbol of…

  6. Romanian Scientific Abstracts, Volume 10 Number 1.

    ERIC Educational Resources Information Center

    Caracas, Angela, Ed.

    The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main problems and is provided with an index and with key-words. The entries are recorded in numerical sequence. The December issue includes a subject index for the material included…

  7. Romanian Scientific Abstracts, Volume 10 Number 6.

    ERIC Educational Resources Information Center

    Caracas, Angela, Ed.

    The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main problems and is provided with an index and with key-words. The entries are recorded in numerical sequence. The December issue includes a subject index for the material included…

  8. Romanian Scientific Abstracts, Volume 10 Number 4.

    ERIC Educational Resources Information Center

    Caracas, Angela, Ed.

    The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main problems and is provided with an index and with key-words. The entries are recorded in numeric sequence. The December issue includes a subject index for the material included…

  9. Romanian Scientific Abstracts, Volume 10 Number 5.

    ERIC Educational Resources Information Center

    Caracas, Angela, Ed.

    The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main problems and is provided with an index and with key-words. The entries are recorded in numeric sequence. The December issue includes a subject index for the material included…

  10. Romanian Scientific Abstracts, Volume 9 Number 11.

    ERIC Educational Resources Information Center

    Caracas, Angela, Ed.

    The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main problems and is provided with an index and with key-words. The entries are recorded in numerical sequence. The December issue includes a subject index for the material included…

  11. Romanian Scientific Abstracts, Volume 9 Number 12.

    ERIC Educational Resources Information Center

    Caracas, Angela, Ed.

    The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main problems and is provided with an index and with key-words. T8e entries are recorded in numerical sequence. The December issue includes a subject index for the material included…

  12. Romanian Scientific Abstracts, Volume 10 Number 2.

    ERIC Educational Resources Information Center

    Caracas, Angela, Ed.

    The material included in the monthly issues of the "Romanian Scientific Abstracts" as bibliographic references or abstracts is arranged according to discipline and main problems and is provided with an index and with key-words. T entries are recorded in numerical sequence. The December issue includes a subject index for the material included…

  13. Youth Studies Abstracts. Vol. 4 No. 1.

    ERIC Educational Resources Information Center

    Youth Studies Abstracts, 1985

    1985-01-01

    This volume contains abstracts of 76 projects (most of which were conducted in Australia and New Zealand) concerned with programs for youth and with social and educational developments affecting youth. The abstracts are arranged in the following two categories: (1) Social and Educational Developments: Policy, Analysis, Research; and (2) Programs:…

  14. Interactional Metadiscourse in Research Article Abstracts

    ERIC Educational Resources Information Center

    Gillaerts, Paul; Van de Velde, Freek

    2010-01-01

    This paper deals with interpersonality in research article abstracts analysed in terms of interactional metadiscourse. The evolution in the distribution of three prominent interactional markers comprised in Hyland's (2005a) model, viz. hedges, boosters and attitude markers, is investigated in three decades of abstract writing in the field of…

  15. Writing Abstracts for Free-Text Searching.

    ERIC Educational Resources Information Center

    Fidel, Raya

    1986-01-01

    This study surveyed abstracting policies and guidelines used by producers of bibliographic databases that aim to enhance free-text retrieval. Results indicate editors consider content of abstracts and their language as primary factors in retrieval enhancement. Most recommend that concepts and form be coordinated with controlled vocabulary…

  16. A Microfilm Index to "Chemical Abstracts"

    ERIC Educational Resources Information Center

    Robinson, F.

    1973-01-01

    To improve access to the recent Chemical Abstracts,'' a cumulative quarterly index, based on the keyword phrases, has been produced in microfilm form. The index is available soon after the end of each quarter. Abstract titles are included in the index, thus increasing its value as a working tool. (4 references) (Author/SJ)

  17. Progress in Documentation: Machine Translation and Machine-Aided Translation.

    ERIC Educational Resources Information Center

    Hutchins, W. J.

    1978-01-01

    Discusses the prospects for fully automatic machine translation of good quality. Sections include history and background, operational and experimental machine translation systems of recent years, descriptions of interactive systems and machine-assisted translation, and a general survey of present problems and future possibilities. (VT)

  18. 8. VIEW OF THE MACHINE SHOP. BY 1966, THE MACHINE ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    8. VIEW OF THE MACHINE SHOP. BY 1966, THE MACHINE SHOP HANDLED PRIMARILY STAINLESS STEEL COMPONENTS, WHICH WERE SENT TO THE MACHINE SHOP TO BE FORMED INTO THEIR FINAL SHAPES. (7/24/70) - Rocky Flats Plant, General Manufacturing, Support, Records-Central Computing, Southern portion of Plant, Golden, Jefferson County, CO

  19. Absorption of language concepts in the machine mind

    NASA Astrophysics Data System (ADS)

    Kollár, Ján

    2016-06-01

    In our approach, the machine mind is the applicative dynamic system represented by its algorithmically evolvable internal language. By other words, the mind and the language of mind are synonyms. Coming out from Shaumyan's semiotic theory of languages, we present the representation of language concepts in the machine mind as a result of our experiment, to show non-redundancy of the language of mind. To provide useful restriction for further research, we also introduce the hypothesis of semantic saturation in Computer-Computer communication, which indicates that a set of machines is not self-evolvable. The goal of our research is to increase the abstraction of Human-Computer and Computer-Computer communication. If we want humans and machines comunicate as a parent with the child, using different symbols and media, we must find the language of mind commonly usable by both machines and humans. In our opinion, there exist a kind of calm language of thinking, which we try to propose for machines in this paper. We separate the layers of a machine mind, we present the structure of the evolved mind and we discuss the selected properties. We are concentrating on the representation of symbolized concepts in the mind, that are languages, not just grammars, since they have meaning.

  20. Isomap based supporting vector machine

    NASA Astrophysics Data System (ADS)

    Liang, W. N.

    2015-12-01

    This research presents a new isomap based supporting vector machine method. Isomap is a dimension reduction method which is able to analyze nonlinear relationship of data on manifolds. Accordingly, support vector machine is established on the isomap manifold to classify given and predict unknown data. A case study of the isomap based supporting vector machine for environmental planning problems is conducted.

  1. Audio-Visual Teaching Machines.

    ERIC Educational Resources Information Center

    Dorsett, Loyd G.

    An audiovisual teaching machine (AVTM) presents programed audio and visual material simultaneously to a student and accepts his response. If his response is correct, the machine proceeds with the lesson; if it is incorrect, the machine so indicates and permits another choice (linear) or automatically presents supplementary material (branching).…

  2. The Chainstitch Machine. Module 18.

    ERIC Educational Resources Information Center

    South Carolina State Dept. of Education, Columbia. Office of Vocational Education.

    This module on the chainstitch machine, one in a series dealing with industrial sewing machines, their attachments, and operation, covers one topic: performing special operations on the chainstitch machine. These components are provided: an introduction, directions, an objective, learning activities, student information, a student self-check, and…

  3. Hydraulic Fatigue-Testing Machine

    NASA Technical Reports Server (NTRS)

    Hodo, James D.; Moore, Dennis R.; Morris, Thomas F.; Tiller, Newton G.

    1987-01-01

    Fatigue-testing machine applies fluctuating tension to number of specimens at same time. When sample breaks, machine continues to test remaining specimens. Series of tensile tests needed to determine fatigue properties of materials performed more rapidly than in conventional fatigue-testing machine.

  4. Soda pop vending machine injuries.

    PubMed

    Cosio, M Q

    1988-11-11

    Fifteen male patients, 15 to 24 years of age, sustained injuries after rocking soda machines. The machines fell onto the victims, resulting in a variety of injuries. Three were killed. The remaining 12 required hospitalization for their injuries. Unless changes are made to safeguard these machines, people will continue to suffer severe and possibly fatal injuries from what are largely preventable accidents. PMID:3184337

  5. Abstract spatial reasoning as an autistic strength.

    PubMed

    Stevenson, Jennifer L; Gernsbacher, Morton Ann

    2013-01-01

    Autistic individuals typically excel on spatial tests that measure abstract reasoning, such as the Block Design subtest on intelligence test batteries and the Raven's Progressive Matrices nonverbal test of intelligence. Such well-replicated findings suggest that abstract spatial processing is a relative and perhaps absolute strength of autistic individuals. However, previous studies have not systematically varied reasoning level--concrete vs. abstract--and test domain--spatial vs. numerical vs. verbal, which the current study did. Autistic participants (N = 72) and non-autistic participants (N = 72) completed a battery of 12 tests that varied by reasoning level (concrete vs. abstract) and domain (spatial vs. numerical vs. verbal). Autistic participants outperformed non-autistic participants on abstract spatial tests. Non-autistic participants did not outperform autistic participants on any of the three domains (spatial, numerical, and verbal) or at either of the two reasoning levels (concrete and abstract), suggesting similarity in abilities between autistic and non-autistic individuals, with abstract spatial reasoning as an autistic strength. PMID:23533615

  6. Writing, reviewing, and presenting an abstract.

    PubMed

    Strauss, R G

    1991-01-01

    Abstracts afford an opportunity to report data at professional meetings and, when published, in the literature. Accordingly, they should be prepared with great care. When writing an abstract, anticipate questions the reviewer will ask when judging it and provide complete answers. The presentation of an abstract should follow similar thought processes. State why a problem or question is important, how you addressed it, what you found, and how your findings can be applied to the issue at hand. Slides and text should provide coordinated visual and auditory input, respectively, to ensure complete comprehension. PMID:1816248

  7. Checking the anaesthetic machine.

    PubMed

    Wicker, Paul; Smith, Brian

    2006-12-01

    Making sure that anaesthetic equipment is working correctly is an essential part of the anaesthetic practitioner's role. During induction of anaesthesia the patient is at one of the most vulnerable points in his or her perioperative care. This is the point at which equipment error may put the patient at high risk of harm, for example, through compromising the airway, causing circulatory problems, preventing satisfactory oxygenation or even causing death. Many writers have drawn comparisons between anaesthesia and aviation, with the suggestion that practitioners should check the anaesthetic machines using a 'cockpit drill' (Ranasinghe 2000). The purpose of this detailed check is to ensure the machine is safe to use. The careful attention to the check is a reflection of good practice which the practitioner's codes of professional practice demand (HPC 2004, NMC 2004). This article discusses the importance of following the anaesthetic checklist to the recommended standards for both the practitioner and the patient. PMID:17193997

  8. Wholly Synthetic Molecular Machines.

    PubMed

    Cheng, Chuyang; Stoddart, J Fraser

    2016-06-17

    The past quarter of a century has witnessed an increasing engagement on the part of physicists and chemists in the design and synthesis of molecular machines de novo. This minireview traces the development of artificial molecular machines from their prototypes in the form of shuttles and switches to their emergence as motors and pumps where supplies of energy in the form of chemical fuel, electrochemical potential and light activation become a minimum requirement for them to function away from equilibrium. The challenge facing this rapidly growing community of scientists and engineers today is one of putting wholly synthetic molecules to work, both individually and as collections. Here, we highlight some of the recent conceptual and practical advances relating to the operation of wholly synthetic rotary and linear motors. PMID:26833859

  9. Engineering molecular machines

    NASA Astrophysics Data System (ADS)

    Erman, Burak

    2016-04-01

    Biological molecular motors use chemical energy, mostly in the form of ATP hydrolysis, and convert it to mechanical energy. Correlated thermal fluctuations are essential for the function of a molecular machine and it is the hydrolysis of ATP that modifies the correlated fluctuations of the system. Correlations are consequences of the molecular architecture of the protein. The idea that synthetic molecular machines may be constructed by designing the proper molecular architecture is challenging. In their paper, Sarkar et al (2016 New J. Phys. 18 043006) propose a synthetic molecular motor based on the coarse grained elastic network model of proteins and show by numerical simulations that motor function is realized, ranging from deterministic to thermal, depending on temperature. This work opens up a new range of possibilities of molecular architecture based engine design.

  10. Machine Translation from Text

    NASA Astrophysics Data System (ADS)

    Habash, Nizar; Olive, Joseph; Christianson, Caitlin; McCary, John

    Machine translation (MT) from text, the topic of this chapter, is perhaps the heart of the GALE project. Beyond being a well defined application that stands on its own, MT from text is the link between the automatic speech recognition component and the distillation component. The focus of MT in GALE is on translating from Arabic or Chinese to English. The three languages represent a wide range of linguistic diversity and make the GALE MT task rather challenging and exciting.

  11. Copying Machine Improvement

    NASA Technical Reports Server (NTRS)

    1981-01-01

    Manufacturer of the Model 2210 copying machine was looking for a plastic valve bushing material that could be produced by a low-cost injection molding process to replace the unsuitable valve bushing they were using. NERAC conducted a computer search of the NASA database and was able to supply Nashua Corporation with several technical reports in their area of interest. Information aided the company's development of a urethane valve bushing which solved the problem and created a dramatic reduction in unit cost.

  12. Austempered Ductile Iron Machining

    NASA Astrophysics Data System (ADS)

    Pilc, Jozef; Šajgalík, Michal; Holubják, Jozef; Piešová, Marianna; Zaušková, Lucia; Babík, Ondrej; Kuždák, Viktor; Rákoci, Jozef

    2015-12-01

    This article deals with the machining of cast iron. In industrial practice, Austempered Ductile Iron began to be used relatively recently. ADI is ductile iron that has gone through austempering to get improved properties, among which we can include strength, wear resistance or noise damping. This specific material is defined also by other properties, such as high elasticity, ductility and endurance against tenigue, which are the properties, that considerably make the tooling characteristic worse.

  13. Powerful Yet Tiny Machine

    NASA Technical Reports Server (NTRS)

    2004-01-01

    This image taken at JPL shows the Moessbauer spectrometer, an instrument on the Mars Exploration Rover Spirit that detects iron-bearing minerals in martian rocks and soil. Located on the rover's instrument deployment device, or 'arm,' this machine uses two pieces of radioactive cobalt-57, each about the size of pencil erasers, to determine with a high degree of accuracy the composition and abundance of iron-bearing minerals too difficult to detect by other means.

  14. Tunnel boring machine

    SciTech Connect

    Dillingham, R.G.; Hamburger, H.

    1982-09-14

    A tunneling machine is disclosed which includes a hollow shield, a nonrotatable outer housing mounted in the shield for longitudinal movement, and inner housing rotatably mounted within the outer housing, an excavator including a boom and bucket pivotally mounted on the forward end of the inner housing, and a boom cylinder having a forward portion pivotally engaged with the boom and a rear portion mounted at the rearward portion of the inner housing.

  15. A Boltzmann machine for the organization of intelligent machines

    NASA Technical Reports Server (NTRS)

    Moed, Michael C.; Saridis, George N.

    1989-01-01

    In the present technological society, there is a major need to build machines that would execute intelligent tasks operating in uncertain environments with minimum interaction with a human operator. Although some designers have built smart robots, utilizing heuristic ideas, there is no systematic approach to design such machines in an engineering manner. Recently, cross-disciplinary research from the fields of computers, systems AI and information theory has served to set the foundations of the emerging area of the design of intelligent machines. Since 1977 Saridis has been developing an approach, defined as Hierarchical Intelligent Control, designed to organize, coordinate and execute anthropomorphic tasks by a machine with minimum interaction with a human operator. This approach utilizes analytical (probabilistic) models to describe and control the various functions of the intelligent machine structured by the intuitively defined principle of Increasing Precision with Decreasing Intelligence (IPDI) (Saridis 1979). This principle, even though resembles the managerial structure of organizational systems (Levis 1988), has been derived on an analytic basis by Saridis (1988). The purpose is to derive analytically a Boltzmann machine suitable for optimal connection of nodes in a neural net (Fahlman, Hinton, Sejnowski, 1985). Then this machine will serve to search for the optimal design of the organization level of an intelligent machine. In order to accomplish this, some mathematical theory of the intelligent machines will be first outlined. Then some definitions of the variables associated with the principle, like machine intelligence, machine knowledge, and precision will be made (Saridis, Valavanis 1988). Then a procedure to establish the Boltzmann machine on an analytic basis will be presented and illustrated by an example in designing the organization level of an Intelligent Machine. A new search technique, the Modified Genetic Algorithm, is presented and proved

  16. Universal Memcomputing Machines.

    PubMed

    Traversa, Fabio Lorenzo; Di Ventra, Massimiliano

    2015-11-01

    We introduce the notion of universal memcomputing machines (UMMs): a class of brain-inspired general-purpose computing machines based on systems with memory, whereby processing and storing of information occur on the same physical location. We analytically prove that the memory properties of UMMs endow them with universal computing power (they are Turing-complete), intrinsic parallelism, functional polymorphism, and information overhead, namely, their collective states can support exponential data compression directly in memory. We also demonstrate that a UMM has the same computational power as a nondeterministic Turing machine, namely, it can solve nondeterministic polynomial (NP)-complete problems in polynomial time. However, by virtue of its information overhead, a UMM needs only an amount of memory cells (memprocessors) that grows polynomially with the problem size. As an example, we provide the polynomial-time solution of the subset-sum problem and a simple hardware implementation of the same. Even though these results do not prove the statement NP = P within the Turing paradigm, the practical realization of these UMMs would represent a paradigm shift from the present von Neumann architectures, bringing us closer to brain-like neural computation. PMID:25667360

  17. Tunnel boring machine

    SciTech Connect

    Turner, J.

    1985-10-22

    A tunnel boring machine including the following elements: a full face rotary cutterhead; a cutterhead support on which the cutterhead is mounted; a gripper system carried by a gripper support frame for reacting thrust, steering, roll correction, and torque forces; a conveyor system for transporting muck from behind the rotary cutterhead to a dump point rearwardly of the machine; primary propel cylinders for advancing the cutterhead which are mounted between the gripper support frame and the cutterhead support, the primary propel cylinders consisting of a series of at least three pairs of double acting hydraulic cylinders arranged annularly in equally spaced apart locations and in a series of V-shaped configurations between the gripper support frame and the cutterhead support, each such pair of primary propel cylinders having an included angle between the cylinders of about 15/sup 0/ and 60/sup 0/ and with a line bisecting the included angle between the cylinders extending generally parallel to the longitudinal centerline of the machine; and a hydraulic control system for controlling the pairs of primary propel cylinders to effect axial forward thrust on the cutterhead by simultaneous actuation of all the primary propel cylinders while transmitting the reaction torque exerted on the cutterhead support by rotation of the cutterhead, steering of the cutterhead support and the cutterhead by selective actuation of only a portion of the primary propel cylinders, and roll corrections of the cutterhead support and the cutterhead by selective actuation of alternate members of the primary propel cylinders.

  18. Machine Learning in Medicine.

    PubMed

    Deo, Rahul C

    2015-11-17

    Spurred by advances in processing power, memory, storage, and an unprecedented wealth of data, computers are being asked to tackle increasingly complex learning tasks, often with astonishing success. Computers have now mastered a popular variant of poker, learned the laws of physics from experimental data, and become experts in video games - tasks that would have been deemed impossible not too long ago. In parallel, the number of companies centered on applying complex data analysis to varying industries has exploded, and it is thus unsurprising that some analytic companies are turning attention to problems in health care. The purpose of this review is to explore what problems in medicine might benefit from such learning approaches and use examples from the literature to introduce basic concepts in machine learning. It is important to note that seemingly large enough medical data sets and adequate learning algorithms have been available for many decades, and yet, although there are thousands of papers applying machine learning algorithms to medical data, very few have contributed meaningfully to clinical care. This lack of impact stands in stark contrast to the enormous relevance of machine learning to many other industries. Thus, part of my effort will be to identify what obstacles there may be to changing the practice of medicine through statistical learning approaches, and discuss how these might be overcome. PMID:26572668

  19. Pulmonary toxicology of respirable particles. [Lead abstract

    SciTech Connect

    Sanders, C.L.; Cross, F.T.; Dagle, G.E.; Mahaffey, J.A.

    1980-09-01

    Separate abstracts were prepared for the 44 papers presented in these proceedings. The last paper (Stannard) in the proceedings is an historical review of the field of inhalation toxicology and is not included in the analytics. (DS)

  20. OIL POLLUTION ABSTRACTS. VOLUME 6, NUMBER 2

    EPA Science Inventory

    Oil Pollution Abstracts (formerly entitled Oil Pollution Reports) is a quarterly compilation of current literature and research project summaries. Comprehensive coverage of oil pollution and its prevention and control is provided, with emphasis on the aquatic environment. This is...

  1. Program Aims at Improving Abstract Reasoning

    ERIC Educational Resources Information Center

    Chemical and Engineering News, 1977

    1977-01-01

    Describes a program being conducted within the chemistry department of Xavier University, New Orleans, Louisiana, to improve the abstract reasoning abilities of freshmen science majors. The project is based upon the philosophy developed by Jean Piaget. (SL)

  2. Introducing Abstraction to Junior High Students.

    ERIC Educational Resources Information Center

    Costanzo, Nancy

    1981-01-01

    Suggests a way to introduce abstract art to junior high school students who, more than students of any other age, emphasize realism both in their artwork and in their appreciation of works of art. (Author/SJL)

  3. Masking failures of multidimensional sensors (extended abstract)

    NASA Technical Reports Server (NTRS)

    Chew, Paul; Marzullo, Keith

    1990-01-01

    When a computer monitors a physical process, the computer uses sensors to determine the values of the physical variables that represent the state of the process. A sensor can sometimes fail, however, and in the worst case report a value completely unrelated to the true physical value. The work described is motivated by a methodology for transforming a process control program that can not tolerate sensor failure into one that can. In this methodology, a reliable abstract sensor is created by combining information from several real sensors that measure the same physical value. To be useful, an abstract sensor must deliver reasonably accurate information at reasonable computational cost. Sensors are considered that deliver multidimensional values (e.g., location or velocity in three dimensions, or both temperature and pressure). Geometric techniques are used to derive upper bounds on abstract sensor accuracy and to develop efficient algorithms for implementing abstract sensors.

  4. Earth Sciences Division collected abstracts: 1980

    SciTech Connect

    Henry, A.L.; Hornady, B.F.

    1981-10-15

    This report is a compilation of abstracts of papers, reports, and talks presented during 1980 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore National Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract itself is given only under the name of the first author (indicated in capital letters) or the first Earth Sciences Division author.

  5. Effects of imbalance and geometric error on precision grinding machines

    SciTech Connect

    Bibler, J.E.

    1997-06-01

    To study balancing in grinding, a simple mechanical system was examined. It was essential to study such a well-defined system, as opposed to a large, complex system such as a machining center. The use of a compact, well-defined system enabled easy quantification of the imbalance force input, its phase angle to any geometric decentering, and good understanding of the machine mode shapes. It is important to understand a simple system such as the one I examined given that imbalance is so intimately coupled to machine dynamics. It is possible to extend the results presented here to industrial machines, although that is not part of this work. In addition to the empirical testing, a simple mechanical system to look at how mode shapes, balance, and geometric error interplay to yield spindle error motion was modelled. The results of this model will be presented along with the results from a more global grinding model. The global model, presented at ASPE in November 1996, allows one to examine the effects of changing global machine parameters like stiffness and damping. This geometrically abstract, one-dimensional model will be presented to demonstrate the usefulness of an abstract approach for first-order understanding but it will not be the main focus of this thesis. 19 refs., 36 figs., 10 tables.

  6. CNC electrical discharge machining centers

    SciTech Connect

    Jaggars, S.R.

    1991-10-01

    Computer numerical control (CNC) electrical discharge machining (EDM) centers were investigated to evaluate the application and cost effectiveness of establishing this capability at Allied-Signal Inc., Kansas City Division (KCD). In line with this investigation, metal samples were designed, prepared, and machined on an existing 15-year-old EDM machine and on two current technology CNC EDM machining centers at outside vendors. The results were recorded and evaluated. The study revealed that CNC EDM centers are a capability that should be established at KCD. From the information gained, a machine specification was written and a shop was purchased and installed in the Engineering Shop. The older machine was exchanged for a new model. Additional machines were installed in the Tool Design and Fabrication and Precision Microfinishing departments. The Engineering Shop machine will be principally used for the following purposes: producing deep cavities in small corner radii, machining simulated casting models, machining difficult-to-machine materials, and polishing difficult-to-hand polish mold cavities. 2 refs., 18 figs., 3 tabs.

  7. Finding Feasible Abstract Counter-Examples

    NASA Technical Reports Server (NTRS)

    Pasareanu, Corina S.; Dwyer, Matthew B.; Visser, Willem; Clancy, Daniel (Technical Monitor)

    2002-01-01

    A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

  8. Computer controlled precision optical polishing on the diamond turning machine

    SciTech Connect

    Hannah, P.R.; Day, R.D.; Hatch, D.

    1993-10-01

    This abstract reports the force and wear data required to predict the material removal, or wear, for the Numerical controlled (N/C) polishing program. The program`s aim is to provide the operator of a N/C diamond turning machine or N/C grinding machine with the wear characteristics necessary to achieve uniform material removal. The first phase of the program looks at a rotating polishing wheel, moving from near the center to edge of a rotating glass disc. future phases will look at more complex shapes.

  9. The evolution and practical application of machine translation system (1)

    NASA Astrophysics Data System (ADS)

    Tominaga, Isao; Sato, Masayuki

    This paper describes a development, practical applicatioin, problem of a system, evaluation of practical system, and development trend of machine translation. Most recent system contains next four problems. 1) the vagueness of a text, 2) a difference of the definition of the terminology between different language, 3) the preparing of a large-scale translation dictionary, 4) the development of a software for the logical inference. Machine translation system is already used practically in many industry fields. However, many problems are not solved. The implementation of an ideal system will be after 15 years. Also, this paper described seven evaluation items detailedly. This English abstract was made by Mu system.

  10. Evaluation of online machine translation by nursing users.

    PubMed

    Anazawa, Ryoko; Ishikawa, Hirono; Takahiro, Kiuchi

    2013-08-01

    Nurses whose native language is not English may face a language barrier when they read nursing literature published internationally. Freely accessible online machine translation could be one possible solution to reduce their burden. In the present study, English-Japanese translations of nursing article abstracts from the major online machine translation system, Google Translate, were evaluated by 250 nursing faculty members across Japan using a previously verified method for evaluating intelligibility. The abstracts were evaluated according to sections typically classified in structured abstracts: title, background, aim, method, result, discussion, conclusion, and relevance to clinical practice. We also asked for respondents' impressions on the perceived usefulness of the translated abstract as a whole. The results indicated that Google Translate had minimally acceptable quality and identified the word count and the existence of unidentifiable words of source texts as factors contributing to translation quality. Nurses may benefit from Google Translate when reading the professional literature. However, our results suggest that more effort should be made to improve online machine translation performance, and emphasize the importance of providing training and education for nursing professionals to utilize this technology. PMID:23851708

  11. 15. Interior, Machine Shop, Roundhouse Machine Shop Extension, Southern Pacific ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    15. Interior, Machine Shop, Roundhouse Machine Shop Extension, Southern Pacific Railroad Carlin Shops, view to northeast (90mm lens). The arched cutouts in the bottom chords of the roof trusses were necessary to provide clearance for the smokestacks of steam locomotives, and also mark the location of the former inspection pit in the floor (now filled in and covered by a new concrete floor). - Southern Pacific Railroad, Carlin Shops, Roundhouse Machine Shop Extension, Foot of Sixth Street, Carlin, Elko County, NV

  12. Diamond Measuring Machine

    SciTech Connect

    Krstulic, J.F.

    2000-01-27

    The fundamental goal of this project was to develop additional capabilities to the diamond measuring prototype, work out technical difficulties associated with the original device, and perform automated measurements which are accurate and repeatable. For this project, FM and T was responsible for the overall system design, edge extraction, and defect extraction and identification. AccuGem provided a lab and computer equipment in Lawrence, 3D modeling, industry expertise, and sets of diamonds for testing. The system executive software which controls stone positioning, lighting, focusing, report generation, and data acquisition was written in Microsoft Visual Basic 6, while data analysis and modeling were compiled in C/C++ DLLs. All scanning parameters and extracted data are stored in a central database and available for automated analysis and reporting. The Phase 1 study showed that data can be extracted and measured from diamond scans, but most of the information had to be manually extracted. In this Phase 2 project, all data required for geometric modeling and defect identification were automatically extracted and passed to a 3D modeling module for analysis. Algorithms were developed which automatically adjusted both light levels and stone focus positioning for each diamond-under-test. After a diamond is analyzed and measurements are completed, a report is printed for the customer which shows carat weight, summarizes stone geometry information, lists defects and their size, displays a picture of the diamond, and shows a plot of defects on a top view drawing of the stone. Initial emphasis of defect extraction was on identification of feathers, pinpoints, and crystals. Defects were plotted color-coded by industry standards for inclusions (red), blemishes (green), and unknown defects (blue). Diamonds with a wide variety of cut quality, size, and number of defects were tested in the machine. Edge extraction, defect extraction, and modeling code were tested for

  13. Will machines ever think

    NASA Technical Reports Server (NTRS)

    Denning, P. J.

    1986-01-01

    Artificial Intelligence research has come under fire for failing to fulfill its promises. A growing number of AI researchers are reexamining the bases of AI research and are challenging the assumption that intelligent behavior can be fully explained as manipulation of symbols by algorithms. Three recent books -- Mind over Machine (H. Dreyfus and S. Dreyfus), Understanding Computers and Cognition (T. Winograd and F. Flores), and Brains, Behavior, and Robots (J. Albus) -- explore alternatives and open the door to new architectures that may be able to learn skills.

  14. Stirling cycle machine

    SciTech Connect

    Burnett, S.C.; Purcell, J.R.; Creedon, W.P.; Joshi, C.H.

    1990-06-05

    This patent describes an improvement in a Stirling cycle machine including first and second variable-volume, compression-expansion chambers containing a gas a regenerator interconnecting the chambers and for conducting the gas therebetween, and eccentric drive means for driving the first and second chambers. It comprises: the eccentric drive means comprising a pair of rotatably mounted shafts, at least one pair of eccentric disks fixed on the shafts in phase with each other, and means for causing the shafts and thereby the eccentric disks to rotate in opposite directions.

  15. CENTRIFUGAL CASTING MACHINE

    DOEpatents

    Shuck, A.B.

    1958-04-01

    A device is described that is specifically designed to cast uraniumn fuel rods in a vacuunn, in order to obtain flawless, nonoxidized castings which subsequently require a maximum of machining or wastage of the expensive processed material. A chamber surrounded with heating elements is connected to the molds, and the entire apparatus is housed in an airtight container. A charge of uranium is placed in the chamber, heated, then is allowed to flow into the molds While being rotated. Water circulating through passages in the molds chills the casting to form a fine grained fuel rod in nearly finished form.

  16. Support vector machine in machine condition monitoring and fault diagnosis

    NASA Astrophysics Data System (ADS)

    Widodo, Achmad; Yang, Bo-Suk

    2007-08-01

    Recently, the issue of machine condition monitoring and fault diagnosis as a part of maintenance system became global due to the potential advantages to be gained from reduced maintenance costs, improved productivity and increased machine availability. This paper presents a survey of machine condition monitoring and fault diagnosis using support vector machine (SVM). It attempts to summarize and review the recent research and developments of SVM in machine condition monitoring and diagnosis. Numerous methods have been developed based on intelligent systems such as artificial neural network, fuzzy expert system, condition-based reasoning, random forest, etc. However, the use of SVM for machine condition monitoring and fault diagnosis is still rare. SVM has excellent performance in generalization so it can produce high accuracy in classification for machine condition monitoring and diagnosis. Until 2006, the use of SVM in machine condition monitoring and fault diagnosis is tending to develop towards expertise orientation and problem-oriented domain. Finally, the ability to continually change and obtain a novel idea for machine condition monitoring and fault diagnosis using SVM will be future works.

  17. Southern Orthopaedic Association Abstract Publication Rate.

    PubMed

    Tait, Mark Adam; Petrus, Cara; Barnes, C Lowry

    2016-01-01

    The purpose of this study was to determine the publication rate of manuscripts presented at the Southern Orthopaedic Association's (SOA) annual meetings. An extensive literature search was performed using Google Scholar and PubMed search engines and all accepted abstracts (posters or podium presentations) presented at an SOA annual meeting from 2005 to 2011 were evaluated. A total of 568 abstracts were presented at SOA meetings between 2005 and 2011. Of these, 234 (41%) were published in the peer-reviewed literature. The publication rate was 66% in 2005 and 28% in 2010. The average time from presentation to peer-reviewed publication was 1.6 ± 0.24 years (range, 2 years in 2006 to 1 year in 2011). The SOA publication rate was comparable with other major orthopaedic conference publication rates, yet more than half of all abstracts remain unpublished. SOA attendees should be aware that approximately 40% of all accepted presentations will go unpublished. PMID:27518291

  18. Information Leakage Analysis by Abstract Interpretation

    NASA Astrophysics Data System (ADS)

    Zanioli, Matteo; Cortesi, Agostino

    Protecting the confidentiality of information stored in a computer system or transmitted over a public network is a relevant problem in computer security. The approach of information flow analysis involves performing a static analysis of the program with the aim of proving that there will not be leaks of sensitive information. In this paper we propose a new domain that combines variable dependency analysis, based on propositional formulas, and variables' value analysis, based on polyhedra. The resulting analysis is strictly more accurate than the state of the art abstract interpretation based analyses for information leakage detection. Its modular construction allows to deal with the tradeoff between efficiency and accuracy by tuning the granularity of the abstraction and the complexity of the abstract operators.

  19. Fall Meeting abstract submission inspires science poetry

    NASA Astrophysics Data System (ADS)

    Balcerak, Ernie

    2011-08-01

    When the 4 August deadline for submitting Fall Meeting abstracts passed, AGU had received more than 20,000 abstracts, a record-breaking number. The submission process had an unexpected by-product: It inspired some scientists to write haiku on Twitter. (Haiku is a form of Japanese poetry typically having three lines, the first with five syllables, the second with seven, and the third with five.) The following are examples of the haiku tweets, with the hashtag #AGU11AbstractHaiku. (For those who want to keep updated about the Fall Meeting on Twitter, the hashtag is #AGU11.) For more information about the meeting, including registration and housing, visit http://sites.agu.org/fallmeeting/.

  20. Abstracting and indexing in the medical sciences.

    PubMed

    Welt, I D

    1962-07-01

    Abstracts and indexes constitute the most popular means of assuring adequate retrieval of the many thousands of papers published every year in the ever expanding field of medicine. Different types of abstracts and indexes are available for different purposes and to meet varying user requirements. The problem of "keeping up" with developments in one's own field of endeavour can usually be solved by qualified abstractors. Most indexes serve the purpose of assuring the retrieval of pertinent documents. However, in order to retrieve specific pieces of information which are absolutely indispensible to the medical practitioner or scientist, a new approach is needed. This technique, which is termed the "combined index-abstract" method, has been employed successfully for the handling of a large body of specific items of information in a restricted area of experimental and clinical pharmacology. PMID:21735878

  1. Computing abstraction hierarchies by numerical simulation

    SciTech Connect

    Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.

    1996-12-31

    We present a novel method for building ABSTRIPS-style abstraction hierarchies in planning. The aim of this method is to minimize the amount of backtracking between abstraction levels. Previous approaches have determined the criticality of operator preconditions by reasoning about plans directly. Here, we adopt a simpler and faster approach where we use numerical simulation of the planning process. We demonstrate the theoretical advantages of our approach by identifying some simple properties lacking in previous approaches but possessed by our method. We demonstrate the empirical advantages of our approach by a set of four benchmark experiments using the ABTWEAK system. We compare the quality of the abstraction hierarchies generated with those built by the ALPINE and HIGHPOINT algorithms.

  2. Earth Sciences Division collected abstracts: 1979

    SciTech Connect

    Henry, A.L.; Schwartz, L.L.

    1980-04-30

    This report is a compilation of abstracts of papers, internal reports, and talks presented during 1979 at national and international meetings by members of the Earth Sciences Division, Lawrence Livermore Laboratory. The arrangement is alphabetical (by author). For a given report, a bibliographic reference appears under the name of each coauthor, but the abstract iself is given only under the name of the first author or the first Earth Sciences Division author. A topical index at the end of the report provides useful cross references, while indicating major areas of research interest in the Earth Sciences Division.

  3. 2011 statistical abstract of the United States

    USGS Publications Warehouse

    Krisanda, Joseph M.

    2011-01-01

    The Statistical Abstract of the United States, published since 1878, is the authoritative and comprehensive summary of statistics on the social, political, and economic organization of the United States.


    Use the Abstract as a convenient volume for statistical reference, and as a guide to sources of more information both in print and on the Web.


    Sources of data include the Census Bureau, Bureau of Labor Statistics, Bureau of Economic Analysis, and many other Federal agencies and private organizations.

  4. Unsteady processes in machines.

    PubMed

    Pfeiffer, Friedrich

    1994-12-01

    Couplings in machines and mechanisms always have play and friction. While under loading, stick-slip phenomena and impact events can take place. Such processes are modeled as multibody systems whose structure is time variant or unsteady. The time-variant number of degrees of freedom is due to stick-slip contacts. The coupling characteristics become unsteady, for instance there exist jumps in the loads, if impacts occur. For establishing a uniform theory for such phenomena we use a Lagrangian approach connecting the additional constraint equations and the equations of motion by Lagrange multipliers, which are proportional to the constraint forces. Stick-slip and impact events are evaluated by indicator functions leading to special numerical algorithms for the search of switching points. Contact problems are formulated as a complementarity problem which can be solved by efficient algorithms. The theory is applied to rattling in gears, impact drilling machines, turbine blade dampers, and a woodpecker toy. In some of these applications, chaos as a result of bifurcations is possible, which results from variations in the parameters. (c) 1994 American Institute of Physics. PMID:12780146

  5. Interaction with Machine Improvisation

    NASA Astrophysics Data System (ADS)

    Assayag, Gerard; Bloch, George; Cont, Arshia; Dubnov, Shlomo

    We describe two multi-agent architectures for an improvisation oriented musician-machine interaction systems that learn in real time from human performers. The improvisation kernel is based on sequence modeling and statistical learning. We present two frameworks of interaction with this kernel. In the first, the stylistic interaction is guided by a human operator in front of an interactive computer environment. In the second framework, the stylistic interaction is delegated to machine intelligence and therefore, knowledge propagation and decision are taken care of by the computer alone. The first framework involves a hybrid architecture using two popular composition/performance environments, Max and OpenMusic, that are put to work and communicate together, each one handling the process at a different time/memory scale. The second framework shares the same representational schemes with the first but uses an Active Learning architecture based on collaborative, competitive and memory-based learning to handle stylistic interactions. Both systems are capable of processing real-time audio/video as well as MIDI. After discussing the general cognitive background of improvisation practices, the statistical modelling tools and the concurrent agent architecture are presented. Then, an Active Learning scheme is described and considered in terms of using different improvisation regimes for improvisation planning. Finally, we provide more details about the different system implementations and describe several performances with the system.

  6. The Eukaryotic Replication Machine.

    PubMed

    Zhang, D; O'Donnell, M

    2016-01-01

    The cellular replicating machine, or "replisome," is composed of numerous different proteins. The core replication proteins in all cell types include a helicase, primase, DNA polymerases, sliding clamp, clamp loader, and single-strand binding (SSB) protein. The core eukaryotic replisome proteins evolved independently from those of bacteria and thus have distinct architectures and mechanisms of action. The core replisome proteins of the eukaryote include: an 11-subunit CMG helicase, DNA polymerase alpha-primase, leading strand DNA polymerase epsilon, lagging strand DNA polymerase delta, PCNA clamp, RFC clamp loader, and the RPA SSB protein. There are numerous other proteins that travel with eukaryotic replication forks, some of which are known to be involved in checkpoint regulation or nucleosome handling, but most have unknown functions and no bacterial analogue. Recent studies have revealed many structural and functional insights into replisome action. Also, the first structure of a replisome from any cell type has been elucidated for a eukaryote, consisting of 20 distinct proteins, with quite unexpected results. This review summarizes the current state of knowledge of the eukaryotic core replisome proteins, their structure, individual functions, and how they are organized at the replication fork as a machine. PMID:27241931

  7. Stacked Extreme Learning Machines.

    PubMed

    Zhou, Hongming; Huang, Guang-Bin; Lin, Zhiping; Wang, Han; Soh, Yeng Chai

    2015-09-01

    Extreme learning machine (ELM) has recently attracted many researchers' interest due to its very fast learning speed, good generalization ability, and ease of implementation. It provides a unified solution that can be used directly to solve regression, binary, and multiclass classification problems. In this paper, we propose a stacked ELMs (S-ELMs) that is specially designed for solving large and complex data problems. The S-ELMs divides a single large ELM network into multiple stacked small ELMs which are serially connected. The S-ELMs can approximate a very large ELM network with small memory requirement. To further improve the testing accuracy on big data problems, the ELM autoencoder can be implemented during each iteration of the S-ELMs algorithm. The simulation results show that the S-ELMs even with random hidden nodes can achieve similar testing accuracy to support vector machine (SVM) while having low memory requirements. With the help of ELM autoencoder, the S-ELMs can achieve much better testing accuracy than SVM and slightly better accuracy than deep belief network (DBN) with much faster training speed. PMID:25361517

  8. Multiple man-machine interfaces

    NASA Technical Reports Server (NTRS)

    Stanton, L.; Cook, C. W.

    1981-01-01

    The multiple man machine interfaces inherent in military pilot training, their social implications, and the issue of possible negative feedback were explored. Modern technology has produced machines which can see, hear, and touch with greater accuracy and precision than human beings. Consequently, the military pilot is more a systems manager, often doing battle against a target he never sees. It is concluded that unquantifiable human activity requires motivation that is not intrinsic in a machine.

  9. Diamond Machining Applications And Capabilities

    NASA Astrophysics Data System (ADS)

    Benjamin, Roland J.

    1983-12-01

    Aspheric surface generation and precision machining have been important technologies at Hughes Optical Products, Inc. (formerly Optical Division, Bell & Howell Company) for over twenty years. Present machining capabilities and supporting services which are available on a custom basis are described. A variety of applications of diamond machining are illustrated, involving not only the usual reflective materials such as aluminum, copper, and electroless nickel but also such IR refractive materials as germanium, silicon, and chalcogenide glasses.

  10. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 13)

    NASA Technical Reports Server (NTRS)

    1978-01-01

    This bibliography is issued in two sections: Section 1 - Abstracts, and Section 2 - Indexes. This issue of the Abstract Section cites 161 patents and applications for patent introduced into the NASA scientific and technical information system during the period January 1978 through June 1978. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or application for patent.

  11. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 07)

    NASA Technical Reports Server (NTRS)

    1975-01-01

    This bibliography is issued in two sections: Section 1 - Abstracts, and Section 2 - Indexes. This issue of the Abstract Section cites 158 patents and applications for patent introduced into the NASA scientific and technical information system during the period of January 1975 through June 1975. Each entry in the Abstract Section consists of a citation, an abstract, and, in most cases, a key illustration selected from the patent or application for patent. This issue of the Index Section contains entries for 2830 patent and application for patent citations covering the period May 1969 through June 1975. The index section contains five indexes -- subject, inventor, source, number and accession number.

  12. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 09)

    NASA Technical Reports Server (NTRS)

    1976-01-01

    This bibliography is issued in two sections: Section 1 - Abstracts, and Section 2 - Indexes. This issue of the Abstract Section cites 200 patents and applications for patent introduced into the NASA scientific and technical information system during the period of January 1976 through June 1976. Each entry in the Abstract Section consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or application for patent. This issue of the Index Section contains entries for 2994 patent and application for patent citations covering the period May 1969 through June 1976. The Index Section contains five indexes -- subject, inventor, source, number and accession number.

  13. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 08)

    NASA Technical Reports Server (NTRS)

    1976-01-01

    This bibliography is issued in two sections; abstracts and indexes. The Abstract Section cites 180 patents and applications for patents introduced into the NASA scientific and technical information system during the period of July 1975 through December 1975. Each entry in the Abstract Section consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or application for patent. The index Section contains entries for 2,905 patents and applications for patent citations covering the period May 1969 through December 1975. The Index Section contains five indexes -- subject, inventor, source, number and accession number.

  14. Adult Education Dissertation Abstracts: 1968-1969.

    ERIC Educational Resources Information Center

    Grabowski, Stanley M., Ed.; Loague, Nehume, Ed.

    This bibliography contains citations, abstracts, and ordering information for 303 dissertations pertinent to the education or training of adults. Studies are classified by broad subject headings used in the ERIC Clearinghouse on Adult Education. Each section of the classification is identified by a four-digit number, with a one-, two-, or…

  15. Carbon Monoxide, A Bibliography With Abstracts.

    ERIC Educational Resources Information Center

    Cooper, Anna Grossman

    Included is a review of the carbon monoxide related literature published from 1880 to 1966. The 983 references with abstracts are grouped into these broad categories: Analysis, Biological Effects, Blood Chemistry, Control, Criteria and Standards, Instruments and Techniques, Sampling and Network Operations, and Sources. The Biological Effects group…

  16. Development of Abstract Grammatical Categorization in Infants

    ERIC Educational Resources Information Center

    Cyr, Marilyn; Shi, Rushen

    2013-01-01

    This study examined abstract syntactic categorization in infants, using the case of grammatical gender. Ninety-six French-learning 14-, 17-, 20-, and 30-month-olds completed the study. In a preferential looking procedure infants were tested on their generalized knowledge of grammatical gender involving pseudonouns and gender-marking determiners.…

  17. Abstracts of Research Papers 1977 AAHPER Convention.

    ERIC Educational Resources Information Center

    Sage, George H., Ed.

    This volume of abstracts describes papers written on the following topics: (1) Strength Physiology; (2) Learning Disabilities (motor); (3) Physiology - General; (4) Work Capacity; (5) Measurement and Recreation; (6) Biomechanics; (7) Professional Preparation (physical education); (8) Muscle Performance; (9) Sociology of Sport; (10) History of…

  18. Spatial abstraction for autonomous robot navigation.

    PubMed

    Epstein, Susan L; Aroor, Anoop; Evanusa, Matthew; Sklar, Elizabeth I; Parsons, Simon

    2015-09-01

    Optimal navigation for a simulated robot relies on a detailed map and explicit path planning, an approach problematic for real-world robots that are subject to noise and error. This paper reports on autonomous robots that rely on local spatial perception, learning, and commonsense rationales instead. Despite realistic actuator error, learned spatial abstractions form a model that supports effective travel. PMID:26227680

  19. Natural radiation environment III. [Lead Abstract

    SciTech Connect

    Gesell, T.F.; Lowder, W.M.

    1980-01-01

    Separate abstracts were prepared for the 52 research papers presented at this symposium in April 1978. The major topics in this volume deal with penetrating radiation measurements, radiation surveys and population exposure, radioactivity in the indoor environment, and technologically enhanced natural radioactivity. (KRM)

  20. Hubble Exoplanet Pro/Am Collaboration (Abstract)

    NASA Astrophysics Data System (ADS)

    Conti, D. M.

    2016-06-01

    (Abstract only) A collaborative effort is being organized between a world-wide network of amateur astronomers and a Hubble Space Telescope (HST) science team. The purpose of this collaboration is to supplement an HST near-infrared spectroscopy survey of some 15 exoplanets with ground-based observations in the visible range.

  1. Mr. Birmingham and His New Star (Abstract)

    NASA Astrophysics Data System (ADS)

    O'Neill, J.

    2016-06-01

    (Abstract only) The year 2016 sees two anniversaries connected with the Irish astronomer John Birmingham (1816-1884): the 200th anniversary of his birth and the 150th anniversary of his discovery of the nova outburst in T Coronae Borealis.

  2. Hilson Adolescent Profile (HAP): Hilson Research Abstracts.

    ERIC Educational Resources Information Center

    Hilson Research Inc., Kew Gardens, NY.

    Abstracts and bibliographic citations are given for the following documents concerned with the use and characteristics of the Hilson Adolescent Profile (HAP): (1) "Use of the Hilson Adolescent Profile To Compare Juvenile Offenders with Junior and Senior High School Students" (R. E. Inwald and K. E. Brobst); (2) "The Effectiveness of Social Work in…

  3. Searching Social Work Abstracts: A Review.

    ERIC Educational Resources Information Center

    Mendelsohn, Henry N.

    1986-01-01

    A subject profile using 39 concepts central to the practice of social work was searched in Social Work Abstracts (SWAB), PsycINFO, ERIC, and Social SciSearch. Social work practice concepts and search strategy, search term results, journal titles searched, and source coverage and date of most recently indexed article are noted. (EJS)

  4. Heat pipe technology. A bibliography with abstracts

    NASA Technical Reports Server (NTRS)

    1978-01-01

    This bibliography cites 55 publications on the theory, design, development, fabrication, and testing of heat pipes. Applications covered include solar, nuclear, and thermoelectric energy conversion. A book (in Russian) on low temperature heat pipes is included as well as abstracts when available. Indexes provided list authors, titles/keywords (permuted) and patents.

  5. Integrating model abstraction into monitoring strategies

    Technology Transfer Automated Retrieval System (TEKTRAN)

    This study was designed and performed to investigate the opportunities and benefits of integrating model abstraction techniques into monitoring strategies. The study focused on future applications of modeling to contingency planning and management of potential and actual contaminant release sites wi...

  6. Annual Report: Automatic Informative Abstracting and Extracting.

    ERIC Educational Resources Information Center

    Earl, L. L.; And Others

    The development of automatic indexing, abstracting, and extracting systems is investigated. Part I describes the development of tools for making syntactic and semantic distinctions of potential use in automatic indexing and extracting. One of these tools is a program for syntactic analysis (i.e., parsing) of English, the other is a dictionary of…

  7. Contextualising Numeracy: Abstract Tools at the Coalface.

    ERIC Educational Resources Information Center

    Lukin, Annabelle

    1998-01-01

    A social semiotic approach to math is necessary because of the increasing significance of abstract tools in the workplace. A case study from the coal mining industry illustrates the need to recognize mathematics as a socially constructed system and to contextualize math instruction. (SK)

  8. ANNUAL REPORT-AUTOMATIC INDEXING AND ABSTRACTING.

    ERIC Educational Resources Information Center

    Lockheed Missiles and Space Co., Palo Alto, CA. Electronic Sciences Lab.

    THE INVESTIGATION IS CONCERNED WITH THE DEVELOPMENT OF AUTOMATIC INDEXING, ABSTRACTING, AND EXTRACTING SYSTEMS. BASIC INVESTIGATIONS IN ENGLISH MORPHOLOGY, PHONETICS, AND SYNTAX ARE PURSUED AS NECESSARY MEANS TO THIS END. IN THE FIRST SECTION THE THEORY AND DESIGN OF THE "SENTENCE DICTIONARY" EXPERIMENT IN AUTOMATIC EXTRACTION IS OUTLINED. SOME OF…

  9. Does Abstracting Threaten a Sustainable Future?

    ERIC Educational Resources Information Center

    Grant, Lyle K.

    2012-01-01

    In abstraction, or conceptual behavior, people discriminate features or properties of their surroundings. This permits people to respond selectively and precisely to specialized features of their environment, which has had many benefits, including steady advances in science and technology. Within psychology, J. R. Kantor and B. F. Skinner…

  10. Static Abstractions and the Teaching of Writing.

    ERIC Educational Resources Information Center

    Connors, Robert J.

    The element of static abstractions (SAs)--any pseudoheuristic listing of derived nominals whose purpose is to define good structure in prose writing--is one of the important historical components of the current traditional rhetoric inherited from the nineteenth century. SAs, of which unity, coherence, and emphasis are the best known examples, have…

  11. Heat pipe technology: A bibliography with abstracts

    NASA Technical Reports Server (NTRS)

    1971-01-01

    The annual supplement on heat pipe technology for 1971 is presented. The document contains 101 references with abstracts and 47 patents. The subjects discussed are: (1) heat pipe applications, (2) heat pipe theory, (3) design, development, and fabrication of heat pipes, (4) testing and operation, (5) subject and author index, and (6) heat pipe related patents.

  12. Conference Abstracts: Computers in Physics Instruction.

    ERIC Educational Resources Information Center

    Baird, William E.

    1989-01-01

    Provides selected abstracts from the Computers in Physics Instruction conference held on August 1-5, 1988. Topics include: wave and particle motion, the CT programing language, microcomputer-based laboratories, student written simulations, concept maps, summer institutes, computer bulletin boards, interactive video, and videodisks. (MVL)

  13. The Eggen Card Project (Poster abstract)

    NASA Astrophysics Data System (ADS)

    Silvis, G.

    2015-06-01

    (Abstract only) At the 2013 meeting we kicked off the Eggen Card project. This project was to make the huge collection of photometric observations made by Olin Eggen accessible to researchers. My poster this year is to report progress and encourage more members to participate.

  14. Coding the Eggen Cards (Poster abstract)

    NASA Astrophysics Data System (ADS)

    Silvis, G.

    2014-06-01

    (Abstract only) A look at the Eggen Portal for accessing the Eggen cards. And a call for volunteers to help code the cards: 100,000 cards must be looked at and their star references identified and coded into the database for this to be a valuable resource.

  15. Abstract Schemas in Children's Chess Cognition.

    ERIC Educational Resources Information Center

    Horgan, Dianne; And Others

    The nature and development of semantic processing in chess was investigated in a study involving younger players from 6 through 18 years of age. Efforts were directed toward establishing the assertion that skilled players' memory for chess positions depends largely upon the availability of pre-stored schema (PSS) that are both abstract and…

  16. Situated Learning in an Abstract Algebra Classroom

    ERIC Educational Resources Information Center

    Ticknor, Cindy S.

    2012-01-01

    Advisory committees of mathematics consider abstract algebra as an essential component of the mathematical preparation of secondary teachers, yet preservice teachers find it challenging to connect the topics addressed in this advanced course with the high school algebra they must someday teach. This study analyzed the mathematical content…

  17. Abstracts of Research. July 1974-June 1975.

    ERIC Educational Resources Information Center

    Ohio State Univ., Columbus. Computer and Information Science Research Center.

    Abstracts of research papers in computer and information science are given for 68 papers in the areas of information storage and retrieval; human information processing; information analysis; linguistic analysis; artificial intelligence; information processes in physical, biological, and social systems; mathematical techniques; systems…

  18. Using Group Explorer in Teaching Abstract Algebra

    ERIC Educational Resources Information Center

    Schubert, Claus; Gfeller, Mary; Donohue, Christopher

    2013-01-01

    This study explores the use of Group Explorer in an undergraduate mathematics course in abstract algebra. The visual nature of Group Explorer in representing concepts in group theory is an attractive incentive to use this software in the classroom. However, little is known about students' perceptions on this technology in learning concepts in…

  19. Reducing Abstraction When Learning Graph Theory

    ERIC Educational Resources Information Center

    Hazzan, Orit; Hadar, Irit

    2005-01-01

    This article presents research on students' understanding of basic concepts in Graph Theory. Students' understanding is analyzed through the lens of the theoretical framework of reducing abstraction (Hazzan, 1999). As it turns out, in spite of the relative simplicity of the concepts that are introduced in the introductory part of a traditional…

  20. Searching Chemical Abstracts Online in Undergraduate Chemistry.

    ERIC Educational Resources Information Center

    Krumpolc, Miroslav; And Others

    1987-01-01

    Discusses the advantages of conducting online computer searches of "Chemical Abstracts." Introduces the logical sequences involved in searching an online database. Explains Boolean logic, proximity operators, truncation, searchable fields, and command language, as they relate to the use of online searches in undergraduate chemistry programs. (TW)

  1. Cool Cats: Feline Fun with Abstract Art.

    ERIC Educational Resources Information Center

    Lambert, Phyllis Gilchrist

    2002-01-01

    Presents a lesson that teaches students about abstract art in a fun way. Explains that students draw cats, learn about the work of Pablo Picasso, and, in the style of Picasso, combine the parts of the cats (tail, legs, head, body) together in unconventional ways. (CMK)

  2. A Photographic Assignment for Abstract Algebra

    ERIC Educational Resources Information Center

    Warrington, Gregory S.

    2009-01-01

    We describe a simple photographic assignment appropriate for an abstract algebra (or other) course. Students take digital pictures around campus of various examples of symmetry. They then classify these pictures according to which of the 17 plane symmetry groups they belong. (Contains 2 figures.)

  3. Abstract Journals: A Survey of Patent Coverage.

    ERIC Educational Resources Information Center

    Rimmer, Brenda M.

    1988-01-01

    Describes a survey of 33 British, French, German, and U.S. abstract journals that examined their coverage of patent specifications. The standards for the identification of patent documents developed by the World Intellectual Property Organization are discussed, and an appendix provides a listing of the patent coverage by the country of each…

  4. Simulation, Design Abstraction, and SystemC

    ERIC Educational Resources Information Center

    Harcourt, Ed

    2007-01-01

    SystemC is a system-level design and simulation language based on C++. We've been using SystemC for computer organization and design projects for the past several years. Because SystemC is embedded in C++ it contains the powerful abstraction mechanisms of C++ not found in traditional hardware description languages, such as support for…

  5. Abstracts of Energy Materials for College Classes.

    ERIC Educational Resources Information Center

    Messenger, Roger A.; And Others

    This guide provides citations and abstracts for 250 energy-related resources which can be used to incorporate energy education into the structure of existing college courses. In addition to citing books, articles, unpublished papers, films, and videotapes, the resource guide cites sets of class notes and course outlines that have been filed with…

  6. C. M. Louttit and "Psychological Abstracts"

    ERIC Educational Resources Information Center

    Littman, Richard A.

    2007-01-01

    R. A. Littman indicates that L. T. Benjamin and G. R. VandenBos's history of Psychological Abstracts is a fine account of how the American Psychological Association has carried out its responsibility to provide access to psychological research and writing. Littman was pleased to see Mac Louttit's work as editor brought out, and he takes this…

  7. Abstracts, Third Space Processing Symposium, Skylab results

    NASA Technical Reports Server (NTRS)

    1974-01-01

    Skylab experiments results are reported in abstracts of papers presented at the Third Space Processing Symposium. Specific areas of interest include: exothermic brazing, metals melting, crystals, reinforced composites, glasses, eutectics; physics of the low-g processes; electrophoresis, heat flow, and convection demonstrations flown on Apollo missions; and apparatus for containerless processing, heating, cooling, and containing materials.

  8. The Child and the Abstract Expressionist.

    ERIC Educational Resources Information Center

    Henkes, Robert

    1990-01-01

    Explores the similarities between paintings of the abstract expressionists and those of young children. Similarities include total surface coverage, disregard for details, direct application of pigment, disregard for visual perspective, and use of the painting surface as a frontal plane. (CB)

  9. An Introduction to Chemical Abstracts, with Exercises.

    ERIC Educational Resources Information Center

    Robertson, Craig A.

    This workbook is the first in a series of three that has been integrated into the chemistry curriculum for majors at the University of Vermont. The workbook consists of exercises designed to provide undergraduate students with foundation skills in the use of professional literature and a familiarity with the printed "Chemical Abstracts." Each…

  10. Automatic Abstraction for Intervals Using Boolean Formulae

    NASA Astrophysics Data System (ADS)

    Brauer, Jörg; King, Andy

    Traditionally, transfer functions have been manually designed for each operation in a program. Recently, however, there has been growing interest in computing transfer functions, motivated by the desire to reason about sequences of operations that constitute basic blocks. This paper focuses on deriving transfer functions for intervals - possibly the most widely used numeric domain - and shows how they can be computed from Boolean formulae which are derived through bit-blasting. This approach is entirely automatic, avoids complicated elimination algorithms, and provides a systematic way of handling wrap-arounds (integer overflows and underflows) which arise in machine arithmetic.

  11. Standardized Curriculum for Machine Tool Operation/Machine Shop.

    ERIC Educational Resources Information Center

    Mississippi State Dept. of Education, Jackson. Office of Vocational, Technical and Adult Education.

    Standardized vocational education course titles and core contents for two courses in Mississippi are provided: machine tool operation/machine shop I and II. The first course contains the following units: (1) orientation; (2) shop safety; (3) shop math; (4) measuring tools and instruments; (5) hand and bench tools; (6) blueprint reading; (7)…

  12. Machine Shop Milling Machines. Oklahoma Trade and Industrial Education.

    ERIC Educational Resources Information Center

    Dunn, James

    This curriculum guide provides instructional materials designed to equip students with basic knowledge and skills that will enable them to enter the machine trades at the machine-operator level. The curriculum is designed for use in full-time secondary and postsecondary classes and part-time adult classes. It can also be adapted to open-entry,…

  13. Production Machine Shop Employment Competencies. Part Four: The Milling Machine.

    ERIC Educational Resources Information Center

    Bishart, Gus; Werner, Claire

    Competencies for production machine shop are provided for the fourth of four topic areas: the milling machine. Each competency appears in a one-page format. It is presented as a goal statement followed by one or more "indicator" statements, which are performance objectives describing an ability that, upon attainment, will establish competency for…

  14. The Potential to Machine Superconductors with Electrochemical Machining

    NASA Astrophysics Data System (ADS)

    Leese, Rebecca J.; Ivanov, Atanas; Babu-Nadendla, Hari

    2016-01-01

    Superconductors (SCs), such as gadolinium barium copper oxide, are brittle ceramics which are very difficult to machine conventionally due to the easy propagation of cracks. The cracks formed during conventional machining destroy the superconductive properties of the material. As a result a new method to machine ceramic SCs is needed. In this paper, polarization experiments were conducted in various nonaqueous salt electrolytes to determine whether electrochemical machining (ECM) is a suitable method for machining gadolinium barium copper oxide with silver inclusions (GdBCO-Ag) for the first time. Sodium chloride in formic acid proved to be the best electrolyte for this application with higher dissolution rates and achieving a better surface finish. It was noted that GdBCO-Ag dissolved at higher rates in NaCl in formic acid than in other salt-solvent systems.

  15. Machine performance assessment and enhancement for a hexapod machine

    SciTech Connect

    Mou, J.I.; King, C.

    1998-03-19

    The focus of this study is to develop a sensor fused process modeling and control methodology to model, assess, and then enhance the performance of a hexapod machine for precision product realization. Deterministic modeling technique was used to derive models for machine performance assessment and enhancement. Sensor fusion methodology was adopted to identify the parameters of the derived models. Empirical models and computational algorithms were also derived and implemented to model, assess, and then enhance the machine performance. The developed sensor fusion algorithms can be implemented on a PC-based open architecture controller to receive information from various sensors, assess the status of the process, determine the proper action, and deliver the command to actuators for task execution. This will enhance a hexapod machine`s capability to produce workpieces within the imposed dimensional tolerances.

  16. Mineral mining machines

    SciTech Connect

    Higgs, R.H.; Nicholls, J.T.; Oven, T.

    1980-06-24

    A mineral mining machine incorporates a guideway defining runs for a cutter chain which carries cutter picks. The guideway is movable as a whole and is formed with runs for the chain. The runs of the guideway are of generally l-shaped cross section, although the invention is not so limited, and have relatively outer and relatively inner supporting guide surfaces for the cutter chain. The relatively inner guide surface is positioned to the rear of the drive member, E.G. A sprocket, for the chain, I.E. Behind the center line of the chain in the cutting direction. The guide surfaces are continuous around the whole of the guideway thus providing continuous support for the chain during the whole of its movement around the guideway.

  17. Extremal quantum cloning machines

    SciTech Connect

    Chiribella, G.; D'Ariano, G. M.; Perinotti, P.; Cerf, N.J.

    2005-10-15

    We investigate the problem of cloning a set of states that is invariant under the action of an irreducible group representation. We then characterize the cloners that are extremal in the convex set of group covariant cloning machines, among which one can restrict the search for optimal cloners. For a set of states that is invariant under the discrete Weyl-Heisenberg group, we show that all extremal cloners can be unitarily realized using the so-called double-Bell states, whence providing a general proof of the popular ansatz used in the literature for finding optimal cloners in a variety of settings. Our result can also be generalized to continuous-variable optimal cloning in infinite dimensions, where the covariance group is the customary Weyl-Heisenberg group of displacement000.

  18. Electropulse chemical machining

    SciTech Connect

    Allen, T.A.; Rospopo, S.D.

    1984-08-01

    Electropulse Chemical Machining is a new technique in chemical milling, and we have applied it to the photoforming of molybdenum. We apply direct current in short pulses at current densities of thousands of amperes per square foot with little thermal degradation of resists or workpieces. We have achieved etch rates an order of magnitude faster than those of existing methods, with a corresponding improvement in surface finish. Equipment designed for pulse plating can be used and is readily available from plating suppliers. Chemicals are commercially available and may be diluted to levels that protect resist images, reduce hazards to personnel, and simplify disposal. We speculate that this process can be applied to other refractory metals and noble metals.

  19. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 29)

    NASA Technical Reports Server (NTRS)

    1986-01-01

    Abstracts are provided for 115 patents and patent applications entered into the NASA scientific and technical information system during the period January 1986 through June 1986. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent application.

  20. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 30)

    NASA Technical Reports Server (NTRS)

    1987-01-01

    Abstracts are provided for 105 patents and patent applications entered into the NASA scientific and technical information system during the period July 1986 through December 1986. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  1. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 20)

    NASA Technical Reports Server (NTRS)

    1982-01-01

    Abstracts are cited for 165 patents and patent applications introduced into the NASA scientific and technical information system during the period July 1981 through December 1981. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  2. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 37)

    NASA Technical Reports Server (NTRS)

    1989-01-01

    Abstracts are provided for 76 patents and patent applications entered into the NASA scientific and technical information systems during the period January 1990 through June 1990. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  3. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 38)

    NASA Technical Reports Server (NTRS)

    1991-01-01

    Abstracts are provided for 132 patents and patent applications entered into the NASA scientific and technical information system during the period July 1990 through December 1990. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  4. Choosing a Database for Social Work: A Comparison of Social Work Abstracts and Social Service Abstracts

    ERIC Educational Resources Information Center

    Flatley, Robert K.; Lilla, Rick; Widner, Jack

    2007-01-01

    This study compared Social Work Abstracts and Social Services Abstracts databases in terms of indexing, journal coverage, and searches. The authors interviewed editors, analyzed journal coverage, and compared searches. It was determined that the databases complement one another more than compete. The authors conclude with some considerations.

  5. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 28)

    NASA Technical Reports Server (NTRS)

    1986-01-01

    Abstracts are provided for 109 patents and patent applications entered into the NASA Scientific and Technical Information System during the period July 1985 through December 1985. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  6. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 16)

    NASA Technical Reports Server (NTRS)

    1980-01-01

    Abstracts are cited for 138 patents and patent applications introduced into the NASA scientific and technical information system during the period July 1979 through December 1979. Each entry cib consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  7. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 14)

    NASA Technical Reports Server (NTRS)

    1979-01-01

    Abstracts are cited for 213 patents and applications for patent introduced into the NASA scientific and technical information system during the period of July 1978 through December 1978. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or application for patent.

  8. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 19)

    NASA Technical Reports Server (NTRS)

    1981-01-01

    Abstracts are cited for 130 patents and patent applications introduced into the NASA scientific and technical information system during the period of January 1981 through July 1981. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or application for patent.

  9. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 18)

    NASA Technical Reports Server (NTRS)

    1981-01-01

    Abstracts are cited for 120 patents and patent applications for patents introduced into the NASA scientific system during the period of July 1980 through December 1980. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or application for patent.

  10. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 17)

    NASA Technical Reports Server (NTRS)

    1980-01-01

    Abstracts are cited for 150 patents and applications for patents introduced into the NASA scientific and technical information system during the period January 1980 through June 1980. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or application for patent.

  11. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 15)

    NASA Technical Reports Server (NTRS)

    1979-01-01

    Abstracts are cited for 240 patents and applications for patents introduced into the NASA scientific system during the period of January 1979 through June 1979. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or application for patent.

  12. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 33)

    NASA Technical Reports Server (NTRS)

    1988-01-01

    Abstracts are provided for 16 patents and patent applications entered into the NASA scientific and technical information systems during the period January 1988 through June 1988. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  13. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 25)

    NASA Technical Reports Server (NTRS)

    1984-01-01

    Abstracts are provided for 102 patents and patent applications entered into the NASA scientific and technical information system during the period January 1984 through June 1984. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  14. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 35)

    NASA Technical Reports Server (NTRS)

    1989-01-01

    Abstracts are provided for 58 patents and patent applications entered into the NASA scientific and technical information systems during the period January 1989 through June 1989. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  15. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 24)

    NASA Technical Reports Server (NTRS)

    1984-01-01

    Abstracts are provided for 167 patents and patent applications entered into the NASA scientific and technical information system during the period July 1983 through December 1983. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  16. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 34)

    NASA Technical Reports Server (NTRS)

    1989-01-01

    Abstracts are provided for 124 patents and patent applications entered into the NASA scientific and technical information systems during the period July 1988 through December 1988. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  17. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 39)

    NASA Technical Reports Server (NTRS)

    1991-01-01

    Abstracts are provided for 154 patents and patent applications entered into the NASA scientific and technical information systems during the period Jan. 1991 through Jun. 1991. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  18. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 42)

    NASA Technical Reports Server (NTRS)

    1993-01-01

    Abstracts are provided for 174 patents and patent applications entered into the NASA scientific and technical information system during the period July 1992 through December 1992. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  19. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 36)

    NASA Technical Reports Server (NTRS)

    1990-01-01

    Abstracts are provided for 63 patents and patent applications entered into the NASA scientific and technical information systems during the period July 1989 through December 1989. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  20. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 26)

    NASA Technical Reports Server (NTRS)

    1985-01-01

    Abstracts are provided for 172 patents and patent applications entered into the NASA scientific and technical information system during the period July 1984 through December 1984. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  1. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 45)

    NASA Technical Reports Server (NTRS)

    1994-01-01

    Abstracts are provided for 137 patents and patent applications entered into the NASA scientific and technical information system during the period Jan. 1994 through Jun. 1994. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  2. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 32)

    NASA Technical Reports Server (NTRS)

    1988-01-01

    Abstracts are provided for 136 patents and patent applications entered into the NASA scientific and technical information system during the period July through December 1987. Each entry consists of a citation , an abstract, and in most cases, a key illustration selected from the patent or patent application.

  3. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 43)

    NASA Technical Reports Server (NTRS)

    1993-01-01

    Abstracts are provided for 128 patents and patent applications entered into the NASA scientific and technical information system during the period Jan. 1993 through Jun. 1993. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  4. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 27)

    NASA Technical Reports Server (NTRS)

    1985-01-01

    Abstracts are provided for 92 patents and patent applications entered into the NASA scientific and technical information system during the period January 1985 through June 1985. Each entry consist of a citation, and abstract, and in most cases, a key illustration selected from the patent or patent application.

  5. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 44)

    NASA Technical Reports Server (NTRS)

    1994-01-01

    Abstracts are provided for 131 patents and patent applications entered into the NASA scientific and technical information system during the period Jun. 1993 through Dec. 1993. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  6. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 31)

    NASA Technical Reports Server (NTRS)

    1987-01-01

    Abstracts are provided for 85 patents and patent applications entered into the NASA scientific and technical information system during the period January 1987 through June 1987. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  7. NASA Patent Abstracts Bibliography: A Continuing Bibliography. Section 1: Abstracts (Supplement 48)

    NASA Technical Reports Server (NTRS)

    1996-01-01

    Abstracts are provided for 85 patents and patent applications entered into the NASA scientific and technical information system during the period July 1995 through December 1995. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  8. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 40)

    NASA Technical Reports Server (NTRS)

    1992-01-01

    Abstracts are provided for 181 patents and patent applications entered into the NASA scientific and technical information system during the period July 1991 through December 1991. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  9. NASA patent abstracts bibliography. A continuing bibliography (supplement 22). Section 1: Abstracts

    NASA Technical Reports Server (NTRS)

    1983-01-01

    Abstracts are cited for 234 patents and patent applications introduced into the NASA scientific and technical information system during the period July 1982 through December 1982. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  10. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 41)

    NASA Technical Reports Server (NTRS)

    1992-01-01

    Abstracts are provided for 131 patents and patent applications entered into the NASA scientific and technical information system during the period Jan. 1992 through Jun. 1992. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  11. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 23)

    NASA Technical Reports Server (NTRS)

    1983-01-01

    Abstracts are cited for 129 patents and patent applications introduced into the NASA scientific and technical information system during the period January 1983 through June 1983. Each entry consists of a citation, an abstract, and in most cases, a key illustration selected from the patent or patent application.

  12. Abstraction of Drift-Scale Coupled Processes

    SciTech Connect

    N.D. Francis; D. Sassani

    2000-03-31

    This Analysis/Model Report (AMR) describes an abstraction, for the performance assessment total system model, of the near-field host rock water chemistry and gas-phase composition. It also provides an abstracted process model analysis of potentially important differences in the thermal hydrologic (TH) variables used to describe the performance of a geologic repository obtained from models that include fully coupled reactive transport with thermal hydrology and those that include thermal hydrology alone. Specifically, the motivation of the process-level model comparison between fully coupled thermal-hydrologic-chemical (THC) and thermal-hydrologic-only (TH-only) is to provide the necessary justification as to why the in-drift thermodynamic environment and the near-field host rock percolation flux, the essential TH variables used to describe the performance of a geologic repository, can be obtained using a TH-only model and applied directly into a TSPA abstraction without recourse to a fully coupled reactive transport model. Abstraction as used in the context of this AMR refers to an extraction of essential data or information from the process-level model. The abstraction analysis reproduces and bounds the results of the underlying detailed process-level model. The primary purpose of this AMR is to abstract the results of the fully-coupled, THC model (CRWMS M&O 2000a) for effects on water and gas-phase composition adjacent to the drift wall (in the near-field host rock). It is assumed that drift wall fracture water and gas compositions may enter the emplacement drift before, during, and after the heating period. The heating period includes both the preclosure, in which the repository drifts are ventilated, and the postclosure periods, with backfill and drip shield emplacement at the time of repository closure. Although the preclosure period (50 years) is included in the process models, the postclosure performance assessment starts at the end of this initial period

  13. Machining of uranium and uranium alloys

    SciTech Connect

    Morris, T.O.

    1981-12-14

    Uranium and uranium alloys can be readily machined by conventional methods in the standard machine shop when proper safety and operating techniques are used. Material properties that affect machining processes and recommended machining parameters are discussed. Safety procedures and precautions necessary in machining uranium and uranium alloys are also covered. 30 figures.

  14. Cleaning of Free Machining Brass

    SciTech Connect

    Shen, T

    2005-12-29

    We have investigated four brightening treatments proposed by two cleaning vendors for cleaning free machining brass. The experimental results showed that none of the proposed brightening treatments passed the swipe test. Thus, we maintain the recommendation of not using the brightening process in the cleaning of free machining brass for NIF application.

  15. Machine Trades Lab Management Guide.

    ERIC Educational Resources Information Center

    Ohio State Univ., Columbus. Instructional Materials Lab.

    This manual was developed to guide machine trades instructors and vocational supervisors in sequencing laboratory instruction and controlling the flow of work for a 2-year machine trades training program. The first part of the guide provides information on program management (program description, safety concerns, academic issues, implementation…

  16. Self-Adjusting Teaching Machines.

    ERIC Educational Resources Information Center

    Dovgyallo, A. M.

    A study was made on the synthesis of teaching machine elements to ensure the stabilization of the chi indicator of the teaching process of each student. At first, a procedure was developed for calculating the chi indicator for the case when the teaching machine predicts the magnitude of this indicator based on probabilities derived from an…

  17. Machine Accounting. An Instructor's Guide.

    ERIC Educational Resources Information Center

    Gould, E. Noah, Ed.

    Designed to prepare students to operate the types of accounting machines used in many medium-sized businesses, this instructor's guide presents a full-year high school course in machine accounting covering 120 hours of instruction. An introduction for the instructor suggests how to adapt the guide to present a 60-hour module which would be…

  18. The Blindstitch Machine. Module 11.

    ERIC Educational Resources Information Center

    South Carolina State Dept. of Education, Columbia. Office of Vocational Education.

    This module on the purpose and use of the blindstitch machine, one in a series on clothing construction for industrial sewing machine operators designed for student self-study, contains three sections. Each section includes the following parts: an introduction, directions, an objective, learning activities, student information, student self-check,…

  19. Contraction-Only Exercise Machine

    NASA Technical Reports Server (NTRS)

    Doerr, Donald F.; Maples, Arthur B.; Campbell, Craig M.

    1992-01-01

    Standard knee-extension machine modified so subject experiences force only when lifting leg against stack of weights. Exerts little force on leg while being lowered. Hydraulic cylinder and reservoir mounted on frame of exercise machine. Fluid flows freely from cylinder to reservoir during contraction (lifting) but in constricted fashion from reservoir to cylinder during extension (lowering).

  20. Man and Machines: Three Criticisms.

    ERIC Educational Resources Information Center

    Schneider, Edward F.

    As machines have become a more common part of daily life through the passage of time, the idea that the line separating man and machine is slowly fading has become more popular as well. This paper examines three critics of change through their most famous works. One of the most popular views of Mary Shelley's "Frankenstein" is that it is a…

  1. Machine Shop: Scope and Sequence.

    ERIC Educational Resources Information Center

    Nashville - Davidson County Metropolitan Public Schools, TN.

    Intended for use by all machine shop instructors in the Metropolitan Nashville Public Schools, this guide provides a sequential listing of course content and scope. A course description provides a brief overview of the content of the courses offered in the machine shop program. General course objectives are then listed. Outlines of the course…

  2. The Machine Scoring of Writing

    ERIC Educational Resources Information Center

    McCurry, Doug

    2010-01-01

    This article provides an introduction to the kind of computer software that is used to score student writing in some high stakes testing programs, and that is being promoted as a teaching and learning tool to schools. It sketches the state of play with machines for the scoring of writing, and describes how these machines work and what they do.…

  3. The Machine Intelligence Hex Project

    ERIC Educational Resources Information Center

    Chalup, Stephan K.; Mellor, Drew; Rosamond, Fran

    2005-01-01

    Hex is a challenging strategy board game for two players. To enhance students' progress in acquiring understanding and practical experience with complex machine intelligence and programming concepts we developed the Machine Intelligence Hex (MIHex) project. The associated undergraduate student assignment is about designing and implementing Hex…

  4. Anaesthesia Machine: Checklist, Hazards, Scavenging

    PubMed Central

    Goneppanavar, Umesh; Prabhu, Manjunath

    2013-01-01

    From a simple pneumatic device of the early 20th century, the anaesthesia machine has evolved to incorporate various mechanical, electrical and electronic components to be more appropriately called anaesthesia workstation. Modern machines have overcome many drawbacks associated with the older machines. However, addition of several mechanical, electronic and electric components has contributed to recurrence of some of the older problems such as leak or obstruction attributable to newer gadgets and development of newer problems. No single checklist can satisfactorily test the integrity and safety of all existing anaesthesia machines due to their complex nature as well as variations in design among manufacturers. Human factors have contributed to greater complications than machine faults. Therefore, better understanding of the basics of anaesthesia machine and checking each component of the machine for proper functioning prior to use is essential to minimise these hazards. Clear documentation of regular and appropriate servicing of the anaesthesia machine, its components and their satisfactory functioning following servicing and repair is also equally important. Trace anaesthetic gases polluting the theatre atmosphere can have several adverse effects on the health of theatre personnel. Therefore, safe disposal of these gases away from the workplace with efficiently functioning scavenging system is necessary. Other ways of minimising atmospheric pollution such as gas delivery equipment with negligible leaks, low flow anaesthesia, minimal leak around the airway equipment (facemask, tracheal tube, laryngeal mask airway, etc.) more than 15 air changes/hour and total intravenous anaesthesia should also be considered. PMID:24249887

  5. Man Machine Systems in Education.

    ERIC Educational Resources Information Center

    Sall, Malkit S.

    This review of the research literature on the interaction between humans and computers discusses how man machine systems can be utilized effectively in the learning-teaching process, especially in secondary education. Beginning with a definition of man machine systems and comments on the poor quality of much of the computer-based learning material…

  6. Space Electrochemical Research and Technology. Abstracts

    NASA Technical Reports Server (NTRS)

    1995-01-01

    This document contains abstracts of the proceedings of NASA's fifth Space Electrochemical Research and Technology (SERT) Conference, held at the NASA Lewis Research Center on May 1-3, 1995. The objective of the conference was to assess the present status and general thrust of research and development in those areas of electrochemical technology required to enable NASA missions into the next century. The conference provided a forum for the exchange of ideas and opinions of those actively involved in the field, in order to define new opportunities for the application of electrochemical processes in future NASA missions. Papers were presented in three technical areas: (1) the electrochemical interface, (2) the next generation in aerospace batteries and fuel cells, and (3) electrochemistry for non-energy storage applications. This document contains the abstracts of the papers presented.

  7. Subwog 12-D tritium technology meeting. Abstracts

    SciTech Connect

    Parker, M.J.; Addis, R.P.

    1991-12-31

    The first Subwog 12-D Tritium Technology Meeting was held at the Westinghouse Savannah River Site during the week of May 21, 1990. Subwog 12-D was created as a subwog of JOWOG 12 to address the need to understand tritium applications throughout the entire weapons complex. This includes weapons related concerns, but is primarily intended to cover tritium production and handling, environmental, safety and health issues, compatibility with materials in general; and facility design, commissioning and decommissioning activities. Tritium technology issues discussed included the physical and chemical properties, kinetics, storage, reservoir loading techniques, isotope exchange, radiolysis/aging, process and handling technology, compatibility, purification and filtering, analysis, monitoring methods, function testing, packaging and shipping, environmental and operational safety, facility design and safety, glovebox atmosphere clean-up systems, glovebox/facility decommissioning, tritium production target materials, and tritium recovery. This document provides a collection of most of the unclassified extended abstracts and abstracts presented at Subwog 12-D.

  8. Automatic identification of abstract online groups

    SciTech Connect

    Engel, David W; Gregory, Michelle L; Bell, Eric B; Cowell, Andrew J; Piatt, Andrew W

    2014-04-15

    Online abstract groups, in which members aren't explicitly connected, can be automatically identified by computer-implemented methods. The methods involve harvesting records from social media and extracting content-based and structure-based features from each record. Each record includes a social-media posting and is associated with one or more entities. Each feature is stored on a data storage device and includes a computer-readable representation of an attribute of one or more records. The methods further involve grouping records into record groups according to the features of each record. Further still the methods involve calculating an n-dimensional surface representing each record group and defining an outlier as a record having feature-based distances measured from every n-dimensional surface that exceed a threshold value. Each of the n-dimensional surfaces is described by a footprint that characterizes the respective record group as an online abstract group.

  9. Using Group Explorer in teaching abstract algebra

    NASA Astrophysics Data System (ADS)

    Schubert, Claus; Gfeller, Mary; Donohue, Christopher

    2013-04-01

    This study explores the use of Group Explorer in an undergraduate mathematics course in abstract algebra. The visual nature of Group Explorer in representing concepts in group theory is an attractive incentive to use this software in the classroom. However, little is known about students' perceptions on this technology in learning concepts in abstract algebra. A total of 26 participants in an undergraduate course studying group theory were surveyed regarding their experiences using Group Explorer. Findings indicate that all participants believed that the software was beneficial to their learning and described their attitudes regarding the software in terms of using the technology and its helpfulness in learning concepts. A multiple regression analysis reveals that representational fluency of concepts with the software correlated significantly with participants' understanding of group concepts yet, participants' attitudes about Group Explorer and technology in general were not significant factors.

  10. Safety Features in Anaesthesia Machine

    PubMed Central

    Subrahmanyam, M; Mohan, S

    2013-01-01

    Anaesthesia is one of the few sub-specialties of medicine, which has quickly adapted technology to improve patient safety. This application of technology can be seen in patient monitoring, advances in anaesthesia machines, intubating devices, ultrasound for visualisation of nerves and vessels, etc., Anaesthesia machines have come a long way in the last 100 years, the improvements being driven both by patient safety as well as functionality and economy of use. Incorporation of safety features in anaesthesia machines and ensuring that a proper check of the machine is done before use on a patient ensures patient safety. This review will trace all the present safety features in the machine and their evolution. PMID:24249880

  11. HBCUs Research Conference agenda and abstracts

    NASA Technical Reports Server (NTRS)

    Dutta, Sunil (Compiler)

    1995-01-01

    The purpose of this Historically Black Colleges and Universities (HBCUs) Research conference was to provide an opportunity for principal investigators and their students to present research progress reports. The abstracts included in this report indicate the range and quality of research topics such as aeropropulsion, space propulsion, space power, fluid dynamics, designs, structures and materials being funded through grants from Lewis Research Center to HBCUs. The conference generated extensive networking between students, principal investigators, Lewis technical monitors, and other Lewis researchers.

  12. Cryogenic adhesives and sealants: Abstracted publications

    NASA Technical Reports Server (NTRS)

    Williamson, F. R.; Olien, N. A.

    1977-01-01

    Abstracts of primary documents containing original experimental data on the properties of adhesives and sealants at cryogenic temperatures are presented. The most important references mentioned in each document are cited. In addition, a brief annotation is given for documents considered secondary in nature, such as republications or variations of original reports, progress reports leading to final reports included as primary documents, and experimental data on adhesive properties at temperatures between about 130 K and room temperature.

  13. Hydrogen energy. A bibliography with abstracts

    NASA Technical Reports Server (NTRS)

    1978-01-01

    Hydrogen Energy is a continuing bibliographic summary with abstracts of research and projections on the subject of hydrogen as a secondary fuel and as an energy carrier. This update to Hydrogen Energy cites additional references identified during the fourth quarter of 1978. It is the fourth in a 1978 quarterly series intended to provide current awareness to those interested in hydrogen energy. A series of cross indexes are included which track directly with those of the cumulative volume.

  14. Heat Pipe Technology: A bibliography with abstracts

    NASA Technical Reports Server (NTRS)

    1974-01-01

    This bibliography lists 149 references with abstracts and 47 patents dealing with applications of heat pipe technology. Topics covered include: heat exchangers for heat recovery; electrical and electronic equipment cooling; temperature control of spacecraft; cryosurgery; cryogenic, cooling; nuclear reactor heat transfer; solar collectors; laser mirror cooling; laser vapor cavitites; cooling of permafrost; snow melting; thermal diodes variable conductance; artery gas venting; and venting; and gravity assisted pipes.

  15. HBCUs Research Conference Agenda and Abstracts

    NASA Technical Reports Server (NTRS)

    Dutta, Sunil (Compiler)

    1998-01-01

    The purpose of this Historically Black Colleges and Universities (HBCUs) Research Conference was to provide an opportunity for principal investigators and their students to present research progress reports. The abstracts included in this report indicate the range and quality of research topics such as aeropropulsion, space propulsion, space power, fluid dynamics, designs, structures and materials being funded through grants from Lewis Research Center to HBCUs. The conference generated extensive networking between students, principal investigators, Lewis technical monitors, and other Lewis researchers.

  16. Recombination at the DNA level. Abstracts

    SciTech Connect

    Not Available

    1984-01-01

    Abstracts of papers in the following areas are presented: (1) chromosome mechanics; (2) yeast systems; (3) mammalian homologous recombination; (4) transposons; (5) Mu; (6) plant transposons/T4 recombination; (7) topoisomerase, resolvase, and gyrase; (8) Escherichia coli general recombination; (9) recA; (10) repair; (11) eucaryotic enzymes; (12) integration and excision of bacteriophage; (13) site-specific recombination; and (14) recombination in vitro. (ACR)

  17. HBCUs Research Conference Agenda and Abstracts

    NASA Technical Reports Server (NTRS)

    Dutta, Sunil (Compiler)

    1997-01-01

    The purpose of this Historically Black Colleges and Universities (HBCUS) Research Conference was to provide an opportunity for principal investigators and their students to present research progress reports. The abstracts included in this report indicate the range and quality of research topics such as aeropropulsion, space propulsion, space power, fluid dynamics, designs, structures and materials being funded through grants from Lewis Research Center to HBCUS. The conference generated extensive networking between students, principal investigators, Lewis technical monitors, and other Lewis researchers.

  18. Abstract concepts: data from a Grey parrot.

    PubMed

    Pepperberg, Irene M

    2013-02-01

    Do humans and nonhumans share the ability to form abstract concepts? Until the 1960s, many researchers questioned whether avian subjects could form categorical constructs, much less more abstract formulations, including concepts such as same-different or exact understanding of number. Although ethologists argued that nonhumans, including birds, had to have some understanding of divisions such as prey versus predator, mate versus nonmate, food versus nonfood, or basic relational concepts such as more versus less, simply in order to survive, no claims were made that these abilities reflected cognitive processes, and little formal data from psychology laboratories could initially support such claims. Researchers like Anthony Wright, however, succeeded in obtaining such data and inspired many others to pursue these topics, with the eventual result that several avian species are now considered "feathered primates" in terms of cognitive processes. Here I review research on numerical concepts in the Gray parrot (Psittacus erithacus), demonstrating that at least one subject, Alex, understood number symbols as abstract representations of real-world collections, in ways comparing favorably to those of apes and young human children. He not only understood such concepts, but also appeared to learn them in ways more similar to humans than to apes. PMID:23089384

  19. Implementing abstract multigrid or multilevel methods

    NASA Technical Reports Server (NTRS)

    Douglas, Craig C.

    1993-01-01

    Multigrid methods can be formulated as an algorithm for an abstract problem that is independent of the partial differential equation, domain, and discretization method. In such an abstract setting, problems not arising from partial differential equations can be treated. A general theory exists for linear problems. The general theory was motivated by a series of abstract solvers (Madpack). The latest version was motivated by the theory. Madpack now allows for a wide variety of iterative and direct solvers, preconditioners, and interpolation and projection schemes, including user callback ones. It allows for sparse, dense, and stencil matrices. Mildly nonlinear problems can be handled. Also, there is a fast, multigrid Poisson solver (two and three dimensions). The type of solvers and design decisions (including language, data structures, external library support, and callbacks) are discussed. Based on the author's experiences with two versions of Madpack, a better approach is proposed. This is based on a mixed language formulation (C and FORTRAN + preprocessor). Reasons for not using FORTRAN, C, or C++ (individually) are given. Implementing the proposed strategy is not difficult.

  20. On quantitative effects of RNA shape abstraction.

    PubMed

    Nebel, Markus E; Scheid, Anika

    2009-11-01

    Over the last few decades, much effort has been taken to develop approaches for identifying good predictions of RNA secondary structure. This is due to the fact that most computational prediction methods based on free energy minimization compute a number of suboptimal foldings and we have to identify the native folding among all these possible secondary structures. Using the abstract shapes approach as introduced by Giegerich et al. (Nucleic Acids Res 32(16):4843-4851, 2004), each class of similar secondary structures is represented by one shape and the native structures can be found among the top shape representatives. In this article, we derive some interesting results answering enumeration problems for abstract shapes and secondary structures of RNA. We compute precise asymptotics for the number of different shape representations of size n and for the number of different shapes showing up when abstracting from secondary structures of size n under a combinatorial point of view. A more realistic model taking primary structures into account remains an open challenge. We give some arguments why the present techniques cannot be applied in this case. PMID:19756808

  1. SATURATED ZONE FLOW AND TRANSPORT MODEL ABSTRACTION

    SciTech Connect

    B.W. ARNOLD

    2004-10-27

    The purpose of the saturated zone (SZ) flow and transport model abstraction task is to provide radionuclide-transport simulation results for use in the total system performance assessment (TSPA) for license application (LA) calculations. This task includes assessment of uncertainty in parameters that pertain to both groundwater flow and radionuclide transport in the models used for this purpose. This model report documents the following: (1) The SZ transport abstraction model, which consists of a set of radionuclide breakthrough curves at the accessible environment for use in the TSPA-LA simulations of radionuclide releases into the biosphere. These radionuclide breakthrough curves contain information on radionuclide-transport times through the SZ. (2) The SZ one-dimensional (I-D) transport model, which is incorporated in the TSPA-LA model to simulate the transport, decay, and ingrowth of radionuclide decay chains in the SZ. (3) The analysis of uncertainty in groundwater-flow and radionuclide-transport input parameters for the SZ transport abstraction model and the SZ 1-D transport model. (4) The analysis of the background concentration of alpha-emitting species in the groundwater of the SZ.

  2. Language abstractions for low level optimization techniques

    NASA Astrophysics Data System (ADS)

    Dévai, Gergely; Gera, Zoltán; Kelemen, Zoltán

    2012-09-01

    In case of performance critical applications programmers are often forced to write code at a low abstraction level. This leads to programs that are hard to develop and maintain because the program text is mixed up by low level optimization tricks and is far from the algorithm it implements. Even if compilers are smart nowadays and provide the user with many automatically applied optimizations, practice shows that in some cases it is hopeless to optimize the program automatically without the programmer's knowledge. A complementary approach is to allow the programmer to fine tune the program but provide him with language features that make the optimization easier. These are language abstractions that make optimization techniques explicit without adding too much syntactic noise to the program text. This paper presents such language abstractions for two well-known optimizations: bitvectors and SIMD (Single Instruction Multiple Data). The language features are implemented in the embedded domain specific language Feldspar which is specifically tailored for digital signal processing applications. While we present these language elements as part of Feldspar, the ideas behind them are general enough to be applied in other language definition projects as well.

  3. Extracting rate changes in transcriptional regulation from MEDLINE abstracts

    PubMed Central

    2014-01-01

    Background Time delays are important factors that are often neglected in gene regulatory network (GRN) inference models. Validating time delays from knowledge bases is a challenge since the vast majority of biological databases do not record temporal information of gene regulations. Biological knowledge and facts on gene regulations are typically extracted from bio-literature with specialized methods that depend on the regulation task. In this paper, we mine evidences for time delays related to the transcriptional regulation of yeast from the PubMed abstracts. Results Since the vast majority of abstracts lack quantitative time information, we can only collect qualitative evidences of time delays. Specifically, the speed-up or delay in transcriptional regulation rate can provide evidences for time delays (shorter or longer) in GRN. Thus, we focus on deriving events related to rate changes in transcriptional regulation. A corpus of yeast regulation related abstracts was manually labeled with such events. In order to capture these events automatically, we create an ontology of sub-processes that are likely to result in transcription rate changes by combining textual patterns and biological knowledge. We also propose effective feature extraction methods based on the created ontology to identify the direct evidences with specific details of these events. Our ontologies outperform existing state-of-the-art gene regulation ontologies in the automatic rule learning method applied to our corpus. The proposed deterministic ontology rule-based method can achieve comparable performance to the automatic rule learning method based on decision trees. This demonstrates the effectiveness of our ontology in identifying rate-changing events. We also tested the effectiveness of the proposed feature mining methods on detecting direct evidence of events. Experimental results show that the machine learning method on these features achieves an F1-score of 71.43%. Conclusions The manually

  4. A Semantic Theory of Abstractions: A Preliminary Report

    NASA Technical Reports Server (NTRS)

    Nayak, P. Pandurang; Levy, Alon Y.; Lum, Henry, Jr. (Technical Monitor)

    1994-01-01

    In this paper we present a semantic theory of abstractions based on viewing abstractions as interpretations between theories. This theory captures important aspects of abstractions not captured in the theory of abstractions presented by Giunchiglia and Walsh. Instead of viewing abstractions as syntactic mappings, we view abstractions as a two step process: the intended domain model is first abstracted and then a set of (abstract) formulas is constructed to capture the abstracted domain model. Viewing and justifying abstractions as model level transformations is both natural and insightful. We provide a precise characterization of the abstract theory that exactly implements the intended abstraction, and show that this theory, while being axiomatizable, is not always finitely axiomatizable. A simple corollary of the latter result disproves a conjecture made by Tenenberg that if a theory is finitely axiomatizable, then predicate abstraction of that theory leads to a finitely axiomatizable theory.

  5. Transit Reconfigurable Exerciser - Intern Exit Abstract

    NASA Technical Reports Server (NTRS)

    Gebara, Christine A.

    2014-01-01

    The Transit Resistive Exerciser (TREX) was developed during a 16 week period in which a clutch device filled with smart material was built and began the testing phase. The clutch serves as a passive method of creating resistance. When paired with a series of springs, the device creates a rowing machine also capable of resistive exercise configurations. The device has loading profiles similar to the exercise devices used on the International Space Station today. The prototype created was designed in a modular fashion to support parallel development on various aspects of the project. Hardware and software are currently in development and make use of commercially available parts. Similar technologies have been used in the automotive industry but have never been explored in the context of countermeasure systems for space flight. If the work done leads to successful testing and further development, this technology has the potential to cut the size and weight of exercise devices by an order of magnitude or more.

  6. HUMAN MACHINE COOPERATIVE TELEROBOTICS

    SciTech Connect

    William R. Hamel; Spivey Douglass; Sewoong Kim; Pamela Murray; Yang Shou; Sriram Sridharan; Ge Zhang; Scott Thayer; Rajiv V. Dubey

    2003-06-30

    described as Human Machine Cooperative Telerobotics (HMCTR). The HMCTR combines the telerobot with robotic control techniques to improve the system efficiency and reliability in teleoperation mode. In this topical report, the control strategy, configuration and experimental results of Human Machines Cooperative Telerobotics (HMCTR), which modifies and limits the commands of human operator to follow the predefined constraints in the teleoperation mode, is described. The current implementation is a laboratory-scale system that will be incorporated into an engineering-scale system at the Oak Ridge National Laboratory in the future.

  7. Thermal analog device reduces machining errors

    NASA Technical Reports Server (NTRS)

    Mcclure, E. R.

    1972-01-01

    Thermal analog devices predict thermal expansion and contraction of machine structures subjected to various heat inputs. Analog devices correct positioning of machine tools to compensate for distortion of machine frame.

  8. NASA patent abstracts bibliography: A continuing bibliography. Section 1: Abstracts (supplement 05)

    NASA Technical Reports Server (NTRS)

    1974-01-01

    This bibliography is issued in two sections: Section 1 - Abstracts, and section 2 - Indexes. The abstract section cites 217 patents and applications for patent introduced into the NASA scientific and technical information system during the period of January 1974 through June 1974. Each entry consists of a citation, an abstract, and, in most cases, a key illustration selected from the patent or application for patent. The index section contains entries for 2653 patent and application for patent citations covering the period May 1969 through June 1974. The index section contains five indexes -- subject, inventor, source, number and accession number.

  9. Machine vision for digital microfluidics.

    PubMed

    Shin, Yong-Jun; Lee, Jeong-Bong

    2010-01-01

    Machine vision is widely used in an industrial environment today. It can perform various tasks, such as inspecting and controlling production processes, that may require humanlike intelligence. The importance of imaging technology for biological research or medical diagnosis is greater than ever. For example, fluorescent reporter imaging enables scientists to study the dynamics of gene networks with high spatial and temporal resolution. Such high-throughput imaging is increasingly demanding the use of machine vision for real-time analysis and control. Digital microfluidics is a relatively new technology with expectations of becoming a true lab-on-a-chip platform. Utilizing digital microfluidics, only small amounts of biological samples are required and the experimental procedures can be automatically controlled. There is a strong need for the development of a digital microfluidics system integrated with machine vision for innovative biological research today. In this paper, we show how machine vision can be applied to digital microfluidics by demonstrating two applications: machine vision-based measurement of the kinetics of biomolecular interactions and machine vision-based droplet motion control. It is expected that digital microfluidics-based machine vision system will add intelligence and automation to high-throughput biological imaging in the future. PMID:20113117

  10. Video Time Encoding Machines

    PubMed Central

    Lazar, Aurel A.; Pnevmatikakis, Eftychios A.

    2013-01-01

    We investigate architectures for time encoding and time decoding of visual stimuli such as natural and synthetic video streams (movies, animation). The architecture for time encoding is akin to models of the early visual system. It consists of a bank of filters in cascade with single-input multi-output neural circuits. Neuron firing is based on either a threshold-and-fire or an integrate-and-fire spiking mechanism with feedback. We show that analog information is represented by the neural circuits as projections on a set of band-limited functions determined by the spike sequence. Under Nyquist-type and frame conditions, the encoded signal can be recovered from these projections with arbitrary precision. For the video time encoding machine architecture, we demonstrate that band-limited video streams of finite energy can be faithfully recovered from the spike trains and provide a stable algorithm for perfect recovery. The key condition for recovery calls for the number of neurons in the population to be above a threshold value. PMID:21296708

  11. Size reduction machine

    SciTech Connect

    Fricke, V.

    1999-12-15

    The Size Reduction Machine (SRM) is a mobile platform capable of shearing various shapes and types of metal components at a variety of elevations. This shearing activity can be performed without direct physical movement and placement of the shear head by the operator. The base unit is manually moved and roughly aligned to each cut location. The base contains the electronics: hydraulic pumps, servos, and actuators needed to move the shear-positioning arm. The movable arm allows the shear head to have six axes of movement and to cut to within 4 inches of a wall surface. The unit has a slick electrostatic capture coating to assist in external decontamination. Internal contamination of the unit is controlled by a high-efficiency particulate air (HEPA) filter on the cooling inlet fan. The unit is compact enough to access areas through a 36-inch standard door opening. This paper is an Innovative Technology Summary Report designed to provide potential users with the information they need to quickly determine if a technology would apply to a particular environmental management problem. They also are designed for readers who may recommend that a technology be considered by prospective users.

  12. Frozen beverage machine

    SciTech Connect

    Williams, J.D.

    1988-04-12

    A frozen beverage machine is described, comprising: a. a frame having an exterior, an interior, a front and a back; b. a cylinder, having an interior and an exterior as well as first and second ends and further having an opening in each of the ends, the cylinder being horizontally and fixedly positioned within the interior of the frame with the second end facing the front of the frame; c. a means, sealingly attached to the opening in the second end of the cylinder, for emptying the cylinder; d. a means, positioned within the frame and communicating with the exterior of the cylinder, for removing heat from the cylinder; e. at least one support bracket; f. a shaft, rotatably attached within the opening in the support bracket and rotatably and sealingly attached within the opening in the first end of the cylinder and extending to the interior of the cylinder; g. a motor assembly, operatively connected to a portion of the shaft exterior to the cylinder and suspended from the shaft such that the weight of the motor assembly is supported only by the shaft; h. a contact switch; and i. a resilient means, connected to the frame and the motor assembly, for maintaining the position of the motor assembly relative to the shaft until a desired threshold resistance to rotation of the shaft within the cylinder occur, and then allowing the motor assembly to rotate to a desired position relative to the shaft.

  13. Lubrication of Machine Elements

    NASA Technical Reports Server (NTRS)

    Hamrock, B. J.

    1984-01-01

    The understanding of hydrodynamic lubrication began with the classical experiments of Tower and Petrov. Reynolds used a reduced form of the Navier-Stokes equations and the continuity equation to generate a second order differential equation for the pressure in the narrow, converging gap of a bearing contact. Such a pressure enables a load to be transmitted between the surfaces with very low friction since the surfaces are completely separated by a film of fluid. In such a situation it is the physical properties of the lubricant, notably the dynamic viscosity, that dictate the behavior of the contact. The understanding of boundary lubrication is normally attributed to Hardy and Doubleday. In boundary lubrication it is the physical and chemical properties of thin films of molecular proportions and the surfaces to which they are attached that determine contact behavior. The lubricant viscosity is not an influential parameter. Research is devoted to a better understanding and more precise definition of other lubrication regimes between these extremes. One such regime, elastohydrodynamic lubrication, occurs in nonconformal contacts, where the pressures are high and the bearing surfaces deform elastically. In this situation the viscosity of the lubricant may raise considerably, and this further assists the formation of an effective fluid film. The science of these three lubrication regimes (hydrodynamic, elastohydrodynamic, and boundary) are described and the manner in which this science is used in the design of machine elements is examined.

  14. Virtual machine performance benchmarking.

    PubMed

    Langer, Steve G; French, Todd

    2011-10-01

    The attractions of virtual computing are many: reduced costs, reduced resources and simplified maintenance. Any one of these would be compelling for a medical imaging professional attempting to support a complex practice on limited resources in an era of ever tightened reimbursement. In particular, the ability to run multiple operating systems optimized for different tasks (computational image processing on Linux versus office tasks on Microsoft operating systems) on a single physical machine is compelling. However, there are also potential drawbacks. High performance requirements need to be carefully considered if they are to be executed in an environment where the running software has to execute through multiple layers of device drivers before reaching the real disk or network interface. Our lab has attempted to gain insight into the impact of virtualization on performance by benchmarking the following metrics on both physical and virtual platforms: local memory and disk bandwidth, network bandwidth, and integer and floating point performance. The virtual performance metrics are compared to baseline performance on "bare metal." The results are complex, and indeed somewhat surprising. PMID:21207096

  15. A Boltzmann machine for the organization of intelligent machines

    NASA Technical Reports Server (NTRS)

    Moed, Michael C.; Saridis, George N.

    1990-01-01

    A three-tier structure consisting of organization, coordination, and execution levels forms the architecture of an intelligent machine using the principle of increasing precision with decreasing intelligence from a hierarchically intelligent control. This system has been formulated as a probabilistic model, where uncertainty and imprecision can be expressed in terms of entropies. The optimal strategy for decision planning and task execution can be found by minimizing the total entropy in the system. The focus is on the design of the organization level as a Boltzmann machine. Since this level is responsible for planning the actions of the machine, the Boltzmann machine is reformulated to use entropy as the cost function to be minimized. Simulated annealing, expanding subinterval random search, and the genetic algorithm are presented as search techniques to efficiently find the desired action sequence and illustrated with numerical examples.

  16. Upgrading the capabilities of existing machine tools for precision machining

    SciTech Connect

    Barkman, W.E.

    1982-05-01

    A number of two-axis turning machines at the Oak Ridge Y-12 Plant have undergone upgrading as a means of meeting the needs for parts with tolerances that were more restrictive than the capability of the basic machine. The level of upgrading has ranged from changing a single machine characteristic to doing a complete overhaul of the slides, drives, spindle, and control system. The features available for the up-grading process include: tool setters, air bearing spindles and slides, pressurized oil bearing slides, electric dc torque motor drives, linear motor slide drives, eddy current spindle drives, laser feedback, vibration-isolation machine platforms, and computer numerical control (CNC) systems. Actual case histories are presented which show the levels of performance achieved with the various modifications. A discussion of the advantages and disadvantages of the various options is included.

  17. Decoding actions at different levels of abstraction.

    PubMed

    Wurm, Moritz F; Lingnau, Angelika

    2015-05-20

    Brain regions that mediate action understanding must contain representations that are action specific and at the same time tolerate a wide range of perceptual variance. Whereas progress has been made in understanding such generalization mechanisms in the object domain, the neural mechanisms to conceptualize actions remain unknown. In particular, there is ongoing dissent between motor-centric and cognitive accounts whether premotor cortex or brain regions in closer relation to perceptual systems, i.e., lateral occipitotemporal cortex, contain neural populations with such mapping properties. To date, it is unclear to which degree action-specific representations in these brain regions generalize from concrete action instantiations to abstract action concepts. However, such information would be crucial to differentiate between motor and cognitive theories. Using ROI-based and searchlight-based fMRI multivoxel pattern decoding, we sought brain regions in human cortex that manage the balancing act between specificity and generality. We investigated a concrete level that distinguishes actions based on perceptual features (e.g., opening vs closing a specific bottle), an intermediate level that generalizes across movement kinematics and specific objects involved in the action (e.g., opening different bottles with cork or screw cap), and an abstract level that additionally generalizes across object category (e.g., opening bottles or boxes). We demonstrate that the inferior parietal and occipitotemporal cortex code actions at abstract levels whereas the premotor cortex codes actions at the concrete level only. Hence, occipitotemporal, but not premotor, regions fulfill the necessary criteria for action understanding. This result is compatible with cognitive theories but strongly undermines motor theories of action understanding. PMID:25995462

  18. Gradient boosting machines, a tutorial.

    PubMed

    Natekin, Alexey; Knoll, Alois

    2013-01-01

    Gradient boosting machines are a family of powerful machine-learning techniques that have shown considerable success in a wide range of practical applications. They are highly customizable to the particular needs of the application, like being learned with respect to different loss functions. This article gives a tutorial introduction into the methodology of gradient boosting methods with a strong focus on machine learning aspects of modeling. A theoretical information is complemented with descriptive examples and illustrations which cover all the stages of the gradient boosting model design. Considerations on handling the model complexity are discussed. Three practical examples of gradient boosting applications are presented and comprehensively analyzed. PMID:24409142

  19. Gloved Human-Machine Interface

    NASA Technical Reports Server (NTRS)

    Adams, Richard (Inventor); Olowin, Aaron (Inventor); Hannaford, Blake (Inventor)

    2015-01-01

    Certain exemplary embodiments can provide a system, machine, device, manufacture, circuit, composition of matter, and/or user interface adapted for and/or resulting from, and/or a method and/or machine-readable medium comprising machine-implementable instructions for, activities that can comprise and/or relate to: tracking movement of a gloved hand of a human; interpreting a gloved finger movement of the human; and/or in response to interpreting the gloved finger movement, providing feedback to the human.

  20. Gradient boosting machines, a tutorial

    PubMed Central

    Natekin, Alexey; Knoll, Alois

    2013-01-01

    Gradient boosting machines are a family of powerful machine-learning techniques that have shown considerable success in a wide range of practical applications. They are highly customizable to the particular needs of the application, like being learned with respect to different loss functions. This article gives a tutorial introduction into the methodology of gradient boosting methods with a strong focus on machine learning aspects of modeling. A theoretical information is complemented with descriptive examples and illustrations which cover all the stages of the gradient boosting model design. Considerations on handling the model complexity are discussed. Three practical examples of gradient boosting applications are presented and comprehensively analyzed. PMID:24409142

  1. Slide system for machine tools

    DOEpatents

    Douglass, Spivey S.; Green, Walter L.

    1982-01-01

    The present invention relates to a machine tool which permits the machining of nonaxisymmetric surfaces on a workpiece while rotating the workpiece about a central axis of rotation. The machine tool comprises a conventional two-slide system (X-Y) with one of these slides being provided with a relatively short travel high-speed auxiliary slide which carries the material-removing tool. The auxiliary slide is synchronized with the spindle speed and the position of the other two slides and provides a high-speed reciprocating motion required for the displacement of the cutting tool for generating a nonaxisymmetric surface at a selected location on the workpiece.

  2. Slide system for machine tools

    DOEpatents

    Douglass, S.S.; Green, W.L.

    1980-06-12

    The present invention relates to a machine tool which permits the machining of nonaxisymmetric surfaces on a workpiece while rotating the workpiece about a central axis of rotation. The machine tool comprises a conventional two-slide system (X-Y) with one of these slides being provided with a relatively short travel high-speed auxiliary slide which carries the material-removing tool. The auxiliary slide is synchronized with the spindle speed and the position of the other two slides and provides a high-speed reciprocating motion required for the displacement of the cutting tool for generating a nonaxisymmetric surface at a selected location on the workpiece.

  3. Divvy Economies Based On (An Abstract) Temperature

    NASA Astrophysics Data System (ADS)

    Collins, Dennis G.

    2004-04-01

    The Leontief Input-Output economic system can provide a model for a one-parameter family of economic systems based on an abstract temperature T. In particular, given a normalized input-output matrix R and taking R= R(1), a family of economic systems R(1/T)=R(α) is developed that represents heating (T>1) and cooling (T<1) of the economy relative to T=1. .The economy for a given value of T represents the solution of a constrained maximum entropy problem.

  4. Review of progress in quantitative NDE. Abstracts

    SciTech Connect

    Not Available

    1992-09-01

    Abstracts of 386 papers and plenary presentations are included. The plenary sessions related to the national technology initiative. The other sessions covered the following NDE topics: corrosion, electromagnetic arrays, elastic wave scattering and backscattering/noise, civil structures, material properties, holography, shearography, UT wave propagation, eddy currents, coatings, signal processing, radiography, computed tomography, EM imaging, adhesive bonds, NMR, laser ultrasonics, composites, thermal, magnetic measurements, nonlinear acoustics, interface modeling and characterization, UT transducers, new techniques, joined materials, probes and systems, fatigue cracks and fracture, imaging and sizing, NDE in engineering and process control, acoustics of cracks, and sensors. An author index is included. (DLC)

  5. Solar thermal components. A bibliography with abstracts

    NASA Technical Reports Server (NTRS)

    Bozman, W. R. (Editor)

    1979-01-01

    This bibliographic series cites and abstracts literature and technical papers on components applied to solar thermal energy utilization. The quarterly volumes are divided into ten categories: material properties; flat plat collectors; concentrating collectors; thermal storage; heat pumps; coolers and heat exchangers; solar ponds and distillation; greenhouses; process pleat; and irrigation pumps. Each quarterly volume is compiled from a wide variety of data bases, report literature, technical briefs, journal articles and other traditional and non traditional sources. The Technology Application Center maintains a library containing many of the articles and publications referenced in the series.

  6. Software Security - The Dangers of Abstraction

    NASA Astrophysics Data System (ADS)

    Gollmann, Dieter

    Software insecurity can be explained as a potpourri of hacking methods, ranging from the familiar, e.g. buffer overruns, to the exotic, e.g. code insertion with Chinese characters. From such an angle software security would just be a collection of specific countermeasures. We will observe a common principle that can guide a structured presentation of software security and give guidance for future research directions: There exists a discrepancy between the abstract programming concepts used by software developers and their concrete implementation on the given execution platform. In support of this thesis, five case studies will be discussed, viz characters, integers, variables, atomic transactions, and double linked lists.

  7. The Lyncis Two for One Special (Abstract)

    NASA Astrophysics Data System (ADS)

    Joner, M.; Hintz, E.

    2015-12-01

    (Abstract only) The pulsating delta Scuti star AN Lyn and the near contact binary UU Lyn are conveniently located at high declination in the northern constellation of Lynx. These variable stars are about 15 arc minutes apart in the sky and differ in average brightness by roughly one magnitude. This combination makes it fairly straightforward to secure photometric data on both stars at the same time using a common set of comparison stars. We present observations made at the BYU West Mountain Observatory during the spring of 2015 and outline some preliminary conclusions that can be drawn about these distinctly different variable stars.

  8. Knowledge Abstraction in Chinese Chess Endgame Databases

    NASA Astrophysics Data System (ADS)

    Chen, Bo-Nian; Liu, Pangfeng; Hsu, Shun-Chin; Hsu, Tsan-Sheng

    Retrograde analysis is a well known approach to construct endgame databases. However, the size of the endgame databases are too large to be loaded into the main memory of a computer during tournaments. In this paper, a novel knowledge abstraction strategy is proposed to compress endgame databases. The goal is to obtain succinct knowledge for practical endgames. A specialized goal-oriented search method is described and applied on the important endgame KRKNMM. The method of combining a search algorithm with a small size of knowledge is used to handle endgame positions up to a limited depth, but with a high degree of correctness.

  9. Collaborations with Arne on Cataclysmic Variables (Abstract)

    NASA Astrophysics Data System (ADS)

    Szkody, P.

    2015-06-01

    (Abstract only) The start of the Sloan Digital Sky Survey in 2002 marked the beginning of a 14-year-long collaboration with Arne on the photometry of cataclysmic variables. Starting with the USNO Flagstaff station, and continuing with AAVSOnet, Arne and the AAVSO members contributed ground based followup of SDSS candidate CVs to determine their orbital periods and characteristics. In addition, many scientific studies using spacecraft observations with HST, XMM, and GALEX were enabled and improved due to their contemporaneous ground-based photometry. Some of the primary results in the 39 publications resulting from this long term collaboration will be summarized.

  10. A method for automatically abstracting visual documents

    NASA Technical Reports Server (NTRS)

    Rorvig, Mark E.

    1993-01-01

    Visual documents - motion sequences on film, video-tape, and digital recordings - constitute a major source of information for the Space Agency, as well as all other government and private sector entities. This article describes a method for automatically selecting key frames from visual documents. These frames may in turn be used to represent the total image sequence of visual documents in visual libraries, hypermedia systems, and training guides. The performance of the abstracting algorithm reduces 51 minutes of video sequences to 134 frames; a reduction of information in the range of 700:1.

  11. Language and Tool Support for Class and State Machine Refinement in UML-B

    NASA Astrophysics Data System (ADS)

    Said, Mar Yah; Butler, Michael; Snook, Colin

    UML-B is a ‘UML-like’ graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B. In Event-B, refinement is used to relate system models at different abstraction levels. The same abstraction-refinement concepts can also be applied in UML-B. This paper introduces the notions of refined classes and refined state machines to enable refinement of classes and state machines in UML-B. Together with these notions, a technique for moving an event between classes to facilitate abstraction is also introduced. Our work makes explicit the structures of class and state machine refinement in UML-B. The UML-B drawing tool and Event-B translator are extended to support the new refinement concepts. A case study of an auto teller machine (ATM) is presented to demonstrate application and effectiveness of refined classes and refined state machines.

  12. Humanizing machines: Anthropomorphization of slot machines increases gambling.

    PubMed

    Riva, Paolo; Sacchi, Simona; Brambilla, Marco

    2015-12-01

    Do people gamble more on slot machines if they think that they are playing against humanlike minds rather than mathematical algorithms? Research has shown that people have a strong cognitive tendency to imbue humanlike mental states to nonhuman entities (i.e., anthropomorphism). The present research tested whether anthropomorphizing slot machines would increase gambling. Four studies manipulated slot machine anthropomorphization and found that exposing people to an anthropomorphized description of a slot machine increased gambling behavior and reduced gambling outcomes. Such findings emerged using tasks that focused on gambling behavior (Studies 1 to 3) as well as in experimental paradigms that included gambling outcomes (Studies 2 to 4). We found that gambling outcomes decrease because participants primed with the anthropomorphic slot machine gambled more (Study 4). Furthermore, we found that high-arousal positive emotions (e.g., feeling excited) played a role in the effect of anthropomorphism on gambling behavior (Studies 3 and 4). Our research indicates that the psychological process of gambling-machine anthropomorphism can be advantageous for the gaming industry; however, this may come at great expense for gamblers' (and their families') economic resources and psychological well-being. PMID:26322589

  13. From human-machine interaction to human-machine cooperation.

    PubMed

    Hoc, J M

    2000-07-01

    Since the 1960s, the rapid growth of information systems has led to the wide development of research on human-computer interaction (HCI) that aims at the designing of human-computer interfaces presenting ergonomic properties, such as friendliness, usability, transparency, etc. Various work situations have been covered--clerical work, computer programming, design, etc. However, they were mainly static in the sense that the user fully controls the computer. More recently, public and private organizations have engaged themselves in the enterprise of managing more and more complex and coupled systems by the means of automation. Modern machines not only process information, but also act on dynamic situations as humans have done in the past, managing stock exchange, industrial plants, aircraft, etc. These dynamic situations are not fully controlled and are affected by uncertain factors. Hence, degrees of freedom must be maintained to allow the humans and the machine to adapt to unforeseen contingencies. A human-machine cooperation (HMC) approach is necessary to address the new stakes introduced by this trend. This paper describes the possible improvement of HCI by HMC, the need for a new conception of function allocation between humans and machines, and the main problems encountered within the new forms of human-machine relationship. It proposes a conceptual framework to study HMC from a cognitive point of view in highly dynamic situations like aircraft piloting or air-traffic control, and concludes on the design of 'cooperative' machines. PMID:10929820

  14. DSNF and other waste form degradation abstraction

    SciTech Connect

    Thornton, Thomas A.

    2000-12-20

    The purpose of this analysis/model report (AMR) is to select and/or abstract conservative degradation models for DOE-(US. Department of Energy) owned spent nuclear fuel (DSNF) and the immobilized ceramic plutonium (Pu) disposition waste forms for application in the proposed monitored geologic repository (MGR) postclosure Total System Performance Assessment (TSPA). Application of the degradation models abstracted herein for purposes other than TSPA should take into consideration the fact that they are, in general, very conservative. Using these models, the forward reaction rate for the mobilization of radionuclides, as solutes or colloids, away from the waste fondwater interface by contact with repository groundwater can then be calculated. This forward reaction rate generally consists of the dissolution reaction at the surface of spent nuclear fuel (SNF) in contact with water, but the degradation models, in some cases, may also include and account for the physical disintegration of the SNF matrix. The models do not, however, account for retardation, precipitation, or inhibition of the migration of the mobilized radionuclides in the engineered barrier system (EBS). These models are based on the assumption that all components of the DSNF waste form are released congruently with the degradation of the matrix.

  15. Phonological abstraction without phonemes in speech perception.

    PubMed

    Mitterer, Holger; Scharenborg, Odette; McQueen, James M

    2013-11-01

    Recent evidence shows that listeners use abstract prelexical units in speech perception. Using the phenomenon of lexical retuning in speech processing, we ask whether those units are necessarily phonemic. Dutch listeners were exposed to a Dutch speaker producing ambiguous phones between the Dutch syllable-final allophones approximant [r] and dark [l]. These ambiguous phones replaced either final /r/ or final /l/ in words in a lexical-decision task. This differential exposure affected perception of ambiguous stimuli on the same allophone continuum in a subsequent phonetic-categorization test: Listeners exposed to ambiguous phones in /r/-final words were more likely to perceive test stimuli as /r/ than listeners with exposure in /l/-final words. This effect was not found for test stimuli on continua using other allophones of /r/ and /l/. These results confirm that listeners use phonological abstraction in speech perception. They also show that context-sensitive allophones can play a role in this process, and hence that context-insensitive phonemes are not necessary. We suggest there may be no one unit of perception. PMID:23973464

  16. Directory of Energy Information Administration Model Abstracts

    SciTech Connect

    Not Available

    1986-07-16

    This directory partially fulfills the requirements of Section 8c, of the documentation order, which states in part that: The Office of Statistical Standards will annually publish an EIA document based on the collected abstracts and the appendices. This report contains brief statements about each model's title, acronym, purpose, and status, followed by more detailed information on characteristics, uses, and requirements. Sources for additional information are identified. All models active through March 1985 are included. The main body of this directory is an alphabetical list of all active EIA models. Appendix A identifies major EIA modeling systems and the models within these systems, and Appendix B identifies active EIA models by type (basic, auxiliary, and developing). EIA also leases models developed by proprietary software vendors. Documentation for these proprietary models is the responsibility of the companies from which they are leased. EIA has recently leased models from Chase Econometrics, Inc., Data Resources, Inc. (DRI), the Oak Ridge National Laboratory (ORNL), and Wharton Econometric Forecasting Associates (WEFA). Leased models are not abstracted here. The directory is intended for the use of energy and energy-policy analysts in the public and private sectors.

  17. Current Abstracts Nuclear Reactors and Technology

    SciTech Connect

    Bales, J.D.; Hicks, S.C.

    1993-01-01

    This publication Nuclear Reactors and Technology (NRT) announces on a monthly basis the current worldwide information available from the open literature on nuclear reactors and technology, including all aspects of power reactors, components and accessories, fuel elements, control systems, and materials. This publication contains the abstracts of DOE reports, journal articles, conference papers, patents, theses, and monographs added to the Energy Science and Technology Database during the past month. Also included are US information obtained through acquisition programs or interagency agreements and international information obtained through acquisition programs or interagency agreements and international information obtained through the International Energy Agency`s Energy Technology Data Exchange or government-to-government agreements. The digests in NRT and other citations to information on nuclear reactors back to 1948 are available for online searching and retrieval on the Energy Science and Technology Database and Nuclear Science Abstracts (NSA) database. Current information, added daily to the Energy Science and Technology Database, is available to DOE and its contractors through the DOE Integrated Technical Information System. Customized profiles can be developed to provide current information to meet each user`s needs.

  18. Diamond turning machine controller implementation

    SciTech Connect

    Garrard, K.P.; Taylor, L.W.; Knight, B.F.; Fornaro, R.J.

    1988-12-01

    The standard controller for a Pnuemo ASG 2500 Diamond Turning Machine, an Allen Bradley 8200, has been replaced with a custom high-performance design. This controller consists of four major components. Axis position feedback information is provided by a Zygo Axiom 2/20 laser interferometer with 0.1 micro-inch resolution. Hardware interface logic couples the computers digital and analog I/O channels to the diamond turning machine`s analog motor controllers, the laser interferometer, and other machine status and control information. It also provides front panel switches for operator override of the computer controller and implement the emergency stop sequence. The remaining two components, the control computer hardware and software, are discussed in detail below.

  19. Position monitor for mining machines

    NASA Technical Reports Server (NTRS)

    Lubich, J.

    1980-01-01

    Circuit at output of incremental transducer records progress of longwall shearer. In contrast to mechanical shaft encoders, electronic circuit can be easily packaged to withstand shock and vibration of mining machine as it cuts across coal seam.

  20. Z Machine at Sandia Labs

    SciTech Connect

    2007-10-17

    Sandia Labs' Z machine is the largest laboratory source of x-rays in the world. For the few nanoseconds of a Z Machine test, its electrical output equals the output of 50x the electrical generating stations of all the power plants on earth. The Z Machine complex encompasses an area roughly the size of a major college basketball arena. Originally created to validate nuclear weapons models, the Z Machine is also considered a "dark horse" in the race for viable fusion energy production. After the famous "arcs and sparks" photo of Z (a photo no longer possible after its refurbishment), this is a fast-motion video of workers completing Z's recent refurbishment.