International Business Machines Corporation

Yossi Shiloach

Segev Eliezer Wasserkrug

Amir Nahir

Ofer Biran

Ofer Shir

Tirtsa Hochberg

Gil Rapaport

Michael Massin

Valdimir Lipets

Eitan Israeli

Lena Granovsky

Systems and methods for detecting leaks in a fluid distribution network are provided. In one embodiment, the method includes calculating value of non-revenue fluid. Further, the method includes receiving data corresponding to pressure from pressure sensors in the fluid distribution network and receiving data corresponding to flow from flow sensors in the fluid distribution network. Furthermore, the method includes estimating pressure values at the pressure sensors and estimating flow values at the flow sensors. The received data and estimated values of respective sensors for corresponding time periods are compared. Existence of leak in the fluid distribution network is detected if the value of non-revenue fluid is non-zero. One or more leak spots are located, if a leak is detected, by solving an optimization problem.

Leak detection in a fluid distribution network

Systems and methods for scheduling events in a virtualized computing environment are provided. In one embodiment, the method comprises scheduling one or more events in a first event queue implemented in a computing environment, in response to determining that number of events in the first event queue is greater than a first threshold value, wherein the first event queue comprises a first set of events received for purpose of scheduling, wherein said first set of events remain unscheduled; mapping the one or more events in the first event queue to one or more server resources in a virtualized computing environment; receiving a second set of events included in a second event queue, wherein one more events in the second set of event are defined as having a higher priority than one or more events in the first event queue that have or have not yet been scheduled.

Scheduling events in a virtualized computing environment based on a cost of updating scheduling times or mapping resources to the event

Methods and systems are provided for solving an optimization problem using a model expressed in a mixed integer programming (MIP) language. The problem is constrained within a space of valid solutions by a plurality of MIP variables. A skeleton set of the variables are designated as eligible for fixed value assignments. An initial solution for the problem is obtained, which forms the basis for refinement. New versions of the problem are prepared and solved iteratively by fixing a proportion of the skeleton set to their best known values, as found in a previous problem-solving iteration.

Cruncher&#x2014;an MIP solver accelerator

An optimization process is repeatedly invoked over an input, which includes the set of constraints and the objective function. The input of each invocation is randomly modified, so as to cause the optimization process to produce multiple different solutions that satisfy the set of constraints. Multiple random test cases for verifying a compliance of the design with the specifications are generated, based on the multiple different solutions produced by the optimization process.

Random test generation using an optimization solver

Growing community of inventors

Aviel, Israel

Yossi Shiloach