55 resultados para Symbolic Execution
em Universidade do Minho
Resumo:
This work was supported by FCT (Fundação para a Ciência e Tecnologia) within Project Scope (UID/CEC/00319/2013), by LIP (Laboratório de Instrumentação e Física Experimental de Partículas) and by Project Search-ON2 (NORTE-07-0162- FEDER-000086), co-funded by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte), under the National Strategic Reference Framework, through the European Regional Development Fund.
Resumo:
Doctoral Program in Computer Science
Resumo:
The selective collection of municipal solid waste for recycling is a very complex and expensive process, where a major issue is to perform cost-efficient waste collection routes. Despite the abundance of commercially available software for fleet management, they often lack the capability to deal properly with sequencing problems and dynamic revision of plans and schedules during process execution. Our approach to achieve better solutions for the waste collection process is to model it as a vehicle routing problem, more specifically as a team orienteering problem where capacity constraints on the vehicles are considered, as well as time windows for the waste collection points and for the vehicles. The final model is called capacitated team orienteering problem with double time windows (CTOPdTW).We developed a genetic algorithm to solve routing problems in waste collection modelled as a CTOPdTW. The results achieved suggest possible reductions of logistic costs in selective waste collection.
Resumo:
Relatório de estágio de mestrado em Ensino de Educação Física nos Ensinos Básico e Secundário
Resumo:
Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1ºCiclo do Ensino Básico
Resumo:
This paper aims to evaluate experimentally the potentialities of Hybrid Composite Plates (HCPs) technique for the shear strengthening of reinforced concrete (RC) beams that were previously subjected to intense damage in shear. HCP is a thin plate of Strain Hardening Cementitious Composite (SHCC) reinforced with Carbon Fiber Reinforced Polymer (CFRP) laminates. For this purpose, an experimental program composed of two series of beams (rectangular and T cross section) was executed to assess the strengthening efficiency of this technique. In the first step of this experimental program, the control beams, without steel stirrups, were loaded up to their shear failure, and fully unloaded. Then, these pre-damaged beams were shear strengthened by applying HCPs to their lateral faces by using a combination of epoxy adhesive and mechanical anchors. The bolts were applied with a certain torque in order to increase the concrete confinement. The obtained results showed that the increase of load carrying capacity of the damaged strengthened beams when HCPs were applied with epoxy adhesive and mechanical anchors was 2 and 2.5 times of the load carrying capacity of the corresponding reference beams (without HCPs) for the rectangular and T cross section beam series, respectively. To further explore the potentialities of the HCPs technique for the shear strengthening, the experimental tests were simulated using an advanced numerical model by a FEM-based computer program. After demonstration the good predictive performance of the numerical model, a parametric study was executed to highlight the influence of SHCC as an alternative for mortar, as well as the influence of torque level applied to the mechanical anchors, on the load carrying capacity of beams strengthened with the proposed technique.
Resumo:
Os académicos estão a tornar-se uma presença cada vez mais visível nos plateaux informativos da TV portuguesa. Não são um grupo muito diversificado. Pelo contrário. Apresentam-se como uma confraria que é oriunda das universidades de Lisboa e pertence a um reduzido número de campos de saberes. Aos plateaux televisivos portugueses dificilmente chegará o fazer-ciência concreto. O que chega são alguns dos seus actores, o que não significa que o consigam por um efeito de reconhecimento inter pares, mas, antes, por um efeito de verdadeiras imparidades: porque já adquiriram suficiente capital simbólico em zonas exteriores ao campo científico. Zonas mais limítrofes, como o campo institucional-académico, ou zonas mais afastadas, como o campo comunicacional.
Resumo:
Dissertação de mestrado em Construção e Reabilitação Sustentável
Resumo:
Dissertação de mestrado em Marketing e Estratégia
Resumo:
Dissertação de mestrado em Engenharia Informática
Resumo:
Dissertação de Mestrado em Engenharia Informática
Resumo:
Dissertação de mestrado em Bioinformática
Resumo:
Developing and implementing data-oriented workflows for data migration processes are complex tasks involving several problems related to the integration of data coming from different schemas. Usually, they involve very specific requirements - every process is almost unique. Having a way to abstract their representation will help us to better understand and validate them with business users, which is a crucial step for requirements validation. In this demo we present an approach that provides a way to enrich incrementally conceptual models in order to support an automatic way for producing their correspondent physical implementation. In this demo we will show how B2K (Business to Kettle) system works transforming BPMN 2.0 conceptual models into Kettle data-integration executable processes, approaching the most relevant aspects related to model design and enrichment, model to system transformation, and system execution.
Resumo:
During the last few years many research efforts have been done to improve the design of ETL (Extract-Transform-Load) systems. ETL systems are considered very time-consuming, error-prone and complex involving several participants from different knowledge domains. ETL processes are one of the most important components of a data warehousing system that are strongly influenced by the complexity of business requirements, their changing and evolution. These aspects influence not only the structure of a data warehouse but also the structures of the data sources involved with. To minimize the negative impact of such variables, we propose the use of ETL patterns to build specific ETL packages. In this paper, we formalize this approach using BPMN (Business Process Modelling Language) for modelling more conceptual ETL workflows, mapping them to real execution primitives through the use of a domain-specific language that allows for the generation of specific instances that can be executed in an ETL commercial tool.
Resumo:
Modeling Extract-Transform-Load (ETL) processes of a Data Warehousing System has always been a challenge. The heterogeneity of the sources, the quality of the data obtained and the conciliation process are some of the issues that must be addressed in the design phase of this critical component. Commercial ETL tools often provide proprietary diagrammatic components and modeling languages that are not standard, thus not providing the ideal separation between a modeling platform and an execution platform. This separation in conjunction with the use of standard notations and languages is critical in a system that tends to evolve through time and which cannot be undermined by a normally expensive tool that becomes an unsatisfactory component. In this paper we demonstrate the application of Relational Algebra as a modeling language of an ETL system as an effort to standardize operations and provide a basis for uncommon ETL execution platforms.