No description available.

Psychology / (D. Litt et Phil.(Psychology ))

Ces dernières années, de considérables efforts expérimentaux ont été dévoués au développement d’outils de nanoélectronique quantique, dans le but d’atteindre un niveau de contrôle sur le transport électronique quantique à l’échelle de l’électron unique. Ces avancées ont poussé à un changement de paradigme dans le domaine du transport électronique cohérent et donné naissance à l’optique quantique électronique, domaine dans lequel cette thèse s’inscrit. Cette thèse est consacrée à deux problématiques. Tout d’abord, elle s’intéresse au problème des interactions Coulombiennes entre électrons, qui donnent lieu à un phénomène de décohérence qu’il est nécessaire de caractériser et de prédire au mieux afin de le contrôler. En utilisant une approche analytique et numérique, il a été possible de prédire l’effet de ces interactions sur un système expérimentalement accessible, prédiction qui a ensuite été confirmée par l’expérience. Dans la foulée de ce résultat, cette thèse présente des possibilités de contrôle de ces interactions, et propose un moyen de les mettre en œuvre qui devrait pouvoir être testé dans une expérience. Je me suis également confronté à la problématique de la caractérisation d’états quantiques complexes. En particulier, suite à la démonstration expérimentale d’un protocole de tomographie pour des états mono-électroniques, je me suis tourné vers l’extension de ce protocole à des états plus complexes, pouvant exhiber des propriétés de cohérence à deux électrons, voire plus. Ces états étant également sensibles aux interactions de Coulomb, une extension au cas multi-électronique des outils utilisés pour traiter ces interactions est proposée dans cette thèse. / Over the last few years, extensive experimental efforts have been devoted to thedevelopment of quantum nanoelectronics tools aiming at controlling electronic trans-port down to the single electron level. These advances led to a paradigm shift inthe domain of coherent electronic transport, giving birth to electron quantum optics,which is the domain of this work.This manuscript is devoted to two problems. The first of these is the one ofCoulomb interactions between electrons, which lead to a decoherence phenomenonthat must be characterized and predicted in order to be controlled. Using an analyt-ical and numerical approach, it became possible to predict the effect of interactionson an experimentally relevant system, a prediction that was then confirmed in the ex-periment. After this result, this manuscript displays some ideas aiming at controllinginteractions and proposes some ways to test them experimentally.In this work, I also took on the problem of characterizing complex quantum states.In particular, following the experimental demonstration of a tomography protocol forfirst order coherences, I tried to extend this protocol to more complex states thatcould exhibit two-electron coherences, or more. These states being also sensitive to Coulomb interactions, an extension of the tools used to treat interactions to thismulti-electronic state is also presented in this work.

