Neste estudo são apresentados os resultados do trabalho sobre simulações de redes de conexões complexas. Foram simuladas redes regulares, intermediárias e aleatórias com o número de nós e de conexões variando entre 103 e 5x103 e entre 2x104 e 105, respectivamente, e com probabilidade variando de 0 a 1 com passo de 0.1, com o enfoque na Teoria Espectral. Utilizando a linguagem C e o software Matlab, as redes são representadas pela sua matriz adjacência, com o objetivo de observar-se o comportamento de seus autovalores através de histogramas. A finalidade é a caracterização de redes complexas. Observa-se que a distribuição dos autovalores segue a lei semicircular de Wigner. / This study presents the results of the work about simulations of networks of complex connections. They were simulate regular networks, middlemen and aleatory with the number of nodes and of connections varying between 103 and 5x104 and between 2x104 and 105, respectively, and with probability varying from 0 to 1 with step of 0.1, with the focus in the Spectral Theory. Using the language C and the software Matlab, the networks are represented by its adjacency matrix, with the objective of observing the behavior of its eigenvalues through histograms. The purpose is the characterization of complex networks. Its observed that the eigenvalues distribution follows the Wigners semicircular law.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work presents a method for qualitative and quantitative analysis of WorkFlow nets based on the proof trees of linear logic, and an approach for the verification of workflow specifications in UML through the transformation of UML Activity Diagrams into WorkFlow nets. The qualitative analysis is concerned with the proof of soundness correctness criterion defined for WorkFlow nets. The quantitative analysis is based on the computation of symbolic dates for the planning of resources used to handle each task of the workflow process modeled by a t-Time WorkFlow net. For the verification of the specifications of workflow processes mapped into UML Activity Diagrams are presented formal rules to transform this ones into WorkFlow nets. In this context is proposed the analysis and correction of critical points in UML Activity Diagrams through the analysis of proof trees of linear logic. The advantages of such an approach are diverse. The fact of working with linear logic permits one to prove the correctness criterion soundness in a linear time without considering the construction of the reachability graph, considering the proper structure of the WorkFlow net instead of considering the corresponding automata. Moreover, the computation of symbolic dates for the execution of each task mapped into the t-Time WorkFlow net permits to plan the utilization of the resources involved in the activities of the workflow process, through formulas that can be used for any case handled by the correspondent workflow process, without to examine again the process to recalculate, for each new case, the dates of start and conclusion for the activities involved in the process. Regarding the verification of workflow processes mapped into UML Activity Diagrams, the major advantage of this approach is the transformation of a semi-formal model into a formal model, such that some properties, like soundness, can be formally verified. / Este trabalho apresenta um método para a análise qualitativa e quantitativa de Work- Flow nets baseado nas árvores de prova canônica da lógica linear e uma abordagem para a verificação de especificações de processos de workflow em UML através da transformação de Diagramas de Atividades da UML em WorkFlow nets. A análise qualitativa refere-se à prova do critério de corretude soundness definido para WorkFlow nets. Já a análise quantitativa preocupa-se com o planejamento de recursos para cada atividade de um processo de workflow mapeado em uma t-Time WorkFlow net e baseia-se no cálculo de datas simbólicas para o planejamento de recursos utilizados na realização de cada tarefa do processo de workflow. Para a verificação das especificações de processos de workflow mapeados em Diagramas de Atividades da UML são apresentadas regras formais para transformar estes diagramas em WorkFlow nets. Neste contexto também é proposta a análise e correção de pontos críticos em Diagramas de Atividades da UML através da análise de árvores de prova canônica da lógica linear. As vantagens das abordagens apresentadas neste trabalho são diversas. O fato de trabalhar com lógica linear permite provar o critério de corretude soundness em tempo linear e sem que seja necessária a construção de um grafo das marcações acessíveis, considerando diretamente a própria estrutura da WorkFlow net, ao invés de considerar o seu autômato correspondente. Além disso, o cálculo de datas simbólicas correspondentes à execução de cada tarefa mapeada em uma t-Time WorkFlow net permite planejar a utilização dos recursos envolvidos nas atividades do processo de workflow, através de fórmulas que podem ser utilizadas por qualquer caso tratado pelo processo de workflow correspondente, sem que seja necessário percorrer novamente o processo de workflow inteiro para recalcular, para cada novo caso, datas de início e término das atividades envolvidas no processo. Já no que diz respeito à verificação de processos de workflow mapeados em Diagramas de Atividades da UML, a principal vantagem desta abordagem é a transformação de um modelo semi-formal em um modelo formal, para o qual algumas propriedades, como soundness, podem ser formalmente verificadas. / Mestre em Ciência da Computação

