Aplicação do lean construction no controlo e gestão em processos de produção

O presente trabalho é constituído por uma descrição das metodologias de fabrico de misturas betuminosas a quente, identificação de normas e requisitos a cumprir pelos materiais constituintes para cada tipo de mistura e sua função. Os princípios Lean definiram a lógica de trabalho do novo sistema de gestão e controlo de processos na produção de misturas betuminosas na TGA. A filosofia do pensamento Lean tem origem no sistema de produção da Toyota (TPS, Toyota Production System), criado por Taiichi Ohno (1988), os seus resultados foram tão evidentes que iniciou-se um processo de estudo sobre o conceito aplicado. Lean Thinking, (“pensamento magro“), foi utilizado pela primeira vez por James Womack e Daniel Jones em 1996 como conceito de liderança e gestão empresarial, sendo desde então aplicado este termo mundialmente como filosofia de gestão baseada na criação de valoratravés de eliminação do desperdício. Lean Construction utiliza os princípios Lean e aplica à construção civil, pode ser definida como uma forma de organizar a produção minimizando o desperdício de materiais, tempo e esforço. Alcançado através de uma melhoria sistemática de processos de construção, dos métodos de selecção de fornecimento e confiança no trabalho. A Lean Construction está em desenvolvimento em todo o mundo, mas em Portugal não se verifica essa tendência. Foi efectuado um estudo de todas as actividades realizadas no fabrico e controlo de misturas betuminosas, permitindo identificar desperdícios e aplicar medidas de eficiência produtiva. Analise e apresentação de resultados obtidos com a aplicação dos novos processos de gestão, controlo e produção nos centros de produção. Este trabalho demonstra que a introdução da filosofia Lean permite aumentar níveis de eficiência tornando a empresa mais competitiva.

Construction and evaluation of cysteine selective electrodes for FIA analysis of pharmaceuticals

A flow injection analysis (FIA) system comprising a cysteine selective electrode as detection system was developed for determination of this amino acid in pharmaceuticals. Several electrodes were constructed for this purpose, having PVC membranes with different ionic exchangers and mediator solvents. Better working characteristics were attained with membranes comprising o-nitrophenyl octyl ether as mediator solvent and a tetraphenylborate based ionic-sensor. Injection of 500 µL standard solutions into an ionic strength adjuster carrier (3x10-3 M) of barium chloride flowing at 2.4mL min-1, showed linearity ranges from 5.0x10-5 to 5.0x10-3 M, with slopes of 76.4±0.6mV decade-1 and R2>0.9935. Slope decreased significantly under the requirement of a pH adjustment, selected at 4.5. Interference of several compounds (sodium, potassium, magnesium, barium, glucose, fructose, and sucrose) was estimated by potentiometric selectivity coefficients and considered negligible. Analysis of real samples were performed and considered accurate, with a relative error to an independent method of +2.7%.

Chlormequat selective electrodes: construction, evaluation and application at FIA systems

A flow injection analysis (FIA) system having a chlormequat selective electrode is proposed. Several electrodes with poly(vinyl chloride) based membranes were constructed for this purpose. Comparative characterization suggestedthe use of membrane with chlormequat tetraphenylborate and dibutylphthalate. On a single-line FIA set-up, operating with 1x10-2 mol L-1 ionic strength and 6.3 pH, calibration curves presented slopes of 53.6±0.4mV decade-1 within 5.0x10-6 and1.0x10-3 mol L-1, andsquaredcorrelation coefficients >0.9953. The detection limit was 2.2x10-6 mol L-1 and the repeatability equal to ±0.68mV (0.7%). A dual-channel FIA manifold was therefore constructed, enabling automatic attainment of previous ionic strength andpH conditions and thus eliminating sample preparation steps. Slopes of 45.5±0.2mV decade -1 along a concentration range of 8.0x10-6 to 1.0x10-3 mol L-1 with a repeatability ±0.4mV (0.69%) were obtained. Analyses of real samples were performed, and recovery gave results ranging from 96.6 to 101.1%.

Influence of wearing an unstable shoe construction on compensatory control of posture

This study investigated the influence of wearing unstable shoe construction (WUS) on compensatory postural adjustments (CPA) associated with external perturbations. Thirty-two subjects stood on a force platform resisting an anterior-posterior horizontal force applied to a pelvic belt via a cable, which was suddenly released. They stood under two conditions: barefoot and WUS. The electromyographic (EMG) activity of gastrocnemius medialis, tibialis anterior, rectus femoris, biceps femoris, rectus abdominis, and erector spinae muscles and the center of pressure (CoP) displacement were acquired to study CPA. The EMG signal was used to assess individual muscle activity and latency, antagonist co-activation and reciprocal activation at joint and muscle group levels. Compared to barefoot, WUS led to: (1) increased gastrocnemius medialis activity, (2) increased total agonist activity, (3) decreased antagonist co-activation at the ankle joint and muscle group levels, (4) increased reciprocal activation at the ankle joint and muscle group levels, and (5) decrease in all muscle latencies. No differences were observed in CoP displacement between conditions. These findings demonstrate that WUS led to a reorganization of the postural control system associated to improved performance of some components of postural control responses.

O lean construction e a gestão de projeto na abertura e remodelação de lojas Sonae MC

Trabalho de Projeto

Polyglutamine diseases (PolyQ): construction and characterization of yeast models

Dissertação apresentada para a obtenção do Grau de Mestre em Genética Molecular e Biomedicina, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Weekly tracking of stability of the flow of conversations into the subprocesses of the Last Planner System

21st Annual Conference of the International Group for Lean Construction – IGLC 21 – Fortaleza, Brazil

Electrodialytic remediation of two types of air pollution control residues and their applicability in construction materials

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente Perfil de Engenharia de Sistemas Ambientais

Therapeutics bioconjugates: evaluation of iminoboronates as payload delivery system for cancer

The advent of bioconjugation impacted deeply the world of sciences and technology. New biomolecules were found, biological processes were understood, and novel methodologies were formed due to the fast expansion of this area. The possibility of creating new effective therapies for diseases like cancer is one of big applications of this now big area of study. Off target toxicity was always the problem of potent small molecules with high activity towards specific tumour targets. However, chemotherapy is now selective due to powerful linkers that connect targeting molecules with affinity to interesting biological receptors and cytotoxic drugs. This linkers must have very specific properties, such as high stability in plasma, no toxicity, no interference with ligand affinity nor drug potency, and at the same time, be able to lyse once inside the target molecule to release the therapeutic warhead. Bipolar environments between tumour intracellular and extracellular medias are usually exploited by this linkers in order to complete this goal. The work done in this thesis explores a new model for that same task, specific cancer drug delivery. Iminoboronates were studied due to its remarkable selective stability towards a wide pH range and endogenous molecules. A fluorescence probe was design to validate this model by creating an Off/On system and determine the payload release location in situ. A process was optimized to synthetize the probe 8-(1-aminoethyl)-7-hydroxy-coumarin (1) through a reductive amination reaction in a microwave reactor with 61 % yield. A method to conjugate this probe to ABBA was also optimized, obtaining the iminoboronate in good yields in mild conditions. The iminoboronate model was studied regarding its stability in several simulated biological environments and each half-life time was determined, showing the conjugate is stable most of the cases except in tumour intracellular systems. The construction of folate-ABBA-coumarin bioconjugate have been made to complete this evaluation. The ability to be uptaken by a cancer cell through endocytosis process and the conjugation delivery of coumarin fluorescence payload are two features to hope for in this construct.

Continuous monitoring of concrete mechanical properties since an early age to support construction phasing

The assessment of concrete mechanical properties during construction of concrete structures is of paramount importance for many intrinsic operations. However many of the available non-destructive methods for mechanical properties have limitations for use in construction sites. One of such methodologies is EMM-ARM, which is a variant of classic resonant frequency methods. This paper aims to demonstrate the efforts towards in-situ applicability of EMMARM, as to provide real-time information about concrete mechanical properties such as E-modulus and compressive strength. To achieve the aforementioned objective, a set of adaptations to the method have been successfully implemented and tested: (i) the reduction of the beam span; (ii) the use of a different mould material and (iii) a new support system for the beams. Based on these adaptations, a reusable mould was designed to enable easier systematic use of EMMARM. A pilot test was successfully performed under in-situ conditions during a bridge construction.

Lightweight adjustable partition system: evaluation of resistance to horizontal loads and functional failure from impacts

This paper presents and discusses the results of the serviciability and use condition tests carried on an innovative solution for partitions, designated AdjustMembrane developed within a research project. The proposed system is a modular non-loadbearing wall, tensioned between the pavements and ceiling slabs, which are used as anchoring elements. It allows several advantages, related with the weight reduction to achieve a good sustainable performance, such as the reduction of construction costs, energy, and materials, and it is easy to recycle and to reuse, allowing self-construction. Apart from a general presentation of the partition technology, this paper presents and discusses the results of experimental tests carried out. From the results obtained, it is possible to conclude that the solution fulfils the requirements for this typology of wall in terms of resistance to horizontal loads induced by soft and hard body impacts.

An evolutionary multi-objective optimization system for earthworks

Earthworks involve the levelling or shaping of a target area through the moving or processing of the ground surface. Most construction projects require earthworks, which are heavily dependent on mechanical equipment (e.g., excavators, trucks and compactors). Often, earthworks are the most costly and time-consuming component of infrastructure constructions (e.g., road, railway and airports) and current pressure for higher productivity and safety highlights the need to optimize earthworks, which is a nontrivial task. Most previous attempts at tackling this problem focus on single-objective optimization of partial processes or aspects of earthworks, overlooking the advantages of a multi-objective and global optimization. This work describes a novel optimization system based on an evolutionary multi-objective approach, capable of globally optimizing several objectives simultaneously and dynamically. The proposed system views an earthwork construction as a production line, where the goal is to optimize resources under two crucial criteria (costs and duration) and focus the evolutionary search (non-dominated sorting genetic algorithm-II) on compaction allocation, using linear programming to distribute the remaining equipment (e.g., excavators). Several experiments were held using real-world data from a Portuguese construction site, showing that the proposed system is quite competitive when compared with current manual earthwork equipment allocation.

Study of natural ventilation for a modular façade system in wind tunnel tests

Wind tunnel tests are a reliable tool to determine the effect of natural ventilation on buildings. This paper presents results of wind tunnel tests conducted to evaluate the influence of ventilation modules positioning on a façade system. Modules positioning was modified, resulting in different façade configurations. The tests were carried out with the use of a model, varying the position of the ventilation modules in the façade configuration. The cases tested were six ventilation modules positioned below the window-sill (ventilated window-sill), and three ventilation modules positioned above and below the façade. The façade system proposed was movable and interchangeable so that the same basic model could be used to test the possibilities for ventilation. Wind speed measurements were taken inside and outside the model for the different façades configurations to evaluate the best performance in relation to natural ventilation. Singleâ sided and Cross ventilation were considered for wind speed measurements. Results show the use of six ventilation modules positioned below the window-sill, forming "a ventilated window-sill" is the best solution in terms of natural ventilation.

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.