The Green language type system

A programming language that considers basic values and classes as objects brings more opportunities of code reuse and it is easier to use than a language that does not support this feature. However, popular statically typed object-oriented languages do not consider classes as first-class objects because this concept is difficult to integrate with static type checking. They also do not consider basic values as objects for sake of efficiency. This article presents the Green language type system which supports classes as classless objects and offers a mechanism to treat basic values as objects. The result is a reasonably simple type system which is statically typed and easy to implement. It simplifies several other language mechanisms and prevents any infinite regression of metaclasses.     

Shaping stable periodic motions of inertia wheel pendulum: theory and experiment

We consider an underactuated two‐link robot called the inertia wheel pendulum. The system consists of a free planar rotational pendulum and a symmetric disk attached to its end, which is directly controlled by a DC‐motor. The goal is to create stable oscillations of the pendulum, which is not directly actuated. We exploit a recently proposed feedback‐control design strategy based on motion planning via virtual holonomic constraints. This strategy is shown to be useful for design of regulators for achieving orbitally exponentially stable oscillatory motions. The main contribution is a step‐by‐step procedure on how to achieve oscillations with pre‐specified amplitude from a given range and an arbitrary independently chosen period. The theoretical results are verified via experiments with a real hardware setup. Copyright © 2009 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

QoS-Broker for transactional workloads

Typical request processing systems, such as web servers and database servers, try to accommodate all requests as fast as possible, which can be described as a Best-Effort approach. However, different application items may have different quality-of-service (QoS) requirements, and this can be viewed as an orthogonal concern to the basic system functionality. In this paper we propose the QoS-Broker, a middleware for delivering QoS over servers and applications. We show its architecture to support contracts over varied targets including queries, transactions, services or sessions, also allowing expressions on variables to be specified in those targets. We also discuss how the QoS-Broker implements basic strategies for QoS over workloads. Our experimental results illustrate the middleware by applying priority and weighted- fair-queuing based differentiation over clients and over transactions, and also admission control, using a benchmark as a case-study.     

Prediction of the percentages of cows'', goats'' and ewes'' milk in “Iberico” cheese by electrophoretic analysis of whey proteins

Stepwise multiple linear regression (SMLR) and principal components regression (PCR) have been used to predict the percentages of cows', goats' and ewes' milk in Iberico cheese, using the results obtained by electrophoretic analysis (PAGE and IEF) of whey proteins, using standard cheeses. Similar predictions of the percentages of milks from the three species were obtained when either SMLR or PCR were applied to the electrophoretic data, i.e. the optical intensity of the electrophoretic bands (PAGE or IEF) of the whey proteins. The root mean square error of prediction in cross-validation (RMSEPCV) was lower than 4% in all cases.     

Improving robustness of industrial object detection by automatic generation of synthetic images from CAD models

Object detection (OD) is used for visual quality control in factories. Images that compose training datasets are often collected directly from the production line and labeled with bounding boxes manually. Such data represent well the inference context but might lack diversity, implying a risk of overfitting. To address this issue, we propose a dataset construction method based on an automated pipeline, which receives a CAD model of an object and returns a set of realistic synthetic labeled images (code publicly available). Our approach can be easily used by non-expert users and is relevant for industrial applications, where CAD models are widely available. We performed experiments to compare the use of datasets obtained by the two different ways—collecting and labeling real images or applying the proposed automated pipeline—in the classification of five different industrial parts. To ensure that both approaches can be used without deep learning expertise, all training parameters were kept fixed during these experiments. In our results, both methods were successful for some objects but failed for others. However, we have shown that the combined use of real and synthetic images led to better results. This finding has the potential to make industrial OD models more robust to poor data collection and labeling errors, without increasing the difficulty of the training process.     

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

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.

     

Edge Fracture Prediction Using Uncoupled Ductile Fracture Models for DP780 Sheet

This paper is a contribution to the prediction of edge fracture behavior using uncoupled ductile fracture models. A fully integrated simulation framework for the edge fracture prediction is proposed with the shear-induced pre-damage considered. User-defined material subroutines are coded with uncoupled ductile fracture models (Lou-Huh, Oh, Brozzo) incorporated, which are calibrated using the fracture strains of various loading paths. A series of 3D numerical simulations are performed and compared with the results of hole-expansion tests. The effects of pre-damage field and fracture models are analyzed and discussed.