Checking and Enforcing Security through Opacity in Healthcare Applications

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

Greenhouse Gas Reduction Opportunities for Local Governments: A Quantification and Prioritization Framework

Local governments have steadily increased their initiative to address global climate change, and many present their proposed strategies through climate action plans (CAPs). This study conducts a literature review on current local approaches to greenhouse gas (GHG) reduction strategies by assessing CAPs in California and presents common strategies in the transportation sector along with useful tools. One identified limitation of many CAPs is the omission of quantitative economic cost and emissions data for decision-making on the basis of cost-effectiveness. Therefore, this study proposes a framework for comparing strategies based on their life cycle emissions mitigation potential and costs. The results data can be presented in a marginal abatement cost curve (MACC) to allow for side-by-side comparison of considered strategies. Researchers partnered with Yolo and Unincorporated Los Angeles Counties to analyze 7 strategies in the transportation and energy sectors (five and two, respectively). A MACC was subsequently developed for each county. Applying the life cycle approach revealed strategies that had net cost savings over their life cycle, indicating there are opportunities for reducing emissions and costs. The MACC also revealed that some emissions reduction strategies in fact increased emissions on a life cycle basis. Applying the MACC framework to two case study jurisdictions illustrated both the feasibility and challenges of including quantitative analysis in their decision-making process. An additional barrier to using the MACC framework in the context of CAPs, is the mismatch between a life cycle and annual accounting basis for GHG emissions. Future work could explore more efficient data collection, alternative scopes of emissions for reporting, and environmental justice concerns.View the NCST Project Webpag

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

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

Electron beam powder bed fusion of Ti–6Al–2Sn–4Zr–2Mo alloy: microstructure evolution and high-temperature mechanical properties

Ti-6Al-2Sn-4Zr-2Mo (Ti6242) is a promising alloy for hot engine parts and gas turbine components, such as discs, impellers, and turbines, due to its excellent performance, particularly at high working temperatures. However, there has been limited research on its thermomechanical performance and microstructural evolution at high temperatures. This study aims to investigate the microstructural evolution and flow behaviour of this alloy produced via the electron beam powder bed fusion process. The plastic response in a temperature range of 25-620 degrees C was investigated using warm tensile tests under a constant strain rate. The outcomes showed that the plastic deformation capacity of the alloy extends significantly by increasing the temperature due to the annihilation of the dislocation density and activation of pyramidal slip systems. Microstructural observations revealed that with increasing temperature, even if the initial size of the beta-grains remained in the range of 30-60 mu m, the width of alpha lath enlarged. In addition, it was found that with higher test temperatures, the lattice strain diminished, while the crystallite size increased, which affected the tensile strength of the material. Analysis of the fracture surface revealed a mixed fracture mode of ductile and brittle nature at room temperature, while a completely ductile fracture was obtained at high temperatures. All in all, it can be concluded that among the materials produced by electron beam powder bed fusion, the mechanical performance of Ti6242 alloy can surpass that of Ti-6Al-4 V(Ti64) in the temperature range studied and is also superior to the same Ti6242 alloy produced by casting. This work paves the way for the replacement of the widely used Ti64 or heavier alloys, particularly for highly loaded parts at high temperatures

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

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

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

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

Hot deformation behavior and flow stress modeling of Ti–6Al–4V alloy produced via electron beam melting additive manufacturing technology in single β-phase field

The hot working behaviour of additively manufactured Ti–6Al–4V pre-forms by Electron Beam Melting (EBM) has been studied at temperatures of 1000–1200 °C and strain rates of 0.001–1 s−1. As a reference, a wrought Ti–6Al–4V alloy was also analyzed as same as the EBM one. In order to investigate the hot working behaviour of these samples, all the data evaluations were carried out step by step, and the stepwise procedure was discussed. No localized strain as a consequence of shear band formation was found in the samples after the hot compression. The flow stress curves of all the samples showed peak stress at low strains, followed by a regime of flow softening with a near-steady-state flow at large strains. Interestingly, it is found that the initial microstructure and porosity content as well as the chemistry of material (e.g. oxygen content) as being possible contributors to the lower level of flow stress that could be beneficial from the industrial point of view. The flow softening mechanism(s) were discussed in detail using the microstructure of the specimens before and after the hot deformation. Dynamic Recrystalization (DRX) could also explain the gentle oscillation in the appearance of the flow softening curves of the EBM samples. Moreover, the hot working analysis indicated that the activation energy for hot deformation of as-built EBM Ti–6Al–4V alloy was calculated as ~193.25 kJ/mol, which was much lower than the wrought alloy (229.34 kJ/mol). These findings can shed lights on a new integration of metal Additive Manufacturing (AM) and thermomechanical processing. It is very interesting to highlight that through this new integration, it would be possible to reduce the forging steps and save more energy and materials with respect to the conventional routes

Recent Progress in Beam-Based Metal Additive Manufacturing from a Materials Perspective: A Review of Patents

Over the last decade, the enormous potential of metal additive manufacturing (AM) processes has led these technologies to establish their position in many industries. Much effort is being made toward their widespread application; however, much remains to be done to achieve full industrialization of these processes. Therefore, many companies, research centers and universities are investing in comprehensive research and development activities in order to further promote the industrialization of metal AM. This review traces the progress of metal AM technologies through an investigation of patents. In the present study, beam-based metal AM patents were searched through the Orbit Intelligence database. First, the number of patents per year was studied, indicating that, as expected, there is strong growth in AM patenting activities. The patents were afterward examined in order to highlight the key players in the field, and it was found that the main players investing in this market are: multidisciplinary companies, AM machine producers, end users working, especially in the aerospace sector, universities and research centers. The patents were then analyzed to understand the technology domains covered by each key player and their trend of investments. Finally, the patents in the field of Materials and Metallurgy were studied individually to identify the main topics faced by the most used alloy classes: Al-, Ni- and Ti-based alloys and steels. The extensive study of these patents clearly indicated that the main gaps to fill in metal AM are strongly material dependent and that it is possible to find correlations between the alloy classes, their main industrial applications and their specific AM processability issues. The current study provides insights into global trends that can help industrial markets to identify the right investment direction and research to identify topics for future investigation

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

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