507 research outputs found
Интерпретация святости в романе Габриэля Гарсиа Маркеса "Сто лет одиночества"
В статье даётся описание мифологемы "святость"в семантическом пространстве романа Маркеса, раскрываются особенности авторской интерпретации данной культурной универсалии.В статті подається опис міфологеми "святость" в семантичному просторі романа Маркеса, розглядаються особливості авторської інтерпретації данної культурної універсалії.The article deals with the author's representation of the Christian concept of holiness as it is impersonated in the personage of Remedios the Beauty
Ambient seismic noise and microseismicity monitoring of a prone-to-fall quartzite tower (Ormea, NW Italy)
Remote sensing techniques are leading methodologies for landslide characterization and monitoring. However, they may be limited in highly vegetated areas and do not allow for continuously tracking the evolution to failure in an early warning perspective. Alternative or complementary methods should be designed for potentially unstable sites in these environments. The results of a six-month passive seismic monitoring experiment on a prone-to-fall quartzite tower are here pre-sented. Ambient seismic noise and microseismicity analyses were carried out on the continuously recorded seismic traces to characterize site stability and monitor its possible irreversible and reversible modifications driven by meteorological factors, in comparison with displacement measured on site. No irreversible modifications in the measured seismic parameters (i.e., natural resonance fre-quencies of the tower, seismic velocity changes, rupture-related microseismic signals) were detected in the monitored period, and no permanent displacement was observed at the tower top. Results highlighted, however, a strong temperature control on these parameters and unusual preferential vibration directions with respect to the literature case studies on nearly 2D rock columns, likely due the tower geometric constraints, as confirmed by 3D numerical modeling. A clear correlation with the tower displacement rate was found in the results, supporting the suitability of passive seismic monitoring systems for site characterization and early waning purposes
The Study of Education Effect on Knowledge of, and Attitudes Toward Electroconvulsive Therapy Among Iranian Nurses and Patients’ Relatives in a Psychiatric Hospital, 2009-2010
AbstractElectroconvulsive therapy (ECT) is a cost effective method in the treatment of some psychiatric disorders. Although, service users such as health providers and nurses, also patients and their relatives may refuse ECT when indicated, due to the myths and little or lack of knowledge about the procedure. The knowledge of and attitudes toward ECT among nurses, may reflect on patients and influence treatment choice. For doing this procedure relatives informed consent is necessary, so their knowledge of and attitude toward ECT is important for getting informed consent and following treatment sessions. Objective: This research was conducted as a quasi-experimental study to measure knowledge of and attitudes toward ECT in 2 groups: relatives and nursing. Also, to study the effect of education on knowledge of and attitudes toward ECT in 2 groups. Methods: In this research the pre and post test self – administered questionnaires were completed by 46 relatives and 46 nurses before and after education about ECT. Results: Nurses in this research received a mean score of X=34.97 knowledge before education and X=39.78 after education (t=2.02, p<0.05), and a mean score of X=33.41 attitude before education and, X=42.82 after education (t=-14.25, p<0.001). Relatives received a mean score of X=23.41 knowledge before education and X=30.15 after education (t=-12.44, p<0.001), and a mean score of X=33.39 attitude before education and, X=41.13 after education (t=-9.10, p<0.001). The differences between the 2 means among two groups were found to be statistically significant. Conclusion: Education given to nurses and relatives about ECT increased their knowledge of, and improved their attitudes toward ECT. For this reason it is recommended that continuing education about ECT process should be planned and given at regular intervals
A procedure for splitting data-aware processes and its application to coordination
We present a procedure for splitting processes in a process algebra with multiactions and data (the untimed subset of the specification language mCRL2). This splitting procedure cuts a process into two processes along a set of actions A: Roughly, one of these processes contains no actions from A, while the other process contains only actions from A. We state and prove a theorem asserting that the parallel composition of these two processes is provably equal from a set of axioms (sound and complete with respect to strong bisimilarity) to the original process under some appropriate notion of synchronization. We apply our splitting procedure to the process algebraic semantics of the coordination language Reo: Using this procedure and its related theorem, we formally establish the soundness of splitting Reo connectors along the boundaries of their (a)synchronous regions in implementations of Reo
Multiscale seismic characterization and monitoring of a potentially unstable rock mass: the Madonna del Sasso (NW Italy) rockfall
Active (e.g. surface refraction and cross-hole tomography) and passive (monitoring of microseismic events) seismic methods can provide a proper characterization of the inner structure of the rock mass and are key to the comprehension of the mechanisms enhancing the instability of rock masses.We propose a multiscale approach for the characterization of the potentially unstable granitic cliff of Madonna del Sasso (NW Italian Alps) integrating prospecting surveys, laboratory tests, long-term microseismic monitoring and numerical modeling. The complex 3-D fracture setting, the geometry of the unstable sector was achieved through field observations, photogrammetric geomechanical analysis and interpretation of on-site seismic surveys, which revealed to be fundamental for constraining the fracture geometry and opening at depth within the rock mass. Physical and mechanical properties of the investigated medium were obtained through laboratory tests on granite samples. Continuous monitoring of ambient vibration at the site (October 2013 - present) did not highlight irreversible changes in the rock mass properties precursory to an acceleration to failure. However, a strong thermal control was found to govern the stability of the cliff, with reversible seasonal opening and closing of fractures resulting from thermal contraction and expansion. Moreover, the vibration modes of the unstable sector were found to be strongly controlled by the complex 3-D geometry of the main fracture planes affecting the site. Detection and location of microseismic events within the prone-to-fall rock mass highlighted the concentration of low energy releases close to the major fracture planes. Microseismic monitoring at the laboratory scale of deformation and rupture processes is expected to further highlight the relationships between energy release, seismic signatures and seismic sources. Finally, finite element modeling on the 3-D geometry allowed an experimental validation and interpretation
Distributed programming using role-parametric session types in go
This paper presents a framework for the static specification and safe programming of message passing protocols where the number and kinds of participants are dynamically instantiated. We develop the first theory of distributed multiparty session types (MPST) to support parameterised protocols with indexed rolesÐour framework statically infers the different kinds of participants induced by a protocol definition as role variants, and produces decoupled endpoint projections of the protocol onto each variant. This enables safe MPST-based programming of the parameterised endpoints in distributed settings: each endpoint can be implemented separately by different programmers, using different techniques (or languages). We prove the decidability of role variant inference and well-formedness checking, and the correctness of projection. We implement our theory as a toolchain for programming such role-parametric MPST protocols in Go. Our approach is to generate API families of lightweight, protocol- and variant-specific type wrappers for I/O. The APIs ensure a well-typed Go endpoint program (by native Go type checking) will perform only compliant I/O actions w.r.t. the source protocol. We leverage the abstractions of MPST to support the specification and implementation of Go applications involving multiple channels, possibly over mixed transports (e.g., Go channels, TCP), and channel passing via a unified programming interface. We evaluate the applicability and run-time performance of our generated APIs using microbenchmarks and real-world applications
Active and passive seismic methods for characterization and monitoring of unstable rock masses: field surveys, laboratory tests and modeling.
Active and passive seismic methods for characterization and monitoring of unstable rock masses: field surveys, laboratory tests and modeling
Seismic noise parameters as indicators of reversible modifications in slope stability: a review
Continuous ambient seismic monitoring of potentially unstable sites is increasingly attracting
the attention of researchers for precursor recognition and early warning purposes.
Twelve cases of long-term continuous noise monitoring have been reported in the literature
between 2012 and 2020. Only in a few cases rupture was achieved and irreversible
drops in resonance frequency values or shear wave velocity extracted from noise recordings
were documented. On the other hand, all monitored sites showed clear reversible fluctuations
of the seismic parameters on a daily and seasonal scale due to changes in external
weather conditions (air temperature and precipitation). A quantitative comparison of these
reversible modifications is used to gain insight into the mechanisms driving the site seismic
response. Six possible mechanisms were identified, including three temperature-driven
mechanisms (temperature control on fracture opening/closing, superficial stress conditions
and bulk rigidity), one precipitation-driven mechanism (water infiltration effect) and two
mechanisms sensitive to both temperature and precipitation (ice formation and clay behavior).
The reversible variations in seismic parameters under the meteorological constraints
are synthesized and compared to the irreversible changes observed prior to failure in different
geological conditions
2D characterization of near-surface V P/V S: surface-wave dispersion inversion versus refraction tomography
International audienceThe joint study of pressure (P-) and shear (S-) wave velocities (Vp and Vs ), as well as their ratio (Vp /Vs), has been used for many years at large scales but remains marginal in near-surface applications. For these applications, and are generally retrieved with seismic refraction tomography combining P and SH (shear-horizontal) waves, thus requiring two separate acquisitions. Surface-wave prospecting methods are proposed here as an alternative to SH-wave tomography in order to retrieve pseudo-2D Vs sections from typical P-wave shot gathers and assess the applicability of combined P-wave refraction tomography and surface-wave dispersion analysis to estimate Vp/Vs ratio. We carried out a simultaneous P- and surface-wave survey on a well-characterized granite-micaschists contact at Ploemeur hydrological observatory (France), supplemented with an SH-wave acquisition along the same line in order to compare Vs results obtained from SH-wave refraction tomography and surface-wave profiling. Travel-time tomography was performed with P- and SH- wave first arrivals observed along the line to retrieve Vtomo p and Vtomo s models. Windowing and stacking techniques were then used to extract evenly spaced dispersion data from P-wave shot gathers along the line. Successive 1D Monte Carlo inversions of these dispersion data were performed using fixed Vp values extracted from Vtomo p the model and no lateral constraints between two adjacent 1D inversions. The resulting 1D Vsw s models were then assembled to create a pseudo-2D Vsw s section, which appears to be correctly matching the general features observed on the section. If the pseudo-section is characterized by strong velocity incertainties in the deepest layers, it provides a more detailed description of the lateral variations in the shallow layers. Theoretical dispersion curves were also computed along the line with both and models. While the dispersion curves computed from models provide results consistent with the coherent maxima observed on dispersion images, dispersion curves computed from models are generally not fitting the observed propagation modes at low frequency. Surface-wave analysis could therefore improve models both in terms of reliability and ability to describe lateral variations. Finally, we were able to compute / sections from both and models. The two sections present similar features, but the section obtained from shows a higher lateral resolution and is consistent with the features observed on electrical resistivity tomography, thus validating our approach for retrieving Vp/Vs ratio from combined P-wave tomography and surface-wave profiling
- …
