Invariance properties of RAMS and linear time

An operation on integers isLTTC if it is computable in linear time on a Turing machine (using the dyadic or binary representation of integers). AnLTTC-RAM (respectivelyI-RAM) is a RAM which only uses LTTC operations (respectively operations in the setI).The address-free time complexity measure of a RAM evaluates execution times using the logarithmic cost criterion but assumes that addressing operations are performed for free.     

碳化硅器件挑战现有封装技术

碳化硅(SiC)器件的新特性和移动应用的功率密度要求给功率器件的封装技术提出了新的挑战。现有功率器件的封装技术主要是在硅基的绝缘栅双极晶体管(Insulated Gate Bipolar Transistor,IGBT)和金属氧化物半导体场效应晶体管(Metal Oxide Semiconductor Field Effect Transistor,MOSFET)等基础上发展起来的,并一直都在演进,但这些渐进改良尚不足以充分发挥SiC器件的性能,因而封装技术需要革命性的进步。在简述现有封装技术及其演进的基础上,主要从功率模块的角度讨论了封装技术的发展方向。同时讨论了功率模块的新型叠层结构以及封装技术的离散化、高温化趋势,并对SiC器件封装技术的发展方向做出了综合评估。     

An Overview and Future Perspectives of Aluminum Batteries

A critical overview of the latest developments in the aluminum battery technologies is reported. The substitution of lithium with alternative metal anodes characterized by lower cost and higher abundance is nowadays one of the most widely explored paths to reduce the cost of electrochemical storage systems and enable long‐term sustainability. Aluminum based secondary batteries could be a viable alternative to the present Li‐ion technology because of their high volumetric capacity (8040 mAh cm^?3 for Al vs 2046 mAh cm^?3 for Li). Additionally, the low cost aluminum makes these batteries appealing for large‐scale electrical energy storage. Here, we describe the evolution of the various aluminum systems, starting from those based on aqueous electrolytes to, in more details, those based on non‐aqueous electrolytes. Particular attention has been dedicated to the latest development of electrolytic media characterized by low reactivity towards other cell components. The attention is then focused on electrode materials enabling the reversible aluminum intercalation‐deintercalation process. Finally, we touch on the topic of high‐capacity aluminum‐sulfur batteries, attempting to forecast their chances to reach the status of practical energy storage systems.     

AMOLED displays with transfer‐printed integrated circuits

Abstract— Small integrated circuits of crystalline silicon (chiplets) transfer‐printed onto a flat‐panel‐display substrate provide greatly improved electrical performance and uniformity in active‐matrix organic light‐emitting‐diode (OLED) displays. The integrated circuits are formed in high‐performance crystalline silicon using conventional photolithographic processes and then transfer‐printed onto a substrate using a stamp that transfers hundreds or thousands of chiplets at once. The chiplets are connected to an external controller and to pixel elements using conventional photolithographic substrate processing methods. Active‐matrix OLED (AMOLED) displays using transfer‐printed chiplets have good yields, excellent uniformity, and electrical performance and are thermally robust.     

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.     

Reasoning about fuzzy temporal information from the web: towards retrieval of historical events

When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to support such constraints is usually not available to information retrieval systems. Furthermore, the temporal boundaries of most historical events are inherently ill-defined, calling for suitable extensions of classical temporal reasoning frameworks. In this paper, we propose a framework based on a fuzzification of Allen’s Interval Algebra to cope with these issues. By using simple heuristic techniques to extract temporal information from web documents, we initially focus more on recall than on precision, relying on the subsequent application of a fuzzy temporal reasoner to improve the reliability of the extracted information, and to deal with conflicts that arise because of the vagueness of events. Experimental results indicate that a consistent and reliable knowledge base of fuzzy temporal relations can thus be obtained, which effectively allows us to target temporally constrained retrieval tasks.     

On a reflexivity-preserving family of cardinality-based fuzzy comparison measures

In this paper, we generalize and extend previous work on a triparametric family of cardinality-based fuzzy similarity measures. More specifically, we (i) generalize this family to a broader family of fuzzy comparison measures, (ii) summarize previously obtained results regarding this family and fill up a few gaps by adding some novel results, (iii) compare our parametric family with an already existing one, and (iv) elaborate on the ranking invariance between certain members of the presented triparametric family of cardinality-based fuzzy comparison measures.     

A Stochastic Filtering Technique for Fluid Flow Velocity Fields Tracking

In this paper, we present a method for the temporal tracking of fluid flow velocity fields. The technique we propose is formalized within a sequential Bayesian filtering framework. The filtering model combines an Itô diffusion process coming from a stochastic formulation of the vorticity-velocity form of the Navier-Stokes equation and discrete measurements extracted from the image sequence. In order to handle a state space of reasonable dimension, the motion field is represented as a combination of adapted basis functions, derived from a discretization of the vorticity map of the fluid flow velocity field. The resulting nonlinear filtering problem is solved with the particle filter algorithm in continuous time. An adaptive dimensional reduction method is applied to the filtering technique, relying on dynamical systems theory. The efficiency of the tracking method is demonstrated on synthetic and real-world sequences.     

Periodic event‐triggered observation and control for nonlinear Lipschitz systems using impulsive observers

In this paper, we investigate the observation and stabilization problems for a class of nonlinear Lipschitz systems, subject to network constraints, and partial state knowledge. In order to address these problems, an impulsive observer is designed, making use of the event‐triggered technique in order to diminish the network communications. Sufficient conditions are given to ensure a milder version of the separation principle for these systems, controlled via an event‐triggered controller. The proposed observer ensures practical state estimation, while the corresponding dynamic controller ensures practical stabilization. The sampling and the data transmission are carried out asynchronously. The dynamic controller is tested in simulation on a flexible joint. Copyright © 2017 John Wiley & Sons, Ltd.     

Remotely sensed surface water extent as an indicator of short-term changes in ecohydrological processes in sub-Saharan Western Africa

The highly variable rainfall in the arid and semi-arid regions of sub-Saharan Western Africa drives both surface water availability and vegetation cover. Recent studies have established linkages between rainfall and vegetation cover at local to regional scales, but no study related yet remote sensing derived rainfall and vegetation cover to the available surface water. A new dataset based on SPOT VEGETATION (VGT) represents surface water bodies (SWB) in the arid and semi-arid regions of sub-Saharan Western Africa. Water bodies represent the integrated hydrological response of a catchment, and changes in their spatial extent involve complex interactions at the catchment scale. We analyzed time series of remotely sensed vegetation cover, rainfall and surface water extent for the period 1999–2008, and could detect and statistically demonstrate the links between these biophysical variables. Our findings for two regions in Mali and Burkina Faso suggest that vegetation cover is positively related to the amount of available surface water for those catchments that are mainly covered by annual plants. The observed relationships between remotely sensed variables allow developing ecological indicators that can indicate short-term changes in arid and semi-arid ecosystems at local to regional scales.