This dissertation contains an examination of the problem of reconfiguration for restoration in critical infrastructure systems, with regard for the prioritization of those systems and the relationships between them. The complexity of the reconfiguration problem is demonstrated, and previous efforts to present solutions to the problem are discussed. This work provides a number of methods by which reconfiguration for restoration of an arbitrary number of prioritized interdependent critical infrastructure systems can be achieved. A method of modeling systems called Graph Trace Analysis is used to enable generic operation on various system types, and a notation for writing algorithms with Graph Trace analysis models is presented. The algorithms described are compared with each other and with prior work when run on a model of actual electrical distribution systems. They operate in a greedy fashion, attempting to restore loads in decreasing priority order. The described algorithms are also run on example models to demonstrate the ability to reconfigure interdependent infrastructure systems and systems which do not operate radially. / Ph. D.

This work presents an alternative approach to power system computations, Graph Trace Analysis (GTA), and applies GTA to the power flow problem. A novel power flow algorithm is presented, where GTA traces are used to implement a modified Gauss-Seidel algorithm coupled with a continuation method. GTA is derived from the Generic Programming Paradigm of computer science. It uses topology iterators to move through components in a model and perform calculations. Two advantages that GTA brings are the separation of system equations from component equations and the ability to distribute calculations across processors. The implementation of KVL and KCL in GTA is described. The GTA based power flow algorithm is shown to solve IEEE standard transmission models, IEEE standard distribution models, and integrated transmission and distribution models (hybrid models) constructed from modifying IEEE standard models. The GTA power flow is shown to solve a set of robustness testing circuits, and solutions are compared with other power flow algorithms. This comparison illustrates convergence characteristics of different power flow algorithms in the presence of voltage stability concerns. It is also demonstrated that the GTA power flow solves integrated transmission and distribution system models. Advantages that GTA power flow bring are the ability to solve realistic, complex circuit models that pose problems to many traditional algorithms; the ability to solve circuits that are operating far from nominal conditions; and the ability to solve transmission and distribution networks together in the same model. / PHD

Solar PV-based distributed generation has increased significantly over the last few years, and the rapid growth is expected to continue in the foreseeable future. As the penetration levels of distributed generation increase, power systems will become increasingly decentralized with bi-directional flow of electricity between the transmission and distribution networks. To manage such decentralized power systems, planners and operators need models that accurately reflect the structure of, and interactions between the transmission and distribution networks. Moreover, algorithms that can simulate the steady state and dynamics of power systems using these models are also needed. In this context, integrated transmission and distribution system modeling and simulation has become an important research area in recent years, and the primary focus so far has been on studying the steady state response of power systems using integrated transmission and distribution system models. The primary objective of this dissertation is to develop an analysis approach and a program that can simulate the dynamics of three phase, integrated transmission and distribution system models, and use the program to demonstrate the advantages of evaluating the impact of solar PV-based distributed generation on power systems dynamics using such models. To realize this objective, a new dynamic simulation analysis approach is presented, the implementation of the approach in a program is discussed, and verification studies are presented to demonstrate the accuracy of the program. A new dynamic model for small solar PV-based distributed generation is also investigated. This model can interface with unbalanced networks and change its real power output according to the incident solar irradiation. Finally, application of the dynamic simulation program for evaluating the impact of solar PV units using an integrated transmission and distribution system model is discussed. The dissertation presents a new approach for studying the impact of solar PV-based distributed generation on power systems dynamics, and demonstrates that the solar PV impact studies performed using the program and integrated transmission and distribution system models provide insights about the dynamic response of power systems that cannot be obtained using traditional dynamic simulation approaches that rely on transmission only models. / Ph. D.

