Based on our experience of working with different C++ front ends, this thesis identifies numerous problems that complicate the analysis of C++ programs along the entire spectrum of analysis applications. We utilize library, language, and tool extensions to address these problems and offer solutions to many of them. In particular, we present efficient, expressive and non-intrusive means of dealing with abstract syntax trees of a program, which together render the visitor design pattern obsolete. We further extend C++ with open multi-methods to deal with the broader expression problem. Finally, we offer two techniques, one based on refining the type system of a language and the other on abstract interpretation, both of which allow developers to statically ensure or verify various run-time properties of their programs without having to deal with the full language semantics or even the abstract syntax tree of a program. Together, the solutions presented in this thesis make ensuring properties of interest about C++ programs available to average language users.

Abstract Emergency medical services (EMS) are designed to provide prompt response, on-scene treatment and transport for definitive care in patients with acute illness or injury. In recent years, the growing number of missions for non-urgent matters has challenged emergency care to design risk assessment protocols and tools to support decision-making and resource management at both dispatch and on-scene. The present study was designed to examine the efficacy of a criteria based dispatch protocol and National Early Warning Score (NEWS) in the Finnish EMS system. In addition, the aim of the research was to obtain data on patient allocation and mortality in the Northern Finnish population. The study data included 13,354 EMS missions from a six-month cohort (1.1.2014 - 30.6.2014) of prehospital emergency patients in two hospital districts – Kainuu and Länsi-Pohja – in Northern Finland, using a retrospective, observational design. Prehospital data including patient clinical physiological variables were combined with the national Finnish registries (Care Registry for Health Care, Intensive Care Consortium Database and Cause of Death Registry) in order to examine risk assessment in EMS and prehospital patient outcomes. Based on the result, the risk assessment at the dispatch was correct in 67.5% of the cases and four out of ten EMS missions did not lead to transportation by an ambulance. The use of the Finnish dispatch protocol resulted in an overall rate of 23% of over-triage and a 9% rate of under-triage. The highest NEWS category showed a good sensitivity for 1-day mortality but failed to adequately discriminate patients in need of intensive care or who died within 30-days in a large, unselected, typical EMS population. In conclusion, the criteria based dispatch protocol resulted in over-triage of a quarter of missions and in a significant rate of EMS missions without ambulance transportation. In addition, the predictive value of prehospital NEWS regarding the patient´s risk of death and need for intensive care was low. / Tiivistelmä Ensihoitopalvelu on suunniteltu tarjoamaan nopeaa vastetta, paikalla tapahtuvaa hoitoa ja kuljetusta lopulliseen hoitopaikkaan potilaille, joilla on akuutti sairaus tai vamma. Viime vuosien lisääntyneet yhteydenotot ei-kiireellisissä asioissa on johtanut riskinarviotyökalujen kehittämiseen tukemaan päätöksentekoa ja resurssienhallintaa hätäpuhelun aikana ja tapahtumapaikalla. Tässä tutkimuksessa tarkasteltiin kriteeripohjaista hätäpuhelun käsittelyä sekä varhaisen varoituspistejärjestelmän (NEWS) tehokkuutta suomalaisessa ensihoitojärjestelmässä. Lisäksi tutkimuksen tavoitteena oli saada tietoa ensihoitopotilaiden hoitotuloksista ja kuolleisuudesta Pohjois-Suomessa. Tutkimukseen sisältyi 13 354 ensihoitotehtävää kuuden kuukauden kohortista (1.1.2014 – 30.6.2014) kahden sairaanhoitopiirin alueelta – Kainuu ja Länsi-Pohja – Pohjois-Suomessa käyttämällä retrospektiivistä havainnoivaa tutkimusmenetelmää. Ensihoidon aikana kerätty tieto, mukaan lukien potilaan kliiniset fysiologiset arvot, yhdistettiin kansallisiin rekistereihin (hoitoilmoitusrekisteri, tehohoitokonsortion laatutietokanta sekä kuolinsyyrekisteri) jotta ensihoitopotilaiden riskinarviota ja hoitotuloksia voitiin tutkia. Tutkimustulosten mukaan 67.5 prosentissa tapauksista riskinarvio hätäkeskuksessa oli oikea ja neljä kymmenestä ensihoitotehtävästä ei johtanut kuljetukseen ambulanssilla. Suomalaisen hälytysprotokollan käyttö johti yliarviointiin 23 prosentissa tapauksista ja aliarviointiin 9 prosentissa tapauksista. Korkeariskin NEWS-luokan herkkyys 1-päivän kuolleisuudelle oli hyvä, mutta se ei kyennyt erottelemaan riittävän hyvin potilaita, jotka tarvitsivat tehohoitoa tai kuolivat 30 päivän sisällä suuressa ei-valikoidussa tyypillisessä ensihoitopotilasväestössä. Yhteenvetona todettiin, että kriteeripohjaisen riskinarvion käyttö johti yliarvioon neljänneksestä tapauksista sekä huomattavaan ensihoitotehtävämäärään ilman ambulanssikuljetusta. Lisäksi ensihoidon aikana käytetyn varhaisen varoituspistejärjestelmän ennusteellinen arvo potilaan kuolemanriskin ja tehohoidon tarpeeseen oli matala.

Atualmente, a geração eólica é a forma de geração de energia elétrica de maior crescimento no mundo. Não obstante, dependendo da forma em que é gerenciado este tipo de geração, pode causar impactos significativos no sistema de energia elétrica. Este trabalho estuda o comportamento da geração eólica nos sistemas de potência do ponto de vista dos aerogeradores e dos parques eólicos. É realizada uma modelagem dos principais componentes dos sistemas de geração eólica, particularmente dos aerogeradores de velocidade variável equipados com geradores de indução de dupla alimentação, com o intuito de aplicar estratégias de controle para a operação dos mesmos e estudar as suas características de funcionamento. São propostos métodos para a regulação da potência ativa gerada por estes aerogeradores e para a regulação da potência ativa gerada por parques eólicos compostos por vários aerogeradores de velocidade variável, com o objetivo de permitir um maior índice de penetração da geração eólica nos sistemas de energia elétrica. Usando a modelagem elaborada, são efetuadas rigorosas simulações computacionais do comportamento destas instalações eólicas funcionando com os métodos de regulação propostos. Os resultados obtidos nestas simulações mostram que o impacto da geração eólica pode ser consideravelmente diminuído, logrando atribuições semelhantes aos produtores de energia convencionais. Observa-se que estes métodos permitiriam flexibilizar a operação dos sistemas de geração eólica, possibilitando gerenciamentos mais adequados aos novos requerimentos exigidos pelos operadores dos sistemas de energia. / Nowadays, the wind power generation is the fastest growing electric power source in the world. Nevertheless, depending on the management of this kind of generation, it may cause significant impact in the power system. In this work, a modeling of the main components of wind power generation was performed, particularly of variable speed wind turbines with doubly fed induction generators, aiming to apply control strategies for its operation and to study its functional characteristics. Methods to regulate the active power generated by variable speed wind turbines, and to regulate the active power of wind farms composed of several of this turbines, are proposed with the objective to allow an increase in the level of penetration of wind generation in the power systems. Using the elaborated modeling, rigorous computational simulations of operation of these types of power stations, operating with the proposed methods, were accomplished. The obtained results in these simulations shows that it is possible to considerably minimize the wind power generation impacts, obtaining attributions similarly to conventional energy producers. It is observed that the proposed methods allows an operational flexibility of wind power generation, enabling a better management according to the new requirement of the power system operators.

