Logic TK: algebric notions from Tarski's consequence operator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A neighbourhood semantic for the Logic TK

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Confrontando propriedades lógicas em um contexto de lógica universal

This paper presents a definition of universal logic in a strictly settheoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.

Avaliação dos níveis de vibração no operador de um trator agrícola ensaiado em pista normatizada em diferentes velocidades de deslocamento

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Avaliação dos níveis de vibração no operador de um trator agrícola ensaiado em pista normatizada em diferentes velocidades de deslocamento

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

A relação conclusiva na língua portuguesa: funções resumo, conclusão e consequência

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Aferição do desempenho operacional de parques eólicos (Referência: D0708-047)

A verificação das Características Garantidas associadas aos equipamentos, em especial dos aerogeradores, incluídos no fornecimento de Parques Eólicos, reveste-se de particular importância devido, principalmente, ao grande volume de investimento em jogo, ao longo período necessário ao retorno do mesmo, à incerteza quanto à manutenção futura das actuais condições de remuneração da energia eléctrica produzida e ainda à falta de dados históricos sobre o período de vida útil esperado para os aerogeradores. Em face do exposto, é usual serem exigidas aos fornecedores, garantias do bom desempenho dos equipamentos, associadas a eventuais penalidades, quer para o período de garantia, quer para o restante período de vida útil, de modo a minimizar o risco associado ao investimento. No fornecimento de Parques Eólicos existem usualmente três tipos de garantias, nomeadamente, garantia de Curva de Potência dos aerogeradores, garantia de Disponibilidade dos equipamentos ou garantia de Produção de Energia. Estas poderão existir isoladamente ou em combinação, dependendo das condições contratuais acordadas entre o Adjudicatário e o Fornecedor. O grau de complexidade e/ou trabalho na implementação das mesmas é variável, não sendo possível afirmar qual delas é a mais conveniente para o Adjudicatário, nem qual a mais exacta em termos de resultados. Estas dúvidas surgem em consequência das dificuldades inerentes à recolha dos próprios dados e também da relativamente ampla margem de rearranjo dos resultados permitido pelas normas existentes, possibilitando a introdução de certo tipo de manipulações nos dados (rejeições e correlações), as quais podem afectar de forma considerável as incertezas dos resultados finais dos ensaios. Este trabalho, consistiu no desenvolvimento, execução, ensaio e implementação de uma ferramenta informática capaz de detectar de uma forma simples e expedita eventuais desvios à capacidade de produção esperada para os aerogeradores, em função do recurso verificado num dado período. Pretende ser uma ferramenta manuseável por qualquer operador de supervisão, com utilização para efeitos de reparações e correcção de defeitos, não constituindo contudo uma alternativa a outros processos abrangidos por normas, no caso de aplicação de penalidades. Para o seu funcionamento, são utilizados os dados mensais recolhidos pela torre meteorológica permanente instalada no parque e os dados de funcionamento dos aerogeradores, recolhidos pelo sistema SCADA. Estes são recolhidos remotamente sob a forma de tabelas e colocados numa directoria própria, na qual serão posteriormente lidos pela ferramenta.

Variabilidade introduzida pelo operador no processamento dos estudos Gated-SPECT do miocárdio

Introdução – Os estudos Gated – Single Photon Emission Computed Tomography (SPECT) são uma das técnicas de imagiologia cardíaca que mais evoluiu nas últimas décadas. Para a análise das imagens obtidas, a utilização de softwares de quantificação leva a um aumento da reprodutibilidade e exatidão das interpretações. O objetivo deste estudo consiste em avaliar, em estudos Gated-SPECT, a variabilidade intra e interoperador de parâmetros quantitativos de função e perfusão do miocárdio, obtidos com os softwares Quantitative Gated SPECT (QGS) e Quantitative Perfusion SPECT (QPS). Material e métodos – Recorreu-se a uma amostra não probabilística por conveniência de 52 pacientes, que realizaram estudos Gated-SPECT do miocárdio por razões clínicas e que integravam a base de dados da estação de processamento da Xeleris da ESTeSL. Os cinquenta e dois estudos foram divididos em dois grupos distintos: Grupo I (GI) de 17 pacientes com imagens com perfusão do miocárdio normal; Grupo II (GII) de 35 pacientes que apresentavam defeito de perfusão nas imagens Gated-SPECT. Todos os estudos foram processados 5 vezes por 4 operadores independentes (com experiência de 3 anos em Serviços de Medicina Nuclear com casuística média de 15 exames/semana de estudos Gated-SPECT). Para a avaliação da variabilidade intra e interoperador foi utilizado o teste estatístico de Friedman, considerando α=0,01. Resultados e discussão – Para todos os parâmetros avaliados, os respectivos valores de p não traduziram diferenças estatisticamente significativas (p>α). Assim, não foi verificada variabilidade intra ou interoperador significativa no processamento dos estudos Gated-SPECT do miocárdio. Conclusão – Os softwares QGS e QPS são reprodutíveis na quantificação dos parâmetros de função e perfusão avaliados, não existindo variabilidade introduzida pelo operador.

