352 research outputs found

    Dynamic condensation and selective mass scaling in RADIOSS Explicit

    Get PDF
    RADIOSS Explicit is a famous industrial FE code largely used for dynamic problems. To reduce the computation time, both dynamic condensation and selective mass scaling are used to increase the critical time step without modifying the low frequencies response, neither the rigid body momentum. The implementation of these two methods is discussed. Then the performances and limits of these methods are illustrated through some use cases, issued from crash and stamping process simulations

    Towards Coq-verified Esterel Semantics and Compiling

    Full text link
    This paper focuses on semantics of the Esterel synchronous programming language. In particular, in addition to the usual behavioral (CBS) and state (CSS) semantics, it introduces a novel microstep semantics which does not need the Can potential function. Formal proofs in Coq of the equivalence between the CBS and CSS semantics and of the refinement between the CSS and microstep semantics are also provided

    An AOP Layer to Abstract Programming with Distributed Components

    Get PDF
    International audienceComponent models such as EJB or CCM are increasingly used to create complex and distributed systems and applications. Unless the details of the API and mechanisms used for programming with these models differ, the general features provided by the models share many characteristics. In this paper, we propose to capture these features in a common layer that can be used to develop model independant component programs. The layer is then mapped either onto EJB or CCM. This layer is defined with the AspectJ aspect-oriented programming language. We report on two samples applications that were developped with this layer: an application-level load balancing service and a contract enforcement service

    Une industrie pré-acheuléenne en Brivadois (Haute-Loire): A pre-acheulian assemblage in Brivadois (Haute-Loire)

    Get PDF
    pdf du manuscritNational audienceA pebble-tools assemblage made of quartz has been recently discovered near Brioude on a high terrace of the Allier river. It brings us details about the first phases of the succession previously established from the sites of Bourbonnais. According to indirect dating data, one can estimate the age between 0.8 and 0.5 M.aUn outillage sur galets de quartz a été récemment découvert prÚs de Brioude, en surface d'une haute terrasse de l'Allier. Il permet de préciser les caractÚres des stades anciens du schéma évolutif établi à partir des nombreux gisements du Bourbonnais. En fonction des éléments de datation indirecte, l'ùge de ces objets est estimé entre 0,8 et 0,5 M.a

    Ultrasonic Inspection of Titanium Alloys with a Time Reversal Mirror

    Get PDF
    Ultrasonic Time Reversal Mirror (TRM) is an original solution to detect small cracks in a solid of any geometrical shape. Indeed, nondestructive testing need high resolution capabilities, high reliability and shortest control time. But the more recent techniques need an a priori knowledge of the liquid-solid interface and present limitations. The first of these uses several large prefocussed arrays, one array for each testing depth. Therefore this control system is sensitive to the arrays alignment, limited by the array precision focusing, and requires a complex mechanical follower system. A greater flexibility can be obtained by a second technique that is based on delay lines. But an accurate knowledge of the interface and a high calculs resolution are indispensable

    Internal structure and fragmentation kinetics of silica granules

    Get PDF
    International audienceTo improve the mechanical properties of tires, silica granules can be incorporated into the elastomer as well as carbon black. Ideally, the fragmentation of the granules in the elastomer must be obtained with low mechanical stresses and lead to very small fragments distributed homogeneously in the material. On the other hand, granules must present a sufficient cohesion, in order to avoid the generation of fine particles during handling operations. Thus it appears necessary to control the mechanical strength of granules and the mechanism of their fragmentation. In this experimental study, we investigated the fragmentation of silica granules of 250 microns produced by spray drying. For this, we characterized by granulometry the evolution of the Particle Size Distribution of silica powder in water. The granules were suspended in water and submitted to ultrasounds. This treatment is used to create the fragmentation that occurs by viscous shearing in industrial rubber processing. A core-shell structure, characteristic of granules obtained by atomization process, was observed by SEM. Furthermore, by varying the intensity of mechanical stress, the multi-scale structure of granules was evidenced as well as the existence of different regimes of fragmentation. The kinetics of fragmentation was experimentally followed on two grades of silica that showed significant differences in their behavior during the fragmentation process

    Aspect-Oriented Software Development with Java Aspect Components

    Get PDF
    In the last four years, our research project dealt with separation of concerns for distributed programming environments and applications. This research effort led to the implementation of the Java Aspect Component (JAC) framework for aspect-oriented programming (AOP) in Java. Among the many requirements for distribution, flexibility and adaptability play a stringent role. The high variability of executing conditions (in terms of resources, servers availability, faults, ...) also brings the need for powerful programming paradigms. This led us to develop a dynamic model of AOP which, unlike statically compiled approaches, allows to on-the-fly deploy and undeploy aspects on top of running applications. This model comes with an UML notation and an implementation. An IDE is provided with JAC to support all the development steps of an aspect oriented application, from its design, to its implementation, to its deployment
    • 

    corecore