Bakgrund: Venösa bensår uppkommer till följd av venös insufficiens. Tillståndet förväntas öka i takt med en åldrande befolkning. Behandlingen kan vara tidskrävande och följsamheten är låg. Sjuksköterskan spelar en viktig roll vid behandlingen av dessa personer. Genom att belysa personers upplevelser av att leva med venösa bensår kan kunskap genereras som är nödvändig för att sjuksköterskan ska kunna ge god vård. Syfte: Att belysa personers upplevelser av att leva med venösa bensår. Metod: Litteraturöversikt med riktad innehållsanalys. Analysen utgick från de tre centrala komponenterna begriplighet, hanterbarhet och meningsfullhet i Antonovskys teori om känsla av sammanhang (KASAM). Sökningar genomfördes i tre databaser. Sökord för att leva med kombinerades med sökord för venösa bensår. Träffar begränsades till artiklar publicerade mellan 1 januari 2008 och 31 augusti 2018. Elva vetenskapliga artiklar valdes ut för analys. Resultat: Under tre huvudkategorier formulerades åtta underkategorier. Huvudkategorierna var begriplighet, hanterbarhet och meningsfullhet. I kategorin begriplighet beskrevs upplevelser av att drabbas av venösa bensår, betydelsen av kontroll samt betydelsen av information. Under hanterbarhet beskrevs användandet av resurser och strategier för att hantera livet. Under meningsfullhet beskrevs tillståndets inverkan på människors identitet och självbild, sårens plats i livet samt hur livet med bensår upplevdes på ett emotionellt plan. Diskussion: I resultatdiskussionen lyftes aspekter av tid relaterat till omvårdnad och behandling. Sjuksköterskans betydelse för följsamhet till behandling samt vikten av information och kunskap belystes. Resultatet diskuterades i relation till Antonovskys centrala komponenter samt tidigare forskning. / Background: Venous leg ulcers occur as a result of venous insufficiency. The condition is expected to increase in line with an aging population. Treatment may be time consuming and the adherence to treatment is low. The nurse plays an important role in the treatment of these persons. By highlighting people’s experiences of living with venous leg ulcers, knowledge necessary for the nurse to provide good care can be gained. Aim: To highlight people’s experiences of living with venous leg ulcers. Method: A literature review with directed content analysis. The analysis was based on the three key components in Antonovsky's theory of sense of coherence (SOC): comprehensiveness, manageability and meaningfulness. Searches were carried out in three databases. Keywords for to live with were combined with keywords for venous leg ulcers. Searches were limited to articles published between the 1st of January 2008 and the 31st of August 2018. Eleven scientific articles were selected for analysis. Results: Eight subcategories were presented under three main categories. The main categories were comprehensiveness, manageability and meaningfulness. The comprehensiveness category described experiences of suffering from venous leg ulcers, the significance of control and the importance of information. In the manageability category, the use of resources and strategies to handle life were described. In the meaningfulness category, the impact of leg ulcers on identity and self-image were described. The place of the ulcers in patients’ lives and descriptions of how life with leg ulcers was emotionally experienced were also presented. Discussion: Aspects in relation to nursing and treatment were discussed. Time, adherence to treatment, information and knowledge were highlighted. This was discussed in the light of Antonovsky's core components as well as previous research.

Spectral domain optical coherence tomography (SD-OCT), a non-invasive imaging method, is based on an analysis of a near-infrared light deflected from tisssue layers, that provides detailed images of retinal structures. Nerve cells of the retina, that originate from neuroectoderm, reflect neurodegeneration of the central nervous system (CNS), as well as acute damage of nerve structures caused by optic neuritis. The dissertation first presents established imaging protocol and quality standards for SD-OCT imaging in multiple sclerosis (MS). In the following section we introduce SD-OCT as a biomarker in MS. In a multicentric cross-sectional study, we had shown, that a single time measurement of peripapillary retinal nerve fiber layer thickness (RNFL) has a predictive value for a risk of disease progression in the next five years. Patients with a thickness of RNFL in the lowest tercile of the studied population had a relative risk of disease progression 2x higher than patients in the highest tercile. The second presented study tests whether the history of optic neuritis (ON) in MS is a risk factor for neurodegeneration of RNFL in later years. The study confirmed that long term changes of RNFL thickness in eyes post-ON and in eyes with no history of ON are not different. Therefore, we conclude that both,...

