No escopo de organização econômica do mundo, a globalização conduziu a uma limitação do papel das instituições públicas com relação ao mercado, haja vista a repercussão do poder econômico do capital na tomada de decisões de política econômica interna: a estruturação mundial dos mercados somente se torna plausível por meio da institucionalização de direitos no espaço dos Estados nacionais. Desse modo, os direitos nacionais tendem a uniformizar e harmonizar a regulação dada ao capital: trata-se da homogeneização dos direitos, porquanto, tendo em vista as necessidades decorrentes de uma indefectível interdependência econômica, os Estados nacionais acabam por adotar, com mais ou menos independência e criatividade, as instituições necessárias ao desenvolvimento do capital. É isso que torna a vontade planetária homogênea, por meio da artificialidade jurídica que permite ao direito se libertar dos vínculos terrestres e tradições históricas, instituindo, por assim dizer, uma espacialidade própria do direito, a espacialidade jurídica. Deixa-se, assim, o antigo nomos, que vinculava o direito aos lugares, a uma histórica e específica determinação de uma comunidade, para ir-se em direção ao novo nomos, que, estendendo-se às dimensões planetárias da tecno-economia, desliga-se dos vínculos tradicionais e assume plenamente o caráter da artificialidade. Apesar de os Estados continuarem desenvolvendo um papel importante, não se pode deixar de constatar que sua soberania econômica foi matizada: antes detinham poder absoluto em relação à economia, agora detêm poder relativo. As transformações e arranjos institucionais, que eram congruentes em nível nacional, agora estão dispersos em múltiplos níveis espaciais, pois o desempenho econômico requer que os atores sejam simultaneamente coordenados em todas as áreas espaciais, precisam ser alocados e aninhados em arranjos institucionais conectados a todos os níveis da realidade. Nesse contexto, Redes de Governo constituem um bom instrumento de política pública tanto para os países desenvolvidos quanto para os países em desenvolvimento que procuram participar do processo regulatório global e precisam reforçar sua capacidade de governança doméstica. Pode-se dizer que a partir da homogenia dos direitos pretende-se estudar três movimentos distintos e simultâneos que vêm influenciando a produção normativa dos Estados nacionais: a harmonização dos direitos, a uniformização dos direitos e a ambivalência dos direitos. Procurou-se empreender a revisão do tema escolhido na literatura existente no intuito de perquirir informações e conhecer as contribuições teóricas já produzidas pela ciência até o momento. A partir dessas contribuições teóricas, fez-se a identificação dos alicerces que permitiram dialogar com duas grandes tendências teóricas que prevalecem na análise do tema: a primeira, de cunho técnico, aposta na relevância do papel das Administrações Públicas no processo de regulação do mercado global; a segunda, de cunho político, visa a estabelecer mecanismos políticos de neutralização e compensação dos efeitos da globalização. Em linha com esses pontos, a pesquisa comprometeu-se com a realidade concreta e, simultaneamente, engajou-se com a transformação dessa mesma realidade. De conseguinte, o trabalho procurou evidenciar as formas como as forças econômicas influenciam os fenômenos legais, bem como, em sentido oposto, o direito, como instrumento político, pode e deve afetar a economia. / In the scope of the global economic organization, the international integration of markets led to a limitation of the role of public institutions regarding the markets because of the economic power repercussion of the capital in the decision-making of internal economic policy: the world structuring of markets only becomes plausible by the institutionalization of Law in the national States. Thus, the national Law tends to standardize and harmonize the regulation of the capital: it is the homogenization of the Law as the resulting needs of an economic interdependence, which leaves the national States to adopt the necessary institutions to the capital development. It is this that turns the planetary will homogeneous through legal artificiality that allows the Law gives out of the terrestrial bonds and historical traditions, instituting the legal spatiality. Free from the old nomos, which links the Law to places, to a historical and specific determination of a community, the Law gives place to the new nomos, which detaches itself from the traditional bonds and fully assumes the artificiality character by extending itself to the planetary dimensions of the techno-economy. Despite the States continue to play an important role, it should be noticed that their economic sovereignty was tinged: before, they had an absolute power over the economy, whereas they now have a relative power. The transformations and institutional arrangements that were congruent in national level are now scattered in multiple spatial levels as the economic performance requires actors to be simultaneously coordinated in all spatial areas and they need to be allocated and nested in institutional arrangements connected to all levels of reality. In that context, Government Nets constitute a good instrument of public policies both for the developed countries and for the developing countries that attempt to take part of the global regulatory process and need to reinforce their capacity of domestic governance. It can be said that from the homogeneity of the Law on, this work aims at studying three simultaneous and distinct movements that have been influencing the normative output of the national States: the harmonization, the uniformization and the ambivalence of the Law. A literature review was presented with the objective of looking for specific information as well as knowing the theoretical contributions of the field. Based on those theoretical contributions, it was possible to keep a dialogue with two important theoretical tendencies that prevail in the analysis of the subject: first, the technical theoretical tendency, supported by the relevance of the role of Public Administrations in the process of global market regulation; second, the political theoretical tendency aims at establishing political mechanisms of neutralization and compensation of the globalization effects. In line with those theoretical tendencies, this study was committed to the concrete reality and it was simultaneously engaged with the transformation of that same reality. Therefore, the study aimed at showing the ways the economic forces influence the legal phenomena and the Law, as a political instrument, can and does affect the economy.

Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema do controle, que limitam o seu emprego a aplicações de pequeno a médio porte. Investigações nesse sentido [BOW 85] [MON 88] indicam que a chave para superar a explosão inferencial passa obrigatoriamente pela estruturação do conhecimento, de modo a permitir o exercício de algum controle sobre as possíveis derivações dele decorrentes. O modelo das hiperredes [GEO 85] parece atingir tal objetivo, dado o seu elevado potencial de estruturação e o instrumental que oferece para o tratamento de construções descritivas, operacionais e organizacionais. Além disso, a simplicidade e uniformidade sintática de suas entidades primitivas possibilita uma interpretação semântica bastante clara do modelo original, por exemplo, baseada em grafos. O presente trabalho representa uma tentativa de associar a programação em lógica ao formalismo das hiperredes, visando obter um novo modelo capaz de preservar as expressividade da primeira, beneficiando-se simultaneamente do potencial heurístico e estrutura do segundo. Inicialmente procura-se obter uma noção clara da natureza do conhecimento e de seus mecanismos com o objetivo de caracterizar o problema da representação de conhecimento. Diferentes esquemas correntemente empregados para esse fim (sistemas de produções, redes semânticas, sistemas de frames, programação em lógica e a linguagem Krypton) são estudados e caracterizados do ponto de vista de sua expressividade, potencial heurístico e conveniência notacional. A programação em lógica é objeto de um estudo em maior profundidade, sob os enfoques modelo-teorético e prova-teorético. Sistemas de programação em lógica - particularmente a linguagem Prolog e extensões em nível meta - são investigados como esquemas de representação de conhecimento, considerando seus aspectos sintáticos e semânticos e a sua retação com Sistemas Gerenciadores de Bases de Dados. O modelo das hiperredes é apresentado introduzindo-se, entre outros, os conceitos de hipernodo, hiperrelação e protótipo, assim como as propriedades particutares de tais entidades. A linguagem Hyper, para o tratamento de hiperredes, é formalmente especificada. Emprega-se a linguagem Prolog como formalismo para a representação de Bases de Conhecimento estruturadas segundo o modelo das hiperredes. Sob tal abordagem uma Base de Conhecimento é vista como um conjunto (possivelmente vazio) de objetos estruturados ou peças de conhecimento, que por sua vez são classificados como hipernodos, hiperrelações ou protótipos. Um mecanismo top-down para a produção de inferências em hiperredes é proposto, introduzindo-se os conceitos de aspecto e visão sobre hiperredes, os quais são tomados como objetos de primeira classe, no sentido de poderem ser valores atribuídos a variáveis. Estuda-se os requisitos que um Sistema Gerenciador de Bases de Conhecimento deve apresentar, do ponto de vista da aplicação, da engenharia de conhecimento e da implementação, para suportar efetivamente os conceitos e abstrações (classificação, generalização, associação e agregação) associadas ao modelo proposto. Com base nas conclusões assim obtidas, um Sistema Gerenciador de Bases de Conhecimento (denominado Rhesus em alusão à sua finalidade experimental é proposto e especificado, objetivando confirmar a viabilidade técnica do desenvolvimento de aplicações baseadas em lógica e hiperredes. / In spite of its inherent undecidability and the negation problem, extensions of first-order logic have been shown to be able to overcome the question of the monotonicity, establishing knowledge representation schemata with virtuatLy universal expressiviness. However, one still has to solve, or at Least to reduce the consequences of the control problem, which constrains the use of Logic-based systems to either small or medium-sized applications. Investigations in this direction [BOW 85] [MON 88] indicate that the key to overcome the inferential explosion resides in the proper knowledge structure representation, in order to have some control over possible derivations. The Hypernets Model [GEO 85] seems to reach such goat, considering its high structural power and the features that it offers to deal with descriptive, operational and organizational knowledge. Besides, the simplicity and syntactical uniformity of its primitive notions allows a very clear definition for its semantics, based, for instance, on graphs. This work is an attempt to associate logic programming with the hypernets formalism, in order to get a new model, preserving the expressiveness of the former and the heuristic and structural power of the latter. First we try to get a clear notion of the nature of knowledge and its main aspects, intending to characterize the knowledge representation problem. Some knowledge representation schemata (production systems, semantic networks, frame systems, Logic programming and the Krypton Language) are studied and characterized from the point of view of their expressiveness, heuristic power and notational convenience. Logic programming is the subject of a deeper study, under the model-theoretic and proof-theoretic approaches. Logic programming systems - in particular the Prolog Language and metateuel extensions- - are investigated as knowledge representation schemata, considering its syntactic and semantic aspects and its relations with Data Base Management Systems. The hypernets model is presented, introducing the concepts of hypernode, hyperrelation and prototype, as well as the particular properties of those entities. The Hyper language, for the handling of h y pernets, is formally specified. Prolog is used as a formalism for the representation of Knowledge Bases which are structured as hypernets. Under this approach a Knowledge Brie is seen rrG a (possibly empty) set of structured objects, which are classified as hypernodes, hyperreLations or prototypes. A mechanism for top-down reasoning on hypernets is proposed, introducing the concepts of aspect and vision, which are taken as first-class objects in the sense that they could be (-Ysigned as values to variables. We study the requirements for the construction of a Knowledge Base Management System from the point of view of the user's need-1', knowledge engineering support and implementation issues, actually supporting the concepts and abstractions (classification, generalization, association and aggregation) rYsociated with the proposed model. Based on the conclusions of this study, a Knowledge Base Management System (called Rhesus, refering to its experimental objectives) is proposed, intending to confirm the technical viability of the development of applications based on logic and hypernets.

One of the greatest challenges in finfish aquaculture is combating losses caused by infectious bacterial diseases, and a better understanding of the interactions between the host immune system and pathogens is essential for developing new methods to manage infections and outbreaks. Extracellular traps (ETs) are decondensed nuclear chromatin released by neutrophils into the extracellular matrix that can ensnare and kill microbes. Since the discovery of ETs in humans, these innate immune effectors have been characterised across the animal kingdom, including in some fish species, though their existence the salmonids has yet to be confirmed. Therefore, the aim of this thesis was to confirm and characterise the release of ETs in the rainbow trout (Oncorhynchus mykiss) and investigate the interaction of these structures with fish pathogenic bacteria. To do this, a triple-layer Percoll gradient technique was employed to give highly enriched cell suspensions of polymorphonuclear cells (PMNs) derived from head-kidney tissue preparations. Treatment of PMN-enriched cell suspensions with the nucleic-acid-specific stain, SYTOX Green, revealed the presence of ET-like structures that had been released without stimulation. These ET-like structures were confirmed by immunostaining techniques to contain the diagnostic proteinaceous markers of ETs: neutrophil elastase, myeloperoxidase and the H2A histone. Previously characterised inhibitors and inducers of ET release from phagocytic immune cells in other animals confirmed that calcium ionophore (CaI), flagellin, and cytochalasin D shared similar activities for ET-release by rainbow trout PMNs. However, interestingly, as the common ET-inducer phorbol-myristate acetate (PMA) and ET-inhibitor diphenyleneiodonium (DPI) did not exert their expected potency in ET release assays with the PMNs, perhaps indicating that these fish cells are less dependent on NADPH oxidase signalling for ET release compared to mammals and most invertebrate species. The PMN-derived ETs were demonstrated to bind to and trap the extracellular nuclease-deficient bacterial fish pathogen, Vibrio anguillarum (Vib 87) when co-cultured. Finally, extracellular nuclease activity produced by a V. anguillarum isolate (Vib 6) during culture was able to degrade ETs released by rainbow trout PMNs in a dose-dependent manner. Moreover, viable colony counts, fluorescent and phase contrast microscopy demonstrated that V. anguillarum Vib 6 eluded trapping by ETs, while an extracellular nuclease-deficient isolate did not. These observations are consistent with the suggestion that nucleases are a microbial virulence factor during host infection. Confirming the existence and antimicrobial potential of extracellular traps released by rainbow trout PMNs may provide a platform towards the development of novel therapeutics to reduce mortalities in finfish aquaculture caused by infectious microbial pathogens.

Le travail présenté dans cette thèse constitue une contribution originale à lamodélisation et à l'analyse de performances des systèmes de vélos en libre-service. De nombreuses villes en Europe ont suscité un intérêt considérable et un engouement à l'égard de ce nouveau mode de transport écologique (Vélib' à Paris, Vélov'v à Lyon, Bicing à Barcelone, ...) et dont les progrès technologiques ne cessent de les faire émerger dans les quatre coins dumonde. Contrairement aux systèmes de transport traditionnels, très peu d'étudesfondamentales ont été menées et pourtant, de nombreuses questions émergent, la principale étant celle d'un rééquilibrage (régulation) de la distribution de vélos dans les différentes stations afin de satisfaire au mieux les demandes des usagers. C'est dans ce cadre que s'inscrit cette thèse de doctorat portant sur la modélisation, l'analyse et l'évaluation de performances de ce mode de transport en libre service. Ce travail, basé sur les réseaux de Petri, est d'une aide précieuse pour la mise en oeuvre, l'exploitation et la régulation de ce type de systèmes.La complexité dynamique de tels systèmes, perçus comme des systèmes à événements discrets, nous a conduit au développement d'une approche à base d'une classe particulière de réseaux de Petri stochastiques ayant des arcs à poids variables pertinents aussi bien pour l'analyse que pour la simulation. Un ensemble de modèles et de méthodes d'analyse associées sont développés en vue de leur régulation, en prenant en compte différents paramètres de décision qui les caractérisent notamment le nombre de stations, la capacité de chaque station, les seuils de régulation, la capacité des véhicules de régulation, le type et/ou la fréquence de régulation choisi (périodique ou continue), …. En plus d'être paramétrables, les modèles proposés permettent d'étudier plusieurs configurations en fonction de différents modes de fonctionnement possibles (mode sans régulation, mode avec régulation, mode dynamique, mode statique, etc). La présentation de cette thèse comporte plusieurs illustrations et applicationspermettant d'aider le lecteur à la compréhension du travail développé.A notre connaissance, il s'agit d'un premier travail du genre dans la littérature sur les réseaux de Petri et plus généralement, l'un des premiers sur les systèmes de vélos en libre-service. / Public Bicycle-Sharing Systems (PBSS) have been appearing in more and more cities around the world in the last few years. Although their apparent success as an alternative form of public transportation mode, there are major challenges confronting the operators while few scientific works are available to support such complex dynamical systems to influence their economic viability and operational efficiency. One of the most crucial factors for the success of a PBS system is its ability to ensure that bicycles are available for pick up and vacant berths available for bicycle drop off at every station. In this thesis, we develop an original discrete event approach for modelling and performance evaluation of public bicycle-sharing systems by using Petri nets with time, inhibitor arcs and variable arc weights.

Lagoas costeiras são ecossistemas cruciais para conservação da biodiversidade local e global. O sistema do rio Tramandaí (SRT) apresenta uma série de lagoas costeiras rasas conectadas por canais naturais, e uma saída, via estuário de Tramandaí, para o oceano. Esse sistema é dividido em dois subsistemas, ao norte e ao sul do estuário, resultado de padrões hidrodinâmicos e da influência do vento e que definem características ambientais distintas a esses subsistemas. Um gradiente decrescente, de norte a sul, no estado trófico dessas lagoas já foi verificado. No presente estudo é testada hipótese de variabilidade espacial (lagoas e subsistemas) e temporal (estações do ano) na magnitude de variáveis abióticas e de descritores ecológicos das assembleias de peixes (composição, riqueza, diversidade, dominância) do SRT. Também é avaliada a relação entre variáveis abióticas e descritores das assembleias nesses subsistemas. É comparada a seletividade de captura de um amostrador ativo (rede de arrasto de praia) e de um amostrador passivo (redes de emalhe). Amostragens foram conduzidas de novembro de 2008 a abril de 2010 com rede de arrasto de praia e redes de emalhe, na zona litoral das lagoas Itapeva, Quadros e Malvas no subsistema norte, e nas lagoas Fortaleza, Rondinha e Barros no subsistema sul. Entre abril de 2009 e março de 2010, amostras de água foram coletadas e dez variáveis foram mensuradas em laboratório. Análises de ordenação (NMDS) mostraram clara diferença de composição, abundância numérica (CPUEn) e em biomassa (CPUEb) de espécies entre amostradores. A análises de ANOSIM e SIMPER mostraram baixa similaridade desses parâmetros entre amostradores. Houve diferença no tamanho dos peixes coletados com redes de arrasto e emalhe. Turbidez e DBO5 tiveram médias superiores no subsistema norte, enquanto que condutividade, salinidade, dureza, sólidos totais dissolvidos e transparência de Secchi no subsistema sul. Temporalmente foram verificadas diferenças de temperatura, pH, salinidade, turbidez, dureza, sólidos totais dissolvidos, oxigênio dissolvido, sólidos suspensos e profundidade, mas somente os dados de pH, condutividade, turbidez e DBO5 mostraram interação entre os fatores espaço e tempo. As assembleias das margens rasas da zona litoral foram dominadas por dez espécies, resultando em alta similaridade de composição, CPUEn e CPUEb entre os subsistemas. A riqueza de espécies variou espacial e temporalmente. Diversidade e equitabilidade espacialmente, e CPUEn e CPUEb temporalmente. As assembleias das regiões pelágicas da zona litoral foram dominadas por sete espécies, com dominância numérica das espécies L. anus e A. aff. fasciatus no subsistema norte. A NMDS mostrou similaridades maiores de composição, CPUEn e CPUEb entre amostras de um mesmo subsistema, no entanto, a ANOSIM não apresentou resultados significativos para rejeição das hipóteses nulas. CPUE n e b, diversidade e equitabilidade variaram espacialmente, enquanto a riqueza, temporalmente. A análise de correlação canônica (CCA) mostrou que temperatura, DBO5, sólidos suspensos e dureza responderam por 46% da variabilidade dos dados de abundância numérica das espécies. Os resultados sugerem que amostradores ativos e passivos reproduzem diferentes imagens da assembleia por eles amostrada, indicando que o delineamento amostral para estudos com peixes nesses ecossistemas deve contemplar tais diferenças. As diferenças ambientais dos subsistemas refletem em diferenças na qualidade da água e os resultados obtidos confirmam os pressupostos do gradiente trófico. A estrutura das assembleias de peixes foi mais variável em resposta as condições ambientais em escala espacial, enquanto que temporalmente, houve maior coerência na variabilidade dos dados. As relações das espécies com as variáveis ambientais são discutidas com base no comportamento alimentar e/ou reprodutivo das mesmas e na qualidade do habitat. Tais resultados podem ser úteis como subsídio a elaboração de estudos de manejo costeiro do SRT, sobretudo com relação aos recursos pesqueiros, e na proposição de modelos de estrutura das assembleias de peixes de lagoas costeiras subtropicais. / Coastal lakes ecosystems are crucial for conserving biodiversity both locally and globally. The river Tramandaí system (SRT) comprises a series of shallow coastal lagoons, connected by natural channels, and has an output via Tramandaí estuary into the ocean. This system is divided into two subsystems, north and south of the Tramandaí estuary, as result of hydrodynamic patterns, influence of wind and environmental characteristics that define the subsystems. A trophic gradient decreasing from north to south in those lagoons was identified. In this study is tested the hypothesis of spatial (lagoons and subsystems) and temporal (seasons) variabilities in the amplitude of abiotic variables and descriptors of the fish assemblages (species composition, richness, diversity, dominance) in the SRT. It also assessed the relationship between abiotic variables and descriptors of the fish assemblages in these subsystems. Is compared the selectivity of the active fishing (beach seining) and passive (gill netting) fishing. Sampling was conducted from November 2008 to April 2010 with beach seine and gill nets in the littoral zone of lakes Itapeva, Quadros and Malvas in north subsystem, and Fortaleza, Rondinha and Barros lakes, in south subsystem. Between April 2009 and March 2010 water samples were collected and ten variables were measured in the laboratory. Analyses of ordination (NMDS) showed clear differences in composition, numerical abundance (CPUEn) and biomass (CPUEb) of species between samplers. The analysis of similarity (ANOSIM and SIMPER) showed low similarity of these parameters between nets. There was a difference in the size of the fish caught with beach seine and gill nets. Turbidity and BOD5 averages were higher in the northern subsystem, while the conductivity, salinity, hardness, total dissolved solids and Secchi transparency in the south subsystem. Temporally were observed differences in temperature, pH, salinity, turbidity, hardness, total dissolved solids, dissolved oxygen, suspended solids and depth, but only the data for pH, conductivity, turbidity, BOD5 showed interaction between the factors space and time. The assemblages of the shallow margins of the coastal zone were dominated by ten species resulting in high similarity of composition, CPUEn and CPUEb between subsystems. Species richness varied spatially and temporally, while diversity and evenness only spatially and CPUEn and CPUEb only temporally. The assemblages of the pelagic regions of the coastal zone were dominated by seven species with numerical dominance of L. anus and A. aff. fasciatus in north subsystem. The NMDS showed greatest similarity in composition, CPUEn and CPUEb between samples of the same subsystem, the ANOSIM however, showed no significant results for rejection of the null hypothesis. CPUE n and b, diversity and equitability varied between lakes and subsystems, while the richness between seasons. The canonical correlation analysis (CCA) showed that four variables (temperature, BOD, suspended solids and hardness) account for 46% of data variability of species abundance. Samples of the north subsystem were directly influenced by temperature, BOD and suspended solids while the south subsystem by the hardness. The results suggest that active and passive samplers reproduce different images of the assemblage sampled and indicate that the sampling design for studies of these ecosystems should include such differences. The environmental differences in subsystems reflect in water quality differences and the results confirm the assumptions of a trophic gradient decreasing from north to south in the SRT. The structure of the fish assemblages was more variable in response to environmental conditions in spatial scale between subsystems, while there was greater consistency in the temporal variability of the data. The relationships between the species and environmental variables are discussed based on the feeding behavior and / or reproduction of the same and by habitat quality. These results may be useful as an aid to preparing studies of coastal management of SRT, especially with respect to fisheries, and in proposing models of the structure of the fish assemblages of subtropical coastal lagoons.

Cette thèse porte sur le diagnostic des systèmes à événements discrets modélisés par des Réseaux de Petri labellisés (RdP-L). Les problèmes de diagnostic monolithique et de diagnostic modulaire sont abordés. Des contributions sont proposées pour résoudre les problèmes d'explosion combinatoire et de complexité de calcul. Dans le cadre de l'analyse de la diagnosticabilité monolithique, certaines règles de réduction sont proposées comme un complément pour la plupart des techniques existantes de l'analyse de la diagnosticabilité, qui simplifient le modèle RdP-L tout en préservant sa propriété de diagnosticabilité. Pour un RdP-L sauf et vivant, une nouvelle condition suffisante pour la diagnosticabilité est proposée. Pour un RdR-L borné et non bloquant après l'occurrence d'une faute, l'analyse à-la-volée est améliorée en utilisant la notion d'explications minimales qui permettent de compacter l'espace d'état ; et en utilisant des T-semiflots pour trouver rapidement un cycle indéterminé. Une analyse à-la-volée utilisant Verifier Nets (VN) est proposée pour analyser à la fois les RdP-L bornés et non-bornés, ce qui permet d'obtenir un compromis entre efficacité du calcul et limitation des explosions combinatoires. Dans le cadre de l'analyse de la diagnosticabilité modulaire, une nouvelle approche est proposée pour les RdP-Ls décomposés. Les règles de réduction, qui préservent la propriété de la diagnosticabilité modulaire, sont appliquées pour simplifier le modèle initial. La diagnosticabilité locale est analysée en construisant le VN et le Graphe d'Accessibilité Modifié (MAG) du modèle local. La diagnosticabilité modulaire est vérifiée en construisant la composition parallèle du MAG et des graphes d'accessibilités d'autres modules du système. La complexité de calcul est inférieure à celles des autre approches dans la littérature. D'autre part, l'explosion combinatoire est également réduite en utilisant la technique de ε-réduction / This thesis deals with fault diagnosis of discrete event systems modeled by labeled Petri nets (LPN). The monolithic diagnosability and modular diagnosability issues are addressed. The contributions are proposed to reduce the combinatorial explosion and the computational complexity problems. Regarding monolithic diagnosability analysis, some reduction rules are proposed as a complement for most diagnosability techniques, which simplify the LPN model and preserve the diagnosability property. For a safe and live LPN, a new sufficient condition for diagnosability is proposed. For a bounded LPN that does not deadlock after a fault, the on-the-fly diagnosability analysis is improved by using minimal explanations to compact the state space; and by using T-invariants, to find quickly an indeterminate cycle. An on-the-fly diagnosability analysis using Verifier Nets (VN) is proposed to analyze both bounded and unbounded LPN, which achieves a compromise between computation efficiency and combinatorial explosion limitation. Regarding modular diagnosability analysis, a new approach is proposed for decomposed LPNs model. Reduction rules, that preserve the modular diagnosability property, are applied to simplify the model. The local diagnosability is analyzed by building the VN and the Modified Reachability Graph (MRG) of the local model. The modular diagnosability is verified by building the parallel composition of the MRG and the reachability graphs of other modules of the system. We prove in this study that the computational complexity of our approach is lower than existing approaches of literature. The combinatorial explosion is also reduced by using the ε -reduction technique.

A importância da geração de energia elétrica hidráulica, dentro dos requisitos de qualidade e fornecimento com índices de confiabilidade cada vez mais exigentes, tem se tornada acentuada, principalmente em atendimento às necessidades de consumo em todas as áreas de atividades produtivas. Têm-se notado que as tecnologias desenvolvidas aliadas às mudanças socioeconômicas trouxeram uma evolução e reestruturação, tanto no setor industrial produtivo como no setor elétrico (concessionárias de energia elétrica e fornecedores de sistemas e equipamentos para usinas hidrelétricas e subestações), com aumento significativo da especialização e da complexidade da automação dos processos envolvidos, onde falhas são consideradas inaceitáveis. Em consequência, têm-se exigido soluções técnicas eficazes e com investimentos reduzidos. Desta forma, a Automação Elétrica, que faz parte dos sistemas de Comando, Controle, Comunicação e Informação altamente integrados (C3I), têm demonstrado uma participação fundamental no atual cenário deste segmento. Então, de maneira a tratar adequadamente esta complexidade, tornar as soluções técnicas cada vez mais seguras e facilitar o estudo e projeto de novos sistemas de controle nesta área, este trabalho apresenta uma metodologia para modelagem e análise de Sistemas de Controle envolvidos na geração hidráulica de energia elétrica. Este trabalho tem como principais desenvolvimentos: uma metodologia que envolve a teoria de controle de SDED juntamente com conceitos e pesquisas na área de Engenharia de Software e um formalismo em Rede de Petri Interpretada por Sinais (RPIS) em conjunto com o paradigma de Orientação a Objetos (OO), representado pela proposta de uma nova RP, a RPIS_OO (Rede de Petri Interpretada por Sinais Orientada a Objetos). Destarte, espera-se que a metodologia e a nova RP propostas nesta tese contribuam na especificação e construção dos algoritmos de controle dos sistemas que participam na automação da geração de energia elétrica hidráulica, como também, no aprimoramento de novas abordagens para o desenvolvimento de sistemas de automação elétrica, representando atualmente o estado da arte nesta área. / The importance of hydroelectric power generation, considering the increasingly demanding supply and quality requirements, has become more pronounced especially seeing the great consumption needs on all productive areas. It\'s noticeable that technology developed with socioeconomic changes have brought evolution and a restructuring both in the industrial and electrical sector (electric companies and power plant equipment manufacturers), with a notable increase in specialization and complexity of the automation of these activities, where faults are considered unacceptable. A demand for more efficient technical solutions and reduced investments has therefore increased greatly. Electrical automation technology as part of highly integrated command, control, communication and information (C3I) systems has demonstrated a crucial involvement in the context of this segment. In order to handle this evolving complexity, creating more secure technical solutions and further research and development of new control systems for this sector, this work introduces a new methodology for modeling and analysis of power plant control systems. A methodology involving the theory of Discrete Event Dynamic Systems (DEDS) and concepts of Software Engineering is presented, as well as a new formalism based on Signal Interpreted Petri Nets (SIPN) together with Object-Oriented Paradigm (OOP) named Object-Oriented Signal Interpreted Petri Nets (OOSIPN). The intention is that methodology proposed in this thesis contributes to the correct specification and construction of control algorithms for power plant control systems, as well as the state of the art in this research area in the form of a new approach to development of such automation systems.

Made available in DSpace on 2016-04-26T18:17:08Z (GMT). No. of bitstreams: 1 Isabelle Cordeiro Nogueira.pdf: 1419586 bytes, checksum: 83173474c25847dbf99eaf155843b578 (MD5) Previous issue date: 2008-05-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Different ways of communication relate to different ways of social organization. The historical and evolutionary process of the cultural production developed a context where digital media promote important transformations and where relationships in new space-time structures bring changes to the environment. In this conjuncture of change emerge the artistic production that is named here as Poetics of Multitude. In this poetics, the media assume a central role in the net collaborative autonomies that characterize them. For understanding them, it is necessary to identify new forms of living together with the writings of Bauman (2000, 2003), Santos (2005) e Souza Santos (2005, 2006), and with them, to reflect about globalization. In the perspective presented in this thesis, the body is treated as a primary media in accordance to the Bodymedia Theory, developed by Katz (2005) and Greinner (2005). Understood as a response to capitalism, the poetics of multitude is understood as a symptom of the contemporary society. The theory of Negri and Hardt (2004), and Virno (2002) sustains the research. In multitude - this new form of existence that contrasts to the ideas of folk or mass the poetics is related to autonomies in forms of net collaboration. And is present also in the creation and distribution of new ways of thinking dance. An interaction of neighbors , without the traditional practices of leadership and hierarchy promotes a kind of authonomy theoretically supported by concepts of evolution, co-adaptation and co-dependence (Dawkins (1976, 1978, 1998, 1999) and Dennett (1995). Such social systems auto-organize themselves through indirect control resembling what happens in other live systems (Gordon (2002) and Johnson (2003). Actions of the body in the world produce poetic emergences. We propose that the new forms of social organization that are being put in the world produce new ways of addressing knowledge and a new position to the subject / Diferentes formas de comunicação se dão em novas formas de organização social. O processo histórico e evolutivo dos modos de produção cultural desencadeou um contexto em que as mídias digitais ocupam um importante papel transformador e onde novos relacionamentos na estrutura espaço-tempo fazem emergir mudanças no ambiente. É na conjuntura desses fenômenos de mudança que emergem o que aqui denominamos Poéticas de Multidão. Nestas poéticas, as mídias desempenham papel central autonomias colaborativas em rede que as caracterizam. Para entendê-las, faz-se necessário identificar uma nova forma de convívio, recorrendo aos estudos de Bauman (2000,2003), Santos (2005) e Souza Santos (2005, 2006) para, com eles, refletir sobre a globalização. Na perspectiva apresentada nessa tese, o corpo é tratado como mídia primária, em acordo com a teoria corpomídia, desenvolvida por Katz (2005) e Greinner (2005). Entendidas como uma resposta ao capitalismo, as poéticas de multidão são tratadas como um sintoma da sociedade contemporânea. A leitura teórica de Negri e Hardt (2004), e Virno (2002) sustentam a pesquisa. Em Multidão - esse novo modo de existir, contrastando com a idéia de povo ou massa - essas poéticas se relacionam na forma de redes colaborativas. E isso é também apresentado na criação e distribuição de novos tipos de pensamento de dança. A interação entre vizinhos , sem as práticas tradicionais de liderança e hierarquia, promovem uma espécie de autonomia teoricamente apoiada em conceitos evolutivos de co-adaptação e co-dependência Dawkins (1976, 1978, 1998, 1999) e Dennett (1995). Tais sistemas sociais se auto-organizam por controle indireto resembling o que acontece em outros sistemas viventes, como nos atestam Gordon (2002) e Johnson (2003). O corpo em suas ações no mundo, produz emergências poéticas. Propomos que as novas formas de organização social que estão sendo postas no mundo produz novos modos de construir conhecimento e uma nova posição do sujeito

Made available in DSpace on 2016-04-26T18:17:09Z (GMT). No. of bitstreams: 1 Joao Vicente Cegato Bertomeu.pdf: 36291374 bytes, checksum: 1f4e8d5dd7b288ccfe160e88f48535d3 (MD5) Previous issue date: 2008-05-12 / The research aims to study the creating process of advertising movies in order to identify and to go in-depth of their specificities as well as in the colective process involving customer, agency and production firm. The study also strives to understanding the process involving conception and production when a persuasive communication takes place globally. The concept and fundamentals of the construction of the hibrid culture as well as its role in the advertising discourse will be analysed. The conception will be analysed from the view of the companies - in the marketing aspects of the agencie´s creative people - as well as in the persuasive search of the world language and the producer firm - in the technical aspects of the production. We use the genetic criticism as methodology and processual documents of advertising campaings developed by relevant agencies based in Sao Paulo (AlmapBBDO, JWThompson, MatosGrey, DPZ, Neogama, McCann Erickson, DM9DDB) were selected. Interviews and professional testimonials of those involved in the conception process of those campaigns were used. Concerning the theoretical framework, the theory of conception based on semiotics was used. The following authors were quoted in terms of theories of conception and creativity: Kotler and Armstrong, for the conception in the creating and creative process: Salles and Ostrower and regarding the matters of international business and global communication: Keegan and Levitt. The audiovisual language was used with the support of : Comparato, Aumont e Carriére; in the especificities of the advertising language: Vestergaard and Sodré; and culture, semiosphere, hibridization and global communication: Morin, Lotman, Martín-Barbero, Pinheiro, Canclini and Mattelart, respectively. In the final discussion, it was used the conception of global advertising movies in a creative process as a process net, extensively collective, complex and dynamic, developed by a multi-knowledge professionals who seek to achieve a global audience together / Esta pesquisa tem como objetivos estudar o processo de criação de filmes publicitários para identificar e conhecer suas especificidades, como processo coletivo envolvendo os profissionais do cliente, da agência e da produtora. O estudo tem como foco a análise dos processos que envolvem a criação e a produção quando a comunicação persuasiva se dá em nível global. Serão abordadas as fundamentações das construções da cultura híbrida e seu papel na construção do discurso publicitário. A criação é analisada pela ótica das empresas nos aspectos mercadológicos, dos criadores das agências - na busca persuasiva da linguagem mundial e da produtora - nos aspectos técnicos da produção. Utilizamos a crítica genética como metodologia e foram selecionados os documentos de processo de campanhas de propaganda desenvolvidas por agências de grande porte na cidade de São Paulo (AlmapBBDO, JWThompson, MatosGrey, Young&Rubicam, Neogama, DM9DDB). Serão empregados também entrevistas e depoimentos de profissionais envolvidos no processo de criação dessas campanhas. Quanto à abordagem teórica, utilizamos a teoria da criação com base semiótica. Para as teorizações de comunicação e mercado, Kotler e Armstrong; para as abordagens em processos de criação e criatividade, Salles e Ostrower; e, em negócios internacionais e comunicação global, pesquisamos Keegan e Levitt. Abordamos a linguagem audiovisual com o apoio de Comparato, Aumont e Carriére; nas especificidades da linguagem publicitária, Vestergaard e Sodré; e, em cultura, semiosfera, hibridização e comunicação global, respectivamente, Morin, Lotman, Martín-Barbero, Pinheiro, Canclini e Mattelart. Nas considerações finais, procuramos discutir a criação dos filmes publicitários globais como rede em processo, amplamente coletivo, complexo e dinâmico, desenvolvido por profissionais diversificados, que, juntos, buscam alcançar públicos mundiais

The challenge in most developing countries is lack of funding in education. This leaves no option for most learners except to drop out of school. Even when safety nets are provided for by governments, this does not fully address the issues of access, equity and retention in secondary education. Education for All, as pronounced in the Dakar Declaration (2000) calls on governments to address access, retention and equity in basic education, overlooking the provision of secondary education. Many policies were adopted by governments in post-colonial rule in Africa and Asia to address the colonial disparities in education. This had a tendency of drowning the budgets in educational matters, notwithstanding the issues of fully addressing access, equity and retention in secondary education. In the developing world, the bulk of the population lives in rural areas where infrastructure for teaching and learning still has to catch up with the urban setting. In view of the global economic meltdown in the 1980s, 1990s and mid-2008, education has seen a squeeze on its budget. It is in this context that funding for secondary education has to be analysed in order to establish policies and programmes which are most suitable and sustainable to enable access, equity and retention of learners in secondary education. Models of funding in various countries are carefully examined in this study, in order to draw on the best practices in funding secondary education as applicable to the Zimbabwean case, and possibly to other countries in a similar situation. The research was carried out in three administrative districts of the Manicaland province of Zimbabwe. Using a mixed methods approach, this study examines the safety nets for the provision of secondary school education in Zimbabwe and proposes better ways to finance secondary school education. / Educational Leadership and Management / D. Ed. (Education Management)