Enhancing Security Requirements Engineering by Organisational Learning

More and more software projects today are security-related in one way or the other. Requirements engineers often fail to recognise indicators for security problems which is a major source of security problems in practice. Identifying security-relevant requirements is labour-intensive and errorprone. In order to facilitate the security requirements elicitation process, we present an approach supporting organisational learning on security requirements by establishing company-wide experience resources, and a socio-technical network to benefit from them. The approach is based on modelling the flow of requirements and related experiences. Based on those models, we enable people to exchange experiences about security-requirements while they write and discuss project requirements. At the same time, the approach enables participating stakeholders to learn while they write requirements. This can increase security awareness and facilitate learning on both individual and organisational levels. As a basis for our approach, we introduce heuristic assistant tools which support reuse of existing security-related experiences. In particular, they include Bayesian classifiers which issue a warning automatically when new requirements seem to be security-relevant. Our results indicate that this is feasible, in particular if the classifier is trained with domain specific data and documents from previous projects. We show how the ability to identify security-relevant requirements can be improved using this approach. We illustrate our approach by providing a step-by-step example of how we improved the security requirements engineering process at the European Telecommunications Standards Institute (ETSI) and report on experiences made in this application.

Spiny lobster fishery on the southwest coast of Portugal: conciliating fisheries and conservation

Dissertação de mest., Aquacultura e Pescas (Pescas), Faculdade de Ciências e Tecnologia, Univ. do Algarve, 2011

Monitoring of urban transportation networks using wireless sensor networks

Dissertação de mestrado, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015

QoS improvement in TCP/IP-based wireless sensor networks using cross-layer optimization

Dissertação de Mestrado, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015

Arithmetic bit recycling data compression

La compression des données est la technique informatique qui vise à réduire la taille de l’information pour minimiser l’espace de stockage nécessaire et accélérer la transmission des données dans les réseaux à bande passante limitée. Plusieurs techniques de compression telles que LZ77 et ses variantes souffrent d’un problème que nous appelons la redondance causée par la multiplicité d’encodages. La multiplicité d’encodages (ME) signifie que les données sources peuvent être encodées de différentes manières. Dans son cas le plus simple, ME se produit lorsqu’une technique de compression a la possibilité, au cours du processus d’encodage, de coder un symbole de différentes manières. La technique de compression par recyclage de bits a été introduite par D. Dubé et V. Beaudoin pour minimiser la redondance causée par ME. Des variantes de recyclage de bits ont été appliquées à LZ77 et les résultats expérimentaux obtenus conduisent à une meilleure compression (une réduction d’environ 9% de la taille des fichiers qui ont été compressés par Gzip en exploitant ME). Dubé et Beaudoin ont souligné que leur technique pourrait ne pas minimiser parfaitement la redondance causée par ME, car elle est construite sur la base du codage de Huffman qui n’a pas la capacité de traiter des mots de code (codewords) de longueurs fractionnaires, c’est-à-dire qu’elle permet de générer des mots de code de longueurs intégrales. En outre, le recyclage de bits s’appuie sur le codage de Huffman (HuBR) qui impose des contraintes supplémentaires pour éviter certaines situations qui diminuent sa performance. Contrairement aux codes de Huffman, le codage arithmétique (AC) peut manipuler des mots de code de longueurs fractionnaires. De plus, durant ces dernières décennies, les codes arithmétiques ont attiré plusieurs chercheurs vu qu’ils sont plus puissants et plus souples que les codes de Huffman. Par conséquent, ce travail vise à adapter le recyclage des bits pour les codes arithmétiques afin d’améliorer l’efficacité du codage et sa flexibilité. Nous avons abordé ce problème à travers nos quatre contributions (publiées). Ces contributions sont présentées dans cette thèse et peuvent être résumées comme suit. Premièrement, nous proposons une nouvelle technique utilisée pour adapter le recyclage de bits qui s’appuie sur les codes de Huffman (HuBR) au codage arithmétique. Cette technique est nommée recyclage de bits basé sur les codes arithmétiques (ACBR). Elle décrit le cadriciel et les principes de l’adaptation du HuBR à l’ACBR. Nous présentons aussi l’analyse théorique nécessaire pour estimer la redondance qui peut être réduite à l’aide de HuBR et ACBR pour les applications qui souffrent de ME. Cette analyse démontre que ACBR réalise un recyclage parfait dans tous les cas, tandis que HuBR ne réalise de telles performances que dans des cas très spécifiques. Deuxièmement, le problème de la technique ACBR précitée, c’est qu’elle requiert des calculs à précision arbitraire. Cela nécessite des ressources illimitées (ou infinies). Afin de bénéficier de cette dernière, nous proposons une nouvelle version à précision finie. Ladite technique devienne ainsi efficace et applicable sur les ordinateurs avec les registres classiques de taille fixe et peut être facilement interfacée avec les applications qui souffrent de ME. Troisièmement, nous proposons l’utilisation de HuBR et ACBR comme un moyen pour réduire la redondance afin d’obtenir un code binaire variable à fixe. Nous avons prouvé théoriquement et expérimentalement que les deux techniques permettent d’obtenir une amélioration significative (moins de redondance). À cet égard, ACBR surpasse HuBR et fournit une classe plus étendue des sources binaires qui pouvant bénéficier d’un dictionnaire pluriellement analysable. En outre, nous montrons qu’ACBR est plus souple que HuBR dans la pratique. Quatrièmement, nous utilisons HuBR pour réduire la redondance des codes équilibrés générés par l’algorithme de Knuth. Afin de comparer les performances de HuBR et ACBR, les résultats théoriques correspondants de HuBR et d’ACBR sont présentés. Les résultats montrent que les deux techniques réalisent presque la même réduction de redondance sur les codes équilibrés générés par l’algorithme de Knuth.

Feminine Identities

The first four essays in this volume all focus on issues of gender in the works of different English authors and thinkers. Shorter versions of each of these essays were formerly presented as papers in an autonomous section of the Research and Educational Programme on Studies of Identity at the XXth Meeting of the Portuguese Association of Anglo-American Studies (Póvoa de Varzim, 1999) and published in the proceedings of the conference. The second cluster of essays in this volume — two of which (Jennie Wang’s and Teresa Cid’s) were first presented, in shorter versions, at the joint ASA/CAAS Conference (Montréal, 1999) — addresses the work of American women variously engaged in contexts of cultural diversity and grappling with the ideas of what it means to be an American and a woman, particularly in the twentieth century. These essays approach, from different angles, the definitional quandaries and semantic difficulties encountered when speaking about the self and the United States and provide, in one way or another, a sort of feminine rewriting of American myths and history.

Seafood consumption in Portugal : patterns, drivers and sustainability

Tese de doutoramento, Ciências do Mar, Universidade de Lisboa, Faculdade de Ciências, 2014

Application of WRF-Chem to Forecasting PM10 Concentration over Poland

The meteorological and chemical transport model WRF-Chem was implemented to forecast PM10 concentrations over Poland. WRF-Chem version 3.5 was configured with three one way nested domains using the GFS meteorological data and the TNO MACC II emissions. Forecasts, with 48h lead time, were run for a winter and summer period 2014. WRF-Chem in general captures the variability in observed PM10 concentrations, but underestimates some peak concentrations during winter-time. The peaks coincide with either stable atmospheric condition during nighttime in the lower part of the planetary boundary layer or on days with very low surface temperatures. Such episodes lead to increased combustion in residential heating, where hard coal is the main fuel in Poland. This suggests that a key to improvement in the model performance for the peak concentrations is to focus on the simulation of PBL processes and the distribution of emissions with high resolution in WRF-Chem.

Application of the WRF-Chem Model for a High Ozone Episode in SW Poland – Preliminary Results

The Weather Research and Forecasting model, integrated online with chemistry module, is a multi-scale model suitable for both research and operational forecasts of meteorology and air quality. It is used by many institutions for a variety of applications. In this study, the WRF v3.5 with chemistry (WRF-Chem) is applied to the area of Poland, for a period of 3-20 July 2006, when high concentrations of ground level ozone were observed. The meteorological and chemistry simulations were initiated with ERA-Interim reanalysis and TNO MACC II emissions database, respectively. The model physical parameterization includes RRTM shortwave radiation, Kain-Fritsch cumulus scheme, Purdue Lin microphysics and ACM2 PBL, established previously as the optimal configuration. Chemical mechanism used for the study was RADM2 with MADE/SORGAM aerosols. Simulations were performed for three one-way nested domains covering Europe (36 km x 36 km), Central Europe (12 km x 12 km) and Poland (4 km x 4 km). The results from the innermost domain were analyzed and compared to measurements of ozone concentration at three stations in different environments. The results show underestimation of observed values and daily amplitude of ozone concentrations.

Affective Instability, Childhood Trauma and Major Affective Disorders

BACKGROUND: Affective instability (AI), childhood trauma, and mental illness are linked, but evidence in affective disorders is limited, despite both AI and childhood trauma being associated with poorer outcomes. Aims were to compare AI levels in bipolar disorder I (BPI) and II (BPII), and major depressive disorder recurrent (MDDR), and to examine the association of AI and childhood trauma within each diagnostic group. METHODS: AI, measured using the Affective Lability Scale (ALS), was compared between people with DSM-IV BPI (n=923), BPII (n=363) and MDDR (n=207) accounting for confounders and current mood. Regression modelling was used to examine the association between AI and childhood traumas in each diagnostic group. RESULTS: ALS scores in descending order were BPII, BPI, MDDR, and differences between groups were significant (p<0.05). Within the BPI group any childhood abuse (p=0.021), childhood physical abuse (p=0.003) and the death of a close friend in childhood (p=0.002) were significantly associated with higher ALS score but no association was found between childhood trauma and AI in BPII and MDDR. LIMITATIONS: The ALS is a self-report scale and is subject to retrospective recall bias. CONCLUSIONS: AI is an important dimension in bipolar disorder independent of current mood state. There is a strong link between childhood traumatic events and AI levels in BPI and this may be one way in which exposure and disorder are linked. Clinical interventions targeting AI in people who have suffered significant childhood trauma could potentially change the clinical course of bipolar disorder.

The Professional Legitimacy of the Taiwan-educated versus US-educated Taiwanese English Teachers

Thesis (Ph.D.)--University of Washington, 2015

A case-control study of the health and wellbeing benefits of allotment gardening

Background - Allotments in the UK are popular and waiting lists long. There is, however, little evidence on the health benefits of allotment gardening. The aims of this study were to determine the impacts of a session of allotment gardening on self-esteem and mood and to compare the mental well-being of allotment gardeners with non-gardeners. Methods - Self-esteem, mood and general health were measured in 136 allotment gardeners pre- and post- an allotment session, and 133 non-gardener controls. Allotment gardeners also detailed the time spent on their allotment in the current session and previous 7 days, and their length of tenure. Results - Paired t-tests revealed a significant improvement in self-esteem (P < 0.05) and mood (P < 0.001) as a result of one allotment session. Linear regression revealed that neither the time spent on the allotment in the current session, the previous 7 days or the length of tenure affected the impacts on self-esteem and mood (P > 0.05). One-way ANCOVA revealed that allotment gardeners had a significantly better self-esteem, total mood disturbance and general health (P < 0.001), experiencing less depression and fatigue and more vigour (P < 0.0083). Conclusions - Allotment gardening can play a key role in promoting mental well-being and could be used as a preventive health measure

A Comparative Study of a Low Doppler Shift in a Carrier Tracking Loop for GPS

This paper compares a carrier tracking scenario when a received Global Positioning System (GPS) signal has low Doppler frequency. It is shown that if the Numerically Controlled Oscillator (NCO) is quantized to 1 bit, the carrier tracking loop is unable to keep track of the incoming signal which leaves the tracking loop oscillating between the upper and lower bounds of the tracking loop bandwidth. One way of overcoming this problem is presented and compared with another existing solution, found in the literature, providing comparative results from the use of real-recorded off the air GPS L1 signals. Results show that the proposed method performs better tracking performance compared with the existing solution which it requires much less hardware complexity.

Colapsos de pontes: lições aprendidas

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Estruturas

Biomechanical modeling and simulation of the spider crab (maja brachydactyla)

Uma linha de pesquisa e desenvolvimento na área da robótica, que tem recebido atenção crescente nos últimos anos, é o desenvolvimento de robôs biologicamente inspirados. A ideia é adquirir conhecimento de seres biológicos, cuja evolução ocorreu ao longo de milhões de anos, e aproveitar o conhecimento assim adquirido para implementar a locomoção pelos mesmos métodos (ou pelo menos usar a inspiração biológica) nas máquinas que se constroem. Acredita-se que desta forma é possível desenvolver máquinas com capacidades semelhantes às dos seres biológicos em termos de capacidade e eficiência energética de locomoção. Uma forma de compreender melhor o funcionamento destes sistemas, sem a necessidade de desenvolver protótipos dispendiosos e com longos tempos de desenvolvimento é usar modelos de simulação. Com base nestas ideias, o objectivo deste trabalho passa por efectuar um estudo da biomecânica da santola (Maja brachydactyla), uma espécie de caranguejo comestível pertencente à família Majidae de artrópodes decápodes, usando a biblioteca de ferramentas SimMechanics da aplicação Matlab / Simulink. Esta tese descreve a anatomia e locomoção da santola, a sua modelação biomecânica e a simulação do seu movimento no ambiente Matlab / SimMechanics e SolidWorks.