Se na tentativa de evocar o passado escolar, abrirmos com disposição as páginas das redes sociais virtuais, poderemos também nos surpreender com as memórias dos usuários encontradas nas comunidades do Orkut; nas tramas das histórias escolares, os scraps digitais exibem os relatos dos ex-alunos, numa verdadeira exibição do eu. Este estudo traz para a discussão os posts encontrados nas comunidades do Orkut do Colégio Militar do Rio de Janeiro, do Colégio de São Bento do Rio de Janeiro e do Colégio Marista São José do Rio de Janeiro, procurando dar visibilidade a essas escritas autobiográficas virtuais sobre a vida escolar como fontes para a história da Educação. Como esses usuários narram as suas histórias escolares? Quais os relatos mais frequentes? Estas questões me instigam a pensar que o registro das experiências escolares possibilita ao sujeito desnudar-se. No tempo das tecnologias digitais, o usuário move-se sobre teclados, telas, deixando registros de uma vida, que são examinados pelos moderadores. Mas quem são estes sujeitos nas comunidades escolares? Será que eles cumprem os mesmos papéis desempenhados pelos editores? As escritas memorialistas comandam, imperativamente, novas relações com a escrita; essas narrativas não se esgotam numa tipologia textual persuasiva; observam-se laços de ideias e afetos, aproximando os ex-alunos dessas redes sociais virtuais. Quais são os temas mais recorrentes encontrados neste espaço virtual? Estas postagens constituem elos do tecido das lembranças dos sujeitos que não se intimidam em contar as suas histórias nesses novos suportes de escrita. Talvez, a saudade e a solidão busquem acolhimento e companhia nos cliques dos usuários, remetendo-os aos acontecimentos passados; os ex-alunos compartilham experiências, sentimentos e saberes, borrando fronteiras entre o público e o privado; nesse sentido, percebe-se que essas escritas autobiográficas nas comunidades escolares do Orkut também constroem esses sujeitos no suporte digital. Assim, este trabalho procura ampliar a discussão sobre os lugares de memórias da escolarização, buscando contribuir para os estudos da história da Educação. / If in the attempt of evoking the school memories, we open with excitement the pages of the virtual social nets, we will also be able to surprise us with the users' memoirs found in the communities of Orkut; in plots of the school histories, the digital scraps exhibit the former-students' reports, in a true themselves exhibition. This research brings for the discussion the scraps found in Orkut communities of the Colégio Militar do Rio de Janeiro, of the School of São Bento do Rio de Janeiro and of the School Marista São José do Rio de Janeiro, trying to give visibility the those virtual autobiographical narratives about the school life as sources for the history of the Education. How do those users narrate their school histories? Which the most frequent testimonies? All those issues puzzle me about the experiences registered in the virtual communities and how those subjects to undress. In the digital technologies, the user moves on keyboards, screens, leaving registrations of a life, turning, therefore, their visible school histories. The writing, as representation of ideas or words, in the most several supports, it is integral part of a social reality; the subjects also create systems to aid them in the interaction with the other, making possible to think that those written commands, new relationships with the writing; those narratives don't become exhausted in a persuasive textual typology; bows of ideas and affections are observed, approximating the former-students of those virtual social nets. In that sense, those postages constitute links of the memories that are not frightened in counting their histories in those new writing supports. Maybe the longing and the solitude looking for reception and company in the users' clicks, sending them to the last events; therefore, it is possible to think that the former-students share experiences, feelings and you know, blotting borders between the public and the private; in that sense, it is noticed that those autobiographical writings in the communities of Orkut, it shows those subjects in the digital support. Like this, this search to enlarge the work on the places of memoirs of the education, looking for to contribute for the studies in history of the Education.

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.

