An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

Distribution of Sugarcane mosaic virus in sugarcane plants

Variation in the concentration of virus in different parts of the plant has implications for virus-indexing programs. To allow more reliable detection of Sugarcane mosaic virus (SCMV), the distribution of the virus in sugarcane plants after artificial inoculation was studied using a reverse transcription polymerase chain reaction (RT-PCR) assay. Leaves of susceptible and moderately resistant sugarcane were mechanically inoculated with SCMV 6 weeks after planting. Weekly for 8 weeks after inoculation, plants were examined for mosaic symptoms and samples of leaves, roots and tillers were tested by RT-PCR to detect virus. SCMV moved from the point of inoculation to younger leaves, roots and tillers and eventually to leaves that emerged prior to inoculation. The pattern of SCMV distribution in moderately resistant and susceptible cultivars was not substantially different. However, the virus moved more slowly in the moderately resistant than in the susceptible cultivar. Young leaves proved to be the most suitable tissue for testing.

In situ characterization of stickiness of sugar-rich foods using a linear actuator driven stickiness testing device

A stickiness testing device based on the probe tack test has been designed and tested. It was used to perform in situ characterization of drying hemispherical drops with an initial radius 3.5 mm. Tests were carried out in two drying temperatures, 63 and 95 degreesC. Moisture and temperature histories of the drying drops of fructose, honey, sucrose, maltodextrin and sucrose-maltodextrin mixtures were determined. The rates of moisture evaporation of the fructose solution was the fastest while those of the maltodextrin solution was the lowest. A profile reversal was observed when the temperature profiles of these materials were compared. Different modes of failure were observed during the stickiness tests. Pure fructose and honey solutions remained completely sticky and failed cohesively until the end of drying. Pure sucrose solution remained sticky and failed cohesively until complete crystallization occurred. The surface of the maltodextrin drops formed a skin shortly after the start of drying. It exhibited adhesive failure and reached a state of non-adhesion. Addition of maltodextrin significantly altered the stickiness of sucrose solution. (C) 2002 Elsevier Science Ltd. All rights reserved.

A yield architecture framework to explain adaptation of pearl millet to environmental stress

Functional knowledge of the physiological basis of crop adaptation to stress is a prerequisite for exploiting specific adaptation to stress environments in breeding programs. This paper presents an analysis of yield components for pearl millet, to explain the specific adaptation of local landraces to stress environments in Rajasthan, India. Six genotypes, ranging from high-tillering traditional landraces to low-tillering open-pollinated modern cultivars, were grown in 20 experiments, covering a range of nonstress and drought stress patterns. In each experiment, yield components (particle number, grain number, 100 grain mass) were measured separately for main shoots, basal tillers, and nodal tillers. Under optimum conditions, landraces had a significantly lower grain yield than the cultivars, but no significant differences were observed at yield levels around 1 ton ha(-1). This genotype x environment interaction for grain yield was due to a difference in yield strategy, where landraces aimed at minimising the risk of a crop failure under stress conditions, and modem cultivars aimed at maximising yield potential under optimum conditions. A key aspect of the adaptation of landraces was the small size of the main shoot panicle, as it minimised (1) the loss of productive tillers during stem elongation; (2) the delay in anthesis if mid-season drought occurs; and (3) the reduction in panicle productivity of the basal tillers under stress. In addition, a low investment in structural panicle weight, relative to vegetative crop growth rate, promoted the production of nodal tillers, providing a mechanism to compensate for reduced basal tiller productivity if stress occurred around anthesis. A low maximum 100 grain mass also ensured individual grain mass was little affected by environmental conditions. The strategy of the high-tillering landraces carries a yield penalty under optimum conditions, but is expected to minimise the risk of a crop failure, particularly if mid-season drought stress occurs. The yield architecture of low-tillering varieties, by contrast, will be suited to end-of-season drought stress, provided anthesis is early. Application of the above adaptation mechanisms into a breeding program could enable the identification of plant types that match the prevalent stress patterns in the target environments. (C) 2003 E.J. van Oosterom. Published by Elsevier Science B.V. All rights reserved.

3: Rehabilitation principles for treating chronic musculoskeletal injuries

Evaluation of patients for rehabilitation after musculoskeletal injury involves identifying, grading and assessing the injury and its impact on the patient's normal activities. Management is guided by a multidisciplinary team, comprising the patient, doctor and physical therapist, with other health professionals recruited as required. Parallel interventions involving the various team members are specified in a customised management plan. The key component of the plan is active mobilisation utilising strengthening, flexibility and endurance exercise programs. Passive physical treatments (heat, ice, and manual therapy), as well as drug therapy and psychological interventions, are used as adjunctive therapy. Biomechanical devices or techniques (eg, orthotic devices) may also be helpful. Coexisting conditions such as depression and drug dependence are treated at the same time as the injury. Effective team communication, simulated environmental testing and, for those employed, contact with the employer facilitate a staged return to normal living, sports and occupational activities.

