Search NASA⌕ Search

SEARCH · Search NASA

Results for “synchronization operation”

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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

Improved Signal Chains for Readout of CMOS Imagers

An improved generic design has been devised for implementing signal chains involved in readout from complementary metal oxide/semiconductor (CMOS) image sensors and for other readout integrated circuits (ICs) that perform equivalent functions. The design applies to any such IC in which output signal charges from the pixels in a given row are transferred simultaneously into sampling capacitors at the bottoms of the columns, then voltages representing individual pixel charges are read out in sequence by sequentially turning on column-selecting field-effect transistors (FETs) in synchronism with source-follower- or operational-amplifier-based amplifier circuits. The improved design affords the best features of prior source-follower-and operational- amplifier-based designs while overcoming the major limitations of those designs. The limitations can be summarized as follows: a) For a source-follower-based signal chain, the ohmic voltage drop associated with DC bias current flowing through the column-selection FET causes unacceptable voltage offset, nonlinearity, and reduced small-signal gain. b) For an operational-amplifier-based signal chain, the required bias current and the output noise increase superlinearly with size of the pixel array because of a corresponding increase in the effective capacitance of the row bus used to couple the sampled column charges to the operational amplifier. The effect of the bus capacitance is to simultaneously slow down the readout circuit and increase noise through the Miller effect.

Pain, Bedabrata↗
NASA NTRS2014

Rewriting Modulo SMT and Open System Analysis

This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze infinite-state open systems, i.e., systems that interact with a non-deterministic environment. Such systems exhibit both internal non-determinism, which is proper to the system, and external non-determinism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo SMT can be reduced to standard rewriting. Hence, rewriting modulo SMT naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. The proposed technique is illustrated with the formal analysis of: (i) a real-time system that is beyond the scope of timed-automata methods and (ii) automatic detection of reachability violations in a synchronous language developed to support autonomous spacecraft operations.

Rocha, Camilo↗
NASA NTRS1989

Performance impacts of look-ahead execution in the conversation scheme

The look-ahead execution approach, which allows participant processes that exist early to exit from a conversation before other participants finish their conversation activities, is presented here as a fundamental approach to reducing the synchronization overhead. Queuing network models are developed for systems operating under the basic conversation execution scheme and systems operating under the look-ahead execution scheme. Based on the models, various performance indicators such as the system throughput, the average number of processors idling inside a conversation due to the synchronization required, and the average time spent in conversation are evaluated numerically for different application environments. The results provide insights into the extent of benefits provided by the look-ahead execution approach.

Kim, K. H.↗
DOE OSTI2020

Stability and control of power systems with high penetrations of inverter-based resources: An accessible review of current knowledge and open questions

As power system renewable energy penetrations increase, the ways in which key renewable technologies such as wind and solar photovoltaics (PV) differ from thermal generators become more apparent. Many studies have examined the variability and uncertainty of such generators and described how generation and load can be balanced for a wide variety of annual energy penetrations, at timescales from seconds to years. Another important characteristic of these resources is asynchronicity, the result of using inverters to interface the prime energy source with the power system as opposed to synchronous generators. Unlike synchronous generators, whose frequency of alternating current (AC) injection is physically coupled to the rotation of the machine itself, inverter based asynchronous generators do not share the same physical coupling with the generated frequency. These subtle differences impact the operations of power systems developed around the characteristics of synchronous generators. In this paper we review current knowledge and open research questions concerning the interplay between asynchronous inverter-based resources (IBRs) and cycle- to second-scale power system dynamics, with a focus on how stability and control may be impacted or need to be achieved differently when there are high instantaneous penetrations of IBRs across an interconnection. This work does not seek to provide a comprehensive review of the latest developments, but is instead intended to be accessible to any reader with an engineering background and an interest in power systems and renewable energy. As such, the paper includes basic material on power electronics, control schemes for IBRs, and power system stability; and uses this background material to describe potential impacts of IBRs on power system stability, operational challenges associated with large amounts of distributed IBR generation, and modern power system simulation trends driven by IBR characteristics.

14 SOLAR ENERGY↗
NASA NTRS1990

Verifying an interactive consistency circuit: A case study in the reuse of a verification technology

The work done at ORA for NASA-LRC in the design and formal verification of a hardware implementation of a scheme for attaining interactive consistency (byzantine agreement) among four microprocessors is presented in view graph form. The microprocessors used in the design are an updated version of a formally verified 32-bit, instruction-pipelined, RISC processor, MiniCayuga. The 4-processor system, which is designed under the assumption that the clocks of all the processors are synchronized, provides software control over the interactive consistency operation. Interactive consistency computation is supported as an explicit instruction on each of the microprocessors. An identical user program executing on each of the processors decides when and on what data interactive consistency must be performed. This exercise also served as a case study to investigate the effectiveness of reusing the technology which was developed during the MiniCayuga effort for verifying synchronous hardware designs. MiniCayuga was verified using the verification system Clio which was also developed at ORA. To assist in reusing this technology, a computer-aided specification and verification tool was developed. This tool specializes Clio to synchronous hardware designs and significantly reduces the tedium involved in verifying such designs. The tool is presented and how it was used to specify and verify the interactive consistency circuit is described.

