Processos industriais que ocorrem em bateladas são empregados com freqüência na produção de alguns itens. Tais processos disponibilizam uma estrutura de dados bastante peculiar e, diante disso, existe um crescente interesse no desenvolvimento de cartas de controle multivariadas mais apropriadas para seu monitoramento. Destaca-se aqui uma abordagem recente que utiliza cartas de controle baseadas no método Statis. O Statis constitui-se numa técnica exploratória que permite avaliar similaridade entre matrizes de dados. Entretanto, esta técnica avalia a similaridade no contexto linear, isto é, investiga estruturas de correlação lineares nos dados. Propõe-se nesta tese a utilização de cartas de controle baseadas no Statis em conjunto com um kernel para monitoramento de processos com presença de nãolinearidades fortes. Através dos kernels, definem-se funções não lineares dos dados para melhor representação da estrutura a ser caracterizada pelo método Statis. Esta nova abordagem, denominada Kernel-Statis, é desenvolvida e avaliada utilizando dados de um processo simulado. / Industrial batch processes are widely used in the production of some items. Such processes provide a peculiar data structure; therefore, there is a growing interest in the development of customized multivariate control charts for their monitoring. We investigate a recent approach that uses control charts based on the Statis method. Statis is an exploratory technique for measuring similarities between data matrices. However, the technique only assesses similarities in a linear context, i.e. investigating structures of linear correlation in the data. In this thesis we propose control charts based on the Statis method in conjunction with a kernel for monitoring processes in the presence of strong non-linearities. Through the kernels we define non-linear functions of data for better representing the structure to be characterized by the Statis method. The new approach, named Kernel-Statis, is developed and illustrated using simulated data.

A presente pesquisa aborda a utilização de gráficos de controle em processo produtivo com variáveis autocorrelacionadas. Tem como objetivo verificar a estabilidade do processo de lingotamento contínuo na fabricação de tarugos por gráficos de controle aplicados aos resíduos oriundos da previsão dos modelos matemáticos por meio da modelagem linear e/ou não linear. Primeiramente, é observada a existência de correlação entre os dados, utilizandose, então, a Análise de Componentes Principais. Com os dados livres de correlação, testa-se a autocorrelação nas Componentes Principais. A partir desse instante, são aplicados os modelos ARIMA, para encontrar os resíduos nos quais será testada a presença de volatilidade, podendo-se aplicar os modelos ARCH e/ou GARCH. Para exemplificar a metodologia utilizada na pesquisa, foi realizado um estudo de caso em uma empresa do RS, na célula da aciaria, especificamente na máquina de lingotamento contínuo onde são fabricados os tarugos para o Aço DIN20MnCr5, seção quadrada 240 mm. Foi possível a avaliação da estabilidade do processo para as variáveis originais por meio do gráfico . Posteriormente, os dados foram decompostos em Componentes Principais, avaliados por meio dos gráficos de controle e EWMA, indicando as componentes com maior instabilidade e as variáveis com maior influência dentro do novo conjunto de dados. Identificado o conjunto de variáveis, essas foram modeladas, utilizando-se a metodologia de modelos lineares e não lineares para encontrar os resíduos e assim construir os gráficos. Os modelos matemáticos encontrados foram capazes de representar os processos produtivos, possibilitar a compreeensão do comportamento das variáveis e auxiliar na monitoração do processo, e, além disso, mostrar as variáveis que contribuem para que o sistema esteja instável e ocasione a produção de sucata para o aço estudado. / This research addresses the use of control charts in the production process with autocorrelated variables. It aims to determine the stability of the continuous casting process in the manufacture of billets through control charts applied to the residues that come from prediction (of waste) from of mathematical models, by means of (modeling) linear and/or nonlinear modelling. First, it is observed existence of correlation among data, then using Principal Component Analysis. With correlation-free data, the autocorrelation is tested in the Principal Components. From that moment ARIMA models are applied to find residues in which will be tested the presence of volatility maybe applying ARCH and/or GARCH models. To illustrate the methodology used in the survey was conducted a case study at the in a Steel Plant in the State of RS, in the Aciaria cell, specifically in the continuous casting machine where steel billets DIN20MnCr5 square section 240mm are manufactured. It was possible to evaluate the stability of the process for original variables through the graph . Subsequently, data were broken down into Principal Components, evaluated by means of control charts and EWMA, indicating the components with higher instability and variables with greater influence within the new data set. Identied the set of variables, they were modeled using the methodology of linear and nonlinear models to find the residues and thus construct the graphs. Mathematical models were found capable of representing the production process, allowing understanding the variables behavior and assisting in process monitoring; showing the variables that contribute to the system is unstable and causes the scrap production for the steel studied.

