2,507 research outputs found

    Decentralised Control Flow: A Computational Model for Distributed Systems

    Get PDF
    PhD ThesisThis thesis presents two sets of principles for the organisation of distributed computing systems. Details of models of computation based on these principles are together given, with proposals for programming languages based on each model of computation. The recursive control flow principles are based on the concept of recursive control flow computing system structuring. A recursive comprises a group of subordinate computing systems connected together by Each subordinate computing system may either be a communications medium. which a a computing system consists of a processing unit, memory some is itself a recursive component, and input/output devices, or computing components control flow system. The memory of all the computing systems within a recursive control flow computing subordinate system are arranged in a hierarchy. Using suitable addresses, any part of the hierarchy is accessible to any sequence of instructions which may be executed by the processing unit of a subordinate computing system. This rise to serious difficulties in the global accessibility gives understanding of programs written the meaning of in a programming language recursive control flow on the model of computation. based Reasoning about a particular program in isolation is difficult because of the potential interference between the execution different programs cannot be ignored . alternative principles, decentralised control flow, restrict the The accessibility of subordinate global the memory components of the computing The basis of the concept of objects forms the systems. principles. Information channels may flow along unnamed between instances of these objects, this being the only way in which one instance of an object may communicate with some other instance of an object. Reasoning particular program written in a programming language about a based on the decentralised control flow model of computation is easier since it is that there will be no interference between the guaranteed execution of different programs.Science and Engineering Research Council of Great Britain, International Computers Limite

    Uniclamp, a load-bearing termination for oil-well, logging-type cables

    Get PDF
    Uniclamp, a simple, durable, and easily installed device used currently for oceanographic work permits mechanical loads to be attached to an oil-well, logging-type cable containing coaxial electrical leads, and it has the desirable feature of bearing loads up to the ultimate strength of the armored cable. This clamp secures the armor between a slightly tapered hollow spindle within the cable and a similarly tapered external block. This device is easy to dismantle and to reuse

    Are young stars always associated with cold massive disks? A CO and millimeter interferometric continuum survey

    Get PDF
    The results of a combined millimeter-spectral-line and continuum survey of cold far-infrared sources selected to favor embedded young stars in the Galaxy are presented. The spectral-line observations were performed with the 5 meter antenna of the University of Texas Millimeter-Wave Observatory. High resolution continuum observations were obtained with the Owens Valley (OVRO) Millimeter-Wave Interferometer. The goal of the survey was to gain insight into the mass, temperature, and distribution of cold dust which envelopes stars during the earliest stages of their evolution. The first phase of our survey involved 1.2 arcmin resolution observations of CO-12 and CO-13 emission lines toward each source. All but two sources had detectable CO emission. We found that 40% of the sources appear to be associated with star formation as evidenced by the presence of enhanced CO-12 line widths or broad wings. At least five of these objects are associated with bipolar molecular outflows. The second phase of our survey involves high resolution 2.7 mm continuum observations with 3 interferometer baselines ranging from 15 to 55 m in length. Preliminary results indicate that about 25% of the sources in our sample have detectable continuum emission on scales less than 30 arcsec. The high percentage of sources with enhanced CO-12 line widths or broad wings indicates that a significant fraction of our samples, 40%, are likely to be young stars. The lower detection percentage in the continuum observations, 25%, suggest that such objects are not always surrounded by large concentrations of gas and dust. The continuum detection percentage for actual dust emission could be lower than that given above since emission from ionized gas could be responsible for the observed 2.7 mm emission in some objects. To get an understanding of the type of object detected in our survey, a map of one of the survey sources, L1689N, has been made using the OVRO mm interferometer

    Vienna Circle and Logical Analysis of Relativity Theory

    Full text link
    In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightforward, logical manner. We want to provide an analysis of the logical structure of the theory. We investigate which axioms are needed for which predictions of RT. We want to make RT more transparent logically, easier to understand, easier to change, modular, and easier to teach. We want to obtain deeper understanding of RT. Our work can be considered as a case-study showing that the Vienna Circle's (VC) approach to doing science is workable and fruitful when performed with using the insights and tools of mathematical logic acquired since its formation years at the very time of the VC activity. We think that logical positivism was based on the insight and anticipation of what mathematical logic is capable when elaborated to some depth. Logical positivism, in great part represented by VC, influenced and took part in the birth of modern mathematical logic. The members of VC were brave forerunners and pioneers.Comment: 25 pages, 1 firgure

    A Geometrical Characterization of the Twin Paradox and its Variants

    Full text link
    The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is also studied.Comment: 22 pages, 3 figure

    Simian immunodeficiency virus infection in wild-caught chimpanzees from Cameroon

    Get PDF
    Simian immunodeficiency viruses (SIVcpz) infecting chimpanzees (Pan troglodytes) in west central Africa are the closest relatives to all major variants of human immunodeficiency virus type 1 ([HIV-1]; groups M, N and O), and have thus been implicated as the source of the human infections; however, information concerning the prevalence, geographic distribution, and subspecies association of SIVcpz still remains limited. In this study, we tested 71 wild-caught chimpanzees from Cameroon for evidence of SIVcpz infection. Thirty-nine of these were of the central subspecies (Pan troglodytes troglodytes), and 32 were of the Nigerian subspecies (Pan troglodytes vellerosus), as determined by mitochondrial DNA analysis. Serological analysis determined that one P. t. troglodytes ape (CAM13) harbored serum antibodies that cross-reacted strongly with HIV-1 antigens; all other apes were seronegative. To characterize the newly identified virus, 14 partially overlapping viral fragments were amplified from fecal virion RNA and concatenated to yield a complete SIVcpz genome (9,284 bp). Phylogenetic analyses revealed that SIVcpzCAM13 fell well within the radiation of the SIVcpzPtt group of viruses, as part of a clade including all other SIVcpzPtt strains as well as HIV-1 groups M and N. However, SIVcpzCAM13 clustered most closely with SIVcpzGAB1 from Gabon rather than with SIVcpzCAM3 and SIVcpzCAM5 from Cameroon, indicating the existence of divergent SIVcpzPtt lineages within the same geographic region. These data, together with evidence of recombination among ancestral SIVcpzPtt lineages, indicate long-standing endemic infection of central chimpanzees and reaffirm a west central African origin of HIV-1. Whether P. t. vellerosus apes are naturally infected with SIVcpz requires further study
    corecore