The Nyquist stability criterion in the Nichols chart

The Nyquist stability criterion is a widely used technique for determining in the complex s‐plane the stability of a dynamical system with feedback. This paper presents a practical and comprehensive method to compute the Nyquist stability criterion directly in the Nichols (magnitude/phase) chart. The proposed method also gives guidelines to design controllers to stabilize unstable plants when dealing with frequency domain techniques like the quantitative feedback theory robust control. Copyright © 2015 John Wiley & Sons, Ltd.     

Visual search tree profiling

Understanding how the search space is explored for a given constraint problem – and how it changes for different models, solvers or search strategies – is crucial for efficient solving. Yet programmers often have to rely on the crude aggregate measures of the search that are provided by solvers, or on visualisation tools that can show the search tree, but do not offer sophisticated ways to navigate and analyse it, particularly for large trees. We present an architecture for profiling a constraint programming search that is based on a lightweight instrumentation of the solver. The architecture combines a visualisation of the search tree with various tools for convenient navigation and analysis of the search. These include identifying repeated subtrees, high-level abstraction and navigation of the tree, and the comparison of two search trees. The resulting system is akin to a traditional program profiler, which helps the user to focus on the parts of the execution where an improvement to their program would have the greatest effect.     

A novel electromyographic signal simulator for muscle contraction studies

Mathematical simulation has been widely used in biomedical and biological sciences. In the case of the surface electromyographic (SEMG) activity, some models have been proposed aiming to study muscle contraction strategies that are used during different tasks and conditions. Most of SEMG simulators are based on energy modulation of a Gaussian noise. This work proposes a novel simulator in which the user-defined parameters are associated with the motor units (MUs) recruitment and their firing rate. Comparison between the mean spectrum of real SEMG signals collected in isometric contraction of the muscle biceps brachii and the mean spectrum obtained from simulated SEMG signals showed a good agreement, pointing the proposed simulator seems to be capable to generate consistent electromyographic signals in time and frequency domains and that can be used in many studies, in particular in the evaluation of automatic methods aimed to detect muscular contraction.     

Real filter based on Mellin radial harmonics for scale-invariant pattern recognition

Several theoretical and experimental studies are developed in order to simplify the construction of filters based on Mellin radial harmonics (MRH) for scale-invariant pattern recognition. A real filter based on MRH is designed. The impulse response of the filter is a hermitic function, obtained by a suitable modification of a MRH component. This real filter has the same scale invariance as the conventional complex MRH filters, with the main advantage of its simplicity. Both computer simulations and optical experiments are presented.     

Optic systems with spherical, cylindrical, and toric surfaces

A simple analytical method for tracing rays in an optical system that is made up of spherical, cylindrical, and toric surfaces with an arbitrary rotation of its meridian plane with respect to the reference system is described. An analytical procedure is also given for obtaining the spot diagram on an arbitrarily oriented section, as well as for relating the diagram obtained for the plane of this section as a plane z = 0. Finally, as an application of this procedure, several graphic representations of the spot diagrams in the planes perpendicular or nonperpendicular to the axis are presented.     

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.     

Resource-constrained scheduling with hard due windows and rejection penalties

This work studies a scheduling problem where each job must be either accepted and scheduled to complete within its specified due window, or rejected altogether. Each job has a certain processing time and contributes a certain profit if accepted or penalty cost if rejected. There is a set of renewable resources, and no resource limit can be exceeded at any time. Each job requires a certain amount of each resource when processed, and the objective is to maximize total profit. A mixed-integer programming formulation and three approximation algorithms are presented: a priority rule heuristic, an algorithm based on the metaheuristic for randomized priority search and an evolutionary algorithm. Computational experiments comparing these four solution methods were performed on a set of generated benchmark problems covering a wide range of problem characteristics. The evolutionary algorithm outperformed the other methods in most cases, often significantly, and never significantly underperformed any method.     

Effect of warm mix additives on the interfacial bonding characteristics of asphalt binders

The quality of the interfacial bonding between asphalt binder and aggregates plays a significant role in determining the durability of asphalt mixtures. Warm mix asphalt (WMA) modifiers have been used extensively in the last decade primarily to reduce production and compaction temperatures as well as to improve workability of asphalt mixtures. This study aimed to provide better understanding of the effects of these WMA modifiers on the interfacial bonding between asphalt binders and aggregates. The evaluation focused on measuring surface energy of binders in unaged and aged states and aggregates and then calculating energy parameters that describe the potential of a given asphalt-aggregate combination to resist fatigue cracking and moisture damage. Results show that the combination of asphalt-WMA additive, as well as the content applied of WMA additive has a significant impact on the fatigue cracking and moisture damage resistance. The results suggest that it is poor practice to use a given type and percentage of WMA modifier without regard for binder type. Instead, test methods are recommended to evaluate the compatibility of asphalt binder, WMA additive type/content, and aggregates for improved performance at different conditions.     

Microstructural aspects of hypervelocity impact cratering and jetting in copper

Light and transmission electron microscopy techniques have been applied in observations of hypervelocity impact craters in two different copper targets: a 38 m grain size mill-processed target, and a 763 m grain size annealed target, the smaller grained target being impacted with a 1100 aluminium sphere and the larger grained target being impacted with a soda-lime glass sphere, at velocities near 6 km s^–1. Both target craters exhibited dynamic recrystallization near the crater wall. The jetting associated with these two craters was very different. Considerably more plastic flow and a larger rim characterized the larger grained target. No significant melt-related phenomena were observed either near the crater wall or in the jetted rim for either crater. Consequently, the principal features of crater formation involve extreme plastic flow in the solid state. Microbands were observed to occur profusely in a zone below the smaller grained mill-processed target crater while more profuse and extremely long, unidirectional bundles of microbands (which were coincident with traces of {1 1 1} planes) occurred below the annealed larger grained target crater. These observations attest to the dominant and unique role played by deformation microbands in cratering in copper, because essentially no deformation twins were observed in either target.