Prevention of steel corrosion in concrete exposed to seawater with submerged sacrificial anodes

This paper presents the results of a study of the effectiveness of submerged sacrificial anodes in preventing the onset of pitting corrosion in the emerged part of marine piles. Experimental tests were carried out on reinforced concrete columns with steel embedded both in chloride free concrete and chloride contaminated concrete in order to compare the effects of sacrificial anodes on passive steel and on corroding steel. Results have shown, at least under the present testing conditions, that sacrificial anodes may be more effective in preventing corrosion initiation (i.e. in providing cathodic prevention) than in controlling ongoing pitting corrosion (i.e. in guaranteeing cathodic protection). Monitoring criteria for this type of prevention are also discussed.     

Robustness of ISS systems to inputs with limited moving average: Application to spacecraft formations

We provide a theoretical framework that fits realistic challenges related to spacecraft formation with disturbances. We show that the input‐to‐state stability of such systems guarantees some robustness with respect to a class of signals with bounded average‐energy, which encompasses the typical disturbances acting on spacecraft formations. Solutions are shown to converge to the desired formation, up to an offset, which is somewhat proportional to the considered moving average of disturbances. In the presence of fast peaking perturbations, the approach provides a tighter evaluation of the disturbances' influence, which allows for the use of more parsimonious control gains. Copyright © 2015 John Wiley & Sons, Ltd.     

Maximum density of quantum information in a scalable CMOS implementation of the hybrid qubit architecture

Scalability from single-qubit operations to multi-qubit circuits for quantum information processing requires architecture-specific implementations. Semiconductor hybrid qubit architecture is a suitable candidate to realize large-scale quantum information processing, as it combines a universal set of logic gates with fast and all-electrical manipulation of qubits. We propose an implementation of hybrid qubits, based on Si metal-oxide-semiconductor (MOS) quantum dots, compatible with the CMOS industrial technological standards. We discuss the realization of multi-qubit circuits capable of fault-tolerant computation and quantum error correction, by evaluating the time and space resources needed for their implementation. As a result, the maximum density of quantum information is extracted from a circuit including eight logical qubits encoded by the [[7, 1, 3]] Steane code. The corresponding surface density of logical qubits is 2.6 Mqubit/cm\(^2\).     

2-Transitivity is Insufficient for Local Testability

A basic goal in property testing is to identify a minimal set of features that make a property testable. For the case when the property to be tested is membership in a binary linear error-correcting code, Alon et al. (Trans Inf Theory, 51(11):4032–4039, 2005) had conjectured that the presence of a single low-weight codeword in the dual, and “2-transitivity” of the code (i.e., the code being invariant under a 2-transitive group of permutations on the coordinates of the code) suffice to get local testability. We refute this conjecture by giving a family of error-correcting codes where the coordinates of the codewords form a large field of characteristic two, and the code is invariant under affine transformations of the domain. This class of properties was introduced by Kaufman & Sudan (STOC, 2008) as a setting where many results in algebraic property testing generalize. Our result shows a complementary virtue: This family also can be useful in producing counterexamples to natural conjectures.     

NetCluster: A clustering-based framework to analyze internet passive measurements data

Internet measured data collected via passive measurement are analyzed to obtain localization information on nodes by clustering (i.e., grouping together) nodes that exhibit similar network path properties. Since traditional clustering algorithms fail to correctly identify clusters of homogeneous nodes, we propose the NetCluster novel framework, suited to analyze Internet measurement datasets. We show that the proposed framework correctly analyzes synthetically generated traces. Finally, we apply it to real traces collected at the access link of Politecnico di Torino campus LAN and discuss the network characteristics as seen at the vantage point.     

A tabu search heuristic for a sequence-dependent and time-dependent scheduling problem on a single machine

This paper introduces a tabu search heuristic for a production scheduling problem with sequence-dependent and time-dependent setup times on a single machine. The problem consists in scheduling a set of dependent jobs, where the transition between two jobs comprises an unrestricted setup that can be performed at any time, and a restricted setup that must be performed outside of a given time interval which repeats daily in the same position. The setup time between two jobs is thus a function of the completion time of the first job. The tabu search heuristic relies on shift and swap moves, and a surrogate objective function is used to speed-up the neighborhood evaluation. Computational experiments show that the proposed heuristic consistently finds better solutions in less computation time than a recent branch-and-cut algorithm. Furthermore, on instances where the branch-and-cut algorithm cannot find the optimal solution, the heuristic always identifies a better solution.     

Thymosin β4 is differentially expressed in the cerebrospinal fluid of Creutzfeldt‐Jakob disease patients: a MALDI‐TOF MS protein profiling study

MALDI‐TOF protein profiling analysis permits the detection of peptides and small proteins in complex protein mixtures with great accuracy. We applied this analysis to cerebrospinal fluid (CSF) from 15 patients affected by Creutzfeldt‐Jakob disease (CJD). We compared the levels of the normalized ion signals of 11 sporadic and 4 genetic CJD forms with those from ten healthy control subjects and eight non‐CJD relapsing‐remitting multiple sclerosis patients. In so doing, we detected 61 differentially expressed ion signals in CJD samples compared to controls. Among the 61 signals, 3 signals had significantly increased levels with high statistical significance (p <0.0001) and were located at 3238.3 m/z, 4963.7 m/z, and 8565.3 m/z. We characterized the 5.0 and 8.6 kDa proteins as thymosin β4 N‐acetylated and free ubiquitin, respectively, while the 3.2‐kDa peptide remained uncharacterized. Although elevated ubiquitin levels have previously been described in CJD, we have demonstrated for the first time the involvement of thymosin β4 in a neurodegenerative disease. To support the validity of thymosin β4 levels obtained by MALDI‐TOF analysis, an independent enzyme immunoassay analysis was performed. Moreover, a validation cohort consisting of CSF from three CJD patients, five healthy subjects, and six non‐CJD relapsing‐remitting multiple sclerosis patients was analyzed in a similar way, yielding superimposable results. We propose that thymosin β4 is a potential new candidate marker for the ante mortem diagnosis of CJD disease.     

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.     

Fuzzy Adaptive Control Law for Trajectory Tracking Based on a Fuzzy Adaptive Neural PID Controller of a Multi-rotor Unmanned Aerial Vehicle

International Journal of Control, Automation and Systems - This article presents a fuzzy adaptive control law (FACL) designed for tracking the trajectory of a low-scale unmanned aerial vehicle...