The evolution from object-oriented systems to component-oriented systems is the state of the art. We propose a formal approach to deene what component is and how it is used. Our aim is to provide formal notations and a set of theories for component-based systems. This paper presents an approach to a formal model for Component-Based Systems (CBSs) based on comparative studies of two standard com...

Evacuation Simulation is recognised as an important tool for assessing design choices for urban areas. Although a number of approaches have been introduced, it is widely acceptable that such simulation scenarios demand modelling of emotional aspects of evacuees, and how these affect their behaviour. The present work, proposes that formal agent modelling based on eX-machines can rigorously defin...

This paper is about modelling dynamic dependencies of components as required in dynamic environments. We sketch a formal model for describing the dependencies of software components on hardware and other software components. In a unified way, we represent software components and hardware components with their properties. The properties can be changed during runtime. Expressions over properties ...

the frequency response analysis (fra) test has been recognized as one of the sensitive tools available for detecting electrical and mechanical faults inside power transformers. however, there is still no universally systematic interpretation technique for these tests. many research efforts have employed different statistical criteria in order to aid the interpretative capability of the fra, but...

frequency response analysis (fra) is popular technique which has been used since the last decade as a diagnostic method for transformers. however, accurate interpretation of fra measurements is still challenging. recent studies reveal that apart from winding deformation, fra data can also be influenced by moisture variation in transformer paper insulation. hence, a specific transformer’s model ...

Unlike FEM (Finite Element Method), which provides an accurate deformation of soft objects, FFD (Free Form Deformation) based methods have been widely used for a quick and responsive representation of deformable objects in real-time applications such as computer games, animations, or simulations. The FFD-AABB (Free Form Deformation Axis Aligned Bounding Box) algorithm was also suggested to addr...

Mesh deformation, which is sometimes referred to as mesh morphing in CAE, is useful for providing various shapes of meshes for CAE tools. This paper proposes a new framework for interactively and consistently deforming assembly models of sheet structure for mechanical parts. This framework is based on a surface-based deformation, which calculates the vertex positions so that the mean curvature ...

Because the quality assessment of Persistent Scatterers (PS) is dependent on the deformation model chosen, PS may be falsely rejected due to model imperfections. To accept these PS, more advanced deformation models should be used. However, the decreased rank of the estimation problem increases the chance of unwrapping errors. Therefore, advanced deformation models should only be applied when ne...

unlike the classical deformation analysis of the earth crust, which derives the planar and vertical strains separately, in this study, we have offered a method for 3-d deformation study based on intrinsic geometry of the manifolds on the topographic surface of the earth. in this way, our method would be based on the 2-d metric tensor of horizontal deformation and 2-d curvature tensor of vertica...

We present a facial deformation system that adapts a generic facial rig into different face models. The deformation is based on labels and allows transferring specific facial features between the generic rig and face models. High quality physics-based animation is achieved by combining different deformation methods with our labeling system, which adapts muscles and skeletons from a generic rig ...