Network interdiction via a Critical Disruption Path: Branch-and-Price algorithms

This paper presents an innovative approach to maximally disconnect a given network. More specifically, this work introduces the concept of a Critical Disruption Path, a path between a source and a destination vertex whose deletion minimizes the cardinality of the largest remaining connected component. Network interdiction models seek to optimally disrupt network operations. Existing interdiction models disrupt network operations by removing vertices or edges. We introduce the first problem and formulation that optimally fragments a network via interdicting a path. Areas of study in which this work can be applied include transportation and evacuation networks, surveillance and reconnaissance operations, anti-terrorism activities, drug interdiction, and counter human-trafficking operations. In this paper, we first address the complexity associated with the Critical Disruption Path problem, and then provide a Mixed-Integer Linear Programming formulation for finding its optimal solution. Further, we develop a tailored Branch-and-Price algorithm that efficiently solves the Critical Disruption Path problem. We demonstrate the superiority of the developed Branch-and-Price algorithm by comparing the results found via our algorithm with the results found via the monolith formulation. In more than half of the test instances that can be solved by both the monolith and our Branch-and-Price algorithm, we outperform the monolith by two orders of magnitude.     

Analyzing Turbulence Intensity in Gravel Bed Channels

In this paper, the results of an experimental investigation of the turbulence intensity in gravel bed channels are described. The runs were carried out by measuring, with an acoustic Doppler velocimeter, the turbulence intensity profile along six verticals of a given cross section in a laboratory flume. The analysis of the measured intensity distributions has shown the existence of two different regions, above and below the tops of the roughness elements, in which different intensity profiles occur. Furthermore, the measured profiles have shown a maximum of the turbulence intensity that decreases for increasing values of the roughness height, confirming that the turbulence damping efficiency increases when the roughness elements protrude inside the flow. The applicability of Nezu’s relationship (derived for a hydraulically smooth bed) for the experimental intensity profiles above the roughness elements is positively tested. Finally a new intensity distribution for a rough bed, applicable to the whole water depth, is proposed. In this profile, two coefficients having a known physical meaning (the maximum turbulence intensity and the depth at which this maximum is located) appear.     

Deciphering the Electroluminescence Behavior of Silver(I)‐Complexes in Light‐Emitting Electrochemical Cells: Limitations and Solutions toward Highly Stable Devices

Ionic transition‐metal complexes based on silver(I) metal core (Ag‐iTMCs) represent an appealing alternative to other iTMCs in solid‐state lighting owing to (i) their low cost and well‐known synthesis, (ii) the tunable bandgap, and (iii) the highly efficient photoluminescence. However, their electroluminescence behavior is barely studied. Herein, the archetypal green‐emitting Ag‐iTMCs, namely [Ag(4,4′‐dimethoxy‐2,2′‐bipyridine)(Xantphos)]X (X = BF₄, PF₆, and ClO₄), are thoughtfully investigated, revealing their electroluminescent features in light‐emitting electrochemical cells (LECs). Despite optimizing device fabrication and operation, luminance of 40 cd m^?2, efficacy of 0.2 cd A^?1, and a very poor stability of 30 s are achieved. This outcome encourages the comprehensive study of the degradation mechanism combining electrochemical impedance spectroscopy, X‐ray diffraction, and cyclic voltammetry techniques. These results point out the irreversible formation of silver nanoclusters under operation strongly limiting the device performance. As such, LECs are further optimized by (i) changing the counterions (PF₆^? and ClO₄^?) and (ii) decoupling electron injection and exciton formation using a double‐layered architecture. The synergy of both approaches leads to a broad exciplex‐like whitish electroluminescence emission (x/y CIE of 0.40/0.44 and color rendering index of 85) with an outstanding improved stability of ≈4 orders of magnitude (>80 h) without losing brightness (35 cd m^?2).     

威尼斯IUAV建筑学院工作坊主题设计

2005年夏天，我们事务所应邀参加在威尼斯IUAV建筑学院举办的为期三周的工作坊。     

Experimental Observations of Flow and Bed Processes in Large-Amplitude Meandering Flume

Meanders of large amplitude often exhibit asymmetric planform shape or subsidiary bends. The present work is aimed at improving on understanding of the morphodynamic phenomena affecting the bed evolution of large amplitude meandering channels. Attention is focused on the development of the steady point bar-pool configuration and of the superimposed large-scale migrating bed forms; of particular interest is the role of the changing channel curvature and bed topography variation on flow pattern. A series of experiments was carried out in a sine-generated large-amplitude meandering flume, for two values of width-to-depth ratio. Maps documenting the bed topography and the flow pattern along the meandering bends are reported. Two point bars per bend were observed and seem to be part of a series of damped oscillations developing in response to the changing channel curvature. In response to the bed deformation, the maximum flow velocity moves at the outer bank at the entrance of the bend.     

Influence of packaging on spoilage yeast population in minimally processed orange slices

The yeast population of minimally processed orange slices, packaged both in normal and modified atmosphere and with films of different permeabilities, was studied in order to set up the most suitable packaging conditions. Modified atmosphere resulted in a fermentative association of yeast strains, with the dominance of Saccharomyces cerevisiae strains. In samples packaged in normal atmosphere isolated strains have been mainly identified as Rhodotorula spp.     

Solar spectral irradiometer for validation of remotely sensed hyperspectral data

A new solar spectral irradiometer that operates in the visible and near-infrared spectral ranges has been developed. This instrument takes advantage of a new concept optical head that collects the light that impinges on a hemispheric surface, thus improving the instrument angular response with respect to traditional devices. The technical characteristics of the instrument are investigated and detailed, and its radiometric calibration, performed by means of a Langley-like method, is discussed. A new simplified theoretical model that accounts for the diffuse irradiance observed in an optically thin plane-parallel atmosphere has been developed to improve the fit of the irradiance diurnal evolution. An alternative polynomial parametric representation of monochromatic diffuse irradiance evolution has been attempted, but satisfactory results were not obtained from the fitting of experimental data. The new instrument could be useful to carry out remote-sensing validation campaigns.     

OpenDLib: an infrastructure for new generation digital libraries

This paper presents OpenDLib, a digital library infrastructure that provides capabilities for new-generation digital libraries. In particular, the paper introduces a document model that can be used to represent a wide variety of document types and describes the open architectural infrastructure that allows for the expansion of the digital library through the dynamic plugin of new services.     

Co-synthesis and co-simulation of control-dominated embedded systems

This paper presents a methodology for hardware/software co-design with particular emphasis on the problems related to the concurrent simulation and synthesis of hardware and software parts of the overall system. The proposed approach aims at overcoming the problem of having two separate simulation environments by defining a VHDL-based modeling strategy for software execution, thus enabling the simulation of hardware and software modules within the same VHDL-based CAD framework. The proposed methodology is oriented towards the application field of control-dominated embedded systems implemented onto a single chip.