965 resultados para well-structured transition systems


Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Magdeburg, Univ., Fak. für Mathematik, Diss., 2015

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The problem of robust pole assignment by feedback in a linear, multivariable, time-invariant system which is subject to structured perturbations is investigated. A measure of robustness, or sensitivity, of the poles to a given class of perturbations is derived, and a reliable and efficient computational algorithm is presented for constructing a feedback which assigns the prescribed poles and optimizes the robustness measure.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pós-graduação em Desenvolvimento Humano e Tecnologias - IBRC

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In recent years, an increasing attention has been given to the optimization of the performances of new supramolecular systems, as antennas for light collection. In such background, the aim of this thesis was the study of multichromophoric architectures capable of performing such basic action. A synthetic antenna should consist of a structure with large UV-Vis absorption cross-section, panchromatic absorption, fixed orientation of the components and suitable energy gradients between them, in order to funnel absorbed energy towards a specific site, through fast energy-transfer processes. Among the systems investigated in this thesis, three suitable classes of compounds can be identified: 1) transition metal-based multichromophoric arrays, as models for antenna construction, 2) free-base trans-A2B-phenylcorroles, as self-assembling systems to make effective mimics of the photosynthetic system, and 3) a natural harvester, the Photosystem I, immobilized on the photoanode of a solar-to-fuel conversion device. The discussion starts with the description of the photophysical properties of dinuclear quinonoid organometallic systems, able to fulfil some of the above mentioned absorption requirements, displaying in some cases panchromatic absorption. The investigation is extended to the efficient energy transfer processes occurring in supramolecular architectures, suitably organized around rigid organic scaffolds, such as spiro-bifluorene and triptycene. Furthermore, the photophysical characterization of three trans-A2B-phenylcorroles with different substituents on the meso-phenyl ring is introduced, revealing the tendency of such macrocycles to self-organize into dimers, by mimicking natural self-aggregates antenna systems. In the end, the photophysical analysis moved towards the natural super-complex PSI-LHCI, immobilized on the hematite surface of the photoanode of a bio-hybrid dye-sensitized solar cell. The importance of the entire work is related to the need for a deep understanding of the energy transfer mechanisms occurring in supramolecules, to gain insights and improve the strategies for governing the directionality of the energy flow in the construction of well-performing antenna systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This thesis describes work done exploring the application of expert system techniques to the domain of designing durable concrete. The nature of concrete durability design is described and some problems from the domain are discussed. Some related work on expert systems in concrete durability are described. Various implementation languages are considered - PROLOG and OPS5, and rejected in favour of a shell - CRYSTAL3 (later CRYSTAL4). Criteria for useful expert system shells in the domain are discussed. CRYSTAL4 is evaluated in the light of these criteria. Modules in various sub-domains (mix-design, sulphate attack, steel-corrosion and alkali aggregate reaction) are developed and organised under a BLACKBOARD system (called DEX). Extensions to the CRYSTAL4 modules are considered for different knowledge representations. These include LOTUS123 spreadsheets implementing models incorporating some of the mathematical knowledge in the domain. Design databases are used to represent tabular design knowledge. Hypertext representations of the original building standards texts are proposed as a tool for providing a well structured and extensive justification/help facility. A standardised approach to module development is proposed using hypertext development as a structured basis for expert systems development. Some areas of deficient domain knowledge are highlighted particularly in the use of data from mathematical models and in gaps and inconsistencies in the original knowledge source Digests.