27-28, January 2018, Dubai, UAE

Accepted Papers

  • Comparing The Force Due To The Lennard-Jones Potential And The Coulomb Force
    Danilo de Almeida Barbosa1 , Fábio Pavan Piccoli2, Julio.T.A. Chacaltana3,1Octopus Dofleini: Environmental Physics/ Free-Surface Flow Laboratory(LABESUL), Federal University of Espírito Santo (UFES/ANP) 2Free-Surface Flow Laboratory (LABESUL), Federal University of Espírito Santo(UFES/FAPES) 3 Free-Surface Flow Laboratory, Federal University of Espírito Santo Av. Fernando Ferrari 514, CT-4, sl.24, Vitória, ES 29075-910, Brazil.

    Since the Smoothed Particle Hydrodynamics method was created, there was the need to use solid limit to keep the domain particles of a certain region. This boundary's treatment is usually done with the use of force derived from potential Lennard- Jones. In our paper, a new boundary treatment technique is presented. Now,we use the Coulomb force to exert a repulsive force on the border to avoid outgoing particles leave the simulation domain. To test this new technique was simulated the problem of dam break and sloshing.

  • Semantic Studies of a Synchronous Approach to Activity Recognition
    Ines SARRAY1, Annie RESSOUCHE1, Sabine MOISAN1, Jean-Paul RIGAULT1 and Daniel GAFFE2,1Universite´ Coˆte d’Azur, INRIA, Sophia Antipolis, France2Universite´ Coˆte d’Azur, CNRS, LEAT, Sophia Antipolis, France

    Many important and critical applications such as surveillance or healthcare require some form of (human) activity recognition. Activities are usually represented by a series of actions driven and triggered by events. Recognition systems have to be real time, reactive, correct, complete, and dependable. These stringent requirements justify the use of formal methods to describe, analyze, verify, and generate effective recognition systems. Due to the large number of possible application domains, the researchers aim at building a generic recognition system. They choose the synchronous approach because it has a well-founded semantics and it ensures determinism and safe parallel composition. They propose a new language to represent activities as synchronous automata and they supply it with two complementary formal semantics. First a behavioral semantics gives a reference definition of program behavior using rewriting rules. Second, an equational semantics describes the behavior in a constructive way and can be directly implemented. This paper focuses on the description of these two semantics and their relation.

  • A Tool To Support Collaborative Requirements Elicitation Through Enhancing Shared Understanding And Simulation
    Paul Stynes1, Owen Conlan2 and Declan O’Sullivan3,1School of Computing, National College or Ireland, Dublin, Ireland,2,3School of Computer Science and Statistics, Trinity College Dublin, Dublin 2, Ireland

    Communicating an organisation's requirements in a semantically consistent and understandable manner and then reflecting the potential impact of those requirements on the IT infrastructure presents a major challenge among stakeholders. Initial research findings indicate a desire among business executives for a tool that allows them to communicate organisational changes using natural language and a simulation of the IT infrastructure that supports those changes. Building on a detailed analysis and evaluation of these findings, the innovative CRESUS tool was designed and implemented. The purpose of this research was to investigate to what extent CRESUS both aids communication in the development of a shared understanding and supports collaborative requirements elicitation to bring about organisational, and associated IT infrastructural, change. This paper presents promising results that show how such a tool can facilitate collaborative requirements elicitation through increased communication around organisational change and the IT infrastructure.