Esta tese apresenta mecanismos computacionais concebidos para reconhecer e inferir estados de ânimo de alunos em interação num ambiente virtual de aprendizagem (AVA). A pesquisa, tendo por base investigações interdisciplinar – Educação, Psicologia Cognitiva e Computação Afetiva (CA) –, apresenta, a título de problema central, o de como alcançar tais objetivos. A Psicogenética Construtivista, base teórica que fundamenta o exame dos aspectos afetivos envolvidos nos processos de aprendizagem, responde pela concepção epistemológica interacionista do AVA ROODA, ambiente de aplicação da pesquisa. A dimensão afetiva é examinada sob a perspectiva cognitivista associada à teoria de appraisal, em especial no que diz respeito ao modelo de Scherer, que tem por finalidade distinguir os diferentes fenômenos afetivos. No que tange à CA, área em torno da qual vêm sendo desenvolvidos estudos que buscam inferir, avaliar e tomar decisões sobre o estado cognitivo-afetivo do aluno, dois aspectos são considerados. De um lado, a análise de como se processa a interação do aluno com o sistema em função de sinais obtidos do comportamento observável no ambiente. De outro, como proceder ao reconhecimento da subjetividade a partir de materiais textuais. Projetos experimentais de CA vêm evidenciando o quanto, no âmbito cognitivo, o reconhecimento da afetividade assume novos contornos. A hipótese de estudo, a de que os estados de ânimo de um aluno podem ser reconhecidos em AVA através de um modelo computacional que inter-relacione fatores de personalidade e de comportamento, pôde ser confirmada, para isso concorrendo o emprego da técnica de redes bayesianas. A opção pelo fenômeno afetivo estado de ânimo, embasada na revisão da literatura, justifica-se por constituir um dos aspectos afetivos mais representativos no ambiente escolar, com respeito ao qual cumpre considerar duas classes de estados de ânimo: animação e satisfação. A Roda dos Estados Afetivos é o espaço de representação para o mapeamento de ambas as classes. Tendo em conta a interdisciplinaridade da pesquisa, e no intuito de identificar os estados de ânimo nas interações de alunos em AVA, construiu-se uma nova funcionalidade para o AVA ROODA, denominada ROODAafeto. Identificar os estados de ânimo em AVA significa ampliar o leque de comunicação professor-aluno, de modo a que não somente os aspectos cognitivos, mas também os afetivos sejam considerados. Em síntese, através dessa funcionalidade, pretende-se proporcionar meios, a partir dos quais seja possível obter informações associadas à vivência afetiva do aluno, notadamente em relação ao ensino não presencial. / This dissertation presents computing mechanisms conceived in order to get to know and infer students’ mood states when interacting in a virtual learning environment (VLE). The research, based on interdisciplinary studies – Education, Cognitive Psychology, and Affective Computing (AC) –, presents, as its main research problem, the aim of reaching such objectives. Constructivist psychogenetics, theoretical foundation for the examination of affective aspects involved in learning processes, is responsible for the interactionist epistemological conception of the ROODA VLE, the application environment for the research. The affective dimension is examined under the cognitive perspective associated to the appraisal theory, mainly regarding Scherer’s model, which aims to distinguish the different affective phenomena. Concerning AC, area that comprises studies developed in order to infer, assess, and take decisions about the student’s affective-cognitive status, two aspects are considered. On the one hand, the analysis of how the interaction of the student with the system is processed was carried out, based on signals obtained from the observable behavior in the environment. On the other hand, it was analyzed how to proceed when recognizing the subjectivity from textual materials. AC experimental projects have evidenced how much, in the cognitive sphere, the recognition of affectivity assumes new forms. The study hypothesis that a student’s mood state can be recognized in a VLE by means of a computing model that inter-relates personality and behavior factors could be confirmed, and for this purpose a Bayesian network technique was used. The option for the affective phenomena mood state, based on the literature review, is justified by the fact that it is one of the most representative affective aspects in the educational environment. With this regard, two types of mood states are considered: being interested and being satisfied. Wheel of Afffective States is the space of representation for the mapping of both types. Considering the interdisciplinarity of the research, and with the purpose of identifying the mood states in the students' interactions in a VLE, a new functionality for the ROODA VLE, called ROODAafeto was developed. Identifying mood states in VLE means to amplify the possibility of teacher-student communication so that affective aspects are also considered besides cognitive aspects. In short, the use of this functionality aims to provide means to obtain information associated with the student’s affective experience, mainly in relation to non-presential education. / Esta tesis presenta mecanismos computacionales diseñados para reconocer e inferir los estados de ánimo de los estudiantes en la interacción en un entorno virtual de aprendizaje (AVA). La investigación, basada en estudio interdisciplinar - Educación, Psicología Cognitiva y Computación Afectiva (CA) - presenta, como problema central, de qué modo alcanzar estos objetivos. La Psicogenética Constructivista, base teórica que se basa en el examen de los aspectos afectivos implicados en los procesos de aprendizaje, responde por la concepción epistemológica interaccionista de AVA ROODA, ambiente de ejecución de la investigación. La dimensión afectiva es examinada desde la perspectiva cognitivista asociada con la teoría de appraisal, en particular en lo que respecta al modelo de Scherer, que tiene por finalidad distinguir los diferentes fenómenos afectivos. Desde el punto de vista de la CA, la zona en torno a los cuales se han desarrollado estudios que buscan inferir, evaluar y tomar decisiones acerca del estado cognitivo-afectivo del alumno, se consideran dos aspectos. Por un lado, el análisis de cómo se procesa la interacción del alumno con el sistema en función de las señales obtenidas del comportamiento observado en el ambiente. Por otra parte, como proceder al reconocimiento de la subjetividad desde los materiales textuales. Proyectos experimentales en CA han confirmando cuanto, en la magnitud cognitiva, el reconocimiento de la afectividad asume nuevos contornos. La hipótesis del estudio, en la que los estados de ánimo de un alumno puede ser reconocida en AVA mediante un modelo computacional que interrelacione factores de la personalidad y del comportamiento, se pudo confirmar, para tanto concurriendo el empleo de la técnica de redes bayesianas. La elección por el fenómeno afectivo estado de ánimo, embasada en la revisión de la literatura, se justifica por constituir uno de los aspectos afectivos más representativos en el entorno escolar, por lo que respecta considerar dos clases de estados de ánimo: animación y satisfacción. El Círculo de los Estados Afectivos es el espacio de representación para el mapeo de ambas clases. Teniendo en cuenta la interdisciplinariedad de la investigación, y el objetivo de identificar los estados de ánimo en las interacciones de los alumnos en AVA, se construyo una nueva funcionalidad para AVA ROODA, llamada ROODAafeto. Identificar los estados de ánimo en AVA significa una ampliación del rango de comunicación profesor-alumno, de modo que no sólo los aspectos cognitivos, sino también los afectivos se tienen en cuenta. En resumen, por medio de esta funcionalidad, se intenta proporcionar los medios, a partir de los cuales sea posible obtener información relacionada con la experiencia afectiva de los alumnos, especialmente en relación con la enseñanza no presencial.

