Malicious uses of blockchains by malware: from the analysis to Smart-Zephyrus

The permanent availability and relative obscurity of blockchains is the perfect ground for using them for malicious purposes. However, the use of blockchains by malwares has not been characterized yet. This paper analyses the current state of the art in this area. One of the lessons learned is that covert communications for malware have received little attention. To foster further defence-oriented research, a novel mechanism (dubbed Smart-Zephyrus) is built leveraging smart contracts written in Solidity. Our results show that it is possible to hide 4 Kb of secret in 41 s. While being expensive (around USD 1.82 per bit), the provided stealthiness might be worth the price for attackers.

     

Experience report on the application of genetic algorithms to reduce costs of the software validation process in the automotive sector during an engine control unit project

Software Quality Journal - The number of electronic control units (ECU) installed in vehicles is increasingly high. Manufacturers must improve the software quality and reduce cost by proposing...     

Design Optimization of Composite Prosthetic Tubes Using GA-ANN Algorithm Considering Tsai-Wu Failure Criteria

The investigation of possible failures in composite materials is a matter of very great importance, and the Tsai-Wu criterion is an effective criterion for analyzing those flaws in anisotropic materials and defining whether the material at a given load will or will not suffer structural failure. In this study, an optimization procedure is proposed to minimize the maximum value of Tsai-Wu of laminated composite tubes subject to axial loading. Artificial neural networks and genetic algorithms are chosen as optimization tools. The results of this study show that the developed algorithm converges faster. Then, the maximum Tsai-Wu value is used as the objective function and the fiber orientations are the constraints in the optimization process. The results yielded by them are compared and discussed. Optimal results are compared with respect to the usual initial design. The design approach is recommended for structures where composites are the key load-carrying members such as orthopedic prosthesis.     

Inverse analysis procedure to determine flow stress and friction data for finite element modeling of machining

This paper describes an inverse procedure to determine the constitutive constants and the friction conditions in the machining processes using Finite Elements (FE) simulations. In general, the FE modeling of machining processes is an effective tool to analyze the materials machinability under different cutting conditions. However, the use of reliable rheological and friction models represents the basis of a correct numerical investigation. The presented inverse procedure was based on the numerical results obtained using a commercial FE code and was developed considering a specific optimization problem, in which the objective functions that have to be minimized is the experimental/numerical error. This problem was performed by a routine developed in a commercial optimization software. In order to verify the goodness and the robustness of the methodology, it was applied on a Super Duplex Stainless Steel (SDSS) and on an Austenitic Stainless Steel (AUSS) orthogonal machining processes. This work, then, was focused on the identification of the Johnson-Cook (JC) coefficients (A,B,C, n and m) and on the calibration of a Coulomb friction model, in the specific cases of the SAF2507 SDSS and of an AISI 316 Based AUSS Alloy (AISI 316 ASBA). The identification phases were performed considering forces and temperatures experimental data, collected in two specific experimental tasks in which different orthogonal cutting tests were carried out under different cutting parameters conditions.     

Criticality Analysis for Maintenance Purposes: A Study for Complex In‐service Engineering Assets

The purpose of this paper is to establish a basis for a criticality analysis, considered here as a prerequisite, a first required step to review the current maintenance programs, of complex in‐service engineering assets. Review is understood as a reality check, a testing of whether the current maintenance activities are well aligned to actual business objectives and needs. This paper describes an efficient and rational working process and a model resulting in a hierarchy of assets, based on risk analysis and cost–benefit principles, which will be ranked according to their importance for the business to meet specific goals. Starting from a multicriteria analysis, the proposed model converts relevant criteria impacting equipment criticality into a single score presenting the criticality level. Although detailed implementation of techniques like Root Cause Failure Analysis and Reliability Centered Maintenance will be recommended for further optimization of the maintenance activities, the reasons why criticality analysis deserves the attention of engineers and maintenance and reliability managers are precisely explained here. A case study is presented to help the reader understand the process and to operationalize the model. Copyright © 2015 John Wiley & Sons, Ltd.     

