API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

A comparison of two methods for the calculation of accumulated oxygen deficit

The aim of this study was to compare accumulated oxygen deficit data derived using two different exercise protocols with the aim of producing a less time-consuming test specifically for use with athletes. Six road and four track male endurance cyclists performed two series of cycle ergometer tests. The first series involved five 10 min sub-maximal cycle exercise bouts, a (V) over dotO(2peak) test and a 115% (V) over dotO(2peak) test. Data from these tests were used to estimate the accumulated oxygen deficit according to the calculations of Medbo et al. (1988). In the second series of tests, participants performed a 15 min incremental cycle ergometer test followed, 2 min later, by a 2 min variable resistance test in which they completed as much work as possible while pedalling at a constant rate. Analysis revealed that the accumulated oxygen deficit calculated from the first series of tests was higher (P< 0.02) than that calculated from the second series: 52.3 +/- 11.7 and 43.9 +/- 6.4 ml . kg(-1), respectively (mean +/- s). Other significant differences between the two protocols were observed for (V) over dot O-2peak, total work and maximal heart rate; all were higher during the modified protocol (P

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Mapping the royal road and other hierarchical functions

In this paper we present a technique for visualising hierarchical and symmetric, multimodal fitness functions that have been investigated in the evolutionary computation literature. The focus of this technique is on landscapes in moderate-dimensional, binary spaces (i.e., fitness functions defined over {0, 1}(n), for n less than or equal to 16). The visualisation approach involves an unfolding of the hyperspace into a two-dimensional graph, whose layout represents the topology of the space using a recursive relationship, and whose shading defines the shape of the cost surface defined on the space. Using this technique we present case-study explorations of three fitness functions: royal road, hierarchical-if-and-only-if (H-IFF), and hierarchically decomposable functions (HDF). The visualisation approach provides an insight into the properties of these functions, particularly with respect to the size and shape of the basins of attraction around each of the local optima.

Estado nutricional e estilo de vida em vegetarianos e onívoros, Grande Vitória-ES

Objetivo: Descrever e analisar o estado nutricional e aspectos do estilo de vida de vegetarianos e onívoros residentes na Grande Vitória/ES, na faixa etária de 35 a 64 anos de idade. Material E Métodos: Trata-se de estudo observacional híbrido de casos prevalentes com avaliação retrospectiva da exposição. Os grupos de expostos (134) e não expostos à dieta onívora típica ocidental (67) foram determinados no início da investigação. Foram coletados dados antropométricos, bioquímicos, de atividade física e alimentação através de questionário e 3 recordatórios de 24 horas e diagnosticados sobrepeso, Razão Cintura Quadril (RCQ) inadequada e hipercolesterolemia. Colesterol total e frações, triglicerídeos, ácido úrico, sódio e potássio urinários foram comparados entre os grupos, através do teste t de Student. Foi usado o teste qui-quadrado para comparar proporções, com =0,05. Resultados: Foram encontradas diferenças significativas em relação à ocupação. Duração da atividade física e tempo assistindo televisão e/ou utilizando computador foram maiores entre os onívoros. Os vegetarianos relataram práticas alimentares mais saudáveis e menor consumo de lipídios, proteínas e sódio. Os onívoros apresentaram maior risco de sobrepeso, RCQ inadequada e hipercolesterolemia (valores de P<0,0001). HDL-colesterol não foi diferente nos grupos. Conclusão: Os vegetarianos apresentaram perfil nutricional mais adequado e menor risco para os agravos crônicos estudados, apesar de pequena diferença no padrão de atividade física regular entre os grupos estudados.

Metodologia para obtenção do hidrograma de escoamento superficial em encostas e canais. Parte II: modelo computacional e análise de sensibilidade

Estimativas de vazão máxima de escoamento superficial são necessárias para o projeto de obras hidráulicas em bacias urbanas e rurais. A dificuldade em aplicar os procedimentos disponíveis para calcular a variação do escoamento superficial com o tempo e de seu valor máximo deve-se à inexatidão dos métodos usados para esse objetivo e à variabilidade nos resultados que podem ser obtidos por profissionais que usem o mesmo procedimento. Dessa forma, a investigação de um método que produza estimativas confiáveis da vazão máxima e do hidrograma de escoamento superficial é de grande interesse. Neste trabalho, desenvolveu-se e avaliou-se a sensibilidade de um software (HIDROGRAMA 2.1) que permite a obtenção do hidrograma de escoamento superficial, da vazão máxima e seu tempo de ocorrência, da altura e da velocidade máximas do escoamento, do volume e da lâmina de escoamento superficial em encosta e em canais. O modelo apresentou grande sensibilidade ao período de retorno, à taxa de infiltração estável e ao comprimento da encosta e do canal.

Alunos com paralisia cerebral na escola : linguagem, comunicação alternativa e processos de comunicativos

O estudo assume como problema de investigação analisar as contribuições da Comunicação Alternativa e Ampliada (CAA) aos processos comunicativos de alunos sem fala articulada no contexto da escola, destacando nesses processos o papel potencializador dos interlocutores. Fundamenta-se na abordagem de linguagem e na noção de enunciado discutidas por Bakhtin e nas contribuições de Vigotski sobre a relação entre desenvolvimento e aprendizagem, postulando que a aquisição e o desenvolvimento da linguagem ocorrem no curso das aprendizagens, ao longo da vida. As análises e reflexões empreendidas evidenciam uma discussão acerca da linguagem que se desloca da dimensão orgânica para a dimensão da constituição do sujeito como humano. Sob essa visão, outros conceitos, como os de língua, fala, interação verbal, dialogia, enunciação, aprendizagem e desenvolvimento são problematizados e também considerados como elementos fundantes e presentes nas relações comunicativas entre os sujeitos sem fala articulada e seus interlocutores. Na primeira etapa, o estudo busca conhecer as formas organizativo-pedagógicas de cinco Secretarias Municipais de Educação da Região Metropolitana de Vitória e da Secretaria de Estado da Educação no que diz respeito à identificação dos alunos com Paralisia Cerebral, sem fala articulada, ao acompanhamento técnico-pedagógico e à formação de professores que atuam na Educação Especial. Na segunda etapa, objetiva conhecer a processualidade da organização do trabalho pedagógico instituída nos contextos escolares e investiga os processos comunicativos em/com dois alunos com severos comprometimentos motores e de fala em duas escolas de Ensino Fundamental, localizadas no município de Serra e de Vitória. Nesta etapa, opta pela pesquisa- ação colaborativo-crítica por contribuir, teórica e metodologicamente, para sustentar os fazeres individuais e coletivos nos lócus de investigação. Os resultados revelam que, institucionalmente, ainda não se conhece quem são e quantos são os alunos com Paralisia Cerebral sem fala articulada no contexto de suas reais necessidades. Esse desconhecimento é atribuído pelas gestoras das Secretarias Municipais de Educação investigadas ao considerarem que, via de regra, são tomadas apenas as informações do Educacenso-INEP. As identificações pontuais, quando ocorrem, são decorrentes de estratégias internas adotadas, sendo uma delas o assessoramento pedagógico das equipes às escolas. No que tange ao ensino, à aprendizagem e à avaliação, o estudo constata que são atravessados por concepções equivocadas sobre os sujeitos com Paralisia Cerebral sustentadas, sobretudo, pela baixa expectativa e pelo pouco “esforço” quanto à sua escolarização. Constata também que o uso dos recursos de CAA potencializa os processos comunicativos dos alunos investigados e, movimentados pela linguagem, possibilita-lhes enunciar e fixar posições, opiniões e decisões, assegurando-lhes mais autonomia e fluidez do processo comunicacional. As formas de mediação dos interlocutores assim como as dinâmicas dialógicas por eles utilizadas com os alunos se constituem como elementos importantes nos processos de comunicação e interação. A espera do outro, o apoio e o incentivo à reformulação daquilo que se quer expressar, as modificações e alterações no jogo dialógico são exemplos dessa mediação. Quanto às ações de reorganização do trabalho pedagógico, o estudo registra maior articulação e colaboração entre professores da classe, professora da Educação Especial e estagiária no planejamento das aulas, dos conteúdos, com a inserção no notebook para um dos alunos; o uso das pranchas de comunicação, por ambos os alunos e seus interlocutores, como ação inovadora nos contextos escolares; a realização de atividades pelos alunos, com gradativa autonomia, a partir da disponibilização de recursos de TA/CAA (pasta de conteúdos temáticos, figuras imantadas, quadro metálico, ponteira, plano inclinado, notebook); a proposição de ações intencionais de alfabetização, a partir da reorganização de espaços-tempos no cotidiano da escola. Conclui que as discussões teóricas e práticas das questões relacionadas com a linguagem, com os processos cognitivos e com o uso de recursos de TA/CAA alavancam mudanças na concepção dos profissionais das escolas pesquisadas que, ainda, sob uma visão reducionista quanto às formas de comunicação e de interação verbal, “impõem” limites à escolarização dos alunos com deficiência.

Efeito de dezesseis semanas de treinamento de resistência aeróbia na função vascular de jovens sedentários

Introdução: Muito embora os estudos apontem para um efeito positivo do exercício físico, em especial o treinamento com exercício aeróbio, sobre a pressão arterial e a distensibilidade arterial, pouco se sabe sobre os efeitos do treinamento com exercício de resistência aeróbia sobre a complacência vascular de indivíduos jovens saudáveis. Objetivos: Avaliar o efeito de 16 semanas de treinamento de resistência aeróbia sobre a função vascular e a pressão arterial de indivíduos jovens sedentários. Métodos: Foram avaliados 56 voluntários (de ambos os sexos, na faixa etária de 18 à 29 anos) antes e após 16 semanas de treinamento com corrida 3 vezes por semana. As medidas de pressão arterial foram realizadas de acordo com a VI Diretrizes Brasileiras de Hipertensão e a velocidade de onda de pulso (VOP) foi realizada com a utilização de um gravador automático computadorizado e os resultados foram analisados pelo programa Complior®. Resultados: Dos 56 indivíduos que participaram do presente estudo, 44 eram do sexo masculino (78,5%) e 12 do sexo feminino (21,5 %). Eles apresentaram idade de 22 ± 3 anos, estatura de 1,75 ± 0,07 metros, circunferência de cintura de 79,6 ± 7,8 cm e PAM de 79 ± 6,4 mmHg. O treinamento promoveu redução da FC repouso (69 ± 7,0 vs. 61 ± 7,1; p<0,05) e aumento do VO2pico (43,3 ± 7,3 vs. 50,1 ± 7,2; p<0,05). Entretanto, pressão arterial sistólica (107 ± 9,4 vs. 110 ± 10), pressão arterial diastólica (63 ± 5,7 vs. 62 ± 5,5), pressão de pulso (44 ± 7,0 vs. 48 ± 7,0) e VOP (6,5 ± 1,1 vs. 6,5 ± 1,1) não apresentaram alteração após o treinamento físico (p>0,05). Conclusões: Podemos concluir que 16 semanas de treinamento de resistência aeróbia foram capazes de aumentar a aptidão cardiorrespiratória, porém não provocaram alterações sobre a velocidade de onda de pulso e pressão arterial em voluntários saudáveis e sedentários. Sugere-se que a ausência de adaptações vasculares após o treinamento seja devido às características da amostra – indivíduos jovens e saudáveis.

Tendências temporais de mortalidade por câncer de próstata no estado do Espírito Santo

Introdução: O câncer de próstata é o segundo tipo de câncer mais incidente em homens em todas as regiões do Brasil. Aproximadamente 62% dos casos diagnosticados no mundo ocorrem em homens com 65 anos ou mais, caracterizando o único fator de risco estabelecido. Objetivos: Estudar a tendência da completude do Sistema de Informação de Mortalidade (SIM), segundo as variáveis idade, raça/cor, escolaridade e estado civil no período de 2000 a 2010, no Espírito Santo, Região Sudeste e Brasil. Analisar a tendência de mortalidade por câncer de próstata na série histórica no estado do Espírito Santo (ES), no período de 1980 a 2010. Metodologia: Realizou-se um estudo descritivo baseado em dados secundários de todos os óbitos por câncer de próstata obtidos do SIM e dados do Instituto Brasileiro de Geografia e Estatística (IBGE) disponíveis no DATASUS departamento de informática do SUS (Sistema Único de Saúde), no ES, Região Sudeste e Brasil, no período de 1980 a 2010. Considerou-se as variáveis (idade, raça/cor, escolaridade e estado civil). Analisou-se o número absoluto e calculou-se o percentual de não preenchimento das informações das declarações de óbitos (DOs), que são a base de informação do SIM, nas localidades selecionadas (ES, Região Sudeste e Brasil). Analisou-se através do Pacote Estatístico para Ciências Sociais (SPSS), versão 18.0. Realizou-se uma análise inferencial com ajustes de curvas para os percentuais de dados faltantes das variáveis demográficas disponíveis no sistema do DATASUS (estado civil, escolaridade, raça/cor). E para a análise de tendência, foi realizado o cálculo do coeficiente de mortalidade por óbitos. As equações do melhor modelo e as estatísticas de ajuste (valor de R2 e o p-valor do teste F de adequação do modelo) foram obtidas do programa SPSS, versão 18.0. Resultados: No período de 2000 a 2010 a variável raça/cor, escolaridade, mostrou-se decrescente para o Brasil. A variável estado civil destacou-se por caracterizar uma tendência crescente no ES, Região Sudeste e Brasil. No período de 1980 a 2010 observou-se 3.561 óbitos no ES. Observa-se na série história que há tendência crescente de mortalidade por câncer de próstata. Conclusão: O trabalho é de grande importância para o estudo de câncer de próstata no Brasil. Identificou-se a crescente não completude dos campos de Estado Civil, enquanto a variável raça/cor foi considerada decrescente, porém com qualidade dos dados ruim. É preciso ações para que o processo de coleta dos dados seja aprimorado pela capacitação dos registradores. Nos resultados observou-se a tendência de crescimento da mortalidade, sendo necessárias ações, estratégias e políticas governamentais voltadas para a integralidade à saúde masculina.

Contrasts in the basins of attraction of structurally identical iterative root finding methods

A numerical comparison is performed between three methods of third order with the same structure, namely BSC, Halley’s and Euler–Chebyshev’s methods. As the behavior of an iterative method applied to a nonlinear equation can be highly sensitive to the starting points, the numerical comparison is carried out, allowing for complex starting points and for complex roots, on the basins of attraction in the complex plane. Several examples of algebraic and transcendental equations are presented.

A laparoscopic surgery training interface

Laparoscopy is a surgical procedure on which operations in the abdomen are performed through small incisions using several specialized instruments. The laparoscopic surgery success greatly depends on surgeon skills and training. To achieve these technical high-standards, different apprenticeship methods have been developed, many based on in vivo training, an approach that involves high costs and complex setup procedures. This paper explores Virtual Reality (VR) simulation as an alternative for novice surgeons training. Even though several simulators are available on the market claiming successful training experiences, their use is extremely limited due to the economic costs involved. In this work, we present a low-cost laparoscopy simulator able to monitor and assist the trainee’s surgical movements. The developed prototype consists of a set of inexpensive sensors, namely an accelerometer, a gyroscope, a magnetometer and a flex sensor, attached to specific laparoscopic instruments. Our approach allows repeated assisted training of an exercise, without time constraints or additional costs, since no human artificial model is needed. A case study of our simulator applied to instrument manipulation practice (hand-eye coordination) is also presented.

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods