New Horizons of Systems Science: Systems Dynamics Relationship to Systems Engineering Principles, Complex Systems, Category Theory
Explore the source record for details and available documents.
Systems Engineering Principles↗
SEARCH · Engineering Papers
Results for “Category Theory”
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.
Category Theory
Functions started with an implicit definition - the dependency of some quantity on others. Functions were coined by Leibniz in 1673, were given the f(x) notation by Euler in 1734, were formalized in the language of set theory from around 1847 to 1939. Functions have since been further abstract, often capture and represent structure.
Alan Hylton↗
Advances in Modeling Solar System Internet Structures and their Data Flows
With an ever-increasing presence in space, there is also an increasing burden on existing communications infrastructure. We are heading towards an inflection point where the traditional approach of scheduled, single-path communications for space will no longer be viable. One answer is Delay Tolerant Networking (DTN), which takes the once disparate system of point-to-point links and unifies them in a networked architecture, thereby making communications more scalable. However, much work remains for discovering and harnessing the underlying theory of DTN. For example, in the terrestrial setting the interplay between routing domains is well-understood, however this is not the case in DTNs. In this paper, we build up the fundamental foundations of DTN, with an emphasis on modeling time varying networks and data flows across them, with examples of cross-domain routing in a DTN. A lofty goal of DTN is to enable the so-called Solar System Internet (SSI), which implies a standardized and robust suite of protocols. These protocols include routing across disconnected networks using store, carry, and forward mechanisms, which is necessary due to the disconnections, delays, and mobility intrinsic to space networks. Due to these factors, each of which generalize traditional networking, there is a deep and rich theory of DTNs. Here we build off of past successes to broaden this theory while striving to keep actionable results a goal for future implementations and operations. The approach includes modeling the unicast, broadcast, and multicast communications using the language of hypergraphs, which capture the geometric properties of such networked communications algebraically. Also inherent to these networks is their time-varying nature, particularly given mobility, and hence we also cultivate modeling techniques that respect this time dependence. This leads us to develop models using tools from category theory and algebraic geometry, which provide a language well-suited to describing synchronization and optimization over such networks. We also introduce and study a novel generalization of curvature applicable to time-evolving networks, which provides quantitative controls on diffusion processes on the network. Because an interplanetary network would feature links with propagation delays the preclude discovery (feedback) mechanisms, they will always feature a scheduled component. However, it is beneficial to support discovery where possible. While DTNs do not yet have strong definitions for their analogues of autonomous systems or network areas, we show how to join dynamic and schedule-based routing domains, using the language of sheaves, which marks progress towards such definitions. We conclude with a discussion of the progress made, as well as suggestions for future work.
Delay Tolerant Networking↗
Rational QCD loop amplitudes and quantum theories on twistor space
We show how curing an anomaly of the twistor uplift of self-dual Yang-Mills theory implies linear relations among one-loop, n-gluon, color-ordered subamplitudes in QCD, when all n gluon helicities are positive, or when exactly one is negative. We compute the number of linearly independent subamplitudes as determined by these relations, in terms of unsigned Stirling numbers. Then we use a momentum-twistor parametrization to show that there are no further linear dependencies.
72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
From Research to Reality -- Challenges and Opportunities in Complex System Design
The scope and scale of our interconnected society requires that we view the world through a complex system lens, where numerous parts interact, and emergent behaviors are the norm. Understanding complex systems is critical for decision-making and policy development in domains such as ecological systems, financial markets, supply chains, and global transportation systems, where decision-makers need reliable information to predict the impact of decisions that may play out over decades. Traditional approaches to the research that produces this information are often insufficient, where hypotheses are tested in an isolated environment, and where the results may not carry over to the integrated system. There are a multitude of advancements in system engineering, artificial intelligence, and test and evaluation that are emerging to meet the challenge. Approaches such as agile development, model-based system engineering, design of experiments, large language models, and formal ontologies are providing ways to manage complexity and increase our collective ability to make the changes that we want to see in the world. In this talk I will provide a few examples related to the architecture of the National Airspace System (NAS), where we have investigated the use of large language models, basic formal ontology, and applied category theory to help researchers and system engineers be more effective in this complex design space. Bio: Dr. Ian Levitt’s current research focus is on the complex evolution of the National Airspace System. Prior to joining NASA in 2020, he was with the FAA leading international standards and national laboratory development for the agency. Dr. Levitt earned his PhD in mathematics from Rutgers University in 2009. His mission is to promote a healthy and continuous transformation of society through open information and cooperation.
Ian Levitt↗
Testing for a cosmological influence on local physics using atomic and gravitational clocks
The existence of a possible influence of the large-scale structure of the universe on local physics is discussed. A particular realization of such an influence is discussed in terms of the behavior in time of atomic and gravitational clocks. Two natural categories of metric theories embodying a cosmic infuence exist. The first category has geodesic equations of motion in atomic units, while the second category has geodesic equations of motion in gravitational units. Equations of motion for test bodies are derived for both categories of theories in the appropriate parametrized post-Newtonian limit and are applied to the Solar System. Ranging data to the Viking lander on Mars are of sufficient precision to reveal (1) if such a cosmological influence exists at the level of Hubble's constant, and (2) which category of theories is appropriate for a descripton of the phenomenon.
Adams, P. J.↗
Future of Managing Complexity
Explore the source record for details and available documents.
Category Theory↗
Categories of Neural Networks
We introduce new categories of neural networks that we hope will help us expose and explore their underlying structure and relationships. Our categories represent neural networks as objects and present structure for comparing neural networks with the same number of layers. In this paper we discuss the construction, properties, and currently known limitations – all with specific, illustrative examples. There are a number of directions this work can move towards, and we conclude with a section on future work summarizing several of these directions.
Category Theory↗
Pilot-Induced Oscillations and Human Dynamic Behavior
This is an in-depth survey and study of pilot-induced oscillations (PIO's) as interactions between human pilot and vehicle dynamics; it includes a broad and comprehensive theory of PIO's. A historical perspective provides examples of the diversity of PIO's in terms of control axes and oscillation frequencies. The constituents involved in PIO phenomena, including effective aircraft dynamics, human pilot dynamic behavior patterns, and triggering precursor events, are examined in detail as the structural elements interacting to produce severe pilot-induced oscillations. The great diversity of human pilot response patterns, excessive lags and/or inappropriate gain in effective aircraft dynamics, and transitions in either the human or effective aircraft dynamics are among the key sources implicated as factors in severe PIO's. The great variety of interactions which may result in severe PIO's is illustrated by examples drawn from famous PIO's. These are generalized under a pilot-behavior-theory-based set of categories proposed as a classification scheme pertinent to a theory of PIO's. Finally, a series of interim prescriptions to avoid PIO is provided.
McRuer, Duane T.↗
Recent advances in shell theory
The results reviewed are divided into two categories: those that relate two-dimensional shell theory to three-dimensional elasticity theory and those concerned with shell theory per se. In the second category results for general elastic systems that carry over, by specialization or analogy, to shells and results that are unique to shell theory itself are considered.
Simmonds, J. G.↗
Improvement and Verification of Online Cross Section Generation Capability of Griffin for TRISO-fueled Reactors
Griffin, a MOOSE-based reactor multiphysics code jointly developed by Idaho National Laboratory and Argonne National Laboratory under the DOE Office of Nuclear Energy’s NEAMS program, has pursued the development of an online multigroup cross section generation capability for a few years to enable high-fidelity, problem-dependent neutronics analyses of advanced thermal reactors. Recent advancements in Griffin’s online multigroup cross section generation capability have significantly improved the accuracy, robustness, and efficiency of self-shielding calculations for both prismatic and pebble-bed TRISO-fueled reactor applications. Key developments include a unified fuel self-shielding method applicable to both TRISO and annular compact/spherical shell fuel zone geometries; an advanced Dancoff Category-based Equivalence Theory using a bell function for non-fuel resonance treatment, achieving more than an order-of-magnitude speedup compared to the Tone method; an on-the-fly multigroup equivalence approach to mitigate group condensation errors; and a streaming correction method for pebble-bed homogenization. A proof-of-concept demonstration of on-the-fly group condensation with consistent P0 transport correction was also achieved. The method reproduced direct fine-group solutions with excellent accuracy (eigenvalue errors within 10 pcm and pin-power differences within 0.5%), but due to performance limitations of the current fixed-source solver, improvements to solver efficiency will be addressed in future work. Verification tests were performed on graphite-moderated TRISO-fueled two-dimensional core benchmark problems representing gas-cooled microreactors, heat pipe-cooled microreactors, gas-cooled pebble-bed reactors, and fluoride salt-cooled high-temperature reactors. Across all cases, Griffin showed excellent agreement with Serpent2 continuous energy Monte Carlo solutions: eigenvalue errors within 200 pcm, pin-power root-mean-square errors within 2%, and control rod and drum worth errors less than 2%. It should be noted that, for the benchmark problem, cross section generation contributed less than 3% of the total simulation times. These results demonstrate that Griffin’s online cross section generation capability delivers accurate and efficient reactor physics solutions across a wide spectrum of TRISO-fueled advanced reactor designs. With further improvements to the fine-group fixed-source solver and planned extensions to depletion, transients, and coupled neutron–gamma transport, Griffin will be well-positioned to become a powerful and comprehensive tool for advanced reactor analysis.
22 GENERAL STUDIES OF NUCLEAR REACTORS↗
Chondrules - An origin by impacts between dust grains
Modern theories regarding the origin of chondrules may be divided into two broad categories. According to primary theories, chondrules are thought to condense directly from the cooling nebular gas as stable or metastable liquid droplets. According to secondary theories, chondrules are thought to be produced by the flash heating and remelting of the original dust-like condensate. A collisional mechanism of chondrule formation is discussed.
Lange, D. E.↗
Theory of plasma contactors in ground-based experiments and low Earth orbit
Previous theoretical work on plasma contactors as current collectors has fallen into two categories: collisionless double layer theory (describing space charge limited contactor clouds) and collisional quasineutral theory. Ground based experiments at low current are well explained by double layer theory, but this theory does not scale well to power generation by electrodynamic tethers in space, since very high anode potentials are needed to draw a substantial ambient electron current across the magnetic field in the absence of collisions (or effective collisions due to turbulence). Isotropic quasineutral models of contactor clouds, extending over a region where the effective collision frequency upsilon sub e exceeds the electron cyclotron frequency omega sub ce, have low anode potentials, but would collect very little ambient electron current, much less than the emitted ion current. A new model is presented, for an anisotropic contactor cloud oriented along the magnetic field, with upsilon sub e less than omega sub ce. The electron motion along the magnetic field is nearly collisionless, forming double layers in that direction, while across the magnetic field the electrons diffuse collisionally and the potential profile is determined by quasineutrality. Using a simplified expression for upsilon sub e due to ion acoustic turbulence, an analytic solution has been found for this model, which should be applicable to current collection in space. The anode potential is low and the collected ambient electron current can be several times the emitted ion current.
Gerver, M. J.↗
Cosmic-ray modulation and the anamalous component
Advances in the theory and observation of cosmic ray modulation and in studies of the anomalous component in cosmic radiation are reviewed from reports that appeared in the open literature during the years 1979 to 1982. Entries, which are primarily the work of American researchers, are cited under the following categories: (1) microscopic diffusion theory; (2) global modulation theory; (3) anomalous component; and (4) general modulation observation.
Jones, F. C.↗
Precision guidance and control for formation flying spacecraft
The authors provide an overview of the challenges that must be overcome to fully realize the increased science returns that formations engender. The challenges are separated into six categories that span hardware, software and theory. The contribution of this paper is that it clearly delineates each category, listing detailed problems that must be solved.
guidance control formation flying↗
Alternative approaches to the modelling of the multiple pure tones
Several theories have sprung up which attempt to explain the phenomenon of the multiple pure tones. These explanations could be classified as gasdynamic and acoustic theories. The acoustic theories themselves fall into two categories: one taking into account the higher order modes and another restricted to plane waves only. Of the higher order mode theories, some are based on a finite degree of resonance and the alternative due to the author and his colleague is based on an infinite degree of resonance. It turns out that only the gasdynamic theory and the infinite degree of resonance theory explain the phenomenon as it is generally encountered. It has been shown that these two theories are essentially isomorphic. However, convention has limited both the theories in their scope. The resonance theory can explain, with advantage, effects of absorbents and suggest new techniques of suppression. The gasdynamic theory is probably better suited for source-modification studies. Together, they represent a deeper understanding of the underlying phenomena.
Vaidya, P. G.↗
Closed-Shell Polycyclic Aromatic Hydrocarbon Cations: A New Category of Interstellar Polycyclic Aromatic Hydrocarbons
Density functional theory has been employed to calculate the harmonic frequencies and intensities of a range of polycyclic aromatic hydrocarbon (PAH) cations that explore both size and electronic structure effects of the infrared spectroscopic properties of these species. The sample extends the size range of PAH species considered to more than 50 carbon atoms and includes several representatives from each of two heretofore unexplored categories of PAH cations: (1) fully benzenoid PAH cations whose carbon skeleton is composed of an odd number of carbon atoms (C(sub odd) PAHs); and (2) protonated PAH cations (HPAH+). Unlike the radical electronic structures of the PAH cations that have been the subject of previous theoretical and experimental work, the species in these two classes have a closed-shell electronic configuration. The calculated spectra of circumcoronene, C54H18 in both neutral and (radical) cationic form are also reported and compared with those of the other species. Overall, the C(sub odd) PAHs spectra are dominated by strong CC stretching modes near 1600 cm(exp -1) and display spectra that are remarkably insensitive to molecular size. The HPAH+ species evince a more complex spectrum consistent with the added contributions of aliphatic modes and their generally lower symmetry. Finally, for both classes of closed-shell cations, the intensity of the aromatic CH stretching modes is found to increase with molecular size far out of proportion with the number of CH groups, approaching a value more typical of neutral PAHs for the largest species studied.
Hudgins, Douglas M.↗
Dynamical constraints on the origin of the moon
The paper considers six different categories of models for the formation of the moon within the context of the general theory of terrestrial planet formation by accumulation of planetesimals. These categories are: (1) rotational fission, (2) precipitation fission, (3) intact capture, (4) disintegrative capture, (5) binary accretion, and (6) giant impact accretion. It appears that the only plausible mechanism proposed thus far involves the formation of the moon following a giant impact that ejects portions of the differentiated earth's mantle and parts of the impacting body into circumterrestrial orbit.
Boss, A. P.↗