Exploració per tema "Computer simulation -- Mathematical models"

Ara es mostren els items 1-2 de 2

    • AuRUS: Automated Reasoning on UML/OCL Schemas 

      Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni (Springer Verlag, 2010)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right ...

    • Computer simulations using implicit Lagrangian hydrodynamics in 3D 

      Escartín Vigo, José Antonio; García Senz, Domingo; Bravo Guil, Eduardo (2011)
      Comunicació de congrés
      Accés obert
      The method known as Smoothed Particle Hydrodynamics (SPH) is an important tool in modern numerical Astrophysics. It has been extensively used to simulate a large number of systems ranging from planets to clusters of ...