Search results for "LOAD"

A systematic approach to deriving incremental type checkers

2020

Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to Datalog, a carefully limited logic programming language for which incremental solvers exist. The key contribution of this paper is to discover an encoding of the infinite typing relation as a finite Datalog relation in a way that yields efficient incremental up…

Hydrogen and radiation induced effects on performances of Raman fiber-based temperature sensors

2014

International audience; Raman Distributed Temperature Sensors (RDTS) offer exceptional advantages for the monitoring of the envisioned French deep geological repository for nuclear wastes, called Cigéo. Here, we present experimental studies on how the performances of RDTS evolve in harsh environments like those associated with H2 or g-rays. Both of them are shown to strongly affect the temperature measurements made with RDTS. We showed that by adapting the characteristics of the used fiber for the sensing, we could limit its degradation but that additional hardening by system studies will have to be developed before integration of RDTS in Cigéo.

Optic fibre as a transducer of tendomuscular forces

1996

Direct in vivo tendon force measurements open up new possibilities for understanding of muscle-tendon loads during natural locomotion. The present report presents a new optic fibre method for such applications. The method is based on light intensity modulation by mechanical modification of the geometric properties of the optic fibre. A special optic fibre with a plastic covering buffer and with a total diameter of either 265 microns or 500 microns was carefully prepared at both ends for receiving and transmitting light. The fibre was inserted through the rabbit common calcaneal tendon with a 20 gauge needle. By removing the needle the optic fibre remained in situ. Static loading demonstrate…

Acoustic and optical variations during rapid downward motion episodes in the deep north-western Mediterranean Sea

2011

An Acoustic Doppler Current Profiler (ADCP) was moored at the deep-sea site of the ANTARES neutrino telescope near Toulon, France, thus providing a unique opportunity to compare high-resolution acoustic and optical observations between 70 and 170 m above the sea bed at 2475 m. The ADCP measured downward vertical currents of magnitudes up to 0.03 m s-1 in late winter and early spring 2006. In the same period, observations were made of enhanced levels of acoustic reflection, interpreted as suspended particles including zooplankton, by a factor of about 10 and of horizontal currents reaching 0.35 m s-1. These observations coincided with high light levels detected by the telescope, interpreted …

On the optimal design of base isolation devices

2013

The paper deals with the optimal design of a base isolation system for a given structure subjected to seismic loads. In particular, an appropriate minimum displacement seismic protection device optimal design formulation is proposed for an assigned elastic perfectly plastic steel frame constrained to behave in conditions of elastic shakedown. The chosen base isolation device is constituted by elastomeric isolators. Suitable combinations of fixed and seismic loads are considered. According to the unrestricted shakedown theory, the seismic input is given as any load history appertaining to a suitably defined seismic load admissibility domain. The relevant dynamic structural response is obtain…

Optimal design algorithm for seismic retrofitting of RC columns with steel jacketing technique

2020

Abstract Steel jacketing (SJ) of beams and columns is widely employed as retrofitting technique to provide additional deformation and strength capacity to existing reinforced concrete (RC) frame structures. The latter are many times designed without considering seismic loads, or present inadequate seismic detailing. The use of SJ is generally associated with non-negligible costs depending on the amount of structural work and non-structural manufacturing and materials. Moreover, this kind of intervention results in noticeable downtime for the building. This paper presents a new optimization framework which is aimed at obtaining minimization of retrofitting costs by optimizing the position an…

Analysis and design of elastic plastic structures subjected to dynamic loads

In the last decades, the concept of “optimization” has reached considerable value in many different fields of scientific research and, in particular, it has assumed great importance in the field of structural mechanics. The present study describes and shows the scientific path followed in the three years of doctoral studies. The state of the art concerning the optimization of elastic plastic structures subjected to quasi-static loads was already well established at the beginning of the Ph.D. course. Actually, it was already faced the study of structures subjected to quasi-static cyclic loads able to ensure different structural behaviors in relation to different intensity levels of the appli…

Optimal design of elastic plastic frames accounting for seismic protection devices

2013

The optimal design of elastic perfectly plastic steel frames with or without suitable protection devices and subjected to static as well as seismic loadings is studied. Two minimum volume problem formulations are proposed, on the grounds of the so-called statical approach, accounting for three different resistance limits: the purely elastic limit, the (elastic) shakedown limit and the instantaneous collapse limit. The adopted load combinations are characterized by the presence of fixed loads, of quasi-static perfect cyclic loads and dynamic (seismic) loads. The linear elastic effects of the dynamic actions are studied by utilizing a modal technique. The proposed treatment is referred to the…

Optimization of structures with unrestricted dynamic shakedown constraints

2015

The unrestricted dynamic shakedown theory is here utilized with the aim to formulate different optimal design problems for structures mainly subjected to seismic loads. In particular, reference is made to plane frame structures constituted by elastic perfectly plastic material subjected to load combinations characterized by the presence of simultaneous fixed and seismic actions. The design problems, formulated on the ground of a statical approach, are devoted to structures with and without seismic protection devices, with special emphasis to seismic isolators. For the proposed design problem formulations different constraints are utilized; actually, for structures without protection devices…

Discrete variable design of frames subjected to seismic actions accounting for element slenderness

2015

An optimal design problem formulation of elastic plastic frames under different combinations of fixed and seismic loads is presented. The optimal structure must behave elastically for the fixed loads, shakedown for serviceability conditions and prevent instantaneous collapse for fixed and high seismic loads. P-Delta effects and element buckling are considered. An appropriate modal technique is utilized. The design variables can have components in a continuous field or, alternatively, in chosen discrete sets or, yet, both kind of variables can be present. The design problem is formulated on the ground of a statical approach. The applications are related to steel frames.