Two-dimensional linear model of elastic shell accounting for general anisotropy of material

A two-dimensional linearly elastic model of shells made of an anisotropic material described by 21 elastic moduli is developed. For this aim, the generalized Timoshenko–Reissner hypotheses are used. In contrast to the ordinary shell models, the tangential stress-resultants here depend not only on the tangential strains but also on the transverse shear. An asymptotic analysis of the obtained equations is fulfilled. The typical stress-strain states, namely the membrane state, the edge effect state, and the boundary layer, are constructed. The system of the Donnell type is delivered. As an example of general anisotropy, a composite material consisting of a matrix reinforced by the system of fibers inclined to the mid-surface is studied. Certain simple static problems and free vibration problems are solved for a cylindrical shell made of this material.     

Automated resolution of connector architectures using constraint solving (ARCAS method)

In current software systems, connectors play an important role by encapsulating the communication and coordination logic. Since they share common patterns (elements) depending on characteristics of the connections, the elements can be predefined and reused. A method of connector implementation based on a composition of predefined elements naturally comprises two steps: resolution of the connector architecture, and creation of the actual connector code based on the architecture. However, manual resolution of a connector architecture is very difficult due to the number of factors to be considered. Thus, the challenge is to come up with an automated method, able to address all the important factors. In this paper, we present a method for automated resolution of connector architectures based on constraint solving techniques. We exploit a propositional logic with relational calculus for defining a connector theory, a constraint specification reflecting both the predefined parts and the important resolution factors, and employ a constraint solver to find a suitable connector architecture as a model of the theory. As a proof of the concept, we show how the theory can be captured in the Alloy language and resolved via the Alloy Analyzer.     

Corrosion of NiTi Wires with Cracked Oxide Layer

Corrosion behavior of superelastic NiTi shape memory alloy wires with cracked TiO₂ surface oxide layers was investigated by electrochemical corrosion tests (Electrochemical Impedance Spectroscopy, Open Circuit Potential, and Potentiodynamic Polarization) on wires bent into U-shapes of various bending radii. Cracks within the oxide on the surface of the bent wires were observed by FIB–SEM and TEM methods. The density and width of the surface oxide cracks dramatically increase with decreasing bending radius. The results of electrochemical experiments consistently show that corrosion properties of NiTi wires with cracked oxide layers (static load keeps the cracks opened) are inferior compared to the corrosion properties of the straight NiTi wires covered by virgin uncracked oxides. Out of the three methods employed, the Electrochemical Impedance Spectroscopy seems to be the most appropriate test for the electrochemical characterization of the cracked oxide layers, since the impedance curves (Nyquist plot) of differently bent NiTi wires can be associated with increasing state of the surface cracking and since the NiTi wires are exposed to similar conditions as the surfaces of NiTi implants in human body. On the other hand, the potentiodynamic polarization test accelerates the corrosion processes and provides clear evidence that the corrosion resistance of bent superelastic NiTi wires degrades with oxide cracking.     

Regional differences in price levels across the European Union and their implications for its regional policy

Although regional price levels should be accounted for in any analysis of well-being in regions, the European Union fails to reflect them because they are not currently available for most EU member states. To fill this gap, we estimate regional price levels for all EU regions on the basis of available regional price level data from six EU countries. Once socio-economic indicators are recalculated using our estimates, substantially higher differences in living standards emerge. These results also have important implications for the European cohesion policy, with 9% of regions currently misclassified as a consequence of regional price levels not being used.     

Stable discretization of poroelasticity problems and efficient preconditioners for arising saddle point type matrices

Poroelastic models arise in reservoir modeling and many other important applications. Under certain assumptions, they involve a time-dependent coupled system consisting of Navier–Lamé equations for the displacements, Darcy’s flow equation for the fluid velocity and a divergence constraint equation. Stability for infinite time of the continuous problem and, second and third order accurate, time discretized equations are shown. Methods to handle the lack of regularity at initial times are discussed and illustrated numerically. After discretization, at each time step this leads to a block matrix system in saddle point form. Mixed space discretization methods and a regularization method to stabilize the system and avoid locking in the pressure variable are presented. A certain block matrix preconditioner is shown to cluster the eigenvalues of the preconditioned matrix about the unit value but needs inner iterations for certain matrix blocks. The strong clustering leads to very few outer iterations. Various approaches to construct preconditioners are presented and compared. The sensitivity of the number of outer iterations to the stopping accuracy of the inner iterations is illustrated numerically.     

Cancer Cell Response to Anthracyclines Effects: Mysteries of the Hidden Proteins Associated with These Drugs

A comprehensive proteome map of T-lymphoblastic leukemia cells and its alterations after daunorubicin, doxorubicin and mitoxantrone treatments was monitored and evaluated either by paired comparison with relevant untreated control and using multivariate classification of treated and untreated samples. With the main focus on early time intervals when the influence of apoptosis is minimized, we found significantly different levels of proteins, which corresponded to 1%–2% of the total amount of protein spots detected. According to Gene Ontology classification of biological processes, the highest representation of identified proteins for all three drugs belong to metabolic processes of proteins and nucleic acids and cellular processes, mainly cytoskeleton organisation and ubiquitin-proteasome pathway. Importantly, we observed significant proportion of changes in proteins involved in the generation of precursor metabolites and energy typical for daunorubicin, transport proteins participating in response to doxorubicin and a group of proteins of immune system characterising response to mitoxantrone. Both a paired comparison and the multivariate evaluation of quantitative data revealed daunorubicin as a distinct member of the group of anthracycline/anthracenedione drugs. A combination of identified drug specific protein changes, which may help to explain anti-cancer activity, together with the benefit of blocking activation of adaptive cancer pathways, presents important approaches to improving treatment outcomes in cancer.     

A new method for in situ measurement of parameters and degradation processes in modern nanoscale programmable devices

This paper presents a new method and results from measurement of internal parameters of programmable nanoscale circuits, namely Xilinx FPGA devices and especially Zynq SoC devices designed on 28 nm TSMC’s technology and older 45 nm Spartan 6 device as well as Xilinx Virtex product lines. The method utilizes a new undersampling approach for frequency measurement and an easy way of processing BRAM data streams. The proposed flexible circuits have been used in various measurements of timing parameters and delays in FPGAs, including measurements or detection of the aging issues. The paper presents results of measurements under various core voltage values as performed on selected Xilinx FPGA platforms, including key results about limited usability of the latest 28 nm devices under accelerated conditions and possibility of studying or mitigating aging effects in FPGAs. The paper presents rare results of experiments, real measurements and data available from current as well as previous technology nodes and it attempts to uncover new facts and areas of the latest high-end technologies, including the area of aging and degradation processes in general. The new methodology, presented approach and results can also be used in various dependable systems, including selected aerospace, medical, automotive or transportation ones. It is also directly and easily applicable to modern processor and multicore systems.