Quality and work organization with advanced automation in Portugal

In this paper it is analysed the relationships between work organisation and quality systems in firms that uses some forms of advanced automation. Are characterised the existing quality control structures in the Portuguese industry, and the main factors that hidden or fosters the development of sociotechnical methods of quality control organisation strategies. Are analysed some industrial cases that explains more clearly the critical issues of the implementation of quality systems and work organisation systems. A few recommendations are given about the possibilities for the development of new forms of work organisation and the quality systems associated to automated manufacturing systems

Abduction in Well-Founded Semantics and Generalized Stable Models

Abductive logic programming offers a formalism to declaratively express and solve problems in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled logic programming offers a computational mechanism that provides a level of declarativity superior to that of Prolog, and which has supported successful applications in fields such as parsing, program analysis, and model checking. In this paper we show how to use tabled logic programming to evaluate queries to abductive frameworks with integrity constraints when these frameworks contain both default and explicit negation. The result is the ability to compute abduction over well-founded semantics with explicit negation and answer sets. Our approach consists of a transformation and an evaluation method. The transformation adjoins to each objective literal $O$ in a program, an objective literal $not(O)$ along with rules that ensure that $not(O)$ will be true if and only if $O$ is false. We call the resulting program a {\em dual} program. The evaluation method, \wfsmeth, then operates on the dual program. \wfsmeth{} is sound and complete for evaluating queries to abductive frameworks whose entailment method is based on either the well-founded semantics with explicit negation, or on answer sets. Further, \wfsmeth{} is asymptotically as efficient as any known method for either class of problems. In addition, when abduction is not desired, \wfsmeth{} operating on a dual program provides a novel tabling method for evaluating queries to ground extended programs whose complexity and termination properties are similar to those of the best tabling methods for the well-founded semantics. A publicly available meta-interpreter has been developed for \wfsmeth{} using the XSB system.Comment: 48 pages; To appear in Theory and Practice in Logic Programmin

Like mother, like son? Studying the impact of mothers' schooling on children,s years of education in Malawi

Does a mother’s level of education impact that of her children? Motivated by gender disparities in Malawi’s educational landscape, this paper aims to answer this question through three identification strategies: with 2013 Malawi survey data, Ordinary Least Squares, Propensity Score Matching and Instrumental Variable methods are used to analyse the extent of the relationship between the education of women and that of their children. In the Instrumental Variable models, distance to secondary school is used as an instrument for mother’s years of education, resulting in an estimated impact of 0.314 years of education per additional year of mother’s education

Efeitos da alteração das regras nos indicadores de desempenho em basquetebol de alto rendimento

Mestrado em Treino de Alto RendimentoRecentemente a Federação Internacional de Basquetebol (FIBA) determinou duas alterações históricas às regras: o aumento da distância da linha de três pontos (em vigor desde 1984) e a mudança da forma geométrica da área restritiva (em vigor desde 1956), que, conjuntamente com a introdução dos semicírculos de não carga, modificaram o espaço de jogo e os critérios de arbitragem. O objetivo deste estudo foi analisar o efeito produzido por esta alteração regulamentar no desempenho em basquetebol através das estatísticas do jogo. No total foram analisados 1836 jogos correspondentes aos jogos da fase regular da competição LEB-Oro disputados entre as épocas 2006/07 e 2011/12. Em função da natureza dos dados estatísticos recolhidos no jogo de basquetebol considerou-se a existência de parâmetros estatísticos simples e parâmetros estatísticos compostos. Os primeiros são relativos às estatísticas primárias que traduzem diretamente o comportamento observado no jogo, enquanto os parâmetros estatísticos compostos foram calculados com base nos parâmetros simples. Todos os parâmetros foram normalizados a 100 posses de bola. Numa primeira fase pretendeu-se identificar o efeito da alteração das regras, que se designou por pré- e pós alteração das regras. Depois procedeu-se à análise entre os diversos pares de épocas consecutivas com o intuito de interpretar em detalhe os efeitos época a época desde 2006 a 2012. Os dados foram analisados com o recurso a técnicas paramétricas de análise multivariada – análise discriminante e MANOVA one way – e de análise univariada – ANOVA one way. Os resultados demonstraram diferenças significativas nos parâmetros relacionados com as ações de finalização, reforçados pelas diferenças aferidas nos valores de eficácia coletiva que as equipas apresentaram antes e após a alteração das regras. A análise época a época permitiu confirmar esta evidência sobretudo na primeira época jogada depois da alteração e em simultâneo uma tendência para uma estabilização destes indicadores à medida que as épocas se afastavam do momento em que a alteração regulamentar ocorreu. Este estudo permitiu concluir que as alterações regulamentares consideradas tiveram de facto consequência na performance das equipas de basquetebol na época em que entraram em vigor. A estabilização dos valores indica a capacidade adaptativa que os protagonistas do jogo têm face aos constrangimentos regulamentares que o jogo vai apresentando ao longo do tempo

Preferential theory revision

AbstractEmploying a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means of preferences on the possible abductive extensions to the theory. And, in particular, how to prefer among plausible abductive explanations justifying observations

Measuring poverty in Portugal: an absolute approach

The aim of this article is to measure poverty in Portugal from an absolute perspective. We estimated several absolute poverty lines and defined maximum and minimum thresholds. We applied aggregation measures to these thresholds and constructed probit models to assess the effect of some variables on poverty. The intervals obtained contain the poverty lines constructed by other approaches. We got evidence that poverty is positively correlated with the number of people in the household, with living alone; negatively correlated with the number of workers in the household, the share on non-food expenditure and the existence of a heating device at home

Biomechanical gait pattern changes associated with functional fitness levels and falls in the elderly

Doutoramento em Motricidade Humana na especialidade de BiomecânicaThis thesis aimed to provide a better understanding on the determinant factors for falling in Portuguese older adults, with a special emphasis on the biomechanical changes in gait patterns associated with the functional fitness decline in this population. Our methodological approach to this problem encompassed two different levels of analysis: in the first part two epidemiological studies were conducted in order to establish the determinant factors for falling within the Portuguese older adults; in the second part three laboratory-based studies were performed in order to determine the influence of functional fitness levels on elderly gait patterns. Falls were shown to result from the interaction of many risk factors. Within these, gender, functional fitness level and health parameters were found to be the strongest fall determinants. Interestingly, age was not a determinant factor for falling, even within very old individuals (≥75 years or ≥80 years). Therefore, in the subsequent studies, the gait patterns of a subgroup of older adults, who had participated in the epidemiological studies, were characterized according with their functional fitness levels. The results showed that older subjects with a lower functional fitness level score, consistently re-distribute lower limb joint moments while performing different locomotor tasks (walking, stair ascent and stair descent). Because the success of physical activity interventions aiming at falls and disability prevention is dependent on subgroup characterization, these biomechanical gait pattern changes may yield important information for the health and exercise professionals working with the elderly.RESUMO: A presente dissertação objetiva o aprofundamento do conhecimento sobre os determinantes das quedas na população idosa portuguesa, com especial enfoque nas alterações biomecânicas nos padrões de marcha associadas ao declínio funcional característico desta população. A abordagem metodológica preconizada para a análise do problema compreende duas fases complementares: uma primeira fase, que englobou dois estudos epidemiológicos com o objetivo de estabelecer os fatores determinantes de quedas na população idosa portuguesa; uma segunda fase, onde foram considerados três estudos experimentais (laboratoriais), com o propósito de determinar a influência de diferentes níveis de aptidão funcional nos padrões de marcha desta população. Os resultados demonstraram que as quedas resultam da interação de diversos fatores de risco, destacando-se os seguintes: género, parâmetros de aptidão funcional e de saúde. De relevar que o fenómeno de queda se revelou independente da idade, mesmo quando analisada a sua associação com os fatores determinantes em grupos etários mais avançados (≥75 e ≥80 anos). Neste sentido, nos estudos subsequentes, foram analisados os padrões de marcha de subgrupos de idosos recrutados do grupo de participantes dos estudos anteriores e estratificados em função do seu nível de aptidão funcional. Observou-se então que os idosos com baixos níveis de aptidão funcional adotavam estratégias consistentes de redistribuição dos momentos de força articulares dos membros inferiores, aquando da execução de diferentes tarefas locomotoras (marcha, subir e descer escadas). Considerando o sucesso demonstrado das intervenções sustentadas em programas de atividade física para a prevenção de quedas e incapacidade, as alterações biomecânicas dos padrões de marcha observadas poderão constituir um importante suporte informacional para os profissionais de saúde e exercício que trabalham com a população idosa.FCT - Fundação para a Ciência e a Tecnologi