Influência da experiência profissional e da função visual do operador no processamento semiautomático da cintigrafia de perfusão do miocárdio: variabilidade intra e interoperador na determinação dos parâmetros quantitativos

Introdução – A cintigrafia de perfusão do miocárdio (CPM) desempenha um importante papel no diagnóstico, avaliação e seguimento de pacientes com doença arterial coronária, sendo o seu processamento realizado maioritariamente de forma semiautomática. Uma vez que o desempenho dos técnicos de medicina nuclear (TMN) pode ser afetado por fatores individuais e ambientais, diferentes profissionais que processem os mesmos dados poderão obter diferentes estimativas dos parâmetros quantitativos (PQ). Objetivo – Avaliar a influência da experiência profissional e da função visual no processamento semiautomático da CPM. Analisar a variabilidade intra e interoperador na determinação dos PQ funcionais e de perfusão. Metodologia – Selecionou-se uma amostra de 20 TMN divididos em dois grupos, de acordo com a sua experiência no software Quantitative Gated SPECTTM: Grupo A (GA) – TMN ≥600h de experiência e Grupo B (GB) – TMN sem experiência. Submeteram-se os TMN a uma avaliação ortóptica e ao processamento de 21 CPM, cinco vezes, não consecutivas. Considerou-se uma visão alterada quando pelo menos um parâmetro da função visual se encontrava anormal. Para avaliar a repetibilidade e a reprodutibilidade recorreu-se à determinação dos coeficientes de variação, %. Na comparação dos PQ entre operadores, e para a análise do desempenho entre o GA e GB, aplicou-se o Teste de Friedman e de Wilcoxon, respetivamente, considerando o processamento das mesmas CPM. Para a comparação de TMN com visão normal e alterada na determinação dos PQ utilizou-se o Teste Mann-Whitney e para avaliar a influência da visão para cada PQ recorreu-se ao coeficiente de associação ETA. Diferenças estatisticamente significativas foram assumidas ao nível de significância de 5%. Resultados e Discussão – Verificou-se uma reduzida variabilidade intra (<6,59%) e inter (<5,07%) operador. O GB demonstrou ser o mais discrepante na determinação dos PQ, sendo a parede septal (PS) o único PQ que apresentou diferenças estatisticamente significativas (zw=-2,051, p=0,040), em detrimento do GA. No que se refere à influência da função visual foram detetadas diferenças estatisticamente significativas apenas na fração de ejeção do ventrículo esquerdo (FEVE) (U=11,5, p=0,012) entre TMN com visão normal e alterada, contribuindo a visão em 33,99% para a sua variação. Denotaram-se mais diferenças nos PQ obtidos em TMN que apresentam uma maior incidência de sintomatologia ocular e uma visão binocular diminuída. A FEVE demonstrou ser o parâmetro mais consistente entre operadores (1,86%). Conclusão – A CPM apresenta-se como uma técnica repetível e reprodutível, independente do operador. Verificou-se influência da experiência profissional e da função visual no processamento semiautomático da CPM, nos PQ PS e FEVE, respetivamente.

Projeto de desenvolvimento de App de apoio ao cliente para operador de telecomunicações

Trabalho de projeto apresentado à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Estratégia de dinamização da comunicação interna num operador de cabo em ambiente virtual

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Novos Media e Práticas Web.

O que determina a recomendação do operador de telecomunicações : caso de estudo dos clientes MEO

