The computational analysis of partial sheet hydrofoil cavitation in two dimensions is performed. Particular attention is given to the method of simulating the flow at the end of the cavity. A fixed-length partially cavitating panel method is used to predict the height of the re-entrant jet, using the values of the cavitation number and the drag coefficient. The jet surface is subsequently const...

High-volume, multistage continuous production flow through a re-entrant factory is modeled through a conservation law for a continuous-density variable on a continuous-production line augmented by a state equation for the speed of the production along the production line. The resulting nonlinear, nonlocal hyperbolic conservation law allows fast and accurate simulations. Little’s law is built in...

We are interested in object-oriented programming methodologies that enable static verification of object-invariants. Reasoning soundly and effectively about the consistency of objects is still one of the main stumbling blocks to pushing object-oriented program verification into the mainstream. More precisely, any sound methodology must be able to guarantee that the invariant of the receiver obj...