A catalogue of homeomorphically irreducible star graphs with cyclomatic number six
Catalog of homeomorphically irreducible star graphs with cyclomatic number six
SEARCH · Engineering Papers
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.
Catalog of homeomorphically irreducible star graphs with cyclomatic number six
Explore the source record for details and available documents.
With respect to irreversible, non-homeomorphic maps, contravariant and covariant tensor fields have distinctly natural covariance and transformational behavior. For thermodynamic processes which are non-adiabatic, the fact that the process cannot be represented by a homeomorphic map emphasizes the logical arrow of time, an idea which encompasses a principle of retrodictive determinism for covariant tensor fields.
Expansive mappings as generalizations of expansive homeomorphisms, proving nonexistence of expansive functions on open unit interval
Given a directed graph, a natural topology is defined and relationships between standard topological properties and graph theoretical concepts are studied. In particular, the properties of connectivity and separatedness are investigated. A metric is introduced which is shown to be related to separatedness. The topological notions of continuity and homeomorphism. A class of maps is studied which preserve both graph and topological properties. Applications involving strong maps and contractions are also presented.
Two topics in topology, the comparison of plane curves and faces on geometric models, are discussed. With regard to the first problem, a curve is defined to be a locus of points without any underlying parameterization. A metric on a class of plane curves is defined, a finite computation of this metric is given for the case of piecewise linear curves, and it is shown how to approximate curves that have bounded curvature by piecewise linear curves. In this way a bound on the distance between two curves can be computed. With regard to the second problem, the questions to be discussed are under what circumstances do geometrical faces make sense; how can they be explicity defined; and when are these geometrical faces homeomorphic to the realization of the abstract (topological) face.
An experimental telerobotics (TR) simulation is described suitable for studying human operator (HO) performance. Simple manipulator pick-and-place and tracking tasks allowed quantitative comparison of a number of calligraphic display viewing conditions. A number of control modes could be compared in this TR simulation, including displacement, rate, and acceleratory control using position and force joysticks. A homeomorphic controller turned out to be no better than joysticks; the adaptive properties of the HO can apparently permit quite good control over a variety of controller configurations and control modes. Training by optimal control example seemed helpful in preliminary experiments.
An experimental telerobotics (TR) simulation suitable for studying human operator (H.O.) performance is described. Simple manipulator pick-and-place and tracking tasks allowed quantitative comparison of a number of calligraphic display viewing conditions. A number of control modes could be compared in this TR simulation, including displacement, rate and acceleratory control using position and force joysticks. A homeomorphic controller turned out to be no better than joysticks; the adaptive properties of the H.O. can apparently permit quite good control over a variety of controller configurations and control modes. Training by optimal control example seemed helpful in preliminary experiments. An introduced communication delay was found to produce decrease in performance. In considerable part, this difficulty could be compensated for by preview control information. That neurological control of normal human movement contains a data period of 0.2 second may relate to this robustness of H.O. control to delay. The Ames-Berkeley enhanced perspective display was utilized in conjunction with an experimental helmet mounted display system (HMD) that provided stereoscopic enhanced views.
Phasic Excitation/Activation (PEA) mathematical model simulates short-term nonlinear dynamics of activation and control of muscle by nerve. Includes electronic and mechanical elements. Is homeomorphic at level of its three major building blocks, which represent motoneuron, dynamics of activation of muscle, and mechanics of muscle.
We present a controls systems model of horizontal-plane head movements during perturbations of the trunk, which for the first time interfaces a model of the human head with neural feedback controllers representing the vestibulocollic (VCR) and the cervicocollic (CCR) reflexes. This model is homeomorphic such that model structure and parameters are drawn directly from anthropomorphic, biomechanical and physiological studies. Using control theory we analyzed the system model in the time and frequency domains, simulating neck movement responses to input perturbations of the trunk. Without reflex control, the head and neck system produced a second-order underdamped response with a 5.2 dB resonant peak at 2.1 Hz. Adding the CCR component to the system dampened the response by approximately 7%. Adding the VCR component dampened head oscillations by 75%. The VCR also improved low-frequency compensation by increasing the gain and phase lag, creating a phase minimum at 0.1 Hz and a phase peak at 1.1 Hz. Combining all three components (mechanics, VCR and CCR) linearly in the head and neck system reduced the amplitude of the resonant peak to 1.1 dB and increased the resonant frequency to 2.9 Hz. The closed loop results closely fit human data, and explain quantitatively the characteristic phase peak often observed.
Topological classification of the 4-manifolds bridges computation theory and physics. A proof of the undecidability of the homeomorphy problem for 4-manifolds is outlined here in a clarifying way. It is shown that an arbitrary Turing machine with an arbitrary input can be encoded into the topology of a 4-manifold, such that the 4-manifold is homeomorphic to a certain other 4-manifold if and only if the corresponding Turing machine halts on the associated input. Physical implications are briefly discussed.