Energy-efficient diversity combining for different access schemes in a multi-path dispersive channel

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e Computadores

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Eco-efficient earthen plasters: The influence of the addition of natural fibers.

Clayish earth-based mortars are been recognized, all over the world, as eco-efficient products for plastering. Apart from being a product with low embodied energy when compared to other types of plasters, their application on the interior surface of walls may give a strong contribution for the health and comfort of inhabitants. As part of an ongoing research regarding earth-based plasters this work assesses the influence of the addition of two types of natural fibres – oat straw and typha fiber-wool – on the characteristics of plastering mortars made with a clayish earth. Mechanical and physical characteristics were tested, showing that addition of these fibers contribute to decrease linear drying shrinkage and thermal conductivity, as well as promoting the adhesion strength of plaster to the substrate. The improvement of mechanical resistance reveal to be dependent on the type of fiber added while the hygroscopic capacity of the plaster is maintained regardless of the fiber additions.

Experimental characterization of an earth eco-efficient plastering mortar

Earthen plastering mortars are becoming recognized as highly eco-efficient. The assessment of their technical properties needs to be standardized but only the German standard DIN 18947 exists for the moment. An extended experimental campaign was developed in order to assess multiple properties of a ready-mixed earth plastering mortar and also to increase scientific knowledge of the influence of test procedures on those properties. The experimental campaign showed that some aspects related to the equipment, type of samples and sample preparation can be very important, while others seemed to have less influence on the results and the classification of mortars. It also showed that some complementary tests can easily be performed and considered together with the standardized ones, while others may need to be improved. The plaster satisfied the requirements of the existing German standard but, most importantly, it seemed adequate for application as rehabilitation plaster on historic and modern masonry buildings. Apart from their aesthetic aspect, the contribution of earthen plasters to eco-efficiency and particularly to hygrometric indoor comfort should be highlighted.

EDP inovcity pilot study proposal: A set-top box interface

In this work I propose an additional test to be implemented in EDP’s residential electricity use feedback trials, under InovCity’s project scope. The proposed product to be tested consists of an interface between the smart meter and the television, through a set-top box. I provide a theoretical framework of the importance of feedback, an analysis of results from past studies involving smart metering, and a detailed description of my proposal. The results of a self-developed questionnaire related to the proposal and segmentation issues are also analyzed. Finally, general conclusions are drawn and potential future improvements and challenges are presented.

User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

Introducing mapping standards in the quality assessment of buildings extracted from very high resolution satellite imagery

Many municipal activities require updated large-scale maps that include both topographic and thematic information. For this purpose, the efficient use of very high spatial resolution (VHR) satellite imagery suggests the development of approaches that enable a timely discrimination, counting and delineation of urban elements according to legal technical specifications and quality standards. Therefore, the nature of this data source and expanding range of applications calls for objective methods and quantitative metrics to assess the quality of the extracted information which go beyond traditional thematic accuracy alone. The present work concerns the development and testing of a new approach for using technical mapping standards in the quality assessment of buildings automatically extracted from VHR satellite imagery. Feature extraction software was employed to map buildings present in a pansharpened QuickBird image of Lisbon. Quality assessment was exhaustive and involved comparisons of extracted features against a reference data set, introducing cartographic constraints from scales 1:1000, 1:5000, and 1:10,000. The spatial data quality elements subject to evaluation were: thematic (attribute) accuracy, completeness, and geometric quality assessed based on planimetric deviation from the reference map. Tests were developed and metrics analyzed considering thresholds and standards for the large mapping scales most frequently used by municipalities. Results show that values for completeness varied with mapping scales and were only slightly superior for scale 1:10,000. Concerning the geometric quality, a large percentage of extracted features met the strict topographic standards of planimetric deviation for scale 1:10,000, while no buildings were compliant with the specification for scale 1:1000.

Impact of chromossomal structure on the evolution of Schizosaccharomyces pombe undergoing Mutation Accumulation

Large chromosomal rearrangements are common in natural populations and thought to be involved in speciation events. In this project, we used experimental evolution to determine how the speed of evolution and the type of accumulated mutations depend on the ancestral chromosomal structure and genotype. We utilized two Wild Type strains and a set of genetically engineered Schizosaccharomyces pombe strains, different solely in the presence of a certain type of chromosomal variant (inversions or translocations), along with respective controls. Previous research has shown that these chromosomal variants have different fitness levels in several environments, probably due to changes in the gene expression along the genome. These strains were propagated in the laboratory at very low population sizes, in which we expect natural selection to be less efficient at purging deleterious mutations. We then measured these strains’ changes in fitness throughout this accumulation of deleterious mutations, comparing the evolutionary trajectories in the different rearrangements to understand if the chromosomal structure affected the speed of evolution. We also tested these mutations for possible epistatic effects and estimated their parameters: the number of arising deleterious mutations per generation (Ud) and each one’s mean effect (sd).

ReedCob – An eco-efficient building technology for monolithic walls based on earth and reeds

4th Conference COST ACTION FP1303 – Designing with Bio-based Materials – Challenges and opportiunities. INIA – CSIC, Madrid, 24-25 February 2016. Book of abstracts, T.Troya, J.Galván, D.Jones (Eds.), INIA and IETcc – CSIS, pg. 79-80 (ISBN: 978-91-88349-16-3)

Frequency-domain receiver design for doubly-selective channels

This work is devoted to the broadband wireless transmission techniques, which are serious candidates to be implemented in future broadband wireless and cellular systems, aiming at providing high and reliable data transmission and concomitantly high mobility. In order to cope with doubly-selective channels, receiver structures based on OFDM and SC-FDE block transmission techniques, are proposed, which allow cost-effective implementations, using FFT-based signal processing. The first subject to be addressed is the impact of the number of multipath components, and the diversity order, on the asymptotic performance of OFDM and SC-FDE, in uncoded and for different channel coding schemes. The obtained results show that the number of relevant separable multipath components is a key element that influences the performance of OFDM and SC-FDE schemes. Then, the improved estimation and detection performance of OFDM-based broadcasting systems, is introduced employing SFN (Single Frequency Network) operation. An initial coarse channel is obtained with resort to low-power training sequences estimation, and an iterative receiver with joint detection and channel estimation is presented. The achieved results have shown very good performance, close to that with perfect channel estimation. The next topic is related to SFN systems, devoting special attention to time-distortion effects inherent to these networks. Typically, the SFN broadcast wireless systems employ OFDM schemes to cope with severely time-dispersive channels. However, frequency errors, due to CFO, compromises the orthogonality between subcarriers. As an alternative approach, the possibility of using SC-FDE schemes (characterized by reduced envelope fluctuations and higher robustness to carrier frequency errors) is evaluated, and a technique, employing joint CFO estimation and compensation over the severe time-distortion effects, is proposed. Finally, broadband mobile wireless systems, in which the relative motion between the transmitter and receiver induces Doppler shift which is different or each propagation path, is considered, depending on the angle of incidence of that path in relation to the direction of travel. This represents a severe impairment in wireless digital communications systems, since that multipath propagation combined with the Doppler effects, lead to drastic and unpredictable fluctuations of the envelope of the received signal, severely affecting the detection performance. The channel variations due this effect are very difficult to estimate and compensate. In this work we propose a set of SC-FDE iterative receivers implementing efficient estimation and tracking techniques. The performance results show that the proposed receivers have very good performance, even in the presence of significant Doppler spread between the different groups of multipath components.

How aspiring filmmakers cope with unexpected events on set

Making the transition between plans and unexpected occurrences is something organizations are used to doing every day. However, not much is known about how actors cope with unanticipated events and how they accommodate them within predefined schedules. In this study, we draw on an inductive analysis of aspiring filmmakers’ film sets to elaborate on how they plan their shooting activities every day, only to adjust them when unforeseen complications arise. We discover that film crews anchor their expectations for the day based on a planned shooting schedule, yet they incorporate a built-in assumption that it will inevitably be disrupted. We argue that they resort to triage processes and “troubleshooting protocols” that help decipher incoming problems. Familiar problems are solved by making use of experience obtained from past situations, whereas unprecedented problems are solved through a tacit protocol used as a tool to quickly devise an appropriate game plan. This study contributes to the literature on sense-making and provides valuable information about the unexplored world of filmmaking.

Regret associated with past and future messes under a maximizing mind-set

Promotions can make you happy if you get the “best” deal or miserable if you miss it. Previous research on this topic has shown that people favor products associated with a past miss to products associated with a future miss, and people in a maximizing mind-set, i.e. people who search for the best in different domains, feel more regret in a consumption domain. This research confirms that consumers prefer purchasing a product associated with a past miss (Experiments 1 and 2) and that regret levels are higher when participants come across the future miss, under the maximizing mind-set (Experiment 2). These studies add to the notion that information on regret might prompt people to make decisions towards a more optimistic outcome.