Engineering Papers⌕ Search

Engineering topics

Singh, Anu

Publications and source records attributed to Singh, Anu.

3 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2016

The electronic heat capacity of YBa{sub 2}Cu{sub 3}O{sub 7−δ} superconductor

The contributions due to the point defects or disorder and anharmonicities which play deterministic role in the understanding of electronic heat capacity (EHC) of high temperature superconductors (HTS) have been investigated via electron density of states (EDOS) approach on the basis of quantum dynamical many body theory. The evaluation of EDOS has been carried out with the help of most versatile method of double time temperature dependent electron Green’s functions (GF) via a Hamiltonian (non BCS type) which includes the effects of electrons, phonons, defects, anharmonicity, and electron-phonon interactions which enables to account the effects of cubic anharmonicity besides with both the force constant changes and mass difference caused by the impurities in developing the results for EDOS and EHC. The new results reveal some striking features of EHC of HTS.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS2010

Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol

We use the UPPAAL model checker for Timed Automata to verify the Timing-Sync time-synchronization protocol for sensor networks (TPSN). The TPSN protocol seeks to provide network-wide synchronization of the distributed clocks in a sensor network. Clock-synchronization algorithms for sensor networks such as TPSN must be able to perform arithmetic on clock values to calculate clock drift and network propagation delays. They must be able to read the value of a local clock and assign it to another local clock. Such operations are not directly supported by the theory of Timed Automata. To overcome this formal-modeling obstacle, we augment the UPPAAL specification language with the integer clock derived type. Integer clocks, which are essentially integer variables that are periodically incremented by a global pulse generator, greatly facilitate the encoding of the operations required to synchronize clocks as in the TPSN protocol. With this integer-clock-based model of TPSN in hand, we use UPPAAL to verify that the protocol achieves network-wide time synchronization and is devoid of deadlock. We also use the UPPAAL Tracer tool to illustrate how integer clocks can be used to capture clock drift and resynchronization during protocol execution

Huang, Xiaowan↗