Two kinds of procedural semantics for privative modification

In this paper we present two kinds of procedural semantics for privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of procedural semantics; the second is to extend Martin-L ̈f’s Constructive Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation

Research on influence of cyclic degradation process on changes of structural adhesive bonds mechanical properties

ArticleThe paper deals with an influence of a cyclic degradation process on changes of a shear tensile strength of single lap-shear adhesive bonds and their elongation according to ČSN EN ISO 9142. Five one-component structural adhesives used in a construction of car body works were used within the research. The degradation of adhesive bonds is a significant factor which influences a quality and a service life of adhesive bonds exposed to environment. A main requirement in production companies is not only reaching satisfactory initial mechanical properties but namely ensuring a reliability and a safety of adhesive bonds during their usage. These reasons show a great importance of adhesive bonds tests either directly in the operating environment or by a simulation of operating conditions in laboratories. The degradation process of adhesive bonds worsens mechanical properties of not only the bond itself but also of the bonded material. This process is progressing and it is usually permanent and irreversible. It is a change of mechanical and physical properties which can endanger a safety and a reliability of parts, prospectively of the whole equipment. It can leads up to a complete failure of its function in the extreme case. A temperature, a moisture, a direct contact with water and chemicals or an atmospheric corrosion belong among the most serious degradation agents. It is important to take into regard time of the processes influence at the same time which can act either independently or concurrently when their effects grow stronger. From that reason the adhesive bonds were exposed to the cyclic degradation process according to the standard ČSN EN ISO 9142. Subsequently, the adhesive bonds mechanical properties were tested on universal testing machine and by means of SEM analysis (TESCAN MIRA 3). Results of mechanical tests proved a fall of the shear tensile strength of single lap-shear adhesive bonds after 42 cycles of the degradation process of 12.8 to 21.7%. The bond strength fall was gradual and it showed a linear trend at some adhesives. Other adhesives showed a significant fall after the exposition to the degradation process after which the strength fall stabilized

Lobster eye optics for nano-satellite x-ray monitor

The Lobster eye design for a grazing incidence X-ray optics provides wide field of view of the order of many degrees, for this reason it would be a convenient approach for the construction of space X-ray monitors. In this paper, we compare previously reported measurements of prototype lobster eye X-ray optics called P-25 with computer simulations and discuss differences between the theoretical end experimentally obtained results. Usability of this prototype lobster eye and manufacturing technology for the nano-satellite mission is assessed. The specific scientific goals are proposed

HST/STIS analysis of the first main sequence pulsar CU Virginis

Context. CU Vir has been the first main sequence star that showed regular radio pulses that persist for decades, resembling the radio lighthouse of pulsars and interpreted as auroral radio emission similar to that found in planets. The star belongs to a rare group of magnetic chemically peculiar stars with variable rotational period. Aims. We study the ultraviolet (UV) spectrum of CU Vir obtained using STIS spectrograph onboard the Hubble Space Telescope (HST) to search for the source of radio emission and to test the model of the rotational period evolution. Methods. We used our own far-UV and visual photometric observations supplemented with the archival data to improve the parameters of the quasisinusoidal long-term variations of the rotational period. We predict the flux variations of CU Vir from surface abundance maps and compare these variations with UV flux distribution. We searched for wind, auroral, and interstellar lines in the spectra. Results. The UV and visual light curves display the same long-term period variations supporting their common origin. New updated abundance maps provide better agreement with the observed flux distribution. The upper limit of the wind mass-loss rate is about 10−12 M⊙ yr−1. We do not find any auroral lines. We find rotationally modulated variability of interstellar lines, which is most likely of instrumental origin. Conclusions. Our analysis supports the flux redistribution from far-UV to near-UV and visual domains originating in surface abundance spots as the main cause of the flux variability in chemically peculiar stars. Therefore, UV and optical variations are related and the structures leading to these variations are rigidly confined to the stellar surface. The radio emission of CU Vir is most likely powered by a very weak presumably purely metallic wind, which leaves no imprint in spectra

Monitoring mixed neutron-proton field near the primary proton and deuteron beams in spallation targets

282-293At the Joint Institute for Nuclear Research (JINR) we are involved in the Accelerator-Driven-System (ADS) research. We perform experiments with assemblies composed of a spallation target and a subcritical blanket irradiated with high-energy proton or deuteron beams that generate high-energy neutron fields by spallation and fission reactions. In this paper, three uranium assemblies are presented: Energy plus Transmutation (E+T), QUINTA and BURAN. We discuss the results of the E+T and QUINTA irradiations by 1.6 GeV deuterons and 660 MeV protons, respectively. We have focused on the regions close to the primary beam passage through the targets. The field has been measured using activation detectors of 209Bi, 59Co, and natPb. Monte Carlo simulations using MCNPX 2.7.0 have been performed and compared to the experimental results. We discovered that the field intensity near the primary beam is very dependent on the precision of the accelerator beam settings. Therefore, a Monte Carlo-based study of the influence of the uncertainty of primary proton beam parameters on experimental result accuracy of the QUINTA assembly has been carried out. The usage of MCNPX 2.7.0 in the future BURAN irradiations has been assessed.</span

Can management intensity be more important than environmental factors? A case study along an extreme elevation gradient from central Italian cereal fields

This paper aims to assess the importance of environmental and management factors determining the weed species composition along a strong elevation gradient. A total of 76 cereal fields (39 low input and 37 intensively managed) were sampled along an elevation gradient in central Italy. Explanatory variables were recorded for each field to elucidate the role of large-scale spatial trends, of site-specific abiotic environmental conditions and of field management characters. Redundancy analysis was used to assess the relative importance of each environmental variable in explaining the variation in species composition. Our results indicate that variation in weed species composition is strongly determined by altitude, mean annual precipitation, mean annual temperature and also by soil characteristics. However, the level of intensification proved to be the most influential variable. There was a significant difference in species richness and composition between low-input and intensively managed fields. Intensification leads to considerable species loss at both lower and higher elevations. Low-input fields had 296 species in total, while intensively managed fields had only 196

Effects of Age and Loading Velocity on the Delamination Strength of the Human Aorta

Delamination strength is the mechanical property which plays a key role in the pathological process referred to as Arterial Dissection. This dissection, known especially for its occurrence in the thoracic aorta, is manifested by a separation of the layers of an artery wall, and may end with total rupture and internal haemorrhaging. Although its incidence is relatively rare, from 3 to 6 cases per 100 000 per year, it is a life-threating disease with a significant lethality [1-3]. The exact conditions under which the dissection is initiated, and as a crack propagates through the arterial wall, remain an open topic in computational as well as experimental mechanics. The aim of our study is to contribute to the deepening of our knowledge of Arterial Dissection, by collecting experimental data which is suitable for the purpose of showing how the delamination strength measured in the peeling experiments depends on age and anatomical location. In addition to the effects of age and location, our study also focuses on the effect of loading rate. The experimental branch of our research is complemented by a computational modelling of the delamination interface, in which we are looking for a numerical characterization of the material parameters describing discontinuity propagation. An XFEM model of the peeling experiment is built in Abaqus, which in our approach plays the role of the regression analysis, incorporating the cohesive zone (CZ) in order to model the delaminating arterial layers. The main objective is to obtain a detailed description of a set of constitutive parameters, which would be age- and location-specific. Our present data suggest that delamination strength strongly depends on age, and furthermore, the anatomical site also seems to be a significant factor. On the other hand, the loading velocity does not cause significant changes in results