Quantum computing implementations with neutral particles

We review quantum information processing with cold neutral particles, that is, atoms or polar molecules. First, we analyze the best suited degrees of freedom of these particles for storing quantum information, and then we discuss both single- and two-qubit gate implementations. We focus our discussion mainly on collisional quantum gates, which are best suited for atom-chip-like devices, as well as on gate proposals conceived for optical lattices. Additionally, we analyze schemes both for cold atoms confined in optical cavities and hybrid approaches to entanglement generation, and we show how optimal control theory might be a powerful tool to enhance the speed up of the gate operations as well as to achieve high fidelities required for fault tolerant quantum computation.     

An internet of things–based personal device for diabetes therapy management in ambient assisted living (AAL)

Diabetes therapy management in AAL environments, such as old people and diabetes patients homes, is a very difficult task since many factors affect a patient’s blood sugar levels. Factors such as illness, treatments, physical and psychological stress, physical activity, drugs, intravenous fluids and change in the meal plan cause unpredictable and potentially dangerous fluctuations in blood sugar levels. Right now, operations related to dosage are based on insulin infusion protocol boards, which are provided by physicians to the patients. These boards are not considering very influential factors such as glycemic index from the diet, consequently patients need to estimate the dosage leading to dose error, which culminates in hyperglycemia and hypoglycemia episode. Therefore, right insulin infusion calculation needs to be supported by the next generation of personal-care devices. For this reason, a personal device has been developed to assist and consider more factors in the insulin therapy dosage calculation. The proposed solution is based on Internet of things in order to, on the one hand, support a patient’s profile management architecture based on personal RFID cards and, on the other hand, provide global connectivity between the developed patient’s personal device based on 6LoWPAN, nurses/physicians desktop application to manage personal health cards, glycemic index information system, and patient’s web portal. This solution has been evaluated by a multidisciplinary group formed by patients, physicians, and nurses.     

Orthogonal variant moments features in image analysis

Moments are statistical measures used to obtain relevant information about a certain object under study (e.g., signals, images or waveforms), e.g., to describe the shape of an object to be recognized by a pattern recognition system. Invariant moments (e.g., the Hu invariant set) are a special kind of these statistical measures designed to remain constant after some transformations, such as object rotation, scaling, translation, or image illumination changes, in order to, e.g., improve the reliability of a pattern recognition system. The classical moment invariants methodology is based on the determination of a set of transformations (or perturbations) for which the system must remain unaltered. Although very well established, the classical moment invariants theory has been mainly used for processing single static images (i.e. snapshots) and the use of image moments to analyze images sequences or video, from a dynamic point of view, has not been sufficiently explored and is a subject of much interest nowadays. In this paper, we propose the use of variant moments as an alternative to the classical approach. This approach presents clear differences compared to the classical moment invariants approach, that in specific domains have important advantages. The difference between the classical invariant and the proposed variant approach is mainly (but not solely) conceptual: invariants are sensitive to any image change or perturbation for which they are not invariant, so any unexpected perturbation will affect the measurements (i.e. is subject to uncertainty); on the contrary, a variant moment is designed to be sensitive to a specific perturbation, i.e., to measure a transformation, not to be invariant to it, and thus if the specific perturbation occurs it will be measured; hence any unexpected disturbance will not affect the objective of the measurement confronting thus uncertainty. Furthermore, given the fact that the proposed variant moments are orthogonal (i.e. uncorrelated) it is possible to considerably reduce the total inherent uncertainty. The presented approach has been applied to interesting open problems in computer vision such as shape analysis, image segmentation, tracking object deformations and object motion tracking, obtaining encouraging results and proving the effectiveness of the proposed approach.     

NURBS-Enhanced Finite Element Method (NEFEM)

The development of NURBS-Enhanced Finite Element Method (NEFEM) is revisited. This technique allows a seamless integration of the CAD boundary representation of the domain and the finite element method (FEM). The importance of the geometrical model in finite element simulations is addressed and the benefits and potential of NEFEM are discussed and compared with respect to other curved finite element techniques.