Neste trabalho, utilizando o método espectral de Galerkin, provamos a existência de soluções fracas (quando a dimensão n é maior que 2) e existência e unicidade de soluções fracas (quando a dimensão é 2) para um sistema de equações diferenciais parciais que descrevem o movimento de um fluido quimicamente ativo em um domínio limitado em Rn, n 2≥2. / In this work, by using the spectral Galerkin method, we prove the existence of weak solutions (when the dimension n is great than 2) and existence and uniqueness of weak solutions (when the dimension is 2) for a system of partial differential equations that describes the motion of a chemical active fluid in a bounded domain in Rn, n≥2.

Esta pesquisa se propõe a compreender como a utilização das tecnologias móveis pode ser explorada para o ganho de agilidade na captação e repasse dos sinais fracos (SF) no ambiente organizacional. Os sinais fracos, apesar de, isoladamente, se apresentarem como incertos e imprecisos, se analisados sistematicamente, contém potencial estratégico relevante para as organizações. O crescente uso de tecnologias móveis e sem fio, que permeia a realidade das organizações, permite uma maior agilidade por parte das empresas, sob as perspectivas de acesso a informação, comunicação e tempo. Através da realização de estudos de caso múltiplos, contando com 10 respondentes exercendo funções multidisciplinares em diferentes organizações, buscamos relacionar essas perspectivas de agilidade provenientes da utilização das tecnologias móveis nas organizações – levantadas através de revisão bibliográfica – às etapas de captação e repasse de sinais fracos, adotadas no modelo de Inteligência Estratégica Antecipativa e Coletiva (IEAc). Com relação à captação dos sinais fracos, entende-se que o volume de informações trocado e a disponibilidade dessas informações (ambos decorrentes do uso das tecnologias de informação móveis e sem fio) podem aumentar a chance de identificação de um sinal fraco nas três perspectivas analisadas. Contudo, essa percepção dos sinais fracos é vinculada também às características do profissional, que deve assumir uma atitude proativa e atenta no sentido de perceber e interpretar essas informações. A respeito do repasse de informação, entende-se que o ganho de agilidade pelo uso das TIMS pode ser explorado, dado que a redução das barreiras geográficas permite ganhos no processo em relação ao tempo, à comunicação e ao acesso à informação. / This research aims to understand how the use of mobile technologies can be exploited to gain agility in the capture and transfer of weak signals in the organizational environment. When weak signals are analysed singly, they are uncertain and imprecise. However, when systematically analyzed, they contain relevant strategic potential for organizations. The increasing use of mobile technologies and wireless, that permeates the reality of organizations, allows greater flexibility for companies, on the prospects of access to information, communication and time. By performing multiple case studies, with 10 respondents which work in different functions and different organizations, we seek to relate these agility prospects arising from the adoption of mobile technologies in organizations - raised through literature review - to the stages of capture and transfer of weak signals, adopted in Strategic, Anticipative and Collective Intelligence. Regarding the capture of weak signals, is meant that the volume of information exchanged and the availability of this information (both resulting from TIMS) may increase the chance of identifying a weak signal in the three perspectives analyzed. However, this perception of weak signals is also linked to the characteristics of each professional, who should take a proactive and attentive attitude towards perceive and interpret this information. Regarding the transfer stage of weak signals information, is observed that the gain agility through the use of TIMS can be exploited, given that the reduction of geographical barriers allows gains over time, related to communication and access to information.

