The Configurable SAT Solver Challenge (CSSC)

It is well known that different solution strategies work well for different types of instances of hard combinatorial problems. As a consequence, most solvers for the propositional satisfiability problem (SAT) expose parameters that allow them to be customized to a particular family of instances. In the international SAT competition series, these parameters are ignored: solvers are run using a single default parameter setting (supplied by the authors) for all benchmark instances in a given track. While this competition format rewards solvers with robust default settings, it does not reflect the situation faced by a practitioner who only cares about performance on one particular application and can invest some time into tuning solver parameters for this application. The new Configurable SAT Solver Competition (CSSC) compares solvers in this latter setting, scoring each solver by the performance it achieved after a fully automated configuration step. This article describes the CSSC in more detail, and reports the results obtained in its two instantiations so far, CSSC 2013 and 2014

Characteristics, accuracy and reverification of robotised articulated arm CMMs

VDI article 2617 specifies characteristics to describe the accuracy of articulated arm coordinate measuring machines (AACMMs) and outlines procedures for checking them. However the VDI prescription was written with a former generation of machines in mind: manual arms exploiting traditional touch probe technologies. Recent advances in metrology have given rise to noncontact laser scanning tools and robotic automation of articulated arms – technologies which are not adequately characterised using the VDI specification. In this paper we examine the “guidelines” presented in VDI 2617, finding many of them to be ambiguous and open to interpretation, with some tests appearing even to be optional. The engineer is left significant flexibility in the execution of the test procedures and the manufacturer is free to specify many of the test parameters. Such flexibility renders the VDI tests of limited value and the results can be misleading. We illustrate, with examples using the Nikon RCA, how a liberal interpretation of the VDI guidelines can significantly improve accuracy characterisation and suggest ways in which to mitigate this problem. We propose a series of stringent tests and revised definitions, in the same vein as VDI 2617 and similar US standards, to clarify the accuracy characterisation process. The revised methodology includes modified acceptance and reverification tests which aim to accommodate emerging technologies, laser scanning devices in particular, while maintaining the spirit of the existing and established standards. We seek to supply robust re-definitions for the accepted terms “zero point” and “useful arm length”, pre-supposing nothing about the geometry of the measuring device. We also identify a source of error unique to robotised AACMMs employing laser scanners – the forward-reverse pass error. We show how eliminating this error significantly improves the repeatability of a device and propose a novel approach to the testing of probing error based on statistical uncertainty

Early diffusion evidence of retrograde transsynaptic degeneration in the human visual system

We investigated whether diffusion tensor imaging (DTI) indices of white matter integrity would offer early markers of retrograde transsynaptic degeneration (RTD) in the visual system after stroke Objective: We investigated whether diffusion tensor imaging (DTI) indices of white matter integrity would offer early markers of retrograde transsynaptic degeneration (RTD) in the visual system after stroke. Methods: We performed a prospective longitudinal analysis of the sensitivity of DTI markers of optic tract health in 12 patients with postsynaptic visual pathway stroke, 12 stroke controls, and 28 healthy controls. We examined group differences in (1) optic tract fractional anisotropy (FA-asymmetry), (2) perimetric measures of visual impairment, and (3) the relationship between FA-asymmetry and perimetric assessment. Results: FA-asymmetry was higher in patients with visual pathway lesions than in control groups. These differences were evident 3 months from the time of injury and did not change significantly at 12 months. Perimetric measures showed evidence of impairment in participants with visual pathway stroke but not in control groups. A significant association was observed between FA-asymmetry and perimetric measures at 3 months, which persisted at 12 months. Conclusions: DTI markers of RTD are apparent 3 months from the time of injury. This represents the earliest noninvasive evidence of RTD in any species. Furthermore, these measures associate with measures of visual impairment. DTI measures offer a reproducible, noninvasive, and sensitive method of investigating RTD and its role in visual impairment

Production accompanying testing of the ATLAS Pixel module

The ATLAS Pixel detector, innermost sub-detector of the ATLAS experiment at LHC, CERN, can be sensibly tested in its entirety the first time after its installation in 2006. Because of the poor accessibility (probably once per year) of the Pixel detector and tight scheduling the replacement of damaged modules after integration as well as during operation will become a highly exposed business. Therefore and to ensure that no affected parts will be used in following production steps, it is necessary that each production step is accompanied by testing the components before assembly and make sure the operativeness afterwards. Probably 300 of about total 2000 semiconductor hybrid pixel detector modules will be build at the Universität Dortmund. Thus a production test setup has been build up and examined before starting serial production. These tests contain the characterization and inspection of the module components and the module itself under different environmental conditions and diverse operating parameters. Once a module is assembled the operativeness is tested with a radioactive source and the long-time stability is assured by a burn-in. A fully electrical characterization is the basis for module selection and sorting for the ATLAS Pixel detector. Additionally the charge collection behavior of irradiated and non irradiated modules has been investigated in the H8 beamline with 180 GeV pions

The STAR MAPS-based PiXeL detector

The PiXeL detector (PXL) for the Heavy Flavor Tracker (HFT) of the STAR experiment at RHIC is the first application of the state-of-the-art thin Monolithic Active Pixel Sensors (MAPS) technology in a collider environment. Custom built pixel sensors, their readout electronics and the detector mechanical structure are described in detail. Selected detector design aspects and production steps are presented. The detector operations during the three years of data taking (2014-2016) and the overall performance exceeding the design specifications are discussed in the conclusive sections of this paper

LARES-lab: a thermovacuum facility for research and e-learning. Tests of LARES satellite components and small payloads for e-learning

LARES, an Italian Space Agency satellite, has been launched successfully in 2012. A small thermovacuum facility has been designed and built specifically for performing tests on the optical components of the satellite. Due to the extremely demanding performances of the optical cube corner reflectors, the space conditions have been simulated using the most up-to-date technology available. In particular Sun, Earth and deep space can be simulated in a ultra high vacuum. It is planned to automate the facility so that it can be operated remotely over the internet. The students during the lectures and the researchers from home will be able to perform thermal tests on specimens by exposing them, for specified amount of time, toward Earth, Sun or deep space. They will collect pressures and temperatures and will input additional thermal power through resistive heaters. The paper will first describe the facility and its capabilities showing the tests performed on LARES satellite components but will focus mainly to the planned upgrades that improve its remote use both for research and e-learning

System efficient ESD design concept for soft failures

This research covers the topic of developing a systematic methodology of studying electrostatic discharge (ESD)-induced soft failures. ESD-induced soft failures (SF) are non-destructive disruptions of the functionality of an electronic system. The soft failure robustness of a USB3 Gen 1 interface is investigated, modeled, and improved. The injection is performed directly using transmission line pulser (TLP) with varying: pulse width, amplitude, polarity. Characterization provides data for failure thresholds and a SPICE circuit model that describes the transient voltage and current at the victim. Using the injected current, the likelihood of a SF is predicted. ESD protection by transient voltage suppressor (TVS) diodes is numerically simulated in several configurations. The results strongly suggest the viability of using well-established hard failure mitigation techniques for improving SF robustness, and the possibility of using numerical simulation for optimization purposes. A concept of soft failure system efficient ESD design (SF-SEED) is proposed and shown to be effective --Abstract, page iv

FTMP (Fault Tolerant Multiprocessor) programmer's manual

The Fault Tolerant Multiprocessor (FTMP) computer system was constructed using the Rockwell/Collins CAPS-6 processor. It is installed in the Avionics Integration Research Laboratory (AIRLAB) of NASA Langley Research Center. It is hosted by AIRLAB's System 10, a VAX 11/750, for the loading of programs and experimentation. The FTMP support software includes a cross compiler for a high level language called Automated Engineering Design (AED) System, an assembler for the CAPS-6 processor assembly language, and a linker. Access to this support software is through an automated remote access facility on the VAX which relieves the user of the burden of learning how to use the IBM 4381. This manual is a compilation of information about the FTMP support environment. It explains the FTMP software and support environment along many of the finer points of running programs on FTMP. This will be helpful to the researcher trying to run an experiment on FTMP and even to the person probing FTMP with fault injections. Much of the information in this manual can be found in other sources; we are only attempting to bring together the basic points in a single source. If the reader should need points clarified, there is a list of support documentation in the back of this manual