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...     

Ocular recognition databases and competitions: a survey

The use of the iris and periocular region as biometric traits has been extensively investigated, mainly due to the singularity of the iris features and the use of the periocular region when the image resolution is not sufficient to extract iris information. In addition to providing information about an individual’s identity, features extracted from these traits can also be explored to obtain other information such as the individual’s gender, the influence of drug use, the use of contact lenses, spoofing, among others. This work presents a survey of the databases created for ocular recognition, detailing their protocols and how their images were acquired. We also describe and discuss the most popular ocular recognition competitions (contests), highlighting the submitted algorithms that achieved the best results using only iris trait and also fusing iris and periocular region information. Finally, we describe some relevant works applying deep learning techniques to ocular recognition and point out new challenges and future directions. Considering that there are a large number of ocular databases, and each one is usually designed for a specific problem, we believe this survey can provide a broad overview of the challenges in ocular biometrics.

     

A quantitative approach to ranking corporate law precedents in the Brazilian Superior Court of Justice

This paper aims to contribute to the goal of finding influential legal precedents by quantitative methods. A lot of work has been made in this direction worldwide, especially in the context of common law jurisdictions. However, this type of work is extremely scarce in the Brazilian literature. In addition, our work also contributes to the research of network analysis and the law by applying these methods to unprecedented amount of data and narrowing our inquiry to a single law area, corporate law. Furthermore, whereas most of the literature applying network analysis to judicial decisions had access to readily available data on the citations to precedent within each ruling, our raw data was nothing but the full text of decisions. We focus on data produced by the Superior Court of Justice (STJ), the highest court in Brazil for matters of federal law, including statutory interpretation of civil, criminal and corporate law. The Court issued an astonishing 282040 opinions tagged as related to corporate law between 2008 and 2018. This amount of cases is unparalleled internationally for superior courts and for studies in network analysis and law. In our results, we rank precedents quantitatively based on the citations they receive and make. We also qualitatively analyze some of the results, especially related to groups identified in the network with the Modularity algorithm. Our findings also reveal that corporate law jurisprudence in the STJ is quantitatively dominated by a few legal issues around one single theme that is only tangentially related to corporate law. That is, a type of contract used for the expansion of telephone landlines, which also allowed the consumer to become a shareholder of the telecommunication company. This comparison is especially pertinent because the utter lack of data on the quantitative weight of STJ precedents means the national literature has been operating in a void of objective measurements, one which has been filled with cherry-picked rulings and subjective ranking criteria.

     

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.     

Vademecum‐based GFEM (V‐GFEM): optimal enrichment for transient problems

This paper proposes a generalized finite element method based on the use of parametric solutions as enrichment functions. These parametric solutions are precomputed off‐line and stored in memory in the form of a computational vademecum so that they can be used on‐line with negligible cost. This renders a more efficient computational method than traditional finite element methods at performing simulations of processes. One key issue of the proposed method is the efficient computation of the parametric enrichments. These are computed and efficiently stored in memory by employing proper generalized decompositions. Although the presented method can be broadly applied, it is particularly well suited in manufacturing processes involving localized physics that depend on many parameters, such as welding. After introducing the vademecum‐generalized finite element method formulation, we present some numerical examples related to the simulation of thermal models encountered in welding processes. Copyright © 2016 John Wiley & Sons, Ltd.     

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.     

An Overview of Control Charts for High‐quality Processes

Major difficulties in the study of high‐quality processes with traditional process monitoring techniques are a high false alarm rate and a negative lower control limit. The purpose of time‐between‐events control charts is to overcome existing problems in the high‐quality process monitoring setup. Time‐between‐events charts detect an out‐of‐control situation without great loss of sensitivity as compared with existing charts. High‐quality control charts gained much attention over the last decade because of the technological revolution. This article is dedicated to providing an overview of recent research and presenting it in a unifying framework. To summarize results and draw a precise conclusion from the statistical point of view, cross‐tabulations are also given in this article. Copyright © 2016 John Wiley & Sons, Ltd.     

An Overview and Future Perspectives of Aluminum Batteries

A critical overview of the latest developments in the aluminum battery technologies is reported. The substitution of lithium with alternative metal anodes characterized by lower cost and higher abundance is nowadays one of the most widely explored paths to reduce the cost of electrochemical storage systems and enable long‐term sustainability. Aluminum based secondary batteries could be a viable alternative to the present Li‐ion technology because of their high volumetric capacity (8040 mAh cm^?3 for Al vs 2046 mAh cm^?3 for Li). Additionally, the low cost aluminum makes these batteries appealing for large‐scale electrical energy storage. Here, we describe the evolution of the various aluminum systems, starting from those based on aqueous electrolytes to, in more details, those based on non‐aqueous electrolytes. Particular attention has been dedicated to the latest development of electrolytic media characterized by low reactivity towards other cell components. The attention is then focused on electrode materials enabling the reversible aluminum intercalation‐deintercalation process. Finally, we touch on the topic of high‐capacity aluminum‐sulfur batteries, attempting to forecast their chances to reach the status of practical energy storage systems.     

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.