Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

Hierarchical modelling of timber reference properties using probabilistic methods: Maximum Likelihood Method, Bayesian Methods and Probability Networks

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.

Envolvimento parental no desporto

O presente conjunto de investigações pretendeu estudar o envolvimento parental na competição desportiva de crianças e jovens. Baseado no modelo do envolvimento parental no desporto (Teques & Serpa, 2009), o estudo permitiu concretizar dois objectivos fundamentais. Primeiro, desenvolver um conjunto de escalas válidas e fidedignas para aceder aos constructos incluídos no modelo teórico. Segundo, testar as hipóteses fundamentadas na estrutura conceptual do modelo com o propósito de compreender (1) a razão porque os pais se envolvem no desporto dos filhos, (2) quais os comportamentos utilizados pelos pais durante o envolvimento, e (3) como é que o envolvimento influencia o contexto de realização do jovem atleta. No total, participaram voluntariamente 1620 pais e 1665 jovens atletas de vários desportos individuais e coletivos, com idades compreendidas entre os 9 e os 18 anos. A prossecução dos objectivos teve por base uma série de três estudos independentes. Os resultados do primeiro estudo sugerem que as crenças do papel parental, a auto-eficácia, a perceção das invocações oriundas do treinador e do jovem atleta, o tempo e energia disponíveis, e os conhecimentos e competências relacionam-se com as atividades de envolvimento dos pais. No segundo estudo, os resultados demonstraram que as perceções dos comportamentos parentais de encorajamento, reforço, instrução, e modelagem medeiam a relação entre os comportamentos reportados pelos pais e as variáveis psicológicas de auto-eficácia, auto-eficácia social, motivação intrínseca, e estratégias de autorregulação dos jovens. Os resultados do terceiro estudo indicam que as perceções dos comportamentos dos pais relacionam-se com a realização desportiva através dos efeitos de mediação da auto-eficácia, autoeficácia social e das estratégias de autorregulação. Implicações para a intervenção, limitações e direções futuras para a investigação são também discutidas.

DENSIFICACION URBANA: POTENCIAL DE DESARROLLO DE AREAS VACANTES.PROPUESTA DE NUEVAS HERRAMIENTAS VALORATIVAS. Acercamientos alternativos al fenómeno del crecimiento. Estudio de casos. Relevamiento y registro gráfico-conceptual.

La ciudad compacta, se ha dispersado en fragmentos deshilvanando el tejido social en fracciones desconectadas del sentido más profundo de lo urbano. Una realidad plena de contradicciones acumula experiencias ajenas a los modelos teóricos de profesionales y de la gestión pública. Los conflictos de la ciudad superan la planificación, siendo la renta del suelo el único paradigma del desarrollo urbano. La presente Investigación pretende reflexionar acerca de las metodologías de trabajo y los instrumentos posibilitantes de una urbanidad sustentable abordando una crítica al actual paradigma de desarrollo urbano. Se pretende el relevamiento de los sectores conpotencial de cambio (fragmentos urbanos, espacios vacantes, áreas degradadas, etc.) transfiriéndolos a una base de datos digitalizada, que pueda convertirse en un instrumento disciplinar y académico Hipótesis Las posibilidades de revisión del modelo de crecimiento extensivo de baja densidad se producen con mayor intensidad en las áreas vacantes de la ciudad. El potencial de los grandes espacios vacantes de la ciudad es definido por la especulación e intereses de los emprendedores que actúan en el mercado. El Código Normativo es el instrumento que consolida este modelo operativo Objetivos �Promover el análisis y crítica de la ciudad y su territorio, a los efectos de posibilitar un proyecto disciplinar con una urbanidad sustentable. �Proponer herramientas de análisis que permita operar de manera eficiente sobre la dinámica de crecimiento. �Elaborar una base digital de datos como instrumento operativo, que favorezca a la comprensión de fenómenos complejos Materiales y métodos a utilizar 1. Recopilación de datos y estudios bibliográficos para definir el marco conceptual y elaboración de metodos de análisis de espacios vacantes. 2. Estudio y análisis de las normativas vigentes 3. Identificación de espacios vacantes de la ciudad de Córdoba, identificando problemas de fragmentación y dispersión urbana y social: técnicas de muestreo. 4. Relevamiento y registro de campo. 5. Experiencia proyectual en la carrera Resultados esperados -Caracterización de fragmentos urbanos de la ciudad de Córdoba -Registro en base de datos identificando fragmentos urbanos de la Ciudad de Córdoba -Elaboración gráficos conceptuales y modelización en 3D -Resultados de experiencia piloto Importancia del proyecto Considerando el crecimiento de la ciudad de Córdoba, la crisis de las infraestructuras a la degradación de los espacios urbanos, la falta de una planificación sustentable y la desactualización de las Normativas Vigentes, se hace necesario la reflexión en el ámbito académico Pertinencia Contar con documentación real y confiable es prioritaria para la gestión de la ciudad, posibilitando articular problemas y oportunidades. Desde el campo metodológico brinda la posibilidad de formar una base teórica suceptible de relacionar la crítica y el proyecto.

