This master’s thesis work is a part of the effort to build various error indicators or refinement criteria for the adaptive grid refinement part of the ISIS-CFD flow solver. The purpose is to develop such refinement criteria which respond to the needs of the flow solver users and are general and flexible. Three types of refinement criteria are tested for various flow and refinement conditions. ...

Some of the problems of using refinement alone in the construction of specifications from simple abstract models is used as the spur for the introduction of retrenchment, a method based on the main ideas of refinement, but one which is more liberal in character. The basics of the retrenchment mechanism are presented. The paper then examines one particular way in which a retrenchment and a refin...

Certain difficulties with the use of quadrilateral or hexahedral finite elements are related to mesh refinement and to element compatibility and quality after refinement. In this paper, special refinement elements are presented that make possible connecting two special elements to one edge of an 8-node quadrilateral element (2D). The main idea in refinement elements is to place some midside nod...

In this paper we propose a method for implementing a full structural model refinement of a (biological) model represented as a (colored) Petri net. We build on the full structural data refinement definition of C. Gratie and Petre, and the type refinement of colored Petri nets introduced by Charles Lakos. Given a (biological) reaction-based model and a desired full structural refinement of it, w...

Information flow considers whether a High-level user in a multi-level system can pass information to a Low-level user. Many information flow properties suffer from the so called refinement paradox ; i.e. a property holds for a process but does not hold in one of its refinements. Therefore, it is often desirable to consider the refinement closure of an information flow property. The refinement c...

Adequate notions of equivalence and refinement are needed to support the process of specification. Several notions thereof have been developed for process algebras, but not for more popular specification languages. We discuss semantic preconditions for the development of equivalence and refinement notions, investigate wishful properties of such notions, provide an overview of existing equivalen...

In recent years compliance has emerged as one of the big IT challenges enterprises are faced with. The management of a multitude of regulations and the complexity of current business processes are problems that need to be addressed. In this paper we present an approach based on so-called compliance templates to develop and manage compliant business processes involving different stakeholders. We...

It is known that one can improve the accuracy of the finite element solution of partial differential equation (PDE) by uniformly refining a triangulation. Similarly, one can uniformly refine a quadrangulation. Recently a refinement scheme of pentagonal partition was introduced in [4]. It is demonstrated that the numerical solution of Poisson equation based on the pentagonal refinement scheme ou...

Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary. Refinement has been studied in many formal notations such as Z and B and in differe...

In this   paper,  we   present  some  refinements  of the   famous Young  type  inequality.   As  application  of   our   result, we  obtain  some  matrix inequalities   for   the  Hilbert-Schmidt norm  and   the  trace   norm. The results    obtained   in  this  paper  can  be   viewed   as  refinement  of  the   derived  results   by  H.  Kai  [Young  type  inequalities  for matrices,  J.  Ea...