This paper presents a formal forensic technique based on information flow analysis to detect leaks in business processes models. The approach can be uniformly applied both for the analysis of process specifications and of the log files generated during processes’ execution. Specifically, the special Petri net dialect IFnet provides a common basis for the formalization of isolation properties, t...

In contrast to electronic computation, chemical computation is noisy and susceptible to a variety of sources of error, which has prevented the construction of robust complex systems. To be effective, chemical algorithms must be designed with an appropriate error model in mind. Here we consider the model of chemical reaction networks that preserve molecular count (population protocols), and ask ...

Despite all the benefits of garbage collection, memory leaks remain a problem for Java programs. A memory leak in Java occurs when a program inadvertently maintains references to objects that it no longer needs, preventing the garbage collector from reclaiming space. At best, leaks degrade performance. At worst, they cause programs to run out of memory and crash. Small continuous leaks in long-...

Two field experiments were performed to evaluate the performance of electrical resistance tomography (ERT) as a leak detection method under metal underground storage tanks (UST). This paper provides a summary of the field experiments performed under a 15 m diameter steel tank mockup located at the Hanford Reservation, Washington. Two different leak events were created. About 3800 liters of sali...

The approximately 200,000-mile fuel pipeline system in the U.S. operates at flow rates up to 2.5 x 10 gallons per hour (GPH). Most commercial technologies only provide on-line leak detection at about 0.3% of flow rate, i.e., about 7,500 GPH or larger. Detection of leaks at about 1 GPH or so is desirable both from a regulatory and leak-prevention standpoint. Brookhaven’s commercially-accepted pe...

Based on the idea of fault detection and isolation (FDI) for the distributed parameters system, a practical approach of sub-sea pipelines leak detection and location is discussed. The discrete fluid transient equation is linearized and coupled with the extended Kalman filter (EKF) to estimate system state where the only observed data were inlet and outlet flow rate and pressure. The leak estima...

Leak detection in urban water distribution networks (WDNs) is challenging given their scale, complexity, and limited instrumentation. We present a technique for leak detection in WDNs, which involves making additional flow measurements on-demand, and repeated use of water balance. Graph partitioning is used to determine the location of flow measurements, with the objective to minimize the measu...