La sémantique des jeux permet l'étude et la modélisation abstraite des langages de programmation d'un point de vue mathématique, en gardant assez d'informations concrètes sur la structure des programmes, mais en laissant de côté les détails superflus. Durant mon doctorat, j'ai travaillé sur l'association de la sémantique des jeux avec les structures d'événements pour proposer des modèles dénotationnels vraiment concurrents de langages concurrents d'ordresupérieur. Dans un premier temps, je construis un modèle réalisant cette association, qui retient suffisamment d'informations sur le comportement des programmes pour interpréter adéquatement une grande variété de langages concurrents et non déterministes pour des notions fines de convergences. La construction de ce modèle se base surl'introduction de symétrie afin d'établir que le modèle forme une catégorie cartésienne fermée. Dans un second temps, je propose une généralisation dans ce cadre des notions d'innocence et de bon parenthésage, essentielles en sémantiquedes jeux pour comprendre les effets calculatoires, et résolvant ainsi des problèmes ouverts de la sémantique des jeux concernant l'innocence concurrente et non-déterministe. Dans un dernier temps je propose une interprétation dans ce modèle, de langages concurrents avec mémoire faible, un des premiers travaux de sémantique dénotationnelle pour ce type de langages. Bien que théoriques, ces modèles sont compositionnels et basés sur des ordres partiels, et donc pourraient permettre de faire passer la vérification de programmes concurrents à l'échelle (une problématique importante du domaine). / Game semantics is an effective tool to study and model abstractly programming languages from a mathematical point of view, by keeping enough concrete information on the structure of programs but yet leaving aside superfluous details. During my PhD thesis, I worked on merging game semantics with event structures to propose truly concurrent denotational models of higher-order concurrent languages. In the first part, I build a model based on this merge, retaining enough information about the behaviour of programs to interpret adequately a large variety of concurrent programming languages for various notions of convergence. The construction of this model is based on the introduction of symmetry to prove that the model is indeed in a cartesian-closed category. In the second part, I propose a generalization, in this setting, of innocence and well-bracketing, key notions in game semantics to understand the computational effects, and thusly closing openproblems of game semantics about concurrent and nondeterministic innocence.In the last part, I propose an interpretation in this model of concurrent languages with weak shared memory, one of the first works of denotational semantics for these kinds of languages. Althoughtheoretical, these models are compositional and based on partial orders, and thus could permit scaling verification of concurrent programs (an important problem of the domain).

No contexto de sistemas de baixa anisotropia, medidas de magnetização para verificar os efeitos magnéticos induzidos pela substituição do íon Mn+2 por Cu+2 em um quase unidimensional antiferromagneto tipo Heisenberg CsMn1-xCuxA3.2H2O (A = Cl, Br) foram feitas. Nas amostras diluídas com derivados de Br observamos o aparecimento de uma magnetização remanente abaixo de TN quando elas são resfriadas em um pequeno campo axial aplicado ao longo do eixo fácil. Isso não ocorre com as amostras diluídas com derivados de Cl. A troca intra-cadeia tanto com os compostos de Cl e Br é antiferromagnética, entretanto a troca entre-cadeias ao longo de eixo fácil é antiferromagnética no composto com Cl e ferromagnética com o Br. Esse fato parece ser determinístico no surgimento de momentos espontâneos abaixo de TN no composto com bromo. Além disso, medidas de magnetização do monocristal antiferromagnético de sítio diluído A2Fe1-xInxCl5.H2O (A = Cs) foram feitas em baixos campos magnéticos (H) aplicados ao longo do eixo de fácil magnetização. Os dados revelaram que uma magnetização remanente Mr se desenvolve abaixo a temperatura de Néel TN. Essa Mr(T) é paralela ao eixo fácil e satura para campos H ~ 1Oe e ela aumenta com decréscimo de T. Ela também possui uma dependência de temperatura como outros sistemas diluídos da mesma família (A = K, Rb). Para todos esses sistemas, a curva normalizada Mr(t)/ Mr(t = 0,3), onde t=T/TN é a temperatura reduzida, é independente de x e acompanha uma curva universal. No contexto de sistemas de alta anisotropia, a dependência da temperatura do excesso de magnetização em baixos e altos campos foi investigada para o antiferromagneto 3D de Ising FexZn1-xF2 (x = 0.72; 0.46 e 0.31) e também o sistema puro FeF2. Verificamos que Mr surge tanto paralela ou perpendicular ao eixo fácil. A magnitude de Mr, para baixos campos (H < 1 Oe) depende de H, mas satura para campos de alguns Oersted. O esperado comportamento de campo aleatório (RF), em campos altos, é observado quando H é aplicado ao longo do eixo fácil. / In the context of low anisotropy, the magnetization measurements to find out the magnetic effects induced by the substitution of Mn+2 by Cu+2 íons in the quaseone-dimensional Heisenberg-like antiferromagnets CsMn1-xCuxA3.2H2O (A = Cl,Br) were made. In the diluted samples of the Br derivative, we observe the appearance of a remanent magnetization (Mr) below TN when they are cooled in a small axial magnetic field applied along the easy axis. This does not occur in the diluted samples of the Cl derivative. The intra-chain exchange both in Cl and Br compounds is antiferromagnetic, however the inter-chain exhange along the easy axis is antiferromagnetic in the chloride compound and ferromagnetic in the bromide. This fact seems to be deterministic in the appearance of the net moments below TN in the bromide. Moreover, the magnetization measurements on single crystals of the sitediluted antiferromagnet A2Fe1-xInxCl5.H2O (A = Cs) were carried out at low magnetic fields (H) applied along the easy axis. The data revealed that a Mr develops below the Néel temperature TN. This Mr(T) is parallel to the easy axis , saturates for H ~ 1 Oe and it increases with decreasing T. It has also temperature dependence as another diluted systems of the same family (A = K, Rb). For all these systems the normalized Mr(t)/Mr(t = 0,3), where t = T/TN is the reduced temperature, is independet of x and follow a universal curve. In the context of high anisotropy, the temperature dependence of the excess magnetization at low and high fields was investigated for the diluted antiferromagnet FexZn1-xF2 (x = 0.72; 0.46 and 0.31) and pure system FeF2 as well. It was found that Mr is either along the easy axis or perpendicular to it. The size of Mr for very low fields (H < 1 Oe) depends on H but it sature for fields of the order of few Oersteds. The expected random field (RF) behaivor is observed when H is applied along the easy axis at higher fields.