Bickford, Mark↗
DOE OSTI2022

Developing a Reduced 240-Bus WECC Dynamic Model for Frequency Response Study of High Renewable Integration

The ongoing changes in the generation resource mix, driven by the rapid adoption of inverter-based resources (IBR) as well as the early retirement of synchronous generators, are bringing new challenges to the planning and operation of bulk electric power systems. Consequently, there is an increasing need to understand, design, and quantify the reliability service provision from IBRs by performing integrated scheduling and dynamic simulations. However, test systems that have consistent scheduling and dynamic models rarely exist largely because of the decoupled nature of the two simulations on a synchronous generator-dominated system. This paper develops the dynamic model of a reduced Western Electricity Coordinating Council (WECC) system. In conjunction with the existing scheduling model, it is suitable for integrating scheduling and dynamic simulations. The reduced 240-bus WECC model reflects the generation resource mix of the Western Interconnection as of 2018. Moreover, the developed dynamic model is validated against field frequency events measured by FNET/GridEye and preserves the dominant inter-area oscillation mode in WECC.

dynamic simulation↗
NASA NTRS2024

Discovery and Synchronization Service Architectural Notes

This is a short architectural note for a critical component of safely scaling drone operations. The primary motivation for this note is to collect language and terminology around the Discovery and Synchronization Service (DSS) as it is currently implemented for Uncrewed Aircraft System (UAS) Traffic Management. The major driver for this document was frequent miscommunication about DSS. Often there have been multiple informed and invested stakeholders in the same room making statements about “multiple DSSs” and each of them meaning something slightly different.

uas traffic management↗
NASA NTRS2018

Multi-Angle Imager for Aerosols Thermal Control System

The Multi-Angle Imager for Aerosols (MAIA) Thermal Control System is a NASA funded instrument that will collect data to help characterize airborne particulate matter over a number of population centers across the globe using multi-angle spectropolarimetric imagery. The data collected by MAIA will facilitate assessments of the impacts of different types of particulate matter on adverse health outcomes. MAIA is a hosted payload meant to operate in a near-circular sun-synchronous polar orbit, with a mean altitude between 600 km and 850 km. The nominal on-orbit mission design lifetime is three years. Temperature control of the MAIA instrument is accomplished with a combination of passive radiators and heaters. The focal plane module (FPM) is cooled to ≤ 235K with a disc shaped radiator that faces the anti-sun side of the sun-synchronous orbit. The temperature of the MAIA cameras and associated electronics is controlled with a cylindrical shaped radiator that projects a near constant area in the nadir direction as the cameras rotate. A noteworthy feature of the MAIA thermal control system design is the novel, low cost, rotationally articulating thermal strap used to transfer heat from the FPMs to their associated FPM Radiator. The strap spans one of the axes of rotation, sweeping out an arc of approximately 60° as the instrument operates. A prototype of the articulating thermal strap was life tested to 260,000 cycles with no signs of significant degradation. An overview of the MAIA thermal control system baseline design is presented, with focus on its novel aspects, including life testing of the prototype articulating thermal strap. In addition, a discussion of the considerations involved in designing a thermal control system for a hosted instrument is provided.

Rosas, Rogelio↗
NASA NTRS1992

Synchronization Of Parallel Discrete Event Simulations

Adaptive, parallel, discrete-event-simulation-synchronization algorithm, Breathing Time Buckets, developed in Synchronous Parallel Environment for Emulation and Discrete Event Simulation (SPEEDES) operating system. Algorithm allows parallel simulations to process events optimistically in fluctuating time cycles that naturally adapt while simulation in progress. Combines best of optimistic and conservative synchronization strategies while avoiding major disadvantages. Algorithm processes events optimistically in time cycles adapting while simulation in progress. Well suited for modeling communication networks, for large-scale war games, for simulated flights of aircraft, for simulations of computer equipment, for mathematical modeling, for interactive engineering simulations, and for depictions of flows of information.

Steinman, Jeffrey S.↗
DOE OSTI2025

Microgrid Black Start Challenges: The Role of Grid-Forming Inverters