Comprendre la genèse d’une situation de conduite requiert d’analyser les choixfaits par le conducteur au volant de son véhicule pendant l’activité de conduite, dans sacomplexité naturelle et dans sa dynamique située. Le LESCOT a développé le modèleCOSMODRIVE, fournissant un cadre conceptuel pour la simulation cognitive de l’activitéde conduite automobile. Pour exploiter ce modèle en simulation, il est nécessairede produire les connaissances liées à la situation de conduite sous forme d’un automatepar exemple. La conception d’un tel automate nécessite d’une part de disposer de donnéesissues de la conduite réelle, enregistrées sur un véhicule instrumenté et d’autrepart d’une expertise humaine pour les interpréter.Pour accompagner ce processus d’ingénierie des connaissances issues de l’analysed’activité, ce travail de thèse propose une méthode de découverte interactive deconnaissances à partir de traces d’activité. Les données de conduite automobile sontconsidérées comme des M-Traces, associant une sémantique explicite aux données,exploitées en tant que connaissances dans un Système à Base de Traces (SBT). Le SBTpermet de filtrer, transformer, reformuler et abstraire les séquences qui serviront à alimenterla synthèse de modèles automates de l’activité de conduite. Nous reprenons destechniques de fouille de workflow permettant de construire des automates (réseaux dePetri) à partir de logs. Ces techniques nécessitent des données complètes ou statistiquementreprésentatives. Or les données collectées à bord d’un véhicule en situationde conduite sont par nature des cas uniques, puisqu’aucune situation ne sera jamaisreproductible à l’identique, certaines situations particulièrement intéressantes pouvanten outre être très rarement observées. La gageure est alors de procéder à une forme degénéralisation sous la forme de modèle, à partir d’un nombre de cas limités, mais jugéspertinents, représentatifs, ou particulièrement révélateurs par des experts du domaine.Pour compléter la modélisation de telles situations, nous proposons donc de rendreinteractifs les algorithmes de synthèse de réseau de Petri à partir de traces, afin depermettre à des experts-analystes de guider ces algorithmes et de favoriser ainsi la découvertede connaissances pertinentes pour leur domaine d’expertise. Nous montreronscomment rendre interactifs l’algorithme α et l’algorithme α+ et comment généralisercette approche à d’autres algorithmes.Nous montrons comment l’utilisation d’un SBT et de la découverte interactived’automates impacte le cycle général de découverte de connaissances. Une méthodologieest proposée pour construire des modèles automates de l’activité de conduiteautomobile.Une étude de cas illustre la méthodologie en partant de données réelles de conduiteet en allant jusqu’à la construction de modèles avec un prototype logiciel développédans le cadre de cette thèse / Driving is a dynamic and complex activity. Understanding the origin of a driving situationrequires the analysis of the driver’s choices made while he/she drives. In addition,a driving situation has to be studied in its natural complexity and evolution. LESCOThas developed a model called COSMODRIVE, which provides a conceptual frameworkfor the cognitive simulation of the activity of car driving. In order to run themodel for a simulation, it is necessary to gather knowledge related to the driving situation,for example in the form of an automaton. The conception of such an automatonrequires : 1) the use of real data recorded in an instrumented car, and, 2) the use of humanexpertise to interpret these data. These data are considered in this thesis as activitytraces.The purpose of this thesis is to assist the Knowledge Engineering process of activityanalysis. The present thesis proposes a method to interactively discover knowledgefrom activity traces. For this purpose, data from car driving are considered as M-traces– which associate an explicit semantic to these data. This semantic is then used asknowledge in a Trace Based System. In a Trace Based System, M-traces can be filtered,transformed, reformulated, and abstracted. The resulting traces are then used as inputsin the production of an automaton model of the activity of driving. In this thesis,Workflow Mining techniques have been used to build automata (Petri nets) from logs.These techniques require complete or statistically representative data sets. However,data collected from instrumented vehicles are intrinsically unique, as no two drivingsituations will ever be identical. In addition, situations of particular interest, such ascritical situations, are rarely observed in instrumented vehicle studies. The challenge isthen to produce a model which is a form of generalisation from a limited set of cases,which have been judged by domain experts as being relevant and representative of whatactually happens.In the current thesis, algorithms synthesising Petri nets from traces have been madeinteractive, in order to achieve the modelling of such driving situations. This thenmakes it possible for experts to guide the algorithms and therefore to support the discoveryof knowledge relevant to the experts. The process involved in making the α-algorithm and the α+-algorithm interactive is discussed in the thesis in a way that canbe generalised to other algorithms.In addition, the current thesis illustrates how the use of a Trace Based System andthe interactive discovery of automata impacts the global cycle of Knowledge Discovery.A methodology is also proposed to build automaton models of the activity of cardriving. Finally, a case study is presented to illustrate how the proposed methodologycan be applied to real driving data in order to construct models with the softwaredeveloped in this thesis

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.