Com o objetivo de consolidar e pôr em prática o conhecimento adquirido ao longo do programa de mestrado, optei pela realização de um estágio, cujo relatório apresento sob a forma de trabalho Final de Mestrado. Assim sendo, surgiu a oportunidade de realizar um estágio curricular (por um período de seis meses, entre Setembro de 2013 e Fevereiro de 2014) no âmbito do trabalho desenvolvido pela equipa de Marketing Analítico da Direção de Segmento Consumo Residencial – DSR na empresa Portugal Telecom, uma das maiores empresas na área das Telecomunicações em Portugal. Num momento de elevada concorrência entre as empresas de telecomunicações, acresce a importância atribuída pelas empresas aos seus clientes e, com ela, a necessidade de estar em constante contacto com estes. É nesse contexto que o trabalho apresentado neste relatório é desenvolvido, recorrendo a métodos explicativos, nomeadamente regressão logística, para identificar características do comportamento dos clientes que têm impacto nas atitudes e perceções dos mesmos. Por outro lado, procura-se definir a relação entre essas atitudes e/ou perceções e a recomendação dos atuais clientes do serviço a outros. Por variadas razões, não foi possível utilizar dados da Portugal Telecom, pelo que foi necessário recorrer a recolha por questionário. Através deste método foram recolhidas 193 respostas, mas apenas 159 poderam ser utilizadas, uma vez que foram eliminados os casos em que os respondentes não possuiam serviço de telecomunicações e os casos em que os clientes MEO não responderam a perguntas fundamentais do questionário. Embora de forma consciente das limitações decorrentes da dimensão desta amostra, foi decidido prosseguir com estes resultados devido à dificuldade em angariar respondentes e devido ao período de tempo de recolha disponível para este relatório. Foi realizada uma caracterização da amostra recolhida com recurso a técnicas descritivas, sendo o modelo que permite estudar os impactos estimado com recurso a regressão por máxima verosimilhança, concretamente regressão logística. A partir da revisão da literatura e do conhecimento adquirido ao longo do estágio foram criados dois modelos explicativos para a recomendação. Os resultados indicam que a reclamação é influenciada positivamente pelo rendimento do agregado familiar, pelo preço e pela percepção que os indivíduos têm em como a PT se preocupa com eles e influenciada negativamente pela reclamação, ou seja quanto quanto mais reclamações os clientes fizerem menos é a probabilidade de recomendarem a empresa.

Projecte desplegament d'una xarxa d'operador de fibra òptica al 22@ i a diverses ciutats del continent

En la primera fase s’interconnectarien a través d’un anell de fibra òptica tres hotels d’una mateixa cadena en l’àrea del 22@ de Barcelona. S’ofereixen els serveis de: intranet, telefonia IP amb interconnexió a la PSTN, videoconferència i internet. Utilitzem VLANs per gestionar la qualitat de servei i la seguretat. El nostre model teòric inclou estimacions de tràfic, comparativa de fabricants, valoració econòmica i diagrama de Gantt d’implantació. A més, ampliem la gamma de serveis amb una xarxa Wimax al 22@ en previsió de futur ús. I augmentem la disponibilitat del servei amb un enllaç ràdio dedicat de backup des d’un dels nodes cap a la torre de Collserola, en la banda dels 18GHz, amb antenes parabòliques. Hem fet càlculs d’atenuació. En la segona i successives fases s’amplia la xarxa de FO a nivell nacional i internacional per a treballar com a operador d’empreses, amb un acurat disseny i selecció dels aparells òptics.

Análise do Sistema de Tratamento de Efluentes Gasosos de uma Central de Valorização Energética de Resíduos Sólidos Urbanos