Made available in DSpace on 2014-06-12T15:51:19Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Message Sequence Charts (MSC) é uma linguagem gráfica, usada na academia e na indústria, cujo objetivo é descrever o comportamento de componentes de sistemas e seus ambientes. A sintaxe e a semântica de um diagrama MSC padrão são definidos pelo International Telecommunication Union. A motivação para esse trabalho foi originada a partir de esforços para modelar cenários de aplicações de aparelhos móveis com o objetivo de automatizar a geração de testes, no contexto de uma colaboração entre Centro de Informática da Universidade Federal de Pernambuco (CIn- UFPE) e a Motorola, no contexto do projeto Brasil Test Center (BTC). Ao modelar algumas destas aplicações que envolvem múltipla sincronização utilizando como linguagem de modelagem, MSC padrão, constatou-se que os diagramas são de difícil entendimento ou com um comportamento diferente do desejado. É proposta neste trabalho uma extensão de MSC com o objetivo de permitir a descrição de mensagens síncronas, que permitem descrever eventos instantâneos (abstraindo-se a duração do tempo real para que a conexão seja estabelecida) e podendo envolver várias instâncias de MSC. Essa extensão é conservativa, no sentido que o comportamento das construções existentes não é afetado pela mesma; além disso, em um mesmo diagrama é possível conter mensagens síncronas e mensagens assíncronas. Foi desenvolvido um algoritmo de transformação, que a partir de um diagrama escrito na notação MSC estendido, gera um diagrama correspondente na notação de MSC padrão. Este algoritmo tem por objetivo permitir a transitividade entre as notações e demonstrar suas equivalências. Este algoritmo de transformação implementa mensagens síncronas como uma seqüência de mensagens assíncronas seguindo um algoritmo particular de handshake. A segunda contribuição desse trabalho é a definição de uma semântica para a notação padrão e estendida de MSC. Essa definição é dada em termos da álgebra de processos CSP (Communicating Sequential Processes). O formalismo introduzido na notação de Message Sequence Charts com CSP permite mostrar a equivalência entre um diagrama na notação de MSC estendido e seu correspondente descrito em MSC padrão, gerado a partir do algoritmo de transformação. Além disso, modelar MSC como um processo descrito na notação CSP permite uma análise sobre seus diagramas, usando um rico conjunto de leis algébricas de CSP, bem como o uso de ferramentas, como FDR2 e o Probe. Finalmente, para validar a estratégia proposta, desenvolveu-se um exemplo que ilustra a utilização da notação estendida de MSC, notação síncrona; a conversão desta notação para a notação padrão e a equivalência entre o MSC estendido e o padrão. Mostramos, ainda, o uso da ferramenta Power Tool Kit(PTK) para geração de casos de teste a partir de diagramas MSC

Apesar do reconhecimento da relevante contribuição epidemiológica dos registros de condenação em abatedouros, é escassa a divulgação sobre estudos referentes às circunstâncias relacionadas com as apreensões em matadouros de frangos. Avaliaram-se dez anos de registros oficiais de condenação em um abatedouro sob inspeção federal no Estado de São Paulo, obtendo-se informações a respeito de 24 causas de apreensão. Análises de tendência, sazonalidade e de componente cíclico foram efetuadas para 21 variáveis. Isto é discutido frente às dificuldades na obtenção sistemática e fidedigna de dados, propondo-se a utilização de programas informatizados para análise dos registros mensais em tempo real, o que possibilita a reavaliação dos programas de controle para as enfermidades desencadeantes das apreensões. Abordaram-se aspectos legislativos da inspeção de aves, enfocando limitações internacionais e particularidades de alguns processos patológicos, sugerindo adequação em determinados procedimentos sanitários. Destacou-se a comparação de dados locais com apreensões de vários países e o impacto interpretativo de diferentes metodologias de análise na concepção das ocorrências. As avaliações permitiram concluir que abordagens informatizadas para sazonalidade e ciclicidade nas séries temporais de apreensões podem incrementar o poder da verificação de programas HACCP. Além disso, observou-se maior poder para revelação de padrões, pela associação dos dois tipos de análise. / There is a lack of studies for circumstances related to poultry abattoir condemnations, despite its wide recognition as a relevant source of epidemiological information. Ten year official condemnation records were issued for one federal inspected slaughterhouse in São Paulo State, Brazil, gathering data about 24 condemnation causes. Global, seasonal and cyclical trends were evaluated for 21 variables, which were further debated concerning trouble reporting of systematic reliable data. Furthermore, the study suggests software packages utilization for real-time monthly data analysis, which in turn leads to control schedules reevaluation for condemnation disease determinants. Legislative approach to poultry inspection, focusing on international limitations and pathological process features were asked for sanitary procedures adequacy. The local and several countries data comparison, besides different analytical methodology impact were highlighted. The conclusion assigns that time series seasonal and cyclical computerized analysis can enhance HACCP\'s verification power and better reveal patterns when combined.

