343 research outputs found

    Seven new larval mites (Acari, Prostigmata, Erythraeidae) from Iran

    Get PDF

    Checking and Enforcing Security through Opacity in Healthcare Applications

    Full text link
    The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT in health care against interference, including service attacks and malwares, is challenging. Opacity is a confidentiality property capturing a system's ability to keep a subset of its behavior hidden from passive observers. In this work, we seek to introduce an IoT-based heart attack detection system, that could be life-saving for patients without risking their need for privacy through the verification and enforcement of opacity. Our main contributions are the use of a tool to verify opacity in three of its forms, so as to detect privacy leaks in our system. Furthermore, we develop an efficient, Symbolic Observation Graph (SOG)-based algorithm for enforcing opacity

    Electron beam melting of Ti-6Al-4V lattice structures: correlation between post heat treatment and mechanical properties

    Get PDF
    Additive manufacturing processes are considered advanced manufacturing methods. It would be possible to produce complex shape components from a computer-aided design model in a layer-by-layer manner. As one of the complex geometries, lattice structures could attract lots of attention for both medical and industrial applications. In these structures, besides cell size and cell type, the microstructure of lattice structures can play a key role in these structures’ mechanical performance. On the other hand, heat treatment has a significant influence on the mechanical properties of the material. Therefore, in this work, the effect of the heat treatments on the microstructure and mechanical behaviour of Ti-6Al-4V lattice structures manufactured by electron beam melting was analysed. The main mechanical properties were compared with the Ashby and Gibson model. It is very interesting to notice that a more homogeneous failure mode was found for the heat-treated samples. The structures’ relative density was the main factor influencing the mechanical performance of the heat-treated samples. It is also found that the heat treatments were able to preserve the stiffness and the compressive strength of the lattice structures. Besides, an increment of both the elongation at failure and the absorbed energy was obtained after the heat treatments. Microstructure analysis of the heat-treated samples confirms the increment of ductility of the heat-treated samples with respect to the as-built one

    Hybrid additive manufacturing of an electron beam powder bed fused Ti6Al4V by transient liquid phase bonding

    Get PDF
    Hybrid Additive Manufacturing (HAM) is a production strategy enhancing the flexibility of the already versatile Additive Manufacturing (AM) techniques. AM of Ti6Al4V, on the other hand, has been of great interest to numerous research works, thanks to the unique corrosion, biomedical and mechanical properties of the alloy. Hence, this research marks the first report on the HAM of Ti6Al4V by Transient Liquid Phase (TLP) bonding of an Electron Beam Powder Bed Fused (EB-PBF) sample to a conventional one. A copper interlayer was used for bonding, and the TLP process was performed at 890 degrees C and 970 degrees C for 60 min. Shear strength test was carried out and the results showed the highest shear strengths of 579.3 and 662.5 MPa for TLP bonding at 890 degrees C and 970 degrees C, respectively. By increasing the bonding temperature to 970 degrees C, no Cu-rich phases were observed in the microstructure, as opposed to the 890 degrees C samples, and a complete isothermal solidification without intermetallic phases was achieved. Moreover, the 970 degrees C TLP sample was featured with a much better microstructural integrity and homogeneity in both the base metals and the bonded zone. TLP bonding at 970 degrees C resulted in a more ductile fracture surface than that bonded at 890 degrees C. The strong differences between the two TLP bonds were primarily attributed to the faster diffusion rate of elements along the joint and base metal at higher temperatures. (C) 2022 The Author(s). Published by Elsevier B.V

    Charletonia stekolnikovi sp. n. (Acari, Erythraeidae) from Iran

    No full text
    Charletonia stekolnikovi sp. n. (Acari, Erythraeidae) is described and illustrated from herbaceous plants (off host) from Taleghan city, Tehran province, Iran.Charletonia stekolnikovi sp. (Acari, Erythraeidae) описана и проиллюстрирована с травянистых растений из города Талехан, провинции Тегерана, Иран

    Fabrication and characterization of the modified ev31-based metal matrix nanocomposites

    Get PDF
    Metal matrix nanocomposites (MMNCs) with high specific strength have been of interest for numerous researchers. In the current study, Mg matrix nanocomposites reinforced with AlN nanoparticles were produced using the mechanical stirring-assisted casting method. Microstructure, hardness, physical, thermal and electrical properties of the produced composites were characterized in this work. According to the microstructural evaluations, the ceramic nanoparticles were uniformly dispersed within the matrix by applying a mechanical stirring. At higher AlN contents, however, some agglomerates were observed as a consequence of a particle-pushing mechanism during the solidification. Microhardness results showed a slight improvement in the mechanical strength of the nanocomposites following the addition of AlN nanoparticles. Interestingly, nanocomposite samples were featured with higher electrical and thermal conductivities, which can be attributed to the structural effect of nanoparticles within the matrix. Moreover, thermal expansion analysis of the nanocomposites indicated that the presence of nanoparticles lowered the Coefficient of Thermal Expansion (CTE) in the case of nanocomposites. All in all, this combination of properties, including high mechanical strength, thermal and electrical conductivity, together with low CTE, make these new nanocomposites very promising materials for electro packaging applications

    On Causal Inference for Data-free Structured Pruning

    Get PDF
    Neural networks (NNs) are making a large impact both on research and industry. Nevertheless, as NNs' accuracy increases, it is followed by an expansion in their size, required number of compute operations and energy consumption. Increase in resource consumption results in NNs' reduced adoption rate and real-world deployment impracticality. Therefore, NNs need to be compressed to make them available to a wider audience and at the same time decrease their runtime costs. In this work, we approach this challenge from a causal inference perspective, and we propose a scoring mechanism to facilitate structured pruning of NNs. The approach is based on measuring mutual information under a maximum entropy perturbation, sequentially propagated through the NN. We demonstrate the method's performance on two datasets and various NNs' sizes, and we show that our approach achieves competitive performance under challenging conditions

    Report of Pseudopyroppia orientalis (Acari: Oribatida: Ceratoppiidae) from Iran

    Get PDF
    In the course of a faunistic survey on oribatid mites (Acari: Oribatida) in Mazandaran province, northern Iran, the species Pseudopyroppia orientalis Rjabinin of the family Ceratoppiidae was identified. This species is newly recorded from Iran

    Tribological behaviour of AZ31 magnesium alloy reinforced by bimodal size B4C after precipitation hardening

    Get PDF
    This study investigated dry sliding wear properties of AZ31 magnesium alloy and B4C-reinforced AZ31 composites containing 5, 10, and 20 wt.% B4C with bimodal sizes under different loadings (10–80 N) at various sliding speeds (0.1–1 m/s) via the pin-on-disc configuration. Microhardness evaluations showed that when the distribution of B4C particles was uniform the hardness of the composites increased by enhancing the reinforcement content. The unreinforced alloy and the composite samples were examined to determine the wear mechanism maps and identify the dominant wear mechanisms in each wear condition and reinforcement content. For this purpose, wear rates and friction coefficients were recorded during the wear tests and worn surfaces were characterized by scanning electron microscopy and energy dispersive X-ray spectrometry analyses. The determined wear mechanisms were abrasion, oxidation, delamination, adhesion, and plastic deformation as a result of thermal softening and melting. The wear evaluations revealed that the composites containing 5 and 10 wt.% B4C had a significantly higher wear resistance in all the conditions. However, 20 wt.% B4C/AZ31 composite had a lower resistance at high sliding speeds (0.5–1 m/s) and high loadings (40–80 N) in comparison with the unreinforced alloy. The highest wear resistance was obtained at high sliding speeds and low loadings with the domination of oxidative wear
    corecore