Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints

In recent years, several extensions of tree automata have been considered. Most of them are related with the capability of testing equality or disequality of certain subterms of the term evaluated by the automaton. In particular, tree automata with global constraints are able to test equality and disequality of subterms depending on the state to which they are evaluated. The emptiness problem is known decidable for this kind of automata, but with a non-elementary time complexity, and the finiteness problem remains unknown. In this paper, we consider the particular case of tree automata with global constraints when the constraint is a conjunction of disequalities between states, and the disequality predicate is forced to be reflexive. This restriction is significant in the context of XML definitions with monadic key constraints. We prove that emptiness and finiteness are decidable in triple exponential time for this kind of automata.     

Modification of Fe and Al elemental powders’ sintering with addition of magnesium and magnesium hydride

An attempt to modify sintering of iron and aluminium elemental powders with use of small additions of Mg and MgH₂ was presented in this paper. The kinetics of such modified sintering was investigated using DSC technique, XRD analysis and SEM observations. Significant changes in the mechanism of exothermal formation reaction of Fe–Al intermetallic phases in compositions doped with magnesium and its hydride was observed. Initiation temperature of Self-propagating High-temperature Synthesis (SHS) reaction was pronouncedly shifted to lower value as compared with undoped composition. Influence of additions on the SHS reaction kinetics parameters was also calculated with use of the JMA model and changes of the Avrami exponent value of specific phase formation was noticed. Positive effect of MgH₂ addition on partial homogeneity of final product was also studied.     

Microstructure of NiCoAlFeCuCr multi-component systems synthesized by mechanical alloying

The present study uses the mechanical alloying method to produce series of binary to senary alloys based on Ni, Co, Al, Fe, Cu, Cr. Milling times are 0, 10, 20 and 30 h and experiments are performed in a high energy ball mill. The results of this investigation show that an FCC solid solution is formed in all the studied systems, but a different phase formation response is presented in each system. A mixture of FCC and BCC solid solutions in quaternary to senary systems, is formed for short milling times. Apparently, the dissolution rate of Fe and Cr into the FCC solid solution, is low. Moreover, it is observed that additions of these elements promote the formation of BCC solid solution, which is stable at temperatures up to ?1273 K. Finally, it is observed that the heat treated products present a mixture of FCC and BCC solid solutions with lattice parameters close to those found in the milled products.     

Analysis and DEM simulation of granular material flow patterns in hopper models of different shapes

By using the discrete element method (DEM) a comparison and observations on material flow patterns in plane-wedged, space-wedged, and flat-bottomed hopper were accounted for. Numerical results obtained by combining data of individual particles, statistical processing of particle assemblies and evaluation of the field variables provided the essential characteristics for different regimes of the discharge flow (within steady or unsteady state of flow) and the differences in differently shaped hoppers due to different microscopic inter-particle friction. For validation of the performed simulations, velocity patterns developed in three-dimensional flat-bottomed hopper containing 20,400 pea grains were also analysed. To represent the continuum by avoiding the local effects produced by the individual grains, the simulation results were focused on the mean velocity distributions with data smoothening. The effect of rolling resistance on granular material flow was also considered.     

Coatings against corrosion and microbial adhesion

A systematic study on anti‐corrosion and anti‐fouling effect of hydrophobic Langmuir–Blodgett and self‐assembled molecular layers deposited on metal surfaces, as well as anti‐microbial adhesion properties of coatings with biocide is presented. Both types of efficiencies produced by LB films are enhanced by Fe³⁺ ions built in the molecular film. The quaternary ammonium type biocide embedded into the cross‐linked gelatin decreased significantly the microbial adhesion, the biofilm formation.     

Cost‐Efficient Virtual Optical Network Embedding for Manageable Inter‐Data‐Center Connectivity

Network virtualization opens the door to novel infrastructure services offering connectivity and node manageability. In this letter, we focus on the cost‐efficient embedding of on‐demand virtual optical network requests for interconnecting geographically distributed data centers. We present a mixed integer linear programming formulation that introduces flexibility in the virtual‐physical node mapping to optimize the usage of the underlying physical resources. Illustrative results show that flexibility in the node mapping can reduce the number of add‐drop ports required to serve the offered demands by 40%.     

Artifact removal in magnetoencephalogram background activity with independent component analysis

The aim of this study was to assess whether independent component analysis (ICA) could be valuable to remove power line noise, cardiac, and ocular artifacts from magnetoencephalogram (MEG) background activity. The MEGs were recorded from 11 subjects with a 148-channel whole-head magnetometer. We used a statistical criterion to estimate the number of independent components. Then, a robust ICA algorithm decomposed the MEG epochs and several methods were applied to detect those artifacts. The whole process had been previously tested on synthetic data. We found that the line noise components could be easily detected by their frequency spectrum. In addition, the ocular artifacts could be identified by their frequency characteristics and scalp topography. Moreover, the cardiac artifact was better recognized by its skewness value than by its kurtosis one. Finally, the MEG signals were compared before and after artifact rejection to evaluate our method.     

CMOS harmonic upconverter with power management of $$2{\bf nd}$$ harmonic for wideband short-range communications

The design and simulation of a 2nd harmonic based upconverter is introduced. With the proposed upconverter, it is possible to reach a good noise figure with power and area reduction. The design of the circuit was made with the UMC \(0.18\,\upmu \hbox {m}\) Mixed Mode/RF CMOS technology. However, the design methodology can be extended to a different CMOS process. According to the performance exhibited by the purposed mixer, it may be useful in wideband short-range communication technologies, such as certified wireless USB.