Today more and more applications become multithreaded, because parallel processing of multiple threads improves program performance on computer systems that have multiple CPUs. With growing of amount of multithreaded applications also amount of problems increases, which can occur during program execution. There are many tools, which help with multithreading debugging. They all differ from each other and they are all good in solving specific kinds of problems that they aim to solve, but still there is much work has to be done in multithreading debugging area. The aim of this project is to create a solution, with use of each users can define events, which are executed in their single- or multithreaded applications and should be visualized for future debugging. This will help user to see how the application works on a logical level.

Statistical methods and control charts are important resources to detect changes in various kinds of processes. It has been noticed along the years that these charts have been theoretically refined and, before the analogy and the simplicity of some statistical methods of quality control, it has been happening a great widespread and encouragement to apply the charts in the data analysis of different health fields. With the purpose of making a collaborative work with teaching and health service professionals, this dissertation aims to describe and exemplify some main kinds of statistical charts of quality control to be applied in the quality monitoring in hospitals. To accomplish this task, it was obtained from the hospital at the Federal University of Santa Maria Brazil, during the period of 2000 to 2005, some indexes: general hospital occupation tax, emergency room occupation tax, Psychiatric unit occupation tax, newborn Intensive Care Unit occupation tax and institutional mortality tax dialysis. First of all, a descriptive analysis was conducted to verify presuppositions about normality and independence, required by the traditional techniques of controlling chart. Lately, models ARIMA of Box & Jenkins methodology were adjusted to the series that presented autocorrelation, to elaborate a subsequently controlling chart based on the residues. Many points out of the controlling limits to the series analyzed were observed, besides the presence of a great variability to the general hospital occupation tax and the institutional morality of dialysis. The emergency room occupation tax, the psychiatric unit and newborn Intensive Care Unit occupation tax were the ones that presented more stability. Comparing the charts used, it was identified the advantages of CUSUM charts in detecting precociously changes occurred in the process, besides identifying modifications in small magnitudes than X-bar chart. Despite the initial difficulties in implementing some more complex methodologies, the application of these charts is a pretty efficient resource to control the processes, due to the great number of variables which could be monitored in a hospital environment or any other sector related to people health, bringing improvements to other aspects such as personal, familiar and professional ones. / Os métodos estatísticos e os gráficos de controle são importantes recursos para detectar mudanças em vários tipos de processos. Constata-se que, ao longo dos anos, esses gráficos têm sido teoricamente aprimorados e diante da analogia e da simplicidade de alguns métodos estatísticos de controle de qualidade, tem havido uma maior divulgação e incentivo para a aplicação dos mesmos na análise de dados em diversas na área da saúde. Com o propósito de colaborar com os profissionais de ensino e de serviços de saúde, esta dissertação tem por objetivo descrever e exemplificar alguns dos principais tipos de gráficos estatísticos de controle de qualidade. Para isso, foram utilizados alguns indicadores obtidos no hospital da Universidade Federal de Santa Maria - Brasil, no período de 2000 a 2005: taxa de ocupação do hospital geral, taxa de ocupação do pronto atendimento, taxa de ocupação da unidade psiquiátrica, taxa de ocupação na UTI de recém-nascidos e taxa de mortalidade institucional diálise. Foi realizada uma análise descritiva para verificar os pressupostos de normalidade e independência, exigidos pelas técnicas tradicionais de gráficos de controle. Posteriormente, foram ajustados modelos ARIMA de Box e Jenkins para aquelas séries que apresentaram autocorrelação serial, para posterior construção dos gráficos de controle dos resíduos. Foram observados vários pontos fora dos limites de controle para as séries analisadas, além da presença de grande variabilidade para a taxa de ocupação do hospital geral e de mortalidade institucional por diálise. As taxas de ocupação do pronto atendimento, da unidade psiquiátrica e da UTI de recém-nascidos foram as que se mostraram mais estáveis. Pela comparação dos gráficos, verificou-se a vantagem dos gráficos CUSUM em detectar, precocemente, mudanças no processo, além de serem capazes de identificar mudanças de menor magnitude. Apesar das dificuldades iniciais de implementação de algumas metodologias mais complexas, a aplicação desses gráficos é um recurso muito eficiente para controle de processos, devido ao grande número de variáveis que poderiam ser controladas num ambiente hospitalar ou qualquer outro setor relacionado à saúde das pessoas, propiciando melhorias em outros setores, como no pessoal, familiar e profissional.

