This paper reports the effect of humidity and temperature on the adhesive strength of a pressure sensitive adhesive (Flexbond 150) used to bond Mylar films. It has been found that, ill general, the adhesive strength decreases significantly with an increase in temperature. The effect of humidity on the bonding strength, however, was found to be process dependent. The sample preparation conditions, e.g., press weight for the bonding and the press time, are important in determining the humidity effect. The water sorption isotherm A 24°C for the adhesive was also determined. The amount of water sorbed by the adhesive at 95 percent relative pressure was found to be less than one weight percent. 相似文献
Thick plasma sprayed thermal barrier coatings are suitable for thermal and hot corrosion protection of metal components in land-based turbine and diesel engines. In this work, ceria–yttria co-stabilized zirconia coatings were deposited by atmospheric plasma spraying in a mixture of non-transformable tetragonal t′ and cubic c zirconia phases. Free-standing coatings were isothermally annealed at 1315 °C for different times and their crystal structure was studied by XRD. No phase decomposition occurred. Columnar grains grew in the molten splats with increasing annealing time according to a preferential direction and, after 50 h of heat treatment, they were partially replaced by equiaxed grains. Both in-plane and out-of-plane thermal expansion coefficients (CTEs) were measured from coating expansion during heating. The CTE was slightly sensitive to thermal exposure in out-of-plane direction, whereas it kept almost constant in plane direction. The specific heat capacity Cp of annealed coatings, measured by differential scanning calorimetry (DSC), decreased in comparison with as-sprayed coating, due to high-temperature sintering. 相似文献
Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other and are thus not monitorable by tools that consider computations in isolation. We present the monitoring approach implemented in the latest version of \(\text {RVHyper}\), a runtime verification tool for hyperproperties. The input to the tool are specifications given in the temporal logic \(\text {HyperLTL}\), which extends linear-time temporal logic (LTL) with trace quantifiers and trace variables. \(\text {RVHyper}\) processes execution traces sequentially until a violation of the specification is detected. In this case, a counterexample, in the form of a set of traces, is returned. \(\text {RVHyper}\) employs a range of optimizations: a preprocessing analysis of the specification and a procedure that minimizes the traces that need to be stored during the monitoring process. In this article, we introduce a novel trace storage technique that arranges the traces in a tree-like structure to exploit partially equal traces. We evaluate \(\text {RVHyper}\) on existing benchmarks on secure information flow control, error correcting codes, and symmetry in hardware designs. As an example application outside of security, we show how \(\text {RVHyper}\) can be used to detect spurious dependencies in hardware designs.
Mass spectrometry is the method of choice for the characterisation of proteomes. Most proteins operate in protein complexes, in which their close association modulates their function. However, with standard MS analysis, information on protein–protein interactions is lost and no structural information is retained. To gain structural and interactome data, new crosslinking reagents are needed that freeze inter- and intramolecular interactions. Herein, the development of a new reagent, which has several features that enable highly sensitive crosslinking MS, is reported. The reagent enables enrichment of crosslinked peptides from the majority of background peptides to facilitate efficient detection of low-abundant crosslinked peptides. Due to the special cleavable properties, the reagent can be used for MS2 and potentially for MS3 experiments. Thus, the new crosslinking reagent, in combination with high-end MS, should enable sensitive analysis of interactomes, which will help researchers to obtain important insights into cellular states in health and diseases. 相似文献
The use of high strength steel has the potential to reduce the amount of steel used in bridges and thereby, facilitate a more sustainable construction. A survey of existing bridges built using high strength steel is presented in this paper with emphasis on the Swedish bridge stock. The survey aimed at identifying the steel grades that were used and where in the cross-section they have been used. A case study on the influence of fatigue shows that today’s regulations make it more difficult to use high strength steel in comparison to previous regulations.