56 research outputs found
Uniform Random Sampling of Traces in Very Large Models
This paper presents some first results on how to perform uniform random walks
(where every trace has the same probability to occur) in very large models. The
models considered here are described in a succinct way as a set of
communicating reactive modules. The method relies upon techniques for counting
and drawing uniformly at random words in regular languages. Each module is
considered as an automaton defining such a language. It is shown how it is
possible to combine local uniform drawings of traces, and to obtain some global
uniform random sampling, without construction of the global model
The Borel Complexity of Isomorphism for Some First Order Theories
In this work we consider several instances of the following problem: "how complicated can the isomorphism relation for countable models be?"' Using the Borel reducibility framework, we investigate this question with regard to the space of countable models of particular complete first-order theories. We also investigate to what extent this complexity is mirrored in the number of back-and-forth inequivalent models of the theory. We consider this question for two large and related classes of theories.
First, we consider o-minimal theories, showing that if T is o-minimal, then the isomorphism relation is either Borel complete or Borel. Further, if it is Borel, we characterize exactly which values can occur, and when they occur. In all cases Borel completeness implies lambda-Borel completeness for all lambda.
Second, we consider colored linear orders, which are (complete theories of) a linear order expanded by countably many unary predicates. We discover the same characterization as with o-minimal theories, taking the same values, with the exception that all finite values are possible except two. We characterize exactly when each possibility occurs, which is similar to the o-minimal case. Additionally, we extend Schirrman's theorem, showing that if the language is finite, then T is countably categorical or Borel complete. As before, in all cases Borel completeness implies lambda-Borel completeness for all lambda
An Earth Orbiting Satellite Service and Repair Facility
A conceptual design was produced for the Geosynchronous Satellite Servicing Platform (GSSP), an orbital facility capable of repairing and servicing satellites in geosynchronous orbit. The GSSP is a man-tended platform, which consists of a habitation module, operations module, service bay and truss assembly. This design review includes an analysis of life support systems, thermal and power requirements, robotic and automated systems, control methods and navigation, and communications systems. The GSSP will utilize existing technology available at the time of construction, focusing mainly on modifying and integrating existing systems. The entire facility, along with two satellite retrieval vehicles (SRV), will be placed in geosynchronous orbit by the Advanced Launch System. The SRV will be used to ferry satellites to and from the GSSP. Technicians will be transferred from Earth to the GSSP and back in an Apollo-derived Crew Transfer Capsule (CTC). These missions will use advanced telerobotic equipment to inspect and service satellites. Four of these missions are tentatively scheduled per year. At this rate, the GSSP will service over 650 satelites during the projected 25 year lifespan
Autonomous global sky surveillance with real-time robotic follow-up: Night Sky Awareness through Thinking Telescopes Technology
Abstract We discuss the development of prototypes for a global grid of advanced "thinking" sky sentinels and robotic followup telescopes that observe the full night sky to provide real-time monitoring of the night sky by autonomously recognizing anomalous behavior, selecting targets for detailed investigation, and making real-time, follow-up observations. The layered, fault-tolerant, network uses relatively inexpensive robotic EO sensors to provide persistent autonomous monitoring and real-time anomaly detection to enable rapid recognition and a swift response to transients as they emerge. This T3 global EO grid avoids the limitations imposed by geography and weather to provide persistent monitoring of the night sky
Harnessing demographic differences in organizations:what moderates the effects of workplace diversity?
To account for the double-edged nature of demographic workplace diversity (i.e,. relational demography, work group diversity, and organizational diversity) effects on social integration, performance, and well-being related variables, research has moved away from simple main effect approaches and started examining variables that moderate these effects. While there is no shortage of primary studies of the conditions under which diversity leads to positive or negative outcomes, it remains unclear which contingency factors make it work. Using the Categorization-Elaboration Model as our theoretical lens, we review variables moderating the effects of workplace diversity on social integration, performance, and well-being outcomes, focusing on factors that organizations and managers have control over (i.e., strategy, unit design, human resource, leadership, climate/culture, and individual differences). We point out avenues for future research and conclude with practical implications
The whole-organism heavy chain B cell repertoire from Zebrafish self-organizes into distinct network features
Sequencing of the Sea Lamprey (Petromyzon marinus) Genome Provides Insights into Vertebrate Evolution
Lampreys are representatives of an ancient vertebrate lineage that diverged from our own ∼500 million years ago. By virtue of this deeply shared ancestry, the sea lamprey (P. marinus) genome is uniquely poised to provide insight into the ancestry of vertebrate genomes and the underlying principles of vertebrate biology. Here, we present the first lamprey whole-genome sequence and assembly. We note challenges faced owing to its high content of repetitive elements and GC bases, as well as the absence of broad-scale sequence information from closely related species. Analyses of the assembly indicate that two whole-genome duplications likely occurred before the divergence of ancestral lamprey and gnathostome lineages. Moreover, the results help define key evolutionary events within vertebrate lineages, including the origin of myelin-associated proteins and the development of appendages. The lamprey genome provides an important resource for reconstructing vertebrate origins and the evolutionary events that have shaped the genomes of extant organisms
- …