Grid-forming (GFM) inverters are becoming increasingly important for future power systems, particularly in establishing and restarting microgrids after blackouts. The use of GFM inverters enables microgrids to operate independently of utility power and provide key advantages over synchronous generators in black start scenarios, including rapid startup and stable voltage and frequency support for critical loads. However, inverter-driven black start introduces unique challenges and operational considerations. This article examines key challenges and solutions, emphasizing inverter design, control strategies, and microgrid system requirements. Drawing on analysis, simulation, and experimental results, this article highlights the central role of GFM inverters in ensuring reliable and resilient microgrid operations.

24 POWER TRANSMISSION AND DISTRIBUTION↗
NASA NTRS2010

Verification Challenges of Dynamic Testing of Space Flight Hardware

The Six Degree-of-Freedom Dynamic Test System (SDTS) is a test facility at the National Aeronautics and Space Administration (NASA) Johnson Space Center in Houston, Texas for performing dynamic verification of space structures and hardware. Some examples of past and current tests include the verification of on-orbit robotic inspection systems, space vehicle assembly procedures and docking/berthing systems. The facility is able to integrate a dynamic simulation of on-orbit spacecraft mating or demating using flight-like mechanical interface hardware. A force moment sensor is utilized for input to the simulation during the contact phase, thus simulating the contact dynamics. While the verification of flight hardware presents many unique challenges, one particular area of interest is with respect to the use of external measurement systems to ensure accurate feedback of dynamic contact. There are many commercial off-the-shelf (COTS) measurement systems available on the market, and the test facility measurement systems have evolved over time to include two separate COTS systems. The first system incorporates infra-red sensing cameras, while the second system employs a laser interferometer to determine position and orientation data. The specific technical challenges with the measurement systems in a large dynamic environment include changing thermal and humidity levels, operational area and measurement volume, dynamic tracking, and data synchronization. The facility is located in an expansive high-bay area that is occasionally exposed to outside temperature when large retractable doors at each end of the building are opened. The laser interferometer system, in particular, is vulnerable to the environmental changes in the building. The operational area of the test facility itself is sizeable, ranging from seven meters wide and five meters deep to as much as seven meters high. Both facility measurement systems have desirable measurement volumes and the accuracies vary within the respective volumes. In addition, because this is a dynamic facility with a moving test bed, direct line-of-sight may not be available at all times between the measurement sensors and the tracking targets. Finally, the feedback data from the active test bed along with the two external measurement systems must be synchronized to allow for data correlation. To ensure the desired accuracy and resolution of these systems, calibration of the systems must be performed regularly. New innovations in sensor technology itself are periodically incorporated into the facility s overall measurement scheme. In addressing the challenges of the measurement systems, the facility is able to provide essential position and orientation data to verify the dynamic performance of space flight hardware.

Winnitoy, Susan↗
DOE OSTI2022

Dynamically robust coordinated set point tracking of distributed DERs at point of common coupling

Low-inertia operation of small-scale power systems, such as a microgrid or a portion of a long feeder, requires careful coordination of the controller performance of the constituting devices. This challenge is exacerbated in microgrids serving the functionalities of a conventional synchronous-based generation unit while comprised of smaller DERs operating mainly interfaced through power electronics converters. This paper builds on the idea of set point modulation and proposes a two-level control strategy that aims to achieve superior performance at the point of common coupling (PCC) of microgrids by combining a local control level with a distributed and coordinated level. Several case studies on both AC and DC systems, the CIGRE low-voltage benchmark system as the AC system and a test DC microgrid, validate the performance of the proposed approach. The real-world applicability of the approach is established via a high-fidelity power hardware-in-the-loop (PHIL) experimental setup and an application case study on grid frequency regulation. The proposed approach enables a microgrid to participate in ancillary service provisions where speed and quality of regulation are critical.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2022

An Alternative Timing and Synchronization Approach for Situational Awareness and Predictive Analytics

Accurate and synchronized timing information is required by power system operators for controlling the grid infrastructure (relays, Phasor Measurement Units (PMUs), etc.) and determining asset positions. Satellite-based global positioning system (GPS) is the primary source of timing information. However, GPS disruptions today (both intentional and unintentional) can significantly compromise the reliability and security of our electric grids. A robust alternate source for accurate timing is critical to serve both as a deterrent against malicious attacks and as a redundant system in enhancing the resilience against extreme events that could disrupt the GPS network. To achieve this, we rely on the highly accurate, terrestrial atomic clock-based network for alternative timing and synchronization. In this paper, we discuss an experimental setup for an alternative timing approach. The data obtained from this experimental setup is continuously monitored and analyzed using various time deviation metrics. We also use these metrics to compute deviations of our clock with respect to the National Institute of Standards and Technologys (NIST) GPS data. The results obtained from these metric computations are elaborately discussed. Finally, we discuss the integration of the procedures involved, like real-time data ingestion, metric computation, and result visualization, in a novel microservices-based architecture for situational awareness.