O sistema de tratamento dos gases formados durante a combustão de Resíduos Sólidos Urbanos, (RSU), é um dos componentes mais importantes de uma instalação de incineração. O seu controlo e optimização asseguram a redução dos gases nocivos formados para valores que não representam quaisquer perigos para a saúde pública e ambiental, o que leva a incineração a ser considerada uma das técnicas mais seguras e eficientes para o tratamento dos RSU. A combinação desta técnica com produção de energia eléctrica, por recuperação de calor da combustão dos resíduos, tem contribuído gradualmente para o desenvolvimento socioeconómico. Este trabalho surgiu da necessidade de optimização do sistema de controlo dos gases ácidos, (HCl, NOx, SO2 e HF), da Central de Tratamento de Resíduos Sólidos Urbanos, (CTRSU), da Empresa Valorsul e dos respectivos consumos dos reagentes utilizados no tratamento dos referidos gases, nomeadamente o leite de cal e a amónia. No entanto, procedeu-se apenas com uma análise detalhada do referido sistema de controlo, de modo a identificar as principais dificuldades e possíveis soluções teóricas para as mesmas. Os conhecimentos adquiridos poderão contribuir futuramente para a optimização do sistema de controlo em questão, de modo a garantir a dosagem óptima dos referidos reagentes, diminuindo assim o custo dos mesmos. O presente trabalho também tem como objectivos, a compreensão da tecnologia de valorização energética de resíduos no contexto do tratamento de RSU em Portugal e a análise do processo de formação dos gases durante a combustão dos RSU, principalmente a dos gases ácidos. Em Portugal o tratamento dos RSU é sobretudo por eliminação, deposição directa em aterro sanitário, tendo ocupado em 2012, uma percentagem de 54% do total dos RSU produzidos, no entanto a valorização tem vindo a desenvolver-se e actualmente cerca de 21% dos resíduos produzidos é valorizado energeticamente. Do mesmo modo, a Reciclagem e a valorização orgânica têm progredido nos últimos anos, embora lentamente. A formação dos gases ácidos é influenciada sobretudo pela composição física dos RSU, que contêm na sua matriz materiais constituídos por átomos de azoto, enxofre, cloro e fluor e por certas condições operatórias de incineração, nomeadamente temperatura elevadas, humidade e excesso de ar. A composição física dos resíduos é um parâmetro não controlável pelo operador do sistema de tratamento dos gases, pelo que as condições de incineração devem ser adequadamente controladas, no âmbito de prevenir ou reduzir a formação destes gases. A CTRSU da Valorsul apresenta, em geral, um sistema de tratamento dos gases eficiente, garantido assim que os valores limites de emissão dos gases se encontrem em conformidade com a lei. No entanto, para cumprir este requisito é necessário um consumo excessivo da amónia e leite de cal utilizados no tratamento destes gases. O elevado consumo destes reagentes deve-se sobretudo à dificuldade de optimização da dosagem dos mesmos, como VI consequência de um atraso verificado no sistema de controlo dos gases implementado na Central, “Sample and Hold PID”. Este atraso é de aproximadamente dois minutos e é causado pelo tempo em que os gases levam a percorrer o ponto onde é feita a injecção dos reagentes até ao ponto de extracção dos gases na chaminé, mais o tempo de atraso imposto pelo sistema de monitorização em contínuo das emissões. Através do software simulink do MATLAB realizou-se uma simples simulação do sistema de controlo de emissão dos gases NOx e caudal de amónia, em malha aberta com controlador proporcional, com o objectivo de reproduzir os resultados obtidos através de um controlo real em malha aberta realizada na CTRSU. Verificou-se que estes estão de acordo com o esperado, ou seja as saídas dos controladores do caudal de amónia e concentração do NOx, correspondem às variações efectuadas na válvula de regulação de amónia. Como possíveis soluções teóricas para a redução do atraso do sistema, sugeriu-se a introdução de um compensador de atraso baseado na técnica de Predição de Smith, no sistema de controlo já implementado, ou a implementação de um novo sistema de controlo baseado em sistemas de inteligências artificiais, nomeadamente as Redes Neuronais.

Produção e acúmulo de nutrientes em povoamento de eucalipto em consequência da intensidade do desbaste e da fertilização

O objetivo deste trabalho foi estimar a produção de madeira e biomassa, bem como a quantidade de nutrientes acumulada, em povoamento de eucalipto submetido a intensidades de desbaste e à fertilização pós-desbaste. O experimento foi realizado em blocos ao acaso, em parcelas subdividas, com duas repetições dos tratamentos dentro de cada bloco. Nas parcelas, foram avaliadas quatro intensidades de desbaste (0, 20, 35 e 50%) e, nas subparcelas, as condições com e sem fertilização pós-desbaste. O desbaste foi realizado aos 89 meses e a aplicação da fertilização aos 99 meses. Os dados foram coletados aos 125 meses. O desbaste influenciou o crescimento em diâmetro, área basal, volume de madeira e biomassa. A fertilização pós-desbaste não afetou o acúmulo de nutrientes pelo povoamento nem sua produção. O acúmulo de nutrientes na parte aérea e no tronco foi inversamente proporcional à intensidade dos desbastes. O conteúdo de Ca na serapilheira variou de acordo com os desbastes, e o de K, Ca, Mg e S de acordo com a fertilização. O desbaste tem maior influência do que a fertilização na produção florestal pós-desbaste.