Auditoria dos sistemas de informação das instituições financeiras

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Melhoria do processo produtivo da Schmitt+Sohn Elevadores - Porto

Este projeto teve como objetivo a utilização de ferramentas e conceitos Lean, para análise e implementação da Melhoria de Processos em ambiente fabril, com o intuito de melhorar o sistema produtivo em algumas secções da empresa SCHMITT+SOHN Elevadores. Pretende-se nesta primeira fase uma melhoria na comunicação entre os vários setores fabris, assim como uma melhoria no fluxo dos materiais. Pretende-se igualmente uma simplificação das ações dos operadores nos seus locais de trabalho. Foi para isso necessário, numa fase inicial, a recolha e análise dos diversos dados necessários ao trabalho proposto. Foram feitos diversos VSM’s e análises de fluxo em duas secções da empresa, com o intuito de estudar a situação atual e posteriormente proceder à implementação de um sistema Kanban. Foram também analisados problemas a nível de stocks e armazenamento de matéria-prima e materiais diversos tendo sido concretizadas diversas soluções. O trabalho que apresentamos foi fortemente condicionado por imperativos ditados pela empresa, tendo o nosso estudo e aplicações praticas um suporte de apenas 3 meses. No restante período estivemos condicionados pela empresa a trabalhos de conhecimento do funcionamento da mesma, formação em Kaizen e preparação para as implementações de VSM e Kanban. Nesta fase é ainda prematura a validação dos resultados obtidos nas secções, visto que o processo para a implementação do sistema Kanban ainda se encontra em fase de desenvolvimento.

Adequações curriculares para os alunos com necessidades educativas especiais no 1º Ciclo do Ensino Básico: um estudo exploratório em três concelhos de Lisboa e de Vale do Tejo

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação, especialidade Educação Especial, ramo Problemas de Cognição e Multideficiência

Pattern operators for grid

The definition and programming of distributed applications has become a major research issue due to the increasing availability of (large scale) distributed platforms and the requirements posed by the economical globalization. However, such a task requires a huge effort due to the complexity of the distributed environments: large amount of users may communicate and share information across different authority domains; moreover, the “execution environment” or “computations” are dynamic since the number of users and the computational infrastructure change in time. Grid environments, in particular, promise to be an answer to deal with such complexity, by providing high performance execution support to large amount of users, and resource sharing across different organizations. Nevertheless, programming in Grid environments is still a difficult task. There is a lack of high level programming paradigms and support tools that may guide the application developer and allow reusability of state-of-the-art solutions. Specifically, the main goal of the work presented in this thesis is to contribute to the simplification of the development cycle of applications for Grid environments by bringing structure and flexibility to three stages of that cycle through a commonmodel. The stages are: the design phase, the execution phase, and the reconfiguration phase. The common model is based on the manipulation of patterns through pattern operators, and the division of both patterns and operators into two categories, namely structural and behavioural. Moreover, both structural and behavioural patterns are first class entities at each of the aforesaid stages. At the design phase, patterns can be manipulated like other first class entities such as components. This allows a more structured way to build applications by reusing and composing state-of-the-art patterns. At the execution phase, patterns are units of execution control: it is possible, for example, to start or stop and to resume the execution of a pattern as a single entity. At the reconfiguration phase, patterns can also be manipulated as single entities with the additional advantage that it is possible to perform a structural reconfiguration while keeping some of the behavioural constraints, and vice-versa. For example, it is possible to replace a behavioural pattern, which was applied to some structural pattern, with another behavioural pattern. In this thesis, besides the proposal of the methodology for distributed application development, as sketched above, a definition of a relevant set of pattern operators was made. The methodology and the expressivity of the pattern operators were assessed through the development of several representative distributed applications. To support this validation, a prototype was designed and implemented, encompassing some relevant patterns and a significant part of the patterns operators defined. This prototype was based in the Triana environment; Triana supports the development and deployment of distributed applications in the Grid through a dataflow-based programming model. Additionally, this thesis also presents the analysis of a mapping of some operators for execution control onto the Distributed Resource Management Application API (DRMAA). This assessment confirmed the suitability of the proposed model, as well as the generality and flexibility of the defined pattern operators

