Effectiveness of combined sharing and freeness analysis using abstract interpretation

This paper presents improved unification algorithms, an implementation, and an analysis of the effectiveness of an abstract interpreter based on the sharing + freeness domain presented in a previous paper, which was designed to accurately and concisely represent combined freeness and sharing information for program variables. We first briefly review this domain and the unification algorithms previously proposed. We then improve these algorithms and correct them to deal with some cases which were not well analyzed previously, illustrating the improvement with an example. We then present the implementation of the improved algorithm and evaluate its performance by comparing the effectiveness of the information inferred to that of other interpreters available to us for an application (program parallelization) that is common to all these interpreters. All these systems have been embedded in a real parallelizing compiler. Effectiveness of the analysis is measured in terms of actual final performance of the system: i.e. in terms of the actual speedups obtained. The results show good performance for the combined domain in that it improves the accuracy of both types of information and also in that the analyzer using the combined domain is more effective in the application than any of the other analyzers it is compared to.

Prediction of protein folding class using global description of amino acid sequence.

We present a method for predicting protein folding class based on global protein chain description and a voting process. Selection of the best descriptors was achieved by a computer-simulated neural network trained on a data base consisting of 83 folding classes. Protein-chain descriptors include overall composition, transition, and distribution of amino acid attributes, such as relative hydrophobicity, predicted secondary structure, and predicted solvent exposure. Cross-validation testing was performed on 15 of the largest classes. The test shows that proteins were assigned to the correct class (correct positive prediction) with an average accuracy of 71.7%, whereas the inverse prediction of proteins as not belonging to a particular class (correct negative prediction) was 90-95% accurate. When tested on 254 structures used in this study, the top two predictions contained the correct class in 91% of the cases.

Control of cascaded DC-DC converter based hybrid battery energy storage systems - Part II:Lyapunov approach

A cascaded DC-DC boost converter is one of the ways to integrate hybrid battery types within a grid-tie inverter. Due to the presence of different battery parameters within the system such as, state-of-charge and/or capacity, a module based distributed power sharing strategy may be used. To implement this sharing strategy, the desired control reference for each module voltage/current control loop needs to be dynamically varied according to these battery parameters. This can cause stability problem within the cascaded converters due to relative battery parameter variations when using the conventional PI control approach. This paper proposes a new control method based on Lyapunov Functions to eliminate this issue. The proposed solution provides a global asymptotic stability at a module level avoiding any instability issue due to parameter variations. A detailed analysis and design of the nonlinear control structure are presented under the distributed sharing control. At last thorough experimental investigations are shown to prove the effectiveness of the proposed control under grid-tie conditions.

Control of cascaded DC-DC converter-based hybrid battery energy storage systems - Part I:stability Issue

There is an emerging application which uses a mixture of batteries within an energy storage system. These hybrid battery solutions may contain different battery types. A DC-side cascaded boost converters along with a module based distributed power sharing strategy has been proposed to cope with variations in battery parameters such as, state-of-charge and/or capacity. This power sharing strategy distributes the total power among the different battery modules according to these battery parameters. Each module controller consists of an outer voltage loop with an inner current loop where the desired control reference for each control loop needs to be dynamically varied according to battery parameters to undertake this sharing. As a result, the designed control bandwidth or stability margin of each module control loop may vary in a wide range which can cause a stability problem within the cascaded converter. This paper reports such a unique issue and thoroughly investigates the stability of the modular converter under the distributed sharing scheme. The paper shows that a cascaded PI control loop approach cannot guarantee the system stability throughout the operating conditions. A detailed analysis of the stability issue and the limitations of the conventional approach are highlighted. Finally in-depth experimental results are presented to prove the stability issue using a modular hybrid battery energy storage system prototype under various operating conditions.

Caste, class and Trade Unionism in India