As threads de aplicações paralelas cooperam a fim de cumprir suas tarefas, dessa forma, comunicação é realizada entre elas. A latência de comunicação entre os núcleos em arquiteturas multiprocessadas diferem dependendo da hierarquia de memória e das interconexões. Com o aumento do número de núcleos por chip e número de threads por núcleo, esta diferença entre as latências de comunicação está aumentando. Portanto, é importante mapear as threads de aplicações paralelas levando em conta a comunicação entre elas. Em aplicações paralelas baseadas no paradigma de memória compartilhada, a comunicação é implícita e ocorre através de acessos à variáveis compartilhadas, o que torna difícil a descoberta do padrão de comunicação entre as threads. Mecanismos tradicionais usam simulação para monitorar os acessos à memória realizados pela aplicação, requerendo modificações no código fonte e aumentando drasticamente a sobrecarga. Nesta dissertação de mestrado, são introduzidos dois mecanismos inovadores com uma baixa sobrecarga para se detectar o padrão de comunicação entre threads. O primeiro mecanismo faz uso de informações sobre linhas compartilhadas de caches providas por protocolos de coerência de cache. O segundo mecanismo utiliza a Translation Lookaside Buffer (TLB) para detectar quais páginas de memória cada núcleo está acessando. Ambos os mecanismos dependem totalmente do hardware, o que torna o mapeamento de threads transparente aos programadores e permite que ele seja realizado dinamicamente pelo sistema operacional. Além disto, nenhuma tarefa de alta sobrecarga, como simulação, é requerida. As propostas foram avaliadas com o NAS Parallel Benchmarks (NPB), obtendo representações precisas dos padrões de comunicação. Mapeamentos para as threads foram gerados utilizando os padrões de comunicação descobertos e um algoritmo de mapeamento. O problema do mapeamento é NP-Difícil. Portanto, de forma a se atingir uma complexidade polinomial, o algoritmo empregado é heurístico, baseado no algoritmo de emparelhamento de grafos de Edmonds. Executando as aplicações com o mapeamento resultou em um ganho de desempenho de até 15; 3%. O número de faltas na cache, invalidações em linhas de cache e transações de espionagem foram reduzidos em até 31; 9%, 41% e 65; 4%, respectivamente. / The threads of parallel applications cooperate in order to fulfill their tasks, thereby communication is performed among themselves. The communication latency between the cores in a multiprocessor architecture differs depending on the memory hierarchy and the interconnections. With the increase in the number of cores per chip and the number of threads per core, this difference between the communication latencies is increasing. Therefore, it is important to map the threads of parallel applications taking into account the communication between them. In parallel applications based on the shared memory paradigm, the communication is implicit and occurs through accesses to shared variables, which makes difficult to detect the communication pattern between the threads. Traditional approaches use simulation to monitor the memory accesses performed by the application, requiring modifications to the source code and drastically increasing the overhead. In this master thesis, we introduce two novel light-weight mechanisms to find the communication pattern of threads. The first mechanism makes use of the information about shared cache lines provided by cache coherence protocols. The second mechanism makes use of the Translation Lookaside Buffer (TLB) to detect which memory pages each core is accessing. Both our mechanisms rely entirely on hardware features, which makes the thread mapping transparent to the programmer and allows it to be performed dynamically by the operating system. Moreover, no time consuming task, such as simulation, is required. We evaluated our mechanisms with the NAS Parallel Benchmarks (NPB) and obtained accurate representations of the communication patterns. We generated thread mappings from the detected communication patterns using a mapping algorithm. Mapping is a NP-Hard problem. Therefore, in order to achieve a polynomial complexity, we designed a heuristic method based on the Edmonds graph matching algorithm. Running the applications with these mappings resulted in performance improvements of up to 15.3% compared to the original scheduler of the operating system. The number of cache misses, cache line invalidations and snoop transactions were reduced by up to 31.9%, 41% and 65.4%, respectively.

Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativamente ao conteúdo de informação, como números reais e intervalos reais, de tal forma que possam ser definidos modelos semânticos adequados para os processos computacionais envolvendo tais objetos. Esta representação construtiva é denominada de global, pois é realizada em dois níveis distinguíveis, compreendendo não somente a construção interna dos objetos, no contexto de uma da estrutura de informação, mas também sua estrutura externa de aplicação. A estrutura de informação tem caráter compatível com uma abordagem domínio-teorética, e a estrutura de aplicação e determinada pelo use pretendido do sistema representado. Existe um relacionamento entre os dois níveis de construção, garantindo que cada componente da estrutura de aplicação tenha uma representação interna na estrutura de informação. Os sistemas de representação global resultantes são denominados então espaços coerentes bi-estruturados, e tem a característica adicional de serem gerados por um sistema ordenado basico de universo enumerável. A estrutura de informação é um espaço coerente, com funções lineares e uma estrutura topológica de informação compatível. A estrutura de aplicação - algébrica, de ordem, relacional, funcional, de medidas, topológica, dentre outras - é obtida por um processo construtivo a partir da estrutura do sistema basico. Um espaço coerente bi-estruturado, obtido por esse processo de construção, é a representação global de um dado sistema ordenado de 2ª ordem quando possível recuperar este sistema através do subsistema dos objetos totais do espaço, pela determinação de isomorfismos para a estrutura de aplicação. Da mesma forma, estabelecendo também isomorfismos para o subsistema dos intervalos de elementos do conjunto universo do sistema que esta sendo representado, esse subsistema pode ser recuperado como o subsistema dos objetos quasi-totais do espaço coerente. Apresenta-se também uma abordagem categórica para o processo de construção global, mostrando se que ele determina uma adjunção entre duas subcategorias da categoria SO2 dos sistemas ordenados de 2ª ordem A metodologia proposta se mostrou particularmente interessante na construção do conjunto dos números reais e do conjunto de intervalos reais. Para estes sistemas introduziu-se também uma subestrutura elementar de medidas, pela definição, de forma generalizada, das funções valor absoluto, distância e diâmetro. Foi desenvolvida uma estrutura topológica para os espaços coerentes bi-estruturados, que caracteriza-se também por apresentar dois níveis que se inter-relacionam. Para obter uma caracterização topológica de informação desenvolveu-se a noção de espaços de vizinhanças lineares. No sentido de se obter a caracterização topológica de aplicação, obteve-se, em cada etapa da construção, um espaço de vizinhanças gerado pela função distância generalizada com uma topologia de aplicação associada. Conexões entre as representações de reais e de intervalos de reais e aspectos de computabilidade são referidas de modo preliminar, sugerindo-se este tema como trabalho futuro. Possíveis aplicações dos espaços coerentes bi-estruturados e do processo de construção global a outras áreas da Ciência da Computação são indicadas no final do trabalho. / The aim of this work is to develop a methodology to obtain constructive representations of second order ordered systems, based on coherence space structures, with the main application in Scientific Computation and Interval Mathematics. A global representation for the so-called infinite objects considering the information content they represent, in particularly real numbers and real intervals, is obtained, so that suitable semantical models for real and interval computational processes can be provided. This constructive representation is said to be global. since it is performed in two distinguished levels, dealing with the internal construction of the objects, in the context of an information structure, and, on the other hand, building an external application structure. The information structure is compatible with a domain-theoretic approach, and the application structure is established according the intended usage of the represented system. There exists a relationship between the two levels of the construction, guaranteeing that each component of the application structure should have an internal representation in the information structure. The resulting global representation systems are called bi-structured coherence spaces, and they have the additional feature of being generated by a basic ordered system having a denumerable universe. The information structure is a coherence space endowed with linear functions and a compatible information topological structure. The (algebraic, ordered, relational, functional, measure, topological, etc.) application structure is obtained by the construction process, considering the structure of the basic system as the start point. A bi-structured coherence space, obtained by this construction process, is said to be the global representation of a given second order ordered system if it is possible to recover the latter by the subsystem of the total objects of the former, defining isomorphisms related to the application structure. Following the same pattern, establishing isomorphisms for the subsystem of the intervals of elements of the represented system, it is possible to recover it as the subsystem of quasi-total objects of the bi-structured coherence space. A categorical approach is also presented and it is shown that the global construction process determines an adjunction between two subcategories of the category SO2 of the second order ordered systems. The proposed methodology was shown to be particularly interesting when constructing the sets of real numbers and real intervals. For these systems, an elementary measure structure was introduced in a generalised approach, defining generalised distance, diameter and absolute value functions. The bi-structured coherence spaces were given an interrelated two-level topological characterisation. In order to obtain an information topological characterisation the concept of linear neighbourhood systems was introduced. For the application topological characterisation, at each step of the construction, a neighbourhood system generated by the generalised distance function, with an associated topology, was defined. A brief analysis concerning the connections among other representations of real and real intervals and computability aspects is presented. Other possible applications in Computer Science are indicated.

