Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: A computerized method of identifying a deployment of a plurality of hydraulic sensors in a liquid distribution network, optionally according to leakage detection performance.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: A computer-implemented method for verifying a design includes converting test specifications of the design into a set of constraints defined over variables, such that solutions that satisfy the set of constraints define respective valid test cases for verifying the design. An objective function is defined over at least some of the variables. 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.