Plano de implementa????o do projeto de desenvolvimento de capacidade de governan??a

Desde a d??cada de 1990, o Governo Federal brasileiro vem implementando uma agenda ambiciosa de reformas do Estado, centradas na redu????o da pobreza e na melhoria da efici??ncia dos servi??os p??blicos. As principais prioridades, conforme previstas no Plano Plurianual (PPA) para o per??odo 2003-2007, s??o as seguintes: inclus??o social e redu????o da desigualdade; crescimento econ??mico com gera????o de emprego; distribui????o de renda e respeito ao meio ambiente; promo????o e amplia????o dos direitos de cidadania; e fortalecimento da democracia. No in??cio de 2006, o Governo criou a Pol??tica Nacional de Desenvolvimento de Pessoal (Decreto 5.707), com o objetivo de melhorar e aumentar a efici??ncia e a efic??cia na presta????o de servi??os p??blicos. No marco dessa pol??tica recente, as escolas de administra????o p??blica desempenham um papel fundamental na identifica????o das compet??ncias que precisam ser desenvolvidas nas institui????es do governo, bem como na implementa????o de pol??ticas de capacita????o para os servidores p??blicos, diretamente e/ou em parceria com escolas de governo nos n??veis federal, estadual ou local. O Canad?? tamb??m est?? criando uma estrutura para levantar as compet??ncias necess??rias para os servidores p??blicos e desenvolv??-las como um componente da Renova????o do Servi??o P??blico em todo o governo. Como institui????es l??deres no desenvolvimento de compet??ncias de servidores p??blicos, a Canada School of Public Service (CSPS) e a Escola Nacional de Administra????o P??blica (ENAP) firmaram uma parceria para implementar o Projeto de Desenvolvimento de Capacidade de Governan??a no Brasil. A finalidade do Projeto ?? melhorar a capacidade de servidores p??blicos federais, estaduais e municipais do Brasil para desenvolver e implementar programas de capacita????o e gerenciar pol??ticas p??blicas descentralizadas. Espera-se que essa parceria e o resultante compartilhamento de experi??ncias em capacita????o para governan??a efetiva contribuam para a redu????o da pobreza e das desigualdades no Brasil, por meio do desenvolvimento de compet??ncias de servidores na presta????o de servi??os p??blicos eficazes e eficientes, voltados para o cidad??o. O Projeto re??ne, al??m das duas principais Escolas de Governo no Canad?? e no Brasil, seis Escolas Brasileiras de Administra????o P??blica regionais e duas renomadas Institui????es Acad??micas Canadenses ??? a Queen???s University e a Western Ontario University. O Minist??rio do Desenvolvimento Social e Combate ?? Fome (MDS) e tr??s Secretarias Especiais do Governo Federal ??? Ra??a (SEPPIR), Direitos Humanos (SEDH) e Pol??ticas para as Mulheres (SPM) ??? tamb??m se envolver??o nas atividades de compartilhamento de conhecimentos com o Human Resources and Skills Development Canada (HRSDC) e a Canada Public Service Agency (CPSA). A CIDA fornecer?? CND$1.700.000 por meio do Programa Brasil-Canad?? de Interc??mbio de Conhecimentos para a Promo????o da Equidade (PIPE). A contribui????o da ENAP ser?? de CND$1.069.707 em esp??cie. A CSPS contribuir?? com cursos, al??m de conhecimentos e suporte t??cnicos, avaliados em CND$1.000.000. Aproveitando a parceria entre a CSPS e a ENAP, que resultou na transfer??ncia e na adapta????o bem sucedidas de cursos e metodologias canadenses, o novo projeto extrapola o n??cleo do servi??o p??blico em Bras??lia, alcan??ando escolas de governo em regi??es brasileiras em situa????o de desvantagem. ?? semelhan??a do papel da CSPS no primeiro projeto, a ENAP fortalecer?? a capacidade das escolas parceiras regionais para capacitar servidores p??blicos envolvidos na presta????o de servi??os aos brasileiros. O interc??mbio estruturado entre Minist??rios dos Governos canadense e brasileiro tamb??m aplicar?? a aprendizagem mais diretamente a quest??es de pol??ticas e programas sociais do Brasil. O desafio assumido neste Projeto ?? a adapta????o de conhecimentos e aprendizagem, com vistas a melhorar a implementa????o de pol??ticas e programas sociais. Para tanto, a CSPS e a ENAP introduzir??o novos cursos nos curr??culos das escolas parceiras e incorporar??o novos m??todos e tecnologias de aprendizagem como, por exemplo, comunidades de pr??tica virtuais e um componente de tutoria (mentoring) envolvendo o Human Resources and Skills Development Canada e o Minist??rio do Desenvolvimento Social e Combate ?? Fome do Brasil. Seis institui????es da Rede Nacional de Escolas de Governo do Brasil e do Programa de Parceria da ENAP foram selecionadas e convidadas a se unir ?? CSPS e ?? ENAP nesse novo Projeto: a Universidade Federal do Par?? (UFPA), de Bel??m (estado do Par?? ??? regi??o Norte); a Funda????o Joaquim Nabuco (FUNDAJ), de Recife (Pernambuco ??? Nordeste); a Universidade Corporativa do Servi??o P??blico / Secretaria de Administra????o do Estado da Bahia (UCS/SAEB), Salvador (Bahia ??? Nordeste); a Escola de Governo do Mato Grosso do Sul (ESCOLAGOV), Campo Grande (estado do Mato Grosso do Sul ??? Centro-Oeste); a Escola Nacional de Ci??ncias Estat??sticas / Instituto Brasileiro de Geografia e Estat??stica (ENCE/IBGE), Rio de Janeiro (estado do Rio de Janeiro ??? Sudeste); e o Instituto Municipal de Administra????o P??blica (IMAP) de Curitiba (Paran?? ??? Sul). Essas escolas de refer??ncia foram escolhidas segundo sua capacidade de trabalhar como p??los de pr??ticas inovadoras em pol??ticas p??blicas e disseminar os benef??cios do Projeto para outras escolas em suas regi??es, por meio da Rede Nacional coordenada pela ENAP. O objetivo dessa parceria ?? fortalecer as escolas de governo locais, para que estas desenvolvam, por meio de eventos de aprendizagem, compet??ncias em servidores p??blicos, a fim de aumentar a capacidade do governo na implementa????o e gest??o de pol??ticas p??blicas. O Plano de Implementa????o do Projeto (PIP) descreve o trabalho a ser realizado por essas institui????es nos pr??ximos 30 meses, ao tempo em que serve de guia para os Parceiros do Projeto no que se refere ??s a????es e aos recursos necess??rios para a obten????o dos resultados acordados. Na medida em que o Projeto estiver em andamento e os parceiros iniciarem um interc??mbio produtivo de conhecimentos, o Plano de Trabalho Anual ser?? atualizado e revisto por meio de reuni??es anuais de avalia????o e encontros do Comit?? Diretor do Projeto, com vistas a assegurar que os resultados descritos no PIP sejam alcan??ados com sucesso

