Science.gov

Sample records for automatic modular abstractions

  1. 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.

  2. 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…

  3. 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…

  4. 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.

  5. 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.

  6. 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.

  7. A method for automatically abstracting visual documents

    NASA Technical Reports Server (NTRS)

    Rorvig, Mark E.

    1994-01-01

    Visual documents--motion sequences on film, videotape, and digital recording--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 algorithm reduces 51 minutes of video sequences to 134 frames; a reduction of information in the range of 700:1.

  8. The Air Force modular automatic test equipment (mate) maintenance concepts

    NASA Astrophysics Data System (ADS)

    Stout, J.; Persans, D.; Caporale, J.

    The Air Force has developed the Modular Automatic Test Equipment (MATE) system as a disciplined approach to the definition, acquisition, and support of automatic test equipment. The system is expressed in a series of guides regarding the hardware, computer program, human factors, and documentation required to implement the considered approach. The present investigation is concerned with the facet of the guidelines which addresses the MATE maintenance concepts. Attention is given to maintenance problems in the field, a MATE system maintenance concept overview, maintenance-oriented tests, integrated diagnostics, the MATE system operational/confidence test scenario, and a MATE system optional self-test.

  9. Kernel for modular robot applications: Automatic modeling techniques

    SciTech Connect

    Chen, I.M.; Yeo, S.H.; Chen, G.; Yang, G.

    1999-02-01

    A modular robotic system consists of standardized joint and link units that an be assembled into various kinematic configurations for different types of tasks. For the control and simulation of such a system, manual derivation of the kinematic and dynamic models, as well as the error model for kinematic calibration, require tremendous effort, because the models constantly change as the robot geometry is altered after module reconfiguration. This paper presents a frame-work to facilitate the model-generation procedure for the control and simulation of the modular robot system. A graph technique, termed kinematic graphs and realized through assembly incidence matrices (AIM), is introduced to represent the module-assembly sequence and robot geometry. The kinematics and dynamics are formulated based on a local representation of the theory of lie groups and Lie algebras. The automatic model-generation procedure starts with a given assembly graph of the modular robot. Kinematic, dynamic, and error models of the robot are then established, based on the local representations and iterative graph-traversing algorithms. This approach can be applied to a modular robot with both serial and branch-type geometries, and arbitrary degrees of freedom. Furthermore, the AIM of the robot naturally leads to solving the task-oriented optimal configuration problem in modular robots. There is no need to maintain a huge library of robot models, and the footprint of the overall software system can be reduced.

  10. A MODULAR APPROACH TO SIMULATION WITH AUTOMATIC SENSITIVITY CALCULATION

    SciTech Connect

    K. HANSON; G. CUNNINGHAM

    2001-02-01

    When using simulation codes, one often has the task of minimizing a scalar objective function with respect to numerous parameters. This situation occurs when trying to fit (assimilate) data or trying to optimize an engineering design. For simulations in which the objective function to be minimized is reasonably well behaved, that is, is differentiable and does not contain too many multiple minima, gradient-based optimization methods can reduce the number of function evaluations required to determine the minimizing parameters. However, gradient-based methods are only advantageous if one can efficiently evaluate the gradients of the objective function. Adjoint differentiation efficiently provides these sensitivities. One way to obtain code for calculating adjoint sensitivities is to use special compilers to process the simulation code. However, this approach is not always so ''automatic''. We will describe a modular approach to constructing simulation codes, which permits adjoint differentiation to be incorporated with relative ease.

  11. 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.

  12. Automatic Processing of Metallurgical Abstracts for the Purpose of Information Retrieval. Final Report.

    ERIC Educational Resources Information Center

    Melton, Jessica S.

    Objectives of this project were to develop and test a method for automatically processing the text of abstracts for a document retrieval system. The test corpus consisted of 768 abstracts from the metallurgical section of Chemical Abstracts (CA). The system, based on a subject indexing rational, had two components: (1) a stored dictionary of words…

  13. Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions

    SciTech Connect

    Liao, C; Quinlan, D J; Willcock, J J; Panas, T

    2009-12-21

    Automatic introduction of OpenMP for sequential applications has attracted significant attention recently because of the proliferation of multicore processors and the simplicity of using OpenMP to express parallelism for shared-memory systems. However, most previous research has only focused on C and Fortran applications operating on primitive data types. Modern applications using high-level abstractions, such as C++ STL containers and complex user-defined class types, are largely ignored due to the lack of research compilers that are readily able to recognize high-level object-oriented abstractions and leverage their associated semantics. In this paper, we use a source-to-source compiler infrastructure, ROSE, to explore compiler techniques to recognize high-level abstractions and to exploit their semantics for automatic parallelization. Several representative parallelization candidate kernels are used to study semantic-aware parallelization strategies for high-level abstractions, combined with extended compiler analyses. Preliminary results have shown that semantics of abstractions can help extend the applicability of automatic parallelization to modern applications and expose more opportunities to take advantage of multicore processors.

  14. Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore

    SciTech Connect

    Liao, C; Quinlan, D J; Willcock, J J; Panas, T

    2008-12-12

    Automatic introduction of OpenMP for sequential applications has attracted significant attention recently because of the proliferation of multicore processors and the simplicity of using OpenMP to express parallelism for shared-memory systems. However, most previous research has only focused on C and Fortran applications operating on primitive data types. C++ applications using high-level abstractions, such as STL containers and complex user-defined types, are largely ignored due to the lack of research compilers that are readily able to recognize high-level object-oriented abstractions and leverage their associated semantics. In this paper, we automatically parallelize C++ applications using ROSE, a multiple-language source-to-source compiler infrastructure which preserves the high-level abstractions and gives us access to their semantics. Several representative parallelization candidate kernels are used to explore semantic-aware parallelization strategies for high-level abstractions, combined with extended compiler analyses. Those kernels include an array-base computation loop, a loop with task-level parallelism, and a domain-specific tree traversal. Our work extends the applicability of automatic parallelization to modern applications using high-level abstractions and exposes more opportunities to take advantage of multicore processors.

  15. OpenAD/F : a modular, open-source tool for automatic differentiation of Fortran codes.

    SciTech Connect

    Utke, J.; Naumann, U.; Fagan, M.; Tallent, N.; Strout, M.; Heimbach, P.; Hill, C.; Wunsch, C.; Mathematics and Computer Science; Rheinisch Westfalische Technische Hochschule Aachen; Rice Univ.; Colorado State Univ.; MIT

    2008-01-01

    The OpenAD/F tool allows the evaluation of derivatives of functions defined by a Fortran program. The derivative evaluation is performed by a Fortran code resulting from the analysis and transformation of the original program that defines the function of interest. OpenAD/F has been designed with a particular emphasis on modularity, flexibility, and the use of open source components. While the code transformation follows the basic principles of automatic differentiation, the tool implements new algorithmic approaches at various levels, for example, for basic block preaccumulation and call graph reversal. Unlike most other automatic differentiation tools, OpenAD/F uses components provided by the OpenAD framework, which supports a comparatively easy extension of the code transformations in a language-independent fashion. It uses code analysis results implemented in the OpenAnalysis component. The interface to the language-independent transformation engine is an XML-based format, specified through an XML schema. The implemented transformation algorithms allow efficient derivative computations utilizing locally optimized cross-country sequences of vertex, edge, and face elimination steps. Specifically, for the generation of adjoint codes, OpenAD/F supports various code reversal schemes with hierarchical checkpointing at the subroutine level. As an example from geophysical fluid dynamics a nonlinear time-dependent scalable, yet simple, barotropic ocean model is considered. OpenAD/F's reverse mode is applied to compute sensitivities of some of the model's transport properties with respect to gridded fields such as bottom topography as independent (control) variables.

  16. Fast and automatic activation of an abstract representation of money in the human ventral visual pathway.

    PubMed

    Tallon-Baudry, Catherine; Meyniel, Florent; Bourgeois-Gironde, Sacha

    2011-01-01

    Money, when used as an incentive, activates the same neural circuits as rewards associated with physiological needs. However, unlike physiological rewards, monetary stimuli are cultural artifacts: how are monetary stimuli identified in the first place? How and when does the brain identify a valid coin, i.e. a disc of metal that is, by social agreement, endowed with monetary properties? We took advantage of the changes in the Euro area in 2002 to compare neural responses to valid coins (Euros, Australian Dollars) with neural responses to invalid coins that have lost all monetary properties (French Francs, Finnish Marks). We show in magneto-encephalographic recordings, that the ventral visual pathway automatically distinguishes between valid and invalid coins, within only ∼150 ms. This automatic categorization operates as well on coins subjects were familiar with as on unfamiliar coins. No difference between neural responses to scrambled controls could be detected. These results could suggest the existence of a generic, all-purpose neural representation of money that is independent of experience. This finding is reminiscent of a central assumption in economics, money fungibility, or the fact that a unit of money is substitutable to another. From a neural point of view, our findings may indicate that the ventral visual pathway, a system previously thought to analyze visual features such as shape or color and to be influenced by daily experience, could also able to use conceptual attributes such as monetary validity to categorize familiar as well as unfamiliar visual objects. The symbolic abilities of the posterior fusiform region suggested here could constitute an efficient neural substrate to deal with culturally defined symbols, independently of experience, which probably fostered money's cultural emergence and success. PMID:22140556

  17. Fast and Automatic Activation of an Abstract Representation of Money in the Human Ventral Visual Pathway

    PubMed Central

    Tallon-Baudry, Catherine; Meyniel, Florent; Bourgeois-Gironde, Sacha

    2011-01-01

    Money, when used as an incentive, activates the same neural circuits as rewards associated with physiological needs. However, unlike physiological rewards, monetary stimuli are cultural artifacts: how are monetary stimuli identified in the first place? How and when does the brain identify a valid coin, i.e. a disc of metal that is, by social agreement, endowed with monetary properties? We took advantage of the changes in the Euro area in 2002 to compare neural responses to valid coins (Euros, Australian Dollars) with neural responses to invalid coins that have lost all monetary properties (French Francs, Finnish Marks). We show in magneto-encephalographic recordings, that the ventral visual pathway automatically distinguishes between valid and invalid coins, within only ∼150 ms. This automatic categorization operates as well on coins subjects were familiar with as on unfamiliar coins. No difference between neural responses to scrambled controls could be detected. These results could suggest the existence of a generic, all-purpose neural representation of money that is independent of experience. This finding is reminiscent of a central assumption in economics, money fungibility, or the fact that a unit of money is substitutable to another. From a neural point of view, our findings may indicate that the ventral visual pathway, a system previously thought to analyze visual features such as shape or color and to be influenced by daily experience, could also able to use conceptual attributes such as monetary validity to categorize familiar as well as unfamiliar visual objects. The symbolic abilities of the posterior fusiform region suggested here could constitute an efficient neural substrate to deal with culturally defined symbols, independently of experience, which probably fostered money's cultural emergence and success. PMID:22140556

  18. Automatic activation of categorical and abstract analogical relations in analogical reasoning.

    PubMed

    Green, Adam E; Fugelsang, Jonathan A; Dunbar, Kevin N

    2006-10-01

    We examined activation of concepts during analogical reasoning. Subjects made either analogical judgments or categorical judgments about four-word sets. After each four-word set, they named the ink color of a single word in a modified Stroop task. Words that referred to category relations were primed (as indicated by longer response times on Stroop color naming) subsequent to analogical judgments and categorical judgments. This finding suggests that activation of category concepts plays a fundamental role in analogical thinking. When colored words referred to analogical relations, priming occurred subsequent to analogical judgments, but not to categorical judgments, even though identical four-word stimuli were used for both types of judgments. This finding lends empirical support to the hypothesis that, when people comprehend the analogy between two items, they activate an abstract analogical relation that is distinct from the specific content items that compose the analogy. PMID:17263066

  19. Automatism

    PubMed Central

    McCaldon, R. J.

    1964-01-01

    Individuals can carry out complex activity while in a state of impaired consciousness, a condition termed “automatism”. Consciousness must be considered from both an organic and a psychological aspect, because impairment of consciousness may occur in both ways. Automatism may be classified as normal (hypnosis), organic (temporal lobe epilepsy), psychogenic (dissociative fugue) or feigned. Often painstaking clinical investigation is necessary to clarify the diagnosis. There is legal precedent for assuming that all crimes must embody both consciousness and will. Jurists are loath to apply this principle without reservation, as this would necessitate acquittal and release of potentially dangerous individuals. However, with the sole exception of the defence of insanity, there is at present no legislation to prohibit release without further investigation of anyone acquitted of a crime on the grounds of “automatism”. PMID:14199824

  20. 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)

  1. Modular entanglement.

    PubMed

    Gualdi, Giulia; Giampaolo, Salvatore M; Illuminati, Fabrizio

    2011-02-01

    We introduce and discuss the concept of modular entanglement. This is the entanglement that is established between the end points of modular systems composed by sets of interacting moduli of arbitrarily fixed size. We show that end-to-end modular entanglement scales in the thermodynamic limit and rapidly saturates with the number of constituent moduli. We clarify the mechanisms underlying the onset of entanglement between distant and noninteracting quantum systems and its optimization for applications to quantum repeaters and entanglement distribution and sharing. PMID:21405382

  2. Solving the AI Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL)

    NASA Technical Reports Server (NTRS)

    Butler, Ricky W.; Munoz, Cesar A.; Siminiceanu, Radu I.

    2007-01-01

    This paper describes a translator from a new planning language named the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL) model checker. This translator has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats (SAVH) project sponsored by the Exploration Technology Development Program, which is seeking to mature autonomy technology for the vehicles and operations centers of Project Constellation.

  3. 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,…

  4. 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)

  5. Modular shield

    DOEpatents

    Snyder, Keith W.

    2002-01-01

    A modular system for containing projectiles has a sheet of material including at least a polycarbonate layer held by a metal frame having a straight frame member corresponding to each straight edge of the sheet. Each frame member has a U-shaped shield channel covering and holding a straight edge of the sheet and an adjacent U-shaped clamp channel rigidly held against the shield channel. A flexible gasket separates each sheet edge from its respective shield channel; and each frame member is fastened to each adjacent frame member only by clamps extending between adjacent clamp channels.

  6. Modular Certification

    NASA Technical Reports Server (NTRS)

    Rushby, John; Miner, Paul S. (Technical Monitor)

    2002-01-01

    Airplanes are certified as a whole: there is no established basis for separately certifying some components, particularly software-intensive ones, independently of their specific application in a given airplane. The absence of separate certification inhibits the development of modular components that could be largely "precertified" and used in several different contexts within a single airplane, or across many different airplanes. In this report, we examine the issues in modular certification of software components and propose an approach based on assume-guarantee reasoning. We extend the method from verification to certification by considering behavior in the presence of failures. This exposes the need for partitioning, and separation of assumptions and guarantees into normal and abnormal cases. We then identify three classes of property that must be verified within this framework: safe function, true guarantees, and controlled failure. We identify a particular assume-guarantee proof rule (due to McMillan) that is appropriate to the applications considered, and formally verify its soundness in PVS.

  7. 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.

  8. Automatic processing of abstract musical tonality.

    PubMed

    Choi, Inyong; Bharadwaj, Hari M; Bressler, Scott; Loui, Psyche; Lee, Kyogu; Shinn-Cunningham, Barbara G

    2014-01-01

    Music perception builds on expectancy in harmony, melody, and rhythm. Neural responses to the violations of such expectations are observed in event-related potentials (ERPs) measured using electroencephalography. Most previous ERP studies demonstrating sensitivity to musical violations used stimuli that were temporally regular and musically structured, with less-frequent deviant events that differed from a specific expectation in some feature such as pitch, harmony, or rhythm. Here, we asked whether expectancies about Western musical scale are strong enough to elicit ERP deviance components. Specifically, we explored whether pitches inconsistent with an established scale context elicit deviant components even though equally rare pitches that fit into the established context do not, and even when their timing is unpredictable. We used Markov chains to create temporally irregular pseudo-random sequences of notes chosen from one of two diatonic scales. The Markov pitch-transition probabilities resulted in sequences that favored notes within the scale, but that lacked clear melodic, harmonic, or rhythmic structure. At the random positions, the sequence contained probe tones that were either within the established scale or were out of key. Our subjects ignored the note sequences, watching a self-selected silent movie with subtitles. Compared to the in-key probes, the out-of-key probes elicited a significantly larger P2 ERP component. Results show that random note sequences establish expectations of the "first-order" statistical property of musical key, even in listeners not actively monitoring the sequences. PMID:25538607

  9. Automatic processing of abstract musical tonality

    PubMed Central

    Choi, Inyong; Bharadwaj, Hari M.; Bressler, Scott; Loui, Psyche; Lee, Kyogu; Shinn-Cunningham, Barbara G.

    2014-01-01

    Music perception builds on expectancy in harmony, melody, and rhythm. Neural responses to the violations of such expectations are observed in event-related potentials (ERPs) measured using electroencephalography. Most previous ERP studies demonstrating sensitivity to musical violations used stimuli that were temporally regular and musically structured, with less-frequent deviant events that differed from a specific expectation in some feature such as pitch, harmony, or rhythm. Here, we asked whether expectancies about Western musical scale are strong enough to elicit ERP deviance components. Specifically, we explored whether pitches inconsistent with an established scale context elicit deviant components even though equally rare pitches that fit into the established context do not, and even when their timing is unpredictable. We used Markov chains to create temporally irregular pseudo-random sequences of notes chosen from one of two diatonic scales. The Markov pitch-transition probabilities resulted in sequences that favored notes within the scale, but that lacked clear melodic, harmonic, or rhythmic structure. At the random positions, the sequence contained probe tones that were either within the established scale or were out of key. Our subjects ignored the note sequences, watching a self-selected silent movie with subtitles. Compared to the in-key probes, the out-of-key probes elicited a significantly larger P2 ERP component. Results show that random note sequences establish expectations of the “first-order” statistical property of musical key, even in listeners not actively monitoring the sequences. PMID:25538607

  10. Design of a modular digital computer system

    NASA Technical Reports Server (NTRS)

    1980-01-01

    A Central Control Element (CCE) module which controls the Automatically Reconfigurable Modular System (ARMS) and allows both redundant processing and multi-computing in the same computer with real time mode switching, is discussed. The same hardware is used for either reliability enhancement, speed enhancement, or for a combination of both.

  11. Modular robot

    DOEpatents

    Ferrante, T.A.

    1997-11-11

    A modular robot may comprise a main body having a structure defined by a plurality of stackable modules. The stackable modules may comprise a manifold, a valve module, and a control module. The manifold may comprise a top surface and a bottom surface having a plurality of fluid passages contained therein, at least one of the plurality of fluid passages terminating in a valve port located on the bottom surface of the manifold. The valve module is removably connected to the manifold and selectively fluidically connects the plurality of fluid passages contained in the manifold to a supply of pressurized fluid and to a vent. The control module is removably connected to the valve module and actuates the valve module to selectively control a flow of pressurized fluid through different ones of the plurality of fluid passages in the manifold. The manifold, valve module, and control module are mounted together in a sandwich-like manner and comprise a main body. A plurality of leg assemblies are removably connected to the main body and are removably fluidically connected to the fluid passages in the manifold so that each of the leg assemblies can be selectively actuated by the flow of pressurized fluid in different ones of the plurality of fluid passages in the manifold. 12 figs.

  12. Modular robot

    DOEpatents

    Ferrante, Todd A.

    1997-01-01

    A modular robot may comprise a main body having a structure defined by a plurality of stackable modules. The stackable modules may comprise a manifold, a valve module, and a control module. The manifold may comprise a top surface and a bottom surface having a plurality of fluid passages contained therein, at least one of the plurality of fluid passages terminating in a valve port located on the bottom surface of the manifold. The valve module is removably connected to the manifold and selectively fluidically connects the plurality of fluid passages contained in the manifold to a supply of pressurized fluid and to a vent. The control module is removably connected to the valve module and actuates the valve module to selectively control a flow of pressurized fluid through different ones of the plurality of fluid passages in the manifold. The manifold, valve module, and control module are mounted together in a sandwich-like manner and comprise a main body. A plurality of leg assemblies are removably connected to the main body and are removably fluidically connected to the fluid passages in the manifold so that each of the leg assemblies can be selectively actuated by the flow of pressurized fluid in different ones of the plurality of fluid passages in the manifold.

  13. 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)

  14. Modern Schools? Think Modular!

    ERIC Educational Resources Information Center

    Jackson, Lisa M.

    1998-01-01

    Examines how modular educational facilities can provide a viable alternative in building construction when speed and safety are key construction issues. Explains the durability of modular structures, their adherence to building codes, and the flexibility that they provide in design and appearance. The advantages to permanent modular construction…

  15. Portable modular detection system

    DOEpatents

    Brennan, James S.; Singh, Anup; Throckmorton, Daniel J.; Stamps, James F.

    2009-10-13

    Disclosed herein are portable and modular detection devices and systems for detecting electromagnetic radiation, such as fluorescence, from an analyte which comprises at least one optical element removably attached to at least one alignment rail. Also disclosed are modular detection devices and systems having an integrated lock-in amplifier and spatial filter and assay methods using the portable and modular detection devices.

  16. 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

  17. A 3-d modular gripper design tool

    SciTech Connect

    Brown, R.G.; Brost, R.C.

    1997-01-01

    Modular fixturing kits are precisely machined sets of components used for flexible, short-turnaround construction of fixtures for a variety of manufacturing purposes. A modular vise is a parallel-jaw vise, where each jaw is a modular fixture plate with a regular grid of precisely positioned holes. A modular vise can be used to locate and hold parts for machining, assembly, and inspection tasks. To fixture a part, one places pins in some of the holes so that when the vise is closed, the part is reliably located and completely constrained. The modular vise concept can be adapted easily to the design of modular parallel-jaw grippers for robots. By attaching a grid plate to each jaw of a parallel-jaw gripper, the authors gain the ability to easily construct high-quality grasps for a wide variety of parts from a standard set of hardware. Wallack and Canny developed a previous algorithm for planning planar grasp configurations for the modular vise. In this paper, the authors expand this work to produce a 3-d fixture/gripper design tool. They describe several analyses added to the planar algorithm to improve its utility, including a three-dimensional grasp quality metric based on geometric and force information, three-dimensional geometric loading analysis, and inter-gripper interference analysis to determine the compatibility of multiple grasps for handing the part from one gripper to another. Finally, the authors describe two applications which combine the utility of modular vise-style grasping with inter-gripper interference: The first is the design of a flexible part-handling subsystem for a part cleaning workcell under development at Sandia National Laboratories; the second is the automatic design of grippers that support the assembly of multiple products on a single assembly line.

  18. 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.

  19. Modularity of Prosthetic Implants.

    PubMed

    Barrack

    1994-01-01

    The vast majority of total-joint-replacement components currently utilized are modular to some degree. Modularity reduces inventory and increases the surgeon's options in both primary and revision total-joint arthroplasty. Use of a modular interface, however, increases the risk of fretting, wear debris, and dissociation and mismatching of components. The use of modular heads in total hip replacement is firmly established. The occurrence of corrosion and fretting has been recognized, and most manufacturers have improved the quality of the interface to minimize these problems. Modular polyethylene liners also offer advantages, particularly in revision procedures, where the option of additional screw fixation remains important. Many uncemented acetabular components are inserted without screws, which may generate renewed interest in one-piece factory-preassembled components. The conformity, locking mechanism, and nonarticular interface of modular acetabular components have all been studied and improved. Modular tibial components offer additional flexibility in the performance of total knee replacement but introduce the risk of dissociation and increased polyethylene wear; in revision procedures, modularity provides a valuable option for dealing with bone loss and an additional method of fixation by means of press-fit stems. Modular humeral components offer a significant advantage with limited apparent risk; however, longer clinical experience is required to assess potential problems. PMID:10708990

  20. Small Modular Biomass Systems

    SciTech Connect

    2002-12-01

    This fact sheet provides information about modular biomass systems. Small modular biomass systems can help supply electricity to rural areas, businesses, and the billions of people who live without power worldwide. These systems use locally available biomass fuels such as wood, crop waste, animal manures, and landfill gas.

  1. Modular Buildings Buying Guide.

    ERIC Educational Resources Information Center

    Morris, Susan

    1991-01-01

    Suggests that child care program directors who are expanding their programs or opening new child care centers investigate the possibility of renting, leasing, or purchasing a modular building. Discusses the advantages of modular buildings over conventional building construction or rented space in an occupied building. Provides information about…

  2. 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.

  3. Modular avionic architectures

    NASA Astrophysics Data System (ADS)

    Trujillo, Edward

    The author presents an analysis revealing some of the salient features of modular avionics. A decomposition of the modular avionics concept is performed, highlighting some of the key features of such architectures. Several layers of architecture can be found in such concepts, including those relating to software structure, communication, and supportability. Particular emphasis is placed on the layer relating to partitioning, which gives rise to those features of integration, modularity, and commonality. Where integration is the sharing of common tasks or items to gain efficiency and flexibility, modularity is the partitioning of a system into reconfigurable and maintainable items, and commonality is partitioning to maximize the use of identical items across the range of applications. Two architectures, MASA (Modular Avionics System Architecture) and Pave Pillar, are considered in particular.

  4. Design of a modular digital computer system, DRL 4. [for meeting future requirements of spaceborne computers

    NASA Technical Reports Server (NTRS)

    1972-01-01

    The design is reported of an advanced modular computer system designated the Automatically Reconfigurable Modular Multiprocessor System, which anticipates requirements for higher computing capacity and reliability for future spaceborne computers. Subjects discussed include: an overview of the architecture, mission analysis, synchronous and nonsynchronous scheduling control, reliability, and data transmission.

  5. Automatic Imitation

    ERIC Educational Resources Information Center

    Heyes, Cecilia

    2011-01-01

    "Automatic imitation" is a type of stimulus-response compatibility effect in which the topographical features of task-irrelevant action stimuli facilitate similar, and interfere with dissimilar, responses. This article reviews behavioral, neurophysiological, and neuroimaging research on automatic imitation, asking in what sense it is "automatic"…

  6. Diversity and Unity of Modularity

    ERIC Educational Resources Information Center

    Seok, Bongrae

    2006-01-01

    Since the publication of Fodor's (1983) The Modularity of Mind, there have been quite a few discussions of cognitive modularity among cognitive scientists. Generally, in those discussions, modularity means a property of specialized cognitive processes or a domain-specific body of information. In actuality, scholars understand modularity in many…

  7. Modular tokamak magnetic system

    DOEpatents

    Yang, Tien-Fang

    1988-01-01

    A modular tokamak system comprised of a plurality of interlocking moldules. Each module is comprised of a vacuum vessel section, a toroidal field coil, moldular saddle coils which generate a poloidal magnetic field and ohmic heating coils.

  8. Modularity in signaling systems

    NASA Astrophysics Data System (ADS)

    Del Vecchio, Domitilla

    2012-08-01

    Modularity is a property by which the behavior of a system does not change upon interconnection. It is crucial for understanding the behavior of a complex system from the behavior of the composing subsystems. Whether modularity holds in biology is an intriguing and largely debated question. In this paper, we discuss this question taking a control system theory view and focusing on signaling systems. In particular, we argue that, despite signaling systems being constituted of structural modules, such as covalent modification cycles, modularity does not hold in general. As in any engineering system, impedance-like effects, called retroactivity, appear at interconnections and alter the behavior of connected modules. We further argue that while signaling systems have evolved sophisticated ways to counter-act retroactivity and enforce modularity, retroactivity may also be exploited to finely control the information processing of signaling pathways. Testable predictions and experimental evidence are discussed with their implications.

  9. Modular avionics packaging standardization

    NASA Astrophysics Data System (ADS)

    Austin, M.; McNichols, J. K.

    The Modular Avionics Packaging (MAP) Program for packaging future military avionics systems with the objective of improving reliability, maintainability, and supportability, and reducing equipment life cycle costs is addressed. The basic MAP packaging concepts called the Standard Avionics Module, the Standard Enclosure, and the Integrated Rack are summarized, and the benefits of modular avionics packaging, including low risk design, technology independence with common functions, improved maintainability and life cycle costs are discussed. Progress made in MAP is briefly reviewed.

  10. Modularity and mental architecture.

    PubMed

    Robbins, Philip

    2013-11-01

    Debates about the modularity of cognitive architecture have been ongoing for at least the past three decades, since the publication of Fodor's landmark book The Modularity of Mind. According to Fodor, modularity is essentially tied to informational encapsulation, and as such is only found in the relatively low-level cognitive systems responsible for perception and language. According to Fodor's critics in the evolutionary psychology camp, modularity simply reflects the fine-grained functional specialization dictated by natural selection, and it characterizes virtually all aspects of cognitive architecture, including high-level systems for judgment, decision making, and reasoning. Though both of these perspectives on modularity have garnered support, the current state of evidence and argument suggests that a broader skepticism about modularity may be warranted. WIREs Cogn Sci 2013, 4:641-649. doi: 10.1002/wcs.1255 CONFLICT OF INTEREST: The author has declared no conflicts of interest for this article. For further resources related to this article, please visit the WIREs website. PMID:26304269

  11. 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.

  12. Self Evolving Modular Network

    NASA Astrophysics Data System (ADS)

    Tokunaga, Kazuhiro; Kawabata, Nobuyuki; Furukawa, Tetsuo

    We propose a novel modular network called the Self-Evolving Modular Network (SEEM). The SEEM has a modular network architecture with a graph structure and these following advantages: (1) new modules are added incrementally to allow the network to adapt in a self-organizing manner, and (2) graph's paths are formed based on the relationships between the models represented by modules. The SEEM is expected to be applicable to evolving functions of an autonomous robot in a self-organizing manner through interaction with the robot's environment and categorizing large-scale information. This paper presents the architecture and an algorithm for the SEEM. Moreover, performance characteristic and effectiveness of the network are shown by simulations using cubic functions and a set of 3D-objects.

  13. Symmetric modular torsatron

    DOEpatents

    Rome, J.A.; Harris, J.H.

    1984-01-01

    A fusion reactor device is provided in which the magnetic fields for plasma confinement in a toroidal configuration is produced by a plurality of symmetrical modular coils arranged to form a symmetric modular torsatron referred to as a symmotron. Each of the identical modular coils is helically deformed and comprise one field period of the torsatron. Helical segments of each coil are connected by means of toroidally directed windbacks which may also provide part of the vertical field required for positioning the plasma. The stray fields of the windback segments may be compensated by toroidal coils. A variety of magnetic confinement flux surface configurations may be produced by proper modulation of the winding pitch of the helical segments of the coils, as in a conventional torsatron, winding the helix on a noncircular cross section and varying the poloidal and radial location of the windbacks and the compensating toroidal ring coils.

  14. Modular optical detector system

    DOEpatents

    Horn, Brent A.; Renzi, Ronald F.

    2006-02-14

    A modular optical detector system. The detector system is designed to detect the presence of molecules or molecular species by inducing fluorescence with exciting radiation and detecting the emitted fluorescence. Because the system is capable of accurately detecting and measuring picomolar concentrations it is ideally suited for use with microchemical analysis systems generally and capillary chromatographic systems in particular. By employing a modular design, the detector system provides both the ability to replace various elements of the detector system without requiring extensive realignment or recalibration of the components as well as minimal user interaction with the system. In addition, the modular concept provides for the use and addition of a wide variety of components, including optical elements (lenses and filters), light sources, and detection means, to fit particular needs.

  15. Modular biowaste monitoring system

    NASA Technical Reports Server (NTRS)

    Fogal, G. L.

    1975-01-01

    The objective of the Modular Biowaste Monitoring System Program was to generate and evaluate hardware for supporting shuttle life science experimental and diagnostic programs. An initial conceptual design effort established requirements and defined an overall modular system for the collection, measurement, sampling and storage of urine and feces biowastes. This conceptual design effort was followed by the design, fabrication and performance evaluation of a flight prototype model urine collection, volume measurement and sampling capability. No operational or performance deficiencies were uncovered as a result of the performance evaluation tests.

  16. Criteria for software modularization

    NASA Technical Reports Server (NTRS)

    Card, David N.; Page, Gerald T.; Mcgarry, Frank E.

    1985-01-01

    A central issue in programming practice involves determining the appropriate size and information content of a software module. This study attempted to determine the effectiveness of two widely used criteria for software modularization, strength and size, in reducing fault rate and development cost. Data from 453 FORTRAN modules developed by professional programmers were analyzed. The results indicated that module strength is a good criterion with respect to fault rate, whereas arbitrary module size limitations inhibit programmer productivity. This analysis is a first step toward defining empirically based standards for software modularization.

  17. The Evolution of Modular Construction.

    ERIC Educational Resources Information Center

    American School & University, 1993

    1993-01-01

    Explores how the myths of modular construction for schools began; also discusses the advances made in steel and modular construction. The major advantages of using permanent modular construction for schools are highlighted, including its rapid construction, use of standard building materials, financial flexibility, and durability. (GR)

  18. Modular Perspectives on Bilingualism.

    ERIC Educational Resources Information Center

    Francis, Norbert

    2002-01-01

    This research review traces the current discussion on models of bilingualism to the contributions of Vygotsky and Luria. Proposes that a modular approach to studying the different aspects of bilingual development promises to chart a course toward finding a broader common ground around research findings and interpretations that appear to be…

  19. State Librarianship: Modular Curriculum.

    ERIC Educational Resources Information Center

    Robbins, Jane; Powell, Anne

    This modular curriculum on state librarianship is designed to be used as a basis for a full-length library science course, instructional segments of several courses, continuing education courses, or workshops. The 20 curriculum modules cover the many facets of state libraries and their activities--history, functions, social and political…

  20. Modular invariant inflation

    NASA Astrophysics Data System (ADS)

    Kobayashi, Tatsuo; Nitta, Daisuke; Urakawa, Yuko

    2016-08-01

    Modular invariance is a striking symmetry in string theory, which may keep stringy corrections under control. In this paper, we investigate a phenomenological consequence of the modular invariance, assuming that this symmetry is preserved as well as in a four dimensional (4D) low energy effective field theory. As a concrete setup, we consider a modulus field T whose contribution in the 4D effective field theory remains invariant under the modular transformation and study inflation drived by T. The modular invariance restricts a possible form of the scalar potenntial. As a result, large field models of inflation are hardly realized. Meanwhile, a small field model of inflation can be still accomodated in this restricted setup. The scalar potential traced during the slow-roll inflation mimics the hilltop potential Vht, but it also has a non-negligible deviation from Vht. Detecting the primordial gravitational waves predicted in this model is rather challenging. Yet, we argue that it may be still possible to falsify this model by combining the information in the reheating process which can be determined self-completely in this setup.

  1. Modularity in robotic systems

    NASA Technical Reports Server (NTRS)

    Tesar, Delbert; Butler, Michael S.

    1989-01-01

    Most robotic systems today are designed one at a time, at a high cost of time and money. This wasteful approach has been necessary because the industry has not established a foundation for the continued evolution of intelligent machines. The next generation of robots will have to be generic, versatile machines capable of absorbing new technology rapidly and economically. This approach is demonstrated in the success of the personal computer, which can be upgraded or expanded with new software and hardware at virtually every level. Modularity is perceived as a major opportunity to reduce the 6 to 7 year design cycle time now required for new robotic manipulators, greatly increasing the breadth and speed of diffusion of robotic systems in manufacturing. Modularity and its crucial role in the next generation of intelligent machines are the focus of interest. The main advantages that modularity provides are examined; types of modules needed to create a generic robot are discussed. Structural modules designed by the robotics group at the University of Texas at Austin are examined to demonstrate the advantages of modular design.

  2. MRV - Modular Robotic Vehicle

    NASA Technical Reports Server (NTRS)

    Ridley, Justin; Bluethmann, Bill

    2015-01-01

    The Modular Robotic Vehicle, or MRV, completed in 2013, was developed at the Johnson Space Center in order to advance technologies which have applications for future vehicles both in space and on Earth. With seating for two people, MRV is a fully electric vehicle modeled as a "city car", suited for busy urban environments.

  3. Dynamics of modularity of neural activity in the brain during development

    NASA Astrophysics Data System (ADS)

    Deem, Michael; Chen, Man

    2014-03-01

    Theory suggests that more modular systems can have better response functions at short times. This theory suggests that greater cognitive performance may be achieved for more modular neural activity, and that modularity of neural activity may, therefore, likely increase with development in children. We study the relationship between age and modularity of brain neural activity in developing children. The value of modularity calculated from fMRI data is observed to increase during childhood development and peak in young adulthood. We interpret these results as evidence of selection for plasticity in the cognitive function of the human brain. We present a model to illustrate how modularity can provide greater cognitive performance at short times and enhance fast, low-level, automatic cognitive processes. Conversely, high-level, effortful, conscious cognitive processes may not benefit from modularity. We use quasispecies theory to predict how the average modularity evolves with age, given a fitness function extracted from the model. We suggest further experiments exploring the effect of modularity on cognitive performance and suggest that modularity may be a potential biomarker for injury, rehabilitation, or disease.

  4. 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)

  5. Modular integrated video system

    SciTech Connect

    Gaertner, K.J.; Heaysman, B.; Holt, R.; Sonnier, C.

    1986-01-01

    The Modular Integrated Video System (MIVS) is intended to provide a simple, highly reliable closed circuit television (CCTV) system capable of replacing the IAEA Twin Minolta Film Camera Systems in those safeguards facilities where mains power is readily available, and situations where it is desired to have the CCTV camera separated from the CCTV recording console. This paper describes the MIVS and the Program Plan which is presently being followed for the development, testing, and implementation of the system.

  6. Automatic warranties.

    PubMed

    Decker, R

    1987-10-01

    In addition to express warranties (those specifically made by the supplier in the contract) and implied warranties (those resulting from circumstances of the sale), there is one other classification of warranties that needs to be understood by hospital materials managers. These are sometimes known as automatic warranties. In the following dialogue, Doctor Decker develops these legal concepts. PMID:10284977

  7. Automatic Stabilization

    NASA Technical Reports Server (NTRS)

    Haus, FR

    1936-01-01

    This report lays more stress on the principles underlying automatic piloting than on the means of applications. Mechanical details of servomotors and the mechanical release device necessary to assure instantaneous return of the controls to the pilot in case of malfunction are not included. Descriptions are provided of various commercial systems.

  8. Modular, Easy-to-Assemble, Low-Cost Zebrafish Facility

    PubMed Central

    Kim, Seongcheol; Carlson, Ryan; Zafreen, Lala; Rajpurohit, Surendra Kumar

    2009-01-01

    Abstract We have constructed a standalone, modular, low-cost water recirculation zebrafish facility in our laboratory. This is easy to maintain and will take only approximately $500 and a half a day to build an 80-tank module. The system described here will be useful to even investigators who are new to zebrafish aquaculture. PMID:19694524

  9. 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.

  10. New realities of modular construction

    SciTech Connect

    Duty, J.M. Jr. ); Fisher, D. ); Lewis, W.W. )

    1993-12-01

    Modular construction has both advantages and disadvantages. Advantages are safety, reduction of construction time and faster plant startup time, reduced labor cost, weather friendliness, increased quality and efficiency, simultaneous production capability, testing ease and fewer interruptions to an operating plant. Disadvantages are transportation costs, module size limitations, transportation-accessibility needs, increased engineering effort, and offloading and setting needs. These pros and cons were identified by a Construction Industry Institute (C2) task force established in 1989 to assess modular construction strengths and weaknesses. Objective: develop a decision-support tool to evaluate a project's suitability for modularization. The task force first had to learn what drivers influence modularization and then develop a set of characteristics of the ideal project for modularization. To help in this research, academics from the University of Houston and Purdue University developed MODEX, an expert system which became the decision-support tool. The paper first discusses the myths of modularization and then describes MODEX.

  11. 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)

  12. 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…

  13. Robotic hand with modular extensions

    DOEpatents

    Salisbury, Curt Michael; Quigley, Morgan

    2015-01-20

    A robotic device is described herein. The robotic device includes a frame that comprises a plurality of receiving regions that are configured to receive a respective plurality of modular robotic extensions. The modular robotic extensions are removably attachable to the frame at the respective receiving regions by way of respective mechanical fuses. Each mechanical fuse is configured to trip when a respective modular robotic extension experiences a predefined load condition, such that the respective modular robotic extension detaches from the frame when the load condition is met.

  14. AUTOMATIC COUNTER

    DOEpatents

    Robinson, H.P.

    1960-06-01

    An automatic counter of alpha particle tracks recorded by a sensitive emulsion of a photographic plate is described. The counter includes a source of mcdulated dark-field illumination for developing light flashes from the recorded particle tracks as the photographic plate is automatically scanned in narrow strips. Photoelectric means convert the light flashes to proportional current pulses for application to an electronic counting circuit. Photoelectric means are further provided for developing a phase reference signal from the photographic plate in such a manner that signals arising from particle tracks not parallel to the edge of the plate are out of phase with the reference signal. The counting circuit includes provision for rejecting the out-of-phase signals resulting from unoriented tracks as well as signals resulting from spurious marks on the plate such as scratches, dust or grain clumpings, etc. The output of the circuit is hence indicative only of the tracks that would be counted by a human operator.

  15. Modular biometric system

    NASA Astrophysics Data System (ADS)

    Hsu, Charles; Viazanko, Michael; O'Looney, Jimmy; Szu, Harold

    2009-04-01

    Modularity Biometric System (MBS) is an approach to support AiTR of the cooperated and/or non-cooperated standoff biometric in an area persistent surveillance. Advanced active and passive EOIR and RF sensor suite is not considered here. Neither will we consider the ROC, PD vs. FAR, versus the standoff POT in this paper. Our goal is to catch the "most wanted (MW)" two dozens, separately furthermore ad hoc woman MW class from man MW class, given their archrivals sparse front face data basis, by means of various new instantaneous input called probing faces. We present an advanced algorithm: mini-Max classifier, a sparse sample realization of Cramer-Rao Fisher bound of the Maximum Likelihood classifier that minimize the dispersions among the same woman classes and maximize the separation among different man-woman classes, based on the simple feature space of MIT Petland eigen-faces. The original aspect consists of a modular structured design approach at the system-level with multi-level architectures, multiple computing paradigms, and adaptable/evolvable techniques to allow for achieving a scalable structure in terms of biometric algorithms, identification quality, sensors, database complexity, database integration, and component heterogenity. MBS consist of a number of biometric technologies including fingerprints, vein maps, voice and face recognitions with innovative DSP algorithm, and their hardware implementations such as using Field Programmable Gate arrays (FPGAs). Biometric technologies and the composed modularity biometric system are significant for governmental agencies, enterprises, banks and all other organizations to protect people or control access to critical resources.

  16. 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

  17. Modular gear bearings

    NASA Technical Reports Server (NTRS)

    Vranish, John M. (Inventor)

    2009-01-01

    A gearing system using modular gear bearing components. Each component is composed of a core, one or more modules attached to the core and two or more fastening modules rigidly attaching the modules to the core. The modules, which are attached to the core, may consist of gears, rollers or gear bearing components. The core orientation affects the orientation of the modules attached to the core. This is achieved via the keying arrangement of the core and the component modules that attach to the core. Such an arrangement will also facilitate the phase tuning of gear modules with respect to the core and other gear modules attached to the core.

  18. Modular space station facilities.

    NASA Technical Reports Server (NTRS)

    Parker, P. J.

    1973-01-01

    The modular space station will operate as a general purpose laboratory (GPL). In addition, the space station will be able to support many attached or free-flying research and application modules that would be dedicated to specific projects like astronomy or earth observations. The GPL primary functions have been organized into functional laboratories including an electrical/electronics laboratory, a mechanical sciences laboratory, an experiment and test isolation laboratory, a hard data process facility, a data evaluation facility, an optical sciences laboratory, a biomedical and biosciences laboratory, and an experiment/secondary command and control center.

  19. 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

  20. Modular antenna design study

    NASA Technical Reports Server (NTRS)

    Ribble, J. W.

    1981-01-01

    The mechanical design of a modular antenna concept was developed sufficiently to allow manufacture of a working demonstration model of a module, to predict mass properties, and to make performance estimates for antenna reflectors composed of these modules. The primary features of this concept are: (1) each module is an autonomous structural element which can be attached to adjacent modules through a three point connection; (2) the upper surface is a folding hexagonal truss plate mechanism which serves as the supporting structure for a reflective surface; and (3) the entire truss and surface can be folded into a cylindrical envelope in which all truss elements are essentially parallel. The kinematic studies and engineering demonstration model fully verified the deployment kinematics, stowing philosophy, and deployment sequencing for large antenna modules. It was established that such modules can be stowed in packages as small as 25 cm in diameter, using 1.27 cm diameter structural tubes. The development activity indicates that this deployable modular approach towards building large structures in space will support erection of 450 m apertures for operation up to 3 GHz with a single space shuttle flight.

  1. Terpene Biosynthesis: Modularity Rules

    PubMed Central

    Oldfield, Eric; Lin, Fu-Yang

    2013-01-01

    Terpenes are the largest class of small molecule natural products on Earth, and the most abundant by mass. Here, we summarize recent developments in elucidating the structure and function of the proteins involved in their biosynthesis. There are 6 main building blocks or modules (α,β,γ,δ,ε and ζ) that make up the structures of these enzymes: the αα and αδ head-to-tail trans-prenyl transferases that produce trans-isoprenoid diphosphates from C5 precursors; the ε head-to-head prenyl transferases that convert these diphosphates into the tri-and tetra-terpene precursors of sterols, hopanoids and carotenoids; the βγ di- and tri-terpene synthases; the ζ head-to-tail cis-prenyl transferases that produce the cis-isoprenoid diphosphates involved in bacterial cell wall biosynthesis, and finally the α, αβ and αβγ terpene synthases that produce plant terpenes, with many of these modular enzymes having originated from ancestral α and β domain proteins. We also review progress in determining the structure and function of the two 4Fe-4S reductases involved in formation of the C5 diphosphates in many bacteria, where again, highly modular structures are found. PMID:22105807

  2. Modular reflector concept study

    NASA Technical Reports Server (NTRS)

    Vaughan, D. H.

    1981-01-01

    A study was conducted to evaluate the feasibility of space erecting a 100 meter paraboloidal radio frequency reflector by joining a number of individually deployed structural modules. Three module design concepts were considered: (1) the deployable cell module (DCM); (2) the modular paraboloidal erectable truss antenna (Mod-PETA); and (3) the modular erectable truss antenna (META). With the space shuttle (STS) as the launch system, the methodology of packaging and stowing in the orbiter, and of dispensing, deploying and joining, in orbit, were studied and the necessary support equipment identified. The structural performance of the completed reflectors was evaluated and their overall operational capability and feasibility were evaluated and compared. The potential of the three concepts to maintain stable shape in the space environment was determined. Their ability to operate at radio frequencies of 1 GHz and higher was assessed assuming the reflector surface to consist of a number of flat, hexagonal facets. A parametric study was performed to determine figure degradation as a function of reflector size, flat facet size, and f/D ratio.

  3. Modular robotic architecture

    NASA Astrophysics Data System (ADS)

    Smurlo, Richard P.; Laird, Robin T.

    1991-03-01

    The development of control architectures for mobile systems is typically a task undertaken with each new application. These architectures address different operational needs and tend to be difficult to adapt to more than the problem at hand. The development of a flexible and extendible control system with evolutionary growth potential for use on mobile robots will help alleviate these problems and if made widely available will promote standardization and cornpatibility among systems throughout the industry. The Modular Robotic Architecture (MRA) is a generic control systern that meets the above needs by providing developers with a standard set of software hardware tools that can be used to design modular robots (MODBOTs) with nearly unlimited growth potential. The MODBOT itself is a generic creature that must be customized by the developer for a particular application. The MRA facilitates customization of the MODBOT by providing sensor actuator and processing modules that can be configured in almost any manner as demanded by the application. The Mobile Security Robot (MOSER) is an instance of a MODBOT that is being developed using the MRA. Navigational Sonar Module RF Link Control Station Module hR Link Detection Module Near hR Proximi Sensor Module Fluxgate Compass and Rate Gyro Collision Avoidance Sonar Module Figure 1. Remote platform module configuration of the Mobile Security Robot (MOSER). Acoustical Detection Array Stereoscopic Pan and Tilt Module High Level Processing Module Mobile Base 566

  4. Modular radiochemistry synthesis system

    SciTech Connect

    Satyamurthy, Nagichettiar; Barrio, Jorge R; Amarasekera, Bernard; Van Dam, R. Michael; Olma, Sebastian; Williams, Dirk; Eddings, Mark A; Shen, Clifton Kwang-Fu

    2015-02-10

    A modular chemical production system includes multiple modules for performing a chemical reaction, particularly of radiochemical compounds, from a remote location. One embodiment comprises a reaction vessel including a moveable heat source with the position thereof relative to the reaction vessel being controllable from a remote position. Alternatively the heat source may be fixed in location and the reaction vial is moveable into and out of the heat source. The reaction vessel has one or more sealing plugs, the positioning of which in relationship to the reaction vessel is controllable from a remote position. Also the one or more reaction vessel sealing plugs can include one or more conduits there through for delivery of reactants, gases at atmospheric or an elevated pressure, inert gases, drawing a vacuum and removal of reaction end products to and from the reaction vial, the reaction vial with sealing plug in position being operable at elevated pressures. The modular chemical production system is assembled from modules which can each include operating condition sensors and controllers configured for monitoring and controlling the individual modules and the assembled system from a remote position. Other modules include, but are not limited to a Reagent Storage and Delivery Module, a Cartridge Purification Module, a Microwave Reaction Module, an External QC/Analysis/Purification Interface Module, an Aliquotting Module, an F-18 Drying Module, a Concentration Module, a Radiation Counting Module, and a Capillary Reactor Module.

  5. Modular radiochemistry synthesis system

    SciTech Connect

    Satyamurthy, Nagichettiar; Barrio, Jorge R.; Amarasekera, Bernard; Van Dam, R. Michael; Olma, Sebastian; Williams, Dirk; Eddings, Mark; Shen, Clifton Kwang-Fu

    2015-12-15

    A modular chemical production system includes multiple modules for performing a chemical reaction, particularly of radiochemical compounds, from a remote location. One embodiment comprises a reaction vessel including a moveable heat source with the position thereof relative to the reaction vessel being controllable from a remote position. Alternatively the heat source may be fixed in location and the reaction vial is moveable into and out of the heat source. The reaction vessel has one or more sealing plugs, the positioning of which in relationship to the reaction vessel is controllable from a remote position. Also the one or more reaction vessel sealing plugs can include one or more conduits there through for delivery of reactants, gases at atmospheric or an elevated pressure, inert gases, drawing a vacuum and removal of reaction end products to and from the reaction vial, the reaction vial with sealing plug in position being operable at elevated pressures. The modular chemical production system is assembled from modules which can each include operating condition sensors and controllers configured for monitoring and controlling the individual modules and the assembled system from a remote position. Other modules include, but are not limited to a Reagent Storage and Delivery Module, a Cartridge Purification Module, a Microwave Reaction Module, an External QC/Analysis/Purification Interface Module, an Aliquotting Module, an F-18 Drying Module, a Concentration Module, a Radiation Counting Module, and a Capillary Reactor Module.

  6. Modular Robotic Vehicle

    NASA Technical Reports Server (NTRS)

    Borroni-Bird, Christopher E. (Inventor); Vitale, Robert L. (Inventor); Lee, Chunhao J. (Inventor); Ambrose, Robert O. (Inventor); Bluethmann, William J. (Inventor); Junkin, Lucien Q. (Inventor); Lutz, Jonathan J. (Inventor); Guo, Raymond (Inventor); Lapp, Anthony Joseph (Inventor); Ridley, Justin S. (Inventor)

    2015-01-01

    A modular robotic vehicle includes a chassis, driver input devices, an energy storage system (ESS), a power electronics module (PEM), modular electronic assemblies (eModules) connected to the ESS via the PEM, one or more master controllers, and various embedded controllers. Each eModule includes a drive wheel containing a propulsion-braking module, and a housing containing propulsion and braking control assemblies with respective embedded propulsion and brake controllers, and a mounting bracket covering a steering control assembly with embedded steering controllers. The master controller, which is in communication with each eModule and with the driver input devices, communicates with and independently controls each eModule, by-wire, via the embedded controllers to establish a desired operating mode. Modes may include a two-wheel, four-wheel, diamond, and omni-directional steering modes as well as a park mode. A bumper may enable docking with another vehicle, with shared control over the eModules of the vehicles.

  7. Research on a Reconfigurable Modular Manipulator System

    SciTech Connect

    Khosla, P.K.; Kanade, T.

    1992-01-01

    Research has been conducted on developing the theoretical basis and the technology for a Reconfigurable Modular Manipulation System (RMMS). Unlike a conventional manipulator which has a fixed configuration, the RMMS consists of a set of interchangeable modules that can be rapidly assembled into a system of manipulators with appropriate configurations depending on the specific task requirement. For effective development and use of such a versatile and flexible system a program of theoretical and experimental research has been pursued aimed at developing the basis for next generation of autonomous manipulator systems. The RMMS concept extends the idea of autonomy from sensor-based to configuration based autonomy. One of the important components is the development of design methodologies for mapping tasks into manipulator configurations and for automatic generation of manipulator specific algorithms (e.g., kinematics and dynamics) in order to make the hardware transparent to the user.(JDB)

  8. Toward Modular Analysis of Supramolecular Protein Assemblies.

    PubMed

    Kim, Jaehoon; Kim, Jin-Gyun; Yun, Giseok; Lee, Phill-Seung; Kim, Do-Nyun

    2015-09-01

    Despite recent advances in molecular simulation technologies, analysis of high-molecular-weight structures is still challenging. Here, we propose an automated model reduction procedure aiming to enable modular analysis of these structures. It employs a component mode synthesis for the reduction of finite element protein models. Reduced models may consist of real biological subunits or artificial partitions whose dynamics is described using the degrees of freedom at the substructural interfaces and a small set of dominant vibrational modes only. Notably, the proper number of dominant modes is automatically determined using a novel estimator for eigenvalue errors without calculating the reference eigensolutions of the full model. The performance of the proposed approach is thoroughly investigated by analyzing 50 representative structures including a crystal structure of GroEL and an electron density map of a ribosome. PMID:26575921

  9. Research on a reconfigurable modular manipulator system

    NASA Astrophysics Data System (ADS)

    Khosla, P. K.; Kanade, T.

    Research has been conducted on developing the theoretical basis and the technology for a Reconfigurable Modular Manipulation System (RMMS). Unlike a conventional manipulator which has a fixed configuration, the RMMS consists of a set of interchangeable modules that can be rapidly assembled into a system of manipulators with appropriate configurations depending on the specific task requirement. For effective development and use of such a versatile and flexible system a program of theoretical and experimental research has been pursued aimed at developing the basis for next generation of autonomous manipulator systems. The RMMS concept extends the idea of autonomy from sensor-based to configuration based autonomy. One of the important components is the development of design methodologies for mapping tasks into manipulator configurations and for automatic generation of manipulator specific algorithms (e.g., kinematics and dynamics) in order to make the hardware transparent to the user.

  10. Modularizing Spatial Ontologies for Assisted Living Systems

    NASA Astrophysics Data System (ADS)

    Hois, Joana

    Assisted living systems are intended to support daily-life activities in user homes by automatizing and monitoring behavior of the environment while interacting with the user in a non-intrusive way. The knowledge base of such systems therefore has to define thematically different aspects of the environment mostly related to space, such as basic spatial floor plan information, pieces of technical equipment in the environment and their functions and spatial ranges, activities users can perform, entities that occur in the environment, etc. In this paper, we present thematically different ontologies, each of which describing environmental aspects from a particular perspective. The resulting modular structure allows the selection of application-specific ontologies as necessary. This hides information and reduces complexity in terms of the represented spatial knowledge and reasoning practicability. We motivate and present the different spatial ontologies applied to an ambient assisted living application.

  11. Quantum modular forms, mock modular forms, and partial theta functions

    NASA Astrophysics Data System (ADS)

    Kimport, Susanna

    Defined by Zagier in 2010, quantum modular forms have been the subject of an explosion of recent research. Many of these results are aimed at discovering examples of these functions, which are defined on the rational numbers and have "nice" modularity properties. Though the subject is in its early stages, numerous results (including Zagier's original examples) show these objects naturally arising from many areas of mathematics as limits of other modular-like functions. One such family of examples is due to Folsom, Ono, and Rhoades, who connected these new objects to partial theta functions (introduced by Rogers in 1917) and mock modular forms (about which there is a rich theory, whose origins date back to Ramanujan in 1920). In this thesis, we build off of the work of Folsom, Ono, and Rhoades by providing an infinite family of quantum modular forms of arbitrary positive half-integral weight. Further, this family of quantum modular forms "glues" mock modular forms to partial theta functions and is constructed from a so-called "universal" mock theta function by extending a method of Eichler and Zagier (originally defined for holomorphic Jacobi forms) into a non-holomorphic setting. In addition to the infinite family, we explore the weight 1/2 and 3/2 functions in more depth. For both of these weights, we are able to explicitly write down the quantum modular form, as well as the corresponding "errors to modularity," which can be shown to be Mordell integrals of specific theta functions and, as a consequence, are real-analytic functions. Finally, we turn our attention to the partial theta functions associated with these low weight examples. Berndt and Kim provide asymptotic expansions for a certain class of partial theta functions as q approaches 1 radially within the unit disk. Here, we extend this work to not only obtain asymptotic expansions for this class of functions as q approaches any root of unity, but also for a certain class of derivatives of these functions

  12. Spacecraft Modularity for Serviceable Satellites

    NASA Technical Reports Server (NTRS)

    Rossetti, Dino; Keer, Beth; Panek, John; Ritter, Bob; Reed, Benjamin; Cepollina, Frank

    2015-01-01

    Spacecraft modularity has been a topic of interest at NASA since the 1970s, when the Multi-­-Mission Modular Spacecraft (MMS) was developed at the Goddard Space Flight Center. Since then, modular concepts have been employed for a variety of spacecraft and, as in the case of the Hubble Space Telescope (HST) and the International Space Station (ISS), have been critical to the success of on-­- orbit servicing. Modularity is even more important for future robotic servicing. Robotic satellite servicing technologies under development by NASA can extend mission life and reduce lifecycle cost and risk. These are optimized when the target spacecraft is designed for servicing, including advanced modularity. This paper will explore how spacecraft design, as demonstrated by the Reconfigurable Operational spacecraft for Science and Exploration (ROSE) spacecraft architecture, and servicing technologies can be developed in parallel to fully take advantage of the promise of both.

  13. Spacecraft Modularity for Serviceable Satellites

    NASA Technical Reports Server (NTRS)

    Reed, Benjamin B.; Rossetti, Dino; Keer, Beth; Panek, John; Cepollina, Frank; Ritter, Robert

    2015-01-01

    Spacecraft modularity has been a topic of interest at NASA since the 1970s, when the Multi-Mission Modular Spacecraft (MMS) was developed at the Goddard Space Flight Center. Since then, modular concepts have been employed for a variety of spacecraft and, as in the case of the Hubble Space Telescope (HST) and the International Space Station (ISS), have been critical to the success of on-orbit servicing. Modularity is even more important for future robotic servicing. Robotic satellite servicing technologies under development by NASA can extend mission life and reduce life-cycle cost and risk. These are optimized when the target spacecraft is designed for servicing, including advanced modularity. This paper will explore how spacecraft design, as demonstrated by the Reconfigurable Operational spacecraft for Science and Exploration (ROSE) spacecraft architecture, and servicing technologies can be developed in parallel to fully take advantage of the promise of both.

  14. 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,…

  15. Automatic stabilization

    NASA Technical Reports Server (NTRS)

    Haus, FR

    1936-01-01

    This report concerns the study of automatic stabilizers and extends it to include the control of the three-control system of the airplane instead of just altitude control. Some of the topics discussed include lateral disturbed motion, static stability, the mathematical theory of lateral motion, and large angles of incidence. Various mechanisms and stabilizers are also discussed. The feeding of Diesel engines by injection pumps actuated by engine compression, achieves the required high speeds of injection readily and permits rigorous control of the combustible charge introduced into each cylinder and of the peak pressure in the resultant cycle.

  16. Modular Flooring System

    NASA Technical Reports Server (NTRS)

    Thate, Robert

    2012-01-01

    The modular flooring system (MFS) was developed to provide a portable, modular, durable carpeting solution for NASA fs Robotics Alliance Project fs (RAP) outreach efforts. It was also designed to improve and replace a modular flooring system that was too heavy for safe use and transportation. The MFS was developed for use as the flooring for various robotics competitions that RAP utilizes to meet its mission goals. One of these competitions, the FIRST Robotics Competition (FRC), currently uses two massive rolls of broadloom carpet for the foundation of the arena in which the robots are contained during the competition. The area of the arena is approximately 30 by 72 ft (approximately 9 by 22 m). This carpet is very cumbersome and requires large-capacity vehicles, and handling equipment and personnel to transport and deploy. The broadloom carpet sustains severe abuse from the robots during a regular three-day competition, and as a result, the carpet is not used again for competition. Similarly, broadloom carpets used for trade shows at convention centers around the world are typically discarded after only one use. This innovation provides a green solution to this wasteful practice. Each of the flooring modules in the previous system weighed 44 lb (.20 kg). The improvements in the overall design of the system reduce the weight of each module by approximately 22 lb (.10 kg) (50 %), and utilize an improved "module-to-module" connection method that is superior to the previous system. The MFS comprises 4-by-4-ft (.1.2-by- 1.2-m) carpet module assemblies that utilize commercially available carpet tiles that are bonded to a lightweight substrate. The substrate surface opposite from the carpeted surface has a module-to-module connecting interface that allows for the modules to be connected, one to the other, as the modules are constructed. This connection is hidden underneath the modules, creating a smooth, co-planar flooring surface. The modules are stacked and strapped

  17. The modular power subsystem for the multimission modular spacecraft

    NASA Technical Reports Server (NTRS)

    Harris, D. W.

    1978-01-01

    The block diagram, subsystems, and components of the modular power subsystem for the multimission modular spacecraft (MMS) are described. The basic design studies were guided by considerations of cost, efficiency, simplicity, and flexibility to serve a variety of missions. Components discussed are the power regulator unit, the power control unit, the signal conditioning assembly, bus protection assembly, and the 20 Ah and 50 Ah batteries. The plan for the modular power subsystem protoflight module tests is shown. The testing has four phases: (1) component level tests, (2) subsystem integration and initial performance test, (3) subsystem protoflight environmental tests, and (4) subsystem final performance tests, qualification/acceptance review and delivery.

  18. 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.

  19. 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…

  20. 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)…

  1. 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…

  2. 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…

  3. 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,…

  4. 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…

  5. 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…

  6. 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…

  7. 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…

  8. 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…

  9. Modular electronics packaging system

    NASA Technical Reports Server (NTRS)

    Hunter, Don J. (Inventor)

    2001-01-01

    A modular electronics packaging system includes multiple packaging slices that are mounted horizontally to a base structure. The slices interlock to provide added structural support. Each packaging slice includes a rigid and thermally conductive housing having four side walls that together form a cavity to house an electronic circuit. The chamber is enclosed on one end by an end wall, or web, that isolates the electronic circuit from a circuit in an adjacent packaging slice. The web also provides a thermal path between the electronic circuit and the base structure. Each slice also includes a mounting bracket that connects the packaging slice to the base structure. Four guide pins protrude from the slice into four corresponding receptacles in an adjacent slice. A locking element, such as a set screw, protrudes into each receptacle and interlocks with the corresponding guide pin. A conduit is formed in the slice to allow electrical connection to the electronic circuit.

  10. Modular error embedding

    DOEpatents

    Sandford, II, Maxwell T.; Handel, Theodore G.; Ettinger, J. Mark

    1999-01-01

    A method of embedding auxiliary information into the digital representation of host data containing noise in the low-order bits. The method applies to digital data representing analog signals, for example digital images. The method reduces the error introduced by other methods that replace the low-order bits with auxiliary information. By a substantially reverse process, the embedded auxiliary data can be retrieved easily by an authorized user through use of a digital key. The modular error embedding method includes a process to permute the order in which the host data values are processed. The method doubles the amount of auxiliary information that can be added to host data values, in comparison with bit-replacement methods for high bit-rate coding. The invention preserves human perception of the meaning and content of the host data, permitting the addition of auxiliary data in the amount of 50% or greater of the original host data.

  11. Modular Optical PDV System

    SciTech Connect

    Araceli Rutkowski, David Esquibel

    2008-12-11

    A modular optical photon Doppler velocimetry (PDV) detector system has been developed by using readily available optical components with a 20-GHz Miteq optical detector into eight channels of single-wide modules integrated into a 3U rack unit (1U = 1.75 inches) with a common power supply. Optical fibers were precisely trimmed, welded, and timed within each unit. This system has been used to collect dynamic velocity data on various physics experiments. An optical power meter displays the laser input power to the module and optical power at the detector. An adjustable micro-electromechanical system (MEMS) optical attenuator is used to adjust the amount of unshifted light entering the detector. Front panel LEDs show the presence of power to the module. A fully loaded chassis with eight channels consumes 45 watts of power. Each chassis requires 1U spacing above and below for heat management. Modules can be easily replaced.

  12. Modular arctic structures system

    SciTech Connect

    Reusswig, G. H.

    1984-12-04

    A modular and floatable offshore exploration and production platform system for use in shallow arctic waters is disclosed. A concrete base member is floated to the exploration or production site, and ballated into a predredged cavity. The cavity and base are sized to provide a stable horizontal base 30 feet below the mean water/ice plane. An exploration or production platform having a massive steel base is floated to the site and ballasted into position on the base. Together, the platform, base and ballast provide a massive gravity structure that is capable of resisting large ice and wave forces that impinge on the structure. The steel platform has a sloping hourglass profile to deflect horizontal ice loads vertically, and convert the horizontal load to a vertical tensile stress, which assists in breaking the ice as it advances toward the structure.

  13. Modular small hydro configuration

    NASA Astrophysics Data System (ADS)

    1981-09-01

    Smaller sites (those under 750 kilowatts) which previously were not attractive to develop using equipment intended for application at larger scale sites, were the focal point in the conception of a system which utilizes standard industrial components which are generally available within short procurement times. Such components were integrated into a development scheme for sites having 20 feet to 150 feet of head. The modular small hydro configuration maximizes the use of available components and minimizes modification of existing civil works. A key aspect of the development concept is the use of a vertical turbine multistage pump, used in the reverse mode as a hydraulic turbine. The configuration allows for automated operation and control of the hydroelectric facilities with sufficient flexibility for inclusion of potential hydroelectric sites into dispersed storage and generation (DSG) utility grid systems.

  14. Modular weapon control unit

    SciTech Connect

    Boccabella, M.F.; McGovney, G.N.

    1997-01-01

    The goal of the Modular Weapon Control Unit (MWCU) program was to design and develop a reconfigurable weapon controller (programmer/sequencer) that can be adapted to different weapon systems based on the particular requirements for that system. Programmers from previous systems are conceptually the same and perform similar tasks. Because of this commonality and the amount of re-engineering necessary with the advent of every new design, the idea of a modular, adaptable system has emerged. Also, the controller can be used in more than one application for a specific weapon system. Functionality has been divided into a Processor Module (PM) and an Input/Output Module (IOM). The PM will handle all operations that require calculations, memory, and timing. The IOM will handle interfaces to the rest of the system, input level shifting, output drive capability, and detection of interrupt conditions. Configuration flexibility is achieved in two ways. First, the operation of the PM is determined by a surface mount Read-Only Memory (ROM). Other surface-mount components can be added or neglected as necessary for functionality. Second, IOMs consist of configurable input buffers, configurable output drivers, and configurable interrupt generation. Further, these modules can be added singly or in groups to a Processor Module to achieve the required I/O configuration. The culmination of this LDRD was the building of both Processor Module and Input/Output Module. The MWCU was chosen as a test system to evaluate Low-Temperature Co-fired Ceramic (LTCC) technology, desirable for high component density and good thermal characteristics.

  15. 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.

  16. 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

  17. 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.

  18. Some new modular equations and their applications

    NASA Astrophysics Data System (ADS)

    Yi, Jinhee; Sim, Hyo Seob

    2006-07-01

    Ramanujan derived 23 beautiful eta-function identities, which are certain types of modular equations. We found more than 70 of certain types of modular equations by using Garvan's Maple q-series package. In this paper, we prove some new modular equations which we found by employing the theory of modular form and we give some applications for them.

  19. 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

  20. 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…

  1. 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)

  2. 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.

  3. Modular Arithmetic in the Marketplace.

    ERIC Educational Resources Information Center

    Gallian, Joseph A.; Winters, Steven

    1988-01-01

    Several schemes use modular arithmetic to append a check digit to product identification numbers for error detection. Some schemes are discussed, including ones for money orders and library books. Then a foolproof method is presented. (MNS)

  4. The evolutionary origins of modularity.

    PubMed

    Clune, Jeff; Mouret, Jean-Baptiste; Lipson, Hod

    2013-03-22

    A central biological question is how natural organisms are so evolvable (capable of quickly adapting to new environments). A key driver of evolvability is the widespread modularity of biological networks--their organization as functional, sparsely connected subunits--but there is no consensus regarding why modularity itself evolved. Although most hypotheses assume indirect selection for evolvability, here we demonstrate that the ubiquitous, direct selection pressure to reduce the cost of connections between network nodes causes the emergence of modular networks. Computational evolution experiments with selection pressures to maximize network performance and minimize connection costs yield networks that are significantly more modular and more evolvable than control experiments that only select for performance. These results will catalyse research in numerous disciplines, such as neuroscience and genetics, and enhance our ability to harness evolution for engineering purposes. PMID:23363632

  5. The evolutionary origins of modularity

    PubMed Central

    Clune, Jeff; Mouret, Jean-Baptiste; Lipson, Hod

    2013-01-01

    A central biological question is how natural organisms are so evolvable (capable of quickly adapting to new environments). A key driver of evolvability is the widespread modularity of biological networks—their organization as functional, sparsely connected subunits—but there is no consensus regarding why modularity itself evolved. Although most hypotheses assume indirect selection for evolvability, here we demonstrate that the ubiquitous, direct selection pressure to reduce the cost of connections between network nodes causes the emergence of modular networks. Computational evolution experiments with selection pressures to maximize network performance and minimize connection costs yield networks that are significantly more modular and more evolvable than control experiments that only select for performance. These results will catalyse research in numerous disciplines, such as neuroscience and genetics, and enhance our ability to harness evolution for engineering purposes. PMID:23363632

  6. Spacecraft Modularity for Serviceable Satellites

    NASA Technical Reports Server (NTRS)

    Rossetti, Dino; Keer, Beth; Panek, John; Reed, Benjamin; Cepollina, Frank; Ritter, Robert

    2015-01-01

    Satellite servicing has been a proven capability of NASA since the first servicing missions in the 1980s with astronauts on the space shuttle. This capability enabled the on-orbit assembly of the International Space Station (ISS) and saved the Hubble Space Telescope (HST) mission following the discovery of the flawed primary mirror. The effectiveness and scope of servicing opportunities, especially using robotic servicers, is a function of how cooperative a spacecraft is. In this paper, modularity will be presented as a critical design aspect for a spacecraft that is cooperative from a servicing perspective. Different features of modularity are discussed using examples from HST and the Multimission Modular Spacecraft (MMS) program from the 1980s and 1990s. The benefits of modularity will be presented including those directly related to servicing and those outside of servicing including reduced costs and increased flexibility. The new Reconfigurable Operational spacecraft for Science and Exploration (ROSE) concept is introduced as an affordable implementation of modularity that provides cost savings and flexibility. Key aspects of the ROSE architecture are discussed such as the module design and the distributed avionics architecture. The ROSE concept builds on the experience from MMS and due to its modularity, would be highly suitable as a future client for on-orbit servicing.

  7. The modularity of pollination networks

    PubMed Central

    Olesen, Jens M.; Bascompte, Jordi; Dupont, Yoko L.; Jordano, Pedro

    2007-01-01

    In natural communities, species and their interactions are often organized as nonrandom networks, showing distinct and repeated complex patterns. A prevalent, but poorly explored pattern is ecological modularity, with weakly interlinked subsets of species (modules), which, however, internally consist of strongly connected species. The importance of modularity has been discussed for a long time, but no consensus on its prevalence in ecological networks has yet been reached. Progress is hampered by inadequate methods and a lack of large datasets. We analyzed 51 pollination networks including almost 10,000 species and 20,000 links and tested for modularity by using a recently developed simulated annealing algorithm. All networks with >150 plant and pollinator species were modular, whereas networks with <50 species were never modular. Both module number and size increased with species number. Each module includes one or a few species groups with convergent trait sets that may be considered as coevolutionary units. Species played different roles with respect to modularity. However, only 15% of all species were structurally important to their network. They were either hubs (i.e., highly linked species within their own module), connectors linking different modules, or both. If these key species go extinct, modules and networks may break apart and initiate cascades of extinction. Thus, species serving as hubs and connectors should receive high conservation priorities. PMID:18056808

  8. An interactive modular design for computerized photometry in spectrochemical analysis

    NASA Technical Reports Server (NTRS)

    Bair, V. L.

    1980-01-01

    A general functional description of totally automatic photometry of emission spectra is not available for an operating environment in which the sample compositions and analysis procedures are low-volume and non-routine. The advantages of using an interactive approach to computer control in such an operating environment are demonstrated. This approach includes modular subroutines selected at multiple-option, menu-style decision points. This style of programming is used to trace elemental determinations, including the automated reading of spectrographic plates produced by a 3.4 m Ebert mount spectrograph using a dc-arc in an argon atmosphere. The simplified control logic and modular subroutine approach facilitates innovative research and program development, yet is easily adapted to routine tasks. Operator confidence and control are increased by the built-in options including degree of automation, amount of intermediate data printed out, amount of user prompting, and multidirectional decision points.

  9. A Software Architecture for Adaptive Modular Sensing Systems

    PubMed Central

    Lyle, Andrew C.; Naish, Michael D.

    2010-01-01

    By combining a number of simple transducer modules, an arbitrarily complex sensing system may be produced to accommodate a wide range of applications. This work outlines a novel software architecture and knowledge representation scheme that has been developed to support this type of flexible and reconfigurable modular sensing system. Template algorithms are used to embed intelligence within each module. As modules are added or removed, the composite sensor is able to automatically determine its overall geometry and assume an appropriate collective identity. A virtual machine-based middleware layer runs on top of a real-time operating system with a pre-emptive kernel, enabling platform-independent template algorithms to be written once and run on any module, irrespective of its underlying hardware architecture. Applications that may benefit from easily reconfigurable modular sensing systems include flexible inspection, mobile robotics, surveillance, and space exploration. PMID:22163614

  10. A software architecture for adaptive modular sensing systems.

    PubMed

    Lyle, Andrew C; Naish, Michael D

    2010-01-01

    By combining a number of simple transducer modules, an arbitrarily complex sensing system may be produced to accommodate a wide range of applications. This work outlines a novel software architecture and knowledge representation scheme that has been developed to support this type of flexible and reconfigurable modular sensing system. Template algorithms are used to embed intelligence within each module. As modules are added or removed, the composite sensor is able to automatically determine its overall geometry and assume an appropriate collective identity. A virtual machine-based middleware layer runs on top of a real-time operating system with a pre-emptive kernel, enabling platform-independent template algorithms to be written once and run on any module, irrespective of its underlying hardware architecture. Applications that may benefit from easily reconfigurable modular sensing systems include flexible inspection, mobile robotics, surveillance, and space exploration. PMID:22163614

  11. Modular Approach to Spintronics

    PubMed Central

    Camsari, Kerem Yunus; Ganguly, Samiran; Datta, Supriyo

    2015-01-01

    There has been enormous progress in the last two decades, effectively combining spintronics and magnetics into a powerful force that is shaping the field of memory devices. New materials and phenomena continue to be discovered at an impressive rate, providing an ever-increasing set of building blocks that could be exploited in designing transistor-like functional devices of the future. The objective of this paper is to provide a quantitative foundation for this building block approach, so that new discoveries can be integrated into functional device concepts, quickly analyzed and critically evaluated. Through careful benchmarking against available theory and experiment we establish a set of elemental modules representing diverse materials and phenomena. These elemental modules can be integrated seamlessly to model composite devices involving both spintronic and nanomagnetic phenomena. We envision the library of modules to evolve both by incorporating new modules and by improving existing modules as the field progresses. The primary contribution of this paper is to establish the ground rules or protocols for a modular approach that can build a lasting bridge between materials scientists and circuit designers in the field of spintronics and nanomagnetics. PMID:26066079

  12. Modular Isotopic Thermoelectric Generator

    SciTech Connect

    Schock, Alfred

    1981-04-03

    Advanced RTG concepts utilizing improved thermoelectric materials and converter concepts are under study at Fairchild for DOE. The design described here is based on DOE's newly developed radioisotope heat source, and on an improved silicon-germanium material and a multicouple converter module under development at Syncal. Fairchild's assignment was to combine the above into an attractive power system for use in space, and to assess the specific power and other attributes of that design. The resultant design is highly modular, consisting of standard RTG slices, each producing ~24 watts at the desired output voltage of 28 volt. Thus, the design could be adapted to various space missions over a wide range of power levels, with little or no redesign. Each RTG slice consists of a 250-watt heat source module, eight multicouple thermoelectric modules, and standard sections of insulator, housing, radiator fins, and electrical circuit. The design makes it possible to check each thermoelectric module for electrical performance, thermal contact, leaktightness, and performance stability, after the generator is fully assembled; and to replace any deficient modules without disassembling the generator or perturbing the others. The RTG end sections provide the spring-loaded supports required to hold the free-standing heat source stack together during launch vibration. Details analysis indicates that the design offers a substantial improvement in specific power over the present generator of RTGs, using the same heat source modules. There are three copies in the file.

  13. 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

  14. Thyra Abstract Interface Package

    Energy Science and Technology Software Center (ESTSC)

    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

  15. 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.

  16. Automatic transmission

    SciTech Connect

    Miura, M.; Inuzuka, T.

    1986-08-26

    1. An automatic transmission with four forward speeds and one reverse position, is described which consists of: an input shaft; an output member; first and second planetary gear sets each having a sun gear, a ring gear and a carrier supporting a pinion in mesh with the sun gear and ring gear; the carrier of the first gear set, the ring gear of the second gear set and the output member all being connected; the ring gear of the first gear set connected to the carrier of the second gear set; a first clutch means for selectively connecting the input shaft to the sun gear of the first gear set, including friction elements, a piston selectively engaging the friction elements and a fluid servo in which hydraulic fluid is selectively supplied to the piston; a second clutch means for selectively connecting the input shaft to the sun gear of the second gear set a third clutch means for selectively connecting the input shaft to the carrier of the second gear set including friction elements, a piston selectively engaging the friction elements and a fluid servo in which hydraulic fluid is selectively supplied to the piston; a first drive-establishing means for selectively preventing rotation of the ring gear of the first gear set and the carrier of the second gear set in only one direction and, alternatively, in any direction; a second drive-establishing means for selectively preventing rotation of the sun gear of the second gear set; and a drum being open to the first planetary gear set, with a cylindrical intermediate wall, an inner peripheral wall and outer peripheral wall and forming the hydraulic servos of the first and third clutch means between the intermediate wall and the inner peripheral wall and between the intermediate wall and the outer peripheral wall respectively.

  17. Age-related changes in modular organization of human brain functional networks.

    PubMed

    Meunier, David; Achard, Sophie; Morcom, Alexa; Bullmore, Ed

    2009-02-01

    Graph theory allows us to quantify any complex system, e.g., in social sciences, biology or technology, that can be abstractly described as a set of nodes and links. Here we derived human brain functional networks from fMRI measurements of endogenous, low frequency, correlated oscillations in 90 cortical and subcortical regions for two groups of healthy (young and older) participants. We investigated the modular structure of these networks and tested the hypothesis that normal brain aging might be associated with changes in modularity of sparse networks. Newman's modularity metric was maximised and topological roles were assigned to brain regions depending on their specific contributions to intra- and inter-modular connectivity. Both young and older brain networks demonstrated significantly non-random modularity. The young brain network was decomposed into 3 major modules: central and posterior modules, which comprised mainly nodes with few inter-modular connections, and a dorsal fronto-cingulo-parietal module, which comprised mainly nodes with extensive inter-modular connections. The mean network in the older group also included posterior, superior central and dorsal fronto-striato-thalamic modules but the number of intermodular connections to frontal modular regions was significantly reduced, whereas the number of connector nodes in posterior and central modules was increased. PMID:19027073

  18. Modular Stirling Radioisotope Generator

    NASA Technical Reports Server (NTRS)

    Schmitz, Paul C.; Mason, Lee S.; Schifer, Nicholas A.

    2016-01-01

    High-efficiency radioisotope power generators will play an important role in future NASA space exploration missions. Stirling Radioisotope Generators (SRGs) have been identified as a candidate generator technology capable of providing mission designers with an efficient, high-specific-power electrical generator. SRGs high conversion efficiency has the potential to extend the limited Pu-238 supply when compared with current Radioisotope Thermoelectric Generators (RTGs). Due to budgetary constraints, the Advanced Stirling Radioisotope Generator (ASRG) was canceled in the fall of 2013. Over the past year a joint study by NASA and the Department of Energy (DOE) called the Nuclear Power Assessment Study (NPAS) recommended that Stirling technologies continue to be explored. During the mission studies of the NPAS, spare SRGs were sometimes required to meet mission power system reliability requirements. This led to an additional mass penalty and increased isotope consumption levied on certain SRG-based missions. In an attempt to remove the spare power system, a new generator architecture is considered, which could increase the reliability of a Stirling generator and provide a more fault-tolerant power system. This new generator called the Modular Stirling Radioisotope Generator (MSRG) employs multiple parallel Stirling convertor/controller strings, all of which share the heat from the General Purpose Heat Source (GPHS) modules. For this design, generators utilizing one to eight GPHS modules were analyzed, which provided about 50 to 450 W of direct current (DC) to the spacecraft, respectively. Four Stirling convertors are arranged around each GPHS module resulting in from 4 to 32 Stirling/controller strings. The convertors are balanced either individually or in pairs, and are radiatively coupled to the GPHS modules. Heat is rejected through the housing/radiator, which is similar in construction to the ASRG. Mass and power analysis for these systems indicate that specific

  19. Modular Stirling Radioisotope Generator

    NASA Technical Reports Server (NTRS)

    Schmitz, Paul C.; Mason, Lee S.; Schifer, Nicholas A.

    2015-01-01

    High efficiency radioisotope power generators will play an important role in future NASA space exploration missions. Stirling Radioisotope Generators (SRG) have been identified as a candidate generator technology capable of providing mission designers with an efficient, high specific power electrical generator. SRGs high conversion efficiency has the potential to extend the limited Pu-238 supply when compared with current Radioisotope Thermoelectric Generators (RTG). Due to budgetary constraints, the Advanced Stirling Radioisotope Generator (ASRG) was canceled in the fall of 2013. Over the past year a joint study by NASA and DOE called the Nuclear Power Assessment Study (NPAS) recommended that Stirling technologies continue to be explored. During the mission studies of the NPAS, spare SRGs were sometimes required to meet mission power system reliability requirements. This led to an additional mass penalty and increased isotope consumption levied on certain SRG-based missions. In an attempt to remove the spare power system, a new generator architecture is considered which could increase the reliability of a Stirling generator and provide a more fault-tolerant power system. This new generator called the Modular Stirling Radioisotope Generator (MSRG) employs multiple parallel Stirling convertor/controller strings, all of which share the heat from the General Purpose Heat Source (GPHS) modules. For this design, generators utilizing one to eight GPHS modules were analyzed, which provide about 50 to 450 watts DC to the spacecraft, respectively. Four Stirling convertors are arranged around each GPHS module resulting in from 4 to 32 Stirling/controller strings. The convertors are balanced either individually or in pairs, and are radiatively coupled to the GPHS modules. Heat is rejected through the housing/radiator which is similar in construction to the ASRG. Mass and power analysis for these systems indicate that specific power may be slightly lower than the ASRG and

  20. Integrating automated systems with modular architecture

    SciTech Connect

    Salit, M.L.; Guenther, F.R.; Kramer, G.W. ); Griesmeyer, J.M. )

    1994-03-15

    The modularity project of the Consortium for Automated Analytical Laboratory Systems, or CAALS, has been working to define and produce specifications with which manufacturers of analytical equipment can produce products suited for integration into automated systems. A set of standards that will allow subsystems to be configured into robust, useful, controllable systems in a stylized, consistent manner will facilitate the development and integration process. Such standards could ultimately allow an analytical chemist to select devices from a heterogeneous set of vendors and integrate those devices into a work cell to perform chemical methods without further invention, computer programming, or engineering. Our approach to this formidable task is to view analytical chemistry in an abstract fashion, forming a generic model from the understanding of what it is we do. In this article, we report on the generic model and the integration architecture we have developed to implement it. 6 refs., 3 figs.

  1. Automatic program generation from specifications using Prolog

    NASA Technical Reports Server (NTRS)

    Pelin, Alex; Morrow, Paul

    1987-01-01

    An automatic program generator which creates Prolog programs from input/output specifications is presented. The generator takes as input descriptions of the input and output data types, a set of tests, a set of transformations and the input/out relation. Abstract data types are used as models. The tests, the transformations and the input/out relation are also specified by equations. The heuristics used by the automatic propram generator in building Prolog programs are discussed.

  2. 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…

  3. 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…

  4. 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…

  5. 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.

  6. 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)

  7. 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)

  8. 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)

  9. 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.

  10. 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

  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. 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

  13. 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.

  14. 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…

  15. 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…

  16. 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…

  17. 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…

  18. 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…

  19. 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…

  20. 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…

  1. 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…

  2. Standardized strapdown inertial component modularity study, volume 2

    NASA Technical Reports Server (NTRS)

    Feldman, J.

    1974-01-01

    To obtain cost effective strapdown navigation, guidance and stabilization systems to meet anticipated future needs a standardized modularized strapdown system concept is proposed. Three performance classes, high, medium and low, are suggested to meet the range of applications. Candidate inertial instruments are selected and analyzed for interface compatibility. Electronic packaging and processing, materials and thermal considerations applying to the three classes are discussed and recommendations advanced. Opportunities for automatic fault detection and redundancy are presented. The smallest gyro and accelerometer modules are projected as requiring a volume of 26 cubic inches and 23.6 cubic inches, respectively. Corresponding power dissipation is projected as 5 watts, and 2.6 watts respectively.

  3. Model Checking Abstract PLEXIL Programs with SMART

    NASA Technical Reports Server (NTRS)

    Siminiceanu, Radu I.

    2007-01-01

    We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

  4. 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.

  5. Product modular design incorporating preventive maintenance issues

    NASA Astrophysics Data System (ADS)

    Gao, Yicong; Feng, Yixiong; Tan, Jianrong

    2016-03-01

    Traditional modular design methods lead to product maintenance problems, because the module form of a system is created according to either the function requirements or the manufacturing considerations. For solving these problems, a new modular design method is proposed with the considerations of not only the traditional function related attributes, but also the maintenance related ones. First, modularity parameters and modularity scenarios for product modularity are defined. Then the reliability and economic assessment models of product modularity strategies are formulated with the introduction of the effective working age of modules. A mathematical model used to evaluate the difference among the modules of the product so that the optimal module of the product can be established. After that, a multi-objective optimization problem based on metrics for preventive maintenance interval different degrees and preventive maintenance economics is formulated for modular optimization. Multi-objective GA is utilized to rapidly approximate the Pareto set of optimal modularity strategy trade-offs between preventive maintenance cost and preventive maintenance interval difference degree. Finally, a coordinate CNC boring machine is adopted to depict the process of product modularity. In addition, two factorial design experiments based on the modularity parameters are constructed and analyzed. These experiments investigate the impacts of these parameters on the optimal modularity strategies and the structure of module. The research proposes a new modular design method, which may help to improve the maintainability of product in modular design.

  6. 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

  7. 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.

  8. Coevolution, modularity and human disease.

    PubMed

    Fraser, Hunter B

    2006-12-01

    The concepts of coevolution and modularity have been studied separately for decades. Recent advances in genomics have led to the first systematic studies in each of these fields at the molecular level, resulting in several important discoveries. Both coevolution and modularity appear to be pervasive features of genomic data from all species studied to date, and their presence can be detected in many types of datasets, including genome sequences, gene expression data, and protein-protein interaction data. Moreover, the combination of these two ideas might have implications for our understanding of many aspects of biology, ranging from the general architecture of living systems to the causes of various human diseases. PMID:17005391

  9. 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

  10. Portable or Modular? There Is a Difference....

    ERIC Educational Resources Information Center

    Morton, Mike

    2002-01-01

    Describes differences between two types of school facilities: portable (prebuilt, temporary wood structure installed on site) and modular (method of construction for permanent buildings). Provides details of modular construction. (PKP)

  11. Modular Building Institute. 2003 Educational Showcase.

    ERIC Educational Resources Information Center

    Roman, Michael; Robert, Laurie; Reynolds, Pamela; Ulrey, Bill; Crawford, Doug; Shield, Tom; Soenksen, Steven

    "Commercial Modular Construction Magazine" regularly contains articles where the use of modular schools and classrooms is highlighted. This document contains a selection of those articles, including: (1) "Relocatable Classrooms Come of Age" (Michael Roman); (2) "Systems Building" (Laurie Robert); (3) "Realizing Modular's Merits" (Michael Roman);…

  12. Evolution and the Modularity of Mindreading.

    ERIC Educational Resources Information Center

    Moore, Chris

    1996-01-01

    Reviews Baron-Cohen's study of autism and an explanatory theory called modularity of mindreading, which proposed a domain-specific modular psychological model based on evolutionary, developmental, psychopathological, and neurobiological considerations. Enumerates problems with the modularity approach and emphasized the evolution of domain general…

  13. 48 CFR 3417.70 - Modular contracting.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 48 Federal Acquisition Regulations System 7 2013-10-01 2012-10-01 true Modular contracting. 3417... REGULATION CONTRACTING METHODS AND CONTRACT TYPES SPECIAL CONTRACTING METHODS Modular Contracting 3417.70 Modular contracting. (a) FSA—May incrementally conduct successive procurements of modules of...

  14. Modularity in Cognition: Framing the Debate

    ERIC Educational Resources Information Center

    Barrett, H. Clark; Kurzban, Robert

    2006-01-01

    Modularity has been the subject of intense debate in the cognitive sciences for more than 2 decades. In some cases, misunderstandings have impeded conceptual progress. Here the authors identify arguments about modularity that either have been abandoned or were never held by proponents of modular views of the mind. The authors review arguments that…

  15. The Modular Mind and Intrapersonal Communication Processes.

    ERIC Educational Resources Information Center

    Stacks, Don W.

    Based on a prior model on modularity of the brain, a new modular model of intrapersonal communication was developed which focuses on brain processing, encompassing both the structures and the functions of those structures in the creation of messages. The modular mind is a bio-social model of communication which presupposes a relationship between…

  16. Rapidly Deployed Modular Telemetry System

    NASA Technical Reports Server (NTRS)

    Varnavas, Kosta A. (Inventor); Sims, William Herbert, III (Inventor)

    2013-01-01

    The present invention is a telemetry system, and more specifically is a rapidly deployed modular telemetry apparatus which utilizes of SDR technology and the FPGA programming capability to reduce the number of hardware components and programming required to deploy a telemetry system.

  17. Induction in a Modular Learner.

    ERIC Educational Resources Information Center

    Carroll, Susanne E.

    2002-01-01

    Presents a theory of inductive learning--Autonomous Induction Theory--a form of induction that takes place within the autonomous and modular representational systems of the language faculty. Argues that Autonomous Induction Theory is constrained enough to be taken seriously as a plausible approach to explaining second language acquisition.…

  18. 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

  19. Modularity and stability in ecological communities

    PubMed Central

    Grilli, Jacopo; Rogers, Tim; Allesina, Stefano

    2016-01-01

    Networks composed of distinct, densely connected subsystems are called modular. In ecology, it has been posited that a modular organization of species interactions would benefit the dynamical stability of communities, even though evidence supporting this hypothesis is mixed. Here we study the effect of modularity on the local stability of ecological dynamical systems, by presenting new results in random matrix theory, which are obtained using a quaternionic parameterization of the cavity method. Results show that modularity can have moderate stabilizing effects for particular parameter choices, while anti-modularity can greatly destabilize ecological networks. PMID:27337386

  20. 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.

  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. Abstraction in Concept Map and Coupled Outline Knowledge Representation.

    ERIC Educational Resources Information Center

    Alpert, Sherman R.

    2003-01-01

    Describes a computer-based concept mapping tool that provides rich representational capabilities, including dynamic imagery (video, animated images, sound) and multiple levels of abstraction. The tool can automatically translate a concept map into an alternative representation-an outline-that contains all of the knowledge contained in a…

  3. Quasispecies Theory for Evolution of Modularity

    PubMed Central

    Park, Jeong-Man; Niestemski, Liang Ren; Deem, Michael W.

    2015-01-01

    Biological systems are modular, and this modularity evolves over time and in different environments. A number of observations have been made of increased modularity in biological systems under increased environmental pressure. We here develop a quasispecies theory for the dynamics of modularity in populations of these systems. We show how the steady-state fitness in a randomly changing environment can be computed. We derive a fluctuation dissipation relation for the rate of change of modularity and use it to derive a relationship between rate of environmental changes and rate of growth of modularity. We also find a principle of least action for the evolved modularity at steady state. Finally, we compare our predictions to simulations of protein evolution and find them to be consistent. PMID:25679649

  4. 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…

  5. 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.

  6. Modular Stellarator Fusion Reactor concept

    SciTech Connect

    Miller, R.L.; Krakowski, R.A.

    1981-08-01

    A preliminary conceptual study is made of the Modular Stellarator Reactor (MSR). A steady-state ignited, DT-fueled, magnetic fusion reactor is proposed for use as a central electric-power station. The MSR concept combines the physics of the classic stellarator confinement topology with an innovative, modular-coil design. Parametric tradeoff calculations are described, leading to the selection of an interim design point for a 4-GWt plant based on Alcator transport scaling and an average beta value of 0.04 in an l = 2 system with a plasma aspect ratio of 11. The physics basis of the design point is described together with supporting magnetics, coil-force, and stress computations. The approach and results presented herein will be modified in the course of ongoing work to form a firmer basis for a detailed conceptual design of the MSR.

  7. Modular hydrodam: concept definition study

    SciTech Connect

    Not Available

    1981-07-01

    The purpose of this investigation was to explore the potential for developing economical new ultra low-head (6 to 10 ft) sites using an innovative concept known as the Modular Hydrodam (MH). This concept combines the benefits of shop fabrication, installation of equipment in truck transportable, waterproof power modules, and prefabricated gate sections that can be located between the power modules. The size and weight of the power module permits it to be fully assembled and checked out in the manufacturer's shop. The module can then be broken down into four pieces and shipped by truck to the site. Once in place, concrete ballast will be added, as necessary, to prevent flotation. The following aspects were investigated: tubular and cross flow turbines; modularized components; the use of a cable support system for horizontal stability of the dam and powerhouse; and construction in the wet as well as in the dry.

  8. Multidimensional bioseparation with modular microfluidics

    DOEpatents

    Chirica, Gabriela S.; Renzi, Ronald F.

    2013-08-27

    A multidimensional chemical separation and analysis system is described including a prototyping platform and modular microfluidic components capable of rapid and convenient assembly, alteration and disassembly of numerous candidate separation systems. Partial or total computer control of the separation system is possible. Single or multiple alternative processing trains can be tested, optimized and/or run in parallel. Examples related to the separation and analysis of human bodily fluids are given.

  9. High density modular avionics packaging

    NASA Astrophysics Data System (ADS)

    Poradish, F.

    Requirements and design configurations for high density modular avionics packaging are examined, with particular attention given to new hardware trends, the design of high-density standard modules (HDSM's), and HDSM requirements. The discussion of the HDSM's covers thermal management, system testability, power supply, and performance specifications. The general design of an integrated HDSM demonstration system currently under construction is briefly described, and some test data are presented.

  10. CAMAC modular programmable function generator

    SciTech Connect

    Turner, G.W.; Suehiro, S.; Hendricks, R.W.

    1980-12-01

    A CAMAC modular programmable function generator has been developed. The device contains a 1024 word by 12-bit memory, a 12-bit digital-to-analog converter with a 600 ns settling time, an 18-bit programmable frequency register, and two programmable trigger output registers. The trigger registers can produce programmed output logic transitions at various (binary) points in the output function curve, and are used to synchronize various other data acquisition devices with the function curve.

  11. Deinterlacing using modular neural network

    NASA Astrophysics Data System (ADS)

    Woo, Dong H.; Eom, Il K.; Kim, Yoo S.

    2004-05-01

    Deinterlacing is the conversion process from the interlaced scan to progressive one. While many previous algorithms that are based on weighted-sum cause blurring in edge region, deinterlacing using neural network can reduce the blurring through recovering of high frequency component by learning process, and is found robust to noise. In proposed algorithm, input image is divided into edge and smooth region, and then, to each region, one neural network is assigned. Through this process, each neural network learns only patterns that are similar, therefore it makes learning more effective and estimation more accurate. But even within each region, there are various patterns such as long edge and texture in edge region. To solve this problem, modular neural network is proposed. In proposed modular neural network, two modules are combined in output node. One is for low frequency feature of local area of input image, and the other is for high frequency feature. With this structure, each modular neural network can learn different patterns with compensating for drawback of counterpart. Therefore it can adapt to various patterns within each region effectively. In simulation, the proposed algorithm shows better performance compared with conventional deinterlacing methods and single neural network method.

  12. 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.

  13. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

    NASA Technical Reports Server (NTRS)

    Bogomolov, Sergiy; Frehse, Goran; Greitschus, Marius; Grosu, Radu; Pasareanu, Corina S.; Podelski, Andreas; Strump, Thomas

    2014-01-01

    Compositional verification techniques in the assume- guarantee style have been successfully applied to transition systems to efficiently reduce the search space by leveraging the compositional nature of the systems under consideration. We adapt these techniques to the domain of hybrid systems with affine dynamics. To build assumptions we introduce an abstraction based on location merging. We integrate the assume-guarantee style analysis with automatic abstraction refinement. We have implemented our approach in the symbolic hybrid model checker SpaceEx. The evaluation shows its practical potential. To the best of our knowledge, this is the first work combining assume-guarantee reasoning with automatic abstraction-refinement in the context of hybrid automata.

  14. 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)

  15. 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

  16. Modular microrobot for swimming in heterogeneous environments

    NASA Astrophysics Data System (ADS)

    Cheang, U. Kei; Meshkati, Meshkati; Fu, Henry; Kim, Minjun; Drexel University Team; University of Nevada, Reno Team

    2015-11-01

    One of the difficulties in navigating in vivo is to overcome many types of environments. This includes blood vessels of different diameters, fluids with different mechanical properties, and physical barriers. Inspired by conventional modular robotics, we demonstrate modular microrobotics using magnetic particles as the modular units to change size and shape through docking and undocking. Much like the vast variety of microorganisms navigating many different bio-environments, modular microswimmers have the ability to dynamically adapt different environments by reconfiguring the swimmers' physical characteristics. We model the docking as magnetic assembly and undocking mechanisms as deformation by hydrodynamic forces. We characterize the swimming capability of the modular microswimmer with different size and shapes. Finally, we demonstrate modular microrobotics by assembling a three-bead microswimmer into a nine-bead microswimmer, and then disassemble it into several independently swimming microswimmers..

  17. Intelligent CAD approach for modular design

    NASA Astrophysics Data System (ADS)

    Ouyang, Miao-an; Li, Chenggang; Zhong, Yifang; Yu, Jun; Zhou, Ji

    1996-03-01

    In this paper, the technology of Artificial Intelligence is introduced into a modular design and manufacturing for machine tools. The authors present a methodology to realize the modular conceptual design combined with traditional CAD, and develop an intelligent machine tools modular conceptual system. The problem-solving strategies are described in detail. The design model and system architecture are set up. Techniques and their incorporation of expert system, case-based reasoning and artificial neural networks are clarified.

  18. Modular, Hierarchical Learning By Artificial Neural Networks

    NASA Technical Reports Server (NTRS)

    Baldi, Pierre F.; Toomarian, Nikzad

    1996-01-01

    Modular and hierarchical approach to supervised learning by artificial neural networks leads to neural networks more structured than neural networks in which all neurons fully interconnected. These networks utilize general feedforward flow of information and sparse recurrent connections to achieve dynamical effects. The modular organization, sparsity of modular units and connections, and fact that learning is much more circumscribed are all attractive features for designing neural-network hardware. Learning streamlined by imitating some aspects of biological neural networks.

  19. High performance backplane components for modular avionics

    NASA Astrophysics Data System (ADS)

    Groves-Kirkby, C. J.; Goodwin, M. J.; Hall, J. P.; Glynn, G.; Hankey, J.; Salik, M. D.; Goodfellow, R. C.; Jibb, D. J.

    1994-10-01

    The design and development of optoelectronic transceiver and optical pathway components for application in a modular avionics backplane demonstrator system are described and initial performance results are presented.

  20. Automatic Keyword Extraction from Individual Documents

    SciTech Connect

    Rose, Stuart J.; Engel, David W.; Cramer, Nicholas O.; Cowley, Wendy E.

    2010-05-03

    This paper introduces a novel and domain-independent method for automatically extracting keywords, as sequences of one or more words, from individual documents. We describe the method’s configuration parameters and algorithm, and present an evaluation on a benchmark corpus of technical abstracts. We also present a method for generating lists of stop words for specific corpora and domains, and evaluate its ability to improve keyword extraction on the benchmark corpus. Finally, we apply our method of automatic keyword extraction to a corpus of news articles and define metrics for characterizing the exclusivity, essentiality, and generality of extracted keywords within a corpus.

  1. An anatomy of automatism.

    PubMed

    Mackay, R D

    2015-07-01

    The automatism defence has been described as a quagmire of law and as presenting an intractable problem. Why is this so? This paper will analyse and explore the current legal position on automatism. In so doing, it will identify the problems which the case law has created, including the distinction between sane and insane automatism and the status of the 'external factor doctrine', and comment briefly on recent reform proposals. PMID:26378105

  2. Modular design attitude control system

    NASA Technical Reports Server (NTRS)

    Chichester, F. D.

    1984-01-01

    A sequence of single axismodels and a series of reduced state linear observers of minimum order are used to reconstruct inaccessible variables pertaining to the modular attitude control of a rigid body flexible suspension model of a flexible spacecraft. The single axis models consist of two, three, four, and five rigid bodies, each interconnected by a flexible shaft passing through the mass centers of the bodies. Modal damping is added to each model. Reduced state linear observers are developed for synthesizing the inaccessible modal state variables for each modal model.

  3. Automatic differentiation bibliography

    SciTech Connect

    Corliss, G.F.

    1992-07-01

    This is a bibliography of work related to automatic differentiation. Automatic differentiation is a technique for the fast, accurate propagation of derivative values using the chain rule. It is neither symbolic nor numeric. Automatic differentiation is a fundamental tool for scientific computation, with applications in optimization, nonlinear equations, nonlinear least squares approximation, stiff ordinary differential equation, partial differential equations, continuation methods, and sensitivity analysis. This report is an updated version of the bibliography which originally appeared in Automatic Differentiation of Algorithms: Theory, Implementation, and Application.

  4. Automatic crack propagation tracking

    NASA Technical Reports Server (NTRS)

    Shephard, M. S.; Weidner, T. J.; Yehia, N. A. B.; Burd, G. S.

    1985-01-01

    A finite element based approach to fully automatic crack propagation tracking is presented. The procedure presented combines fully automatic mesh generation with linear fracture mechanics techniques in a geometrically based finite element code capable of automatically tracking cracks in two-dimensional domains. The automatic mesh generator employs the modified-quadtree technique. Crack propagation increment and direction are predicted using a modified maximum dilatational strain energy density criterion employing the numerical results obtained by meshes of quadratic displacement and singular crack tip finite elements. Example problems are included to demonstrate the procedure.

  5. A modular BLSS simulation model

    NASA Technical Reports Server (NTRS)

    Rummel, John D.; Volk, Tyler

    1987-01-01

    A bioregenerative life support system (BLSS) for extraterrestrial use will be faced with coordination problems more acute than those in any ecosystem found on Earth. A related problem in BLSS design is providing an interface between the various life support processors, one that will allow for their coordination while still allowing for system expansion. A modular model is presented of a BLSS that interfaces system processors only with the material storage reservoirs, allowing those reservoirs to act as the principal buffers in the system and thus minimizing difficulties with processor coordination. The modular nature of the model allows independent development of the detailed submodels that exist within the model framework. Using this model, BLSS dynamics were investigated under normal conditions and under various failure modes. Partial and complete failures of various components, such as the waste processors or the plants themselves, drive transient responses in the model system, allowing the examination of the effectiveness of the system reservoirs as buffers. The results from simulations help to determine control strategies and BLSS design requirements. An evolved version could be used as an interactive control aid in a future BLSS.

  6. Learning modular policies for robotics.

    PubMed

    Neumann, Gerhard; Daniel, Christian; Paraschos, Alexandros; Kupcsik, Andras; Peters, Jan

    2014-01-01

    A promising idea for scaling robot learning to more complex tasks is to use elemental behaviors as building blocks to compose more complex behavior. Ideally, such building blocks are used in combination with a learning algorithm that is able to learn to select, adapt, sequence and co-activate the building blocks. While there has been a lot of work on approaches that support one of these requirements, no learning algorithm exists that unifies all these properties in one framework. In this paper we present our work on a unified approach for learning such a modular control architecture. We introduce new policy search algorithms that are based on information-theoretic principles and are able to learn to select, adapt and sequence the building blocks. Furthermore, we developed a new representation for the individual building block that supports co-activation and principled ways for adapting the movement. Finally, we summarize our experiments for learning modular control architectures in simulation and with real robots. PMID:24966830

  7. Compact stellarators with modular coils

    PubMed Central

    Garabedian, P. R.

    2000-01-01

    Compact stellarator designs with modular coils and only two or three field periods are now available; these designs have both good stability and quasiaxial symmetry providing adequate transport for a magnetic fusion reactor. If the bootstrap current assumes theoretically predicted values a three field period configuration is optimal, but if that net current turns out to be lower, a device with two periods and just 12 modular coils might be better. There are also attractive designs with quasihelical symmetry and four or five periods whose properties depend less on the bootstrap current. Good performance requires that there be a satisfactory magnetic well in the vacuum field, which is a property lacking in a stellarator-tokamak hybrid that has been proposed for a proof of principle experiment. In this paper, we present an analysis of stability for these configurations that is based on a mountain pass theorem asserting that, if two solutions of the problem of magnetohydrodynamic equilibrium can be found, then there has to be an unstable solution. We compare results of our theory of equilibrium, stability, and transport with recently announced measurements from the large LHD experiment in Japan. PMID:10899993

  8. Modular implementation of a digital hardware design automation system

    NASA Astrophysics Data System (ADS)

    Masud, M.

    An automation system based on AHPL (A Hardware Programming Language) was developed. The project may be divided into three distinct phases: (1) Upgrading of AHPL to make it more universally applicable; (2) Implementation of a compiler for the language; and (3) illustration of how the compiler may be used to support several phases of design activities. Several new features were added to AHPL. These include: application-dependent parameters, mutliple clocks, asynchronous results, functional registers and primitive functions. The new language, called Universal AHPL, has been defined rigorously. The compiler design is modular. The parsing is done by an automatic parser generated from the SLR(1)BNF grammar of the language. The compiler produces two data bases from the AHPL description of a circuit. The first one is a tabular representation of the circuit, and the second one is a detailed interconnection linked list. The two data bases provide a means to interface the compiler to application-dependent CAD systems.

  9. Reduced modeling of signal transduction – a modular approach

    PubMed Central

    Koschorreck, Markus; Conzelmann, Holger; Ebert, Sybille; Ederer, Michael; Gilles, Ernst Dieter

    2007-01-01

    Background Combinatorial complexity is a challenging problem in detailed and mechanistic mathematical modeling of signal transduction. This subject has been discussed intensively and a lot of progress has been made within the last few years. A software tool (BioNetGen) was developed which allows an automatic rule-based set-up of mechanistic model equations. In many cases these models can be reduced by an exact domain-oriented lumping technique. However, the resulting models can still consist of a very large number of differential equations. Results We introduce a new reduction technique, which allows building modularized and highly reduced models. Compared to existing approaches further reduction of signal transduction networks is possible. The method also provides a new modularization criterion, which allows to dissect the model into smaller modules that are called layers and can be modeled independently. Hallmarks of the approach are conservation relations within each layer and connection of layers by signal flows instead of mass flows. The reduced model can be formulated directly without previous generation of detailed model equations. It can be understood and interpreted intuitively, as model variables are macroscopic quantities that are converted by rates following simple kinetics. The proposed technique is applicable without using complex mathematical tools and even without detailed knowledge of the mathematical background. However, we provide a detailed mathematical analysis to show performance and limitations of the method. For physiologically relevant parameter domains the transient as well as the stationary errors caused by the reduction are negligible. Conclusion The new layer based reduced modeling method allows building modularized and strongly reduced models of signal transduction networks. Reduced model equations can be directly formulated and are intuitively interpretable. Additionally, the method provides very good approximations especially for

  10. The modular class of a Dirac map

    NASA Astrophysics Data System (ADS)

    Caseiro, Raquel

    2016-06-01

    In this paper we study the modular classes of Dirac manifolds and of Dirac maps, and we discuss their basic properties. We apply these results to explain the relationship between the modular classes of the various structures involved in the reduction of a Poisson manifold under the action of a Poisson-Lie group.

  11. Modular interdependency in complex dynamical systems.

    PubMed

    Watson, Richard A; Pollack, Jordan B

    2005-01-01

    Herbert A. Simon's characterization of modularity in dynamical systems describes subsystems as having dynamics that are approximately independent of those of other subsystems (in the short term). This fits with the general intuition that modules must, by definition, be approximately independent. In the evolution of complex systems, such modularity may enable subsystems to be modified and adapted independently of other subsystems, whereas in a nonmodular system, modifications to one part of the system may result in deleterious side effects elsewhere in the system. But this notion of modularity and its effect on evolvability is not well quantified and is rather simplistic. In particular, modularity need not imply that intermodule dependences are weak or unimportant. In dynamical systems this is acknowledged by Simon's suggestion that, in the long term, the dynamical behaviors of subsystems do interact with one another, albeit in an "aggregate" manner--but this kind of intermodule interaction is omitted in models of modularity for evolvability. In this brief discussion we seek to unify notions of modularity in dynamical systems with notions of how modularity affects evolvability. This leads to a quantifiable measure of modularity and a different understanding of its effect on evolvability. PMID:16197673

  12. Teachers' Perceptions of Modular Technology Education Laboratories

    ERIC Educational Resources Information Center

    Harris, Kara S.

    2005-01-01

    The purpose of this study was to examine teachers' perceptions concerning the modular technology approach to teaching technology education in Georgia. The study addressed the following basic research question: What do teachers in Georgia perceive to be the main advantages and drawbacks to teaching technology education in a modular environment…

  13. Twisted Cyclic Cohomology and Modular Fredholm Modules

    NASA Astrophysics Data System (ADS)

    Rennie, Adam; Sitarz, Andrzej; Yamashita, Makoto

    2013-07-01

    Connes and Cuntz showed in [Comm. Math. Phys. 114 (1988), 515-526] that suitable cyclic cocycles can be represented as Chern characters of finitely summable semifinite Fredholm modules. We show an analogous result in twisted cyclic cohomology using Chern characters of modular Fredholm modules. We present examples of modular Fredholm modules arising from Podleś spheres and from SUq(2).

  14. Modular Construction: The Wave of the Future.

    ERIC Educational Resources Information Center

    Savage, Chuck

    1989-01-01

    Modular construction of school buildings offers speed of construction, with 100 percent contractor responsibility for the completed structures. Under negotiated terms, modular projects can be purchased outright or through long-term leasing arrangements that provide ownership at the end of the lease period. (MLF)

  15. Digital automatic gain control

    NASA Technical Reports Server (NTRS)

    Uzdy, Z.

    1980-01-01

    Performance analysis, used to evaluated fitness of several circuits to digital automatic gain control (AGC), indicates that digital integrator employing coherent amplitude detector (CAD) is best device suited for application. Circuit reduces gain error to half that of conventional analog AGC while making it possible to automatically modify response of receiver to match incoming signal conditions.

  16. Automatic Differentiation Package

    Energy Science and Technology Software Center (ESTSC)

    2007-03-01

    Sacado is an automatic differentiation package for C++ codes using operator overloading and C++ templating. Sacado provide forward, reverse, and Taylor polynomial automatic differentiation classes and utilities for incorporating these classes into C++ codes. Users can compute derivatives of computations arising in engineering and scientific applications, including nonlinear equation solving, time integration, sensitivity analysis, stability analysis, optimization and uncertainity quantification.

  17. 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.

  18. 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.

  19. Modular Semantic Tagging of Medline Abstracts and its Use in Inferring Regulatory Networks

    SciTech Connect

    Verhagen, Marc; Pustejovsky, James; Taylor, Ronald C.; Sanfilippo, Antonio P.

    2011-09-19

    We describe MedstractPlus, a resource for mining relations from the Medline bibliographic database that is currently under construction. It was built on the remains of Medstract, a previously created resource that included a biorelation server and an acronym database. MedstractPlus uses simple and scalable natural language processing modules to structure text, is designed with reusability and extendibility in mind, and adheres to the philosophy of the Linguistic Annotation Framework. We show how MedstractPlus has been used to provide seeds for a novel approach to inferring transcriptional regulatory networks from gene expression data.

  20. The emergence of modularity in biological systems

    NASA Astrophysics Data System (ADS)

    Lorenz, Dirk M.; Jeng, Alice; Deem, Michael W.

    2011-06-01

    In this review, we discuss modularity and hierarchy in biological systems. We review examples from protein structure, genetics, and biological networks of modular partitioning of the geometry of biological space. We review theories to explain modular organization of biology, with a focus on explaining how biology may spontaneously organize to a structured form. That is, we seek to explain how biology nucleated from among the many possibilities in chemistry. The emergence of modular organization of biological structure will be described as a symmetry-breaking phase transition, with modularity as the order parameter. Experimental support for this description will be reviewed. Examples will be presented from pathogen structure, metabolic networks, gene networks, and protein-protein interaction networks. Additional examples will be presented from ecological food networks, developmental pathways, physiology, and social networks.

  1. Small Modular Reactors: Institutional Assessment

    SciTech Connect

    Joseph Perkowski, Ph.D.

    2012-06-01

    ? Objectives include, among others, a description of the basic development status of “small modular reactors” (SMRs) focused primarily on domestic activity; investigation of the domestic market appeal of modular reactors from the viewpoints of both key energy sector customers and also key stakeholders in the financial community; and consideration of how to proceed further with a pro-active "core group" of stakeholders substantially interested in modular nuclear deployment in order to provide the basis to expedite design/construction activity and regulatory approval. ? Information gathering was via available resources, both published and personal communications with key individual stakeholders; published information is limited to that already in public domain (no confidentiality); viewpoints from interviews are incorporated within. Discussions at both government-hosted and private-hosted SMR meetings are reflected herein. INL itself maintains a neutral view on all issues described. Note: as per prior discussion between INL and CAP, individual and highly knowledgeable senior-level stakeholders provided the bulk of insights herein, and the results of those interviews are the main source of the observations of this report. ? Attachment A is the list of individual stakeholders consulted to date, including some who provided significant earlier assessments of SMR institutional feasibility. ? Attachments B, C, and D are included to provide substantial context on the international status of SMR development; they are not intended to be comprehensive and are individualized due to the separate nature of the source materials. Attachment E is a summary of the DOE requirements for winning teams regarding the current SMR solicitation. Attachment F deserves separate consideration due to the relative maturity of the SMART SMR program underway in Korea. Attachment G provides illustrative SMR design features and is intended for background. Attachment H is included for overview

  2. 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)

  3. 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)

  4. 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…

  5. 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…

  6. 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…

  7. 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.

  8. 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

  9. 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.

  10. 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

  11. BESST: A Miniature, Modular Radiometer

    NASA Technical Reports Server (NTRS)

    Warden, Robert; Good, William; Baldwin-Stevens, Erik

    2010-01-01

    A new radiometer assembly has been developed that incorporates modular design principles in order to provide flexibility and versatility. The assembly, shown in Figure 1, is made up of six modules plus a central cubical frame. A small thermal imaging detector is used to determine the temperature of remote objects. To improve the accuracy of the temperature reading, frequent calibration is required. The detector must view known temperature targets before viewing the remote object. Calibration is achieved by using a motorized fold mirror to select the desired scene the detector views. The motor steps the fold mirror through several positions, which allows the detector to view the calibration targets or the remote object. The details, features, and benefits of the radiometer are described in this paper.

  12. Automatic program generation from specifications using PROLOG

    NASA Technical Reports Server (NTRS)

    Pelin, Alex; Morrow, Paul

    1988-01-01

    An automatic program generator which creates PROLOG programs from input/output specifications is described. The generator takes as input descriptions of the input and output data types, a set of transformations and the input/output relation. Abstract data types are used as models for data. They are defined as sets of terms satisfying a system of equations. The tests, the transformations and the input/output relation are also specified by equations.

  13. Osmotrophy in modular Ediacara organisms

    PubMed Central

    Laflamme, Marc; Xiao, Shuhai; Kowalewski, Michał

    2009-01-01

    The Ediacara biota include macroscopic, morphologically complex soft-bodied organisms that appear globally in the late Ediacaran Period (575–542 Ma). The physiology, feeding strategies, and functional morphology of the modular Ediacara organisms (rangeomorphs and erniettomorphs) remain debated but are critical for understanding their ecology and phylogeny. Their modular construction triggered numerous hypotheses concerning their likely feeding strategies, ranging from micro-to-macrophagus feeding to photoautotrophy to osmotrophy. Macrophagus feeding in rangeomorphs and erniettomorphs is inconsistent with their lack of oral openings, and photoautotrophy in rangeomorphs is contradicted by their habitats below the photic zone. Here, we combine theoretical models and empirical data to evaluate the feasibility of osmotrophy, which requires high surface area to volume (SA/V) ratios, as a primary feeding strategy of rangeomorphs and erniettomorphs. Although exclusively osmotrophic feeding in modern ecosystems is restricted to microscopic bacteria, this study suggests that (i) fractal branching of rangeomorph modules resulted in SA/V ratios comparable to those observed in modern osmotrophic bacteria, and (ii) rangeomorphs, and particularly erniettomorphs, could have achieved osmotrophic SA/V ratios similar to bacteria, provided their bodies included metabolically inert material. Thus, specific morphological adaptations observed in rangeomorphs and erniettomorphs may have represented strategies for overcoming physiological constraints that typically make osmotrophy prohibitive for macroscopic life forms. These results support the viability of osmotrophic feeding in rangeomorphs and erniettomorphs, help explain their taphonomic peculiarities, and point to the possible importance of earliest macroorganisms for cycling dissolved organic carbon that may have been present in abundance during Ediacaran times. PMID:19706530

  14. MODULAR MANIPULATOR FOR ROBOTICS APPLICATIONS

    SciTech Connect

    Joseph W. Geisinger, Ph.D.

    2001-07-31

    ARM Automation, Inc. is developing a framework of modular actuators that can address the DOE's wide range of robotics needs. The objective of this effort is to demonstrate the effectiveness of this technology by constructing a manipulator from these actuators within a glovebox for Automated Plutonium Processing (APP). At the end of the project, the system of actuators was used to construct several different manipulator configurations, which accommodate common glovebox tasks such as repackaging. The modular nature and quickconnects of this system simplify installation into ''hot'' boxes and any potential modifications or repair therein. This work focused on the development of self-contained robotic actuator modules including the embedded electronic controls for the purpose of building a manipulator system. Both of the actuators developed under this project contain the control electronics, sensors, motor, gear train, wiring, system communications and mechanical interfaces of a complete robotics servo device. Test actuators and accompanying DISC{trademark}s underwent validation testing at The University of Texas at Austin and ARM Automation, Inc. following final design and fabrication. The system also included custom links, an umbilical cord, an open architecture PC-based system controller, and operational software that permitted integration into a completely functional robotic manipulator system. The open architecture on which this system is based avoids proprietary interfaces and communication protocols which only serve to limit the capabilities and flexibility of automation equipment. The system was integrated and tested in the contractor's facility for intended performance and operations. The manipulator was tested using the full-scale equipment and process mock-ups. The project produced a practical and operational system including a quantitative evaluation of its performance and cost.

  15. A Modular Approach To Developing A Large Deployable Reflector

    NASA Astrophysics Data System (ADS)

    Pittman, R.; Leidich, C.; Mascy, F.; Swenson, B.

    1984-01-01

    NASA is currently studying the feasibility of developing a Large Deployable Reflector (LDR) astronomical facility to perform astrophysical studies of the infrared and submillimeter portion of the spectrum in the mid 1990's. The LDR concept was recommended by the Astronomy Survey Committee of the National Academy of Sciences as one of two space based projects to be started this decade. The current baseline calls for a 20 m (65.6 ft) aperture telescope diffraction limited at 30 μm and automatically deployed from a single Shuttle launch. The volume, performance, and single launch constraints place great demands on the technology and place LDR beyond the state-of-the-art in certain areas such as lightweight reflector segments. The advent of the Shuttle is opening up many new options and capabilities for producing large space systems. Until now, LDR has always been conceived as an integrated system, deployed autonomously in a single launch. This paper will look at a combination of automatic deployment and on-orbit assembly that may reduce the technological complexity and cost of the LDR system. Many technological tools are now in use or under study that will greatly enhance our capabilities to do assembly in space. Two Shuttle volume budget scenarios will be examined to assess the potential of these tools to reduce the LDR system complexity. Further study will be required to reach the full optimal combination of deployment and assembly, since in most cases the capabilities of these new tools have not been demonstrated. In order to take maximum advantage of these concepts, the design of LDR must be flexible and allow one subsystem to be modified without adversely affecting the entire system. One method of achieving this flexibility is to use a modular design approach in which the major subsystems are physically separated during launch and assembled on orbit. A modular design approach facilitates this flexibility but requires that the subsystems be interfaced in a simple

  16. Size reduction of complex networks preserving modularity

    SciTech Connect

    Arenas, A.; Duch, J.; Fernandez, A.; Gomez, S.

    2008-12-24

    The ubiquity of modular structure in real-world complex networks is being the focus of attention in many trials to understand the interplay between network topology and functionality. The best approaches to the identification of modular structure are based on the optimization of a quality function known as modularity. However this optimization is a hard task provided that the computational complexity of the problem is in the NP-hard class. Here we propose an exact method for reducing the size of weighted (directed and undirected) complex networks while maintaining invariant its modularity. This size reduction allows the heuristic algorithms that optimize modularity for a better exploration of the modularity landscape. We compare the modularity obtained in several real complex-networks by using the Extremal Optimization algorithm, before and after the size reduction, showing the improvement obtained. We speculate that the proposed analytical size reduction could be extended to an exact coarse graining of the network in the scope of real-space renormalization.

  17. Toward Generalization of Automated Temporal Abstraction to Partially Observable Reinforcement Learning.

    PubMed

    Çilden, Erkin; Polat, Faruk

    2015-08-01

    Temporal abstraction for reinforcement learning (RL) aims to decrease learning time by making use of repeated sub-policy patterns in the learning task. Automatic extraction of abstractions during RL process is difficult but has many challenges such as dealing with the curse of dimensionality. Various studies have explored the subject under the assumption that the problem domain is fully observable by the learning agent. Learning abstractions for partially observable RL is a relatively less explored area. In this paper, we adapt an existing automatic abstraction method, namely extended sequence tree, originally designed for fully observable problems. The modified method covers a certain family of model-based partially observable RL settings. We also introduce belief state discretization methods that can be used with this new abstraction mechanism. The effectiveness of the proposed abstraction method is shown empirically by experimenting on well-known benchmark problems. PMID:25216494

  18. 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.

  19. A Modular Approach to Redundant Robot Control

    SciTech Connect

    Anderson, R.J.

    1997-12-01

    This paper describes a modular approach for computing redundant robot kinematics. First some conventional redundant control methods are presented and shown to be `passive control laws`, i.e. they can be represented by a network consisting of passive elements. These networks are then put into modular form by applying scattering operator techniques. Additional subnetwork modules can then be added to further shape the motion. Modules for obstacle detection, joint limit avoidance, proximity sensing, and for imposing nonlinear velocity constraints are presented. The resulting redundant robot control system is modular, flexible and robust.

  20. Modular standards for emerging avionics technologies

    NASA Astrophysics Data System (ADS)

    Radcliffe, B.; Boaz, J.

    The present investigation is concerned with modular standards for the integration of new avionics technologies into production aircraft, taking into account also major retrofit programs. It is pointed out that avionics systems are about to undergo drastic changes in the partitioning of functions and judicious sharing of resources. These changes have the potential to significantly improve reliability and maintainability, and to reduce costs. Attention is given to a definition of the modular avionics concept, the existing module program, the development approach, development progress on the modular avionics standard, and the future of avionics installation standards.

  1. Automatic amino acid analyzer

    NASA Technical Reports Server (NTRS)

    Berdahl, B. J.; Carle, G. C.; Oyama, V. I.

    1971-01-01

    Analyzer operates unattended or up to 15 hours. It has an automatic sample injection system and can be programmed. All fluid-flow valve switching is accomplished pneumatically from miniature three-way solenoid pilot valves.

  2. Automatic Payroll Deposit System.

    ERIC Educational Resources Information Center

    Davidson, D. B.

    1979-01-01

    The Automatic Payroll Deposit System in Yakima, Washington's Public School District No. 7, directly transmits each employee's salary amount for each pay period to a bank or other financial institution. (Author/MLF)

  3. Automatic switching matrix

    DOEpatents

    Schlecht, Martin F.; Kassakian, John G.; Caloggero, Anthony J.; Rhodes, Bruce; Otten, David; Rasmussen, Neil

    1982-01-01

    An automatic switching matrix that includes an apertured matrix board containing a matrix of wires that can be interconnected at each aperture. Each aperture has associated therewith a conductive pin which, when fully inserted into the associated aperture, effects electrical connection between the wires within that particular aperture. Means is provided for automatically inserting the pins in a determined pattern and for removing all the pins to permit other interconnecting patterns.

  4. Modular Buildings: A Quick, Quality Solution for Schools.

    ERIC Educational Resources Information Center

    School Planning & Management, 2001

    2001-01-01

    Highlights the history of the modular classroom industry and emergence of the Modular Building Institute. Analyzes the differences between temporary portable classrooms and permanent modular additions. Also examines the possible influence of modular classrooms on future facility design and the ways that educational facilities officials are saving…

  5. Modular optimization code package: MOZAIK

    NASA Astrophysics Data System (ADS)

    Bekar, Kursat B.

    This dissertation addresses the development of a modular optimization code package, MOZAIK, for geometric shape optimization problems in nuclear engineering applications. MOZAIK's first mission, determining the optimal shape of the D2O moderator tank for the current and new beam tube configurations for the Penn State Breazeale Reactor's (PSBR) beam port facility, is used to demonstrate its capabilities and test its performance. MOZAIK was designed as a modular optimization sequence including three primary independent modules: the initializer, the physics and the optimizer, each having a specific task. By using fixed interface blocks among the modules, the code attains its two most important characteristics: generic form and modularity. The benefit of this modular structure is that the contents of the modules can be switched depending on the requirements of accuracy, computational efficiency, or compatibility with the other modules. Oak Ridge National Laboratory's discrete ordinates transport code TORT was selected as the transport solver in the physics module of MOZAIK, and two different optimizers, Min-max and Genetic Algorithms (GA), were implemented in the optimizer module of the code package. A distributed memory parallelism was also applied to MOZAIK via MPI (Message Passing Interface) to execute the physics module concurrently on a number of processors for various states in the same search. Moreover, dynamic scheduling was enabled to enhance load balance among the processors while running MOZAIK's physics module thus improving the parallel speedup and efficiency. In this way, the total computation time consumed by the physics module is reduced by a factor close to M, where M is the number of processors. This capability also encourages the use of MOZAIK for shape optimization problems in nuclear applications because many traditional codes related to radiation transport do not have parallel execution capability. A set of computational models based on the

  6. 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)

  7. 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

  8. Modular, Intelligent Power Systems for Space Exploration

    NASA Technical Reports Server (NTRS)

    Button, Robert

    2006-01-01

    NASA's new Space Exploration Initiative demands that vehicles, habitats, and rovers achieve unprecedented levels of reliability, safety, effectiveness, and affordability. Modular and intelligent electrical power systems are critical to achieving those goals. Modular electrical power systems naturally increase reliability and safety through built-in fault tolerance. These modular systems also enable standardization across a multitude of systems, thereby greatly increasing affordability of the programs. Various technologies being developed to support this new paradigm for space power systems will be presented. Examples include the use of digital control in power electronics to enable better performance and advanced modularity functions such as distributed, master-less control and series input power conversion. Also, digital control and robust communication enables new levels of power system control, stability, fault detection, and health management. Summary results from recent development efforts are presented along with expected future technology development needs required to support NASA's ambitious space exploration goals.

  9. Modular Solar Electric Power (MSEP) Systems (Presentation)

    SciTech Connect

    Hassani, V.

    2000-06-18

    This presentation discusses the development and deployment of Modular Solar Electric Power (MSEP) systems, the feasibility of application of existing binary power cycles to solar trough technology, and identification of next action items.

  10. Modular biowaste monitoring system conceptual design

    NASA Technical Reports Server (NTRS)

    Fogal, G. L.

    1974-01-01

    The objective of the study was to define requirements and generate a conceptual design for a Modular Biowaste Monitoring System for specifically supporting shuttle life science experimental and diagnostic programs.