Neste trabalho, utilizando o método espectral de Galerkin, provamos a existência de soluções fracas (quando a dimensão n é maior que 2) e existência e unicidade de soluções fracas (quando a dimensão é 2) para um sistema de equações diferenciais parciais que descrevem o movimento de um fluido quimicamente ativo em um domínio limitado em Rn, n 2≥2. / In this work, by using the spectral Galerkin method, we prove the existence of weak solutions (when the dimension n is great than 2) and existence and uniqueness of weak solutions (when the dimension is 2) for a system of partial differential equations that describes the motion of a chemical active fluid in a bounded domain in Rn, n≥2.

Esta pesquisa se propõe a compreender como a utilização das tecnologias móveis pode ser explorada para o ganho de agilidade na captação e repasse dos sinais fracos (SF) no ambiente organizacional. Os sinais fracos, apesar de, isoladamente, se apresentarem como incertos e imprecisos, se analisados sistematicamente, contém potencial estratégico relevante para as organizações. O crescente uso de tecnologias móveis e sem fio, que permeia a realidade das organizações, permite uma maior agilidade por parte das empresas, sob as perspectivas de acesso a informação, comunicação e tempo. Através da realização de estudos de caso múltiplos, contando com 10 respondentes exercendo funções multidisciplinares em diferentes organizações, buscamos relacionar essas perspectivas de agilidade provenientes da utilização das tecnologias móveis nas organizações – levantadas através de revisão bibliográfica – às etapas de captação e repasse de sinais fracos, adotadas no modelo de Inteligência Estratégica Antecipativa e Coletiva (IEAc). Com relação à captação dos sinais fracos, entende-se que o volume de informações trocado e a disponibilidade dessas informações (ambos decorrentes do uso das tecnologias de informação móveis e sem fio) podem aumentar a chance de identificação de um sinal fraco nas três perspectivas analisadas. Contudo, essa percepção dos sinais fracos é vinculada também às características do profissional, que deve assumir uma atitude proativa e atenta no sentido de perceber e interpretar essas informações. A respeito do repasse de informação, entende-se que o ganho de agilidade pelo uso das TIMS pode ser explorado, dado que a redução das barreiras geográficas permite ganhos no processo em relação ao tempo, à comunicação e ao acesso à informação. / This research aims to understand how the use of mobile technologies can be exploited to gain agility in the capture and transfer of weak signals in the organizational environment. When weak signals are analysed singly, they are uncertain and imprecise. However, when systematically analyzed, they contain relevant strategic potential for organizations. The increasing use of mobile technologies and wireless, that permeates the reality of organizations, allows greater flexibility for companies, on the prospects of access to information, communication and time. By performing multiple case studies, with 10 respondents which work in different functions and different organizations, we seek to relate these agility prospects arising from the adoption of mobile technologies in organizations - raised through literature review - to the stages of capture and transfer of weak signals, adopted in Strategic, Anticipative and Collective Intelligence. Regarding the capture of weak signals, is meant that the volume of information exchanged and the availability of this information (both resulting from TIMS) may increase the chance of identifying a weak signal in the three perspectives analyzed. However, this perception of weak signals is also linked to the characteristics of each professional, who should take a proactive and attentive attitude towards perceive and interpret this information. Regarding the transfer stage of weak signals information, is observed that the gain agility through the use of TIMS can be exploited, given that the reduction of geographical barriers allows gains over time, related to communication and access to information.