Prevalência e fatores associados à infecção pelo M. tuberculosis entre agentes comunitários de saúde

Introdução: A tuberculose é uma doença milenar e que, ainda hoje, constitui grave problema de saúde pública em todo o mundo. Objetivo: Estimar a prevalência e os fatores associados à infecção latente pelo MTB entre Agentes Comunitários de Saúde atuantes na rede básica de saúde de Municípios prioritários para o controle de TB – Cuiabá/MT, Manaus/AM, Salvador/BA e Vitória/ES. Métodos: Estudo de corte transversal no qual os dados foram coletados através de questionário, composto de questões abertas e fechadas sobre características pessoais; informações a respeito da tuberculose; utilização de medidas preventivas, etc. Aplicou-se prova tuberculínica, com leitura após 48-72h por enfermeiros treinados, considerando como ponte de corte positivo 5 e 10 mm de enduração. A análise múltipla foi feita por meio de regressão logística hierarquica. Foram incluídas no modelo as variáveis que mostraram associação com desfecho com p<0,1. Permaneceram no modelo as variáveis independentes que mantiveram associação com desfecho após ajuste (p<0,05). Este estudo obteve aprovação do Comitê de Ética em Pesquisa com seres humanos do Centro de Ciências da Saúde da Universidade Federal do Espírito Santo, n° de registro CEP-07/2010 e das Secretarias Municipais de Saúde, por meio de uma Carta de Apresentação. Resultados: 322 Agentes Comunitários de Saúde (ACS) aceitaram participar voluntariamente do estudo por meio da assinatura do Termo de Consentimento Livre e Esclarecido. Destes, 10 não compareceram para leitura, sendo estes considerados como perdas, além do que um indivíduo foi excluído pelo fato do teste rápido para HIV ter resultado positivo, perfazendo uma amostra final de 311 participantes. Ainda em relação aos ACS triados, a positividade a Prova Tuberculínica, levando-se em consideração o ponto de corte ao teste de 10 mm e de 5 mm de enduração, foi de 37,30% (IC95%: 0,31-0,42) e de 57,88% (IC95%: 0,52-0,63), respectivamente.Conclusões: Faz-se necessário um programa de realização de Prova Tuberculínica, de rotina, combinado com intervenções para reduzir o risco de transmissão nosocomial, bem como a realização de outros estudos para avaliar a eficácia de novos testes para detecção de tuberculose latente.

