Exploració per tema "Computer simulation -- Mathematical models"
Ara es mostren els items 1-2 de 2
-
AuRUS: Automated Reasoning on UML/OCL Schemas
(Springer Verlag, 2010)
Comunicació de congrés
Accés restringit per política de l'editorialTo 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
(2011)
Comunicació de congrés
Accés obertThe 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 ...