abstract: The flexibility in power system networks is not fully modeled in existing real-time contingency analysis (RTCA) and real-time security-constrained economic dispatch (RT SCED) applications. Thus, corrective transmission switching (CTS) is proposed in this dissertation to enable RTCA and RT SCED to take advantage of the flexibility in the transmission system in a practical way. RTCA is first conducted to identify critical contingencies that may cause violations. Then, for each critical contingency, CTS is performed to determine the beneficial switching actions that can reduce post-contingency violations. To reduce computational burden, fast heuristic algorithms are proposed to generate candidate switching lists. Numerical simulations performed on three large-scale realistic power systems (TVA, ERCOT, and PJM) demonstrate that CTS can significantly reduce post-contingency violations. Parallel computing can further reduce the solution time. RT SCED is to eliminate the actual overloads and potential post-contingency overloads identified by RTCA. Procedure-A, which is consistent with existing industry practices, is proposed to connect RTCA and RT SCED. As CTS can reduce post-contingency violations, higher branch limits, referred to as pseudo limits, may be available for some contingency-case network constraints. Thus, Procedure-B is proposed to take advantage of the reliability benefits provided by CTS. With the proposed Procedure-B, CTS can be modeled in RT SCED implicitly through the proposed pseudo limits for contingency-case network constraints, which requires no change to existing RT SCED tools. Numerical simulations demonstrate that the proposed Procedure-A can effectively eliminate the flow violations reported by RTCA and that the proposed Procedure-B can reduce most of the congestion cost with consideration of CTS. The system status may be inaccurately estimated due to false data injection (FDI) cyber-attacks, which may mislead operators to adjust the system improperly and cause network violations. Thus, a two-stage FDI detection (FDID) approach, along with several metrics and an alert system, is proposed in this dissertation to detect FDI attacks. The first stage is to determine whether the system is under attack and the second stage would identify the target branch. Numerical simulations demonstrate the effectiveness of the proposed two-stage FDID approach. / Dissertation/Thesis / Doctoral Dissertation Electrical Engineering 2017

The goal of this thesis was to analyze processes of the Emergency Medical Dispatch Center of the Emergency Medical Service of the Pilsen Region (ZOS ZZS Pk) when dealing with a mass casualty incident. The theoretical part of the thesis provides basic information relevant to the Pilsen Region, the Emergency Medical Service of the Pilsen Region, basic information on operations and general work processes of an emergency medical dispatch center during a normal work regime, and specific activities performed when dealing with a mass casualty incident. The research part of this thesis analyses activities and processes of an emergency medical dispatch center as described in the Mutual Mission Types Manual for Integrated Rescue System forces while at a mutual incident - Activities of Integrated Rescue System Forces at a Mass Casualty Incident (STČ 09/IZS). Further on the thesis evaluates activities of the ZOS ZZS Pk taken while dealing with two mass casualty incidents. These were a bus accident nearby Rokycany town in 2013 and a two trains collision nearby Horažďovice town in 2015. In order to make the analysis of readiness of the ZOS ZZS Pk to deal with mass casualty incidents more complex, SWOT analysis was added to the results. Based on the results of the STČ 09/IZS-manual analysis and of the SWOT analysis, suggestions for new manuals were made, that should make all the actions taken by employees of the ZOS ZZS Pk while dealing with a mass casualty incident more efficient and more effective. The goal of this thesis: to analyze activities of the ZOS ZZS Pk while dealing with a mass casualty incident, and to create suggestions of which inadequacies to remove and how to make operations of the ZOS ZZS Pk more efficient and more effective when dealing with mass casualty incidents; has therefore been fulfilled. The main outcome of the thesis are the final recommendations for making operations of the ZOS ZZS Pk more efficient and more effective when dealing with a mass casualty incident.

Atualmente, a geração eólica é a forma de geração de energia elétrica de maior crescimento no mundo. Não obstante, dependendo da forma em que é gerenciado este tipo de geração, pode causar impactos significativos no sistema de energia elétrica. Este trabalho estuda o comportamento da geração eólica nos sistemas de potência do ponto de vista dos aerogeradores e dos parques eólicos. É realizada uma modelagem dos principais componentes dos sistemas de geração eólica, particularmente dos aerogeradores de velocidade variável equipados com geradores de indução de dupla alimentação, com o intuito de aplicar estratégias de controle para a operação dos mesmos e estudar as suas características de funcionamento. São propostos métodos para a regulação da potência ativa gerada por estes aerogeradores e para a regulação da potência ativa gerada por parques eólicos compostos por vários aerogeradores de velocidade variável, com o objetivo de permitir um maior índice de penetração da geração eólica nos sistemas de energia elétrica. Usando a modelagem elaborada, são efetuadas rigorosas simulações computacionais do comportamento destas instalações eólicas funcionando com os métodos de regulação propostos. Os resultados obtidos nestas simulações mostram que o impacto da geração eólica pode ser consideravelmente diminuído, logrando atribuições semelhantes aos produtores de energia convencionais. Observa-se que estes métodos permitiriam flexibilizar a operação dos sistemas de geração eólica, possibilitando gerenciamentos mais adequados aos novos requerimentos exigidos pelos operadores dos sistemas de energia. / Nowadays, the wind power generation is the fastest growing electric power source in the world. Nevertheless, depending on the management of this kind of generation, it may cause significant impact in the power system. In this work, a modeling of the main components of wind power generation was performed, particularly of variable speed wind turbines with doubly fed induction generators, aiming to apply control strategies for its operation and to study its functional characteristics. Methods to regulate the active power generated by variable speed wind turbines, and to regulate the active power of wind farms composed of several of this turbines, are proposed with the objective to allow an increase in the level of penetration of wind generation in the power systems. Using the elaborated modeling, rigorous computational simulations of operation of these types of power stations, operating with the proposed methods, were accomplished. The obtained results in these simulations shows that it is possible to considerably minimize the wind power generation impacts, obtaining attributions similarly to conventional energy producers. It is observed that the proposed methods allows an operational flexibility of wind power generation, enabling a better management according to the new requirement of the power system operators.