Since the advent of the computer in the late 1950s, scientists and engineers have pushed the limits of the computing power available to them to solve physical problems via computational simulations. Early computer languages evaluated program logic in a sequential manner, thereby forcing the designer to think of the problem solution in terms of a sequential process. Object-oriented analysis and design have introduced new concepts for solving systems of engineering problems. The term object-oriented was first introduced by Alan Kay [1] in the late 1960s; however, mainstream incorporation of object-oriented programming did not occur until the mid- to late 1990s. The principles and methods underlying object-oriented programming center around objects that communicate with one another and work together to model the physical system. Program functions and data are grouped together to represent the objects. This dissertation extends object-oriented modeling concepts to model algorithms in a generic manner for solving interconnected, multi-domain problems. This work is based on an extension of Graph Trace Analysis (GTA) which was originally developed in the 1990's for power distribution system design. Because of GTA's ability to combine and restructure analysis methodologies from a variety of problem domains, it is now being used for integrated power distribution and transmission system design, operations and control. Over the last few years research has begun to formalize GTA into a multidiscipline approach that uses generic algorithms and a common model-based analysis framework. This dissertation provides an overview of the concepts used in GTA, and then discusses the main problems and potential generic algorithm based solutions associated with design and control of interdependent reconfigurable systems. These include: • Decoupling analysis into distinct component and system level equations. • Using iterator based topology management and algorithms instead of matrices. • Using composition to implement polymorphism and simplify data management. • Using dependency components to structure analysis across different systems types. • Defining component level equations for power, gas and fluid systems in terms of across and though variables. This dissertation presents a methodology for solving interdependent, multi-domain networks with generic algorithms. The methodology enables modeling of very large systems and the solution of the systems can be accomplished without the need for matrix solvers. The solution technique incorporates a binary search algorithm for accelerating the solution of looped systems. Introduction of generic algorithms enables the system solver to be written such that it is independent of the system type. Example fluid and electrical systems are solved to illustrate the generic nature of the approach. / Ph. D.

Multi-threading is commonly applied in modern computer programs, bringing many conveniences but also causing concurrency issues. Among the various error debugging tools, Java Pathfinder (JPF) can detect latent errors of multithreaded Java programs through model checking. However, the text-based format of the output trace is hard to read, and previous attempts in visualizing JPF traces show limitations. For long-term development, popular trace analytic platform such as Trace Compass (TC) is extended to adapt to JPF traces. In this thesis, the development of JPF and TC makes it possible to analyze JPF traces on TC with a user interface including visual diagrams. The development solves the conceptual differences between the tools and successfully visualize important trace data. The implementation can help provide a generic approach for analyzing JPF traces with visualization. / Multitrådning används ofta i moderna datorprogram, vilket har många fördelar men kan också orsaka samtidighetsproblem. Bland olika felsökningsverktyg kan Java Pathfinder (JPF) upptäcka latenta fel hos multitrådade Javaprogram genom modellkontroll. Spårningsinformationen i form av text har låg läsbarhet, och tidigare försök att visualsera JPF-spår har visat begränsningar. För långsiktig utveckling har populära spårningsanalysplattformar som Trace Compass (TC) utvidgats för att anpassas till JPF-spår. I examensprojektet gör utvecklingen av JPF och TC det möjligt att analysera JPF-spår på TC med ett användargränssnitt baserat på visuella diagram. Utvecklingen löser den konceptuella skillnaden mellan verktygen och visualiserar spårdata på ett framgångsrikt sätt. Implementeringen bidrar med ett generiskt tillvägagångssätt för att analysera JPF spår med hjälp av visualisering.

No description available.

No description available.

