New results in 2D optimal control theory

The infinite horizon optimal control problem is solved for 2D systems described by the Fornasini-Marchesini model. An ₂-approach permits us to reduce the optimal control problem to a norm minimization one in Hilbert spaces. Both necessary and sufficient conditions for solvability and the structure of the solution are established. Moreover, a comparison with known results is presented, and the singularities of the 2D Riccati equation are examined in order to characterize suboptimal control laws that apply whenever the solvability conditions are not satisfied.     

Interpretation time of serial chest CT examinations with stacked-metaphor workstation versus film alternator

PURPOSE: Interpretation time of serial staging chest CT cases, which each contained current and previous examinations, with a simple prototype workstation called filmstack was experimentally compared with interpretation time with a film alternator. MATERIALS AND METHODS: The filmstack displayed a "stack" of sections for each examination; user controls allowed rapid selection of preset attenuation windows and both synchronized and unsynchronized scrolling. Eight radiologists were timed as they used the filmstack and the film alternator to interpret four ergonomically complex serial CT cases. RESULTS: All reports dictated on the basis of findings with filmstack and film were of acceptable clinical accuracy. The time to examine a case with filmstack was significantly faster than the time with film, including the time to load and unload the alternator (99% confidence [P = .01]). There was no statistically significant difference in interpretation time between filmstack and prehung film. CONCLUSION: Use of a low-cost stacked CT workstation with a single 1,024 x 1,024 monitor is an effective means of interpreting cases that require comparison of multiple CT examinations.     

Tracking social provenance in chains of retweets

Knowledge and Information Systems - In the era of massive sharing of information, the term social provenance is used to denote the ownership, source or origin of a piece of information which has...     

Travel time models for deep-lane unit-load autonomous vehicle storage and retrieval system (AVS/RS)

Autonomous vehicle storage and retrieval systems use vehicles that move horizontally along rails within the storage racks, while vertical movements are provided by lifts. The solution proposed in this paper addresses a particular system configuration that works with multiple deep storage lanes that are widely used in the food and beverage industry, characterised by large volumes of products of limited variety. The generic deep lane is single item, i.e. one stock keeping unit, and single batch, i.e. one production lot, thereby affecting the performance of the system in terms of storage capacity utilisation and throughput. Determining the number and depth of the lanes is crucial to aid the design and control of such a storage system. The aim of this paper was to support the design of AVS/RSs though a set of original analytic models for the determination of the travelled distance and time for single-command and dual-command cycles given alternative layout configurations. The models are validated by simulation and exemplified with a real-warehousing case study. The paper presents useful guidelines for the configuration of the system layout including the determination of the optimal shape ratio and the length of the lanes.     

Enhancing structural software coverage by incrementally computing branch executability

Structural code coverage criteria have been studied since the early seventies, and now they are well supported by commercial and open-source tools and are commonly embedded in several advanced industrial processes. Most industrial applications still refer to simple criteria, like statement and branch coverage, and consider complex criteria, like modified condition decision coverage, only rarely and often driven by the requirements of certification agencies. The industrial value of structural criteria is limited by the difficulty of achieving high coverage, due to both the complexity of deriving test cases that execute specific uncovered elements and the presence of many infeasible elements in the code. In this paper, we propose a technique that both generates test cases that execute yet uncovered branches and identifies infeasible branches that can be eliminated from the computation of the branch coverage. In this way, we can increase branch coverage to closely approximate full coverage, thus improving its industrial value. The algorithm combines symbolic analysis, abstraction refinement, and a novel technique named coarsening, to execute unexplored branches, identify infeasible ones, and mitigate the state space explosion problem. In the paper, we present the technique and illustrate its effectiveness through a set of experimental results obtained with a prototype implementation.     

Comparing sensitivities of differently oriented multi-walled carbon nanotubes integrated on silicon wafer for electrochemical biosensors

In this study, we report on multi-walled carbon nanotubes fabricated on silicon substrate with four different orientations via chemical vapor deposition. It is well-known that chemical treatments improve the nanotube electrochemical reactivity by creating edge-like defects on their exposed sidewalls. Before use, we performed an acid treatment on carbon nanotubes. To prove the effect of the treatment on these nanostructured electrodes, contact angles were measured. Then, sensitivities and detection limits were evaluated performing cyclic voltammetry. Two target molecules were used: potassium ferricyanide, an inorganic electroactive molecule, and hydrogen peroxide that is a product of reactions catalyzed by many enzymes, such as oxidases and peroxidases. Carbon nanotubes with tilted tips become hydrophilic after the treatment showing a contact angle of 22° ± 2°. This kind of electrode has shown also the best electrochemical performance. Sensitivity and detection limit values are 110.0 ± 0.5 μA/(mM cm²) and 8 μM for potassium ferricyanide solutions and 16.4 ± 0.1 μA/(mM cm²) and 24 μM using hydrogen peroxide as target compound. Considering the results of wettability and voltammetric measurements, nanotubes with tilted tips-based electrodes are found to be the most promising for future biosensing applications.     

Experimental setup for lensless imaging via soft x-ray resonant scattering

We have developed a setup for measuring holographically formed interference patterns using an integrated sample-mask design. The direct space image of the sample is obtained via a two-dimensional Fourier transform of the X-ray diffraction pattern. We present the details of our setup, commenting on the influence of geometrical parameters on the imaging capabilities. As an example, we present and discuss the results of test experiments on a patterned Co film.     

Learning extended FSA from software: An empirical assessment

A number of techniques that infer finite state automata from execution traces have been used to support test and analysis activities. Some of these techniques can produce automata that integrate information about the data-flow, that is, they also represent how data values affect the operations executed by programs.The integration of information about operation sequences and data values into a unique model is indeed conceptually useful to accurately represent the behavior of a program. However, it is still unclear whether handling heterogeneous types of information, such as operation sequences and data values, necessarily produces higher quality models or not.In this paper, we present an empirical comparative study between techniques that infer simple automata and techniques that infer automata extended with information about data-flow. We investigate the effectiveness of these techniques when applied to traces with different levels of sparseness, produced by different software systems. To the best of our knowledge this is the first work that quantifies both the effect of adding data-flow information within automata and the effectiveness of the techniques when varying sparseness of traces.