Compact DSOP and Partial DSOP Forms

Given a Boolean function f on n variables, a Disjoint Sum-of-Products (DSOP) of f is a set of products (ANDs) of subsets of literals whose sum (OR) equals f, such that no two products cover the same minterm of f. DSOP forms are a special instance of partial DSOPs, i.e. the general case where a subset of minterms must be covered exactly once and the other minterms (typically corresponding to don’t care conditions of f) can be covered any number of times. We discuss finding DSOPs and partial DSOPs with a minimal number of products, a problem theoretically connected with various properties of Boolean functions and practically relevant in the synthesis of digital circuits. Finding an absolute minimum is hard, in fact we prove that the problem of absolute minimization of partial DSOPs is NP-hard. Therefore it is crucial to devise a polynomial time heuristic that compares favorably with the known minimization tools. To this end we develop a further piece of theory starting from the definition of the weight of a cube c as a functions of the number of fragments induced on other cubes by the selection of c, and show how cube weights can be exploited for building a class of minimization heuristics for DSOP and partial DSOP synthesis. A set of experiments conducted on major benchmark functions show that our method, with a family of variants, always generates better results than the ones of previous heuristics, including the method based on a BDD representation of f.     

Influence of the Tunnel Shape on Shotcrete Lining Stresses

Tunnel excavation is frequently carried out in rock masses by the drill and blast method and the final shape of the tunnel boundary can be irregular due to overbreaks. In order to investigate the effects of overbreaks a study of the effect of tunnel boundary irregularity has been carried out. This is done developing a computational tool able to take into account fuzzy variables (i.e., thickness of the beams of the bedded spring approach used for the model). The obtained results show that irregularity effects should be considered when a shotcrete lining is used as the final tunnel lining (for the case where the tunneling procedure does not permit a smooth surface to be obtained). This is crucial to obtain a durable lining.     

AZ31 magnesium alloy recycling through friction stir extrusion process

Friction Stir Extrusion is a novel technique for direct recycling of metal scrap. In the process, a dedicated tool produces both the heat and the pressure to compact and extrude the original raw material, i.e., machining chip, as a consolidated component. A proper fixture was used to carry out an experimental campaign on Friction Stir Extrusion of AZ31 magnesium alloy. Variable tool rotation and extrusion ratio were considered. Appearance of defects and fractures was related to either too high or too low power input. The extruded rods were investigated both from the metallurgical and mechanical points of view. Tensile strength up to 80 % of the parent material was found for the best combination of process parameters. A peculiar 3D helical material flow was highlighted through metallurgical observation of the specimens.     

Simultaneous determination of neonicotinoid insecticides in sunflower-treated seeds (hull and kernel) by LC-MS/MS

A validated analytical method to determine seven neonicotinoids (dinotefuran, nitenpyram, thiamethoxam, clothianidin, imidacloprid, acetamiprid and thiacloprid) in sunflower seeds (hull and kernel) using HPLC coupled to electrospray ionisation mass spectrometry (ESI-MS) is presented. Sample clean-up based on a solid–liquid extraction, and the removal of lipid fraction, in the case of kernels, is proposed and optimised. Low limits of detection and quantification were obtained, ranging from 0.3 × 10^–3 to 1.2 × 10^–3 µg g^–1 and from 1.0 × 10^–3 to 4.0 × 10^–3 µg g^–1, with good precision, and recovery values ranged from 90% to 104% for hulls and kernels. The method was applied for the analysis of five thiamethoxam-dressed sunflower seeds and four non-treated seeds, where, besides thiamethoxam, residues of the other neonicotinoid, clothianidin, were also detected and confirmed via tandem mass spectrometry (LC-ESI-MS/MS). Finally, the presence of residues of thiamethoxam and clothianidin in collected sunflower seeds (hulls) coming from coated seeds confirmed the translocation of these neonicotinoids through the plant up to these seeds.     

Segmentation of multiple sclerosis lesions in brain MRI: A review of automated approaches

