This paper is an overview of the finite element methods developed by the Team for Advanced Flow Simulation and Modeling (T?AFSM) [http://www.mems.rice.edu/TAFSM/] for computation of flow problems with moving boundaries and interfaces. This class of problems include those with free surfaces, two-fluid interfaces, fluid-object and fluid-structure interactions, and moving mechanical components. Th...

Software components, arising, typically, in systems’ analysis and design, are characterized by a public interface and a private encapsulated state. They persist (and evolve) in time, according to some behavioural patterns. This paper is an exercise in modeling such components as coalgebras for some kinds of endofunctors on , capturing both (interface) types and behavioural aspects. The construc...

1.1.1

In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a high-level Petri net. Scenarios are acquired in the form of sequence diagrams as defined by the Unified Modeling Language (UML), and are enriched with user interface information. These diagrams are transformed into Petr...

This paper discusses the features and applications of interface tracking techniques for modeling deroplet-based microfluidics. The paper reviews the state of the art of methods for tracking and capturing the interface. These methods are categorized as the implicit and the explicit methods. The implicit methods need to reconstruct the interface by reconnecting the markers on the interface. The i...

This paper presents a method for solving moving boundary problems associated with phase-change. This method is an explicit interface-tracking scheme that involves the reconstruction and advection of the moving interface on a fixed grid. Three distinct steps are undertaken to handle the movement of the interface: advection and reconstruction (tracking); calculation of normal velocities; and the ...