Un déséquilibre dans les mécanismes de défense de la cornée peut entraîner une invasion par des micro-organismes (MO) et générer une kératite infectieuse (KI), ou encore un syndrome sec. Les KI sont la première cause de cécité monoculaire. Le syndrome sec, également fréquent, est sujet à de nombreuses études cliniques pour l’évaluation de nouveaux traitements. L’objectif de cette thèse est de mettre au point des méthodes d’imagerie pour le diagnostic et le suivi des pathologies de la surface oculaire au travers de deux projets innovants : 1/ le projet FLUOCOR consistant à développer une solution complète de diagnostic rapide in vivo des MO les plus souvent responsables des KI afin de débuter immédiatement le traitement adapté et améliorer le pronostic visuel final. Cette solution comprendra des BioMarqueurs fluorescents (BMfs) spécifiques des agents infectieux, fluorescents dans le rouge ou le proche infrarouge non éblouissant et un nouvel instrument optique de détection. Des BMfs basés sur le couplage de BODIPY innovant avec des molécules ciblant les MO ont été obtenus. Des tests in vitro ont montré une bonne spécificité mais les tests ex vivo sur cornées humaines ont montré une fixation non spécifique sur les cellules épithéliales. Pour pallier ce manque de spécificité, le couplage de ces BODIPY sur des anticorps dirigés contre les MO est en cours. 2/ le projet FLUOSCOPE qui a permis de développer une nouvelle stratégie d’imagerie de la surface oculaire pour le suivi du syndrome sec, de la méthode d’instillation des colorants jusqu’au traitement d’images, en passant par la conception d’un instrument optique désormais industrialisé par les laboratoires Théa. / An imbalance in the defence system of cornea can result in several diseases, like infectious keratitis (IK) in case of invasion by microorganisms (MO) or dry eye in case of insufficient tear quality and/or quality. IK are the first cause of unilateral blindness worldwide. Sicca syndrome, also frequent, is the subject of numerous clinical trials assessing new treatments. The aim of the PhD Thesis work is to develop new imaging methods for the diagnosis and follow-up of diseases of the ocular surface. Two innovative project were conducted: 1/ the FLUOCOR project consists in developing a complete solution of rapid in vivo etiologic diagnosis of IK, for the most frequent and/or severe infections to allow rapid starting of the most adapted treatment in order to improve the final visual prognosis. This solution will comprise fluorescent biomarkers (excitable by sustainable non blinding red or near infrared lights) specific to the target MO, and a new optical imaging device for their detection. Biomarkers based on new BODIPY coupled with molecules targeting the MO were obtained with a good in vitro specificity. Nevertheless, on ex vivo human corneas they stained superficial epithelial cells. In order to overcome this difficulty, the coupling of BODIPY on specific antibodies targeting the MO is ongoing; 2/ the FLUOSCOPE project that allowed development of a new strategy of ocular surface imaging for the diagnosis and follow up of sicca syndrome. The complete chain was revisited from the instillation of the dye to the objective quantification of staining by image analysis, through the development of a prototype of imaging device, now industrialized by les Laboratoires Thea.

This thesis investigates the exact minimisation of treatment delivery time for Intensity Modulated Radiation Therapy (IMRT) for the treatment of cancer using Multileaf Collimators (MLC). Although patients are required to remain stationary during the delivery of IMRT, inevitably some patient movement will occur, particularly if treatment times are longer than necessary. Therefore minimising the treatment delivery time of IMRT may result in less patient movement, less inaccuracy in the dosage received and a potentially improved outcome for the patient. When IMRT is delivered using multileaf collimators in 'step and shoot' mode, it consists of a sequence of multileaf collimator configurations, or shape matrices; for each, time is needed to set up the configuration, and in addition the patient is exposed to radiation for a specified time, or beam-on time. The 'step and shoot leaf sequencing' problems for minimising treatment time considered in this thesis are the constant set-up time Total Treatment Time (TTT) problem and the Beam-on Time Constrained Minimum Cardinality (BTCMC) problem. The TTT problem minimises a weighted sum of total beam-on time and total number of shape matrices used, whereas the BTCMC problem lexicographically minimises the total beam-on time then the number of shape matrices used in a solution. The vast majority of approaches to these strongly NP-hard problems are heuristics; of the few exact approaches, the formulations either have excessive computation times or their solution methods do not easily incorporate multileaf collimator mechanical constraints (which are present in most currently used MLC systems). In this thesis, new exact mixed integer and integer programming formulations for solving the TTT and BTCMC problems are developed. The models and solution methods considered can be applied to the unconstrained and constrained versions of the problems, where 'constrained' refers to the modelling of additional MLC mechanical constraints. Within the context of integer programming formulations, new and existing methods for improving the computational efficiency of the models presented are investigated. Numerical results for all variations considered are provided. This thesis demonstrates that significant computational improvement can be achieved for the exact mixed integer and integer programming models investigated, via solution approaches based on an idea of systematically 'stepping-up' through the number of shape matrices used in a formulation, via additional constraints (particularly symmetry breaking constraints) and via the application of improved bounds on variables. This thesis also makes a contribution to the wider field of integer programming through the examination of an interesting substructure of an exact integer programming model. In summary, this thesis presents a thorough analysis of possible integer programming models for the strongly NP-hard 'step and shoot' leaf sequencing problems and investigates and applies methods for improving the computational efficiency of such formulations. In this way, this thesis contributes to the field of leaf sequencing for the application of Intensity Modulated Radiation Therapy using Multileaf Collimators.

Desde seu lançamento, em 2002, a Norma IEC 61850 vem evoluindo para se tornar o padrão adotado nos Sistemas de Automação de Subestações. Dentre seus vários aspectos, destacam- se os serviços de tempo real, que permitem a implementação de funções de automação e de proteção dentro da subestação através da troca de mensagens específicas entre Dispositivos Eletrônicos Inteligentes através de um barramento digital de rede de dados. O objetivo central deste trabalho é explorar algumas das questões que envolvem a implementação de uma classe de serviços de tempo real: a transmissão de valores amostrados através de Serviços SMV, definidos pela Norma IEC 61850-9. Primeiramente, apresenta-se um breve resumo das principais características da Norma IEC 61850 que possibilitam o atendimento dos três requisitos por ela estabelecidos como base: a interoperabilidade entre dispositivos de diferentes fabricantes, a versatilidade na configuração e reconfiguração do Sistema de Automação da Subestação, e a possibilidade de implementação de novas tecnologias. Em seguida, explora-se com maior profundidade todos os aspectos relevantes à implementação dos Serviços SMV. Devido à complexidade deste assunto, o autor propõe abordá-lo sob a ótica de cinco tópicos interdependentes: variações da Norma IEC 61850-9, confiabilidade do barramento de processo, sincronismo de tempo, análise da qualidade da medição e segurança cibernética. Com base nos resultados apresentados neste estudo, propõem-se duas plataformas, um protótipo de Transformador de Potencial Óptico e um protótipo de Relé de Proteção Diferencial para transformadores de potência, com o objetivo de explorar alguns dos aspectos pertinentes à implementação de um barramento de processo de acordo com a Norma IEC 61850-9. Também foram realizados testes de geração e transmissão de mensagens contendo valores de amostras de tensão/corrente do sistema elétrico (denominadas de SV Messages) com a finalidade de implementá-las de fato e avaliar as ferramentas de mercado disponíveis. Por fim foi proposto um modelo para a simulação do sistema de potência em conjunto com a rede de comunicação utilizando o programa Matlab/Simulink. O autor espera que este trabalho contribua para esclarecer os vários conceitos envolvidos na implementação do barramento de processo definido pela Norma IEC 61850-9, auxiliando na pesquisa e no desenvolvimento de novas ferramentas e dispositivos, e no aprimoramento da Norma IEC 61850. / Since its introduction, in 2002, the IEC 61850 Standard has been evolved to become the standard adopted in Substation Automation Systems. Among its various aspects it can be highlighted the real-time services, which allows the implementation of automation and protection functions within the substation by exchanging specific messages between Intelligent Electronic Devices via a digital data bus network. The main objective of this text is to explore some issues about the implementation of one class of real-time services: the transmission of sampled values through SMV Services, defined by IEC 61850-9 Standard. First, it is presented a brief summary of the main features of IEC 61850 Standard which allows it to meet the three main requirements on this standard: interoperability between devices from different manufacturers, versatility in configuration and reconfiguration of Substation Automation System, and possibility of implementation of new technologies. Next, it is explored, with more details, all aspects involved in the implementation of SMV Services. Due to the complexity of this subject, the author proposes approaches it from the perspective of five interdependent topics: variations of IEC 61850-9 Standard, process bus reliability, time synchronism, analysis of measurement quality, and cyber security. Based on results presented two platforms are proposed, an Optical Voltage Transformer prototype and a Differential Protection Relay prototype for power transformers, in order to explore some of aspects related to the implementation of a process bus according to IEC 61850-9 Standard. It was executed also some tests of generation and transmission of messages containing samples values of voltage/current from power system (referred as SV Messages) in order to implement them in fact, and to evaluate available market tools. At the end it is propoused a model for simulation of power system and network communication using Matlab/Simulink software. The author hopes this work may contribute to clarify the various concepts involved in the implementation of a process bus according to IEC 61850-9 Standard, aiding in research and development of new tools and devices, and improvement of IEC 61850 Standard.