Automatic segmentation of multiple sclerosis (MS) lesions in brain MRI has been widely investigated in recent years with the goal of helping MS diagnosis and patient follow-up. However, the performance of most of the algorithms still falls far below expert expectations. In this paper, we review the main approaches to automated MS lesion segmentation. The main features of the segmentation algorithms are analysed and the most recent important techniques are classified into different strategies according to their main principle, pointing out their strengths and weaknesses and suggesting new research directions. A qualitative and quantitative comparison of the results of the approaches analysed is also presented. Finally, possible future approaches to MS lesion segmentation are discussed.     

Deposition of Pt nanoparticles on different carbonaceous materials by using different preparation methods for PEMFC electrocatalysts

The objective of this study is to evaluate different methods to obtain Pt (20 wt%)/carbon electrocatalysts, in order to identify the conditions that lead to electrocatalysts with the best electrochemical performance. This paper involves the study of different methods for the deposition and reduction of H₂PtCl₆ on three carbon supports: Vulcan carbon, Multiwall carbon nanotubes and mesoporous carbons. The deposition–reduction methods in liquid phase were carried out with HCOOH or NaBH₄ as reducing agents. Besides, the conventional impregnation was carried out by deposition of H₂PtCl₆ on carbon followed by a reduction with H₂ at high temperature. The electrochemical performance of supported Pt catalysts prepared by reduction in liquid phase is strongly dependent on the metallic dispersion, the particle size distribution and the nature of the carbonaceous material used as a support. Results show that the deposition–reduction method using HCOOH 0.3 M at 50–60 °C and a mesoporous carbon leads to the most efficient electrocatalyst.     

Modelling concentration gradients in fed-batch cultivations of E. coli – towards the flexible design of scale-down experiments

The cover image is based on the Research Article Modelling concentration gradients in fed-batch cultivations of E. coli - towards the flexible design of scale-down experiments by Emmanuel Anane et al., DOI: 10.1002/jctb.5798 .

     

Ethyl group as matrix modifier and inducer of ordered domains in hybrid xerogels synthesised in acidic media using ethyltriethoxysilane (ETEOS) and tetraethoxysilane (TEOS) as precursors

Hybrid silica xerogels favourably combine the properties of organic and inorganic components in one material; consequently these materials are useful for multiple applications. The versatility and mild synthetic conditions provided by the sol-gel process are ideal for the synthesis of hybrid materials. The specific aims of this study were to synthesise hybrid xerogels in acidic media using tetraethoxysilane (TEOS) and ethyltriethoxysilane (ETEOS) as silica precursors, and to assess the role of the ethyl group as a matrix modifier and inducer of ordered domains in xerogels. All xerogels were synthesised at pH 4.5, at 60 °C, with 1:4.75:5.5 TEOS:EtOH:H₂O molar ratio. Gelation time exponentially increased with the ETEOS molar ratio. Incorporation of the ethyl groups into the structure of xerogels reduced cross-linking, increased the average siloxane bond length, and promoted the formation of ordered domains. As a result, a transition from Qⁿ to Tⁿ signals detected in the ²⁹Si NMR spectra, the Si–O structural band in the FTIR spectra shifted to lower wavelength, and a new peak in the XRD pattern at 2θ < 10° appeared in the XRD patterns. Mass spectroscopy detected fragments with high numbers of silicon atoms and a polymeric distribution.     

Penalized spline approaches for functional logit regression

The problem of multicollinearity associated with the estimation of a functional logit model can be solved by using as predictor variables a set of functional principal components. The functional parameter estimated by functional principal component logit regression is often nonsmooth and then difficult to interpret. To solve this problem, different penalized spline estimations of the functional logit model are proposed in this paper. All of them are based on smoothed functional PCA and/or a discrete penalty in the log-likelihood criterion in terms of B-spline expansions of the sample curves and the functional parameter. The ability of these smoothing approaches to provide an accurate estimation of the functional parameter and their classification performance with respect to unpenalized functional PCA and LDA-PLS are evaluated via simulation and application to real data. Leave-one-out cross-validation and generalized cross-validation are adapted to select the smoothing parameter and the number of principal components or basis functions associated with the considered approaches.