5,076 research outputs found
Development and Analysis of the Automated Object Reentry Survival Analysis Tool Parametric Study Wrapper
The NASA Orbital Debris Program Office (ODPO) studies all aspects of spacecraft end-of-life and orbital debris measurement, modeling, and mitigation. The reentry safety group within the ODPO uses the Object Reentry Survival Analysis Tool (ORSAT) to calculate the casualty risk due to reentry of spacecraft and other types of orbital debris. ORSAT models spacecraft as a collection of fragments that break apart from the parent object at a pre-defined breakup altitude. It then calculates the trajectory and aero-heating of these fragments to determine which fragments are completely destroyed and which survive to the ground and pose a risk to human population. Because of the historically high computational cost of these calculations, many simplifying assumptions have been made in the traditional calculation and analysis process used by the ODPO, some of which have been shown by recent research by the ODPO and others to be incorrect. Improvements to the ORSAT code and advancements in computer technology have vastly decreased the programs processing time, and have allowed the ODPO to develop a capability for large-scale parametric studies and Monte Carlo reentry simulations that can aid in both the initial spacecraft design and provide more detailed and accurate risk analysis to spacecraft operators
Trends and perspectives in business psychology. What are the outcomes of the fifth International scientific-practical conference “Business psychology: theory and practice”?
The article analyzes the current state, trends and development prospects of business psychology based on the Fifth International Scientific and Practical Conference “Business Psychology: Theory and Practice (HSE, Moscow, Russia), which was held November, 30 — December, 1, 2018. The conference was prepared and held by the master’s program “Psychology in Business”, which is the domestic scientific and practical center for the development of business psychology — a new branch in applied psychology. Presentations, their discussion, workshops showed a growing interest of researchers and practitioners to business psychology. There has been a tendency to search for a deeper psychological validation of business psychological tools, search for integrated approaches that can be the basis for the development of business psychological practice. A more clear understanding of the structure of business psychology from the perspective of personal, organisational, social, cultural factors of business management was indicated. The strengths of business psychologists were identified in the context of their ability to solve problems systematically and rely on an interdisciplinary approach. The prospects for the development of business psychology are the following: the expansion of geography and subject areas of research and practical activities of business psychology on the development of new approaches in management and organisational consulting
Dialectica Categories for the Lambek Calculus
We revisit the old work of de Paiva on the models of the Lambek Calculus in
dialectica models making sure that the syntactic details that were sketchy on
the first version got completed and verified. We extend the Lambek Calculus
with a \kappa modality, inspired by Yetter's work, which makes the calculus
commutative. Then we add the of-course modality !, as Girard did, to
re-introduce weakening and contraction for all formulas and get back the full
power of intuitionistic and classical logic. We also present the categorical
semantics, proved sound and complete. Finally we show the traditional
properties of type systems, like subject reduction, the Church-Rosser theorem
and normalization for the calculi of extended modalities, which we did not have
before
Determination of HART I Blade Structural Properties by Laboratory Testing
The structural properties of higher harmonic Aeroacoustic Rotor Test (HART I) blades were measured using the original set of blades tested in the German-dutch wind tunnel (DNW) in 1994. the measurements include bending and torsion stiffness, geometric offsets, and mass and inertia properties of the blade. the measured properties were compared to the estimated values obtained initially from the blade manufacturer. The previously estimated blade properties showed consistently higher stiffness, up to 30 percent for the flap bending in the blade inboard root section
Algebras for parameterised monads
Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and prove a generalisation of Beck’s theorem characterising this category. We demonstrate an application of this theory to the semantics of type and effect systems
Partiality, revisited: the partiality monad as a quotient inductive-inductive type
Capretta's delay monad can be used to model partial computations, but it has the "wrong" notion of built-in equality, strong bisimilarity. An alternative is to quotient the delay monad by the "right" notion of equality, weak bisimilarity. However, recent work by Chapman et al. suggests that it is impossible to define a monad structure on the resulting construction in common forms of type theory without assuming (instances of) the axiom of countable choice. Using an idea from homotopy type theory - a higher inductive-inductive type - we construct a partiality monad without relying on countable choice. We prove that, in the presence of countable choice, our partiality monad is equivalent to the delay monad quotiented by weak bisimilarity. Furthermore we outline several applications
ANIMo — A New Ionospheric Model. Ionospheric Modeling for Ionospheric Imaging and Forecasting Purposes
Measurement of trapped proton fluences in main stack of P0006 experiment
We have measured directional distribution and Eastward directed mission fluence of trapped protons at two different energies with plastic nuclear track detectors (CR-39 with DOP) in the main stack of the P0006 experiment on LDEF. Results show arriving directions of trapped protons have very high anisotropy with most protons arriving from the West direction. Selecting these particles we have determined the mission fluence of Eastward directed trapped protons. We found experimental fluences are slightly higher than results of the model calculations of Armstrong and Colborn
Layer by layer - Combining Monads
We develop a method to incrementally construct programming languages. Our
approach is categorical: each layer of the language is described as a monad.
Our method either (i) concretely builds a distributive law between two monads,
i.e. layers of the language, which then provides a monad structure to the
composition of layers, or (ii) identifies precisely the algebraic obstacles to
the existence of a distributive law and gives a best approximant language. The
running example will involve three layers: a basic imperative language enriched
first by adding non-determinism and then probabilistic choice. The first
extension works seamlessly, but the second encounters an obstacle, which
results in a best approximant language structurally very similar to the
probabilistic network specification language ProbNetKAT
- …