Desde seu lançamento, em 2002, a Norma IEC 61850 vem evoluindo para se tornar o padrão adotado nos Sistemas de Automação de Subestações. Dentre seus vários aspectos, destacam- se os serviços de tempo real, que permitem a implementação de funções de automação e de proteção dentro da subestação através da troca de mensagens específicas entre Dispositivos Eletrônicos Inteligentes através de um barramento digital de rede de dados. O objetivo central deste trabalho é explorar algumas das questões que envolvem a implementação de uma classe de serviços de tempo real: a transmissão de valores amostrados através de Serviços SMV, definidos pela Norma IEC 61850-9. Primeiramente, apresenta-se um breve resumo das principais características da Norma IEC 61850 que possibilitam o atendimento dos três requisitos por ela estabelecidos como base: a interoperabilidade entre dispositivos de diferentes fabricantes, a versatilidade na configuração e reconfiguração do Sistema de Automação da Subestação, e a possibilidade de implementação de novas tecnologias. Em seguida, explora-se com maior profundidade todos os aspectos relevantes à implementação dos Serviços SMV. Devido à complexidade deste assunto, o autor propõe abordá-lo sob a ótica de cinco tópicos interdependentes: variações da Norma IEC 61850-9, confiabilidade do barramento de processo, sincronismo de tempo, análise da qualidade da medição e segurança cibernética. Com base nos resultados apresentados neste estudo, propõem-se duas plataformas, um protótipo de Transformador de Potencial Óptico e um protótipo de Relé de Proteção Diferencial para transformadores de potência, com o objetivo de explorar alguns dos aspectos pertinentes à implementação de um barramento de processo de acordo com a Norma IEC 61850-9. Também foram realizados testes de geração e transmissão de mensagens contendo valores de amostras de tensão/corrente do sistema elétrico (denominadas de SV Messages) com a finalidade de implementá-las de fato e avaliar as ferramentas de mercado disponíveis. Por fim foi proposto um modelo para a simulação do sistema de potência em conjunto com a rede de comunicação utilizando o programa Matlab/Simulink. O autor espera que este trabalho contribua para esclarecer os vários conceitos envolvidos na implementação do barramento de processo definido pela Norma IEC 61850-9, auxiliando na pesquisa e no desenvolvimento de novas ferramentas e dispositivos, e no aprimoramento da Norma IEC 61850. / Since its introduction, in 2002, the IEC 61850 Standard has been evolved to become the standard adopted in Substation Automation Systems. Among its various aspects it can be highlighted the real-time services, which allows the implementation of automation and protection functions within the substation by exchanging specific messages between Intelligent Electronic Devices via a digital data bus network. The main objective of this text is to explore some issues about the implementation of one class of real-time services: the transmission of sampled values through SMV Services, defined by IEC 61850-9 Standard. First, it is presented a brief summary of the main features of IEC 61850 Standard which allows it to meet the three main requirements on this standard: interoperability between devices from different manufacturers, versatility in configuration and reconfiguration of Substation Automation System, and possibility of implementation of new technologies. Next, it is explored, with more details, all aspects involved in the implementation of SMV Services. Due to the complexity of this subject, the author proposes approaches it from the perspective of five interdependent topics: variations of IEC 61850-9 Standard, process bus reliability, time synchronism, analysis of measurement quality, and cyber security. Based on results presented two platforms are proposed, an Optical Voltage Transformer prototype and a Differential Protection Relay prototype for power transformers, in order to explore some of aspects related to the implementation of a process bus according to IEC 61850-9 Standard. It was executed also some tests of generation and transmission of messages containing samples values of voltage/current from power system (referred as SV Messages) in order to implement them in fact, and to evaluate available market tools. At the end it is propoused a model for simulation of power system and network communication using Matlab/Simulink software. The author hopes this work may contribute to clarify the various concepts involved in the implementation of a process bus according to IEC 61850-9 Standard, aiding in research and development of new tools and devices, and improvement of IEC 61850 Standard.