Abstract This thesis seeks to develop a robust semi-analytical performance prediction method for an advanced iterative receiver that processes spatially multiplexed signals that have propagated through frequency-selective receive correlated multiple-input multiple-output (MIMO) wireless communication channels. In a change of perspective, the proposed performance prediction methods are applied at the transmitter, which seeks to attain a target frame error rate (FER) either by adaptive power control or by adaptive modulation and coding (AMC). The performance prediction scheme utilises the statistical properties of the channel—namely noise variance, number of separable propagation paths and the eigenvalues of the receive correlation matrix—to predict the signal-to-interference-plus-noise ratio (SINR) at the output of a frequency domain soft interference cancellation minimum mean square error equaliser. The SINR distribution is used to derive the distribution of the variance of the log-likelihood ratios (LLRs) at the output of a soft symbol-to-bit demapper. Mutual information transfer charts establish a bijective relationship between the variance of the LLRs and mutual information. A 3rd Generation Partnership Project compliant turbo code is assumed. Since the decoder operates independently from the channel, its extrinsic information transfer (EXIT) charts can be simulated in advance. By utilising the approximate LLR variance distribution of the demapped equaliser output, it is possible to evaluate the probability of an intersection between an equaliser chart associated with a random channel realisation and a fixed decoder chart. This probability provides the FER. Since the proposed performance prediction method does not require any instantaneous channel state information, it can be applied at the transmitter side as a robust link adaptation scheme. In adaptive transmission power control, the modulation order and code rate are fixed. By iteratively adjusting transmission power, the transmitter attempts to find an equaliser output LLR variance distribution that reaches a specified target FER. In AMC, transmission power is fixed. The equaliser output's LLR variance distribution is determined by the modulation order, while the decoder chart's position is determined by the code rate. The transmitter iteratively adjusts the code rate and attempts to find a modulation order and code rate pairing that reaches the target FER. For vertically encoded spatially multiplexed systems, the adaptive transmission power control and AMC schemes are complemented by adaptive repeat redundancy and incremental redundancy hybrid automatic repeat request (HARQ) techniques, respectively. / Tiivistelmä Työn tavoitteena on kehittää luotettava semianalyyttinen suorituskyvyn ennustusmenetelmä tehokkaalle iteratiiviselle vastaanottimelle, joka käsittelee taajuusselektiivisen, vastaanotinpäässä tilakorreloituneen moniantennikanavan kautta kulkeneita tilakanavoituja signaaleja. Toisessa vaiheessa esitettyjä ennustusmenetelmiä hyödynnetään mukauttamalla lähetystehoa tai modulaatioastetta ja koodisuhdetta (adaptive modulation and coding [AMC]), samalla säilyttäen tavoitteeksi asetetun kehysvirhesuhteen (frame error rate [FER]). Suorituskyvyn ennustusmenetelmä hyödyntää kanavan tilastollisia ominaisuuksia – kohinan varianssia, eroteltavien etenemispolkujen lukumäärää sekä vastaanottimen korrelaatiomatriisin ominaisarvoja – ennustaakseen signaali–kohina-plus-interferenssisuhteen (signal-to-interference-plus-noise ratio [SINR]) jakauman taajuustasossa toimivan, häiriötä poistavan pienimmän keskineliösumman kanavakorjaimen lähdössä. SINR-jakaumasta johdetaan pehmän symboleista biteiksi -muunnoksen jälkeisten logaritmisten bittitodennäköisyyksien suhdelukujen (log-likelihood ratio [LLR]) jakauma. Keskinäisinformaation siirroskartat perustuvat LLR:ien varianssin sekä keskinäisinformaation väliseen bijektiivisyyteen. Informaatio on kanavakoodattu 3rd Generation Partnership Project -standardin mukaisella turbokoodilla. Turbodekooderin toiminta on kanavasta riippumatonta, joten dekooderin lisäinformaation siirroskartat (extrinsic information transfer [EXIT] charts) voidaan simuloida itsenäisesti. Hyödyntämällä kanavakorjaimen lähdön pehmeiden bittipäätösten LLR:ien varianssin jakaumaa, on mahdollista arvioida millä todennäköisyydellä korjaimen satunnaisen kanavarealisaation siirroskartta leikkaa dekooderin siirroskartan. Tämä todennäköisyys voidaan tulkita kehysvirhesuhteeksi. Koska suorituskyvyn ennustusmenetelmä ei vaadi hetkellistä tietoa kanavan tilasta, sitä voidaan hyödyntää lähetyksen mukautuksessa. Mukautuvassa tehonsäädössä modulaatio ja koodisuhde eivät muutu. Lähetin pyrkii iteratiivisella tehonsäädöllä löytämään korjaimen lähdölle LLR-jakauman, joka tuottaa halutun kehysvirhesuhteen. Mukautuvassa modulaation ja koodisuhteen valinnassa lähetysteho säilyy vakiona. Modulaatioaste vaikuttaa korjaimen lähdön LLR-jakaumaan ja koodisuhde dekooderin siirroskartan muotoon. Iteratiivisesti koodisuhdetta säätämällä lähetin pyrkii löytämään modulaation ja koodisuhteen yhdistelmän, joka saavuttaa tavoitellun kehysvirhesuhteen. Vertikaalisesti tilakanavoiduissa järjestelmissä mukautuvaa tehonsäätöä täydennetään lähetystehoa mukauttavilla uudellenlähetyksillä, kun taas mukautuvaa modulaation ja koodisuhteen valintaa täydennetään puolestaan koodisuhdetta pienentävillä automattisilla uudelleenlähetyspyynnöillä (hybrid automatic repeat request [HARQ]).

