Automated Parallelization of Discrete State-Space Generation

We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of reachable states according to a hashing function provided by the user, we explore heuristic methods that completely automate the process. The first step is an initial random walk through the state space to initialize a search tree, duplicated in each processor. Then, the reachability graph is built in a distributed way, using the search tree to assign each newly found state to classes assigned to the available processors. Furthermore, we explore two remapping criteria that attempt to balance memory usage or future workload, respectively. We show how the cost of computing the global snapshot required for remapping will scale up for system sizes in the foreseeable future. An extensive set of results is presented to support our conclusions that remapping is extremely beneficial.     

Cathodic processes in the leaching and electrochemistry of covellite in mixed sulfate–chloride media

The cathodic processes that occur on a covellite (CuS) surface in mixed sulfate–chloride solutions in the absence and presence of copper(II) ions have been studied using potentiostatic transients and cyclic voltammetry at rotating disk electrodes in the potential range 0.3–0.7 V (versus SHE). This range is relevant to the oxidative leaching of this copper mineral in sulfate and chloride lixiviants. Variations in the concentrations of sulfate and chloride ions had a small effect on the cathodic reduction of covellite in the potential range of 0.5–0.3 V, although the presence of chloride ion resulted in a significant increase in the anodic current on the reverse sweep. On the other hand, addition of copper(II) ions resulted in enhanced cathodic currents and subsequent anodic currents in both sulfate and chloride solutions due to reduction of covellite to an undefined reduced copper sulfide species. Reduction of copper(II) to copper(I) ions becomes the preferred cathodic reaction as the concentration of chloride ions increases, becoming mass transport controlled at a rotating disc electrode at potentials below about 0.4 V. Potentiostatic measurements at potentials negative to the mixed potential in acidic chloride solutions have shown that reduction of copper(II) ions is reversible and have been used to estimate the rate of oxidative dissolution of the mineral which value agrees reasonably well with previously reported leaching rates under similar conditions. Reduction of dissolved oxygen has been found to be very much slower that that of copper(II) ions under ambient conditions.     

Apparatus for vectorial Kerr confocal microscopy

We present a confocal microscopy setup that is able to record magneto-optical hysteresis cycles separating the in-plane and out-of-plane magnetization components. This apparatus is based on a modified commercial microscope, where the light beam has been deviated from the cylindrical symmetry axis of the objective lenses by inserting a translating plate in the optical path. The instrument allows for the magneto-optical imaging with a lateral resolution of 600 nm at λ = 635 nm light wavelength.     

UAVs Integration in the SWIM Based Architecture for ATM

The System Wide Information Management (SWIM) approach has been conceived to overcome the capacity and flexibility limitations of the current ATM systems. On the other hand the commercial applications of Unmanned Aerial Vehicles (UAVs) require the integration of these vehicles in the ATM. From this perspective, the unavoidable modernization of the ATM is seen as an opportunity to integrate the UAVs with the rest of the air traffic. This paper is devoted to study the feasibility and impact of the aggregation of UAVs on the future ATM supported by a SWIM inspired architecture. Departing from the existing technical documents that describe the fundamentals of SWIM we have explored the compatibility with a potential UAVs integration and also explored how the UAVs could help to improve the future ATM system. We will use the weather application as an example in both cases.     

Boosting k-nearest neighbor classifier by means of input space projection

The k-nearest neighbors classifier is one of the most widely used methods of classification due to several interesting features, such as good generalization and easy implementation. Although simple, it is usually able to match, and even beat, more sophisticated and complex methods. However, no successful method has been reported so far to apply boosting to k-NN. As boosting methods have proved very effective in improving the generalization capabilities of many classification algorithms, proposing an appropriate application of boosting to k-nearest neighbors is of great interest.Ensemble methods rely on the instability of the classifiers to improve their performance, as k-NN is fairly stable with respect to resampling, these methods fail in their attempt to improve the performance of k-NN classifier. On the other hand, k-NN is very sensitive to input selection. In this way, ensembles based on subspace methods are able to improve the performance of single k-NN classifiers. In this paper we make use of the sensitivity of k-NN to input space for developing two methods for boosting k-NN. The two approaches modify the view of the data that each classifier receives so that the accurate classification of difficult instances is favored.The two approaches are compared with the classifier alone and bagging and random subspace methods with a marked and significant improvement of the generalization error. The comparison is performed using a large test set of 45 problems from the UCI Machine Learning Repository. A further study on noise tolerance shows that the proposed methods are less affected by class label noise than the standard methods.     

A covert attention P300-based brain-computer interface: Geospell

The Farwell and Donchin P300 speller interface is one of the most widely used brain-computer interface (BCI) paradigms for writing text. Recent studies have shown that the recognition accuracy of the P300 speller decreases significantly when eye movement is impaired. This report introduces the GeoSpell interface (Geometric Speller), which implements a stimulation framework for a P300-based BCI that has been optimised for operation in covert visual attention. We compared the Geospell with the P300 speller interface under overt attention conditions with regard to effectiveness, efficiency and user satisfaction. Ten healthy subjects participated in the study. The performance of the GeoSpell interface in covert attention was comparable with that of the P300 speller in overt attention. As expected, the effectiveness of the spelling decreased with the new interface in covert attention. The NASA task load index (TLX) for workload assessment did not differ significantly between the two modalities. PRACTITIONER SUMMARY: This study introduces and evaluates a gaze-independent, P300-based brain-computer interface, the efficacy and user satisfaction of which were comparable with those off the classical P300 speller. Despite a decrease in effectiveness due to the use of covert attention, the performance of the GeoSpell far exceeded the threshold of accuracy with regard to effective spelling.     

Atomically Thin Mica Flakes and Their Application as Ultrathin Insulating Substrates for Graphene

By mechanical exfoliation, it is possible to deposit atomically thin mica flakes down to single‐monolayer thickness on SiO₂/Si wafers. The optical contrast of these mica flakes on top of a SiO₂/Si substrate depends on their thickness, the illumination wavelength, and the SiO₂ substrate thickness, and can be quantitatively accounted for by a Fresnel‐law‐based model. The preparation of atomically thin insulating crystalline sheets will enable the fabrication of ultrathin, defect‐free insulating substrates, dielectric barriers, or planar electron‐tunneling junctions. Additionally, it is shown that few‐layer graphene flakes can be deposited on top of a previously transferred mica flake. Our transfer method relies on viscoelastic stamps, as used for soft lithography. A Raman spectroscopy study shows that such an all‐dry deposition technique yields cleaner and higher‐quality flakes than conventional wet‐transfer procedures based on lithographic resists.     

Model and algorithm for computer-aided inventive problem analysis

The paper presents the research activity developed by the authors in the field of computer-aided inventive problem solving: an original model and a dialogue-based software application have been developed by integrating the logic of ARIZ (Algorithm for the Inventive Problem Solving) with some OTSM-TRIZ (General Theory of Powerful Thinking) models in order to guide a user also with no TRIZ education to the analysis of inventive problems. The paper demonstrates that through a dialogue-based interaction it is possible to guide the user towards a proper formulation of the problem statement, which is an essential step of any conceptual design activity. The proposed software system, although still at a prototype stage, has been tested with students at Politecnico di Milano and at the University of Florence. The paper details the structure of the algorithm and the results of the first validation activity; then, it discusses about the possibility to integrate the proposed approach into a new generation of CAD systems.     

Study of shrinkage porosity in spheroidal graphite cast iron

This study aims at identifying the relationship between the shrinkage cavities and the solidification structure in spheroidal graphite cast iron. Cast samples specially designed to contain shrinkage cavities were used. The solidification macrostructure was revealed using the Direct Austempering After Solidification method, while the solidification microstructure was revealed by using colour etching. At the midsection of the pieces, the shrinkage cavities and the solidification structure were observed jointly. The study showed that the classification of shrinkage porosity found in literature does not correspond to the ductile iron solidification model recognized by most of the scientific community. Early solidification models, and therefore shrinkage formation mechanisms, were proposed in instances when there was not a thorough knowledge of the morphology of the solid phases during solidification. Nowadays, defects formation mechanisms can be described with higher accuracy. Therefore, an updated classification of shrinkage porosity for spheroidal graphite iron is proposed.     

Controlled Solidification of Liquids Within the SFC Primary Phase Field of the “Fe2O3”-CaO-SiO2 System in Air

Metallurgical and Materials Transactions B - To provide fundamental information on the phases and microstructures formed during sintering, a liquid with a bulk composition within the silico ferrite...