Algorithmique et complexité des systèmes à compteurs

Réalisé en cotutelle avec l'École normale supérieure de Cachan – Université Paris-Saclay

Algorithmique et complexité des systèmes à compteurs

Réalisé en cotutelle avec l'École normale supérieure de Cachan – Université Paris-Saclay

Egalitarian state-transition systems (extended version)

We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more powerful, general, and meaningful. We define egalitarian structures and logics, and show how they generalize well-known state-based, event-based, and mixed ones. We present translations from egalitarian to non-egalitarian settings that, in particular, allow the model checking of LTLR formulas using Maude’s LTL model checker. We have implemented these translations as a prototype in Maude itself.

Electric conduction improvement of well-structured multi-walled carbon nanotubes

We characterized the electrical conductance of well-structured multi-walled carbon nanotubes (MWCNTs) which had post-treated by a rapid vacuum arc thermal annealing process and structure defects in these nanotubes are removed. We found that the after rapid vacuum arc annealing, the conductivity of well-structured MWCNTs can be improved by an order of magnitude. We also investigated the conductivity of MWCNTs bundle by the variation of temperatures. These results show that the conductance of annealed defect-free MWCNTs is sensitive to temperature imply the phonon scatting dominated the electron conductions. Compare to the well-structured MWCNTs, the defect scattering dominated the electron conduction in the as-grown control sample which has large amount of structure defects. A detail measurement of electron conduction from an individual well-structured MWCNT shows that the conductivity increases with temperatures which imply such MWCNTs exhibited semiconductor properties. We also produced back-gated field-effect transistors using these MWCNTs. It shows that the well-structured MWCNT can act as p-type semiconductor. © 2010 IEEE.

The role of orthographic-motor integration in the production of creative and well-structured written text for students in secondary school

There is a strong relationship between orthographic-motor integration related to handwriting and students' ability to produce creative and well-structured written text. This relationship is thought to be due to the cognitive load which results when attention is required by writers to write letters and words on the page. Lack of automaticity in orthographic-motor integration means that writers do not have sufficient cognitive resources to accomplish the more demanding aspects of text production such as ideation, text monitoring, and pragmatic awareness. A systematic handwriting program can significantly improve the quality of written text by young children experiencing problems with orthographic-motor integration. This study investigated the effectiveness of a handwriting program in remediating older students' problems in orthographic-motor integration and consequently enhancing their written language skills. Two groups of students in Grades 8 and 9 were provided with either practice in handwriting or daily completion of a written journal. There were no differences between the two groups at pre-test. However, at post-test, the handwriting group had significantly higher scores in orthographic-motor integration as well as for the length and quality of the text they wrote.

Using distributions as statistical evidence in well-structured and ill-structured problems

Research has suggested that understanding in well-structured settings often does not transfer to the everyday, less-structured problems encountered outside of school. Little is known, beyond anecdotal evidence, about how teachers' consideration of distributions as evidence in well-structured settings compares with their use in ill-structured problem contexts. A qualitative study of preservice secondary teachers examined their use of distributions as evidence in four tasks of varying complexity and ill-structuredness. Results suggest that teachers' incorporation of distributions in well-structured settings does not imply that they will be incorporated in less structured problems (and vice-versa). Implications for research and teaching are discussed.

Well-structured teams and the buffering of hospital employees from stress

Membership in well-structured teams, which show clarity in team and individual goals, meet regularly, and recognize diverse skills of their members, is known to reduce stress. This study examined how membership of well-structured teams was associated with lower levels of strain, when testing a work stressors-to-strains relationship model across the three levels of team structure, namely well-structured, poorly structured (do not fulfill all the criteria of well-structured teams) and no team. The work stressors tested, were quantitative overload and hostile environment, whereas strains were measured through job satisfaction and intention to leave job. This investigation was carried out on a random sample of 65,142 respondents in acute/specialist National Health Service hospitals across the UK. Using multivariate analysis of variance, statistically significant differences between means across the three groups of team structure, with mostly moderate effect sizes, were found for the study variables. Those in well-structured teams have the highest levels of job satisfaction and the least intention to leave job. Multigroup structural equation modelling confirmed the model's robustness across the three groups of team structure. Work stressors explained 45%, 50% and 65% of the variance of strains for well-structured, poorly structured and no team membership, respectively. An increase of one standard deviation in work stressors, resulted in an increase in 0.67, 0.70 and 0.81 standard deviations in strains for well-structured, poorly structured and no team membership, respectively. This investigation is an eye-opener for hospitals to work towards achieving well-structured teams, as this study shows weaker stressor-to-strain relationships for members of these teams.