O grande avanço das técnicas de Planejamento em Inteligência Artificial fez com que a Engenharia de Requisitos e a Engenharia do Conhecimento ganhassem extrema importância entre as disciplinas relacionadas a projeto de engenharia (Engineering Design). A especificação, modelagem e análise dos domínios de planejamento automático se tornam etapas fundamentais para melhor entender e classificar os domínios de planejamento, servindo também de guia na busca de soluções. Neste trabalho, é apresentada uma proposta de um ambiente integrado de modelagem e análise de domínios de planejamento, que leva em consideração o ciclo de vida de projeto, representado por uma ferramenta gráfica de modelagem que utiliza diferentes representações: a UML para modelar e analisar as características estáticas dos domínios; XML para armazenar, integrar, e exportar informação para outras linguagens (ex.: PDDL); as Redes de Petri para fazer a análise dinâmica; e a PDDL para testes com planejadores. / The great development in Artificial Intelligence Planning has emphasized the role of Requirements Engineering and Knowledge Engineering among the disciplines that contributes to Engineering Design. The modeling and specification of automated planning domains turn out to be fundamental tasks in order to understand and classify planning domains and guide the application of problem solving techniques. In this work, it is presented the proposed integrated environment for modeling and analyzing automated planning domains, which considered the life cycle of a project, represented by a tool that uses several language representations: UML to model and perform static analyses of planning environments; XML to hold, integrate, share and export information to other language representations (e.g. PDDL); Petri Nets, where dynamic analyses are made; and PDDL for testing models with planners.

