SIRU development. Volume 3: Software description and program documentation

The development and initial evaluation of a strapdown inertial reference unit (SIRU) system are discussed. The SIRU configuration is a modular inertial subsystem with hardware and software features that achieve fault tolerant operational capabilities. The SIRU redundant hardware design is formulated about a six gyro and six accelerometer instrument module package. The six axes array provides redundant independent sensing and the symmetry enables the formulation of an optimal software redundant data processing structure with self-contained fault detection and isolation (FDI) capabilities. The basic SIRU software coding system used in the DDP-516 computer is documented

SIRU utilization. Volume 2: Software description and program documentation

A complete description of the additional analysis, development and evaluation provided for the SIRU system as identified in the requirements for the SIRU utilization program is presented. The SIRU configuration is a modular inertial subsystem with hardware and software features that achieve fault tolerant operational capabilities. The SIRU redundant hardware design is formulated about a six gyro and six accelerometer instrument module package. The modules are mounted in this package so that their measurement input axes form a unique symmetrical pattern that corresponds to the array of perpendiculars to the faces of a regular dodecahedron. This six axes array provides redundant independent sensing and the symmetry enables the formulation of an optimal software redundant data processing structure with self-contained fault detection and isolation (FDI) capabilities. Documentation of the additional software and software modifications required to implement the utilization capabilities includes assembly listings and flow chart

The Grail theorem prover: Type theory for syntax and semantics

As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the desired semantics of an expression inform the syntactic type and vice versa. Prototypical examples of the successful application of type-logical grammars to the syntax-semantics interface include coordination, quantifier scope and extraction.This chapter describes the Grail theorem prover, a series of tools for designing and testing grammars in various modern type-logical grammars which functions as a tool . All tools described in this chapter are freely available

Quantum Aspects of Semantic Analysis and Symbolic Artificial Intelligence

Modern approaches to semanic analysis if reformulated as Hilbert-space problems reveal formal structures known from quantum mechanics. Similar situation is found in distributed representations of cognitive structures developed for the purposes of neural networks. We take a closer look at similarites and differences between the above two fields and quantum information theory.Comment: version accepted in J. Phys. A (Letter to the Editor

Category Theoretic Analysis of Hierarchical Protein Materials and Social Networks

Materials in biology span all the scales from Angstroms to meters and typically consist of complex hierarchical assemblies of simple building blocks. Here we describe an application of category theory to describe structural and resulting functional properties of biological protein materials by developing so-called ologs. An olog is like a “concept web” or “semantic network” except that it follows a rigorous mathematical formulation based on category theory. This key difference ensures that an olog is unambiguous, highly adaptable to evolution and change, and suitable for sharing concepts with other olog. We consider simple cases of beta-helical and amyloid-like protein filaments subjected to axial extension and develop an olog representation of their structural and resulting mechanical properties. We also construct a representation of a social network in which people send text-messages to their nearest neighbors and act as a team to perform a task. We show that the olog for the protein and the olog for the social network feature identical category-theoretic representations, and we proceed to precisely explicate the analogy or isomorphism between them. The examples presented here demonstrate that the intrinsic nature of a complex system, which in particular includes a precise relationship between structure and function at different hierarchical levels, can be effectively represented by an olog. This, in turn, allows for comparative studies between disparate materials or fields of application, and results in novel approaches to derive functionality in the design of de novo hierarchical systems. We discuss opportunities and challenges associated with the description of complex biological materials by using ologs as a powerful tool for analysis and design in the context of materiomics, and we present the potential impact of this approach for engineering, life sciences, and medicine.Presidential Early Career Award for Scientists and Engineers (N000141010562)United States. Army Research Office. Multidisciplinary University Research Initiative (W911NF0910541)United States. Office of Naval Research (grant N000141010841)Massachusetts Institute of Technology. Dept. of MathematicsStudienstiftung des deutschen VolkesClark BarwickJacob Luri

Affected Experiencers

Numerous languages permit an NP that is not selected by the verb to be added to a clause, with several different possible interpretations. We divide such non-selected arguments into possessor, benefactive, attitude holder, and affected experiencer categories, on the basis of syntactic and semantic differences between them. We propose a formal analysis of the affected experiencer construction. In our account, a syntactic head Aff(ect) introduces the experiencer argument, and adds a conventional implicature to the effect that any event of the type denoted by its syntactic sister is the source of the experiencer’s psychological experience. Hence, our proposal involves two tiers of meaning: the at-issue meaning of the sentence, and some not-at-issue meaning (an implicature). A syntactic head can introduce material on both tiers. Additionally, we allow two parameters of variation: (i) the height of the attachment of Aff, and (ii) how much of the semantics is at-issue and how much is an implicature. We show that these two parameters account for the attested variation across our sample of languages, as well as the significant commonalities among them. Our analysis also accounts for significant differences between affected experiencers and the other types of non-selected arguments, and we also note a generalization to the effect that purely not-at-issue non-selected arguments can only be weak or clitic pronouns

Dynamics of Seed-Borne Rice Endophytes on Early Plant Growth Stages

Bacterial endophytes are ubiquitous to virtually all terrestrial plants. With the increasing appreciation of studies that unravel the mutualistic interactions between plant and microbes, we increasingly value the beneficial functions of endophytes that improve plant growth and development. However, still little is known on the source of established endophytes as well as on how plants select specific microbial communities to establish associations. Here, we used cultivation-dependent and -independent approaches to assess the endophytic bacterrial community of surface-sterilized rice seeds, encompassing two consecutive rice generations. We isolated members of nine bacterial genera. In particular, organisms affiliated with Stenotrophomonas maltophilia and Ochrobactrum spp. were isolated from both seed generations. PCR-based denaturing gradient gel electrophoresis (PCR-DGGE) of seed-extracted DNA revealed that approximately 45% of the bacterial community from the first seed generation was found in the second generation as well. In addition, we set up a greenhouse experiment to investigate abiotic and biotic factors influencing the endophytic bacterial community structure. PCR-DGGE profiles performed with DNA extracted from different plant parts showed that soil type is a major effector of the bacterial endophytes. Rice plants cultivated in neutral-pH soil favoured the growth of seed-borne Pseudomonas oryzihabitans and Rhizobium radiobacter, whereas Enterobacter-like and Dyella ginsengisoli were dominant in plants cultivated in low-pH soil. The seed-borne Stenotrophomonas maltophilia was the only conspicuous bacterial endophyte found in plants cultivated in both soils. Several members of the endophytic community originating from seeds were observed in the rhizosphere and surrounding soils. Their impact on the soil community is further discussed