Creating reusable well-structured pdf as a sequence of component object graphic (cog) elements

Portable Document Format (PDF) is a page-oriented, graphically rich format based on PostScript semantics and it is also the format interpreted by the Adobe Acrobat viewers. Although each of the pages in a PDF document is an independent graphic object this property does not necessarily extend to the components (headings, diagrams, paragraphs etc.) within a page. This, in turn, makes the manipulation and extraction of graphic objects on a PDF page into a very difficult and uncertain process. The work described here investigates the advantages of a model wherein PDF pages are created from assemblies of COGs (Component Object Graphics) each with a clearly defined graphic state. The relative positioning of COGs on a PDF page is determined by appropriate "spacer" objects and a traversal of the tree of COGs and spacers determines the rendering order. The enhanced revisability of PDF documents within the COG model is discussed, together with the application of the model in those contexts which require easy revisability coupled with the ability to maintain and amend PDF document structure.

Self-recruiting species (SRS) from farmer managed aquatic systems: are they important to the livelihoods of rural communities?

Why are SRS important? The answer is to be found in this well-structured survey under: SRS as food source; SRS as additional source of cash income; Role of SRS in social capital. An analysis of the threats to SRS and the potential management options for farmer managed aquatic systems are also available in this survey along with the following definition of SRS: SRS are defined as aquatic animals that can be harvested from farmer managed aquatic systems without regular stocking. (PDF contains 4 pages)

Distributed optimization in power networks and general multi-agent systems

The dissertation studies the general area of complex networked systems that consist of interconnected and active heterogeneous components and usually operate in uncertain environments and with incomplete information. Problems associated with those systems are typically large-scale and computationally intractable, yet they are also very well-structured and have features that can be exploited by appropriate modeling and computational methods. The goal of this thesis is to develop foundational theories and tools to exploit those structures that can lead to computationally-efficient and distributed solutions, and apply them to improve systems operations and architecture.

Specifically, the thesis focuses on two concrete areas. The first one is to design distributed rules to manage distributed energy resources in the power network. The power network is undergoing a fundamental transformation. The future smart grid, especially on the distribution system, will be a large-scale network of distributed energy resources (DERs), each introducing random and rapid fluctuations in power supply, demand, voltage and frequency. These DERs provide a tremendous opportunity for sustainability, efficiency, and power reliability. However, there are daunting technical challenges in managing these DERs and optimizing their operation. The focus of this dissertation is to develop scalable, distributed, and real-time control and optimization to achieve system-wide efficiency, reliability, and robustness for the future power grid. In particular, we will present how to explore the power network structure to design efficient and distributed market and algorithms for the energy management. We will also show how to connect the algorithms with physical dynamics and existing control mechanisms for real-time control in power networks.

The second focus is to develop distributed optimization rules for general multi-agent engineering systems. A central goal in multiagent systems is to design local control laws for the individual agents to ensure that the emergent global behavior is desirable with respect to the given system level objective. Ideally, a system designer seeks to satisfy this goal while conditioning each agent’s control on the least amount of information possible. Our work focused on achieving this goal using the framework of game theory. In particular, we derived a systematic methodology for designing local agent objective functions that guarantees (i) an equivalence between the resulting game-theoretic equilibria and the system level design objective and (ii) that the resulting game possesses an inherent structure that can be exploited for distributed learning, e.g., potential games. The control design can then be completed by applying any distributed learning algorithm that guarantees convergence to the game-theoretic equilibrium. One main advantage of this game theoretic approach is that it provides a hierarchical decomposition between the decomposition of the systemic objective (game design) and the specific local decision rules (distributed learning algorithms). This decomposition provides the system designer with tremendous flexibility to meet the design objectives and constraints inherent in a broad class of multiagent systems. Furthermore, in many settings the resulting controllers will be inherently robust to a host of uncertainties including asynchronous clock rates, delays in information, and component failures.