Submitted by MARCIA ROVADOSCHI (marciar@unifra.br) on 2018-08-20T17:53:01Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_JaniceRachelli.pdf: 4818944 bytes, checksum: 0c02a81d2b4c04364b21e1ddddc2fe58 (MD5) / Made available in DSpace on 2018-08-20T17:53:01Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_JaniceRachelli.pdf: 4818944 bytes, checksum: 0c02a81d2b4c04364b21e1ddddc2fe58 (MD5) Previous issue date: 2017-10-03 / The present study is on the field of Mathematics Education in higher education and is focused on the teaching and learning of Calculus concepts, specifically related to the concepts of classical derivative and weak derivative. The work, developed in the context of a qualitative research, aims to investigate how some students of the Master degree course in Teaching Mathematics of a community institution in Rio Grande do Sul comprehend the concepts of classical derivative and weak derivative. The APOS theory serves as a theoretical and methodological reference for the elaboration of the genetic decomposition in which the possible mental constructions used by the students were described in what the understanding of the concepts of classical derivative and weak derivative concern. We proposed some activities on the historical constructions of the classical concept, the derivative in the present times, and the passage from the classical derivative to the weak derivative. The teaching situations were developed in the classroom in the second semester of 2016, within the subject of Fundamentals of Differential and Integral Calculus. The basis for these activities was the ACE teaching cycle. The results obtained by analyzing the students' records in the proposed activities and the observations recorded in the field diary indicate that the students were able to coordinate actions and processes in order to obtain the derivative and verify if a function is differentiable. They could also coordinate the interpretations of the derivative, such as slope of the tangent line, instantaneous velocity and rate of variation, besides using mechanisms of generalization and reversibility in the analysis of the graphs of functions and their derivatives and encapsulating the processes necessary for a satisfactory understanding of the concept of the classical derivative. By means of the integral equation, the integration formula by parts, and the fundamental theorem of Calculus, the students were able to coordinate the function and intervals, the functions with compact support by means of internalizing actions and processes for the encapsulation of the mathematical object and weak derivative. Although there are some errors in these processes, there is evidence that the concepts of classical derivative and weak derivative have been understood by the students. These evidences developed mental mechanisms of reflective abstraction that allowed the construction of the mental structures of action, process, object and scheme present in the genetic decomposition that allowed them to understand the concepts. Moreover, the treatment with the historical context of the derivative and the collaborative work of the students were significant factors to obtain the results of the research. / O presente estudo se situa no campo da Educação Matemática no ensino superior e se insere na linha de investigação voltada ao ensino e aprendizagem de conceitos do Cálculo, especificamente ligados aos conceitos de derivada clássica e derivada fraca. O trabalho, desenvolvido no contexto de uma pesquisa qualitativa, teve como objetivo investigar como se dá a compreensão dos conceitos de derivada clássica e derivada fraca por estudantes de um curso de mestrado em Ensino de Matemática de uma instituição comunitária do Rio Grande do Sul. Tendo a teoria APOS como referencial teórico e metodológico, elaborou-se a decomposição genética, em que foram descritas as possíveis construções mentais utilizadas pelos estudantes para a compreensão dos conceitos de derivada clássica e derivada fraca. Foram organizadas situações de ensino compostas por atividades sobre as construções históricas do conceito clássico, a derivada nos tempos atuais e a passagem da derivada clássica para a derivada fraca. As situações de ensino foram desenvolvidas em sala de aula, no segundo semestre de 2016, na disciplina de Fundamentos de Cálculo Diferencial e Integral, tendo como base o ciclo de ensino ACE. Os resultados obtidos, por meio da análise dos registros dos alunos nas atividades propostas e das observações anotadas no diário de campo, indicam que os estudantes foram capazes de coordenar ações e processos para obter a derivada e verificar se uma função é diferenciável, coordenar as interpretações da derivada como inclinação da reta tangente, velocidade instantânea e taxa de variação, além de, utilizar mecanismos de generalização e reversibilidade na análise dos gráficos das funções e suas derivadas e de encapsular os processos necessários para a compreensão, de forma satisfatória, do conceito da derivada clássica. Por meio da equação integral, da fórmula de integração por partes e do teorema fundamental do Cálculo, os alunos coordenaram a função e os intervalos, funções com suporte compacto, interiorizando ações e processos para a encapsulação do objeto matemático, derivada fraca. Embora com alguns erros cometidos nesses processos, há evidências de que houve compreensão dos conceitos de derivada clássica e derivada fraca pelos estudantes. Estes evidenciaram desenvolver mecanismos mentais de abstração reflexionante que possibilitaram a construção das estruturas mentais de ação, processo, objeto e esquema presentes na decomposição genética que lhes permitiu compreender os conceitos. Além do mais, o trato com o contexto histórico da derivada e o trabalho colaborativo dos alunos foram fatores significativos para a obtenção dos resultados da pesquisa.

Les matériaux composites sont largement utilisés dans l'industrie en raison de leur bonne tenue mécanique et de leur faible densité. La diversité des domaines d’application des matériaux composites donne lieu à une grande variété de modes de sollicitation et d’endommagement. De ce fait, l’évaluation de leurs propriétés et le contrôle de leur état présentent un grand intérêt industriel. Dans ce travail, une nouvelle méthode d’évaluation et de contrôle non destructif dite par sonothermographie est explorée. Cette méthode est basée sur l'analyse du champ thermique induit par des ondes ultrasonores de puissance dans les matériaux absorbants tels que les composites. Deux applications complémentaires sont étudiées, d’une part l’évaluation des propriétés thermiques du matériau et d’autre part le contrôle non destructif de structures par thermographie infrarouge. Dans ce cadre, le problème direct de la sonothermographie est résolu numériquement à partir d’un modèle par éléments finis. Ce modèle permet de simuler le champ thermique induit par la propagation d’ondes ultrasonores dans un matériau absorbant dont les propriétés sont connues. Les simulations réalisées permettent de montrer l’applicabilité de la sonothermographie à la détection de défauts. Une nouvelle approche de caractérisation thermique est également développée. Cette approche basée sur la formulation faible de l’équation de conduction de la chaleur permet une estimation robuste de la diffusivité thermique du matériau à partir du champ thermique induit par les ondes ultrasonores de puissance. Des résultats expérimentaux sont présentés pour le cas de plaques minces. / The composite materials are widely used in industry because of their high mechanical resistance and low density. The diversity of composite materials application fields gives rise to a large variety of solicitation and damage conditions. For this reason, the evaluation of their properties and their health monitoring are of great industrial interest. In this work, a new method of evaluation and non-destructive testing named sonothermography is explored. This method is based on the analysis of thermal fields induced by ultrasonic waves in absorbent materials such as composites. Two additional applications are studied: the evaluation of the thermal properties of the material and the non-destructive testing of structures by infrared thermography. In this framework, the direct problem of sonothermography is solved numerically using a model based on the finite element method. This model allows to simulate the thermal field induced by the propagation of ultrasonic waves in absorbent material whose properties are known. The simulations carried out show the applicability of the sonothermography for the detection of defects. An innovative approach for thermal characterization is also developed. This approach based on the weak formulation of the heat conduction equation allows a robust estimate of the thermal diffusivity of the material from the thermal field induced by ultrasonic waves. Experimental results are presented for thin plates.

Mutation testing is a powerful, but resource intense technique for asserting software quality. This report investigates two claims about one of the mutation operators on procedural logic, the relation operator replacement (ROR). The constrained ROR mutant operator is a type of constrained mutation, which targets to lower the number of mutants as a “do smarter” approach, making mutation testing more suitable for industrial use. The findings in the report shows that the hypothesis on subsumption is rejected if mutants are to be detected on function return values. The second hypothesis stating that a test case can only detect a single top-level mutant in a subsumption graph is also rejected. The report presents a comprehensive overview on the domain of mutation testing, displays examples of the masking behaviour previously not described in the field of mutation testing, and discusses the importance of the granularity where the mutants should be detected under execution. The contribution is based on literature survey and experiment. The empirical findings as well as the implications are discussed in this master dissertation.

No description available.