Implementation of a lean six sigma project in a production line

Companies from the motorcycles components branch are dealing with a dynamic environment, resulting from the introduction of new products and the increase of market demand. This dynamic environment requires frequent changes in production lines and requires flexibility in the processes, which can cause reductions in the level of quality and productivity. This paper presents a Lean Six Sigma improvement project performed in a production line of the company's machining sector, in order to eliminate losses that cause low productivity, affecting the fulfillment of the production plan and customer satisfaction. The use of Lean methodology following the DMAIC stages allowed analyzing the factors that influence the line productivity loss. The major problems and causes that contribute to a reduction on productivity and that were identified in this study are the lack of standardization in the setup activities and the excessive stoppages for adjustment of the processes that caused an increase of defects. Control charts, Pareto analysis and cause-and-effect diagrams were used to analyze the problem. On the improvement stage, the changes were based on the reconfiguration of the line layout as well as the modernization of the process. Overall, the project justified an investment in new equipment, the defective product units were reduced by 84% and an increase of 29% of line capacity was noticed.

Reconfiguração e novas funcionalidades para um servidor REST ONVIF: serviço de IO e configuração de descoberta

Dissertação de mestrado em Engenharia de Telecomunicações e Informática

Da luta contra o crime aos riscos. As consequências extra prisionais da reclusão feminina

Entre o leque de políticas penais atualmente disponíveis e legitimadas na contenção da criminalidade, a reclusão constitui a forma predominante para sancionar transgressores. Procurando alargar o debate sobre as penas de prisão, este artigo explora, através de entrevistas com 20 mulheres reclusas, os processos de reconfiguração e reestruturação das responsabilidades femininas na decorrência da reclusão de mulheres e analisa as implicações socioeconómicas da ausência feminina nos agregados domésticos. Os resultados evidenciam que a reclusão de mulheres desencadeia ou agrava posições de vulnerabilidade social e instabilidade económica, afetando sobretudo crianças, mulheres e idosos.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Final report detailed description - NET Station: shaping radio for web environment

In more scientific terms, NET Station contributed to: - discuss in theoretical terms the role radio still play in contemporary societies; - examine how audiences are using sound resources on the Web; - draw up a new theoretical framework for the study of the reconfiguration of radio language on the Internet;acknowledge that people are not abandoning radio as a medium; the survey applied by the team demonstrated that there is a complementariness between traditional radio and radio on the Internet; - understand that people expect more interactivity, more opportunities to participate in content production and more diversity of contents. These results were shared with editors responsible for Portuguese radio and might influence the offer made available by these radio corporations from now on; - demonstrate that the Internet is underexplored in terms of sound and acoustic communication; - promote the production of new sound narratives to be available on the Internet;