Caracterização de betão com terra para aplicação em construção modular prefabricada

2º CIHEL - Congresso Internacional da Habitação no Espaço Lusófono, LNEC, Lisboa, 13-15 Março 2013

Child programming: an adequate domain specific language for programming specific robots

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Eco-wall modular solutions for buildings

This paper discusses the development of modular solutions for eco low-cost houses based on a pre-fabricated modular wall system environmentally sustainable, socioeconomically competitive and geared towards developing African nations with a housing deficit. The key point to the research of a modular wall solution is a structural layer complemented with local and materials made by non-specialized workforce. This wall also meets also hydrothermal acoustic and mechanical properties. Thus,the solution also offers good safety and interior comfort conditions to its users while maintaining the flexibility to expand the size of the house. Parameters as dimensions, materials and constructive processes of the existing housing stock were studied. Features such as the family size, typology, different uses, common materials, existing regulations, minimal living conditions, safety and comfort have also been considered to achieve the most efficient solution.

Estudo do comportamento acústico de protótipo inovador para compartimentação modular interior

A presente dissertação consiste no estudo acústico de um módulo amovível para compartimentação interior, considerando um primeiro protótipo, ainda em desenvolvimento. É um elemento vertical de divisão de espaços interiores, pré-fabricado que não requer a utilização de calhas ou apoio técnico, de rápido e fácil posicionamento, ajustável ao pé direito do local onde é instalado, mantendo, ainda assim, as características chave de uma divisória convencional. Um conjunto de módulos deste tipo, dispostos linearmente, formarão um divisor que permitirá a personalização de qualquer área interior, nomeadamente habitações, escritórios, galerias, entre outros. A principal característica que diferencia este elemento das soluções existentes actualmente no mercado é a sua mobilidade depender exclusivamente de um conjunto de rolamentos integrados na base de cada módulo. Através de um sistema de elevação incorporado, o utilizador pode baixar o módulo, movê-lo para a posição desejada e voltar a elevá-lo até que este fique comprimido contra a laje do tecto, ficando assim estável. O trabalho realizado pretendeu aprofundar conhecimentos na área de acústica para que possam ser introduzidas modificações num segundo protótipo a ser desenvolvido futuramente. Dessa forma, realizaram-se diversos ensaios que decorreram no laboratório de acústica do LNEC. Inicialmente procedeu-se à materialização de um ensaio de absorção sonora, realizado para uma única tipologia do módulo, e efectuou-se um mapeamento de medições do nível de pressão sonora. A execução de adaptações no sistema e a abertura na parede, que separa as câmaras reverberantes, possibilitou a concretização de diversos ensaios de isolamento sonoro a sons aéreos para diferentes tipologias do mesmo. Os resultados destes ensaios permitiram não só concluir quais os materiais que deverão ser preferencialmente contemplados neste tipo de solução, com vista a um melhor desempenho acústico, como também adiantar dados adicionais que poderão ser relevantes na fase de projecto deste tipo de estruturas aligeiradas.

Preliminary study of the acoustic behavior concerning an innovative prototype for indoor modular partitioning

This paper presents a preliminary acoustic study concerning the development of the first prototype of a patented removable module for interior partitioning. It is a prefabricated, vertical element for division of interior spaces that does not require the use of gutters or technical support. A set of such modules, linearly disposed, will create a division, allowing the personalization of any indoor area, including open office spaces, rooms, among others. The main characteristic that distinguishes this element from the existing solutions available on the market is that its mobility relies exclusively on a set of integrated bearings at the base of each module. Through an incorporated elevation system, the user can lower the module, move it to the desired position and re-elevate it until pressed against the ledge of the ceiling, making it stable. In this sense, and taking into account its acoustic behavior, several tests were made in the LNEC acoustics lab. Airborne sound insulation tests for different typologies of the prototype were conducted, according to the applicable standards EN ISO 354:2003, EN ISO 717-1:2013 and EN ISO 10140-2:2010. Some important conclusions and analysis of the prototype viability were extracted.

Família de DSLs para integrated modular avionics

Na atualidade existe a necessidade de produzir novos aviões de forma rápida, eficiente e económica com o objetivo de abrir novas rotas de voo, expansão das já existentes e substituição de aviões em fim de vida útil. Neste contexto, e sem nunca deixar de cumprir os apertados requisitos do domínio que incluem a exigência de elevada qualidade, a indústria adotou a arquitetura IMA que permite executar várias aplicações aviónicas num único sistema de computação partilhado. Com esta arquitetura, o desenvolvimento do software para as aeronaves ganhou uma elevada relevância, sendo necessário gerar código automaticamente, reutilizar código já testado proveniente de outras aplicações anteriormente desenvolvidas e garantir o mais cedo possível que o software desenvolvido se encontra de acordo com os standards. Apesar da complexidade do domínio, desenvolveu-se uma ferramenta que permite produzir a estrutura do código de novas aplicações para a aviónica. Aferramenta lida com a variabilidade das diversas linhas de produto e reduz o tempo de desenvolvimento. Uma DSL poderia ser uma solução apropriada, pois permite cobrir diversos requisitos exigidos, no entanto, esta solução não é exequível porque seria necessário produzir uma linguagem para cada configuração de software aviónico diferente se pretendêssemos tirar partido da especificidade. Com esta dissertação, solucionou-se esta dificuldade com recurso à noção de família de DSLs. Trata-se de um conjunto de linguagens para um domínio específico, que apresentam um conjunto comum de conceitos chave, mas que adaptam alguns desses conceitos para cumprir a variabilidade dos requisitos. Utilizou-se a abordagem MDD para desenvolver um gerador automático de DSLs que é capaz de produzir a linguagem desejada de acordo com a configuração de software pretendida para a partição pertencente a um módulo aviónico. As linguagens geradas apresentam um nível de usabilidade adequada para o domínio, bem como têm a capacidade de validar as construções efetuadas usando a DSL e produzir os artefactos pretendidos.

Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

The use of a modular titanium endoprosthesis in skeletal reconstructions after bone tumor resections: method presentation and analysis of 37 cases

We analyzed 37 patients who underwent segmental wide resection of bone tumors and reconstruction with a modular titanium endoprosthesis at the Orthopaedic Oncology Group, between 1992 and 1998. Twelve patients were male and 25 were female, with a mean age of 30 years (9 - 81). The mean follow-up was 14 months (2 - 48). The diagnoses were: osteosarcoma (14 cases), metastatic carcinoma (10), Ewing's sarcoma (4), giant cell tumor (4), malignant fibrous histiocytoma (3), chondrosarcoma (1), and aneurysmal bone cyst (1). Eleven articulated total knee, 8 partial proximal femur with bipolar acetabulum, 8 partial proximal humerus, 3 total femur, 2 partial proximal tibia, 2 diaphyseal femur, 2 diaphyseal humerus, and 1 total proximal femur with cementless acetabulum endoprosthesis implant procedures were done. The complications related to the procedure included: infection (5 cases), dislocation (3), module loosening (1), and ulnar nerve paresthesia (1). We used the following criteria for the clinical evaluation: presence of pain, range of motion, reconstruction stability, surgical and oncologic complications, and patient acceptance. The results were good in 56.8% of the cases, regular in 32.4% and poor in 10.8%.

Quadratic programming versus second order con programming in portfolio optimization

Despite the extensive literature in finding new models to replace the Markowitz model or trying to increase the accuracy of its input estimations, there is less studies about the impact on the results of using different optimization algorithms. This paper aims to add some research to this field by comparing the performance of two optimization algorithms in drawing the Markowitz Efficient Frontier and in real world investment strategies. Second order cone programming is a faster algorithm, appears to be more efficient, but is impossible to assert which algorithm is better. Quadratic Programming often shows superior performance in real investment strategies.

Implementação de um modelo de geometric semantic genetic programming para aplicação naval

Recaí sob a responsabilidade da Marinha Portuguesa a gestão da Zona Económica Exclusiva de Portugal, assegurando a sua segurança da mesma face a atividades criminosas. Para auxiliar a tarefa, é utilizado o sistema Oversee, utilizado para monitorizar a posição de todas as embarcações presentes na área afeta, permitindo a rápida intervenção da Marinha Portuguesa quando e onde necessário. No entanto, o sistema necessita de transmissões periódicas constantes originadas nas embarcações para operar corretamente – casos as transmissões sejam interrompidas, deliberada ou acidentalmente, o sistema deixa de conseguir localizar embarcações, dificultando a intervenção da Marinha. A fim de colmatar esta falha, é proposto adicionar ao sistema Oversee a capacidade de prever as posições futuras de uma embarcação com base no seu trajeto até à cessação das transmissões. Tendo em conta os grandes volumes de dados gerados pelo sistema (históricos de posições), a área de Inteligência Artificial apresenta uma possível solução para este problema. Atendendo às necessidades de resposta rápida do problema abordado, o algoritmo de Geometric Semantic Genetic Programming baseado em referências de Vanneschi et al. apresenta-se como uma possível solução, tendo já produzido bons resultados em problemas semelhantes. O presente trabalho de tese pretende integrar o algoritmo de Geometric Semantic Genetic Programming desenvolvido com o sistema Oversee, a fim de lhe conceder capacidades preditivas. Adicionalmente, será realizado um processo de análise de desempenho a fim de determinar qual a ideal parametrização do algoritmo. Pretende-se com esta tese fornecer à Marinha Portuguesa uma ferramenta capaz de auxiliar o controlo da Zona Económica Exclusiva Portuguesa, permitindo a correta intervenção da Marinha em casos onde o atual sistema não conseguiria determinar a correta posição da embarcação em questão.

Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.

Affordable prefabricated modular houses using cement and polymer based materials and advanced design tools

By taking advantage of the appropriate use of cement and polymer based materials and advanced computational tools, a pre-fabricated affordable house was built in a modular system. Modular system refers to the complete structure that is built-up by assembling pre-fabricated sandwich panels composed of steel fibre reinforced self-compacting concrete (SFRSCC) outer layers that are connected by innovative glass fibre reinforced polymer (GFRP) connectors, resulting in a panel with adequate structural, acoustic, and thermal insulation properties. The modular house was prepared for a typical family of six members, but its living area can be easily increased by assembling other pre-fabricated elements. The speed of construction and the cost of the constructive elements make these houses competitive when compared to traditional solutions. In this paper the relevant research subjacent to this project (LEGOUSE) is briefly described, as well as the construction process of the built real scale prototype.

Engineering modular viral scaffolds for targeted bacterial population editing

Bacteria are central to human health and disease, but existing tools to edit microbial consortia are limited. For example, broad-spectrum antibiotics are unable to precisely manipulate bacterial communities. Bacteriophages can provide highly specific targeting of bacteria, but assembling well-defined phage cocktails solely with natural phages can be a time-, labor- and cost-intensive process. Here, we present a synthetic biology strategy to modulate phage host ranges by engineering phage genomes in Saccharomyces cerevisiae. We used this technology to redirect Escherichia coli phage scaffolds to target pathogenic Yersinia and Klebsiella bacteria, and conversely, Klebsiella phage scaffolds to target E. coli by modular swapping of phage tail components. The synthetic phages achieved efficient killing of their new target bacteria and were used to selectively remove bacteria from multi-species bacterial communities with cocktails based on common viral scaffolds. We envision this approach accelerating phage biology studies and enabling new technologies for bacterial population editing.