Neste trabalho realizamos um estudo do Despacho de Potência Ativa AC, o qual é uma estratégia de alocação da geração de potência entre as usinas de um sistema. Para isto, obtivemos dados teóricos, a partir de levantamento bibliográfico, que explicitaram os conceitos de Despacho Ativo. Fundamentamos, metodologicamente, nossa pesquisa no Método da Função Lagrangeana Aumentada. O sistema de equações resultantes das condições de otimalidade foram resolvidos pelo Método de Newton Modificado. Apresentamos os resultados de estudos de casos acadêmicos para a validação e verificação da eficiência da abordagem proposta. Os resultados indicaram uma coerência com as perspectivas reais de contribuição na resolução do Despacho Ótimo de Potência Ativa AC. / In this work we accomplished a study of the AC Active Power Dispatch, which is a strategy of distribution of the power generation among the plants of a system. For this, we obtained theoretical data, starting from bibliographical investigation, that elucidated the concepts of Active Dispatch. We based our research in the Method of the Augmented Lagrangian Function. The equation system originated of the optimal conditions was solved for Modified Newton\'s Method. We presented the results of studies of academic cases for the validation and verification of the efficiency of the proposal approach. The results indicated a coherence with the real perspectives of contribution in the resolution of the AC Active Optimal Power Dispatch.

Atualmente, a geração eólica é a forma de geração de energia elétrica de maior crescimento no mundo. Não obstante, dependendo da forma em que é gerenciado este tipo de geração, pode causar impactos significativos no sistema de energia elétrica. Este trabalho estuda o comportamento da geração eólica nos sistemas de potência do ponto de vista dos aerogeradores e dos parques eólicos. É realizada uma modelagem dos principais componentes dos sistemas de geração eólica, particularmente dos aerogeradores de velocidade variável equipados com geradores de indução de dupla alimentação, com o intuito de aplicar estratégias de controle para a operação dos mesmos e estudar as suas características de funcionamento. São propostos métodos para a regulação da potência ativa gerada por estes aerogeradores e para a regulação da potência ativa gerada por parques eólicos compostos por vários aerogeradores de velocidade variável, com o objetivo de permitir um maior índice de penetração da geração eólica nos sistemas de energia elétrica. Usando a modelagem elaborada, são efetuadas rigorosas simulações computacionais do comportamento destas instalações eólicas funcionando com os métodos de regulação propostos. Os resultados obtidos nestas simulações mostram que o impacto da geração eólica pode ser consideravelmente diminuído, logrando atribuições semelhantes aos produtores de energia convencionais. Observa-se que estes métodos permitiriam flexibilizar a operação dos sistemas de geração eólica, possibilitando gerenciamentos mais adequados aos novos requerimentos exigidos pelos operadores dos sistemas de energia. / Nowadays, the wind power generation is the fastest growing electric power source in the world. Nevertheless, depending on the management of this kind of generation, it may cause significant impact in the power system. In this work, a modeling of the main components of wind power generation was performed, particularly of variable speed wind turbines with doubly fed induction generators, aiming to apply control strategies for its operation and to study its functional characteristics. Methods to regulate the active power generated by variable speed wind turbines, and to regulate the active power of wind farms composed of several of this turbines, are proposed with the objective to allow an increase in the level of penetration of wind generation in the power systems. Using the elaborated modeling, rigorous computational simulations of operation of these types of power stations, operating with the proposed methods, were accomplished. The obtained results in these simulations shows that it is possible to considerably minimize the wind power generation impacts, obtaining attributions similarly to conventional energy producers. It is observed that the proposed methods allows an operational flexibility of wind power generation, enabling a better management according to the new requirement of the power system operators.