Esta dissertação investiga o registro de conteúdo iônico do testemunho de gelo monte Johns (79°55'28"S; 94°23'18"O) obtido na Antártica Ocidental, contribuindo para o adensamento espacial de informações glacioquímicas empregadas em estudos paleoclimáticos. As concentrações de Na+ (16,6 ± 28,2 μg L-1), K+ (1,3 ± 3,7 μg L-1), Mg2+ (3,7 ± 3,7 μg L-1), Ca2+ (5,4 ± 3,4 μg L-1), Cl- (33,3 ± 43,7 μg L-1), SO42- (25,9 ± 17,7 μg L-1), NO3- (50,8 ± 18,5 μg L-1) e H3CSO3- (7,1 ± 5,4 μg L-1) foram determinadas por cromatografia iônica em 2.164 amostras para o período 1882–2008. A variabilidade sazonal de NO3- e, especialmente do nssSO42-, em antifase com Na+, possibilitou a datação pela contagem de ciclos anuais ao longo do período estudado. A identificação dos sinais vulcânicos do Krakatoa (1883), Agung (1963) e Pinatubo/Hudson (1991) foi usada para determinar horizontes de referência (datação absoluta). Eventos de aporte significativo de aerossóis foram identificados e agrupados considerando o conteúdo iônico, proveniência e estação do ano. A avaliação da proveniência dos íons e do balanço iônico mostra a origem da carga iônica: 36% é oriunda de aerossóis de sal marinho, 13% de poeira mineral, 17% de atividade biogênica marinha e 34% de produtos da reatividade química na atmosfera. É observada uma leve redução nas concentrações de Mg2+ (-0,04 μg L-1 ano-1) e K+ (-0,01 μg L-1 ano-1), e mais forte para NO3- (-0,17 μg L-1 ano-1), no período 1909–2008. A média anual da acumulação líquida de neve foi 0,21 ± 0,04 m eq. H2O no período 1882–2008 sem apresentar tendência significante. A acumulação mostra alta correspondência com dados anuais de reanálise climática, com coeficiente de correlação cruzada de +0,42 (α < 0,05) para o período 1979–2008. / This dissertation investigates the ionic content record of the mount Johns ice core (79°55'28"S; 94°23'18"W) recovered from the West Antarctica, contributing to the spatial densification of glaciochemical information used in paleoclimatic studies. The concentrations of Na+ (16.6 ± 28.2 μg L-1), K+ (1.3 ± 3.7 μg L-1), Mg2+ (3.7 ± 3.7 μg L-1), Ca2+ (5.4 ± 3.4 μg L-1), Cl- (33.3 ± 43.7 μg L-1), SO42- (25.9 ± 17.7 μg L-1), NO3- (50.8 ± 18.5 μg L-1) e H3CSO3- (7.1 ± 5.4 μg L-1) were determined by ion chromatography on 2,164 samples for the period 1882–2008. The NO3- seasonal variability and, especially, of the nssSO42- in antiphase with the Na+, allowed the counting of annual cycles over the studied period. The identification of Krakatau (1883), Agung (1963) and Pinatubo / Hudson (1991) volcanic signals was used to determine reference horizons (absolute dating). Significant aerosols events were identified and grouped considering the ionic content, provenance and season of the year. The evaluation of the ions provenance and of the ionic balance points to ionic content origin: 36% come from sea salt aerosols, 13% from mineral dust, 17% originate from marine biogenic activity and 34% are chemical reactivity products in the atmosphere. It is observed a slight reduction in the Mg2+ (-0.04 μg L-1 y-1) and K+ (-0.01 μg L-1 y-1) concentrations, and stronger in the NO3- (-0.17 μg L-1 y-1), during the 1909–2008 period. The annual mean net accumulation rate averaged 0.21 ± 0.04 m w.e. y-1 in the period 1882–2008 did not show any significant trend and shows high correspondence with climatic reanalysis data in years with data overlap, with a cross-correlation coefficient of +0.42 (α < 0.05) for the period 1979–2008.

Le déboggage des applications de streaming qui s'exécutent sur les systèmes embarqués multimédia est l'un des domaines les plus exigeants dans le développement de logiciel embarqué. Les nouvelles générations de materiel embarqué introduisent de nouvelles systèmes sur une puce, qui fait que les développeurs du logiciel doivent adapter leurs logiciels aux nouvelles platformes. Le logiciel embarqué doit non seulement fournir des résultats corrects mais aussi le faire en temps réel afin de respecter les propriétés de qualité de service (Quality-of-Service, QoS) du système. Lorsque les propriétés QoS ne sont pas respectées, des bugs temporels font leur apparition. Ces bugs se manifestent comme, par exemple, des glitches dans le flux vidéo ou des craquements dans le flux audio. Le déboggage temporel est en général difficile à effectuer car les bugs temporels n'ont pas souvent de rapport avec l'exactitude fonctionnelle du code des applications, ce qui rend les outils de débogage traditionels, comme GDB, peu utiles. Le non-respect des propriétés QoS peut provenir des interactions entre les applications, ou entre les applications et les processus systèmes. Par conséquent, le contexte d'exécution entier doit être pris en compte pour le déboggage temporel. Les avancements récents en collecte des traces d'exécution permettent aux développeurs de recueillir des traces et de les analyser après la fin d'exécution pour comprendre quelle activité système est responsable des bugs temporels. Cependant, les traces d'exécution ont une taille conséquente, ce qui demande aux devéloppeurs des connaissainces en analyse de données qu'ils n’ont souvent pas.Dans cette thèse, nous proposons SATM - une approche novatrice pour le déboggage temporel des applications de streaming. SATM repose sur la prémisse que les applications sont conçues avec le modèle dataflow, i.e. peuvent être représentées comme un graphe orienté où les données sont transmises entre des unités de calcul (fontions, modules, etc.) appelées "acteurs". Les acteurs doivent être exécutés de manière périodique afin de respecter les propriétés QoS représentées par les contraintes de temps-réél. Nous montrons qu'un acteur qui ne respecte pas de façon répétée sa période pendant l'exécution de l'application cause la violation des contraintes temps-reel de l'application. En pratique, SATM est un workflow d'analyse de données venant des traces d'exécution qui combine des mesures statistiques avec des algorithmes de fouille de données. SATM fournit une méthode automatique du débogage temporel des applications de streaming. Notre approche prend en entrée une trace d'exécution d'une application ayant une QoS basse ainsi qu'une liste de ses acteurs, et tout d'abord détecte des invocations des acteurs dans la trace. SATM découvre ensuite les périodes des acteurs ainsi que les séctions de la trace où la période n'a pas été respectée. Enfin, ces séctions sont analysées afin d'extraire des motifs de l'activité système qui différencient ces sections des autres séctions de la trace. De tels motifs peuvent donner des indices sur l'origine du problème temporel dans le systeme et sont rendus au devéloppeur. Plus précisément, nous représentons ces motifs comme des séquences contrastes minimales et nous étudions des différentes solutions pour fouiller ce type de motifs à partir des traces d'exécution.Enfin, nous montrons la capacité de SATM de détecter une perturbation temporelle injectée artificiellement dans un framework multimedia GStreamer, ainsi que des bugs temporels dans deux cas d'utilisation des applications de streaming industrielles provenant de la société STMicroelectronics. Nous fournissons également une analyse détaillée des algorithmes de fouille de motifs séquentiels appliqués sur les données venant des traces d'exécution, et nous expliquons pour quelle est la raison les algorithmes de pointe n'arrivent pas à fouiller les motifs séquentiels à partir des traces d'exécution de façon efficace. / Debugging streaming applications run on multimedia embedded systems found in modern consumer electronics (e.g. in set-top boxes, smartphones, etc) is one of the most challenging areas of embedded software development. With each generation of hardware, more powerful and complex Systems-on-Chip (SoC) are released, and developers constantly strive to adapt their applications to these new platforms. Embedded software must not only return correct results but also deliver these results on time in order to respect the Quality-of-Service (QoS) properties of the entire system. The non-respect of QoS properties lead to the appearance of temporal bugs which manifest themselves in multimedia embedded systems as, for example, glitches in the video or cracks in the sound. Temporal debugging proves to be tricky as temporal bugs are not related to the functional correctness of the code, thus making traditional GDB-like debuggers essentially useless. Violations of QoS properties can stem from complex interactions between a particular application and the system or other applications; the complete execution context must be, therefore, taken into account in order to perform temporal debugging. Recent advances in tracing technology allow software developers to capture a trace of the system's execution and to analyze it afterwards to understand which particular system activity is responsible for the violations of QoS properties. However, such traces have a large volume, and understanding them requires data analysis skills that are currently out of the scope of the developers' education.In this thesis, we propose SATM (Streaming Application Trace Miner) - a novel temporal debugging approach for embedded streaming applications. SATM is based on the premise that such applications are designed under the dataflow model of computation, i.e. as a directed graph where data flows between computational units called actors. In such setting, actors must be scheduled in a periodic way in order to meet QoS properties expressed as real-time constraints, e.g. displaying 30 video frames per second. We show that an actor which does not eventually respect its period at runtime causes the violation of the application’s real-time constraints. In practice, SATM is a data analysis workflow combining statistical measures and data mining algorithms. It provides an automatic solution to the problem of temporal debugging of streaming applications. Given an execution trace of a streaming application exhibiting low QoS as well as a list of its actors, SATM firstly determines exact actors’ invocations found in the trace. It then discovers the actors’ periods, as well as parts of the trace in which the periods are not respected. Those parts are further analyzed to extract patterns of system activity that differentiate them from other parts of the trace. Such patterns can give strong hints on the origin of the problem and are returned to the developer. More specifically, we represent those patterns as minimal contrast sequences and investigate various solutions to mine such sequences from execution trace data.Finally, we demonstrate SATM’s ability to detect both an artificial perturbation injected in an open source multimedia framework, as well as temporal bugs from two industrial use cases coming from STMicroelectronics. We also provide an extensive analysis of sequential pattern mining algorithms applied on execution trace data and explain why state-of-the-art algorithms fail to efficiently mine sequential patterns from real-world traces.

Zeólitas e carvão ativado são materiais eficazes para o tratamento de efluentes devido a sua grande área superficial e possibilidades de funcionalização, que permitem o desenvolvimento de novos materiais derivados visando a processos de concentração/remoção de contaminantes, por exemplo, em águas. A preparação de nanocompósitos magnéticos e sua aplicação na remoção seletiva de poluentes em meio aquoso tornou-se viável devido as interações distintas que ocorrem entre zeólita e carvão ativado com compostos orgânicos, íons metálicos e compostos nitrogenados. Assim, novos materiais voltados para sistemas de tratamento de águas residuais e monitoramento ambiental foram desenvolvidos com base em materiais bem estabelecidos. Os nanocompósitos foram caracterizados estrutural e morfologicamente por técnicas de microscopia eletrônica de varredura, termogravimetria, espectroscopia no infravermelho, espalhamento de luz, difração de raios x, bem como suas capacidades de adsorção. Foi avaliado também a viabilidade de aplicações em métodos analíticos, como pré-concentração por extração em fase sólida magnética (M-SPE), e, para tratamento de efluentes em amostras reais. Contaminação por cromo (VI), outras espécies potencialmente tóxicas e amônio foram removidos de águas residuais, gerando produtos tratados com níveis de contaminantes suficientemente baixos para atenderem as recomendações da EPA (Environmental Protection Agency) e CONAMA (Conselho Nacional do Meio Ambiente), permitindo seu descarte na natureza. Os materiais demonstraram ser adequados para pré-concentração rápida, eficiente, economicamente competitiva e ambientalmente amigável de amostras por M-SPE para quantificação analítica de espécies orgânicas ou inorgânicas, por técnicas analíticas convencionais. Assim, foi demonstrado a possibilidade de determinação simultânea de elementos potencialmente tóxicos e de outros cátions metálicos em concentrações traço (ppb), diretamente no material compósito magnético, por espectroscopia de fluorescência de raios X de energia dispersiva (EDX), além da quantificação de traços de compostos orgânicos semi-voláteis por cromatografia emfase gasosa com detector por espectrometria de massas, aumentando a sensibilidade para além do limite nominal de detecção por essas técnicas. / Zeolites and activated carbon are effective materials for the treatment of effluents due to their large surface area and functionalisation possibilities, which allow the development of new derived materials aiming at the concentration/removal of contaminants from water, for example. The preparation of magnetic nanocomposites and their application in the selective removal of pollutants in aqueous media has become feasible due to the distinct interactions that occur between zeolite and activated carbon with organic compounds, metal ions and nitrogen compounds. Thus, new materials for wastewater treatment and environmental monitoring systems were developed based on well-established materials. The nanocomposites were structural and morphologically characterized by scanning electron microscopy, thermogravimetry, infrared spectroscopy, light scattering, x-ray diffraction, as well as their adsorption capacities, viability of applications in analytical methods such as preconcentration by extraction in magnetic solid phase, M-SPE, were evaluated, and the composite materials Cmag and Zmag applied for treatment of real samples. Chromium (VI) contamination, heavy metal cations and ammonium were removed from wastewater, generating treated products with levels of contaminants low enough to meet the EPA and CONAMA recommendations, allowing their disposal in the wild. The materials have been shown to be suitable for rapid, efficient, economically competitive and environmentally friendly preconcentration of samples per M-SPE for analytical quantification of organic or inorganic species by conventional analytical techniques. Thus, it was demonstrated the possibility of simultaneous analysis of heavy metals and other metal cations in trace concentrations (ppb), directly in the magnetic composite material, by dispersive energy X-ray fluorescence spectroscopy (EDX), in addition to the quantification of traces of volatile organic compounds (VOC) by gas chromatography with mass spectrometry detector, increasing the sensitivity beyond the nominal limit of detection by these techniques.