Teoria de Conjuntos em Isabelle

Francisco Miguel A. C. de Sousa Dionísio

Sistema para formação e avaliação dos operadores das máquinas de inspeção ótica automática

A montagem de circuitos eletrónicos é um processo extremamente complexo, e como tal muito difícil de controlar. Ao longo do processo produtivo, é colocada solda no PCB (printed circuit board), seguidamente são colocados os componentes eletrónicos que serão depois soldados através de um sistema de convecção, sendo por fim inspecionados todos os componentes, com o intuito de detetar eventuais falhas no circuito. Esta inspeção é efetuada por uma máquina designada por AOI (automatic optical inspection), que através da captura de várias imagens do PCB, analisa cada uma, utilizando algoritmos de processamento de imagem como forma de verificar a presença, colocação e soldadura de todos os componentes. Um dos grandes problemas na classificação dos defeitos relaciona-se com a quantidade de defeitos mal classificados que passam para os processos seguintes, por análise errada por parte dos operadores. Assim, apenas com uma formação adequada, realizada continuamente, é possível garantir uma menor taxa de falhas por parte dos operadores e consequentemente um aumento na qualidade dos produtos. Através da implementação da metodologia Gage R&R para atributos, que é parte integrante da estratégia “six sigma” foi possível analisar a aptidão dos operadores, com base na repetição aleatória de várias imagens. Foi desenvolvido um software que implementa esta metodologia na formação dos operadores das máquinas AOI, de forma a verificar a sua aptidão, tendo como objetivo a melhoria do seu desempenho futuro, através da medição e quantificação das dificuldades de cada pessoa. Com esta nova sistemática foi mais fácil entender a necessidade de formação de cada operador, pois com a constante evolução dos componentes eletrónicos e com o surgimento de novos componentes, estão implícitas novas dificuldades para os operadores neste tipo de tarefa. Foi também possível reduzir o número de defeitos mal classificados de forma significativa, através da aposta na formação com o auxílio do software desenvolvido.

DEMONSTRAÇÃO DE RESULTADO ECONÔMICO: PERCEPÇÃO DO COMANDO DA AERONÁUTICA DO BRASIL

No ano de 2010, uma alteração no quadro normativo brasileiro introduziu a Demonstração do Resultado Econômico (DRE) para o setor público, que busca comparar custos internos de produção com valores de mercado, segundo o conceito de custo de oportunidade. Este estudo procura analisar as possíveis respostas estratégicas dos gestores , buscando perceber se a cultura contábil existente no País permite a aceitação do novo instrumento. Por meio das percepções dos agentes públicos do Comando da Aeronáutica (Comaer), no Brasil, conclui-se que a resposta estratégica dos entrevistados tende para a atitude de aceitação da nova rotina, demonstrando traços de menor conservadorismo e maior interesse pela evidenciação de resultados.

A demonstração do resultado econômico e sistemas de custeamento como instrumentos de evidenciação do cumprimento do princípio constitucional da eficiência, produção de governança e accountability no setor público: uma aplicação na Procuradoria-Geral do Município de São Paulo

Este artigo discorre sobre a demonstração do resultado econômico e sistemas de custeamento como instrumentos de evidenciação do cumprimento do princípio constitucional da eficiência, produção de governança e accountability no setor público para a minimização da assimetria informacional entre o Estado e a sociedade. O referencial teórico tem por base os ensinamentos do seminal paper de Ronald Coase (1937), A natureza da firma, transpostos para a administração pública. A pesquisa é descritivo-quantitativa, e os dados, referentes ao exercício financeiro de 2006, foram coletados por meio de análise documental na Procuradoria-Geral do Município de São Paulo (PGMSP). A pesquisa empírica sugere que a demonstração do resultado econômico (R$ 184.836.115,11) possibilita a evidenciação do cumprimento do princípio constitucional da eficiência, ao comparar a receita econômica produzida (R$ 302.894.295,11) aos custos e despesas incorridos na sua prestação (R$ 118.058.180,00), e cria novo paradigma relacionado aos aspectos de governança e accountability na gestão pública, capaz de produzir informação à sociedade e ao administrador público para a tomada de decisões gerenciais

A influência da fixação na demonstração do glicogénio

A fixação é fundamental para a preservação dos tecidos e é o primeiro passo de uma técnica histológica de rotina cujo objectivo final é obter uma boa visualização das estruturas e, no caso da anatomia patológica, um diagnóstico. Algumas substâncias presentes nos tecidos, como é o caso do glicogénio, necessitam de uma solução fixadora específica capaz de prevenir a dispersão das suas moléculas, sendo a fixação do glicogénio favorecida se essa solução contiver álcool ou ácido pícrico na sua constituição. A preservação do glicogénio é fundamental porque da sua identificação podem depender diagnósticos, utilizando-se colorações histoquímicas como o Periodic Acid Schiff e o Carmim de Best para a sua visualização. Este estudo pretende comparar a qualidade da demonstração do glicogénio com PAS e Carmim de Best, em tecidos fixados com diferentes soluções fixadoras. O estudo foi efectuado a partir de cortes histológicos de fígados de porco, fixados em formol 10%, formol 10% tamponado, formol alcoólico, solução de Bouin e solução de Gendre e procedeu-se à análise estatística das avaliações feitas às lâminas. As soluções fixadoras que apresentaram melhores resultados para ambas as colorações foram o formol 10% tamponado e a solução de Gendre. Foi possível concluir que, numa fixação de 24 horas, o formol 10% tamponado pode ser utilizado com um risco mínimo de comprometer a preservação e demonstração do glicogénio. Em alternativa a esta solução fixadora, utilizada na rotina laboratorial, a solução de Gendre mostrou ser um fixador eficaz.

