No description available.

The thesis introduces new models for formal languages, the m-limited state   grammar and the deep pushdown automaton. Their basic definitions are presented,   so is their mutual equivalence and the characteristics of the language family they describe.   Following, a parsing method based on these models is presented. The method is an extension   of a similar method used for context-free languages, the table driven parsing.   The final part of the thesis describes the implementation of a parser based on the method.

This thesis is an expansion of an ongoing examination of gist and verbatim memory in young adults with language-learning disabilities (LLD) using the DRM paradigm (Deese, 1959; Roediger & McDermott, 1995). This study uses lists based on situation semantic features in addition to DRM lists based on backwards associative strength (BAS), which were categorized as strong-, mid-, and low-BAS (Stadler, Roediger, & McDermott, 1999). Items in each list (e.g., bacon, toast, cereal, muffin) related to a non-presented word (e.g., breakfast): the critical lure (CL). BAS is a measure of the likelihood that a list item will elicit the CL. Thirty young adults participated in this study and were divided into three groups: true LLD, compensated LLD, and typically developing (TD). Participants listened to word lists and verbally recalled the words they remembered hearing. Accurate recall was an indicator of verbatim memory; CL recall was an indicator of gist memory. The true LLD group recalled CL at a significantly higher rate than the other groups in the case of the situation lists; additionally, the compensated LLD group recalled CL for the low-BAS lists at a significantly higher rate than the other groups. These findings suggest that the LLD participants may process semantic information differently or may rely on gist memory to a greater extent than the TD controls. Results also indicated list type differences for both verbatim and gist recalls, supporting the effects of both semantic features and BAS together with other factors. / text

Neste trabalho à apresentada uma proposta de conversÃo de modelos de cÃlulas de manufatura (FMS) em Redes de Petri Coloridas (RPC) para Ladder Logic Diagram (LLD). Explora-se modelos de RPC controlados - construidos usando-se como metodologia de controle supervisÃrio as RestriÃÃes de Controle sobre Cores Decompostas (RCCD) - e modelos nÃo controlados. Enfatiza-se a transformaÃÃo de RPC nÃo controlada para LLD e a facilidade de inclusÃo do controle. Os resultados aqui descritos demonstram que a metodologia facilita o trabalho de um programador de CLP em LLD minimizando os possÃveis erros durante a fase de programaÃÃo. Para exemplificar a metodologia foi desenvolvido um conversor de RPC para LLD, produzido em ambiente JAVA, afim de evidenciar a dinÃmica de conversÃo. Para a validaÃÃo dos resultados do conversor à usado um robà articulado vertical controlado via CLP, que opera comparativamente com e sem supervisÃo, o qual fora modelado primeiramente em RPC sem supervisÃo, depois aplicada a tÃcnica RCCD, a supervisÃo e a conversÃo para LLD. / In this dissertation, is presented a proposal of conversion of models of manufacturing cell (FMS) from Colored Petri Nets (CPN) to Ladder Logic Diagram (LLD). It explores the controlled CPN models - constructed using the methodology of supervisory Control Restrictions on Decomposed Colors (CRDC) - and not controlled models. It emphasizes the transformation of CPN not controlled for the LLD and ease for inclusion of control. The results described herein demonstrate that the methodology facilitates the work of a PLC programmer in LLD minimizing possible errors during the programming phase. To illustrate the methodology we developed a converter from CPN to LLD, produced in JAVA, in order to clarify the dynamic conversion environment. To validate the results of the converter, is controlled by PLC, a vertical articulated robot which works compared with and without supervision which had been firstly modeled in CPN without supervision, then applied to CRDC, the supervision and the conversion technique for LLD.

D'un côté, la démocratie et l'économie de marché changent la conception du pouvoir en Pologne, et de ce fait appellent un positionnement nouveau de l'enseignant-chercheur. De l'autre, la neurobiologie jette un éclairage nouveau sur le fonctionnement de l'individu en groupe et sur le traitement de l'information en cours d'apprentissage. L'étude du contexte scolaire polonais fait voir une possibilité de décentralisation des relations en classe, tout en prenant en compte les besoins sociaux et émotionnels de l'apprenant.Le présent projet de thèse, réalisé dans le cadre de la recherche-action, vise l'implication de l'élève par le biais d'un dispositif nommé : Discussion à Responsabilité Limitée (DARL). Grâce au dispositif, l'apprenant a la possibilité d'exercer des choix (documents de référence, groupe de discussion, prise de parole et son étendue); il a aussi l'occasion d'être dans une situation à responsabilité (choix du sujet et gestion d'une discussion). Les analyses des prises de parole en groupe ont démontré un lien entre la responsabilisation et l'augmentation du volume de prise de parole dans plusieurs cas décrits. Elles ont mis aussi en exergue des comportements d'auto-limitation de parole chez les apprenants-responsables qui, en tant que participants, étaient habituellement très actifs. Outre ces acquis d'ordre langagier, la recherche rend compte des attitudes des apprenants envers le travail et l'autorité.Le travail de thèse s'ouvre sur les Technologies de l'Information et de la Communication (TIC) qui, tout en résolvant certains problèmes liés au dispositif proposé,initient des questions nouvelles, relatives à l'interaction en groupe et à l'évaluation. / On the one hand, democracy and market economy have changed the concept of powerin Poland and they thereby ask for a new positioning of the teacher-researcher. On the otherhand, neurobiology sheds new light on the way an individual functions in a group, and oninformation processing during learning.The study of the Polish educational context authorizes a wider implementation oflearner-centered rather than teacher-centered classroom practices, while paying attention tothe learner's social and emotional needs.The project, realized in the action-research framework, aims at involving the studentthrough an environment called : Limited Liability Discussion (LLD). Thanks to thisenvironment, the learner has a chance to choose (reference documents, discussion group,speaking out and its duration); he also has an opportunity to be in a situation with a certainlevel of responsibility (choice of a topic and management of the discussion).The analysis of speaking out in a group has established a connection betweenempowerment and the increase in oral production in the majority of the described cases. Theresults of the analysis have also emphasized specific behaviour of self-limitation in speakingin the case of "responsible" learners who, as participants, were usually very active. Apart fromlanguage acquisition gains, this research highlights learner attitudes to work and authority.The thesis opens on Information and Communication Technologies (ICT) which solvesome of the problems connected with the proposed environment, but at the same time raisenew questions, related to interaction in a group as well as assessment.

Modern build systems that build large software projects often utilize a distributed compiler, allowing the compilation of object files to be parallelized over multiple machines. These build systems are often not able to fully utilize all the resources available on all machines. As linking is not part of this distributed process, the unused resources could be used to perform linking instead, reducing the total build time. However, linking is often performed at the end of the build process, thus not being able to access the previously unused resources. In this thesis project, a linker that runs concurrently with the compilation process of the build system is designed, implemented, and evaluated . As the compilation process produces an object file, the linker performs a partial link using this file. The link is finalized at the end of the build, not unlike a traditional linker. The results show that the total build time is reduced when using the new linker in a build system utilizing a distributed compiler. In some cases, the time spent linking at the end of the build system is reduced over 50 percent when compared to the reference linker.

This Doctoral thesis is focused on research of usability hardwood that is not used in structural engineering nowadays. Analysis of known hardwood properties and its verification by experiment was made. Mathematic analysis using the PROMETHEE method was used for most suitable hardwood species selection in the Central Europe conditions. The most suitable hardwood – beech – was subjected for further tests: finger-joint load bearing capacity experiment and beech homogenous and hybrid glulam experiment. The test results are compared with the values from professional literature.