A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Long-term habituation (LTH) in the crab Chasmagnathus: a model for behavioral and mechanistic studies of memory

A decade of studies on long-term habituation (LTH) in the crab Chasmagnathus is reviewed. Upon sudden presentation of a passing object overhead, the crab reacts with an escape response that habituates promptly and for at least five days. LTH proved to be an instance of associative memory and showed context, stimulus frequency and circadian phase specificity. A strong training protocol (STP) (³15 trials, intertrial interval (ITI) of 171 s) invariably yielded LTH, while a weak training protocol (WTP) (£10 trials, ITI = 171 s) invariably failed. STP was used with a presumably amnestic agent and WTP with a presumably hypermnestic agent. Remarkably, systemic administration of low doses was effective, which is likely to be due to the lack of an endothelial blood-brain barrier. LTH was blocked by inhibitors of protein and RNA synthesis, enhanced by protein kinase A (PKA) activators and reduced by PKA inhibitors, facilitated by angiotensin II and IV and disrupted by saralasin. The presence of angiotensins and related compounds in the crab brain was demonstrated. Diverse results suggest that LTH includes two components: an initial memory produced by spaced training and mainly expressed at an initial phase of testing, and a retraining memory produced by massed training and expressed at a later phase of testing (retraining). The initial memory would be associative, context specific and sensitive to cycloheximide, while the retraining memory would be nonassociative, context independent and insensitive to cycloheximide

Animal model for age- and sex-related genotoxicity of diethylstilbestrol

Environmental xenoestrogens pose a significant health risk for all living organisms. There is growing evidence concerning the different susceptibility to xenoestrogens of developing and adult organisms, but little is known about their genotoxicity in pre-pubertal mammals. In the present study, we developed an animal model to test the sex- and age-specific genotoxicity of the synthetic estrogen diethylstilbestrol (DES) on the reticulocytes of 3-week-old pre-pubertal and 12-week-old adult BALB/CJ mice using the in vivo micronucleus (MN) assay. DES was administered intraperitoneally at doses of 0.05, 0.5, and 5 µg/kg for 3 days and animals were sampled 48, 72 and 96 h, and 2 weeks after exposure. Five animals were analyzed for each dose, sex, and age group. After the DES dose of 0.05 µg/kg, pre-pubertal mice showed a significant increase in MN frequency (P < 0.001), while adults continued to show reference values (5.3 vs 1.0 MN/1000 reticulocytes). At doses of 0.5 and 5 µg/kg, MN frequency significantly increased in both age groups. In pre-pubertal male animals, MN frequency remained above reference values for 2 weeks after exposure. Our animal model for pre-pubertal genotoxicity assessment using the in vivo MN assay proved to be sensitive enough to distinguish age and sex differences in genome damage caused by DES. This synthetic estrogen was found to be more genotoxic in pre-pubertal mice, males in particular. Our results are relevant for future investigations and the preparation of legislation for drugs and environmentally emitted agents, which should incorporate specific age and gender susceptibility.

A social-cognitive model of monitoring and its relationship to behaviour in a naturalistic observation : development and individual differences

years 8 months) and 24 older (M == 7 years 4 months) children. A Monitoring Process Model (MPM) was developed and tested in order to ascertain at which component process ofthe MPM age differences would emerge. The MPM had four components: (1) assessment; (2) evaluation; (3) planning; and (4) behavioural control. The MPM was assessed directly using a referential communication task in which the children were asked to make a series of five Lego buildings (a baseline condition and one building for each MPM component). Children listened to instructions from one experimenter while a second experimenter in the room (a confederate) intetjected varying levels ofverbal feedback in order to assist the children and control the component ofthe MPM. This design allowed us to determine at which "stage" ofprocessing children would most likely have difficulty monitoring themselves in this social-cognitive task. Developmental differences were obselVed for the evaluation, planning and behavioural control components suggesting that older children were able to be more successful with the more explicit metacomponents. Interestingly, however, there was no age difference in terms ofLego task success in the baseline condition suggesting that without the intelVention ofthe confederate younger children monitored the task about as well as older children. This pattern ofresults indicates that the younger children were disrupted by the feedback rather than helped. On the other hand, the older children were able to incorporate the feedback offered by the confederate into a plan ofaction. Another aim ofthis study was to assess similar processing components to those investigated by the MPM Lego task in a more naturalistic observation. Together the use ofthe Lego Task ( a social cognitive task) and the naturalistic social interaction allowed for the appraisal of cross-domain continuities and discontinuities in monitoring behaviours. In this vein, analyses were undertaken in order to ascertain whether or not successful performance in the MPM Lego Task would predict cross-domain competence in the more naturalistic social interchange. Indeed, success in the two latter components ofthe MPM (planning and behavioural control) was related to overall competence in the naturalistic task. However, this cross-domain prediction was not evident for all levels ofthe naturalistic interchange suggesting that the nature ofthe feedback a child receives is an important determinant ofresponse competency. Individual difference measures reflecting the children's general cognitive capacity (Working Memory and Digit Span) and verbal ability (vocabulary) were also taken in an effort to account for more variance in the prediction oftask success. However, these individual difference measures did not serve to enhance the prediction oftask performance in either the Lego Task or the naturalistic task. Similarly, parental responses to questionnaires pertaining to their child's temperament and social experience also failed to increase prediction oftask performance. On-line measures ofthe children's engagement, positive affect and anxiety also failed to predict competence ratings.

From Smeed's Single-Damage Fixed-Form Three-Variable Model to Multinational and Multiprovincial Drag-Type Formulations: Does the Mystery of 1972-1973 Disapear ?

Rapport de recherche

The two-way mixed model : A long and winding controversy

Resumen tomado de la publicación

Evaluation of the cognitive-behavioral model of generalized and problematic Internet use in Spanish adolescents

Resumen tomado de la publicaci??n

¿Puede un modelo educativo intercultural combatir la discriminación y la xenofobia? = Can an intercultural education model combat discrimination and xenophobia?

In this article we present a qualitative study conducted with six indigenous and six mestizos from Intercultural University of Chiapas. The aim of the study is to exemplify the mutual perception between different ethno-linguistic groups, as well as the possible change occurred after the admission to the University. That is, opinions about the other group after and before entering the University. We conclude that a higher education intercultural model can promote mutual understanding and relationship between indigenous and mestizos and thus combat prejudices and stereotypes

ARX, model thinking: taxonomy and operativity of an architectural process

The purpose of this work was to establish a taxonomy of hand made model construction as a platform for an approach to project an operative method in architecture. It was therefore studied and catalogued in a systematic approach a broad model production in the work of ARX. A wide range of families and sub-families of models were found, with different purposes according to each phase of development, from searching steps for a new possible configuration to detailed refined decisions. This working method revealed as most relevant characteristics, the grounds for a potential personal reflection and open discussion on project method, its flexibility on space modeling, an accuracy on the representation of real construction situations and its constant and stimulating opening to new suggestions. This research helped on a meta-reflection about this method, having been useful on creating a consciousness of processes that pretend to become an autonomous language, knowledge that might become useful to those who pretend to implement a haptic modus operandi in the work of an architectural project.

Threshold adaptation, temporal integration and frequency discrimination-learning in hearing impaired children

This paper is a review of a study to evaluate the usefulness of a laboratory approach to auditory training with hearing impaired children.