Search NASA⌕ Search

SEARCH · Search NASA

Results for “network interface”

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.

At least 1,243 records · Page 69

Electric Aircraft Thermal Management Using a Two-Phase Heat Transport System with Solid-State Thermal Switching Capability

Advanced Cooling Technologies, Inc. (ACT) is collaborating with NASA Glenn Research Center (GRC) to develop a heat pipe-based thermal delivery system to efficiently manage the waste heat generated onboard an electric aircraft. The heat pipe system will interface with NASA GRC’s thermoacoustic heat pump in order to recycle waste heat by transporting thermal energy to various end users onboard the aircraft. This paper discusses the layout of theoretical heat pipe networks for a MW-class commercial electric aircraft. This is followed by a discussion of progress made on the development of a novel two-phase heat transport system with solid-state thermal switching and control capabilities.

Exergy↗

Adaptive-Sweep Algorithm for Spacecraft Carrier Acquisition and Tracking: System Analysis and Implementation

This paper presents an adaptive-sweep algorithm that can be used in conjunction with a Phased-Lock Loop to acquire and track the carrier of a Binary Phase-shift Keying signal with residual carrier. This algorithm is useful in proximity links where no Doppler pre-compensation is available at the transmitter, and allows the receiver to acquire the incoming carrier even if the experienced Doppler shift is several orders of magnitude larger than the PLL bandwidth. Other applications for this algorithm include Multiple Uplink per Antenna at the Deep Space Network, and generation of observables (Doppler shift, Doppler rate, range rate) for in-situ navigation purposes. This paper enhances a previously presented adaptive-sweep algorithm and its performance analysis in two fronts. First, the algorithm now uses the direction function to automatically estimate the required frequency jump to achieve PLL lock. This enables a fully adaptive-sweep scheme in which system implementer does not need to manually select thresholds. On the other hand, we study the system performance in the presence of Additive White Gaussian Noise and derive necessary conditions for the system to operate at low signal-to-noise conditions. This allows us to create design rules that specify all parameters of the algorithm given a set of system-level requirements. To test the performance of the proposed algorithm, we implement it in GNU Radio, an open-source Software-Defined Radio that interfaces with several commercial radio peripherals. We use this implementation to demonstrate carrier lock and quantify system performance under different noise conditions. We also test the algorithm using open-loop recordings of two downlinks between the Lunar Reconnaissance Orbiter and the Deep Space Network. We show that even after large frequency jumps (tens of kHz), the proposed system is able to rapidly reacquire the carrier and continue operation.

Divsalar, Dariush↗

Harmonic Modeling, Data Generation and Analysis of Power Electronics-Interfaced Residential Loads

The share of electronics-based residential load is expected to rise as devices such as variable frequency drives (VFDs), electric vehicle chargers, and inverter-based distributed energy resources (DERs), e.g., photovoltaic (PV) systems become more common. These loads may introduce significant harmonics into power networks that need to be closely studied in order to perform accurate load modeling and forecasting. However, it can be difficult to obtain harmonic-rich voltage and current data - necessary for identifying accurate load models - for residential electrical loads. Recognizing this need, we identify and model a set of electronics-based end-use loads and DERs in an electromagnetic transients program (EMTP) tool for a residence with a single- phase split-phase supply. Further, a procedure is developed to model harmonic interactions between end-use loads connected to the same non-ideal supply voltage in a residential setting. Finally, a harmonic-rich dataset produced via the proposed procedure is utilized to identify frequency coupling matrix (FCM) based load model. Numerical results demonstrate the accuracy of the model, and explore model identifiability with limited data points.

harmonics, power quality, load modeling↗

Evolving efforts to maintain and improve XPS analysis quality in an era of increasingly diverse uses and users

Based on literature analysis, X-ray photoelectron spectroscopy (XPS) use continues to increase exponentially. This increased use is accompanied by anecdotal reports and systematic analyses indicating a growing presence of significantly flawed data analyses. Recognition of this problem within the surface analysis community has increased with an understanding that both inexperienced users and increased use of XPS outside the surface analysis community contribute to the problem. The XPS community has initiated several efforts to help address the problem, which is not unique to XPS. This paper describes some of the specific problems identified and some of the community efforts intended to address them. Here, we describe activities focused on three specific issues: (i) requests for detailed guides and protocols and bite-sized versions of information for non-experts, (ii) incomplete data and analysis reporting, and (iii) the high rate of peak fitting problems. A 2019 survey identified the need for guides, protocols, and standards to assist XPS users. One set of such guides has been published, and another is being assembled. Providing incremental bites of useful information is the goal of a series of papers on specific challenges to surface analysis with example solutions has been initiated as Notes and Insights papers in Surface and Interface Analysis. Examination of XPS-containing papers finds that information to establish the credibility and reproducibility of XPS results is often very incomplete. Unfortunately, ISO and ASTM standards require an amount of parameter reporting that seems excessive and unrealistic for many research publications. Initial approaches to develop and distribute a graded approach to parameter reporting are briefly described. Multiple efforts are underway to address the high rate of problems associated with photoelectron peak fitting. These include guides to peak fitting, guides to peak identification and fitting for specific elements, and the development of a peak fitting social network. The fitting social network is designed to facilitate interactions between new and experienced XPS users; analysts trying to fit XPS data (for publication or other reasons) can ask questions and establish dynamic conversations. Encouraging and enabling high-quality XPS analysis and reporting requires several different types of effort from all members of the surface and interface analysis community.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Using EMG to anticipate head motion for virtual-environment applications

In virtual environment (VE) applications, where virtual objects are presented in a see-through head-mounted display, virtual images must be continuously stabilized in space in response to user's head motion. Time delays in head-motion compensation cause virtual objects to "swim" around instead of being stable in space which results in misalignment errors when overlaying virtual and real objects. Visual update delays are a critical technical obstacle for implementing head-mounted displays in applications such as battlefield simulation/training, telerobotics, and telemedicine. Head motion is currently measurable by a head-mounted 6-degrees-of-freedom inertial measurement unit. However, even given this information, overall VE-system latencies cannot be reduced under about 25 ms. We present a novel approach to eliminating latencies, which is premised on the fact that myoelectric signals from a muscle precede its exertion of force, thereby limb or head acceleration. We thus suggest utilizing neck-muscles' myoelectric signals to anticipate head motion. We trained a neural network to map such signals onto equivalent time-advanced inertial outputs. The resulting network can achieve time advances of up to 70 ms.

Clinical Trial↗

Deciphering the Cofilin Oligomers via Intermolecular Disulfide Bond Formation: A Coarse-Grained Molecular Dynamics Approach to Understanding Cofilin’s Regulation on Actin Filaments

Cofilin, a key actin-binding protein, orchestrates the dynamics of the actomyosin network through its actin-severing activity and by promoting the recycling of actin monomers. Recent experimental work suggests that cofilin also forms functionally distinct oligomers through thiol post-translational modification (PTM) that encourages actin nucleation and assembly. Despite these advances, the structural conformations of cofilin oligomers that modulate actin activity remain elusive because there are combinatorial ways to oxidize thiols in cysteines to form disulfide bonds rapidly. This study employs molecular dynamics simulations to investigate human cofilin 1 as a case study for exploring cofilin dimers via disulfide bond formation. Using the free energy profiling, our simulations unveil a range of probable cofilin dimer structures not represented in current Protein Data Bank entries. These candidate dimers are characterized by their distinct population distributions and relative free energies. Of particular note is a dimer featuring an interface between cysteines 139 and 147 residues, which demonstrates stable free energy characteristics and intriguingly symmetrical geometry. In contrast, the experimentally proposed dimer structure exhibits a less stable free energy profile. Here, we also evaluate frustration quantification based on the energy landscape theory in the protein-protein interactions at the dimer interfaces. Notably, the 39-39 dimer configuration emerges as a promising candidate for forming cofilin tetramers, as substantiated by frustration analysis. Additionally, docking simulations with actin filaments further evaluate the stability of these cofilin dimer-actin complexes. Our findings thus offer a computational framework for understanding the role of thiol post-translational modification cofilin proteins in regulating oligomerization, and the subsequent cofilin-mediated actin dynamics in the actomyosin network.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A Self-Healing, Flowable, Yet Solid Electrolyte Suppresses Li-Metal Morphological Instabilities

In this article, lithium metal (Li 0 ) solid-state batteries encounter implementation challenges due to dendrite formation, side reactions, and movement of the electrode–electrolyte interface in cycling. Notably, voids and cracks formed during battery fabrication/operation are hot spots for failure. Here, a self-healing, flowable yet solid electrolyte composed of mobile ceramic crystals embedded in a reconfigurable polymer network is reported. This electrolyte can auto-repair voids and cracks through a two-step self-healing process that occurs at a fast rate of 5.6 µm h -1 . A dynamical phase diagram is generated, showing the material can switch between liquid and solid forms in response to external strain rates. The flowability of the electrolyte allows it to accommodate the electrode volume change during Li 0 stripping. Simultaneously, the electrolyte maintains a solid form with high tensile strength (0.28 MPa), facilitating the regulation of mossy Li 0 deposition. The chemistries and kinetics are studied by operando synchrotron X-ray and in situ transmission electron microscopy (TEM). Solid-state NMR reveals a dual-phase ion conduction pathway and rapid Li + diffusion through the stable polymer-ceramic interphase. This designed electrolyte exhibits extended cycling life in Li 0 –Li 0 cells, reaching 12 000 h at 0.2 mA cm -2 and 5000 h at 0.5 mA cm -2 . Furthermore, owing to its high critical current density of 9 mA cm -2 , the Li 0 –LiNi 0.8 Mn 0.1 Co 0.1 O 2 (NMC811) full cell demonstrates stable cycling at 5 mA cm -2 for 1100 cycles, retaining 88% of its capacity, even under near-zero stack pressure conditions.

25 ENERGY STORAGE↗

Dual-function lignin monomers enable high-performance graphene electrodes via interface confinement and proton transfer enhancement

Graphene oxide (GO)-based energy storage faces dual bottlenecks: unsustainable reduction methods and sluggish proton transfer kinetics. Here, we introduce a groundbreaking green strategy using lignin-derived vanillyl alcohol (VA) as a dual-function monomer to simultaneously address these challenges. By thermally annealing GO/VA films at mild temperatures (<100 °C), VA triggers an interface-confined reduction of GO while self-polymerizing into redox-active oligomers (P-VA) that intercalate between graphene layers. This dual role-reducing agent and proton highway enables a 3D conductive network with minimized graphene restacking, abundant redox sites, and rapid H + transport pathways. Density Functional Theory (DFT) reveals how P-VA optimizes proton dynamics, while the resulting rGO-P-VA4-T90 electrode achieves a record volumetric capacitance of 311.1F/cm 3 (777.8F/cm 2 ) and retains 87.8 % capacity after 10,000 cycles. Flexible solid-state supercapacitors deliver 94.2 μWh/cm 2 energy density at 63.8 μW/cm 2 , rivaling state-of-the-art devices. Furthermore, this work redefines sustainable graphene engineering, merging biomass valorization with high-performance energy storage in a scalable, eco-friendly paradigm.

Graphene oxide reduction↗

Portable programming on parallel/networked computers using the Application Portable Parallel Library (APPL)

The Application Portable Parallel Library (APPL) is a subroutine-based library of communication primitives that is callable from applications written in FORTRAN or C. APPL provides a consistent programmer interface to a variety of distributed and shared-memory multiprocessor MIMD machines. The objective of APPL is to minimize the effort required to move parallel applications from one machine to another, or to a network of homogeneous machines. APPL encompasses many of the message-passing primitives that are currently available on commercial multiprocessor systems. This paper describes APPL (version 2.3.1) and its usage, reports the status of the APPL project, and indicates possible directions for the future. Several applications using APPL are discussed, as well as performance and overhead results.

Quealy, Angela↗

Advanced information processing system: Hosting of advanced guidance, navigation and control algorithms on AIPS using ASTER

This program demonstrated the integration of a number of technologies that can increase the availability and reliability of launch vehicles while lowering costs. Availability is increased with an advanced guidance algorithm that adapts trajectories in real-time. Reliability is increased with fault-tolerant computers and communication protocols. Costs are reduced by automatically generating code and documentation. This program was realized through the cooperative efforts of academia, industry, and government. The NASA-LaRC coordinated the effort, while Draper performed the integration. Georgia Institute of Technology supplied a weak Hamiltonian finite element method for optimal control problems. Martin Marietta used MATLAB to apply this method to a launch vehicle (FENOC). Draper supplied the fault-tolerant computing and software automation technology. The fault-tolerant technology includes sequential and parallel fault-tolerant processors (FTP & FTPP) and authentication protocols (AP) for communication. Fault-tolerant technology was incrementally incorporated. Development culminated with a heterogeneous network of workstations and fault-tolerant computers using AP. Draper's software automation system, ASTER, was used to specify a static guidance system based on FENOC, navigation, flight control (GN&C), models, and the interface to a user interface for mission control. ASTER generated Ada code for GN&C and C code for models. An algebraic transform engine (ATE) was developed to automatically translate MATLAB scripts into ASTER.

Brenner, Richard↗

Multiobjective optimization of hybrid regenerative life support technologies. Topic D: Technology Assessment

We developed simple mathematical models for many of the technologies constituting the water reclamation system in a space station. These models were employed for subsystem optimization and for the evaluation of the performance of individual water reclamation technologies, by quantifying their operational 'cost' as a linear function of weight, volume, and power consumption. Then we performed preliminary investigations on the performance improvements attainable by simple hybrid systems involving parallel combinations of technologies. We are developing a software tool for synthesizing a hybrid water recovery system (WRS) for long term space missions. As conceptual framework, we are employing the state space approach. Given a number of available technologies and the mission specifications, the state space approach would help design flowsheets featuring optimal process configurations, including those that feature stream connections in parallel, series, or recycles. We visualize this software tool to function as follows: given the mission duration, the crew size, water quality specifications, and the cost coefficients, the software will synthesize a water recovery system for the space station. It should require minimal user intervention. The following tasks need to be solved for achieving this goal: (1) formulate a problem statement that will be used to evaluate the advantages of a hybrid WRS over a single technology WBS; (2) model several WRS technologies that can be employed in the space station; (3) propose a recycling network design methodology (since the WRS synthesis task is a recycling network design problem, it is essential to employ a systematic method in synthesizing this network); (4) develop a software implementation for this design methodology, design a hybrid system using this software, and compare the resulting WRS with a base-case WRS; and (5) create a user-friendly interface for this software tool.

Manousiouthakis, Vasilios↗

Queuing Models of Tertiary Storage

Large scale scientific projects generate and use large amounts of data. For example, the NASA Earth Observation System Data and Information System (EOSDIS) project is expected to archive one petabyte per year of raw satellite data. This data is made automatically available for processing into higher level data products and for dissemination to the scientific community. Such large volumes of data can only be stored in robotic storage libraries (RSL's) for near-line access. A characteristic of RSL's is the use of a robot arm that transfers media between a storage rack and the read/write drives, thus multiplying the capacity of the system. The performance of the RSL's can be a critical limiting factor for the performance of the archive system. However, the many interacting components of an RSL make a performance analysis difficult. In addition, different RSL components can have widely varying performance characteristics. This paper describes our work to develop performance models of an RSL in isolation. Next we show how the RSL model can be incorporated into a queuing network model. We use the models to make some example performance studies of archive systems. The models described in this paper, developed for the NASA EODIS project, are implemented in C with a well defined interface. The source code, accompanying documentation, and also sample JAVA applets are available at: http://www.cis.ufl.edu/~ted/

Johnson, Theodore↗

NASA Langley WINN System Operational Assessment

An operational assessment of the NASA Langley Weather Information Network (WINN) System is presented. The objectives of this program include: 1) Determine if near real-time weather information presented on the flight deck improves pilot situational awareness of weather; and 2) Identify pilot interface issues related to the use of WINN system during test flights. This paper is in viewgraph form.

Jonsson, Jon↗

Distributed-Memory Computing With the Langley Aerothermodynamic Upwind Relaxation Algorithm (LAURA)

The Langley Aerothermodynamic Upwind Relaxation Algorithm (LAURA), a Navier-Stokes solver, has been modified for use in a parallel, distributed-memory environment using the Message-Passing Interface (MPI) standard. A standard domain decomposition strategy is used in which the computational domain is divided into subdomains with each subdomain assigned to a processor. Performance is examined on dedicated parallel machines and a network of desktop workstations. The effect of domain decomposition and frequency of boundary updates on performance and convergence is also examined for several realistic configurations and conditions typical of large-scale computational fluid dynamic analysis.

Riley, Christopher J.↗

Implementation of a Hybrid Edge Node-Centroid Node Approach for the Generation of Reduced Thermal Models

Reduced thermal models are often required for delivery to organizations that manage models at the highest levels of assembly. The effort to generate/verify these models against their detailed counterparts is a challenge not yet conclusively solved. Higher level organizations often place a limit on the node count for delivered models, assuming smaller models result in faster computation. The burden of producing and verifying the accuracy of reduced models is primarily on the lower-level organizations, which consumes resources to produce these models. Limiting the number of allowable nodes may prevent users from taking full advantage of software capabilities that allow for faster generation of models, such as finite elements, which require more nodes than centroid based models. A methodology using Thermal Desktop was described in 2010 using: (1) finite elements and edge nodes for the conduction matrix, (2) centroid nodes for capacitance and radiative computations, and (3) the super network feature to produce a conduction matrix based only on the centroid nodes. While the methodology was clear, the implementation would have had to be done manually; with the inclusion of the OpenTD Application Programming Interface, this methodology can now be implemented programmatically and be a viable approach for the generation of reduced models. The approach was implemented at NASA-Goddard for the Capture-Containment-and-Return-System (CCRS) payload, resulting in the TCYEE tool. CCRS requires delivery with node limitations through the European Space Agency to its contractors. TCYEE generated the reduced model for delivery and the predictions compared favorably to the detailed model. Furthermore, TCYEE is being explored for potential use on the Roman Space Telescope (RST) for the generation of reduced models for delivery to the launch provider, which also has node limit requirements. This paper describes the methodology, implementation, and the performance of reduced models compared to their detailed counterparts.

Computer Programming and Software↗

Generating An Advanced Cross-section Library For HTGR Pebble Bed Depletion Calculations Using Reduced-Order Model Generation Techniques

For code development, Advanced Reactor Technologies - Gas Cooled Reactors Program (ART-GCR) rely on a collaboration with the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program, but the cross sections generation and the methodology definition is part of this program area goals. Based on previous studies in FY23, the size of microscopic cross section libraries increases rapidly with the number of tabulations, requiring significant amount of memory and drastically slowing down the Griffin calculations when evaluating cross sections via the multivariate linear interpolation approach. Rising to these challenges, this work investigates constructing Reduced-order Models (ROMs) for the multi-group microscopic cross sections to accelerate the cross section evaluation in Griffin. A database of multigroup cross sections is first collected considering all possible parameters that a designer could change for optimization. Down-selection of the ROM techniques afterward shows Deep Neural Network (DNN) as the best candidate when jointly consider memory efficiency, predictive accuracy, computational cost, scalability, flexibility and ease of implementation of the algorithms in comparison to the multidimensional interpolation. This work develops a specific interface that enables the cross section predictions using pre-trained DNN models into Griffin leveraging the existing ROM capabilities. DNNs have been trained for all isotopes for use in Griffin. Preliminary Griffin testing shows that DNNs exhibit exceptional predictive accuracy and the use of DNNs provides orders of magnitude improvement in memory efficiency compared to conventional interpolation techniques. With such ROM techniques, it holds great promise to further increase the fidelity of the Pebble Bed Reactor (PBR) simulation by increasing the number of tabulations/state variables during cross section evaluation, while maintaining the computational cost affordable in Griffin.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

The Solar-Stellar Connection (NAG5-6124: SOHO Guest Investigator Program)

The following is a final report from the SOHO Guest Investigator program to use the SUMER far-UV spectrometer to obtain imaging spectroscopy in support of the goals of the so-called "solar-stellar connection." In particular, a major emphasis was utilization of the long-slit time-resolved maps of the solar surface in bright far-UV emission lines to deduce how particular aspects of the temporally and spatially averaged line profiles trace back to individual structural features of the magnetically disturbed outer atmosphere; to help interpret the unresolved line profiles from high quality stellar observations (say, with the Space Telescope Imaging Spectrograph). The researchers served two tours of duty in the SOHO Operations Center as SUMER planners, during which time we conducted an extensive series of observing programs. These can be divided into three general categories: surface mapping, translimb spectroscopy, and active region diagnostics. We have analyzed some of the large volumes of data to the point where we have presented them in poster papers, and in invited papers at national and international meetings. Listed below are the titles of the preliminary publications we have written, including brief abstracts to indicate the main results. (1) Chromospheric structure and Dynamics-- Observations -- The chromosphere is a highly structured dynamic 'layer' of the solar outer atmosphere. Here, not only are the effects of mechanical heating first evident (moving upward in altitude from the deep photosphere), but also the amount of nonradiative energy deposited is far greater than in the albeit much hotter overlying transition region and corona. Further, the chromosphere is by far the thickest zone of the solar atmosphere with respect to the pressure scale height. A major goal of stellar astrophysics is to understand how the chromosphere is heated and why it adopts its peculiar structure. A cursory examination of solar filtergrams and high-resolution movies demonstrates that much of the chromospheric "action" must be occurring on fine spatial scales and short times; particularly in the cell interior transient brightenings, but also in the longer-lived network fragments. That regime of investigation is far removed from what one usually associates with "synoptic" measurements. Nevertheless, synoptic observations of chromospheric indices, filtergrams, and globally-averaged profile parameters not only can provide important insight concerning the crucial role of the cycle-variable part of the solar magnetic field; but they also can forge a key link with analogous measurements of the stars, where often the phenomena can be significantly exaggerated from the solar case, but high spatial resolution reconnaissance is not even a remote possibility. In addition to discussing the synoptic aspects of chromospheric structure and dynamics, I summarized new insights into the general problem of the solar chromosphere that have been obtained recently with the SUMER far-ultraviolet spectrometer on SOHO. (2) CO and the Temperature Structure of the Solar Atmosphere -- The surface layers of the Sun provide a crucial boundary condition for many of the processes that occur in the deep interior. The stratification of the outer solar atmosphere once was thought to be well understood. However, studies of thermally sensitive molecular absorptions in the infrared revealed puzzling anomalies. Strong lines of the CO fundamental vibration-rotation bands near 5 microns showed very cool temperatures at the extreme limb, and remarkable off-limb emissions extending well into the supposedly hot chromosphere. The conflicting pictures of the photosphere/chromosphere interface, from the widely separated wavelength regimes, has raised suspicions that those "layers" of the atmosphere are much more inhomogeneous than previously suspected. One proposal is that the low chromosphere is dominated by cool gas, the "COmosphere," which is threaded by a network of persistent small-scale hot magnetic filaments and occasionally disrupted by localized acoustic disturbances. The COmosphere is capped by the merged fields of the network elements in the chromospheric "canopy." (3) Translimb Spectroscopy with SOHO/SUMER -- We have used SUMER to obtain deep exposures of the 1300-1400 A spectrum, at the extreme limb and off-limb. Previous "translimb" studies in the thermal infrared had revealed remarkable extensions of cold material (T is approximately equal to 3000 K)-traced by carbon monoxide emission lines-into the heart of the hot chromosphere. A main objective of our program was to search for corresponding far-UV signatures of the "thermally-bifurcated" low chromosphere; for example, radiatively fluoresced emissions of the CO A-X 4th-positive system (collisional excitation would be negligible in cold gas). We conducted two separate observing programs with SUMER. Both made use of the 1 inch-diameter circular aperture, translated across the limb in the minimum motor step increments of 0."375, along the central meridian in the Northern polar coronal hole. The first program executed for nine hours beginning 19UT 25 Oct 1996. The full wavelength range was 1340-1400 A. It was recorded in two overlapping segments, placing key regions of the spectrum alternately on the KBr and bare parts of the detector, to help isolate 2nd-order features. Each segment was integrated for 500 s, and 32 pairs were obtained to span a 12" swath centered on the optical limb. The second program was conducted 00-09UT 01 Dec 1996. It consisted of a single wavelength setting (1300-1340 A) with exposure time 500 s, but twice the spatial coverage of the earlier series: 64 steps, for a total displacement of 24". The strong chromospheric resonance lines of atomic oxygen (1302-1305 A) and ionized carbon (1334-1335 A) were observed on the bare part of the MCP camera.

Ayres, Thomas R.↗

A Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

This report presents a self-stabilizing distributed clock synchronization protocol in the absence of faults in the system. It is focused on the distributed clock synchronization of an arbitrary, non-partitioned digraph ranging from fully connected to 1-connected networks of nodes while allowing for differences in the network elements. This protocol does not rely on assumptions about the initial state of the system, other than the presence of at least one node, and no central clock or a centrally generated signal, pulse, or message is used. Nodes are anonymous, i.e., they do not have unique identities. There is no theoretical limit on the maximum number of participating nodes. The only constraint on the behavior of the node is that the interactions with other nodes are restricted to defined links and interfaces. We present an outline of a deductive proof of the correctness of the protocol. A model of the protocol was mechanically verified using the Symbolic Model Verifier (SMV) for a variety of topologies. Results of the mechanical proof of the correctness of the protocol are provided. The model checking results have verified the correctness of the protocol as they apply to the networks with unidirectional and bidirectional links. In addition, the results confirm the claims of determinism and linear convergence. As a result, we conjecture that the protocol solves the general case of this problem. We also present several variations of the protocol and discuss that this synchronization protocol is indeed an emergent system.

Malekpour, Mahyar R.↗