Uma nova proposta de tributação em IRC para as micro e pequenas empresas

Mestrado em Fiscalidade

Copper-organic frameworks assembled from in situ generated 5-(4-pyridyl) tetrazole building blocks: synthesis, structural features, topological analysis and catalytic oxidation of alcohols

Two new metal- organic compounds {[Cu-3(mu(3)-4-(p)tz)(4)(mu(2)-N-3)(2)(DMF)(2)](DMF)(2)}(n) (1) and {[Cu(4ptz) (2)(H2O)(2)]}(n) (2) {4-ptz = 5-(4-pyridyl)tetrazolate} with 3D and 2D coordination networks, respectively, have been synthesized while studying the effect of reaction conditions on the coordination modes of 4-pytz by employing the [2 + 3] cycloaddition as a tool for generating in situ the 5-substituted tetrazole ligands from 4-pyridinecarbonitrile and NaN3 in the presence of a copper(II) salt. The obtained compounds have been structurally characterized and the topological analysis of 1 discloses a topologically unique trinodal 3,5,6-connected 3D network which, upon further simplification, results in a uninodal 8-connected underlying net with the bcu (body centred cubic) topology driven by the [Cu-3(mu(2)-N-3)(2)] cluster nodes and mu(3)-4-ptz linkers. In contrast, the 2D metal-organic network in 2 has been classified as a uninodal 4-connected underlying net with the sql [Shubnikov tetragonal plane net] topology assembled from the Cu nodes and mu(2)-4-ptz linkers. The catalytic investigations disclosed that 1 and 2 act as active catalyst precursors towards the microwave-assisted homogeneous oxidation of secondary alcohols (1-phenylethanol, cyclohexanol, 2-hexanol, 3-hexanol, 2-octanol and 3-octanol) with tert-butylhydroperoxide, leading to the yields of the corresponding ketones up to 86% (TOF = 430 h(-1)) and 58% (TOF = 290 h(-1)) in the oxidation of 1-phenylethanol and cyclohexanol, respectively, after 1 h under low power ( 10 W) microwave irradiation, and in the absence of any added solvent or additive.

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Implementação ferramenta LEAN – TPM - serrote mecânico alternativo

Presentemente, com a economia cada vez mais globalizada e com a grande competitividade do mercado, as empresas de produção procuram cada vez mais ajustar-se às exigências dos clientes. Por esse motivo, o controlo do fluxo produtivo torna-se imprescindível para a resolução de problemas e para a própria melhoria contínua do processo. O sistema “Lean Manufacturing”, é um conjunto de atividades que tem como meta o aumento da capacidade de resposta às mudanças e à minimização dos desperdícios na produção, constituindo-se num verdadeiro empreendimento de gestão inovadora. O TPM – Total Productive Maintenance, é uma ferramenta de melhoria continua cada vez mais utilizada nas empresas com o objetivo de melhorar a eficiência dos seus equipamentos e atingir metas para a redução de desperdícios, incluindo a restauração e manutenção de condições padrão de funcionamento. O presente trabalho visa a implementação da ferramenta TPM num equipamento (Serrote Mecânico Alternativo) instalado no Laboratório das Oficinas Mecânicas do Instituto Superior de Engenharia do Porto. No contexto prático, este trabalho consistiu numa primeira fase por implementar a ferramenta 5S´s no posto de trabalho do equipamento em estudo. Durante esta implementação foi possível detetar algumas anomalias no equipamento, tendo sido sujeitas a uma análise para encontrar as suas causas raiz. Posteriormente foi implementada a ferramenta TPM, de modo, a criar melhores condições de acesso e simplificação das atividades de inspeção, lubrificação e limpeza. Além disso, foi executado e proposto algumas oportunidades de melhoria em alguns elementos, de forma a reduzir tempos de operação e tempos de setup, contribuindo para o aumento da eficiência do equipamento.

Time-domain optimization of amplifiers based on distributed genetic algorithms

Thesis presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the subject of Electrical and Computer Engineering

Projeto de conceito e estrutura de website para o combate ao abandono animal em Portugal

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.

Impact of Distributed Generation in the Transmission System Expansion Planning

In this work, the impact of distributed generation in the transmission expansion planning will be simulated through the performance of an optimization process for three different scenarios: the first without distributed generation, the second with distributed generation equivalent to 1% of the load, and the third with 5% of distributed generation. For modeling the expanding problem the load flow linearized method using genetic algorithms for optimization has been chosen. The test circuit used is a simplification of the south eastern Brazilian electricity system with 46 buses.

Melhoria/simplificação ergonómica de linhas de montagem

Hoje em dia, com os avanços constantes na indústria, novas áreas começam cada vez mais a ser foco de atenção por parte das organizações. Motivados pela procura de melhores condições para os seus colaboradores e por todos os benefícios que este tipo de intervenção oferece, tanto a curto, como principalmente a médio e longo prazo, a Grohe Portugal, mais especificamente o seu departamento de montagem, achou relevante potenciar a aplicação da Ergonomia nos seus postos de trabalho. Posto isto, esta dissertação pretende apresentar o trabalho desenvolvido junto da organização que teve como objetivo projetar e executar uma linha de montagem que tivesse em consideração os seguintes aspetos: • Ergonomia; • Automatização ou semi-automatização de operações; • Simplificação de aspetos operacionais; • Sistemas de abastecimento mais robustos e de fácil uso; • Simplificação de setups; • Definição de dimensões normalizadas para futuros projetos. As soluções encontradas tiveram como objetivo primordial satisfazer o maior número possível de colaboradores, sendo que para tal foram utilizados dados referentes a antropometria da população Portuguesa. Para a realização e conclusão deste projeto, o trabalho foi decomposto em varias etapas, de entre as quais se destacam: • Analise e estudo dos métodos de montagem; • Levantamento de todos os componentes e operações que constituem o processo de fabrico das diversas famílias onde foram implementados novos projetos; • Definição e uniformização da estrutura das novas linhas de montagem; • Estudo e definição da disposição dos componentes na nova linha, bem como da sua forma de abastecimento; • Projeto da linha de montagem em 3D com recurso ao software SolidWorks (DassaultSystemes, 2014); • Montagem final da linha, bem como o acompanhamento da sua fase de arranque. Durante o estagio foi ainda pensado e implementado um projeto paralelo com vista a constante manutenção e melhoria do departamento de montagem cujo objetivo, através de “plant walks”, e detetar de entre outras, situações de falta de identificação de componentes ou equipamentos, degradação de ferramentas, fugas ou derrames nas linhas, etc. O balanco final do trabalho foi bastante positivo, tendo-se alcançado melhorias em alguns índices de qualidade, tempos de abastecimento e condições ergonómicas dos postos de trabalho que sofreram intervenção, tendo essas melhorias resultado numa avaliação positiva por parte dos colaboradores que integram essas mesmas linhas.

A auditoria das Pequenas e Médias Empresas em Portugal: presente e futuro

Dissertação de Mestrado apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria sob orientação de Adalmiro Álvaro Malheiro de Castro Andrade Pereira

Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

Measures in Sectorization Problems

Sectorization means dividing a whole into parts (sectors), a procedure that occurs in many contexts and applications, usually to achieve some goal or to facilitate an activity. The objective may be a better organization or simplification of a large problem into smaller sub-problems. Examples of applications are political districting and sales territory division. When designing/comparing sectors some characteristics such as contiguity, equilibrium and compactness are usually considered. This paper presents and describes new generic measures and proposes a new measure, desirability, connected with the idea of preference.