Orientador: Takaaki Ohishi / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-07T05:54:02Z (GMT). No. of bitstreams: 1 Mello_OdersonDiasde_D.pdf: 1392271 bytes, checksum: 4a25b0e50f13f9b1cc3f51c1bbf51592 (MD5) Previous issue date: 2006 / Resumo: Esta tese apresenta um modelo de despacho para usinas termelétricas a gás natural considerando a produção e o transporte de gás. O modelo proposto associa a operação do sistema de geração termelétrica com a operação da rede de gasodutos. A metodologia utilizada para obter a solução foi aplicada a um exemplo com seis usinas termelétricas supridas por uma rede de gás natural. O modelo apresentado integra eficientemente a operação das usinas termelétricas com a operação do sistema de gasodutos / Abstract: This thesis presents a dispatch model for natural gas power plants considering the production and transmission of gas. The proposed model put together the operation of the power plant system with the operation of the natural gas pipeline network. The proposed approach was applied to an example of six power plants supplied by a gas system. The proposed approach integrates the operation of power plants with the operation of natural gas transmission system / Doutorado / Energia Eletrica / Doutor em Engenharia Elétrica

Orientadores: Carlos Alberto de Castro Junior, Alexandre de Assis Mota / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-11T20:26:47Z (GMT). No. of bitstreams: 1 AriaArias_David_M.pdf: 982619 bytes, checksum: 902edfe03a42ce4e64a22f698a4267cf (MD5) Previous issue date: 2008 / Resumo: O presente trabalho apresenta um modelo para o planejamento da operação de sistemas de potência visando maximizar a margem de estabilidade de tensão ao mesmo tempo em que minimizam-se os custos da produção da energia (despacho econômico). O objetivo é obter uma solução para o planejamento da operação da rede que leve em conta não só aspectos técnicos, mas também econômicos. Para que esse objetivo possa ser atingido, esse problema é formulado como um problema da programação bilevel (BLPP) ou em dois níveis. O modelo bilevel permite definir funções objetivo distintas para maximizar a margem da estabilidade de tensão e, ao mesmo tempo, conseguir um despacho econômico ótimo, permitindo a imposição de diferentes restrições para as variáveis internas e externas do problema. Uma vez que o BLPP apresenta-se como um problema matemático complexo, ele é reduzido a um problema de otimização de um só nível (single-level), substituindo-se o problema de otimização interno pelas condições de ótimalidade de Karush-Kuhn-Tucker (KKT). Foram realizados testes e simulações em diferentes sistemas elétricos, sendo que os resultados obtidos atestam a validade da metodologia proposta. Além disso, a formulação e o método de solução do BLPP apresentados neste trabalho são mais simples que outros encontrados na literatura, tornando essa metodologia bastante flexível para a utilização e investigação de outras funções objetivo, variáveis e parâmetros de controle. / Abstract: This work presents a model for power systems operation planning that aims to maximize the voltage stability margin and also the economic dispatch. The objective is to obtain a solution for the network operation planning that takes into account both technical and economical aspects. In order to reach this goal, this problem is formulated as a bilevel programming problem (BLPP). The bilevel model allows to define distinct objective functions for maximizing the voltage stability margin looking, simultaneously, for an optimum economic dispatch, and permitting the imposition of different constraints to the variables of the inner and outer problems. Since the BLPP is a complex mathematical problem, it is reduced to a single-level optimization problem by replacing the inner optimization problem by its Karush-Kuhn-Tucker optimality conditions. Simulations and tests were carried out for different electric networks, and the results show that the proposed methodology is valid. Moreover, the BLPP formulation and its solution method are simpler than other formulations found in the literature, making the methodology very flexible to accommodate other objective functions, variables and control parameters. / Mestrado / Energia Eletrica / Mestre em Engenharia Elétrica