Application of Hasse Diagrams for Counting Topologies on Finite Sets Technical Report No. 14
Diagram method for counting topologies on finite sets
SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Diagram method for counting topologies on finite sets
Cyclotomic numbers of order 18 with applications to difference sets
Closure and convexity of attainable control sets in finite and infinite dimensions, noting Liapunov theorem
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements: it should be consistent, require minimal parameter tuning, and produce scientifically meaningful results in reasonable time. We introduce a hidden Markov model (HMM)-based method for analysis of geophysical data sets that attempts to address these issues.
We propose a summary product that describes data belonging to each one degree grid cell by a set of multivariate representatives and weights and errors associated with them.
This talk discusses a method for creating low-volume versions of massive geophysical data sets that approximately retain high-resolution data structure.
This paper describes a method for summaraizing data in a way that approximately preserves high-resolution data structure while reducing data volume and maintaining global integrity of very large, remote sensing data sets. The method is under development for one of Terra's instruments, the Multi-angle Imaging SpectroRadiometer (MISR).
The NASA Airspace Technology Demonstration 2 Phase 1 and 2 Field Evaluations have successfully demonstrated new technologies developed to manage the Integrated Arrival, Departure, and Surface traffic flows at a single airport. The Phase 3 Field Evaluation extends the capabilities to a Metroplex environment where multiple airports are interacting and sharing resources along the terminal boundary. This paper describes the scheduling algorithm enabling the coordinated scheduling and describes the interaction between airports within the Metroplex and the terminal boundary. We describe the metrics developed to inform flight operators about reroute opportunities and discuss the potential benefits to the rerouted flight and the system-wide aggregate benefits of a single reroute. We believe that the capabilities developed and the lessons learned during the Phase 3 Field Evaluation will set up the National Airspace System for future success.
This paper describes NASA’s Airspace Technology Demonstration 2 (ATD-2) Phase 3 prototype capability that is being tested in the North Texas region through summer 2021. For the first time, a shared Decision Support Tool (DST) provides opportunities for participating Flight Operators (FOs) and Air Traffic Controllers (ATCs) to coordinate using a Trajectory Option Set (TOS). When the metroplex airspace is impacted by demand/capacity imbalances, TOS enables departure flights to be rerouted to alternative departure routes with less surface delay.
This video recorded presentation is about the NASA’s Airspace Technology Demonstration 2 (ATD-2) Phase 3 prototype capability that is being tested in the North Texas region through summer 2021. For the first time, a shared Decision Support Tool (DST) provides opportunities for participating Flight Operators (FOs) and Air Traffic Controllers (ATCs) to coordinate using a Trajectory Option Set (TOS). When the metroplex airspace is impacted by demand/capacity imbalances, TOS enables departure flights to be rerouted to alternative departure routes with less surface delay.
This paper presents results of NASA’s Airspace Technology Demonstration 2 Phase 3 Trajectory Option Set reroute capability designed to resolve a demand capacity imbalance along the terminal airspace boundary. We focus on Candidate flights generated during the Stormy 2020 Shadow Evaluation which was the result of using the system to passively collect predictions for each flight at the OUT event. Benefit metrics associated with the predictions are defined for the individual rerouted flight and also the system-wide savings. Candidate flights are grouped into three distinct use cases and the benefit mechanism is explained for each use case along with illustrative data. Analysis of the different use cases shed light on the underlying causes of the reroute opportunities. Lessons learned from the Stormy 2020 Shadow Evaluation including the importance of reroutes during recovery from Severe Weather Avoidance Programs and also reroutes in the absence of terminal airspace constraints will be incorporated into the Phase 3 Field Evaluation in 2021 to maximize reroute opportunities.
A concept that enables advanced airborne reroute operations is proposed, built on NextGen capabilities called Airborne Reroute (ABRR) and Trajectory Option Set (TOS). The concept introduces new third-party services / tools for the airline dispatchers to generate airline-preferred trajectories in response to convective weather events. The airborne TOS routes are sent to the traffic flow managers, who can evaluate the feasibility of the trajectory options with the help of their own third-party services / tools which have been built for this concept. A virtual demonstration study was conducted to elicit feedback from air traffic and airline subject-matter-experts. The feedback was generally positive, both in the benefits of the concept and the feasibility / need for the new tools to enable the concept but their feedback was mixed on the feasibility of the new tools to be third-party services instead of being integrated into their core tools. Nevertheless, this concept explores and demonstrates an evolutionary pathway toward a service-oriented future that shifts the responsibilities and the capabilities of air traffic operations from the air traffic service providers to the airline industry and third-party vendors.
This presentation discusses what Trajectory Options Set (TOS) are and how they are used in the ATD-2 Multi-Airport field demonstration in the North Texas area. The use cases and benefits of this technology are summarized.
Instructions on how to go about setting the BIOS on a SPARCS CPU used in an ATU or Pod.
This presentation applies open set recognition to classify unknown waveforms, enabling systems to not only identify known types but also reliably detect when waveforms fall outside the training distribution. This approach enhances robustness by avoiding forced misclassification of novel or anomalous signals.
Fluidization behavior of biomass and glass beads binary mixtures in a bubbling fluidized bed was experimentally investigated. Mixtures containing different mass fraction of Loblolly Pine white wood and glass beads were fluidized at different fluidization velocities. The particle properties were characterized in a QICPIC that uses a dynamic image processing method to measure both particle size and sphericity. The minimum fluidization velocity was determined using the pressure drop method. An image processing method was developed to capture the dynamic expanded bed height at a very high frequency. The effect of biomass mass fraction and inlet gas velocity on mixing and segregation behavior was studied and analyzed through pressure drop measurements. Pressure drop fluctuations and expanded bed height fluctuations via fast Fourier transform were analyzed and compared. Here, the complete and accurate experimental data reported in this study could provide a benchmark data set for various computational fluid dynamics models validation, calibration, and identification.
Abstract Quantum annealing is a promising method for solving hard optimization problems by transforming them into quadratic unconstrained binary optimization (QUBO) problems. However, when constraints are involved, particularly multiple inequality constraints, incorporating them into the objective function poses challenges. In this paper, the authors present two novel approaches for solving problems with multiple inequality constraints on a quantum annealer and apply them to the set cover problem (SCP). The first approach uses the augmented Lagrangian method to represent the constraints, while the second approach employs a higher‐order binary optimization (HUBO) formulation. The experiments show that both approaches outperform the standard approach for solving the SCP on the D‐Wave Advantage quantum annealer. The HUBO formulation performs slightly better than the augmented Lagrangian method in solving the SCP, but its scalability in terms of embeddability in the quantum chip is worse. The results demonstrate that the proposed augmented Lagrangian and HUBO methods can successfully implement a large number of inequality constraints, making them applicable to a broad range of constrained problems beyond the SCP.
Soils deliver underrecognized ecosystem services by supplying habitat for ground-dwelling pollinators, such as wild bees and other organisms, that pollinate 80% of insect-pollinated plants and play a critical role in securing resilient pollination provisions. Our objective is to identify soil properties of ground nesting bee nests in agricultural settings of western Oregon, USA. We confirmed ground nesting bee and sand wasp activity in 7 agricultural sites and 1 recreational park. Soils from 17 bee and sand wasp nests were analyzed for pH, particle size distribution, and carbon and nitrogen content. We visually confirmed that 8 of the nesting bees were sweat bees from the Halictidae family and identified a captured bee specimen as Lasioglossum (Dialictus) (Hymenoptera: Halictidae). We located 2 sites with sand wasps where specimens were identified as Cerceris and Bembix (Hymenoptera: Crabronidae). The organic matter composition of three soil samples scraped from the linings of active nests were assessed using Fourier transform ion cyclotron resonance mass spectrometry (FTICR-MS). The FTICR-MS results identified unknown lipid compounds in the nest soil samples, which we hypothesize are waterproofing lipids secreted to line cell walls. Bee nests occurred in slightly acidic, bare-ground soils with low rock/vegetation coverage, low organic carbon content (<1%), and exhibited significantly higher silt-plus-clay fractions (>75%) versus data published for bee nests in prior work. Our findings present important implications for textural controls on nest site selection in wet, cool environments and demonstrate the importance of integrating soil properties to improve our understanding of ground-dwelling organisms and associated soil habitats.