1,244 research outputs found

    Improved accuracies for satellite tracking

    Get PDF
    A charge coupled device (CCD) camera on an optical telescope which follows the stars can be used to provide high accuracy comparisons between the line of sight to a satellite, over a large range of satellite altitudes, and lines of sight to nearby stars. The CCD camera can be rotated so the motion of the satellite is down columns of the CCD chip, and charge can be moved from row to row of the chip at a rate which matches the motion of the optical image of the satellite across the chip. Measurement of satellite and star images, together with accurate timing of charge motion, provides accurate comparisons of lines of sight. Given lines of sight to stars near the satellite, the satellite line of sight may be determined. Initial experiments with this technique, using an 18 cm telescope, have produced TDRS-4 observations which have an rms error of 0.5 arc second, 100 m at synchronous altitude. Use of a mosaic of CCD chips, each having its own rate of charge motion, in the focal place of a telescope would allow point images of a geosynchronous satellite and of stars to be formed simultaneously in the same telescope. The line of sight of such a satellite could be measured relative to nearby star lines of sight with an accuracy of approximately 0.03 arc second. Development of a star catalog with 0.04 arc second rms accuracy and perhaps ten stars per square degree would allow determination of satellite lines of sight with 0.05 arc second rms absolute accuracy, corresponding to 10 m at synchronous altitude. Multiple station time transfers through a communications satellite can provide accurate distances from the satellite to the ground stations. Such observations can, if calibrated for delays, determine satellite orbits to an accuracy approaching 10 m rms

    Lower Bounds for the Graph Homomorphism Problem

    Full text link
    The graph homomorphism problem (HOM) asks whether the vertices of a given nn-vertex graph GG can be mapped to the vertices of a given hh-vertex graph HH such that each edge of GG is mapped to an edge of HH. The problem generalizes the graph coloring problem and at the same time can be viewed as a special case of the 22-CSP problem. In this paper, we prove several lower bound for HOM under the Exponential Time Hypothesis (ETH) assumption. The main result is a lower bound 2Ω(nloghloglogh)2^{\Omega\left( \frac{n \log h}{\log \log h}\right)}. This rules out the existence of a single-exponential algorithm and shows that the trivial upper bound 2O(nlogh)2^{{\mathcal O}(n\log{h})} is almost asymptotically tight. We also investigate what properties of graphs GG and HH make it difficult to solve HOM(G,H)(G,H). An easy observation is that an O(hn){\mathcal O}(h^n) upper bound can be improved to O(hvc(G)){\mathcal O}(h^{\operatorname{vc}(G)}) where vc(G)\operatorname{vc}(G) is the minimum size of a vertex cover of GG. The second lower bound hΩ(vc(G))h^{\Omega(\operatorname{vc}(G))} shows that the upper bound is asymptotically tight. As to the properties of the "right-hand side" graph HH, it is known that HOM(G,H)(G,H) can be solved in time (f(Δ(H)))n(f(\Delta(H)))^n and (f(tw(H)))n(f(\operatorname{tw}(H)))^n where Δ(H)\Delta(H) is the maximum degree of HH and tw(H)\operatorname{tw}(H) is the treewidth of HH. This gives single-exponential algorithms for graphs of bounded maximum degree or bounded treewidth. Since the chromatic number χ(H)\chi(H) does not exceed tw(H)\operatorname{tw}(H) and Δ(H)+1\Delta(H)+1, it is natural to ask whether similar upper bounds with respect to χ(H)\chi(H) can be obtained. We provide a negative answer to this question by establishing a lower bound (f(χ(H)))n(f(\chi(H)))^n for any function ff. We also observe that similar lower bounds can be obtained for locally injective homomorphisms.Comment: 19 page

    Coupling a model of human thermoregulation with computational fluid dynamics for predicting human-environment interaction

    Get PDF
    This paper describes the methods developed to couple a commercial CFD program with a multi-segmented model of human thermal comfort and physiology. A CFD model is able to predict detailed temperatures and velocities of airflow around a human body, whilst a thermal comfort model is able to predict the response of a human to the environment surrounding it. By coupling the two models and exchanging information about the heat transfer at the body surface the coupled system can potentially predict the response of a human body to detailed local environmental conditions. This paper presents a method of exchanging data, using shared files, to provide a means of dynamically exchanging simulation data with the IESD-Fiala model during the CFD solution process. Additional code is used to set boundary conditions for the CFD simulation at the body surface as determined by the IESD-Fiala model and to return information about local environmental conditions adjacent to the body surface as determined by the CFD simulation. The coupled system is used to model a human subject in a naturally ventilated environment. The resulting ventilation flow pattern agrees well with other numerical and experimental work

    Expanding the expressive power of Monadic Second-Order logic on restricted graph classes

    Full text link
    We combine integer linear programming and recent advances in Monadic Second-Order model checking to obtain two new algorithmic meta-theorems for graphs of bounded vertex-cover. The first shows that cardMSO1, an extension of the well-known Monadic Second-Order logic by the addition of cardinality constraints, can be solved in FPT time parameterized by vertex cover. The second meta-theorem shows that the MSO partitioning problems introduced by Rao can also be solved in FPT time with the same parameter. The significance of our contribution stems from the fact that these formalisms can describe problems which are W[1]-hard and even NP-hard on graphs of bounded tree-width. Additionally, our algorithms have only an elementary dependence on the parameter and formula. We also show that both results are easily extended from vertex cover to neighborhood diversity.Comment: Accepted for IWOCA 201

    A Combined Perceptual, Physico-Chemical, and Imaging Approach to ‘Odour-Distances’ Suggests a Categorizing Function of the Drosophila Antennal Lobe

    Get PDF
    How do physico-chemical stimulus features, perception, and physiology relate? Given the multi-layered and parallel architecture of brains, the question specifically is where physiological activity patterns correspond to stimulus features and/or perception. Perceived distances between six odour pairs are defined behaviourally from four independent odour recognition tasks. We find that, in register with the physico-chemical distances of these odours, perceived distances for 3-octanol and n-amylacetate are consistently smallest in all four tasks, while the other five odour pairs are about equally distinct. Optical imaging in the antennal lobe, using a calcium sensor transgenically expressed in only first-order sensory or only second-order olfactory projection neurons, reveals that 3-octanol and n-amylacetate are distinctly represented in sensory neurons, but appear merged in projection neurons. These results may suggest that within-antennal lobe processing funnels sensory signals into behaviourally meaningful categories, in register with the physico-chemical relatedness of the odours

    Synthetic retinal analogues modify the spectral and kinetic characteristics of microbial rhodopsin optogenetic tools

    Get PDF
    Optogenetic tools have become indispensable in neuroscience to stimulate or inhibit excitable cells by light. Channelrhodopsin-2 (ChR2) variants have been established by mutating the opsin backbone or by mining related algal genomes. As an alternative strategy, we surveyed synthetic retinal analogues combined with microbial rhodopsins for functional and spectral properties, capitalizing on assays in C. elegans, HEK cells and larval Drosophila. Compared with all-trans retinal (ATR), Dimethylamino-retinal (DMAR) shifts the action spectra maxima of ChR2 variants H134R and H134R/T159C from 480 to 520 nm. Moreover, DMAR decelerates the photocycle of ChR2(H134R) and (H134R/T159C), thereby reducing the light intensity required for persistent channel activation. In hyperpolarizing archaerhodopsin-3 and Mac, naphthyl-retinal and thiophene-retinal support activity alike ATR, yet at altered peak wavelengths. Our experiments enable applications of retinal analogues in colour tuning and altering photocycle characteristics of optogenetic tools, thereby increasing the operational light sensitivity of existing cell lines or transgenic animals

    Synthetic retinal analogues modify the spectral and kinetic characteristics of microbial rhodopsin optogenetic tools

    Get PDF
    Optogenetic tools have become indispensable in neuroscience to stimulate or inhibit excitable cells by light. Channelrhodopsin-2 (ChR2) variants have been established by mutating the opsin backbone or by mining related algal genomes. As an alternative strategy, we surveyed synthetic retinal analogues combined with microbial rhodopsins for functional and spectral properties, capitalizing on assays in C. elegans, HEK cells and larval Drosophila. Compared with all-trans retinal (ATR), Dimethylamino-retinal (DMAR) shifts the action spectra maxima of ChR2 variants H134R and H134R/T159C from 480 to 520 nm. Moreover, DMAR decelerates the photocycle of ChR2(H134R) and (H134R/T159C), thereby reducing the light intensity required for persistent channel activation. In hyperpolarizing archaerhodopsin-3 and Mac, naphthyl-retinal and thiophene-retinal support activity alike ATR, yet at altered peak wavelengths. Our experiments enable applications of retinal analogues in colour tuning and altering photocycle characteristics of optogenetic tools, thereby increasing the operational light sensitivity of existing cell lines or transgenic animals

    Psychological growth in aging Vietnam veterans: redefining shame and betrayal

    Get PDF
    This study offers alternative interpretations of war-related distress embedded within the social and political context of the Vietnam War. Subjective interpretations from aging Vietnam veterans were analyzed using interpretative phenomenological analysis. A central theme—Moral authenticity: Overcoming the betrayal and shame of war—overarched five subordinate themes. Four subordinate themes encapsulated layers of war-related betrayal associated with shame. Shame was likely to be described as either (a) internal/sense of personal failure, with no acts of rage; or (b) external/reckless or threatening acts of others, engendering rage. A fifth theme, reparation with self, reflected humility, gratitude, and empathy, currently undefined domains of the growth construct
    corecore