Modelling of a symmetric molten carbonate fuel cell stack

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011

Failure rates modelling for heterogenous populations

Mixture of distributions, decreasing failure rate, increasing failure rate, proportional hazards model, accelerated life model, asymptotic behavior of mixture failure rate

Modelling and analysis of a production plant for low density polyethylene

Dynamic model, tubular reactor, polyethylene, LDPE, discretization, simulation, sensitivity analysis, nonlinear analysis

Precipitation of barium sulphate nanoparticles in microemulsion : experiments and modelling

Nanopartikel, BaSO4, Mikroemulsion, Fällung, Modellierung

Modelling the influence of microstructure on elastic properties and tensile damage behaviour of Mo-base silicide alloys

Mo-Si-B alloys, Real microstructures, Voronoi structures, Microstructural characterization, Modelling and finite element simulations, Effective material properties, Damage and Crack growth, tensile strength, fracture toughness

Simulations for modelling of population balance equations of particulate processes using the discrete particle model (DPM)

Magdeburg, Univ., Fak. für Mathematik, Diss., 2009

Elastic modelling of deformation twinning on the microscale

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2009

Context modelling for IT security in selected application scenarios

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Sport, immigration and multiculturality: a conceptual analysis

Paper given by Chris Kennett at the European Forum: Culture, Sport and Proximity held in Almería on the 5 May 2005 and promoted by the Diputación Provincial de Almería. The paper explores the key concepts that comprise the social policy discourse related to immigration and how these relate to sports provision. The potential role for sport in the integration of immigrants is considered, as well as the risks of sports as a potentially divisive force, particularly in terms of racism. This discussion leads to the consideration of the need for intercultural dialogue through sport in order to contribute to the achievement of the sustainable integration of immigrant groups. In order to achieve this goal, research is called for into the needs of immigrant groups as a key phase in the development of sports policy.

Esport, immigració i multiculturalitat: una anàlisi conceptual

Text de la ponència presentada pel doctor Chris Kennett al “Foro Europeo: Cultura, Deporte y Proximidad” organitzat per la Diputación Provincial de Almería i celebrat a Almeria el 5 de maig de 2005. El text examina els conceptes clau que comprèn el discurs polític social relacionat amb la immigració i com es relacionen aquests conceptes amb l’esport. Es té en compte el paper potencial que juga l’esport en la integració dels immigrants i els riscs dels esports com a força potencialment divisiva, sobretot pel que fa al racisme. Aquesta discussió porta a considerar la necessitat de diàleg intercultural a través de l’esport per tal de contribuir a aconseguir una integració sostenible dels grups immigrants. Per tal d’assolir aquest objectiu, cal fer una recerca sobre les necessitats dels grups immigrants, ja que és una fase clau en el desenvolupament de la política de l’esport.