Design of totally self-checking asynchronous sequential machines.

Thesis (M.Sc.)--University of Illinois at Urbana-Champaign.

Modified Stability Checking for On-Line Error Detection

The paper propose a unified error detection technique, based on stability checking, for on-line detection of delay, crosstalk and transient faults in combinational circuits and SEUs in sequential elements. The proposed method, called modified stability checking (MSC), overcomes the limitations of the earlier stability checking methods. The paper also proposed a novel checker circuit to realize this scheme. The checker is self-checking for a wide set of realistic internal faults including transient faults. Extensive circuit simulations have been done to characterize the checker circuit. A prototype checker circuit for a 1mm2 standard cell array has been implemented in a 0.13mum process.

Designing and evaluating a persuasive child restraint television commercial

Objective Relatively high rates of child restraint inappropriate use, misuse and faults in the installation of restraints have suggested a crucial need for public education messages to raise parental awareness of the need to use restraints correctly. This project involved the devising and pilot testing of message concepts, filming of a television advertisement (the TVC), and the evaluation of the TVC. This paper focuses specifically upon the evaluation of the TVC. The development and evaluation of the TVC were guided by an extended Theory of Planned Behaviour which comprised the standard constructs of attitude, subjective norm, and perceived behavioural control as well as the additional constructs of group norm and descriptive norm. The study also explored the extent to which parents with low and high intentions to self-check restraint/s differed on salient beliefs regarding the behaviour. Methods An online survey of parents (N = 384) was conducted where parents were randomly assigned to either an Intervention group (n = 161), and therefore viewed the advertisement within the survey, or the Control group (n = 223) and therefore did not view the advertisement. Results Following a one-off exposure to the TVC, the results indicated that, although not a significant difference, parents in the Intervention group reported stronger intentions (M = 4.43, SD = .74) to self-check restraints than parents in the Control group (M = 4.18, SD = .86). Also, parents in the Intervention group (M = 4.59, SD = .47) reported significantly higher levels of perceived behavioural control than parents in the Control group (M = 4.40, SD = .73). The regression results revealed that, for parents in the Intervention group, attitude and group norm were significant predictors of parental intentions to self-check their child restraint. Finally, the exploratory analyses of parental beliefs suggested that those parents with low intentions to self-check child restraints were significantly more likely than high intenders to agree that they did not have enough time to check restraints or that having a child in a restraint is more important than checking the installation of the restraint. Conclusion Overall, the findings provide some support for the persuasiveness of the child restraint TVC and provide insight into the factors influencing reported parental intentions as well as salient beliefs underpinning self-checking of restraints. Interventions that attempt to increase parental perceptions of the importance of self-checking restraints regularly and brevity of the time involved in doing so may be effective.

平面几何问题解决过程中的元认知实验研究

This study was based on the cognitive-metacognitive model of mathematical problem solving established by Lester & Garofalo(1985). The method of protocal analysis was used and 19 excellent students(9 male and 10 female) & 19 learning-disabled students(11 male and 8 female) in middle school(grade 3)were tested and interviewed during they solved plane geometry problems. The main results showed as follows: (1) There was a significant difference between excellent students and learning-disabled students on time-assignment when they solved plane geometry problems. Excellent students used more time on phase organization and less time on phase execution. There was no difference on phases orientation and verification. (2) Excellent students showed higher metacognitive level than learning-disabled students. The deference existed in phases orientation and organization. Excellent students reported more metacognitive sentences in phases orientation and organization than learning-disabled students. They had more self-awareness and goal-awareness. They had more "knowledge about what they know" and "knowledge about what they should use". They designed more globle goal and subgoals and made more self-evaluation. (3) Both the excellent students' and learning-disabled students' self-checking level should be improved.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Receptive Vocabulary of CLIL and Non-CLIL Primary and Secondary School Learners

CLIL instruction has been reported to be beneficial for foreign language vocabulary learning since CLIL students show higher vocabulary profiles than students of their same age in traditional EFL contexts. However, to our knowledge, the receptive vocabulary knowledge of CLIL and non-CLIL learners at the end of primary and secondary education has not been examined yet. Hence, this study aims at comparing the receptive vocabulary size 79 CLIL primary learners with the receptive vocabulary knowledge of 331 non-CLIL learners at the end of primary and secondary school. Sex-based differences were also analysed. The 2k Vocabulary Levels Test (VLT) was used for the purposes of the study. Results revealed that learners’ receptive vocabulary sizes lie within the most frequent 1000 words, non-CLIL secondary school students throw better results than primary students but the differences between the secondary group and the CLIL group are not statistically significant. As for sex-based differences, we found no significant differences among the groups. These findings led us to believe that the CLIL approach offers a benefit for vocabulary acquisition since CLIL learners have been exposed to the foreign language for a shorter period of time and the results are quite similar to their non-CLIL secondary school partners.

Promoting while checking self-interest : a conflict-based governance approach to rebalance corporate power disequilibria in Canada and the United States

La délégation du pouvoir de gestion aux administrateurs et aux gestionnaires, une caractéristique intrinsèque à la gestion efficace de grandes entreprises dans un contexte de capitalisme, confère une grande discrétion à l’équipe de direction. Cette discrétion, si elle n’est pas surveillée, peut mener à des comportements opportunistes envers la corporation, les actionnaires et les autres fournisseurs de capital qui n’ont pas de pouvoir de gestion. Les conflits entre ces deux classes d’agents peuvent émerger à la fois de décisions de gouvernance générale ou de transactions particulières (ie. offre publique d’achat). Dans les cas extrêmes, ces conflits peuvent mener à la faillite de la firme. Dans les cas plus typiques, ils mènent l’extraction de bénéfices privés pour les administrateurs et gestionnaires, l’expropriation des actionnaires, et des réductions de valeur pour la firme. Nous prenons le point de vue d’un petit actionnaire minoritaire pour explorer les méchanismes de gouvernance disponibles au Canada et aux États‐Unis. Après une synthèse dans la Partie 1 des théories sous‐jacentes à l’étude du pouvoir dans la corporation (séparation de la propriété et du contrôle et les conflits d’agence), nous concentrons notre analyse dans la Partie 2 sur les différents types de méchanismes (1) de gouvernance interne, (2) juridiques et (3) marchands, qui confèrent du pouvoir aux deux classes d’agents. Nous examinons comment les intérêts de ces deux classes peuvent être réalignés afin de prévenir et résoudre les conflits au sein de la firme. La Partie 3 explore un équilibre dynamique de pouvoir corporatif qui cherche à minimiser le potentiel d’opportunisme toute en préservant une quantité de discrétion suffisante pour la gestion efficace de la firme. Nous analysons des moyens pour renforcer les protections des actionnaires minoritaires et proposons un survol des pistes de réforme possibles.

Recovery of Sleep or Recovery of Self? A Grounded Theory Study of Residents’ Decision Making Regarding How to Spend Their Nonclinical Postcall Time

Purpose: As resident work hours policies evolve, residents’ off-duty time remains poorly understood. Despite assumptions about how residents should be using their postcall, off-duty time, there is little research on how residents actually use this time and the reasoning underpinning their activities. This study sought to understand residents’ nonclinical postcall activities when they leave the hospital, their decision-making processes, and their perspectives on the relationship between these activities and their well-being or recovery.

Method: The study took place at a Liaison Committee on Medical Education–accredited Canadian medical school from 2012 to 2014. The authors recruited a purposive and convenience sample of postgraduate year 1–5 residents from six surgical and nonsurgical specialties at three hospitals affiliated with the medical school. Using a constructivist grounded theory approach, semistructured interviews were conducted, audio-taped, transcribed, anonymized, and combined with field notes. The authors analyzed interview transcripts using constant comparative analysis and performed post hoc member checking.

Results: Twenty-four residents participated. Residents characterized their predominant approach to postcall decision making as one of making trade-offs between multiple, competing, seemingly incompatible, but equally valuable, activities. Participants exhibited two different trade-off orientations: being oriented toward maintaining a normal life or toward mitigating fatigue.

Conclusions: The authors’ findings on residents’ trade-off orientations suggest a dual recovery model with postcall trade-offs motivated by the recovery of sleep or of self. This model challenges the dominant viewpoint in the current duty hours literature and suggests that the duty hours discussion must be broadened to include other recovery processes.

An experimental analysis of body checking

The relationship between repeated body checking and its impact on body size estimation and body dissatisfaction is of interest for two reasons. First, it has importance in theoretical accounts of the maintenance of eating disorders and, second, body checking is targeted in cognitive-behavioural treatment. The aim of this study was to determine the impact of manipulating body checking on body size estimation and body dissatisfaction. Sixty women were randomly assigned either to repeatedly scrutinize their bodies in a critical way in the mirror ("high body checking") or to refrain from body checking but to examine the whole of their bodies in a neutral way ("low body checking"). Body dissatisfaction, feelings of fatness and the strength of a particular self-critical thought increased immediately after the manipulation among those in the high body checking condition. Feelings of fatness decreased among those in the low body checking condition. These changes were short-lived. The manipulation did not effect estimations of body size or the discrepancy between estimations of body size and desired body size. The implications of these findings for understanding the influence of body checking on the maintenance of body dissatisfaction are considered. (c) 2006 Elsevier Ltd. All rights reserved.

Self-organising coordination systems

Many research fields are pushing the engineering of large-scale, mobile, and open systems towards the adoption of techniques inspired by self-organisation: pervasive computing, but also distributed artificial intelligence, multi-agent systems, social networks, peer-topeer and grid architectures exploit adaptive techniques to make global system properties emerge in spite of the unpredictability of interactions and behaviour. Such a trend is visible also in coordination models and languages, whenever a coordination infrastructure needs to cope with managing interactions in highly dynamic and unpredictable environments. As a consequence, self-organisation can be regarded as a feasible metaphor to define a radically new conceptual coordination framework. The resulting framework defines a novel coordination paradigm, called self-organising coordination, based on the idea of spreading coordination media over the network, and charge them with services to manage interactions based on local criteria, resulting in the emergence of desired and fruitful global coordination properties of the system. Features like topology, locality, time-reactiveness, and stochastic behaviour play a key role in both the definition of such a conceptual framework and the consequent development of self-organising coordination services. According to this framework, the thesis presents several self-organising coordination techniques developed during the PhD course, mainly concerning data distribution in tuplespace-based coordination systems. Some of these techniques have been also implemented in ReSpecT, a coordination language for tuple spaces, based on logic tuples and reactions to events occurring in a tuple space. In addition, the key role played by simulation and formal verification has been investigated, leading to analysing how automatic verification techniques like probabilistic model checking can be exploited in order to formally prove the emergence of desired behaviours when dealing with coordination approaches based on self-organisation. To this end, a concrete case study is presented and discussed.

Self Learning and self evaluation exercises database in basic mechanics: a theoretical-practical approach

In the School of Mines of the Technical University of Madrid (UPM) the first course of different degrees has been implemented and adapted to the European Higher Educational Area (EHEA). In all of the degrees there is a first semester course which gathers all the contents of basic mechanics: from the first kinematics concepts to the rigid solid plane motion Before the Bologna process took place, the authors had established the final assessment of the theoretical contents through open questions of theoretical-practical character In the present work, the elaboration of a wide database containing theoretical-practical questions that students can access on line is presented. The questions are divided in thirteen different questionnaires composed of a number of questions randomly chosen from a certain group in the database. Each group corresponds to a certain learning objective that the student knows. After answering the questionnaire and checking the grade assigned according to the performance of the student, the pupils can see the correct response displayed on the screen and widely explained by the professors. This represents a 10% of the final grade. As the student can access the questionnaires as many times as they want, the main goal is the self-assessment of each learning objective and therefore, getting the students involved in their own learning process so they can decide how much time they need to acquire the required level.

Learning for self-regulation: Improving instructional benefits for pupils, teachers, parents, schools, and society at large

Compulsory education laws oblige primary and secondary schools to give each pupil positive encouragement in, for example, social, emotional, cognitive, creative, and ethical respects. This is a fairly smooth process for most pupils, but it is not as easy to achieve with others. A pattern of pupil, home or family, and school variables turns out to be responsible for a long-term process that may lead to a pupil’s dropping out of education. A systemic approach will do much to introduce more clarity into the diagnosis, potential reduction and possible prevention of some persistent educational problems that express themselves in related phenomena, for example low school motivation and achievement; forced underachievement of high ability pupils; concentration of bullying and violent behaviour in and around some types of classes and schools; and drop-out percentages that are relatively constant across time. Such problems have a negative effect on pupils, teachers, parents, schools, and society alike. In this address, I would therefore like to clarify some of the systemic causes and processes that we have identified between specific educational and pupil characteristics. Both theory and practice can assist in developing, implementing, and checking better learning methods and coaching procedures, particularly for pupils at risk. This development approach will take time and require co-ordination, but it will result in much better processes and outcomes than we are used to. First, I will diagnose some systemic aspects of education that do not seem to optimise the learning processes and school careers of some types of pupils in particular. Second, I will specify cognitive, social, motivational, and self-regulative aspects of learning tasks and relate corresponding learning processes to relevant instructional and wider educational contexts. I will elaborate these theoretical notions into an educational design with systemic instructional guidelines and multilevel procedures that may improve learning processes for different types of pupils. Internet-based Information and Communication Technology, or ICT, also plays a major role here. Third, I will report on concrete developments made in prototype research and trials. The development process concerns ICT-based differentiation of learning materials and procedures, and ICT-based strategies to improve pupil development and learning. Fourth, I will focus on the experience gained in primary and secondary educational practice with respect to implementation. We can learn much from such practical experience, in particular about the conditions for developing and implementing the necessary changes in and around schools. Finally, I will propose future research. As I hope to make clear, theory-based development and implementation research can join forces with systemic innovation and differentiated assessment in educational practice, to pave the way for optimal “learning for self-regulation” for pupils, teachers, parents, schools, and society at large.

Toward Self-Organising Service Communities

This paper discusses a framework in which catalog service communities are built, linked for interaction, and constantly monitored and adapted over time. A catalog service community (represented as a peer node in a peer-to-peer network) in our system can be viewed as domain specific data integration mediators representing the domain knowledge and the registry information. The query routing among communities is performed to identify a set of data sources that are relevant to answering a given query. The system monitors the interactions between the communities to discover patterns that may lead to restructuring of the network (e.g., irrelevant peers removed, new relationships created, etc.).