Refinement and validation of two digital Microwave Landing System (MLS) theoretical models

Two digital microwave landing system theoretical models are considered which are generic models for the Doppler and scanning-beam frequency reference versions of the MLS. These models represent errors resulting from both system noise and discrete multipath. The data used for the validation effort were obtained from the Texas Instrument conventional scanning beam and the Hazeltine Doppler feasibility hardware versions of the MLS. Topics discussed include tape read software, time history plots, computation of power spectral density, smoothed power spectra, best-fit models, different equations for digital simulation, and discrete multipath errors

Development and modification of a digital program for final approach to landing

The development and implementation of a dynamic digital computer simulator which may be used to evaluate aircraft performance when operating under the control and guidance of various navigation, landing, and flight control systems are discussed. The digital computer program may be used to simulate and evaluate the relationships and interactions between various factors such as the microwave landing system, avionics receivers and onboard processors, aircraft aerodynamics, aircraft automatic control systems, control surfaces, and wind and other external effects. The models used to represent aircraft aerodynamics, control system and control surfaces; weather and wind effects; and the microwave landing system are described. Example results are presented for a simulation of a Boeing 737 using two sample control systems while subjected to various atmospheric conditions and microwave landing system errors. The limitations and performance capabilities of these control systems are discussed in terms of their ability to utilize the microwave landing system signal

Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel

Optimism and pessimism in strategic interactions under ignorance

We study players interacting under the veil of ignorance, who have—coarse—beliefs represented as subsets of opponents' actions. We analyze when these players follow max⁡min or max⁡max decision criteria, which we identify with pessimistic or optimistic attitudes, respectively. Explicitly formalizing these attitudes and how players reason interactively under ignorance, we characterize the behavioral implications related to common belief in these events: while optimism is related to Point Rationalizability, a new algorithm—Wald Rationalizability—captures pessimism. Our characterizations allow us to uncover novel results: (i) regarding optimism, we relate it to wishful thinking á la Yildiz (2007) and we prove that dropping the (implicit) “belief-implies-truth” assumption reverses an existence failure described therein; (ii) we shed light on the notion of rationality in ordinal games; (iii) we clarify the conceptual underpinnings behind a discontinuity in Rationalizability hinted in the analysis of Weinstein (2016)

A discontinuous Galerkin formulation for nonlinear analysis of multilayered shells refined theories

A novel pure penalty discontinuous Galerkin method is proposed for the geometrically nonlinear analysis of multilayered composite plates and shells, modelled via high-order refined theories. The approach allows to build different two-dimensional equivalent single layer structural models, which are obtained by expressing the covariant components of the displacement field through-the-thickness via Taylor’s polynomial expansion of different order. The problem governing equations are deduced starting from the geometrically nonlinear principle of virtual displacements in a total Lagrangian formulation. They are addressed with a pure penalty discontinuous Galerkin method using Legendre polynomials trial functions. The resulting nonlinear algebraic system is solved by a Newton–Raphson arc-length linearization scheme. Numerical tests involving plates and shells are proposed to validate the method, by comparison with literature benchmark problems and finite element solutions, and to assess its features. The obtained results demonstrate the accuracy of the method as well as the effectiveness of high-order elements

A MACRO sampler

We present results from approximately 2 years running with the MACRO detector. Most of these data were taken with one of the six supermodules of the final detector in operation. Using a sample of 1.8×106 muons with E≳1.4 TeV we have searched for an excess of muons of celestial origin over cosmic ray background. No evidence for steady point sources was found. The upper limit on the muon flux at 95% CL is typically 2×10−12 cm−2 sec−2. No evidence for time modulated point sources was found. The muon multiplicity distribution favors a ‘‘light’’ composition for cosmic ray primaries with ≊75% protons above ∼103 TeV. We have also searched for neutrino bursts from supernovae in our Galaxy. None were observed during the period Oct. 1989 to Feb. 1992. Our sensitivity to neutrino bursts from collapsing stars extends to ≊60% of the stars in the Galaxy.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/87712/2/1222_1.pd

Lizards as model organisms of sex chromosome evolution: What we really know from a systematic distribution of available data?

Lizards represent unique model organisms in the study of sex determination and sex chromosome evolution. Among tetrapods, they are characterized by an unparalleled diversity of sex determination systems, including temperature-dependent sex determination (TSD) and genetic sex determination (GSD) under either male or female heterogamety. Sex chromosome systems are also extremely variable in lizards. They include simple (XY and ZW) and multiple (X1X2Y and Z1Z2W) sex chromosome systems and encompass all the different hypothesized stages of diversification of heterogametic chromosomes, from homomorphic to heteromorphic and completely heterochromatic sex chromosomes. The co-occurrence of TSD, GSD and different sex chromosome systems also characterizes different lizard taxa, which represent ideal models to study the emergence and the evolutionary drivers of sex reversal and sex chromosome turnover. In this review, we present a synthesis of general genome and karyotype features of non-snakes squamates and discuss the main theories and evidences on the evolution and diversification of their different sex determination and sex chromosome systems. We here provide a systematic assessment of the available data on lizard sex chromosome systems and an overview of the main cytogenetic and molecular methods used for their identification, using a qualitative and quantitative approach

Symbolic computation of moments of sampling distributions

By means of the notion of umbrae indexed by multisets, a general method to express estimators and their products in terms of power sums is derived. A connection between the notion of multiset and integer partition leads immediately to a way to speed up the procedures. Comparisons of computational times with known procedures show how this approach turns out to be more efficient in eliminating much unnecessary computation.Comment: 21 pages, 7 table