106 resultados para autòmata finit
Resumo:
En este artículo se presentan los resultados y conclusiones del trabajo deinvestigación llevado a cabo sobre herramientas informáticas para representación de grafos de autómatas de estado finitos. El principal resultado de esta investigación es el desarrollo de una nueva herramienta, que permita dibujar el grafo de forma totalmente automática, partiendo de una tabla de transiciones donde se describe al autómata en cuestión.
Resumo:
Tít. tomado del colofón y mención de responsabilidad de Q5v
Resumo:
Sendo o manual escolar o recurso pedagógico mais utilizado por alunos e professores foi realizada uma investigação tendo por objectivo avaliar qualitativamente a forma comunicacional de um conjunto de manuais escolares do 2º ciclo do ensino básico1. A importância atribuída atualmente à imagem é patente nos manuais escolares, sob pretexto de se tornarem mais apelativos e mais eficazes. Tal como em outras áreas em que a quantidade de imagens acaba por se transformar em poluição visual porque o ser humano não tem capacidade para reagir, simultaneamente, a um demasiado número de estímulos, nas estratégias comunicacionais dos manuais escolares este problema deve ser acautelado porque delas depende a sua qualidade pedagógica. As investigações não comprovam que exista uma relação direta entre a presença de ilustrações num texto e o aumento da sua compreensão. Pelo contrário, há estudos que sugerem que muitas ilustrações falham como potenciadoras da aprendizagem. Neste sentido, da investigação referida, consta uma análise ao rácio imagem/texto e uma auscultação a dois grupos de amostra - professores e alunos – sobre alguns aspectos gerais relativos à presença e eficácia pedagógica das ilustrações dos manuais escolares. Destacamos que, no caso dos alunos, apesar do seu nível de literacia ter constituído um obstáculo ao tratamento das questões, optámos por apresentar as suas respostas.
Resumo:
Dans Fin de partie, Beckett se révèle de nouveau un maître du théâtre de l’âme, mais d’une façon pas du tout conventionnelle. On doit classer cette pièce dans l’antithéâtre parce qu’elle manque d’intrigue, il n’y a que de situations cycliques toujours répétées, le temps ne veut pas passer, c’est plutôt un moment éternel, les personnages manquent de consistance et d’individualité : ils sont davantage des incarnations d’attitudes humaines, et ils parlent un langage décousu, un bourdonnement dépourvu de sens. Bien que tous ces aspects contribuent à l’ambiguïté de la pièce, rien n’y est laissé au hasard : tout sert à communiquer l’incommunicable. La scène se passe dans un lieu clos, avec une lumière crépusculaire qui suggère la fin du jour. Les personnages et les objets se trouvent dans des poubelles (Nagg et Nell) ou couverts par des draps : peu à peu, les objets et les personnages se dévoilent d’une façon fragmentée. C’est Clov qui nous dit qu’il s’agit de la fin de quelque chose, mais déjà le décor, la lumière, la déchéance physique des personnages et les dialogues à peine esquissés suggèrent un stage final qui n’en finit plus, qui devient un moment éternel, car la mort, elle non plus, ne se présente pas comme une solution pour le problème de notre existence absurde. Et nous voilà de nouveau face à face avec l’absurdité de la condition humaine, où l’homme se sent privé de toute certitude et incapable de découvrir un sens à son existence. Le tragique de la condition humaine, et le désir de lui mettre fin est le fil conducteur de Fin de partie. Les personnages montrent tout au long de la pièce que la condition humaine est intolérable et qu’ils sont écrasés par la routine et l’ennui. Ils se sentent perdus et abandonnés par un dieu quiconque, un monstre qui a créé la nature humaine. La vie est une pile de moments infernaux ; tout le monde est dans l’attente de quelqu’un ou d’un événement qui puisse changer son cours. Mais rien ne change, les personnages sont trop passifs – Clov se prépare pour son voyage, cependant, au lieu de partir, il reste là, immobile, jusqu’à la fin. Mais c’est juste pour ce danger que Beckett veut nous alerter : si nous ne faisons pas usage de notre liberté en nous recréant par une succession de choix, nous serons damnés, c’est-à-dire, condamnés à vivre dans le désespoir, le néant, l’absurde – la vie sera toujours un infini recommencement de rien.
Resumo:
Projecte de recerca elaborat a partir d’una estada al Department de Matemàtica Aplicada de la Montanuniversität Leoben, Àustria, entre agost i desembre del 2006. L’ objectiu ha estat fer recerca sobre digrafs infinits amb dos finals, connexos i localment finits, i, en particular, en digrafs amb dos finals i altament arc-transitius. Malnic, Marusic et al. van introduir un nou tipus de relació d’equivalència en els vèrtexs d’un dígraf, anomenades relacions d’assolibilitat, que generalitzen i tenen el seu origen en un problema posat per Cameron et al., on les classes de la relació d’equivalència eren vèrtexs que pertanyien a un camí alternat del dígraf . Malnic et al. en el mencionat article van establir connexions ben estretes entre aquestes relacions d’assolibilitat i l'estructura de finals i creixement dels digrafs localment finits i transitius. En aquest treball, s’ha caracteritzat per complet aquestes relacions d’assolibitat en el cas de dígrafs localment finits i transitius amb exactament dos finals, en termes de la descomposició en números primers del número de línies que genera el digraf amb dos finals. A més, es nega la Conjectura 1 sostinguda per Seifter que afirmava que un digraf connex localment finit amb més d’un final era necessàriament o be 0-, 1- o altament arc-transitiu. Seifer havia donat una solució parcial a la conjectura pel cas de digrafs regulars amb grau primer que tinguin un conjunt de tall connex. En aquest treball, es descriu una família infinita de dígrafs regulars de grau dos, amb dos finals, exactament 2-arc transitius i no 3-arc transitius. Així, es nega la Conjectura de Seifter en el cas general, fins i tot per grau primer. Tot i així, la solució parcial donada per Seifter en el seu article és en cert sentit la millor possible i l'existència un conjunt de tall connex essencial.
Resumo:
L'apôtre Paul est l'enfant terrible du christianisme. Esprit doctrinaire, conservateur rugueux, antiféministe, dit-on. L'Occident chrétien n'en finit pas de régler ses comptes avec lui. Et l'on se console en se rabattant sur les évangiles, tellement plus simples que les épîtres... Paul aurait-il donc troqué la pure religion du coeur enseignée par Jésus contre un système doctrinal complexe et tortueux ? Et pourtant, sans son génie à formuler les vérités fondamentales de la foi nouvelle, le christianisme ne serait resté qu'une secte obscure. Qu'avaient été en fait ses liens avec Jésus dont il parle si peu ? Est-il vrai que, ex-pharisien, renégat du judaïsme, il a conduit juifs et chrétiens à la rupture ? Quelle fut cette expérience fulgurante qu'on appelle sa " conversion " sur le chemin de Damas ? Dans un monde où revient, lancinante, la question du sens de la vie et de la dignité humaine, sa découverte d'un Dieu renversant qui nous accueille indépendamment de nos qualités prend une extraordinaire actualité. Il était indispensable d'offrir au grand public un accès direct à l'oeuvre fondatrice de Paul.
Resumo:
Als darrers anys la necessitat de connectar-se a internet des de qualsevol lloc s’ha incrementat exponencialment sobretot de manera inalàmbrica. Degut al finit espectre radioelèctric es tendeix a aprofitar totes les franges freqüencials d’aquest convivint diferents sistemes en franges properes podent induir-se interferències mútuament. Per evitar aquestes interferències es requereix de filtres a tots els dispositius els quals aïllin un sistema del adjacent. En aquest projecte es dóna una solució al cas concret de la convivència entre els sistemes Wi-Fi y WiMAX eliminant la banda Wi-Fi interferent en sistemes WiMAX. Aquesta solució consisteix en el disseny d’un filtre banda eliminada d’ordre 3 implementat mitjançant tecnologia BAW a partir de l’estructura y especificacions d’un filtre comercial. A més també es fa un petit estudi per veure si seria interessant una millora en els processos de fabricació del filtre per part del fabricant.
Resumo:
SUMMARY When exposed to heat stress, plants display a particular set of cellular and molecular responses, such as chaperones expression, which are highly conserved in all organisms. In chapter 1, I studied the ability of heat shock genes to become transiently and abundantly induced under various temperature regimes. To this aim, I designed a highly sensitive heat-shock dependent conditional gene expression system in the moss Physcomitrella patens, using the soybean heatinducible promoter (hsp17.3B). Heat-induced expression of various reporter genes was over three orders of magnitude, in tight correlation with the intensity and duration of the heat treatments. By performing repeated heating/cooling cycles, a massive accumulation of recombinant proteins was obtained. Interestingly, the hsp17.3B promoter was also activated by specific organic chemicals. Thus, in chapter 2, I took advantage of the extreme sensitivity of this promoter to small temperature variations to further address the role of various natural and organic chemicals and develop a plant based-bioassay that can serve as an early warning indicator of toxicity by pollutants and heavy metals. A screen of several organic pollutants from textile and paper industry showed that chlorophenols as well as sulfonated anthraquinones elicited a heat shock like response at noninducing temperatures. Their effects were synergistically amplified by mild elevated temperatures. In contrast to standard methods of pollutant detection, this plant-based biosensor allowed to monitor early stress-responses, in correlation with long-term toxic effect, and to attribute effective toxicity thresholds for pollutants, in a context of varying environmental cues. In chapter 3, I deepened the study of the primary mechanism by which plants sense mild temperature variations and trigger a cellular signal leading to the heat shock response. In addition to the above described heat-inducible reporter line, I generated a P. patens transgenic line to measure, in vivo, variations of cytosolic calcium during heat treatment, and another line to monitor the role of protein unfolding in heat-shock sensing and signalling. The heat shock signalling pathway was found to be triggered by the plasma membrane, where temperature up shift specifically induced the transient opening of a putative high afimity calcium channel. The calcium influx triggered a signalling cascade leading to the activation of the heat shock genes, independently on the presence of misfolded proteins in the cytoplasm. These results strongly suggest that changes in the fluidity of the plasma membrane are the primary trigger of the heatshocksignalling pathway in plants. The present thesis contributes to the understanding of the basic mechanism by which plants perceive and respond to heat and chemical stresses. This may contribute to developing appropriate better strategies to enhance plant productivity under the increasingly stressful environment of global warming. RÉSUME Les plantes exposées à des températures élevées déclenchent rapidement des réponses cellulaires qui conduisent à l'induction de gènes codant pour les heat shock proteins (HSPs). En fonction de la durée d'exposition et de la vitesse à laquelle la température augmente, les HSPs sont fortement et transitoirement induites. Dans le premier chapitre, cette caractéristique aété utilisée pour développer un système inductible d'expression de gènes dans la mousse Physcomitrella patens. En utilisant plusieurs gènes rapporteurs, j'ai montré que le promoteur du gène hsp17.3B du Soja est activé d'une manière. homogène dans tous les tissus de la mousse proportionnellement à l'intensité du heat shock physiologique appliqué. Un très fort taux de protéines recombinantes peut ainsi être produit en réalisant plusieurs cycles induction/recovery. De plus, ce promoteur peut également être activé par des composés organiques, tels que les composés anti-inflammatoires, ce qui constitue une bonne alternative à l'induction par la chaleur. Les HSPs sont induites pour remédier aux dommages cellulaires qui surviennent. Étant donné que le promoteur hsp17.3B est très sensible à des petites augmentations de température ainsi qu'à des composés chimiques, j'ai utilisé les lignées développées dans le chapitre 1 pour identifier des polluants qui déclenchent une réaction de défense impliquant les HSPs. Après un criblage de plusieurs composés, les chlorophénols et les antraquinones sulfonés ont été identifiés comme étant activateurs du promoteur de stress. La détection de leurs effets a été réalisée seulement après quelques heures d'exposition et corrèle parfaitement avec les effets toxiques détectés après de longues périodes d'exposition. Les produits identifiés montrent aussi un effet synergique avec la température, ce qui fait du biosensor développé dans ce chapitre un bon outil pour révéler les effets réels des polluants dans un environnement où les stress chimiques sont combinés aux stress abiotiques. Le troisième chapitre est consacré à l'étude des mécanismes précoces qui permettent aux plantes de percevoir la chaleur et ainsi de déclencher une cascade de signalisation spécifique qui aboutit à l'induction des gènes HSPs. J'ai généré deux nouvelles lignées afin de mesurer en temps réel les changements de concentrations du calcium cytosolique ainsi que l'état de dénaturation des protéines au cours du heat shock. Quand la fluidité de la membrane augmente après élévation de la température, elle semble induire l'ouverture d'un canal qui permet de faire entrer le calcium dans les cellules. Ce dernier initie une cascade de signalisation qui finit par activer la transcription des gènes HSPs indépendamment de la dénaturation de protéines cytoplasmiques. Les résultats présentés dans ce chapitre montrent que la perception de la chaleur se fait essentiellement au niveau de la membrane plasmique qui joue un rôle majeur dans la régulation des gènes HSPs. L'élucidation des mécanismes par lesquels les plantes perçoivent les signaux environnementaux est d'une grande utilité pour le développement de nouvelles stratégies afin d'améliorer la productivité des plantes soumises à des conditions extrêmes. La présente thèse contribue à décortiquer la voie de signalisation impliquée dans la réponse à la chaleur.
Resumo:
A mesura que el suport del creixement econòmic constitueix un objectiu fonamental de la formulació de polítiques econòmiques, cal assenyalar que aquest tipus de creixement està limitat naturalment per un planeta finit. Aquest article argumenta que, des del punt de vista de la justícia intergeneracional, la realització d'un concepte de desmaterialització i, com a efecte, d'una economia que no creix (en el sentit de dissociació absoluta del creixement econòmic i consum d'energia i materials) es pot justificar. Per tant, el creixement pot ser també entesa com la millora de la qualitat de vida sobretot en comptes d'ampliar quantitats escarpats de sortida. Per tant, una dràstica reducció del cabal de material es necessita, sobretot en els països d'alts ingressos. Després de presentar alguns crítica de les propostes, en el focus d'aquest article es dibuixen en els arguments de per què la política econòmica en el futur han de ser etiquetats com "ecològic" i, a continuació, les opcions de posar en acció les idees del teòric presentat marc en tasques manejables polítiques seran discutides. En aquest cas, s'argumentarà que l'enfocament clàssic de internalització d'efectes externs sovint seguides de decisions de política econòmica ortodoxa no és completament capaç de reflectir canvis ecològics en les estructures de preus dels mercats. Per tant, formal (industrial i l'establiment de la política de consum) i institucions informals (llars) representen punts clau de la política econòmica sostenible, assenyalant l'individu com així com la responsabilitat col · lectiva per omplir aquest buit substancial.
Resumo:
Comprend : Hamlet, prince de Danemark : [drame en 10 parties] / en collaboration avec Alexandre Dumas - Falstaff : tiré de Henri IV : [pièce en 7 parties, en vers] : [Paris, Odéon, 2 octobre 1842] / en collaboration avec Auguste Vacquerie - Paroles : tiré de Tout est bien qui finit bien : [pièce en 1 acte, en vers] : [Paris, Odéon, février 1843] / en collaboration avec Auguste Vacquerie
Resumo:
Au début des années 80, deux secousses touchent la Suisse avec d'un côté l'explosion du mouvement punk et de l'autre de fortes mobilisations au sein de la jeunesse du pays, les Achtziger Jugendunruhen. Cet article analyse l'articulation de ces deux phénomènes. Au sein d'un espace contestataire fortement composite, le punk finit par jouer un rôle central, le mouvement dans son ensemble mettant en avant certains enjeux culturels, reprenant des éléments de la panoplie punk comme l'édition de fanzine, et choisissant des musiciens punks parmi ses porte-paroles. Cette jonction marque la forte spécificité de la Suisse, autant par l'implication de la scène punk au sein d'un mouvement contestataire plus large que par la recrudescence des mobilisations de la jeunesse au moment où elles se font de plus en plus rares en Europe. Elle peut se comprendre par une communauté d'intérêts (obtenir des lieux pour exprimer sa propre culture) et de valeurs (l'opposition au conservatisme). Néanmoins, cette force présence des aspects culturels au sein des Achtziger Jugendunruhen ne doit pas conduire à les réduire à ces seuls enjeux. Au contraire, les différents discours du mouvement mettent en avant l'autonomie comme volonté de changement radical, ainsi que des revendications plus larges comme la solidarité internationale ou la question du logement. Ainsi cet article vise à la fois à mieux comprendre la nature des Achtziger Jugendunruhen et à développer une analyse historique des années 80 d'une part et du conservatisme helvétique d'autre part.
Resumo:
En els darrers anys, l'ús de les corbes el·líptiques en criptografia basada en el problema del logaritme discret s'ha anat incrementant, degut al fet que garanteixen la mateixa seguretat emprant claus més petites. Tot i això, per tal que una corba el·líptica sigui criptogràficament útil, cal que el seu cardinal satisfaci certes propietats, altrament existeixen atacs que resolen el problema del logaritme discret. En aquest treball de final de carrera s'ha implementat l'atac de Pohlig-Hellman en el grup multiplicatiu d'un cos finit i sobre el grup de punts d'una corba el·líptica.
Resumo:
La criptografia de corbes el·líptiques ha despertat un interés molt gran degut a que garanteix la mateixa seguretat amb longituds de claus molt més petites.Tot i això, queden problemes oberts com el de trobar el cardinal d'una corba el·líptica sobre un cos finit, que és un problema computacionalment difícil. En aquest treball estudiem i implementem un algoritme per determinar el subgrup de 7-Sylow d'una corba el·líptica. El coneixement d'aquest subgrup ens dóna informació parcial del cardinal de la corba, concretament, la potència del factor 7 que té el cardinal. Així, si aquesta potència fos molt gran, la corba s'hauria de descartar per a usos criptogràfics basats en el problema del logaritme discret.