Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be in a \legacy" or \geriatric" state. Changing architectures and improvements in programming methods, including formal methods in software development and object-oriented programming , have prompted a need to reverse en...

We consider the numerical simulation of a three-dimensional two-phase incompressible flow with a viscous interface. The simulation is based on a sharp interface Navier-Stokes model and the Boussinesq-Scriven constitutive law for the interface viscous stress tensor. In the recent paper [Soft Matter 7, 7797–7804, 2011] a model problem with a spherical droplet in a Stokes Poiseuille flow with a Bo...

We consider a stationary two-phase Stefan problem with convection. The problem is governed by a coupled system involving a nonlinear Darcy law and the energy balance equation with second member in L 1. We prove existence of at least one weak solution of the problem, using the penalty method and the Schauder xed point principle.

We consider in this paper numerical approximations of two-phase incompressible flows with different densities and viscosities. We present a variational derivation for a thermodynamically consistent phase-field model that admits an energy law. Two decoupled time discretization schemes for the coupled nonlinear phase-field model are constructed and shown to be energy stable. Numerical experiments...

The problem of robustly, asymptotically stabilizing a point (or a set) with two output-feedback hybrid controllers is considered. These control laws may have different objectives, e.g., the closed-loop systems resulting with each controller may have different attractors. We provide a control algorithm that combines the two hybrid controllers to accomplish the stabilization task. The algorithm c...

We address the properties of nonlinear multipole modes supported by an interface between two distinct optical lattices imprinted in two-dimensional nonlinear quadratic media. Such multipole-mode solitons feature out of phase between neighboring lobes, which may be located in two different sides of the lattices. We analyze the impact of guiding parameters of lattices on the existence and stabili...

The refrigeration cycle with the thro~tling device has moe work power consumption and less refrigeration capacity than tha~ with the expander. It is S':Jggested that substituting the expander for the throttling device in the refrigeration cycle should be the efficient way for saving the energy of the refrigeration system. Up to now, the design and ~anufacturing of the two-phase expander seems t...

We describe a hierarchy of methods, models, and calculation techniques that support the design of reactive distillation columns. The models require increasingly sophisticated data needs as the hierarchy is implemented. The approach is illustrated for the production of methyl acetate because of its commercial importance, and because of the availability of adequate published data for comparison. ...

A two-phase evaluation scheme is proposed for XML retrieval. In the first phase, a modified vector space model is employed to obtain similarity scores for the textual nodes of XML trees. In the second stage, the scores are propagated upward in the XML trees, with scores of the textual nodes being modified and scores of other nodes being generated. As a result, while a vector space ranking is us...