This thesis aims to compile and evaluate six monocriteria and one multi-criteria ranking in the meat processing industry. These rankings are primarily focused on the needs of smaller potential investors and their purpose is to facilitate their investment decisions and to recommend the most appropriate investment opportunity. In the theoretical part is analyzed the concept of ranking and other related concepts. In addition, there are described the interests of individual ranking users and briefly introduced the most well-known rankings. The content of the methodological part are particular steps in the process of compiling ranking and their subsequent detailed analysis including a brief theoretical interpretation of the selected methods of financial analysis. To contribute a better reporting ability to one of the implementation steps is included an expert opinion reflecting the specifics of the selected industry. In the practical part is applied the described steps and the rankings are compiled and evaluated. The recommended investment opportunity is LE & CO - Ing. Jiří Lenc, s.r.o.

The thesis's primary focus is the visualization of data in Business Intelligence with broader ramifications because the framework defined here will be useful for making any design layout. It describes the cognitive aspects of perception for visualization and with this understanding the thesis will be able to summarize the rules which are necessary for right and functional design. The goal of design is to provide the information in the most understandable way. The author has surveyed individuals to find out how people are familiar with the rules for designing and the style of visualization that people prefer. The last part of this thesis is focused on the implementation of the findings with the ultimate goal to suggest a new BI reporting system. Being able to list and verify the rules of visualization on the path to implementation is the main benefit of this work.

When unsafe conditions arise in a workplace, they may result in employee accidents and fatalities. However, if these problems are detected early, new hazard controls and safety initiatives can be introduced in order to actively reduce or prevent the occurrence of these events. Unfortunately, many safety systems currently monitor and report data that has been aggregated over long time periods, making it difficult to realize and respond to pattern shifts in a timely manner. When monitoring a process over time, a commonly used tool is statistical process control charting. Traditionally used in manufacturing, control charts indicate a deviation from historically "normal" or "in-control" behavior and have become increasingly common in healthcare and public health monitoring. This dissertation studies the use of control charts to monitor the frequency of occupational safety incidents, with the overarching goal of investigating the effects of data aggregation on the detection performance of these charts. Specifically, this dissertation 1) qualitatively establishes the need for more frequent monitoring of safety incidents; 2) investigates the comparative performance of control charts with aggregated and non-aggregated data for the detection of increased accident frequency, using a case study with data from an industrial partner; 3) more generally compares the performance of these charts for a Poisson process with a range of simulated process shifts; and 4) discusses the potential future challenges of including accident severity in quantitative safety monitoring systems. The comprehensive results indicate that lower degrees of data aggregation are preferred, and suggestions for better data collection and employee communication practices are offered to aid the transition for companies. / Ph. D.