UN Security Council decision-making: testing the bribery hypothesis

Liberal-Institutionalism and Structural Realism expectations about international organizations are confronted by looking at if and how US-controlled international aid is granted, and particularly if it is related or not to political affinity and to United Nations Security Council (UNSC) non-permanent membership. A preliminary assessment suggests that these relations only hold for the period of the Cold War, and, even then, only when UNSC non-permanent membership is in years in which the Security Council was deemed very important.

Molecular dynamics computer simulation of scratch resistance testing of polymers: visualization

Experimental scratch resistance testing provides two numbers: the penetration depth Rp and the healing depth Rh. In molecular dynamics computer simulations, we create a material consisting of N statistical chain segments by polymerization; a reinforcing phase can be included. Then we simulate the movement of an indenter and response of the segments during X time steps. Each segment at each time step has three Cartesian coordinates of position and three of momentum. We describe methods of visualization of results based on a record of 6NX coordinates. We obtain a continuous dependence on time t of positions of each of the segments on the path of the indenter. Scratch resistance at a given location can be connected to spatial structures of individual polymeric chains.

Towards the design of efficient nonbeacon-enabled ZigBee networks

This paper presents experimental results of the communication performance evaluation of a prototype ZigBee-based patient monitoring system commissioned in an in-patient floor of a Portuguese hospital (HPG – Hospital Privado de Guimar~aes). Besides, it revisits relevant problems that affect the performance of nonbeacon-enabled ZigBee networks. Initially, the presence of hidden-nodes and the impact of sensor node mobility are discussed. It was observed, for instance, that the message delivery ratio in a star network consisting of six wireless electrocardiogram sensor devices may decrease from 100% when no hidden-nodes are present to 83.96% when half of the sensor devices are unable to detect the transmissions made by the other half. An additional aspect which affects the communication reliability is a deadlock condition that can occur if routers are unable to process incoming packets during the backoff part of the CSMA-CA mechanism. A simple approach to increase the message delivery ratio in this case is proposed and its effectiveness is verified. The discussion and results presented in this paper aim to contribute to the design of efficient networks,and are valid to other scenarios and environments rather than hospitals.

Modelling the Mechanical Behavior of Polymer-Based Nanocomposites

Molecular dynamics simulations were employed to analyze the mechanical properties of polymer-based nanocomposites with varying nanofiber network parameters. The study was focused on nanofiber aspect ratio, concentration and initial orientation. The reinforcing phase affects the behavior of the polymeric nanocomposite. Simulations have shown that the fiber concentration has a significant effect on the properties, with higher loadings resulting in higher stress levels and higher stiffness, matching the general behavior from experimental knowledge in this field. The results also indicate that, within the studied range, the observed effect of the aspect ratio and initial orientation is smaller than that of the concentration, and that these two parameters are interrelated.

Bone mineral density of rat femurs after hindlimb unloading and different physical rehabilitation programs

Bone weakening can occur due to the absence of load on the skeleton or even short periods of decreased physical activity. Therefore, musculoskeletal diseases that involve temporary immobilization by casts, inactivity or tension increases the risk of fractures. Physical activity is the most studied procedure both to prevent damage and to restore bone structure. The present study aimed at evaluating, by bone densitometry on rat femurs, the influence of hindlimb unloading and later running activity on treadmill or free movement. Sixty-four Wistar rats were used, aged 65 days with a mean corporal mass of 316.11g, randomly divided into eight experimental groups: group 1, the suspended control with seven animals under hindlimb unloading regimen for 28 days, then euthanized; groups 2 and 3, the trained suspended comprising of 7 and five animals, respectively, subjected to hindlimb unloading for 28 days, followed by treadmill exercise for 28 days (group 2) or 56 days (group 3), then euthanized; groups 4 and 5, designated free suspended, comprised of 7 animals each under hindlimb unloading regimen for 28 days followed by free activity in cages for 28 days (group 4) or 56 days (group 5), then euthanized; groups 6, 7 and 8, negative controls, each with 8 animals allowed to free activity in cages and euthanized at the ages of 93, 121 and 149 days, respectively. Bone mineral density (BMD) of the left femur was analyzed by bone densitometry. Unloading by tail-suspension decreased BMD while treadmill training and free activity in cages promoted its recovery in a similar way and over time.

A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism