993 resultados para FINITELY PRESENTED MODULES


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nos últimos anos, o processo de ensino e aprendizagem tem sofrido significativas alterações graças ao aparecimento da Internet. Novas ferramentas para apoio ao ensino têm surgido, nas quais se destacam os laboratórios remotos. Atualmente, muitas instituições de ensino disponibilizam laboratórios remotos nos seus cursos, que permitem, a professores e alunos, a realização de experiências reais através da Internet. Estes são implementados por diferentes arquiteturas e infraestruturas, suportados por vários módulos de laboratório acessíveis remotamente (e.g. instrumentos de medição). No entanto, a sua inclusão no ensino é ainda deficitária, devido: i) à falta de meios e competências técnicas das instituições de ensino para os desenvolverem, ii) à dificuldade na partilha dos módulos de laboratório por diferentes infraestruturas e, iii) à reduzida capacidade de os reconfigurar com esses módulos. Para ultrapassar estas limitações, foi idealizado e desenvolvido no âmbito de um trabalho de doutoramento [1] um protótipo, cuja arquitetura é baseada na norma IEEE 1451.0 e na tecnologia de FPGAs. Para além de garantir o desenvolvimento e o acesso de forma normalizada a um laboratório remoto, este protótipo promove ainda a partilha de módulos de laboratório por diferentes infraestruturas. Nesse trabalho explorou-se a capacidade de reconfiguração de FPGAs para embutir na infraestrutura do laboratório vários módulos, todos descritos em ficheiros, utilizando linguagens de descrição de hardware estruturados de acordo com a norma IEEE 1451.0. A definição desses módulos obriga à criação de estruturas de dados binárias (Transducer Electronic Data Sheets, TEDSs), bem como de outros ficheiros que possibilitam a sua interligação com a infraestrutura do laboratório. No entanto, a criação destes ficheiros é bastante complexa, uma vez que exige a realização de vários cálculos e conversões. Tendo em consideração essa mesma complexidade, esta dissertação descreve o desenvolvimento de uma aplicação Web para leitura e escrita dos TEDSs. Para além de um estudo sobre os laboratórios remotos, é efetuada uma descrição da norma IEEE 1451.0, com particular atenção para a sua arquitetura e para a estrutura dos diferentes TEDSs. Com o objetivo de enquadrar a aplicação desenvolvida, efetua-se ainda uma breve apresentação de um protótipo de um laboratório remoto reconfigurável, cuja reconfiguração é apoiada por esta aplicação. Por fim, é descrita a verificação da aplicação Web, de forma a tirar conclusões sobre o seu contributo para a simplificação dessa reconfiguração.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we introduce a formation control loop that maximizes the performance of the cooperative perception of a tracked target by a team of mobile robots, while maintaining the team in formation, with a dynamically adjustable geometry which is a function of the quality of the target perception by the team. In the formation control loop, the controller module is a distributed non-linear model predictive controller and the estimator module fuses local estimates of the target state, obtained by a particle filter at each robot. The two modules and their integration are described in detail, including a real-time database associated to a wireless communication protocol that facilitates the exchange of state data while reducing collisions among team members. Simulation and real robot results for indoor and outdoor teams of different robots are presented. The results highlight how our method successfully enables a team of homogeneous robots to minimize the total uncertainty of the tracked target cooperative estimate while complying with performance criteria such as keeping a pre-set distance between the teammates and the target, avoiding collisions with teammates and/or surrounding obstacles.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A Logística, vista como uma perspetiva integradora entre os parceiros de negócio, com objetivos comuns de proporcionar ao cliente mais-valias e aspetos diferenciadores perante os outros concorrentes, contribui em muito na manutenção das empresas na globalização atual, que se torna cada vez mais flexível. Através de uma boa gestão de processos críticos de negócio, boa localização dos materiais, sejam eles quais forem, produtos finais, matérias-primas ou produtos em vias de fabrico e através do transporte a logística cria utilidade temporal e diferenciadora. De facto, a logística poderá assumir um papel fundamental em proporcionar valor acrescentado ao disponibilizar, a tempo, os serviços que os clientes necessitam ou esperam. Enquadrando-se na temática de gestão dos armazéns, o presente projeto consistiu no estudo de operações de picking com a finalidade de otimização dos processos de picking no armazém do operador logístico AR – Serviços de Logística, localizado em Ribeirão, Vila Nova de Famalicão. O trabalho inicial passou pelo levantamento do funcionamento das operações do processo de picking na empresa e posteriormente confrontá-los com as tecnologias e procedimentos atuais no mercado. Com base nos resultados obtidos, foi possível definir e implementar métricas enquadradas nas finalidades estratégicas e operacionais do operador logístico. As soluções passaram também pela melhoria da aplicação de gestão de armazéns (WMS), reavaliação dos indicadores previamente estabelecidos e na aquisição de equipamentos para automatização das operações picking e localizações. Os registos e informações relacionadas com os módulos fulcrais são armazenados e tratados na base de dados de suporte à aplicação com contributo de melhoria contínua aos procedimentos logístico da empresa e sua relação com os stakeholders na estratégia global de negócio com o operador logístico. Finalmente, foi possível analisar os resultados obtidos em modo real em relação as estimativas calculadas e definidas na fase de implementação e desenvolvimento.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O tratamento das águas residuais domésticas surge com o intuito de degradar os poluentes presentes, para que as águas residuais tratadas não prejudiquem o ambiente nem a saúde pública. O presente trabalho teve como objetivo a conceção e o dimensionamento de uma Estação de Tratamento de Águas Residuais (ETAR) na freguesia de Canelas com a finalidade de substituir a já existente e permitir a ampliação da área da rede de saneamento da freguesia. Foram considerados dois tipos de ETAR’s, compacta e convencional, para tratar águas residuais domésticas de aproxidamente 2000 habitantes, com um caudal médio de 400 m3/dia e um caudal de ponta de 1136,7 m3/dia. Das duas opções optou-se pela convencional uma vez que acarreta um menor investimento, no valor de 187 232 €, e se considera também mais adequada às características do efluente a tratar. O tratamento escolhido inclui inicialmente uma gradagem, com uma grade constituída por sete barras com um espaçamento de 20 mm entre elas, seguida de um tamisador rotativo com uma abertura de malha de 3 mm. Depois do tamisador, optou-se por um sistema de desarenação/desengorduramento com um volume do tanque de 3,95 m3 e um fluxo de ar de 17,9 m3/h. Na fase seguinte considerou-se um tratamento biológico por lamas ativadas em regime de arejamento prolongado num tanque de arejamento de volume igual a 245,8 m3 com um arejador submerso, seguindo-se um decantador secundário de volume 33,3 m3. Por último, escolheu-se um sistema de desinfeção por ultravioleta e, a montante do mesmo, um filtro rápido para eliminar pequenas partículas que o efluente ainda possa conter. Para a desinfeção foram consideradas duas secções com cinco módulos de duas lâmpadas cada, ou seja, vinte lâmpadas ultravioleta. Dos resíduos produzidos pelo tratamento da água residual, os gradados e as areias serão encaminhados para aterro, enquanto que as lamas serão enviadas para a ETAR das Termas de S.Vicente, para que sofram o tratamento adequado e sejam encaminhadas para o destinal final adequado (aplicação em solos agrícolas, compostagem ou em alternativa para aterro). No caso da ETAR covencional foi ainda avaliada a possível reutilização de um decantador da ETAR de Milhundos uma vez que esta se encontrava em fase de desativação. Desta avaliação, concluiu-se que não seria economicamente viável o seu reaproveitamento. Mestrado em Engenharia Química – Tecnologias de Proteção Ambiental Para além disso realizou-se também um levantamento dos principais problemas que ocorrem na maioria das ETAR’s e foram apresentadas as respetivas sugestões de resolução. A realização de um inquérito permititu concluir que os odores são o problema que mais causa incómodo à população.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

ABSTRACT - Objectives: We attempted to show how the implementation of the key elements of the World Health Organization Patient Safety Curriculum Guide Multi-professional Edition in an undergraduate curriculum affected the knowledge, skills, and attitudes towards patient safety in a graduate entry Portuguese Medical School. Methods: After receiving formal recognition by the WHO as a Complementary Test Site and approval of the organizational ethics committee , the validated pre-course questionnaires measuring the knowledge, skills, and attitudes to patient safety were administered to the 2nd and3rd year students pursuing a four-year course (N = 46). The key modules of the curriculum were implemented over the academic year by employing a variety of learning strategies including expert lecturers, small group problem-based teaching sessions, and Simulation Laboratory sessions. The identical questionnaires were then administered and the impact was measured. The Curriculum Guide was evaluated as a health education tool in this context. Results: A significant number of the respondents, 47 % (n = 22), reported having received some form of prior patient safety training. The effect on Patient Safety Knowledge was assessed by using the percentage of correct pre- and post-course answers to construct 2 × 2 contingency tables and by applying Fishers’ test (two-tailed). No significant differences were detected (p < 0.05). To assess the effect of the intervention on Patient Safety skills and attitudes, the mean and standard deviation were calculated for the pre and post-course responses, and independent samples were subjected to Mann-Whitney’s test. The attitudinal survey indicated a very high baseline incidence of desirable attitudes and skills toward patient safety. Significant changes were detected (p < 0.05) regarding what should happen if an error is made (p = 0.016), the role of healthcare organizations in error reporting (p = 0.006), and the extent of medical error (p = 0.005). Conclusions: The implementation of selected modules of the WHO Patient Safety Curriculum was associated with a number of positive changes regarding patient safety skills and attitudes, with a baseline incidence of highly desirable patient safety attitudes, but no measureable change on the patient safety knowledge, at the University of Algarve Medical School. The significance of these results is discussed along with implications and suggestions for future research.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Engineer estimate (5 ½ pages, handwritten) in the marsh lands drainage presented to the Chamber and Councilors of the County of Welland in council assembled. This report is signed by S.D. Woodruff, June 20, 1857.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Warrant (1 page, handwritten copy) that a complaint was presented to Edmund Riselay, Justice of the Peace in Bertie by Henry Nelles, Justice of the Peace in Niagara against William Wintermute and Benjamin Wright of Bertie by Joseph Lindeberry of Clinton regarding the suspicion of Wintermute and Wright stealing wheat from the Lindeberry barn. Benjamin Wright seemed the guiltier of the two and therefore it is requested that he be brought before a Justice of the Peace to be examined. This document is stained, but this does not affect the text, April 4, 1837.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

UANL

Relevância:

20.00% 20.00%

Publicador:

Resumo:

En raison de sa force explicative et opérationnelle, la théorie du choix rationnel est utilisée au sein de plusieurs disciplines des sciences sociales. Alors que la majorité des économistes conçoivent la théorie du choix rationnel comme un processus de maximisation de l’utilité, la portée de ce modèle est le sujet de nombreuses critiques. Pour plusieurs, certaines préférences ne peuvent être modulées à l’intérieur de ce cadre. Dans ce mémoire, trois conceptions alternatives de la théorie du choix rationnel sont présentées : la rationalité comme présence virtuelle, la rationalité comme mécanisme intentionnel et la rationalité en tant que science du choix. Une analyse critique de celles-ci est effectuée. En design institutionnel, ces trois conceptions de la rationalité offrent des perspectives distinctes. La première met l’emphase sur les motivations non-égocentriques. La seconde mise sur l’aspect adaptatif du processus. La rationalité jouant un rôle privilégié, mais non exclusif, les mécanismes causaux doivent également être considérés. La troisième implique de formuler des règles institutionnels différentes dépendamment du modèle de l’agent rationnel qui est mis de l’avant. L’établissement de règles institutionnelles varie en fonction de la conception adoptée parmi ces théories du choix rationnel.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La division cellulaire est influencée par les différents stimuli provenant de l’extérieur ou de l’intérieur de la cellule. Plusieurs réseaux enzymatiques élaborés au cours de l’évolution relayent l’information générée par ces signaux. Les modules MAP kinases sont extrêmement importants au sein de la cellule. Chez l’humain, 14 MAP kinases sont regroupées en sept voies distinctes intervenant dans le contrôle d’une myriade de processus cellulaires. ERK3/4 sont des homologues de ERK1/2 pour lesquelles on ne connaît que très peu de choses concernant leurs fonctions et régulation. Ces MAP kinases sont dites atypiques puisqu’elles ont des particularités structurales et des modes de régulation qui diffèrent des autres MAP kinases classiques. Ainsi, notre laboratoire a démontré que l’activité de ERK3 est régulée par le système ubiquitine-protéasome et qu’elle pourrait avoir un rôle à jouer dans le contrôle de la différenciation et la prolifération cellulaire. La première étude présentée décrit la régulation de ERK3 au cours du cycle cellulaire. Nous avons observé que ERK3 est hyperphosphorylée et s’accumule spécifiquement au cours de la mitose. Des analyses de spectrométrie de masse ont mené à l’identification de quatre sites de phosphorylation situés à l’extrémité du domaine C-terminal. Nous avons pu démontrer que la kinase mitotique CDK1/cycline B phosphoryle ces sites et que les phosphatases CDC14A et CDC14B les déphosphorylent. Finalement, nous démontrons que la phosphorylation mitotique de ERK3 a pour effet de la stabiliser. Au début de mes études doctorales, la kinase MK5 fut identifiée comme premier partenaire et substrat de ERK3. MK5 a très peu de fonctions connues. Des données dans la littérature suggèrent qu’elle peut moduler le cycle cellulaire dans certaines conditions. Par exemple, MK5 a récemment été identifié comme inducteur de la sénescence induite par l’oncogène Ras. Dans la deuxième étude, nous décrivons une nouvelle fonction de MK5 dans le contrôle du cycle cellulaire. Nous démontrons par des expériences de gain et perte de fonction que MK5 ralentit l’entrée en mitose suite à un arrêt de la réplication. Cette fonction est dépendante de l’activité enzymatique de MK5 qui régule indirectement l’activité de CDK1/cycline B. Finalement, nous avons identifié Cdc25A comme un nouveau substrat in vitro de MK5 dont la surexpression supprime l’effet de MK5 sur l’entrée en mitose. En conclusion, nos résultats décrivent un nouveau mécanisme de régulation de ERK3 au cours de la mitose, ainsi qu’une nouvelle fonction pour MK5 dans le contrôle de l’entrée en mitose en réponse à des stress de la réplication. Ces résultats démontrent pour la première fois l’implication de ces protéines au cours de la transition G2/M. Nos travaux établissent de nouvelles pistes d’études pour mieux comprendre les rôles encore peu définis des kinases ERK3/4-MK5.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L’augmentation du nombre d’usagers de l’Internet a entraîné une croissance exponentielle dans les tables de routage. Cette taille prévoit l’atteinte d’un million de préfixes dans les prochaines années. De même, les routeurs au cœur de l’Internet peuvent facilement atteindre plusieurs centaines de connexions BGP simultanées avec des routeurs voisins. Dans une architecture classique des routeurs, le protocole BGP s’exécute comme une entité unique au sein du routeur. Cette architecture comporte deux inconvénients majeurs : l’extensibilité (scalabilité) et la fiabilité. D’un côté, la scalabilité de BGP est mesurable en termes de nombre de connexions et aussi par la taille maximale de la table de routage que l’interface de contrôle puisse supporter. De l’autre côté, la fiabilité est un sujet critique dans les routeurs au cœur de l’Internet. Si l’instance BGP s’arrête, toutes les connexions seront perdues et le nouvel état de la table de routage sera propagé tout au long de l’Internet dans un délai de convergence non trivial. Malgré la haute fiabilité des routeurs au cœur de l’Internet, leur résilience aux pannes est augmentée considérablement et celle-ci est implantée dans la majorité des cas via une redondance passive qui peut limiter la scalabilité du routeur. Dans cette thèse, on traite les deux inconvénients en proposant une nouvelle approche distribuée de BGP pour augmenter sa scalabilité ainsi que sa fiabilité sans changer la sémantique du protocole. L’architecture distribuée de BGP proposée dans la première contribution est faite pour satisfaire les deux contraintes : scalabilité et fiabilité. Ceci est accompli en exploitant adéquatement le parallélisme et la distribution des modules de BGP sur plusieurs cartes de contrôle. Dans cette contribution, les fonctionnalités de BGP sont divisées selon le paradigme « maître-esclave » et le RIB (Routing Information Base) est dupliqué sur plusieurs cartes de contrôle. Dans la deuxième contribution, on traite la tolérance aux pannes dans l’architecture élaborée dans la première contribution en proposant un mécanisme qui augmente la fiabilité. De plus, nous prouvons analytiquement dans cette contribution qu’en adoptant une telle architecture distribuée, la disponibilité de BGP sera augmentée considérablement versus une architecture monolithique. Dans la troisième contribution, on propose une méthode de partitionnement de la table de routage que nous avons appelé DRTP pour diviser la table de BGP sur plusieurs cartes de contrôle. Cette contribution vise à augmenter la scalabilité de la table de routage et la parallélisation de l’algorithme de recherche (Best Match Prefix) en partitionnant la table de routage sur plusieurs nœuds physiquement distribués.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Les matériaux conjugués ont fait l’objet de beaucoup de recherches durant les dernières années. Les nouveaux matériaux présentent des propriétés intéressantes que ce soit au niveau optique, électrique, mécanique ou même les trois en même temps. La synthèse reste la difficulté principale dans la fabrication de dispositifs électroniques. Les méthodes utilisées pour y parvenir sont l’électropolymérisation, le couplage de Suzuki ou de Wittig. Ces techniques comportent encore de nombreuses contraintes et s’avèrent difficilement réalisables à grande échelle. Les thiophènes, les pyrroles et les furanes ont démontré une bonne conductibilité et une bande de conduction basse due à une conjugaison accrue. L’objectif ici est de synthétiser des oligomères principalement composés de thiophènes dans le but d’en caractériser les propriétés spectroscopiques, électrochimiques et de conduction. La synthèse est souvent l’étape délicate de la fabrication de matériaux conjugués. Nous présentons ici une méthode de synthèse simple par modules avec des unités hétérocycliques. Les modules complémentaires sont attachés par condensation entre un aldéhyde et une amine menant à la formation d’un lien robuste, l’azomethine. Les résultats des propriétés photophysiques et électrochimiques de ces matériaux conjugués seront présentés. En ayant recours à différents groupes électrodonneurs et électroaccepteurs, en variant le degré de conjugaison ou en utilisant différents hétérocycles, les propriétés spectroscopiques, électrochimiques et de bande de conduction peuvent être adaptées à volonté, ce qui en fait des matériaux aux propriétés modelables. Ces nouvelles molécules seront analysées pour en déceler les propriétés recherchées dans la fabrication d’OLED. Nous explorerons les domaines de l’oxidation electrochimique réversible et de la polymérisation menant à la fabrication de quelques prototypes simples.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Depuis ces deux dernières décennies, des efforts considérables en psychologie cognitive et neuropsychologie ont été déployés pour mieux comprendre les dynamiques entre les différents systèmes cognitifs (fonctions exécutives, mémoire, langage, etc.). L’observation d’une co-existence entre des atteintes en rétention à court terme verbale (RCTv) et en langage dans plusieurs pathologies a conduit certains chercheurs à concevoir une alternative à la conceptualisation classique de la RCTv, telle que proposée par le modèle initial de la mémoire de travail de Baddeley (1986). Particulièrement, les travaux sur l’aphasie ont conduit à l’émergence d’une approche psycholinguistique de la RCTv, postulant que le traitement et le maintien des mots font appel à des processus communs. Cette approche, et particulièrement le modèle d’activation interactive (N. Martin & Gupta, 2004; N. Martin & Saffran, 1997), prédit que les capacités en RCTv sont notamment modulées par les caractéristiques linguistiques engagées durant l’épreuve, variant selon la nature des items verbaux et la modalité de rappel, ainsi que par les compétences linguistiques des individus. L’objectif de la présente thèse était de tester ces prédictions à partir d’une exploration des relations entre le traitement sémantique des mots et la RCTv chez l’adulte sain (article 1) et dans la démence de type Alzheimer (DTA) (article 2). Dans le premier article, deux expériences mettent en évidence l’influence des liens associatifs entre les mots sur les capacités à maintenir temporairement des informations verbales. Les participants ont tendance à faussement reconnaître des mots associés aux mots de la liste, reflet d’une activation du réseau sémantique durant la rétention temporaire. Cette contribution sémantique est accentuée en situation de suppression articulatoire, une condition qui empêche le participant de répéter les listes durant la tâche. Les résultats du second article indiquent que la modalité de réponse module différemment la performance en RCTv chez les participants âgés sans atteinte neurologique et ceux atteints de la DTA. Ces données en RCTv sont compatibles avec les atteintes spécifiques du traitement du mot, également trouvées chez le groupe avec DTA. Les implications théoriques et cliniques de ces résultats sont discutées. Les limites et perspectives futures sont également abordées.