In this thesis we investigate, experimentally and theoretically, many classical and quantum coherence effects of the light. Initially we investigate the interference patterns formation by nonlocal double slit using classical light sources and comparing the results with those using a twin photos light source generated by Spontaneous Parametric Down Conversion (SPDC). We demonstrate that the classical correlation in wave vectors, in beam splitter outs, is a sufficient condition to the interference pattern to exist. In this work we also investigate experimentally the influence of polarized nonlocal double slit and local double slit. Here is present a alternative Fano based interpretation to explain the reason why the polarization of correlated beam has not influence on pattern fringes. We presented also an investigation about the light source parameters influence on the ghost interference interference. We demonstrate experimentally the relationship between, the coherence and source size, and fringes visibility. We extended the concept of complementarity related to coherence and correlation using the changes of the reference beam coherence and observing it’s influence on the interference patterns of the local double slit. In near-field limit, we investigate the existence of conditionality in the wave vector limited by the aperture of objects placed on the classically correlated beams paths. We demonstrate that is possible to find conditionality between the light emitted through the slits apertures. All these experiments performed using the Brown Twiss intensity interferometer (HBT) served to investigate the difference between the transversal effects with quantum and classical incoherent light. Finally, we demonstrate the first experimental measurement demonstrating the polarization changes on the partially coherent light propagation induced by the coherence source changes. This phenomenom was investigated for the free space propagation and for a nonlinear medium modeled by a Kerr medium. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta tese investigamos, experimentalmente e teoricamente, diversos efeitos clássicos e quânticos da coerência da luz. Inicialmente investigamos a formação do padrão de interferência por uma fenda dupla não local utilizando fontes clássicas de luz e comparando com os resultados obtidos usando fótons gêmeos gerados na Conversão Paramétrica Espontânea Descendente (CPED). Nós demonstramos que uma correlação clássica nos vetores de onda, nas saídas de um divisor de feixes, é uma condição suficiente para a existência do padrão de interferência. Neste trabalho nós também investigamos experimentalmente a influência da polarização na fenda não local e na fenda dupla local. Apresentamos uma interpretação alternativa, baseada na interpretação de Fano para o experimento de Hanbury-Brown e Twiss, explicando porque as polarizações dos feixes não influenciam na visibilidade das franjas de interferência. Ainda apresentamos, uma investigação sobre a influência do grau de coerência e o tamanho da fonte sobre as franjas de interferência fantasma. Demonstramos experimentalmente a relação entre coerência e tamanho da fonte na visibilidade das franjas. Estendemos o conceito de complementaridade relacionando coerência e correlação, mostrando que a mudança do grau de coerência do feixe de referência influencia nos padrões de interferência da fenda local. No limite de campo próximo investigamos a existência da condicionalidade nos vetores de onda limitados pela abertura dos objetos colocados no caminho dos feixes de luz classicamente correlacionados. Demonstramos a possibilidade de encontrar a condicionalidade entre a luz emitida pelas aberturas das fendas.Todos os experimentos realizados utilizando o interferômetro de intensidades de Browne Twiss (HBT) serviram para investigar a diferença entre os efeitos transversais com luz clássica e luz quântica. Finalmente, apresentamos a primeira medida experimental demonstrando a mudança da polarização na propagação da luz parcialmente coerente induzida por meio da mudança da coerência da fonte. Este fenômeno foi investigado para a propagação no ar livre e em um meio não linear aproximado por tipo Kerr.

