NSRD definition

NSRD means the date of the next scheduled meter reading.
View Source
NSRD means the date of the next scheduled meter reading. “OTTER” means the office of the Director of Gas.
View Source

Examples of NSRD in a sentence

  • We thus obtain weakest fixed-point operators µR and µN for the two theories, which we will further explore in Section A.4. Since SRD and NSRD are also continuous, by Theorem 2.1 we can rewrite the weakest fixed-points to µ X F (SRD(X )) and µ X F (NSRD(X )), respectively.

  • This work was also supported by U.S. DOE funding from the SRNL Laboratory Directed Research and Development (LDRD) Program, the National Nuclear Security Administrations’ Nuclear Safety Research and Development (NSR&D), and Office of Defense Nuclear Nonproliferation Research and Development—NA-22 (Grant No. DE-FG52- 05NA27035) Programs.

  • Then, following a similar proof to Theorem A.11, we can show that Circus actions are indeed NSRD healthy.

  • Consequently, SKIP ; IIR = SKIP, and thus by associativity of ; it follows that P is NSRD.

  • We will show that these UTP theories are all subsets of NSRD, and thus all the laws we have proved so far are applicable.

  • If P is R and CSP1-CSP4 healthy, then P is NSRD healthy − − Proof.

  • SRD and NSRD healthy predicates are closed a d under H, H, b , This closure theorem also means that we can import the algebraic laws for the relational calculus operators from core UTP.