Colección Digital Complutense


MATERIA PRINCIPAL


RESULTADO


Ordenar:

4 registros encontrados (0.00 seg).

    An essay on the bite of a mad dog :with observations on John Hunter
    575 x 942 pixeles
    JPG
  • An essay on the bite of a mad dog :with observations on John Hunter's treatment of the case of master R __ and also, a recital of the successful treament ot two cases /
    Colección: Libros electrónicos UCM-Google






    [Recurso visitado 76 veces]

    Valoración:  








    Compártelo:
    • Facebook
    • Twitter


  • Scenarios-based testing of systems with distributed ports
    OAI: open archives initiativeTipo de documento: artículoColección E-prints Colección: Archivo institucional e-prints complutense
    • Título de publicación: Software: Practice and Experience
    • Autor: García Merayo, Mercedes;Hierons, Robert M.;Nuñez García, Manuel
    • Resumen: Distributed systems are usually composed of several distributed components that communicate with their environment through specific ports. When testing such a system we separately observe sequences of inputs and outputs at each port rather than a global sequence and potentially cannot reconstruct the global sequence that occurred. Typically, the users
    •  
    • of such a system cannot synchronize their actions during use or testing. However, the use of the system might correspond to a sequence of scenarios, where each scenario involves a sequence of interactions with the system that, for example, achieves a particular objective. When this is the case there is the potential for a significant delay between two scenarios and this effectively allows the users of the system to synchronize between scenarios. If we represent the specification of the global system by using a state-based notation, we say that a scenario is any sequence of events that happens between two of these operations. We can encode scenarios in two different ways. The first approach consists of marking some of the states of the specification to denote these synchronization points. It transpires that there are two ways to interpret such models and these lead to two implementation relations. The second approach consists of adding a set of traces to the specification to represent the traces that correspond to scenarios. We show that these two approaches have similar expressive power by providing an encoding from marked states to sets of traces. In order to assess the appropriateness of our new framework, we show that it represents a conservative extension of previous implementation relations defined in the context of the distributed test architecture: if we consider that all the states are marked then we simply obtain ioco (the classical relation for single-port systems) while if no state is marked then we obtain dioco (our previous relation for multi-port systems). Finally, we concentrate on the study of controllable test cases, that is, test cases such that each local tester knows exactly when to apply inputs. We give two notions of controllable test cases, define an implementation relation for each of these notions and relate them. We also show how we can decide whether a test case satisfies these conditions.
    • Palabras clave: Formal testing; Systems with distributed ports; Scenarios; Implementation relations; Controllable testing; Test architecture; Synchronization; Sequences; Automata
    • Materia: Matemáticas
    • Identificador OAI: oai:www.ucm.es:15454
    • Tipo: Artículo
    • Editorial: John Wiley and Sons
    • Departamento: Fac. de CC. Matemáticas - Sección Deptal. de Sistemas Informáticos y Computación
    • ISSN: 0038-0644
    • CDU: 519.8







    [Recurso visitado 20 veces]

    Valoración:  








    Compártelo:
    • Facebook
    • Twitter


  • On the growth of filamentary structures in planar media
    OAI: open archives initiativeTipo de documento: artículoColección E-prints Colección: Archivo institucional e-prints complutense
    • Título de publicación: Mathematical Methods in the Applied Sciences
    • Autor: Andreucci, D.;Herrero García, Miguel Ángel;Velázquez, J.J. L.
    • Resumen: We analyse a mathematical model for the growth of thin filaments into a two dimensional medium. More exactly, we focus on a certain reaction/diffusion system, describing the interaction between three chemicals (an activator, an inhibitor and a growth factor), and including a fourth cell variable characterising irreversible incorporation to a
    •  
    • filament. Such a model has been shown numerically to generate structures shaped like nets. We perform an asymptotical analysis of the behaviour of solutions, in the case when the system has parameters very large and very small, thereby allowing the onset of different time and space scales. In particular, we describe the motion of the tip of a filament, and the changes in the relevant chemical species nearby.
    • Palabras clave: Biological pattern-formation; Gierer-Meinhardt system; positive solutions; capillary formation; spike; angiogenesis; uniqueness; equations; dynamics; model; reaction-diffusion systems; asymptotic behaviour of solutions; singular perturbation techniques; mathematical biology
    • Materia: Biología; Matemáticas
    • Identificador OAI: oai:www.ucm.es:17331
    • Tipo: Artículo
    • Editorial: John Wiley and Sons
    • Departamento: Fac. de CC. Matemáticas - Depto. de Matemática Aplicada
    • ISSN: 0170-4214
    • CDU: 517.956.4:539.2:51-76







    [Recurso visitado 26 veces]

    Valoración:  








    Compártelo:
    • Facebook
    • Twitter


  • Shape optimization of geotextile tubes for sandy beach protection
    OAI: open archives initiativeTipo de documento: artículoColección E-prints Colección: Archivo institucional e-prints complutense
    • Título de publicación: International Journal for Numerical Methods in Engineering
    • Autor: Azerad, Pascal;Bouchette, Frederic;Isebe, Damien;Ivorra, Benjamin;Mohammadi, Bijan
    • Resumen: This paper describes how to tackle new challenging coastal engineering problems related to beach erosion with a shape optimization approach. The method modifies the shape of the sea bottom in order to reduce beach erosion effects. Global optimization is shown to be necessary as the related functionals have several
    •  
    • local minima. We describe the physical model used, the proposed protection devices against beach erosion and real case applications.
    • Palabras clave: Shape design; Global optimization; Water wave propagation; Scattering; Coastal engineering; Beach erosion
    • Materia: Matemáticas
    • Identificador OAI: oai:www.ucm.es:14536
    • Tipo: Artículo
    • Editorial: John Wiley & Sons Ltd.
    • Departamento: Fac. de CC. Matemáticas - Depto. de Matemática Aplicada
    • ISSN: 0029-5981
    • CDU: 551.46







    [Recurso visitado 26 veces]

    Valoración:  








    Compártelo:
    • Facebook
    • Twitter



IMPRIMIR LISTADO

FILTROS:

     COLECCIONES


     RESULTADO EN


     TIPO DE RECURSO


MENÚ


TÉRMINOS RELACIONADOS


RED SEMÁNTICA


TE RECOMENDAMOS