Scheduling algorithms for fault-tolerance in hard-real-time systems

Many time-critical applications require predictable performance in the presence of failures. This paper considers a distributed system with independent periodic tasks which can checkpoint their state on some reliable medium in order to handle failures. The problem of preemptively scheduling a set of such tasks is discussed where every occurrence of a task has to be completely executed before the next occurrence of the same task can start. Efficient scheduling algorithms are proposed which yield sub-optimal schedules when there is provision for fault-tolerance. The performance of the solutions proposed is evaluated in terms of the number of processors and the cost of the checkpoints needed. Moreover, analytical studies are used to reveal interesting trade-offs associated with the scheduling algorithms.This work has been supported by grants from the Italian Ministero dell'Università e della Ricerca Scientifica e Tecnologica and the Consiglio Nazionale delle Ricerche-Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo.     

Recent Advances on High-Speed and Holographic Two-Photon Direct Laser Writing

Two-Photon Lithography, thanks to its very high sub-diffraction resolution, has become the lithographic technique par excellence in applications requiring small feature sizes and complex 3D pattering. Despite this, the fabrication times required for extended structures remain much longer than those of other competing techniques (UV mask lithography, nanoimprinting, etc.). Its low throughput prevents its wide adoption in industrial applications. To increase it, over the years different solutions have been proposed, although their usage is difficult to generalize and may be limited depending on the specific application. A promising strategy to further increase the throughput of Two-Photon Lithography, opening a concrete window for its adoption in industry, lies in its combination with holography approaches: in this way it is possible to generate dozens of foci from a single laser beam, thus parallelizing the fabrication of periodic structures, or to engineer the intensity distribution on the writing plane in a complex way, obtaining 3D microstructures with a single exposure. Here, the fundamental concepts behind high-speed Two-Photon Lithography and its combination with holography are discussed, and the literary production of recent years that exploits such techniques is reviewed, and contextualized according to the topic covered.     

Limited Accuracy of Pan-Trk Immunohistochemistry Screening for NTRK Rearrangements in Follicular-Derived Thyroid Carcinoma

Patients with advanced thyroid cancer harboring NTRK rearrangements can be treated with highly effective selective inhibitors. Immunohistochemistry (IHC) analysis, to detect Trk protein expression, represents an appealing screening strategy for NTRK rearrangements, but its efficacy has been poorly explored in thyroid cancer. The aim of this study is to investigate the diagnostic utility of Trk IHC in the identification of NTRK rearrangements. A series of 26 follicular-derived thyroid tumors, positive for NTRK rearrangements, and 28 NTRK fusion-negative controls were retrospectively analyzed by IHC using the pan-Trk monoclonal antibody (clone {"type":"entrez-protein","attrs":{"text":"EPR17341","term_id":"523383444","term_text":"EPR17341"}}EPR17341) on the Ventana system. Area under the curve (AUC), sensitivity and specificity were calculated by ROC analysis. Trk expression was detected in 25 samples, including 22 out of the 26 NTRK-rearranged (84.6%) and three out of 28 NTRK-negative samples (10.7%). Four out of twenty-six NTRK-rearranged thyroid tumors were negative for Trk expression (15.4%), all carrying the ETV6/NTRK3 fusion. The AUC, sensitivity and specificity were 0.87, 0.85 and 0.89, respectively. A screening based on IHC analysis showed limited sensitivity and specificity in the identification of NTRK-rearranged tumors. Since falsely negative results could preclude the administration of effective targeted drugs, alternative detection strategies should be considered for thyroid cancer.     

Multicentre evaluation of the Monarch (IL) clinical chemistry analyser

A multicentre evaluation of the Monarch centrifugal analyser is reported. Precision, linearity and accuracy were assessed by comparison with routine methods. Calibration stability, photometric and dispensing accuracy, and carry-over related to samples and reagents were also evaluated. The overall performance of the instrument was good, showing an excellent photometric and dispensing accuracy, absence of sample-dependent carry-over, and almost negligible reagent carry-over. Good precision, linearity and correlation with routine methods were found for the parameters tested. The instrument is reliable and is now used as the routine clinical chemistry analyser in two of the three laboratories taking part in the evaluation.     

The complexity and approximation of fixing numerical attributes in databases under integrity constraints

Consistent query answering is the problem of characterizing and computing the semantically correct answers to queries from a database that may not satisfy certain integrity constraints. Consistent answers are characterized as those answers that are invariant under all minimally repaired versions of the original database. We study the problem of repairing databases with respect to denial constraints by fixing integer numerical values taken by attributes. We introduce a quantitative definition of database repair, and investigate the complexity of several decision and optimization problems. Among them, Database Repair Problem (DRP): deciding the existence of repairs within a given distance to the original instance, and CQA: deciding consistency of answers to simple and aggregate conjunctive queries under different semantics. We provide sharp complexity bounds, identifying relevant tractable and intractable cases. We also develop approximation algorithms for the latter. Among other results, we establish: (a) The -hardness of CQA. (b) That DRP is MAXSNP-hard, but has a good approximation. (c) The intractability of CQA for aggregate queries for one database atom denials (plus built-ins), and also that it has a good approximation.     

用于敞开式变电站的特高压开关设备

作为1 100 kV的UHV(特高压)输电,面临技术--生态环境的巨大挑战.变电站的UHV开关装置模块,需要的是可靠、成本/效益比好、环境友好、可维护的方案.对于这些所需的参数以及技术规范的验证,采用AIS(空气隔离变电所)技术能完全满足这些需要.介绍由瓷柱式断路器、隔离开关和NCIT(非传统互感器)所组成的UHV模块.这些装置是根据模块原理预先设计好的,其中的设备间的连接肯定允许快速安装.在变电站设备控制和检测方面,模块是预制标准化.加拿大和德国的试验站对断路器、隔离开关等独立的开关元件,在1 100 kV上做BIL、SIL和工频等绝缘试验,性能表现非常优越.因为对于特高压电压等级,IEC标准至今尚未规定,所以将根据外推法和现场数据作合理解释.瓷柱式断路器采用了最新复合绝缘体技术,在安全方面有所改进.AIS方案其他的关键技术,例如环境保护和成本,在可比的功能间,根据市场估计价值,与GIS解决方法作了比较.     

The solid-state rearrangement of the Wells-Dawson K6P2W18O62·10H2O to a stable Keggin-type heteropolyanion phase: a catalyst for the selective oxidation of isobutane to isobutene

The thermal and structural stability of the Wells-Dawson-type heteropoly compound K₆P₂W₁₈O₆₂·10H₂O was examined by FT-IR spectroscopy, X-ray powder diffraction, thermogravimetric analysis and HRTEM. It was found that calcination at temperatures higher than 850 K led to the formation of a Keggin-type compound K₃PW₁₂O₄₀, containing small amounts of an additional phase originated from the high-temperature interaction between potassium phosphate (K₃PO₄ formed during the decomposition of the K₆P₂W₁₈O₆₂·10H₂O) and the Keggin-type compound itself. The Keggin-type product showed a higher activity in the selective oxidative dehydrogenation of isobutane to isobutene compared to both the Wells-Dawson precursor and to pure, authentic K₃PW₁₂O₄₀. This higher activity can be tentatively attributed to the presence of an amorphous layer of unknown stoichiometry at the surface of the thermally rearranged Wells-Dawson compound.