Este trabalho foi motivado pela necessidade de considerar comportamento estocástico durante o planejamento da produção de sistemas de manufatura, ou seja, o que produzir e em que ordem. Estes sistemas possuem um comportamento estocástico geralmente não considerado no planejamento da produção. O principal objetivo deste trabalho foi obter um método que modelasse sistemas de manufatura e representasse seu comportamento estocástico durante o planejamento de produção destes sistemas. Como os métodos que eram ideais para planejamento não forneciam a modelagem adequada dos sistemas, e os com modelagem adequada não forneciam a capacidade de planejamento necessária, decidiu-se combinar dois métodos para atingir o objetivo desejado. Decidiu-se modelar os sistemas em rede de Petri e convertê-los em processos de decisão markovianos, e então realizar o planejamento com o ultimo. Para que fosse possível modelar as probabilidades envolvidas nos processos, foi proposto um tipo especial de rede de Petri, nomeada rede de Petri fatorada. Utilizando este tipo de rede de Petri, foi desenvolvido o método de conversão em processos de decisão markovianos. A conversão ocorreu com sucesso, conforme testes que mostraram que planos podem ser produzidos utilizando-se algoritmos de ponta para processos de decisão markovianos. / The present work was motivated by the need to consider stochastic behavior when planning the production mix in a manufacturing system. These systems are exposed to stochastic behavior that is usually not considered during production planning. The main goal of this work was to obtain a method to model manufacturing systems and to represent their stochastic behavior when planning the production for these systems. Because the methods that were suitable for planning were not adequate for modeling the systems and vice-versa, two methods were combined to achieve the main goal. It was decided to model the systems in Petri nets and to convert them into Markov decision processes, to do the planning with the latter. In order to represent probabilities in the process, a special type of Petri nets, named Factored Petri nets, were proposed. Using this kind of Petri nets, a conversion method into Markov decision processes was developed. The conversion is successful as tests showed that plans can be produced within seconds using state-of-art algorithms for Markov decision processes.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções. / This paper proposes two test methods for system software testing: the first one extracts test workflow processes from a model developed in Hierarchical Petri Nets and the other validates results after test execution using a domain model in OWL-S. Both processes increase the quality of the system developed by reducing the risk of having an insufficient coverage or an incomplete functionality test. The first technique consists of five steps: i) system evaluation and identification of separable sub modules and entities, ii) identification of states and transitions, iii) system modeling (bottom-up), iv) validation of the created model by evaluating the workflow for each functionality, and v) extraction of test cases using one of the three test coverage presented. The second method must be applied after the execution of the previous method and has also five steps: i) first a system model in OWL (Web Ontology Language) is built containing all significant information and business rules of the application; ii) then, the initial status before the test execution is represented in the model by the insertion of the instances (individuals) presented; iii) after the execution of test cases, the state model is updated by inserting (without deleting already existing instances) new instances to represent the domain sate after test; iv) in the next step we use a reasoner to make OWL model checking inferences to prove model consistency, that is, if there is no error in the application; finally, the initial status instances is compared with the final status in order to verify if these instances have been changed, created or deleted correctly. The process is indicated for blackbox functional tests, but can be easily adapted for white-box tests. There was obtained test cases similar to those that will be obtained in a manual analysis keeping the same test coverage. Validation has proved to be consistent compare to the expected results. Also, the ontological model has showed to be easy and intuitive for maintenance.