Redes de computadores estão sob constante ameaça, ainda mais quando conectadas à Internet. Para reduzir o risco, dispositivos de segurança como o filtro de pacotes são usados. Uma primeira camada de segurança, o filtro de pacotes é responsável pelo bloqueio do tráfego indesejado em posições chave da rede. Os pacotes que devem ser permitidos ou bloqueados pelo filtro são definidos através de um conjunto de regras programadas pelo administrador da rede. Essas regras tem duas partes: a seleção e a ação. Conforme cresce a rede e o número de serviços, a quantidade de regras tende a aumentar. Passado certo limite, a complexidade de manter uma quantidade grande de regras se torna um fardo para o administrador. Isso aumenta a probabilidade de enganos que podem prejudicar a segurança da rede. Este trabalho desenvolve o conceito de “anomalia”, cada qual representa um problema em potencial, uma contradição ou uma regra supérflua dentro do conjunto de regras; ou seja, cada anomalia alerta o administrador da rede para determinada situação. Há 7 tipos de anomalias, que podem ser divididos em dois grupos: anomalias de filtro único e anomalias em rede. As anomalias de filtro único alertam o administrador sobre regras que se contradizem (“bloqueio”) ou que não possuem efeito no filtro (“invisibilidade” e “redundância”). As anomalias em rede, por sua vez, alertam o administrador sobre filtros que se contradizem (“discordância”), filtros que bloqueiam tráfego desejado (“bloqueio”), regras que não se aplicam a nenhum pacote que passe pelo filtro onde estão (“irrelevância”) e roteadores que permitem a passagem de tráfego indesejado (“vazamento”). Cada um desses tipos de anomalia é definido formalmente e apresentado junto com um algoritmo que a encontra. As anomalias e seus algoritmos foram usados para implementar uma ferramenta, o Packet Filter Checker (PFC), que lê as regras e a descrição da topologia da rede e cria um relatório com todas as anomalias presentes. Este trabalho apresenta um caso de uso fictício que é analisado e corrigido com base nos resultados apresentados pela ferramenta. O caso de uso é apresentado em diversas iterações, cada uma representando alterações nos requisitos da rede. Este caso mostra a ferramenta e os conceitos no contexto-alvo: na ajuda ao administrador da rede. / Computer networks are under constant threat, even more when connected to the Internet. To decrease the risk of invasions and downtime, security devices such as the packet filter are deployed. As a first layer of security, the packet filter is responsible for blocking out unwanted traffic at key network locations. The packets dropped or forwarded by the filter are defined by a set of rules programmed by the network administrator. These rules are in the form of guarded commands, each with a condition and a decision section. As the number of services and networks grow, the number of rules tend to grow as well. Beyond a certain threshold, the complexity of maintaining such a large and distributed set of rules becomes a burden for the network administrator. Mistakes can be easily made, compromising security. This work develops the concept of “anomaly”, each representing a potential problem, a contradiction or a superfluous rule in the rule set; i.e. a warning to the system administrator. There are 7 types of anomalies divided in two groups: single filter anomalies and networked anomalies. The single-filter anomalies warns the administrator about rules that contradict one another (the “conflict” anomaly) or have no effect (“invisibility” and “redundancy”) in the analysed filter. The networked anomalies, on the other hand, analyse the filters in the context of the network topology and warn the administrator about filters that contradict one another (“disagreement”), filters that block desired traffic (“blocking”), rules that have no effect on the given network topology (“irrelevancy”) and routers that are enabling unwanted traffic (“leaking”). Each type of anomaly is formally defined along with its algorithm. The developed concepts were used to implement a tool — the Packet Filter Checker (PFC) — that reads a description of the rules and network topology in a simple custom language and reports all anomalies present. This tool is used to analyse and fix a fictional user case in several iterations of changing requirements. This shows the tool and the anomalies in the target context: where they help the network administrator.

The primary objectives of this study were to determine the relationship between the wellness constructs coping and SoC as well as the relationship between the wellness constructs LoC and SoC in the petrochemical industry in South Africa. The sample of 184 participants completed three different psychological concepts namely COPE (Hereinafter referred to as coping), Locus of Control Inventory and Sense of Coherence Scale. The results of the study indicate that there is a statistically significant relationship between the variables coping ad Soc as well SoC and LoC but no statistically significant relationship between the variables coping and LoC. / Business Management / M. Com. (Business Management)