Spelling suggestions: "subject:"emplate"" "subject:"atemplate""
131 |
Documentação e testes da biblioteca genérica de álgebra linear Klein / Tests and documentation of the Klein librarySchmid, Rafael Freitas 12 December 2014 (has links)
Este trabalho descreve a Klein, uma biblioteca genérica para álgebra linear em C++. A Klein facilita o uso de matrizes e vetores, permitindo que o usuário programe de modo similar ao Matlab. Com ela podemos, por exemplo, implementar um passo do método de Newton para a função f, através da expressão x = x - inv(jac(x)) * f(x), onde x é o vetor, jac a Jacobiana e inv a inversa. Além disso, por se tratar de uma biblioteca genérica, os tipos envolvidos nestas expressões podem ser escolhidos pelo programador. O trabalho também discute como a biblioteca é testada, tanto do ponto de vista de corretude quanto de desempenho. / We describe the Klein library, a generic libray for linear algebra in C++. It simplifies the use of vectors and matrices and let the user program as in Matlab. With Klein, one can for instance implement Newton\'s method as x = x - inv(jac(x)) * f(x), where x is a vector, jac is the Jacobian matrix, inv is the inverse operator and f(x) is the function of which we want to find zero. Moreover, Klein is generic in the sense that it allows the use of arbitrary types of scalars (float, double, intervals, rationals, etc). We also explain how it is tested, both for correctness and performance.
|
132 |
Template para elaboração de uma unidade didática na perspectiva dos estudos sociorretóricos de gênero / Template for the elaboration of a didactic unit in the perspective of the sociorhetorical studies of genreSilva, Rosa Lídia da 28 June 2018 (has links)
Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2018-08-17T13:19:52Z
No. of bitstreams: 1
Rosa Lídia da Silva.pdf: 47760667 bytes, checksum: d80910ea86dadb29eb499036da193a43 (MD5) / Made available in DSpace on 2018-08-17T13:19:52Z (GMT). No. of bitstreams: 1
Rosa Lídia da Silva.pdf: 47760667 bytes, checksum: d80910ea86dadb29eb499036da193a43 (MD5)
Previous issue date: 2018-06-28 / This dissertation is inserted in the Research Line: Text and speech in the oral and
written modalities of the Program of Postgraduate Studies in Portuguese Language.
It is the study of a model whose purpose is to guide the writing process of the
didactic unit document, by teachers authors or experts in the disciplines. We use the
nomenclature didactic unit as a series of teaching and learning activities assembled
and organized for learning purposes (LIBÂNEO; FREITAS, [2009]). This model,
named didactic unit template, is built with the components of a didactic unit, and may
contain autoforming features, which facilitate the production of the final document,
even by less experienced authors. Our main objective was to better understand the
template, its composition and socio-rhetorical organization, to reflect if and in what
way it affects the quality of the material it supports, contributing to the teaching and
learning process. We use as theoretical foundation the socio-rhetorical studies of
gender. The authors consulted were Swales (1990; 2004); Miller (1984, 2014); Bhatia
(1993, 2001, 2012); Bazerman (2000); Bazerman and Miller (2011); Aguiar (2011);
Biasi-Rodrigues and Bezerra (2012); Campos (2014); Crescitelli and Campos (2015)
and Motta-Roth (1998; 2004). Being restricted the access to templates, for reasons
of copyright, we began our study by textbooks, in view of being a type of text whose
components are included in didactic units and for having their use recognized in the
support of educational activities. We analysed ten books and, of these, we selected
two to present the more detailed analysis. Having obtained a template of allowed
use, named as Template COL, we were able to analyse it and reproduce it here. This
model was created by the Commonwealth of Learning (COL), an international
organization supporting education, especially in less developed countries. For a
second example, we describe the items of a didactic unit template, based on our
experience working with this type of model. In these models, we identify rhetorical
moves and steps, according to Swales' (1990) CARS Model, to better understand the
organization and interrelationship of its elements. In the course of research, we have
a contact with a case study of a researcher active in the development of education in
Namibia (FRÖHLICH, 2008), which shows the practical use of the template to
support authors, even with less experience. The contact with the Template COL and
the reality in which it is used has shown us that – in addition to helping in the quality
of the final document, as we have seen previously because of our professional
experience – the application of templates can be a valuable resource, including in
less favored regions. Analysis by socio-rhetorical principles allowed us to see the text
through more than one approach, considering its objectives, its functioning and the
people affected by it. For us, it has been evident that the careful planning of the
didactic unit and the construction of its final document in an organized way are
important so that it fulfills its purpose with students and teachers. In this composition,
the author can be aided by the template, which also requires planning and
constitutes a tool to support the preparation of documents for educational purposes / Esta dissertação insere-se na Linha de Pesquisa: Texto e discurso nas modalidades
oral e escrita do Programa de Estudos Pós-Graduados em Língua Portuguesa.
Trata-se do estudo de um modelo cuja finalidade é guiar o processo de escrita do
documento unidade didática, por autores professores ou especialistas nas
disciplinas. Empregamos a nomenclatura unidade didática como sendo uma série de
atividades de ensino e aprendizagem reunidas e organizadas com propósitos de
aprendizagem (LIBÂNEO; FREITAS, [2009]). Esse modelo, nomeado template de
unidade didática, é construído com os componentes de uma unidade didática,
podendo conter recursos de autoformatação, que facilitam a produção do documento
final, mesmo por autores menos experientes. Nosso objetivo principal foi conhecer
melhor o template, sua composição e organização sociorretórica, para refletir se e
de que maneira ele afeta a qualidade do material a que dá suporte, contribuindo com
o processo de ensino e aprendizagem. Utilizamos como fundamentação teórica os
estudos sociorretóricos de gênero. Os autores consultados foram Swales (1990;
2004); Miller (1984; 2015); Bhatia (1993; 2001; 2012); Bazerman (2000); Bazerman
e Miller (2011); Aguiar (2011); Biasi-Rodrigues e Bezerra (2012); Crescitelli e
Campos (2015) e Motta-Roth (1998; 2004). Sendo restrito o acesso a templates, por
questões autorais, iniciamos nosso estudo por livros didáticos, tendo em vista serem
um tipo de texto cujos componentes figuram em unidades didáticas e por terem seu
uso consagrado no apoio a atividades educacionais. Analisamos dez livros e,
desses, selecionamos dois para apresentar a análise mais detalhada. Tendo obtido
um template de uso permitido, nomeado como Template COL, pudemos analisá-lo e
reproduzi-lo aqui. Esse modelo foi criado pela Commonwealth of Learning (COL),
organização internacional de apoio à educação, principalmente em países menos
desenvolvidos. Para uma segunda exemplificação, descrevemos os itens de um
template de unidade didática, baseadas em nossa experiência de trabalho com esse
tipo de modelo. Identificamos, nesses modelos, os movimentos retóricos e passos,
conforme o Modelo CARS, de Swales (1990), para entender melhor a organização e
a inter-relação de seus elementos. No percurso de pesquisa, conhecemos um
estudo de caso de uma pesquisadora atuante no desenvolvimento da educação na
Namíbia (Fröhlich, 2008), que evidencia a utilidade prática do template para apoiar
autores, mesmo com menor experiência. O contato com o Template COL e com a
realidade em que é utilizado mostrou-nos que – além de auxiliar na qualidade do
documento final, como já havíamos constatado anteriormente em razão de nossa
experiência profissional – a aplicação de templates pode ser um valioso recurso,
inclusive em regiões menos favorecidas. A análise por princípios sociorretóricos
permitiu-nos ver o texto por mais de um enfoque, considerando seus objetivos, seu
funcionamento e as pessoas que por ele são afetadas. Evidenciou-se, para nós, ser
relevante o planejamento criterioso da unidade didática e a construção de seu
documento final de maneira organizada, para que cumpra seu propósito junto a
estudantes e professores. Nessa composição, o autor pode ser auxiliado pelo
template, que requer, igualmente, planejamento e constitui uma ferramenta de apoio
à elaboração de documentos com fins didáticos
|
133 |
Biometrics in a data stream context / Biometria em um contexto de fluxo de dadosPisani, Paulo Henrique 10 March 2017 (has links)
The growing presence of the Internet in day-to-day tasks, along with the evolution of computational systems, contributed to increase data exposure. This scenario highlights the need for safer user authentication systems. An alternative to deal with this is by the use of biometric systems. However, biometric features may change over time, an issue that can affect the recognition performance due to an outdated biometric reference. This effect can be called as template ageing in the area of biometrics and as concept drift in machine learning. It raises the need to automatically adapt the biometric reference over time, a task performed by adaptive biometric systems. This thesis studied adaptive biometric systems considering biometrics in a data stream context. In this context, the test is performed on a biometric data stream, in which the query samples are presented one after another to the biometric system. An adaptive biometric system then has to classify each query and adapt the biometric reference. The decision to perform the adaptation is taken by the biometric system. Among the biometric modalities, this thesis focused on behavioural biometrics, particularly on keystroke dynamics and on accelerometer biometrics. Behavioural modalities tend to be subject to faster changes over time than physical modalities. Nevertheless, there were few studies dealing with adaptive biometric systems for behavioural modalities, highlighting a gap to be explored. Throughout the thesis, several aspects to enhance the design of adaptive biometric systems for behavioural modalities in a data stream context were discussed: proposal of adaptation strategies for the immune-based classification algorithm Self-Detector, combination of genuine and impostor models in the Enhanced Template Update framework and application of score normalization to adaptive biometric systems. Based on the investigation of these aspects, it was observed that the best choice for each studied aspect of the adaptive biometric systems can be different depending on the dataset and, furthermore, depending on the users in the dataset. The different user characteristics, including the way that the biometric features change over time, suggests that adaptation strategies should be chosen per user. This motivated the proposal of a modular adaptive biometric system, named ModBioS, which can choose each of these aspects per user. ModBioS is capable of generalizing several baselines and proposals into a single modular framework, along with the possibility of assigning different adaptation strategies per user. Experimental results showed that the modular adaptive biometric system can outperform several baseline systems, while opening a number of new opportunities for future work. / A crescente presença da Internet nas tarefas do dia a dia, juntamente com a evolução dos sistemas computacionais, contribuiu para aumentar a exposição dos dados. Esse cenário evidencia a necessidade de sistemas de autenticação de usuários mais seguros. Uma alternativa para lidar com isso é pelo uso de sistemas biométricos. Contudo, características biométricas podem mudar com o tempo, o que pode afetar o desempenho de reconhecimento devido a uma referência biométrica desatualizada. Esse efeito pode ser chamado de template ageing na área de sistemas biométricos adaptativos ou de mudança de conceito em aprendizado de máquina. Isso levanta a necessidade de adaptar automaticamente a referência biométrica com o tempo, uma tarefa executada por sistemas biométricos adaptativos. Esta tese estudou sistemas biométricos adaptativos considerando biometria em um contexto de fluxo de dados. Neste contexto, o teste é executado em um fluxo de dados biométrico, em que as amostras de consulta são apresentadas uma após a outra para o sistema biométrico. Um sistema biométrico adaptativo deve então classificar cada consulta e adaptar a referência biométrica. A decisão de executar a adaptação é tomada pelo sistema biométrico. Dentre as modalidades biométricas, esta tese foca em biometria comportamental, em particular em dinâmica da digitação e em biometria por acelerômetro. Modalidades comportamentais tendem a ser sujeitas a mudanças mais rápidas do que modalidades físicas. Entretanto, havia poucos estudos lidando com sistemas biométricos adaptativos para modalidades comportamentais, destacando uma lacuna para ser explorada. Ao longo da tese, diversos aspectos para aprimorar o projeto de sistemas biométricos adaptativos para modalidades comportamentais em um contexto de fluxo de dados foram discutidos: proposta de estratégias de adaptação para o algoritmo de classificação imunológico Self-Detector, combinação de modelos genuíno e impostor no framework do Enhanced Template Update e aplicação de normalização de scores em sistemas biométricos adaptativos. Com base na investigação desses aspectos, foi observado que a melhor escolha para cada aspecto estudado dos sistemas biométricos adaptativos pode ser diferente dependendo do conjunto de dados e, além disso, dependendo dos usuários no conjunto de dados. As diferentes características dos usuários, incluindo a forma como as características biométricas mudam com o tempo, sugerem que as estratégias de adaptação deveriam ser escolhidas por usuário. Isso motivou a proposta de um sistema biométrico adaptativo modular, chamado ModBioS, que pode escolher cada um desses aspectos por usuário. O ModBioS é capaz de generalizar diversos sistemas baseline e propostas apresentadas nesta tese em um framework modular, juntamente com a possibilidade de atribuir estratégias de adaptação diferentes por usuário. Resultados experimentais mostraram que o sistema biométrico adaptativo modular pode superar diversos sistemas baseline, enquanto que abre um grande número de oportunidades para trabalhos futuros.
|
134 |
Geração e refinamento de malhas segmentadas a partir de imagens com textura / Generating and refining segmented meshes from textured imagesLizier, Mario Augusto de Souza 23 November 2009 (has links)
Com a popularização de equipamentos tradicionais de captura de imagens, como câmeras digitais, e o avanço tecnológico dos dispositivos não invasivos, como tomografia e ressonância, cresce também a necessidade e consequente uso de métodos numéricos para simulação de fenômenos físicos em domínios definidos por imagens. Um dos pré-requisitos para a aplicação de tais métodos numéricos consiste na discretização do domínio em questão, num processo denominado geração de malhas. Embora diversos métodos de geração de malha tenham sido propostos para discretizar domínios definidos por primitivas geométricas, pouco tem sido feito no sentido de gerar uma decomposição diretamente a partir de imagens. Neste trabalho, apresentamos uma abordagem de geração de malhas de qualidade a partir de domínios definidos por imagens com textura. Mais especificamente, a pesquisa descrita nesta tese contribui com a melhoria do algoritmo Imesh, ao sanar três de suas principais limitações: tratamento de imagens com texturas; controle do nível de refinamento da malha e suporte a outros tipos de elementos. Estas contribuições flexibilizam o processo de geração da malha, e ainda ampliam o domínio de aplicações do algoritmo Imesh, à medida que são considerados domínios definidos por imagens com textura e o uso de métodos numéricos para elementos não simpliciais torna-se possível. O algoritmo de melhoria da malha gerada utiliza uma abordagem inovadora de remalhamento baseada em templates e guiada por retalhos de Bézier / With the spreading of traditional image capturing devices, such as digital cameras, and the technological advancement of more specific imaging devices such as CT and MRI, also increased the need and the following use of numerical methods for simulation of physical phenomena in domains defined by images. One of the prerequisites for the application of such numerical methods is the discretization of the corresponding domain, in a process called mesh generation. Although several methods of mesh generation have been proposed to discretize domains defined by geometric primitives, little has been done to generate a decomposition directly from images. We present an approach to generate quality meshes from domains defined by images with texture. More specifically, the research described in this thesis contributes to the improvement of the Imesh algorithm, removing three of its main limitations: treatment textured images, control of the level of the mesh refinement and support for other types of non-simplicial elements. These contributions provide flexibility to the mesh generation process, and extend the range of applications of Imesh by both handling textured images and considering the use of numerical methods for non-simplicial elements. The mesh quality improvement algorithm uses a new approach based on mesh templates and it is guided by Bezier patches
|
135 |
Conception d'oxydes fonctionnels de métaux de transition présentant des méso- ou des nanostructures pour le stockage électrochimique de l'énergie / Design of functional transition metal oxides with meso- or nanostructures for the electrochemical storage of energyTran, Chau Cam Hoang 19 December 2017 (has links)
Cette thèse a pour objectif d'améliorer les performances électrochimiques des dispositifs asymétriques C/MnO2 en formulant des oxydes de manganèse présentant des nano- ou mésostructures. Deux méthodes d’élaboration sont explorées. Le matériau mésoporeux est obtenu par réaction entre un agent structurant souple CTAP et divers alcènes A. L’impact des solutions colloïdales CTAP-A sur la texture et la microstructure de MnO2 a été étudié en proposant un modèle qui corrèle la dimension des agrégats avec le diamètre des pores de MnO2. Les performances du dispositif asymétrique sont aussi optimisées. Bien que l’emploi d’un agent structurant dur AAO n’ait pas permis d’élaborer directement un matériau d’électrode MnO2 performant, une microélectrode de MnO2 élaboré sur des nano-piliers de nickel électrodéposé sur AAO montre des propriétés électrochimiques concurrentes avec celles des microélectrodes actuelles. La bonne réponse en puissance élevée du dispositif asymétrique est due à l’excellente connexion entre les piliers et le matériau actif. Ce mémoire offre une meilleure compréhension sur la formation de MnO2 et présente des microélectrodes prometteuses pour les microsupercondensateurs. / The aim of this thesis is to improve the electrochemical performance of C/MnO2 asymmetric devices by elaborating manganese oxides exhibiting nano- or mesostructures. Two preparation methods are proposed. A mesoporous material is obtained through the reaction of soft template CTAP with various A alkenes. The effect of CTAP-A colloidal solution on MnO2 texture and microstructure has been studied by establishing the relationship between aggregates dimension and pore diameter. Asymmetric devices performances can be optimized this way. Attempts to employ AAO as hard template for developing a performant MnO2 electrode were unsuccessful. Nevertheless, a MnO2 microelectrode containing the oxide on nickel nanowires electrodeposited on AAO provided excellent electrochemical performances, comparable with current microsupercapacitor electrodes. Asymmetric device energy retention with increasing power is good due to the excellent MnO2/nickel nanowires connection. This thesis offers insights on the MnO2 formation and proposes promising microelectrodes for microsupercapacitors.
|
136 |
Novas rotas de síntese de óxidos de titânio e mistos titânio-zircônio mesoestruturados via método sol-gel por template com surfactantes / New synthetic routes for mesostructured titanium dioxide and mixed titanium-zirconium dioxide via surfactant-templated sol-gel methodsEiwalt Rodolfo Hanzl 16 November 2009 (has links)
Uma nova rota de síntese via metodo sol-gel para óxido de titânio (titânia) e óxido misto titânio/zircônio (zircônia) é proposta neste trabalho. As amostras foram submetidas ao tratamento hidrotérmico e obteve-se compostos mesoestruturados e de elevada área superficial. Algumas amostras foram submetidas à calcinação a 450°C para a verificação da estabilidade a altas temperaturas. As amostras foram analisadas por difratometria de raios-x (DRX), espalhamento de raios-x de baixo ângulo (SAXS), área superficial através do método BET, por microscopia eletrônica de varredura por emissão de campo (FE-SEM), além de serem testadas na fotodegradação de corantes. Foram testados diferentes alcóxidos precursores, isopropóxido de titânio e n-butóxido de titânio; ácidos, clorídrico e nítrico; e surfactantes, Pluronic® P123, Brij® 700 e Brij® 98; e também variadas as quantidades de surfactantes utilizadas, para que fosse possível analisar como estas variações afetam a síntese dos compostos e se estabelecer uma nova rota padronizada utilizando-se os melhores precursores em quantidades ideais. Para efeito de comparação, foi testada uma rota alcalina de síntese, que levou ao material com área superficial mais elevada. Como resultado deste trabalho, foi desenvolvida uma nova rota de síntese para óxidos mesoestruturados de titânio e titânio/zircônio corn elevada área superficial, na qual a etapa de calcinação para remoção do surfactante foi eliminada. Algunas dos materiais preparados mostraram excelente desempenho na degradação fotocatalítica de um corante comercial. / A new sol-gel based synthetic route for titania and mixed titania-zirconia ceramic powders is proposed in this contribution. This route combines a surfactant-template strategy with hydrothermal treatment, yielding mesostructured compoundes with a high surface area. Some samples were calcined at 450 °C in order to verify the stability of the structures at these temperatures. The materials were characterized by x-ray diffraction (XRD), small angle x-ray scattering (SAXS), surface area (BET method), field emission scanning electron microscopy (FE-SEM), and were also tested in the photocatalytic degradation of selected dyes. Different precursor alcóxidos were used: titanium isopropoxide and titanium n-butoxide. Two different acids were used to catalyze the hydrolysis reaction, HCl and HNO3. Three surfactants were used as templating agents: Pluronic P123®, Brij 700®, and Brij 98®. The amount of surfactant was also changed in order to verify how these variations affect the surface area and morphology of the resulting compounds. For comparison, an alkaline route was also tested, in which the highest surface area was observed. As a result of this work, a new synthetic route for mesostructured titania and titania-zirconia mixed oxides was developed, in which the surfactant is removed without a calcinations step, resulting in compounds with high surface areas and, in some cases, excellent photocatalytic properties for the degradation of a dye.
|
137 |
Novas rotas de síntese de óxidos de titânio e mistos titânio-zircônio mesoestruturados via método sol-gel por template com surfactantes / New synthetic routes for mesostructured titanium dioxide and mixed titanium-zirconium dioxide via surfactant-templated sol-gel methodsHanzl, Eiwalt Rodolfo 16 November 2009 (has links)
Uma nova rota de síntese via metodo sol-gel para óxido de titânio (titânia) e óxido misto titânio/zircônio (zircônia) é proposta neste trabalho. As amostras foram submetidas ao tratamento hidrotérmico e obteve-se compostos mesoestruturados e de elevada área superficial. Algumas amostras foram submetidas à calcinação a 450°C para a verificação da estabilidade a altas temperaturas. As amostras foram analisadas por difratometria de raios-x (DRX), espalhamento de raios-x de baixo ângulo (SAXS), área superficial através do método BET, por microscopia eletrônica de varredura por emissão de campo (FE-SEM), além de serem testadas na fotodegradação de corantes. Foram testados diferentes alcóxidos precursores, isopropóxido de titânio e n-butóxido de titânio; ácidos, clorídrico e nítrico; e surfactantes, Pluronic® P123, Brij® 700 e Brij® 98; e também variadas as quantidades de surfactantes utilizadas, para que fosse possível analisar como estas variações afetam a síntese dos compostos e se estabelecer uma nova rota padronizada utilizando-se os melhores precursores em quantidades ideais. Para efeito de comparação, foi testada uma rota alcalina de síntese, que levou ao material com área superficial mais elevada. Como resultado deste trabalho, foi desenvolvida uma nova rota de síntese para óxidos mesoestruturados de titânio e titânio/zircônio corn elevada área superficial, na qual a etapa de calcinação para remoção do surfactante foi eliminada. Algunas dos materiais preparados mostraram excelente desempenho na degradação fotocatalítica de um corante comercial. / A new sol-gel based synthetic route for titania and mixed titania-zirconia ceramic powders is proposed in this contribution. This route combines a surfactant-template strategy with hydrothermal treatment, yielding mesostructured compoundes with a high surface area. Some samples were calcined at 450 °C in order to verify the stability of the structures at these temperatures. The materials were characterized by x-ray diffraction (XRD), small angle x-ray scattering (SAXS), surface area (BET method), field emission scanning electron microscopy (FE-SEM), and were also tested in the photocatalytic degradation of selected dyes. Different precursor alcóxidos were used: titanium isopropoxide and titanium n-butoxide. Two different acids were used to catalyze the hydrolysis reaction, HCl and HNO3. Three surfactants were used as templating agents: Pluronic P123®, Brij 700®, and Brij 98®. The amount of surfactant was also changed in order to verify how these variations affect the surface area and morphology of the resulting compounds. For comparison, an alkaline route was also tested, in which the highest surface area was observed. As a result of this work, a new synthetic route for mesostructured titania and titania-zirconia mixed oxides was developed, in which the surfactant is removed without a calcinations step, resulting in compounds with high surface areas and, in some cases, excellent photocatalytic properties for the degradation of a dye.
|
138 |
Two complementary approaches to detecting vulnerabilities in C programs / Deux approches complémentaires pour la détection de vulnérabilités dans les programmes CJimenez, Willy 04 October 2013 (has links)
De manière générale, en informatique, les vulnérabilités logicielles sont définies comme des cas particuliers de fonctionnements non attendus du système menant à la dégradation des propriétés de sécurité ou à la violation de la politique de sécurité. Ces vulnérabilités peuvent être exploitées par des utilisateurs malveillants comme brèches de sécurité. Comme la documentation sur les vulnérabilités n'est pas toujours disponible pour les développeurs et que les outils qu'ils utilisent ne leur permettent pas de les détecter et les éviter, l'industrie du logiciel continue à être paralysée par des failles de sécurité. Nos travaux de recherche s'inscrivent dans le cadre du projet Européen SHIELDS et portent sur les techniques de modélisation et de détection formelles de vulnérabilités. Dans ce domaine, les approches existantes sont peu nombreuses et ne se basent pas toujours sur une modélisation formelle précise des vulnérabilités qu'elles traitent. De plus, les outils de détection sous-jacents produisent un nombre conséquent de faux positifs/négatifs. Notons également qu'il est assez difficile pour un développeur de savoir quelles vulnérabilités sont détectées par chaque outil vu que ces derniers sont très peu documentés. En résumé, les contributions réalisées dans le cadre de cette thèse sont les suivantes: Définition d'un formalisme tabulaire de description de vulnérabilités appelé template. Définition d'un langage formel, appelé Condition de Détection de Vulnérabilité (VDC). Une approche de génération de VDCs à partir des templates. Définition d'une approche de détection de vulnérabilités combinant le model checking et l'injection de fautes. Évaluation des deux approches / In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties or the violation of security policies. These vulnerabilities can be exploited by malicious users or systems impacting the security and/or operation of the attacked system. Since the literature on vulnerabilities is not always available to developers and the used tools do not allow detecting and avoiding them; the software industry continues to be affected by security breaches. Therefore, the detection of vulnerabilities in software has become a major concern and research area. Our research was done under the scope of the SHIELDS European project and focuses specifically on modeling techniques and formal detection of vulnerabilities. In this area, existing approaches are limited and do not always rely on a precise formal modeling of the vulnerabilities they target. Additionally detection tools produce a significant number of false positives/negatives. Note also that it is quite difficult for a developer to know what vulnerabilities are detected by each tool because they are not well documented. Under this context the contributions made in this thesis are: Definition of a formalism called template. Definition of a formal language, called Vulnerability Detection Condition (VDC), which can accurately model the occurrence of a vulnerability. Also a method to generate VDCs from templates has been defined. Defining a second approach for detecting vulnerabilities which combines model checking and fault injection techniques. Experiments on both approaches
|
139 |
Fluid management in immersion and imprint microlithographyBassett, Derek William 31 January 2011 (has links)
The important roles of fluid dynamics in immersion lithography (IL) and step-and-flash imprint lithography (S FIL) are analyzed experimentally and theoretically. In IL there are many challenges with managing a fluid droplet between the lens and the wafer, including preventing separation of the fluid droplet from the lens and deposition of small droplets behind the lens. Fluid management is also critical in S FIL because the imprint fluid creates capillary and lubrication forces, both of which are primarily responsible for the dynamics of the template and fluid motion. The fluid flow and shape of the wafer determine how uniform the gap height between the wafer and the template is, and they affect the resistance during the alignment phase.
IL was investigated as a methodology to improve laser lithography for making photomasks. The fluid flow in IL was investigated by building a test apparatus to simulate the motion of the fluid droplet during microlithographic production, and using this apparatus to conduct experiments on various immersion fluids and wafer topcoats to determine what instabilities would occur. A theoretical model was used to predict the fluid separation instabilities. Finite element simulations were also used to model the fluid droplet, and these simulations accurately predict the fluid instabilities and quantitatively agreed with the model and experiments.
It is shown that the process is viable: capillary forces are sufficient to keep the fluid droplet stable, heating effects due to the laser are negligible, and other concerns such as evaporation and dissolution are manageable.
Euler beam theory and the lubrication equation were used to model the bending of an S FIL template and the flow of the fluid between the template and a non-flat wafer. The template filling time, conformance of the template to the wafer, and the alignment phase are investigated with an analytical model and finite element simulations. Analysis and simulations show that uniformity of the residual film thickness and ease of proper alignment depend greatly on the planarity of the wafer, the properties of the template, and the surface tension of the fluid. / text
|
140 |
Applications of the Wavelet Transform to B Mixing AnalysisCadien, Adam Samuel 06 1900 (has links)
Abstract
The neutral B mesons B0 and B0s can under go flavor changing oscillations due to interactions
by the weak force. Experiments which measure the frequency of these state transitions produce
extremely noisy results that are difficult to analyse. A method for extracting the frequency of B
mesons oscillations using the continuous wavelet transform is developed here.
In this paper the physics of B meson mixing is related, leading to the derivation of a function
describing the expected amount of mixing present in B0 and B0s meson decays. This result is then used to develop a new method for analysing the underlying frequency of oscillation in
B mixing. An introduction to wavelet theory is provided in addition to details on interpreting
daughter wavelet coefficient diagrams. Finally, the effectiveness of the analysis technique produced,
referred to as the Template Fitting Method, is investigated through an application to
data generated using Monte Carlo methods.
|
Page generated in 0.0721 seconds