O Laboratório de Metrologia Nuclear (LMN) do Instituto de Pesquisas Energéticas e Nucleares (IPEN) desenvolveu recentemente o Sistema de Coincidência por Software (SCS), para a digitalização e registro dos sinais de seus sistemas de coincidências 4πβ-γ utilizados na padronização de radionuclídeos. O sistema SCS possui quatro entradas analógicas independentes que possibilitam o registro simultâneo dos sinais de até quatro detectores (vias β e γ). A análise dos dados é realizada a posteriori, por software, incluindo discriminação de amplitudes, simulação do tempo-morto da medida e definição do tempo de resolução de coincidências. O software então instalado junto ao SCS estabeleceu a metodologia básica de análise, aplicável a radionuclídeos com decaimento simples, como o 60Co. O presente trabalho amplia a metodologia de análise de dados obtidos com o SCS, de modo a possibilitar o uso de detectores com alta resolução em energia (HPGe), para padronização de radionuclídeos com decaimentos mais complexos, com diferentes ramos de decaimento ou com transições metaestáveis. A expansão metodológica tem suporte na elaboração do programa de análise denominado Coincidence Analyzing Task (CAT). A seção de aplicação inclui as padronizações do 152Eu (diferentes ramos de decaimento) e do 67Ga (nível metaestável). A padronização do 152Eu utilizou uma amostra de uma comparação internacional promovida pelo BIPM (Bureau International des Poids et Mesures), podendo-se comparar a atividade obtida com o valores de laboratórios mundialmente reconhecidos, de modo a avaliar e validar a metodologia desenvolvida. Para o 67Ga, foram obtidas: a meia-vida do nível metaestável de 93 keV, por três diferentes técnicas de análise do conjunto de dados (βpronto-γatrasado-HPGe, βpronto-γatrasado-NaI e βpronto- βatrasado); as atividades de cinco amostras, normalizadas por Monte Carlo e as probabilidades de emissão gama por decaimento, para nove transições. / The Nuclear Metrology Laboratory (LMN) at the Nuclear and Energy Research Institute (IPEN São Paulo, Brazil) has recently developed the Software Coincidence System (SCS), for the digitalization and recording of signals from its 4πβγ detection systems. SCS features up four independent analog inputs, enabling the simultaneous recording of up four detectors (β and γ). The analysis task is performed a posteriori, by means of specialized software, including the setting up of energy discrimination levels, dead-time and coincidence resolution time. The software initially installed was able to perform a basic analysis, for the standardization of simple decay radionuclides, such as 60Co. The present work improves the SCS analysis methodology, in order to enable the use of high resolution detectors (HPGe), for standardization of complex decay radionuclides, including metastable transitions or different decay branches. A program called Coincidence Analyzing Task (CAT) was implemented for the data processing. The work also includes an application section, where the standardization results of 152Eu (different decay branches) and 67Ga (with a metastable level) are presented. The 152Eu standardization was considered for the methodology validation, since it was accomplished by the measurement of a sample previously standardized in an international comparison sponsored by the BIPM (Bureau International des Poids et Mesures). The activity value obtained in this work, as well as its accuracy, could be compared to those obtained by important laboratories in the world. The 67Ga standardization includes the measurement of five samples, with activity values normalized by Monte Carlo simulation. The 93 keV metastable level half-life and the gamma emission probabilities per decay for nine transition of 67Ga are also presented. The metastable half-life was obtained by three different methods: βprompt-γdelayed-HPGe, βprompt-γdelayed-NaI and βprompt-βdelayed.

Context: The thesis is the analysis work of the replication of software experiment conducted by Natalia and Sira at Technical University of Madrid, SPAIN. The empirical study was conducted for the verification and validation of experimental data, and to evaluate the effectiveness and efficiency of the testing techniques. The analysis blocks, considered for the analysis were observable fault, failure visibility and observed faults. The statistical data analysis involved the ANOVA and Classification package of SPSS. Objective: To evaluate and compare the result obtained from the statistical data analysis. To establish the verification and validation of effectiveness and efficiency of testing techniques by using ANOVA and Classification tree analysis for percentage subject, percentage defect-subject and values (Yes / No) for each of the blocks. RQ1: Empirical evaluation of effectiveness of fault detection testing technique, using data analysis (ANOVA and Classification tree package). For the blocks (observable fault, failure visibility and observed faults) using ANOVA and Classification tree. RQ2: Empirical evaluation of efficiency of fault detection technique, based on time and number of test cases using ANOVA. RQ3: Comparison and inference of the obtained results for both effectiveness and efficiency. Method:The research will be focused on the statistical data analysis to empirically evaluate the effectiveness and efficiency of the fault detection technique for the experimental data collected at UPM (Technical university of Madrid, SPAIN). Empirical Strategy Used: Software Experiment. Results: Based on the planned research work. The analysis result obtained for the observable fault types were standardized (Ch5). Within the observable fault block, both the techniques, functional and structural were equally effective. In the failure visibility block, the results were partially standardized. The program types nametbl and ntree were equally effective in fault detection than cmdline. The result for observed fault block was partially standardized and diverse. The list for significant factors in this blocks were program types, fault types and techniques. In the efficiency block, the subject took less time in isolating the fault in the program type cmdline. Also the efficiency in fault detection was seen in cmdline with the help of generated test cases. Conclusion:This research will help the practitioners in the industry and academic in understanding the factors influencing the effectiveness and efficiency of testing techniques.This work also presents a comprehensive analysis and comparison of results of the blocks observable fault, failure visibility and observed faults. We discuss the factors influencing the efficiency of the fault detection techniques. / shailendra.natraj@gmail.com +4917671952062

Cílem této práce je poskytnout snadný způsob, jak rozšířit analyzační nástroj o rozhraní splňující standard OSLC. Takové rozhraní umožňuje jednoduchou integraci nástrojů s jinými nástroji nebo systémy, umožňuje jejich vzdálené použití skrze webové služby a umožňuje je jednoduše propojit s databází pro databázové dotazy a pro perzistentní uložení dat. Toto je dosaženo návrhem a implementací OSLC adaptéru pomocí sady nástrojů Eclipse Lyo. Adaptér používá jako rozhraní doménu OSLC Automation a je dostatečně univerzální na to, aby skrze toto rozhraní pokryl funkcionalitu většiny analyzačních nástrojů za pomocí jejich stávajících rozhraní na příkazové řádce. Tato práce poskytuje úvod k OSLC, Eclipse Lyo a souvisejícím konceptům. Dále tato práce definuje požadavky a odlišnosti různých analyzačních nástrojů a diskutuje návrh adaptéru a faktory, které ovlivnily návrhová rozhodnutí. A nakonec prezentuje implementovaný adaptér a jeho vyhodnocení pomocí automatizované testovací sady a pomocí experimentů s řadou analyzačních nástrojů. Nejvýznamnější ukazatel hodnocení vytvořeného adaptéru je to, že už teď je používán v praxi pro přidání OSLC rozhraní k nástrojům ANaConDA, Perun, Spectra (všechny tři vyvíjené na VeriFIT) a HiLiTE (Honeywell).

My master´s thesis named “Automated measurement of transient phenomena of synchronous generators“ deals with transient phenomena appearing during a three-phase short-circuit on output clips of synchronous generators. Introduction of my master´s thesis named “Theory of transient phenomena of synchronous generators” deals with a theoretic description of transient phenomena appearing during a three-phase short-circuit on output clips of synchronous generators. This part treats the existence of direct and alternating components of short-circuit currents flowing in stator winding during a three-phase short circuit. Afterwards it treats reactances of stator windidng for the duration of a three-phase short-circuit on clips of synchronous generators. Theme of the following part of the master´s thesis is “Technical setting of measuring system for analysis of transient phenomena of synchronous generators”. This part deals with an analysis of technical setting that characterizes measuring sensors. These sensors scan measured electrical magnitudes that describe transient phenomena. Measuring hardware by a firm National Instruments is designed on the basis of technical setting. Following part of the master´s thesis named “Measuring hardware for measuring of transient phenomena of synchronous generators as a platform PXI/SCXI” deals with a description of technical characteristics of designed measuring hardware for measuring transient phenomena. Practical part of the master´s thesis named “Software TransientVIEW for analysis of transient phenomena of synchronous generators” describes in detail a software conception of user interface of software TransientVIEW that is developed in a developing interface LabVIEW 8.6 by the firm National Instruments. Afterwards it treats implemented user functions that allows exact and effective work with analysis of transient phenomena of synchronous generators.