The caste system in India and its exploitative nature has been well researched (Siddique 2011 Gupta 2000). However, the role of caste in Indian employment relations and in particular its role in the labor movement in India is yet to be fully explored. The primary aim of this paper is to examine the rise of caste- based trade unions in India over the past decade. Specifically, we aim to examine why the lower-caste workers (historically treated as untouchables, referred to as ‘Dalits’and officially designated as Scheduled Caste and Tribes) are leaving established trade unions to organize their own unions along caste lines? While fragmentation of trade unions is a well-known phenomenon both in India and in the Western World (Shyam Sundar 2015; Connolly et al. 2014), the rise of caste based trade unions is a relatively new phenomenon which is yet to be fully explored. Caste based trade unionism appears to be counter-intuitive when the conventional logic suggests that unions are class based collective institutions which represent the interest of the working classes (Ramaswamy 1976). The Indian trade union movement has historically been fragmented along political ideological lines ranging from moderate unions affiliated to the Congress Party to the militant unions affiliated to the Communist and Socialist parties. However, the rise of caste-based trade unions of the lower caste workers is a relatively new phenomenon. Our findings from surveys and interviews with mainstream unions and caste-based trade unions suggest that the caste-based trade unions are unique in at least three ways. First, these unions are breaking away from well-established radical and militant union federations such as those affiliated to the Communist and Socialist parties. Second, these unions are predominantly organized on caste identities and not occupational identities or political ideologies. Third in unionized workplaces, lower caste workers are forming their own separate unions along caste lines with membership restricted only to workers of their own caste instead of joining the mainstream unions where present. We examine these issues using the analytical framework of Paulo Freire (1970) – dialogics, praxis and cultural oppression and relate it with the insights from comparative politics which examine the role of actors & their interests within institutions (Peters 2011).

Representações dos técnicos de intervenção precoce sobre as famílias e práticas de IP em contexto rural e urbano

O presente estudo visou caraterizar as representações que técnicos de intervenção precoce têm sobre famílias que vivem em meio rural e em meio urbano que recebem apoio das equipas. Foram realizadas entrevistas semi-diretivas, os participantes e entrevistados foram dez docentes com intervenção educativa nas equipas, cinco em apoio direto a famílias de meio rural e cinco a realizar intervenções com famílias de meio urbano. Deste estudo resultaram vários dados qualitativos que depois de analisados e discutidos, levaram a diversas conclusões que vem dar respostas às questões e problemática iniciais. As famílias inseridas nestes contextos têm características que as diferenciam; habilitações, recursos, necessidades e comportamentos em comunidade. Tem aspetos culturais que influenciam as suas atitudes, participação e autonomia e são ou não decisivas no desenvolvimento da criança. Em contexto rural as famílias apresentam um maior número de necessidades comparativamente às famílias de meio urbano. As maiores necessidades das famílias em contexto rural situam-se nas questões financeiras, de formação e apoio técnico e especializado. As maiores necessidades das famílias de contexto urbano situam-se ao nível do fraco apoio familiar e das redes sociais. As necessidades comuns situam-se nas necessidades de informação e promoção da autonomia e competências parentais. As visitas e intervenções domiciliares podem permitir melhorar a identificação das necessidades e recursos das famílias e compreender melhor os critérios de referência de algumas crianças. As oportunidades de aprendizagem são maiores nestes encontros em domicílio, estão presentes em muitos casos, elementos da família alargada, que muitas vezes tem um papel fundamental na educação e estimulação destas crianças. Os docentes de IP em intervenção em contexto urbano, comparativamente com os docentes inseridos em contexto rural, apoiam famílias que na generalidade abrangem áreas profissionais mais vantajosas financeiramente. Estas famílias terão á partida melhores condições para aceder a mais recursos e apoios. Nos dois contextos existe uma necessidade comum, falta de informação e alguma autonomia e competências parentais em relação ao crescimento das crianças. A realização de iii encontros de pais ou criação de grupos de pais que tenham por base a partilha de experiencias e informação, estão planeadas mas não são uma realidade nestas equipas. Nas práticas de qualidade, o profissional deve atuar nos contextos naturais como, a família, ou a comunidade, mas pode incluir também rotinas, brincadeiras, festas etc. cenários que facilitem o dia-a-dia. As famílias têm contextos e rotinas próprias que os profissionais devem identificar, os dados que recolhemos indicam essa necessidade de proceder a avaliação mais atenta das necessidades das famílias. As práticas recomendadas e o enquadramento legislativo são tidos em conta pelos docentes e profissionais das equipas, os recursos documentais são na sua maioria comuns, a todas as equipas participantes, seguindo as orientações e documentos/minutas facultadas pela comissão coordenadora do SNIPI (Sistema Nacional de Intervenção Precoce na Infância) Apesar das recomendações teóricas para práticas de qualidade centradas na família, verificamos que estas fazem parte das preocupações destes docentes, mas nem sempre são implementadas. A problemática da criança parece ser ainda o ponto mais importante dos programas e planos de intervenção e mesmo o critério decisivo para delinear a duração e frequência das intervenções, seja em contexto urbano ou rural. - ABSTRACT This study aimed to characterize the families of rural and urban areas that receive support from Early Intervention Teams. It has been proposed yet whether professionals IP suit their practices to the characteristics of these families and communities integrated in different cultural contexts. Interviews were conducted semidirective, participants were ten respondents and teachers with educational intervention teams, five in direct support to families in rural areas and five interventions with families in urban areas. This study resulted in a number of qualitative data that then analyzed and discussed, led to several conclusions that comes to answer the questions and problems early. The families included in these contexts have characteristics that differentiate them; qualifications, resources, needs and behaviors in the community. Has cultural aspects that influence their attitudes, participation and autonomy and are not decisive in the development of the child. In the rural households have a greater number of needs compared to urban families. The greatest needs of families in rural settings are located in financial matters, training and technical support and expertise. The greatest needs of the urban households are located at the level of weak family support and social networks. Common needs lie in information needs and promoting autonomy and parenting skills. The home visits and interventions may allow improved identification of needs and resources of families and understand the benchmarks of some children. Learning opportunities are greater in these meetings at home, are present in many cases, elements of the extended family, which often plays a key role in education and stimulation of these children. Teachers IP intervention in the urban compared with rural teachers placed in context, support families in general include professional areas more financially advantageous. These families will have better starting conditions for access to more resources and support. In both contexts there is a common need, lack of information and some autonomy and parenting skills in relation to the growth of children. The meetings of parents or creating parent groups that are based on the sharing of information and experiences are planned but are not a reality in these teams. In quality practices, the professional must act in natural contexts like the family or the community, but may also include routines, jokes, and parties’ etc. scenarios that v facilitate the day-to-day. Families have their own contexts and routines that professionals should identify, collect the data indicate that the need for more careful assessment of the needs of families. Best practices and legislative environment are taken into account by teachers and professional teams, the documentary resources are mostly common to all participating teams, following the guidelines and documents / drafts provided by the coordinating committee SNIPI (National Intervention Early Childhood) Despite the theoretical recommendations for quality practices family-centered, we see that these are part of the concerns of teachers, but are not always implemented. The issue of child seems to be still the most important programs and plans and even the decisive criterion for delineating the duration and frequency of interventions whether in urban or rural.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

