991 resultados para declarative temporal logic programming
Resumo:
In the last two decades, there was a proliferation of programming exercise formats that hinders interoperability in automatic assessment. In the lack of a widely accepted standard, a pragmatic solution is to convert content among the existing formats. BabeLO is a programming exercise converter providing services to a network of heterogeneous e-learning systems such as contest management systems, programming exercise authoring tools, evaluation engines and repositories of learning objects. Its main feature is the use of a pivotal format to achieve greater extensibility. This approach simplifies the extension to other formats, just requiring the conversion to and from the pivotal format. This paper starts with an analysis of programming exercise formats representative of the existing diversity. This analysis sets the context for the proposed approach to exercise conversion and to the description of the pivotal data format. The abstract service definition is the basis for the design of BabeLO, its components and web service interface. This paper includes a report on the use of BabeLO in two concrete scenarios: to relocate exercises to a different repository, and to use an evaluation engine in a network of heterogeneous systems.
Resumo:
Several Web-based on-line judges or on-line programming trainers have been developed in order to allow students to train their programming skills. However, their pedagogical functionalities in the learning of programming have not been clearly defined. EduJudge is a project which aims to integrate the “UVA On-line Judge”, an existing on-line programming trainer with an important number of problems and users, into an effective educational environment consisting of the e-learning platform Moodle and the competitive learning tool QUESTOURnament. The result is the EduJudge system which allows teachers to apply different pedagogical approaches using a proven e-learning platform, makes problems easy to search through an effective search engine, and provides an automated evaluation of the solutions submitted to these problems. The final objective is to provide new learning strategies to motivate students and present programming as an easy and attractive challenge. EduJudge has been tried and tested in three algorithms and programming courses in three different Engineering degrees. The students’ motivation and satisfaction levels were analysed alongside the effects of the EduJudge system on students’ academic outcomes. Results indicate that both students and teachers found that among other multiple benefits the EduJudge system facilitates the learning process. Furthermore, the experi- ment also showed an improvement in students’ academic outcomes. It must be noted that the students’ level of satisfaction did not depend on their computer skills or their gender.
Resumo:
A repository of learning objects is a system that stores electronic resources in a technology-mediated learning process. The need for this kind of repository is growing as more educators become eager to use digital educa- tional contents and more of it becomes available. The sharing and use of these resources relies on the use of content and communication standards as a means to describe and exchange educational resources, commonly known as learning objects. This paper presents the design and implementation of a service-oriented reposi- tory of learning objects called crimsonHex. This repository supports new definitions of learning objects for specialized domains and we illustrate this feature with the definition of programming exercises as learning objects and its validation by the repository. The repository is also fully compliant with existing commu- nication standards and we propose extensions by adding new functions, formalizing message interchange and providing a REST interface. To validate the interoperability features of the repository, we developed a repository plug-in for Moodle that is expected to be included in the next release of this popular learning management system.
Resumo:
Managing programming exercises require several heterogeneous systems such as evaluation engines, learning objects repositories and exercise resolution environments. The coordination of networks of such disparate systems is rather complex. These tools would be too specific to incorporate in an e-Learning platform. Even if they could be provided as pluggable components, the burden of maintaining them would be prohibitive to institutions with few courses in those domains. This work presents a standard based approach for the coordination of a network of e-Learning systems participating on the automatic evaluation of programming exercises. The proposed approach uses a pivot component to orchestrate the interaction among all the systems using communication standards. This approach was validated through its effective use on classroom and we present some preliminary results.
Resumo:
OBJETIVO: Analisar as tendências de asma em crianças e adolescentes entre 1998 e 2008 no Brasil. MÉTODOS: Foram analisados os dados de prevalência de asma da Pesquisa Nacional por Amostra de Domicílios, dos anos de 1998, 2003 e 2008. A amostra foi constituída por 141.402, 144.443 e 134.032 indivíduos em 1998, 2003 e 2008, respectivamente, e a análise foi ajustada pelo desenho amostral. As tendências de asma foram descritas por sexo, regiões do Brasil e local de residência, em crianças (zero a nove anos) e adolescentes (dez a 19 anos). RESULTADOS: A prevalência de asma entre crianças foi 7,7% em 1998, 8,1% em 2003 e 8,5% em 2008, com um incremento anual de 1%. O maior aumento anual foi observado nas regiões Sudeste e Norte (1,4%). Entre o grupo de adolescentes, a prevalência de asma foi de 4,4% em 1998, 5,0% em 2003 e 5,5% em 2008, com aumento de 2,2% ao ano. Na região Nordeste, o aumento anual na prevalência de asma foi de 3,5%. Os maiores incrementos foram observados entre os meninos e entre moradores da zona rural. CONCLUSÕES: Apesar de a asma apresentar um decréscimo em países emergentes, no Brasil os resultados apontam um incremento da asma entre crianças e adolescentes no período de 1998 e 2008, especialmente na zona rural.
Resumo:
Ancillary services represent a good business opportunity that must be considered by market players. This paper presents a new methodology for ancillary services market dispatch. The method considers the bids submitted to the market and includes a market clearing mechanism based on deterministic optimization. An Artificial Neural Network is used for day-ahead prediction of Regulation Down, regulation-up, Spin Reserve and Non-Spin Reserve requirements. Two test cases based on California Independent System Operator data concerning dispatch of Regulation Down, Regulation Up, Spin Reserve and Non-Spin Reserve services are included in this paper to illustrate the application of the proposed method: (1) dispatch considering simple bids; (2) dispatch considering complex bids.
Resumo:
OBJETIVO: Estimar a prevalência da anemia em crianças, sua tendência temporal e identificar fatores associados. MÉTODOS: Estudo de corte transversal, de base populacional, envolvendo 1.108 crianças, com idade entre seis e 59 meses, de ambos os sexos, do Estado da Paraíba, em 2007. A hemoglobina foi analisada em sangue venoso com contador automático. Foram considerados para anemia valores < 11,0 g/dL, forma leve 9-11g/dL, moderada 7-9 g/dL e grave < 7,0 g/dL. As condições socioeconômicas e demográficas das crianças foram obtidas por meio de questionário aos pais ou responsáveis. As proporções foram comparadas pelo teste do qui-quadrado de Pearson, e a associação entre as concentrações de hemoglobina e potenciais fatores de riscos foi testada pelo modelo de regressão de Poisson. A tendência temporal da anemia foi avaliada pelo incremento/redução na prevalência de anemia nos anos de 1982, 1992 e 2007. RESULTADOS: A prevalência de anemia foi de 36,5% (IC95% 33,7;39,3). Observa-se que 1,3% (IC95% 0,7;1,8) foi na forma grave, 11,1% (IC95% 9,4;13,5) na forma moderada e 87,6% (IC95% 79,1;91,2) na forma leve. Houve um incremento de 88,5% nos casos de anemia no período entre 1982 e1992 e uma estabilização na prevalência entre 1992 e 2007. A análise ajustada no modelo de Poisson mostrou maior suscetibilidade à anemia nas crianças de seis a 24 meses de idade, naquelas amamentadas por seis meses ou mais, que co-habitavam com mais de quatro pessoas no mesmo domicílio e moravam em casas com menos de cinco cômodos. CONCLUSÕES: A alta prevalência de anemia mostra que continua sendo um importante problema de saúde pública no Estado da Paraíba. Apesar da estabilização na prevalência entre 1992 e 2007, a anemia apresenta-se em elevado patamar, o que impõe medidas mais efetivas de prevenção e controle.
Resumo:
In Distributed Computer-Controlled Systems (DCCS), a special emphasis must be given to the communication infrastructure, which must provide timely and reliable communication services. CAN networks are usually suitable to support small-scale DCCS. However, they are known to present some reliability problems, which can lead to an unreliable behaviour of the supported applications. In this paper, an atomic multicast protocol for CAN networks is proposed. This protocol explores the CAN synchronous properties, providing a timely and reliable service to the supported applications. The implementation of such protocol in Ada, on top of the Ada version of Real-Time Linux is presented, which is used to demonstrate the advantages and disadvantages of the platform to support reliable communications in DCCS.
Resumo:
Renewable energy sources (RES) have unique characteristics that grant them preference in energy and environmental policies. However, considering that the renewable resources are barely controllable and sometimes unpredictable, some challenges are faced when integrating high shares of renewable sources in power systems. In order to mitigate this problem, this paper presents a decision-making methodology regarding renewable investments. The model computes the optimal renewable generation mix from different available technologies (hydro, wind and photovoltaic) that integrates a given share of renewable sources, minimizing residual demand variability, therefore stabilizing the thermal power generation. The model also includes a spatial optimization of wind farms in order to identify the best distribution of wind capacity. This methodology is applied to the Portuguese power system.
Resumo:
Wireless Sensor Networks (WSN) are being used for a number of applications involving infrastructure monitoring, building energy monitoring and industrial sensing. The difficulty of programming individual sensor nodes and the associated overhead have encouraged researchers to design macro-programming systems which can help program the network as a whole or as a combination of subnets. Most of the current macro-programming schemes do not support multiple users seamlessly deploying diverse applications on the same shared sensor network. As WSNs are becoming more common, it is important to provide such support, since it enables higher-level optimizations such as code reuse, energy savings, and traffic reduction. In this paper, we propose a macro-programming framework called Nano-CF, which, in addition to supporting in-network programming, allows multiple applications written by different programmers to be executed simultaneously on a sensor networking infrastructure. This framework enables the use of a common sensing infrastructure for a number of applications without the users having to worrying about the applications already deployed on the network. The framework also supports timing constraints and resource reservations using the Nano-RK operating system. Nano- CF is efficient at improving WSN performance by (a) combining multiple user programs, (b) aggregating packets for data delivery, and (c) satisfying timing and energy specifications using Rate- Harmonized Scheduling. Using representative applications, we demonstrate that Nano-CF achieves 90% reduction in Source Lines-of-Code (SLoC) and 50% energy savings from aggregated data delivery.
Resumo:
Over the last three decades, computer architects have been able to achieve an increase in performance for single processors by, e.g., increasing clock speed, introducing cache memories and using instruction level parallelism. However, because of power consumption and heat dissipation constraints, this trend is going to cease. In recent times, hardware engineers have instead moved to new chip architectures with multiple processor cores on a single chip. With multi-core processors, applications can complete more total work than with one core alone. To take advantage of multi-core processors, parallel programming models are proposed as promising solutions for more effectively using multi-core processors. This paper discusses some of the existent models and frameworks for parallel programming, leading to outline a draft parallel programming model for Ada.
Resumo:
OBJETIVO Analisar a tendência da mortalidade por acidentes de motocicleta no Brasil. MÉTODOS Estudo descritivo de séries temporais sobre a taxa de mortalidade de acidentes de motocicleta no Brasil, segundo unidades federativas e faixas etárias entre 1996 e 2009. Os dados de óbitos foram obtidos no Sistema de Informação sobre Mortalidade do Ministério da Saúde e da população no Instituto Brasileiro de Geografia Estatística. Taxas de mortalidade padronizadas foram calculadas no período para o Brasil como um todo e Unidades Federativas. Variações anuais das taxas de mortalidade foram estimadas pelo método de Prais-Winsten de regressão linear. RESULTADOS A taxa de mortalidade por acidentes de motocicleta aumentou de 0,5 para 4,5/100.000 habitantes de 1996 a 2009 (aumento de 800% no período e 19% ao ano). Estados com maiores taxas em 2009 foram: Piauí, Tocantins, Sergipe e Mato Grosso. As maiores taxas de crescimento foram observadas nos Estados das regiões Norte, Nordeste e Centro-Oeste. CONCLUSÕES Houve grande aumento das taxas de mortalidade por acidente de motocicleta em todo o Brasil no período, principalmente nos Estados do Nordeste.
Resumo:
Several projects in the recent past have aimed at promoting Wireless Sensor Networks as an infrastructure technology, where several independent users can submit applications that execute concurrently across the network. Concurrent multiple applications cause significant energy-usage overhead on sensor nodes, that cannot be eliminated by traditional schemes optimized for single-application scenarios. In this paper, we outline two main optimization techniques for reducing power consumption across applications. First, we describe a compiler based approach that identifies redundant sensing requests across applications and eliminates those. Second, we cluster the radio transmissions together by concatenating packets from independent applications based on Rate-Harmonized Scheduling.
Resumo:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.
Resumo:
OBJECTIVE To analyze temporal trends and distribution patterns of unsafe abortion in Brazil. METHODS Ecological study based on records of hospital admissions of women due to abortion in Brazil between 1996 and 2012, obtained from the Hospital Information System of the Ministry of Health. We estimated the number of unsafe abortions stratified by place of residence, using indirect estimate techniques. The following indicators were calculated: ratio of unsafe abortions/100 live births and rate of unsafe abortion/1,000 women of childbearing age. We analyzed temporal trends through polynomial regression and spatial distribution using municipalities as the unit of analysis. RESULTS In the study period, a total of 4,007,327 hospital admissions due to abortions were recorded in Brazil. We estimated a total of 16,905,911 unsafe abortions in the country, with an annual mean of 994,465 abortions (mean unsafe abortion rate: 17.0 abortions/1,000 women of childbearing age; ratio of unsafe abortions: 33.2/100 live births). Unsafe abortion presented a declining trend at national level (R2: 94.0%, p < 0.001), with unequal patterns between regions. There was a significant reduction of unsafe abortion in the Northeast (R2: 93.0%, p < 0.001), Southeast (R2: 92.0%, p < 0.001) and Central-West regions (R2: 64.0%, p < 0.001), whereas the North (R2: 39.0%, p = 0.030) presented an increase, and the South (R2: 22.0%, p = 0.340) remained stable. Spatial analysis identified the presence of clusters of municipalities with high values for unsafe abortion, located mainly in states of the North, Northeast and Southeast Regions. CONCLUSIONS Unsafe abortion remains a public health problem in Brazil, with marked regional differences, mainly concentrated in the socioeconomically disadvantaged regions of the country. Qualification of attention to women’s health, especially to reproductive aspects and attention to pre- and post-abortion processes, are necessary and urgent strategies to be implemented in the country.