The aim of this work is to create framework for static analysis of Unix shell scripts.  Bourne-again shell is chosen as the primary subject of interest. The first part of the project discusses a principles of static analysis and current static analysis tools. The diploma thesis presents a framework based on modular system,   which enables plug-ins to perform different kinds of analysis on scripts. Framework includes plug-in management, means of interaction, handling outputs and input setting. This thesis also contains the description of a few plug-ins, designed to perform basic analysis of scripts.

The purpose of the study is to develop a comprehensive analysis of local strategic economic complex, as part of an integrated assessment of the effectiveness of the regional executive authority (the example of the Republic of Ingushetia). Relevance of the research topic. A significant place in the economy of any region are leading the business structure, influencing the formation of a profitable part of budgets of various levels, to ensure employment and social infrastructure development, attracting foreign investment and so on. From the efficiency of interaction of the regional executive authority with the largest representatives of the business depends on the level of social -economic prosperity territory. The elements of scientific novelty presented the following results for the defense: Permission for the concept of scientific revolution local strategic economic complex that allows the subject of the subjective, the evaluation of which should be taken into account when analyzing the effectiveness of the regional executive. The technique of the complex analysis of local strategic economic complex, which includes an analysis of individual companies and the integration of the data that allows you to evaluate the statics and dynamics of the development of key business organizations in the region. Improved methods of evaluating the effectiveness of an integrated regional executive authorities, taking into account the impact assessment of the local strategic economic complex that allows a more accurate and balanced manner to evaluate the activity of the subject of federation leadership. The mechanism of systematization and objectification assessment of the regional executive power, representing a professional social control that will not only build a power system of assessment, but also to develop a number of civil society institutions in the territory of his actions. Obtained by the author in the course of the master's thesis results can be used by governments, NGOs, and other stakeholders as a methodological basis for assessing the effectiveness of the regional executive authority. / Цель исследования состоит в развитии комплексного анализа локального стратегического экономического комплекса, как элемента интегрированной оценки эффективности региональной исполнительной власти (на примере Республики Ингушетия). Актуальность темы исследования. Существенное место в экономике любого региона занимают ведущие бизнес-структуры, оказывающие влияние на формирование доходной части бюджетов различных уровней, на обеспечение занятости населения, развитие социальной инфраструктуры, привлечение внешних инвестиций и пр. От эффективности взаимодействия региональной исполнительной власти с крупнейшими представителями бизнеса зависит уровень социально-экономического благополучия территории. Элементы научной новизны представлены следующими результатами, выносимыми на защиту: Введено в научный оборот понятие локальный стратегический экономический комплекс, что позволяет субъективировать предмет, оценка которого должна быть учтена при анализе эффективности деятельности региональной исполнительной власти. Разработана методика комплексного анализа локального стратегического экономического комплекса, включающая анализ отдельных предприятий и интегрирование полученных данных, что позволяет оценить статику и динамику развития ключевых бизнес структур региона. Усовершенствована методика интегрированной оценки эффективности региональной исполнительной власти, учитывающее влияние оценки локального стратегического экономического комплекса, что позволяет более точно и сбалансировано оценить деятельность руководства субъекта РФ. Предложен механизм систематизации и объективизации оценки региональной исполнительной власти, представляющий из себя профессиональный общественный контроль, что позволит не только построить систему оценки власти, но и развить ряд институтов гражданского общества на территории его действия. Полученные автором в ходе выполнения магистерской диссертации результаты могут быть использованы органами власти, общественными организациями, и прочими заинтересованными лицами в качестве методической основы оценки эффективности региональной исполнительной власти.