Detecção automática de bagagem abandonada

Por razões de segurança, tem vindo a aumentar a utilização de sistemas de videovigilância em espaços públicos. Face a acontecimentos recentes, designadamente a ocorrência de explosões, é importante detectar bagagem abandonada porque poderá ser perigosa. Surge neste contexto a motivação para este trabalho, cujo objectivo é a detecção automática de objectos abandonados num lugar de embarque e desembarque de passageiros. O sistema desenvolvido processa as imagens obtidas pelas câmaras de videovigilância. Para cada câmara, cada imagem é comparada com a respectiva imagem de fundo, determinada inicialmente, para detectar alterações no local. Após processamento para remover efeitos de sombra e pontos espúrios, a representação binária das alterações é projectada no plano do chão e fundida com as outras projecções. Através da análise da fusão das projecções, identificam-se as blobs, designação da representação de passageiros e bagagem neste domínio. A detecção de bagagem abandonada baseia-se na ideia de que isso corresponde à divisão de uma blob em duas, permanecendo uma no local onde ocorreu a bifurcação e tendo havido afastamento da outra. Usando os dados de referência do encontro Performance Evaluation of Tracking and Surveillance, realizado em 2006, discute-se o desempenho do protótipo implementado e a sua parametrização e apresentam-se aspectos de refinamento e implementação da heurística de detecção. Analisada a utilização de imagens de um sistema de videovigilância instalado com outra finalidade, constata-se a forte dependência em relação ao número e disposição das câmaras, que neste caso, se revela desadequada.

Aprendizagem automática baseada em algoritmos genéticos

Ao me ter sido apresentado o tema focado neste trabalho, a curiosidade apoderou-se de mim para tentar perceber o que eram os algoritmos genéticos, a aprendizagem automática e a aplicação dos algoritmos genéticos sobre este tipo de aprendizagem e onde é que estas técnicas podiam ser aplicadas. Assim, neste trabalho é realizado um estudo destes temas relativamente ao seu funcionamento, aplicabilidade, problemas e soluções existentes, bem como, a comparação entre duas das mais conhecidas abordagens ao nível da aprendizagem automática baseada em algoritmos genéticos. São no fim apresentados programas exemplificativos de implementações de aplicação de algoritmos genéticos a problemas de optimização/descoberta e de aprendizagem automática. Este texto está organizado em cinco capítulos, sendo o primeiro a introdução, o segundo é uma apresentação dos algoritmos genéticos, no terceiro capítulo é apresentada a técnica de aprendizagem automática baseada em algoritmos genéticos, as suas diferentes abordagens e implementações, aplicabilidade e comparação entre abordagens. No quarto capítulo são apresentados alguns exemplos práticos que pretendem demonstrar a forma como se implementam algumas das abordagens referidas nos capítulos anteriores com o intuito de ver o seu funcionamento na prática e comparar diferentes algoritmos no mesmo problema.

Projecto timecloud: software de gestão de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.

Demonstração da viabilidade de implementação de uma central de cogeração a um centro informático

A compactação dos equipamentos de tecnologia de informação e os aumentos simultâneos no consumo de energia dos processadores levam a que seja assegurada a distribuição adequada de ar frio, a remoção do ar quente, a capacidade adequada de arrefecimento e uma diminuição do consumo de energia. Considerando-se a cogeração como uma alternativa energeticamente eficiente em relação a outros métodos de produção de energia, com este trabalho faz-se a análise à rentabilidade de uma eventual integração de um sistema de cogeração num centro informático.

Sistema de contagem de tráfego e classificação automática de veículos, em tempo real e sem fios

Esta tese tem por objectivo o desenho e avaliação de um sistema de contagem e classificação de veículos automóveis em tempo-real e sem fios. Pretende, também, ser uma alternativa aos actuais equipamentos, muito intrusivos nas vias rodoviárias. Esta tese inclui um estudo sobre as comunicações sem fios adequadas a uma rede de equipamentos sensores rodoviários, um estudo sobre a utilização do campo magnético como meio físico de detecção e contagem de veículos e um estudo sobre a autonomia energética dos equipamentos inseridos na via, com recurso, entre outros, à energia solar. O projecto realizado no âmbito desta tese incorpora, entre outros, a digitalização em tempo real da assinatura magnética deixada pela passagem de um veículo, no campo magnético da Terra, o respectivo envio para servidor via rádio e WAN, Wide Area Network, e o desenvolvimento de software tendo por base a pilha de protocolos ZigBee. Foram desenvolvidas aplicações para o equipamento sensor, para o coordenador, para o painel de controlo e para a biblioteca de Interface de um futuro servidor aplicacional. O software desenvolvido para o equipamento sensor incorpora ciclos de detecção e digitalização, com pausas de adormecimento de baixo consumo, e a activação das comunicações rádio durante a fase de envio, assegurando assim uma estratégia de poupança energética. Os resultados obtidos confirmam a viabilidade desta tecnologia para a detecção e contagem de veículos, assim como para a captura de assinatura usando magnetoresistências. Permitiram ainda verificar o alcance das comunicações sem fios com equipamento sensor embebido no asfalto e confirmar o modelo de cálculo da superfície do painel solar bem como o modelo de consumo energético do equipamento sensor.

NCRF 2: demonstração dos fluxos de caixa e suas implicações fiscais e de auditoria

Dissertação para obtenção do Grau de Mestre em Auditoria Orientador: Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira