Explorando o uso de distinguidores e de autômatos finitos estendidos na teoria do controle supervisório de sistemas a eventos discretos

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2013.Esta tese de doutorado investiga dois aspectos relevantes na Teoria do Controle Supervisório (TCS) de Sistemas a Eventos Discretos (SEDs): (i) o grau de dificuldade enfrentado ao modelar especificações para serem cumpridas pelo sistema sob controle; (ii) a complexidade computacional do procedimento de síntese de uma solução para o Problema do Controle Supervisório (PCS). Para tratar desses aspectos, são propostas duas diferentes abordagens: o uso de Distinguidores e o uso de Autômatos Finitos Estendidos (AFEs). A abordagem com distinguidores consiste em refinar o conjunto original de eventos do modelo de um SED, em um novo conjunto. Cada refinamento é apropriadamente escolhido para identificar uma instância particular em que o evento original ocorre no sistema. Então, um mapa chamado Distinguidor é proposto para estabelecer a relação entre as cadeias dos alfabetos original e refinado. Fazendo-se uso de eventos refinados, pode-se simplificar a modelagem de especificações de controle cuja representação seria bastante complexa no alfabeto original. Além disso, é mostrado que resolver o PCS usando distinguidores leva diretamente à solução ótima de controle, porém, sem vantagens computacionais na síntese em relação ao método não-refinado. Nesse sentido, é também mostrado como construir aproximações para o modelo refinado de um SED. Ao serem usadas na síntese de supervisores, as aproximações permitem reduzir o custo computacional do procedimento, ao mesmo tempo em que permitem preservar a controlabilidade, a máxima permissividade e o não-bloqueio da solução de controle. A segunda proposta a ser apresentada consiste em modelar um SED através de AFEs. Os AFEs são estruturas de estados cujas transições são estendidas com fórmulas que atualizam variáveis de tal modo que seus valores passam a fazer parte dos estados. Assim, fazendo-se uso de valores de variáveis, pode-se facilmente expressar a semântica de uma especificação através de condições lógicas, implementadas sobre o modelo de um SED. Mostra-se que o uso de AFEs leva diretamente à solução ótima para o PCS a qual, no entanto, é obtida sem vantagens computacionais, em relação ao método convencional. Isso ocorre, porque os valores das variáveis, ainda que implícitos no modelo do sistema, precisam ser considerados na síntese, o que elimina possíveis ganhos trazidos pela simplificação da modelagem. Nesse sentido, propõe-se um método para abstrair certas variáveis no AFE que modela um SED. Ao serem usadas na síntese, tais abstrações reduzem o custo computacional do procedimento, ao mesmo tempo em que permitem preservar a controlabilidade, a máxima permissividade e o não-bloqueio da solução de controle. Um algoritmo para obter supervisores, a partir de AFEs, também é apresentado e ilustrado por meio de um exemplo. Sempre que possível, as duas abordagens propostas são comparadas e ilustradas por exemplos. Em particular, o exemplo de um sistema de manufatura é adotado ao longo da tese para permitir a análise dos diferentes métodos de síntese. Como contribuição final, propõe-se associar o uso de distinguidores a um método descentralizado de síntese, em particular ao Controle Modular Local (CML). Inicialmente, mostra-se que o uso direto de distinguidores, em geral, complexifica a resolução do CML. Essa inconveniência é mitigada pela síntese combinada, um método por meio do qual supervisores locais são obtidos usando distinguidores apenas quando apropriado. Esse método leva a um comportamento global controlado que é equivalente ao CML original, porém, que também é processado com equivalente custo computacional. Nesse sentido, mostra-se ainda como combinar vantagens do CML, de distinguidores e de aproximações. O mesmo exemplo do sistema de manufatura ilustra essa contribuição final.<br

Importância do conhecimento da diabetes mellitus pelo médico dentista

Este estudo tem como tema a “Importância do conhecimento da Diabetes Mellitus pelo médico dentista”, com o objetivo de através da revisão literária mostrar ao Médico Dentista a importância de uma boa anamnese e exame clínico para a detecção de doenças sistêmicas como a Diabetes Mellitus que interfere na saúde bucal do paciente e consequentemente no tratamento e em seu prognóstico. Devido a todos os transtornos que a diabetes provoca, a responsabilidade do médico dentista se torna cada vez maior tendo a responsabilidade de diminuir os focos de infecção de origem bucal que contribuem na descompensação e evitando condutas que possam comprometer o estado geral de saúde do paciente. Por isso, é de extrema importância que se estabeleça o planejamento dos cuidados especiais para o atendimento odontológico dos pacientes com diabetes, diminuindo o risco de intercorrências durante e após o atendimento.This study has the theme “Importance of knowledge of diabtes mellitus by dentist”, with the aim of using the literature review show the dentist the importance of a good history and clinical examination for detecting systemicdiseases such as Diabetes Mellitus interfering with oral health of the patient and therefore the treatment and prognosis. Due to all the disorders that diabetes causes, the dentist responsibility becomes increasingly taking responsibility to reduce the oral source of infection outbreaks that contribute to decompensation and avoiding conduct that may compromise the general health of the patient. So it is extremely important to establish the planning of special care for the dental care of patients with diabetes, reducing the risk of complications during and after treatment

Macroeconomic Coordination and Inflation Targeting in a Two-Country Model

This paper deals with a macroeconomic coordination and its stabilization within a new Keynesian framework. The dynamic treatment of a twocountry model is made by simulation, using the linear quadratic algorithm. We compare the optimal monetary policy rule for three types of equilibria: macroeconomic coordination, Nash and Stackelberg, using parameters that reflect the relative size and degree of openness of the economies. Under the strict inflation target, we obtain higher output and inflation volatilities due to each economy's reaction to the other country's policy. The only exception is the case of optimal macroeconomic coordination rules. This dynamic model finds that macroeconomic coordination policy is better than non-coordination rules, supporting the traditional result found in static models.