A educação do corpo na formação do actor conectar-se com o corpo

Projecto de Intervenção apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Educação Artística, na especialização de Teatro na Educação

A influência do modelo pedagógico em variáveis psicológicas de estudantes do 1º ano da ESTSP-IPP

Introdução – A adaptação ao ensino superior reveste-se de experiências académicas que podem constituir fonte de stress para os estudantes. A implementação de novos modelos pedagógicos, no âmbito do processo de Bolonha, introduz novas variáveis cujo impacto, designadamente em termos de saúde, importa conhecer. Este estudo tem como objetivo analisar as associações entre modelo pedagógico (Problem Based Learning – PBL vs. modelos próximos do tradicional) e variáveis psicológicas (coping, desregulação emocional, sintomas psicossomáticos, perceção de stress e afeto). Metodologia – O estudo tem um design transversal. Foram usados os seguintes questionários online: Brief-COPE, Escala de Dificuldades de Regulação Emocional, Questionário de Manifestações Físicas de Mal-Estar, Escala de Stress Percebido e Escala de Afeto Positivo e Negativo. A amostra é constituída por 183 estudantes do primeiro ano (84% do género feminino) de cursos da Escola Superior de Tecnologia da Saúde do Porto – Instituto Politécnico do Porto (ESTSP-IPP). Resultados – Foram encontradas correlações significativas entre as variáveis demográficas e psicológicas. Considerando diferentes modelos pedagógicos, foram encontradas diferenças significativas nas variáveis psicológicas. Os principais preditores de stress na amostra foram: ser mulher, frequentar uma licenciatura no modelo PBL, ter maiores índices de desregulação emocional, apresentar mais sintomas psicossomáticos, menos afeto positivo e mais afeto negativo. Conclusão – As diferenças encontradas entre modelos pedagógicos são discutidas, possibilitando a reflexão sobre as implicações práticas e sugestões para futuras investigações.

