Coherence-multiplexed acousto-optic correlator for signal processing: theory and applications

A method of multichannel processing to compute correlation products simultaneously is introduced. The signals that process are encoded on a single light beam through the use of an electro-optic modulators that induce optical delays greater than the coherence length of light. The coherence-modulated light beam thus obtained is then spatially and temporally modulated through an acousto-optic Bragg cell. The potential number of channels is estimated to be approximately 5-10. The method can be combined with other existing systems, such as time-, space-, or frequency-multiplexed correlators, to increase the channel number. The method also applies to high-resolution spectral analysis.     

Clinical determination of tissue optical properties by endoscopic spatially resolved reflectometry

A noninvasive method to measure the optical properties of a diffusing and absorbing medium is described. Based on the spatially resolved measurement of diffuse reflectance at the sample surface, this method is particularly suitable for investigating the in vivo optical properties of biological tissues endoscopically in a clinical context. The sensitivity of the measurement is discussed, and two optical probes for two different clinical applications are presented. Preliminary measurements are performed on a nonbiological medium, which illustrate the possibilities of the proposed method. Finally, we report on in vivo measurements of the optical properties of the human esophageal wall at 630 nm.     

Monitoring agricultural drought for arid and humid regions using multi-sensor remote sensing data

While existing remote sensing-based drought indices have characterized drought conditions in arid regions successfully, their use in humid regions is limited. We propose a new remote sensing-based drought index, the Scaled Drought Condition Index (SDCI), for agricultural drought monitoring in both arid and humid regions using multi-sensor data. This index combines the land surface temperature (LST) data and the Normalized Difference Vegetation Index (NDVI) data from Moderate Resolution Imaging Spectroradiometer (MODIS) sensor, and precipitation data from Tropical Rainfall Measuring Mission (TRMM) satellite. Each variable was scaled from 0 to 1 to discriminate the effect of drought from normal conditions, and then combined with the selected weights. When tested against in-situ Palmer Drought Severity Index (PDSI), Palmer's Z-Index (Z-Index), 3-month Standardized Precipitation Index (SPI), and 6-month SPI data during a ten-year (2000-2009) period, SDCI performed better than existing indices such as NDVI and Vegetation Health Index (VHI) in the arid region of Arizona and New Mexico as well as in the humid region of North Carolina and South Carolina. The year-to-year changes and spatial distributions of SDCI over both arid and humid regions generally agreed to the changes documented by the United States Drought Monitor (USDM) maps.     

Visual‐quality estimation using objective metrics

Abstract— In the past few years, a big effort in the scientific community has been devoted to the development of better image‐ and video‐quality metrics that correlate well with the human perception of quality. In this paper, an overview of the main ideas used in the design of objective quality metrics is given. More specifically, we briefly describe the different types of objective metrics and present a representative set of the different approaches taken by these algorithms. Finally, the challenges and recent developments in the area of image and video quality are discussed.     

Fast approximation algorithms to minimize a special weighted flow-time criterion on a single machine with a non-availability interval and release dates

This paper is the first attempt to successfully design efficient approximation algorithms for the single-machine weighted flow-time minimization problem when jobs have different release dates and weights equal to their processing times under the assumption that one job is fixed (i.e., the machine is unavailable during a fixed interval corresponding to the fixed job). Our work is motivated by an interesting algorithmic application to the generation of valid inequalities in a branch-and-cut method. Our analysis shows that the trivial FIFO sequence can lead to an arbitrary large worst-case performance bound. Hence, we modify this sequence so that a new 2-approximation solution can be obtained for every instance and we prove the tightness of this bound. Then, we propose a fully polynomial-time approximation algorithm with efficient running time for the considered problem. Especially, the complexity of our algorithm is strongly polynomial.     

Absolute Stability of Nonlinear Systems with Two Additive Time-varying Delay Components

In this paper, we present a new sufficient condition for absolute stability of Lure system with two additive time-varying delay components. This criterion is expressed as a set of linear matrix inequalities (LMIs), which can be readily tested by using standard numerical software. We use this new criterion to stabilize a class of nonlinear time-delay systems. Some numerical examples are given to illustrate the applicability of the results using standard numerical software.     

Combination of convex theories: Modularity,deduction completeness,and explanation

Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories.     

Co-constructing with stakeholders a role-playing game to initiate collective management of erosive runoff risks at the watershed scale

Erosive runoff is a recurring problem and is a source of sometimes deadly muddy floods in the Pays de Caux (France). The risk results from a conjunction of natural factors and human activity. Efficient actions against runoff in agricultural watersheds are well known. However they are still difficult to implement as they require co-operation between stakeholders. Local actors thus need tools to help them understand the collective consequences of their individual decisions and help to initiate a process of negotiation between them. We decided to use a participatory approach called companion modelling (ComMod), and, in close collaboration with one of the first group of local stakeholders, to create a role-playing game (RPG) to facilitate negotiations on the future management of erosive runoff. This paper describes and discusses the development of the RPG and its use with other groups of local stakeholders within the framework of two game sessions organized by two different watershed management committees. During the joint construction step, stakeholders shared their viewpoints about the environment, agents, rules, and how to model runoff in preparation for the creation of the RPG. During the RPG sessions, two groups of eight players, including farmers, mayors and watershed advisors, were confronted with disastrous runoff in a fictive agricultural watershed. Results showed that they managed to reduce runoff by 20–50% by engaging a dialogue about grass strips, storage ponds and management of the intercrop period. However, further progress is still needed to better control runoff through the implementation of better agricultural practices because, during the RPG sessions, the watershed advisors did not encourage farmers to do so. Because of the complexity of management problems, results of jointly constructing the game and the RPG sessions showed that modelling and simulation can be a very useful way of accompanying the collective learning process. This new way of working was welcomed by the participants who expressed their interest in organizing further RPG sessions.