Chinthavali, Supriya↗
DOE OSTI2025

Modeling and Power-Hardware-in-the-Loop Validation of Synchronous Wind: An Inverterless Grid-Forming Wind Power Plant

Grid-forming (GFM) control of Type-3 and Type-4 wind turbine generators (WTGs) has attracted substantial attention in power systems research; however, the limited overcurrent capability of power electronics converters continues to deteriorate the grid strength of the evolving power systems. Synchronous wind, also known as a Type-5 WTG, offers a unique GFM solution to address grid integration and grid strength issues by keeping the grid largely synchronous at very high integration levels of renewable generation. A Type-5 WTG interfaces with the electric grid via a synchronous generator driven by a variable-speed hydraulic torque converter; hence, the wind rotor operates in variable-speed mode for maximum power generation, and the generator shaft remains synchronous to the grid. This paper develops and tests a high-fidelity model of a Type-5 WTG in a power-hardware-in-the-loop (PHIL) testing environment. The PHIL demonstration shows that a Type-5 WTG inherently behaves as a GFM unit and can obtain similar performance in terms of power responses, wind rotor dynamics, and efficiency compared to a Type-3 WTG in high-wind conditions. The developed model provides further insight into how Type-5 WTGs can benefit the smooth transition to power systems with high integration levels of inverter-based resources.

grid strength↗
NASA NTRS2011

Numerical Studies of an Array of Fluidic Diverter Actuators for Flow Control

In this paper, we study the effect of boundary conditions on the behavior of an array of uniformly-spaced fluidic diverters with an ultimate goal to passively control their output phase. This understanding will aid in the development of advanced designs of actuators for flow control applications in turbomachinery. Computations show that a potential design is capable of generating synchronous outputs for various inlet boundary conditions if the flow inside the array is initiated from quiescence. However, when the array operation is originally asynchronous, several approaches investigated numerically demonstrate that re-synchronization of the actuators in the array is not practical since it is very sensitive to asymmetric perturbations and imperfections. Experimental verification of the insights obtained from the present study is currently being pursued.

Gokoglu, Suleyman A.↗
DOE OSTI2024

Modeling and Power-Hardware-in-the-Loop Validation of Synchronous Wind: An Inverterless Grid-Forming Wind Power Plant: Preprint

Grid-forming (GFM) control of Type-3 and Type-4 wind turbine generators has attracted substantial attention in power systems research; however, the limited over-current capability of power electronics converters continues to deteriorate the grid strength of the evolving power systems. Synchronous wind, also known as Type-5 wind turbine generator (WTG), offers a unique GFM solution to address grid integration and grid strength issues by keeping the grid largely synchronous at very high penetration levels of renewable generation. A Type-5 WTG interfaces to the electric grid via a synchronous generator (SG) driven by a variable-speed hydraulic torque converter; hence, the wind rotor operates in variable-speed mode for maximum power generation and the generator shaft remains synchronous to the grid. This paper developed and tested a high-fidelity model of Type-5 WTG under power-hardware-in-the-loop (PHIL) testing environment. The PHIL demonstration showed that a Type-5 WTGs inherently behaves as a GFM unit and can obtain similar performance in terms of power responses, wind rotor dynamics, and efficiency compared to Type-3 WTG in high wind conditions. The developed model also provides further insight on how Type-5 WTGs can benefit the smooth transition to power systems with high integration level of inverter-based resources.

grid strength↗
NASA NTRS1986

Virtual time and time warp on the JPL hypercube

This paper describes the concept of virtual time and its implementation in the Time Warp Operating System at the Jet Propulsion Laboratory. Virtual time is a distributed synchronization paradigm that is appropriate for distributed simulation, database concurrency control, real time systems, and coordination of replicated processes. The Time Warp Operating System is targeted toward the distributed simulation application and runs on a 32-node JPL Mark II Hypercube.

Jefferson, David↗
NASA NTRS1992

Time warp operating system version 2.7 internals manual

The Time Warp Operating System (TWOS) is an implementation of the Time Warp synchronization method proposed by David Jefferson. In addition, it serves as an actual platform for running discrete event simulations. The code comprising TWOS can be divided into several different sections. TWOS typically relies on an existing operating system to furnish some very basic services. This existing operating system is referred to as the Base OS. The existing operating system varies depending on the hardware TWOS is running on. It is Unix on the Sun workstations, Chrysalis or Mach on the Butterfly, and Mercury on the Mark 3 Hypercube. The base OS could be an entirely new operating system, written to meet the special needs of TWOS, but, to this point, existing systems have been used instead. The base OS's used for TWOS on various platforms are not discussed in detail in this manual, as they are well covered in their own manuals. Appendix G discusses the interface between one such OS, Mach, and TWOS.

Source record↗