Permanent structural changesin the brazilian economy and long memory: a stock market perspective

The paper assesses long memory patterns in the Brazilian stock market index (Ibovespa) for sub-periods before and after the Real Stabilization Plan. Evidence favours the existence of short memory for both periods despite the so-called reforms the Brazilian economy has been going throughin thenineties and,in particular, after the Real Plan.O artigo avalia padrdes de memória longa no mercado de ações brasileiro (Ibovespa) para sub-perfodos antes e após o Plano Real A evidéncia sugere a existéncia de memória curta para ambos os periodos, apesar das reformas que vém sendo perseguidas no pais durante os anos 90 e, mais particularmente, desde o inicio do plano de estabilizagao

Variable abstraction and approximations in supervisory control synthesis

This paper proposes a method to simplify Extended Finite-state Automata (EFA) in such a way the least restrictive controllable supervisor is preserved. The method is based on variable abstraction, which involves the identification and removal of irrelevant variables from a model. Variable abstraction preserves controllability, and the paper shows how approximations can be used to ascertain least restrictiveness of the synthesis result. The approach has the modelling benefits of Extended Finite-state Automata, leads to optimal control solutions, and reduces the synthesis cost. An example of a manufacturing system illustrates the contributions

PROSPECTIVE COMPARATIVE STUDY BETWEEN PROXIMAL TRANSVERSE INCISION AND THE CONVENTIONAL LONGITUDINAL INCISIONS FOR CARPAL TUNNEL RELEASE

ABSTRACTCarpal tunnel syndrome (CTS) is a pathological condition frequently seen in orthopedic consultation offices. It is most common compressive neuropathy and also the one most often treated surgically. CTS is usually diagnosed clinically, through the clinical history, physical examination (Tinel, Phalen and Durkan tests) and complementary examinations, and more specifically, nerve conduction studies. Ultrasound scans and magnetic resonance imaging may also be used. Conservative treatment is reserved for patients presenting with mild symptoms, with little incapacitation, who show good response to non-steroidal or steroidal anti-inflammatory drugs, physiotherapy and lifestyle changes. Surgical treatment is more frequent, and a variety of techniques are used. The goal of the surgery is to decompress the carpal tunnel and, by sectioning the transverse carpal ligament, release the median nerve. The aim of this paper was to compare surgical treatment of CTS by means of a transverse mini-incision made proximally to the carpal canal, with the classic longitudinal incision over the carpal canal. The mini-incision technique was shown to be less invasive and equally effective for treating CTS, with less morbidity than with the classic longitudinal incision

Rebalanceamento econômico e desafios geoeconômicos para a China: o caso do comércio e investimento intra-BRICS

This article investigates a challenge that China will face in the coming years: the geoeconomic consequences of rebalancing its growth regime. On the demand side, Chinese investment and exports give room for consumption, reducing imports of capital goods and increasing imports of consumption goods. Onthe production side, manufacturing loses ground to services. Yet, each regime implies different streams of commercial and investment flows, and patterns of influence, cooperation, and partnership. Thus, the spatial distribution of international trade and FDI must change, modifying economic linkages between China and its partners, like BRICS, and their bargaining power in the world economy. This study evaluates the trajectory of Chinese imports of goods and FDIs from other BRICS countries. In terms of trade, we assess the competitiveness of each country’s exports in relation to Chinese output. Regarding FDI flows, we consider the sectoral distribution of investments carried out by the largest Multinational Corporations (MNCs) from BRICS to assess likely changes. Our research suggests that the impacts of rebalancing on each BRICScountry are mostly negative and asymmetrical, depending on the position of the latter in the international division of labor, shaped by the very geoeconomic influence of China.Este artigo investiga um importante desafio que a China enfrentará nos próximos anos: as consequências geoeconômicas do rebalanceamento de seu regime de crescimento. Do lado da demanda, o investimento e as exportações chinesas abrem espaço para o consumo, reduzindo as importações de bens de capital e aumentando as importações de bens de consumo. Do lado da produção, a indústria perde terreno para os serviços. Contudo, cada regime implica diferentes fluxos comerciais e de investimento e padrões de influência, cooperação e parceria. Assim, a distribuição espacial do comércio e do IED da China deve mudar, modificando os vínculos econômicos com seus parceiros, como os BRICS, e seus poderes de negociação na economia mundial. Este estudo avalia a trajetória das importações chinesas de bens e dos IEDs de outrosBRICS. Em termos de comércio, avaliamos a competitividade das exportações de cada país em relação à produção chinesa. Sobre os fluxos de IDE, consideramos a distribuição setorial do investimento realizado pelas maiores Empresas Multinacionais (EMN) do BRICS para avaliar as mudanças prováveis. Nossa pesquisa sugere que os impactos do rebalanceamento em cada BRICS são geralmente negativos e assimétricos, dependendo da posição destes últimos na divisão internacional do trabalho, moldada pela própria influência geoeconômica da China

Random walk on random walks: low densities

We consider a random walker in a dynamic random environment given by a system of independent simple symmetric random walks. We obtain ballisticity results under two types of perturbations: low particle density, and strong local drift on particles. Surprisingly, the random walker may behave very differently depending on whether the underlying environment particles perform lazy or non-lazy random walks, which is related to a notion of permeability of the system. We also provide a strong law of large numbers, a functional central limit theorem and large deviation bounds under an ellipticity condition.Comment: 28 page