Academic social network in EHES

This paper presents the foundations of an Academic Social Network (ASN) focusing the Bologna Declaration and the Bologna Process (BP) mobility issues using ontological support. An ASN will permit students to share commons academic interests, preferences and mobility paths in the European Higher Education Space (EHES). The description of the conceptual support is ontology based allowing knowledge sharing and reuse. An approach is presented by merging Academic Ontology to Support the Bologna Mobility Process with Friend of a Friend ontology. The resulting ontology supports the student mobility profile in the ASN. The strategies to make available, in the network, knowledge about mobility issues, are presented including knowledge discovery and simulation approaches to cover student's mobility scenarios for BP.

Estratégias de compreensão leitora no 1.º ciclo do ensino básico

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclos do Ensino Básico

O impacto do ensino explícito e reflexão sobre a língua na competência ortográfica

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1º e 2º Ciclo do Ensino Básico

A influência do modelo pedagógico em variáveis psicológicas de estudantes do 1º ano da ESTSP-IPP

Introdução – A adaptação ao ensino superior reveste-se de experiências académicas que podem constituir fonte de stress para os estudantes. A implementação de novos modelos pedagógicos, no âmbito do processo de Bolonha, introduz novas variáveis cujo impacto, designadamente em termos de saúde, importa conhecer. Este estudo tem como objetivo analisar as associações entre modelo pedagógico (Problem Based Learning – PBL vs. modelos próximos do tradicional) e variáveis psicológicas (coping, desregulação emocional, sintomas psicossomáticos, perceção de stress e afeto). Metodologia – O estudo tem um design transversal. Foram usados os seguintes questionários online: Brief-COPE, Escala de Dificuldades de Regulação Emocional, Questionário de Manifestações Físicas de Mal-Estar, Escala de Stress Percebido e Escala de Afeto Positivo e Negativo. A amostra é constituída por 183 estudantes do primeiro ano (84% do género feminino) de cursos da Escola Superior de Tecnologia da Saúde do Porto – Instituto Politécnico do Porto (ESTSP-IPP). Resultados – Foram encontradas correlações significativas entre as variáveis demográficas e psicológicas. Considerando diferentes modelos pedagógicos, foram encontradas diferenças significativas nas variáveis psicológicas. Os principais preditores de stress na amostra foram: ser mulher, frequentar uma licenciatura no modelo PBL, ter maiores índices de desregulação emocional, apresentar mais sintomas psicossomáticos, menos afeto positivo e mais afeto negativo. Conclusão – As diferenças encontradas entre modelos pedagógicos são discutidas, possibilitando a reflexão sobre as implicações práticas e sugestões para futuras investigações.

Contributos de um jogo tipo peddy paper na motivação de alunos para aprendizagens do tema sol-terra-vida

Este estudo tem como objetivo principal conhecer, analisar e refletir sobre as conceções e as práticas de sala de aula, relativamente à importância dos jogos como ferramenta motivadora para a aprendizagem de novos conteúdos. Numa primeira parte deste documento, é feita uma abordagem teórica sobre as questões que levaram à realização deste projeto. Numa segunda parte apresenta-se o estudo empírico que inclui a recolha do testemunho de alunos que realizaram as atividades propostas, bem como as suas expetativas acerca do uso do jogo na sala de aula. Foi utilizado o processo metodológico de investigação – ação. A recolha de dados baseouse em: observação direta, narrativa descritiva de toda a aula baseada nas Narrações Multimodais; questionário de resposta aberta e registos fotográficos, sobre os quais faremos uma análise qualitativa. Nas partes seguintes deste documento apresenta-se a análise de dades, que foi de natureza qualitativa, as conclusões e as limitações.

Multicore Scheduling of Real-Time Irregular Parallel Algorithms in Linux

Face à estagnação da tecnologia uniprocessador registada na passada década, aos principais fabricantes de microprocessadores encontraram na tecnologia multi-core a resposta `as crescentes necessidades de processamento do mercado. Durante anos, os desenvolvedores de software viram as suas aplicações acompanhar os ganhos de performance conferidos por cada nova geração de processadores sequenciais, mas `a medida que a capacidade de processamento escala em função do número de processadores, a computação sequencial tem de ser decomposta em várias partes concorrentes que possam executar em paralelo, para que possam utilizar as unidades de processamento adicionais e completar mais rapidamente. A programação paralela implica um paradigma completamente distinto da programação sequencial. Ao contrário dos computadores sequenciais tipificados no modelo de Von Neumann, a heterogeneidade de arquiteturas paralelas requer modelos de programação paralela que abstraiam os programadores dos detalhes da arquitectura e simplifiquem o desenvolvimento de aplicações concorrentes. Os modelos de programação paralela mais populares incitam os programadores a identificar instruções concorrentes na sua lógica de programação, e a especificá-las sob a forma de tarefas que possam ser atribuídas a processadores distintos para executarem em simultâneo. Estas tarefas são tipicamente lançadas durante a execução, e atribuídas aos processadores pelo motor de execução subjacente. Como os requisitos de processamento costumam ser variáveis, e não são conhecidos a priori, o mapeamento de tarefas para processadores tem de ser determinado dinamicamente, em resposta a alterações imprevisíveis dos requisitos de execução. `A medida que o volume da computação cresce, torna-se cada vez menos viável garantir as suas restrições temporais em plataformas uniprocessador. Enquanto os sistemas de tempo real se começam a adaptar ao paradigma de computação paralela, há uma crescente aposta em integrar execuções de tempo real com aplicações interativas no mesmo hardware, num mundo em que a tecnologia se torna cada vez mais pequena, leve, ubíqua, e portável. Esta integração requer soluções de escalonamento que simultaneamente garantam os requisitos temporais das tarefas de tempo real e mantenham um nível aceitável de QoS para as restantes execuções. Para tal, torna-se imperativo que as aplicações de tempo real paralelizem, de forma a minimizar os seus tempos de resposta e maximizar a utilização dos recursos de processamento. Isto introduz uma nova dimensão ao problema do escalonamento, que tem de responder de forma correcta a novos requisitos de execução imprevisíveis e rapidamente conjeturar o mapeamento de tarefas que melhor beneficie os critérios de performance do sistema. A técnica de escalonamento baseado em servidores permite reservar uma fração da capacidade de processamento para a execução de tarefas de tempo real, e assegurar que os efeitos de latência na sua execução não afectam as reservas estipuladas para outras execuções. No caso de tarefas escalonadas pelo tempo de execução máximo, ou tarefas com tempos de execução variáveis, torna-se provável que a largura de banda estipulada não seja consumida por completo. Para melhorar a utilização do sistema, os algoritmos de partilha de largura de banda (capacity-sharing) doam a capacidade não utilizada para a execução de outras tarefas, mantendo as garantias de isolamento entre servidores. Com eficiência comprovada em termos de espaço, tempo, e comunicação, o mecanismo de work-stealing tem vindo a ganhar popularidade como metodologia para o escalonamento de tarefas com paralelismo dinâmico e irregular. O algoritmo p-CSWS combina escalonamento baseado em servidores com capacity-sharing e work-stealing para cobrir as necessidades de escalonamento dos sistemas abertos de tempo real. Enquanto o escalonamento em servidores permite partilhar os recursos de processamento sem interferências a nível dos atrasos, uma nova política de work-stealing que opera sobre o mecanismo de capacity-sharing aplica uma exploração de paralelismo que melhora os tempos de resposta das aplicações e melhora a utilização do sistema. Esta tese propõe uma implementação do algoritmo p-CSWS para o Linux. Em concordância com a estrutura modular do escalonador do Linux, ´e definida uma nova classe de escalonamento que visa avaliar a aplicabilidade da heurística p-CSWS em circunstâncias reais. Ultrapassados os obstáculos intrínsecos `a programação da kernel do Linux, os extensos testes experimentais provam que o p-CSWS ´e mais do que um conceito teórico atrativo, e que a exploração heurística de paralelismo proposta pelo algoritmo beneficia os tempos de resposta das aplicações de tempo real, bem como a performance e eficiência da plataforma multiprocessador.