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.

N-aminopyrroledione-hydrazonoketene-pyrazolium oxide-pyrazolone rearrangements and pyrazolone tautomerism

Flash vacuum thermolysis (FVT) of 1-(dimethylamino)pyrrole-2,3-diones 5 causes extrusion of CO with formation of transient hydrazonoketenes 7. The transient ketenes 7 are observable in the form of weak bands at 2130 (7a) or 2115 cm(-1) (7b) in the Ar matrix IR spectra resulting from either FVT or photolysis of either 5 or 1,1- dimethylpyrazolium-5- oxides 8, and these absorptions are in excellent agreement with B3LYP/6-31G* frequency calculations. Under FVT conditions the ketenes 7 cyclize to pyrazolium oxides 8, which undergo 1,4-migration of a methyl group to yield 1,4-dimethyl-3-phenylpyrazole-5(4H)-one 9a and 1,4,4-trimethyl-3-phenylpyrazole-5(4H)-one 9b. All three tautomers of 9a have been characterized, viz. the CH form 9a (most stable form in the gas phase, the solid state and solvents of low polarity), the OH form 9a' (metastable solid at room temperature) and the NH form 9a (stable in aprotic dipolar solvents). The isomeric 1,4-dimethyl-5-phenylpyrazole-3(2H)-one 12 tautomerizes to the 3-hydroxypyrazole 12'. The crystal structure of the hydrochloride 14 of 9a'/9a is reported, representing the first structurally characterised example of a protonated 5-hydroxypyrazole.

Identification of slow and fast-acting toxins in a highly ciguatoxic barracuda (Sphyraena barracuda) by HPLC/MS and radiolabelled ligand binding

A barracuda implicated in ciguatera fish poisoning in Guadeloupe was estimated to have an overall flesh toxicity of 15 MUg/g using mouse bioassay. A lipid soluble extract was separated into two toxic fractions, FrA and FrB, on a LH20 Sephadex column eluted with dichloromethane/methanol (1:1). When intraperitoneal injected into mice, FrA provoked symptoms characteristic of slow-acting ciguatoxins, whereas FrB produced symptoms indicative of fast-acting toxins (FAT). High performance liquid chromatography/mass spectrometry/radio-ligand binding (HPLC/MS/RLB) analysis confirmed the two fractions were distinct, because only a weak overlap of some compounds was observed. HPLC/MS/RLB analysis revealed C-CTX-1 as the potent toxin present in FrA, and two coeluting active compounds at m/z 809.43 and 857.42 in FrB, all displaying the characteristic pattern of ion formation for hydroxy-polyethers. Other C-CTX congeners and putative hydroxy-polyether-like compounds were detected in both fractions, however, the RLB found them inactive. C-CTX-1 accounted for >90% of total toxicity in this barracuda and was confirmed to be a competitive inhibitor of brevetoxin binding to voltage-sensitive sodium channels (VSSCs) with a potency two-times lower than P-CTX-1. However, FAT active on VSSCs and

Field hydraulic properties of an Alfisol under various fallow systems in southwestern Nigeria

The effects of various fallow management systems and cropping intensities on water infiltration were measured on an Alfisol at Ibadan in southwestern Nigeria. The objective was to determine the influence of the land use systems (a combination of crop-fallow sequences and intercropping types) on soil hydraulic properties obtained by disc permeameter and double-ring infiltration measurements. The experiment was established in 1989 as a split-plot design with four replications. The main plots were natural fallow, planted Pueraria phaseoloides and planted Leucaena leucocephala. The subplots were 1 year of maize/cassava intercrop followed by 3-year fallow (25% cropping intensity), or 2-year fallow (33% cropping intensity), or 1-year fallow (50% cropping intensity), or no fallow period (100% cropping intensity). Water infiltration rates and sorptivities were measured under saturated and unsaturated flow. Irrespective of land use, infiltration rates at the soil surface (121-324 cm h(-1)) were greater than those measured at 30 cm depth (55-144 cm h(-1)). This indicated that fewer large pores were present below 30 cm depth compared with 0-30 cm, depth. Despite some temporal variation, sorptivities with the highest mean value of 93.5 cm h(-1/2) increased as the cropping intensity decreased, suggesting a more continuous macropore system under less intensive land use systems. This was most likely due to continuous biopores created by perennial vegetation under long fallow systems. Intercropped maize and cassava yields also increased as cropping intensity decreased. The weak relationship between crop yields and hydraulic conductivity/infiltration rates suggests that the rates were not limiting.

In search of the ultimate ionosonde deduced equator

A further progress has been made in defining the ionosonde deduced equator (IDE) which characterises a latitudinal transition from the northern to southern hemisphere. It is now possible to define the global IDE location as the locus of the average position between geographic and geomagnetic equators. A more complete insight to the phenomenon of the third equator (i.e. after geographic and geomagnetic equators) was made possible due to availability of ionospheric height (h'F) data from three stations positioned close to the IDE in the American and the far-east sectors. The IDE ionospheric signature (or E-type signature), detected at these stations, consists of bi-annual h'F height increases. This signature however is not consistently observed during solar cycle and at times, particularly at sunspot minimum, a weak hemispheric signature is observed (i.e. the northern or southern hemisphere signature). In general, the height increase at the IDE are considerably smaller (by a factor of 4) than at other equatorial locations, indicating that the ionosphere at the IDE location becomes less disturbed. It is suggested that the equatorial longitudinal regions which can be associated with more consistent E-type signature are located in the central Pacific and at the east coast of America, close to the intersection points of the geographic and geomagnetic equators. (C) 2003 Elsevier Ltd. All rights reserved.

Reforma judici??ria e democratiza????o na Am??rica Latina

Este texto reflete a necessidade de uma reforma profunda nos sistemas judici??rios nos pa??ses da Am??rica Latina. O autor enumera os mais consider??veis eventos pol??ticos ocorridos na regi??o ap??s a d??cada de 60, principalmente durante o per??odo dos governos militares, com ??nfase nos modelos judici??rios prevalecentes ??? comumente dependentes, manipulados e fr??geis ??? bem como nos problemas enfrentados pelos ju??zes e serventu??rios da justi??a em muitos pa??ses. Ele tamb??m descreve v??rios movimentos pela reforma legal observados em dois diferentes momentos ??? do fim da d??cada de 60 e come??o da de 70, e depois, durante a d??cada de 80, comparando seus sucessos e fracassos e enumerando uma quantidade de seguidores nacionais e internacionais. Finalmente, o leitor deparar-se-?? com uma an??lise das mudan??as econ??micas e pol??ticas que t??m incentivado esta nova preocupa????o por justi??a e pela reforma das institui????es legais, dentre outras, na Am??rica Latina, assim como as dificuldades que esse movimento deve enfrentar no sentido de alcan??ar um Estado descentralizado, eficiente e democr??tico.

Representações e práticas educativas de mães referentes a filhos atendidos pelo Conselho Tutelar

Apoio CNPq/Capes-Procad.

Olhares acerca do processo de construção dos Projetos Políticos Pedagógicos dos cursos Técnicos Integrados ao Ensino Médio de Jovens e Adultos no contexto do Ifes campus Vitória

Este trabalho é resultado da investigação que teve como objetivo analisar o processo de construção dos Projetos Políticos Pedagógicos dos cursos do Proeja no contexto do Ifes campus Vitória. O problema de pesquisa buscou captar os movimentos e as experiências desencadeados nesse processo. No percurso metodológico, com ênfase na pesquisa qualitativa, foi necessário entrelaçar duas abordagens: a etnografia escolar e a pesquisa-ação em função da atuação profissional da pesquisadora no lócus de estudo. Variados instrumentos foram utilizados para levantamento e a produção dos dados, dentre os quais: questionários, entrevistas, diário de campo das observações, pesquisa bibliográfica e documental. Participaram da pesquisa aproximadamente 80 pessoas, entre docentes, alunos e gestores, abordados em contextos específicos: o grupo de formação continuada, a comissão dos projetos, o encontros dos alunos, a reunião intermediária dentre outros. O referencial teórico-metodológico pautado na perspectiva do materialismo histórico dialético embasou toda a trajetória investigativa, em coerência com a base da produção das pesquisas sobre trabalho e educação e por se constituir a referência que fundamenta os princípios estruturantes do currículo integrado na perspectiva da formação humana. Por meio da metáfora dos observatórios, focamos nossas lentes sobre as questões que desafiaram a construção dos projetos políticos pedagógicos e sua coerência com os princípios epistemológicos, políticos e pedagógicos do Proeja. Nesse movimento, diversos olhares foram captados, possibilitando-nos levantar os seguintes resultados: o percurso de construção dos projetos foi marcado por contradições que perpassam todo o processo e que constituíram um debate profícuo que tenciona a gestão pedagógica, administrativa e financeira do Ifes campus Vitória. O movimento se constituiu também em um processo de construção, partilha de saberes e experiências, impulsionado pela busca da apreensão dos sentidos da integração, que contraditoriamente não alcançou seus objetivos, embora não se possa negar os resultados positivos do processo no interior da Instituição. Dessa forma, os desafios para efetivação da formação integrada no Ifes persistem. Ganha centralidade nessa discussão os sujeitos a quem o programa se volta e suas demandas de formação, bem como as condições materiais de oferta dos cursos e de forma especial as condições de envolvimento dos professores com o programa e as reflexões sobre suas práticas.

Estudo de casos de pacientes portadores de onicomicose tratados com laser Nd : YAG 1.064 nm

Onicomicose é a doença ungueal mais frequente, com prevalência estimada entre 2 e 8% da população. As estratégias de tratamentos atuais incluem uso de antifúngicos tópicos e orais, ambos geralmente com baixos índices de cura. Os objetivos deste estudo foram avaliar a resposta terapêutica ao laser Nd:YAG 1.064 nm no tratamento da onicomicose, bem como o método de avaliação clínica dessa terapia e os possíveis efeitos colaterais de seu uso. Foram revisados prontuários de 20 pacientes submetidos à laserterapia. Ao todo, 34 unhas afetadas foram avaliadas de acordo com o Índice de Severidade de Onicomicose (ISO). Esse índice analisa a área de envolvimento da unha, a proximidade da doença com a matriz ungueal, a ocorrência de dermatofitoma e a presença de hiperqueratose subungueal > 2 mm, gerando uma pontuação que classifica a onicomicose como leve, moderada ou grave. A determinação do ISO foi realizada antes do tratamento e após um período de acompanhamento, em média, de oito meses. A comparação entre o ISO Inicial e o ISO Final nas 34 unhas submetidas à laserterapia mostrou diferença significativa, porém, com baixa associação entre essas variáveis. Com relação à área de envolvimento e à pontuação numérica referente ao ISO, houve, no geral, uma redução dessas medidas. Esses dados apontam para uma tendência à melhora da onicomicose por meio do tratamento com o laser Nd:YAG 1.064 nm. O ISO permitiu uma análise clínica adequada da resposta à laserterapia. Os efeitos colaterais locais apresentados durante a aplicação do laser não causaram desconforto acentuado na maioria dos pacientes, demonstrando que o procedimento é bem tolerado.

Efeito da adição de extrato de casca de jabuticaba nas características físico-químicas e sensoriais de queijo petit suisse

A busca pela melhoria da qualidade de vida e a procura por alimentos naturais e funcionais são crescentes. A incorporação de prebióticos e corantes naturais pode agregar valor ao produto, por serem capazes de melhorar sua qualidade e por apresentarem grandes atrativos tecnológicos. Portanto, o objetivo deste trabalho foi avaliar o efeito da adição de prebióticos (inulina e oligofrutose) e corante natural (extrato de casca de jabuticaba) nas características de queijo petit suisse. Foi realizada análise da composição físico-química (extrato seco total, cinzas, proteínas, lipídeos, carboidratos e acidez titulável) logo após o processamento, análise do pH, colorimetria, teor de compostos bioativos e atividade antioxidante em diferentes tempos de armazenamento (0, 7, 14, 21 e 28 dias), análise do teor de fibras alimentares da formulação de queijo petit suisse com maior atividade antioxidante ao final da vida de prateleira e análises microbiológica e sensorial. O queijo petit suisse elaborado foi dividido em cinco formulações, de acordo com a concentração de corante natural incorporado, que foram 0%, 1,5%, 2,0%, 2,5% e 3,0%. Os dados obtidos com as análises realizadas logo após o processamento e análise sensorial foram submetidos à análise de variância e teste de Tukey, os dados obtidos com as análises realizadas em diferentes tempos de armazenamento foram submetidos à análise de variância e estudo do comportamento cinético, e a análise de fibras e microbiológica foi analisada por meio de estatística descritiva. Os valores de extrato seco total, proteínas, lipídeos, cinzas e carboidrato não diferiram significativamente (p>0,05) entre as formulações. A formulação sem adição de corante natural apresentou menor acidez (p≤0,05), e com o aumento da concentração de corante natural, maior foi a acidez do queijo. Os teores de antocianinas, fenólicos totais e capacidade antioxidante foram maiores com o aumento da concentração de corante incorporado, sendo que o teor de antocianinas reduziu com o decorrer do tempo de armazenamento. O valor encontrado de fibras para a formulação contendo 3,0% de corante natural foi baixo, e o produto não apresentou alegação de propriedade funcional. A fim de verificar se o queijo estava próprio para o consumo, foi realizada análise microbiológica para coliformes termotolerantes, estando todas as formulações de queijo petit suisse em condições sanitárias satisfatórias. A análise sensorial foi realizada em duas etapas. Na primeira etapa foi realizado teste de aceitação com avaliação dos atributos cor, sabor, consistência e impressão global, e intenção de compra para todas as formulações com incorporação de corante natural. Na segunda etapa foi realizado o teste de aceitação com informação nutricional do produto para a amostra mais aceita na primeira etapa. Como resultado, foi observado que o atributo cor foi o único que apresentou diferença significativa (p≤0,05) entre as formulações, sendo as mais aceitas com concentração 2,5% e 3,0%. De forma geral, todas as formulações foram bem aceitas, porém, a formulação com maior adição de corante natural foi a que xiii apresentou maiores notas. Assim, o queijo com maior concentração de corante natural foi o utilizado na segunda etapa sensorial, sendo observada influência das informações nos atributos cor e consistência (p≤0,05). Dessa forma, a utilização de prebióticos e corante natural de casca de jabuticaba em queijo petit suisse foi viável por não alterar a composição centesimal do produto, além de conferir ao produto uma coloração atrativa.

Determinação do momento crítico de flambagem lateral com distorção em vigas mistas contínuas de aço e concreto com perfis de alma senoidal

As vigas mistas de aço e concreto estão sendo largamente utilizadas em construções de edifícios e pontes. Ao se combinar o aço com o concreto obtêm-se estruturas mais econômicas, uma vez que se tira proveito das melhores características de cada material. Nas regiões de momento negativo de uma viga mista contínua, a mesa inferior e parte da alma estão comprimidas, se a alma do perfil não tiver rigidez suficiente para evitar a flexão lateral, ela distorcerá gerando um deslocamento lateral e um giro na mesa comprimida, caracterizando um modo de flambagem denominado flambagem lateral com distorção (FLD). O procedimento de verificação à FLD da EN 1994-1-1:2004 originou o método de cálculo da ABNT NBR 8800:2008, entretanto a EN 1994-1-1:2004 não fornece expressão para o cálculo do momento crítico elástico, enquanto a ABNT NBR 8800:2008 prescreve uma formulação proposta por Roik, Hanswille e Kina (1990) desenvolvida para vigas mistas com perfis de alma plana. Embora as normas prescrevam um método de verificação à FLD para vigas mistas com perfis de alma plana, poucos estudos têm sido feitos sobre esse estado-limite. Além disso, tanto a ABNT NBR 8800:2008 quanto as normas internacionais não abordam perfis de alma senoidal. Neste trabalho, foram implementadas análises de flambagem elástica, com auxílio do software ANSYS 14.0 (2011), em modelos de elementos finitos que retratem o comportamento à FLD de vigas mistas de aço e concreto com perfis de alma plana e senoidal. Os modelos numéricos foram constituídos pelo perfil de aço, por uma mola rotacional que restringe parcialmente o giro da mesa superior e uma restrição ao deslocamento lateral, ao longo de todo o comprimento da viga. Os resultados numéricos são comparados com os obtidos pelas formulações de Roik, Hanswille e Kina (1990) e de Hanswille (2002), adaptadas para levar em consideração a corrugação da alma do perfil de aço. Para avaliação das formulações supracitadas e da consistência da modelagem numérica adotada, o momento crítico elástico foi determinado para vigas mistas com perfis de aço de alma plana. Como resultado, um método para o cálculo do momento crítico elástico de vigas mistas de alma senoidal é proposto.

Modelo de escoamento multifásico para estudo da interação onda/sedimento

Modelos de escoamento multifásico são amplamente usados em diversas áreas de pesquisa ambiental, como leitos fluidizados, dispersão de gás em líquidos e vários outros processos que englobam mais de uma propriedade físico-química do meio. Dessa forma, um modelo multifásico foi desenvolvido e adaptado para o estudo do transporte de sedimentos de fundo devido à ação de ondas de gravidade. Neste trabalho, foi elaborado o acoplamento multifásico de um modelo euleriano não-linear de ondas do tipo Boussinesq, baseado na formulação numérica encontrada em Wei et al. (1995), com um modelo lagrangiano de partículas, fundamentado pelo princípio Newtoniano do movimento com o esquema de colisões do tipo esferas rígidas. O modelo de ondas foi testado quanto à sua fonte geradora, representada por uma função gaussiana, pá-pistão e pá-batedor, e quanto à sua interação com a profundidade, através da não-linearidade e de propriedades dispersivas. Nos testes realizados da fonte geradora, foi observado que a fonte gaussiana, conforme Wei et al. (1999), apresentou melhor consistência e estabilidade na geração das ondas, quando comparada à teoria linear para um kh   . A não-linearidade do modelo de ondas de 2ª ordem para a dispersão apresentou resultados satisfatórios quando confrontados com o experimento de ondas sobre um obstáculo trapezoidal, onde a deformação da onda sobre a estrutura submersa está em concordância com os dados experimentais encontrados na literatura. A partir daí, o modelo granular também foi testado em dois experimentos. O primeiro simula uma quebra de barragem em um tanque contendo água e o segundo, a quebra de barragem é simulada com um obstáculo rígido adicionado ao centro do tanque. Nesses experimentos, o algoritmo de colisão foi eficaz no tratamento da interação entre partícula-partícula e partícula-parede, permitindo a evidência de processos físicos que são complicados de serem simulados por modelos de malhas regulares. Para o acoplamento do modelo de ondas e de sedimentos, o algoritmo foi testado com base de dados da literatura quanto à morfologia do leito. Os resultados foram confrontados com dados analíticos e de modelos numéricos, e se mostraram satisfatórios com relação aos pontos de erosão, de sedimentação e na alteração da forma da barra arenosa

Integrating environmental and economic life cycle analysis in product development: a material selection case study

Purpose Achieving sustainability by rethinking products, services and strategies is an enormous challenge currently laid upon the economic sector, in which materials selection plays a critical role. In this context, the present work describes an environmental and economic life cycle analysis of a structural product, comparing two possible material alternatives. The product chosen is a storage tank, presently manufactured in stainless steel (SST) or in a glass fibre reinforced polymer composite (CST). The overall goal of the study is to identify environmental and economic strong and weak points related to the life cycle of the two material alternatives. The consequential win-win or trade-off situations will be identified via a Life Cycle Assessment/Life Cycle Costing (LCA/LCC) integrated model. Methods The LCA/LCC integrated model used consists in applying the LCA methodology to the product system, incorporating, in parallel, its results into the LCC study, namely those of the Life Cycle Inventory (LCI) and the Life Cycle Impact Assessment (LCIA). Results In both the SST and CST systems the most significant life cycle phase is the raw materials production, in which the most significant environmental burdens correspond to the Fossil fuels and Respiratory inorganics categories. The LCA/LCC integrated analysis shows that the CST has globally a preferable environmental and economic profile, as its impacts are lower than those of the SST in all life cycle stages. Both the internal and external costs are lower, the former resulting mainly from the composite material being significantly less expensive than stainless steel. This therefore represents a full win-win situation. As a consequence, the study clearly indicates that using a thermoset composite material to manufacture storage tanks is environmentally and economically desirable. However, it was also evident that the environmental performance of the CST could be improved by altering its End-of-Life stage. Conclusions The results of the present work provide enlightening insights into the synergies between the environmental and the economic performance of a structural product made with alternative materials. Further, they provide conclusive evidence to support the integration of environmental and economic life cycle analysis in the product development processes of a manufacturing company, or in some cases even in its procurement practices.

On the origin of the electrical response of vapor grown carbon nanofiber + epoxy composites

The origin of the electrical response of vapor grown carbon nanofiber (VGCNF) + epoxy composites is investigated by studying the electrical behavior of VGCNF with resin, VGCNF with hardener and cured composites, separately. It is demonstrated that the onset of the conductivity is associated to the emergence of a weak disorder regime. It is also shown that the weak disorder regime is related to a hopping depending on the physical properties of the polymer matrix.

The role of disorder on the AC and DC electrical conductivity of vapour grown carbon nanofibre/epoxy composites

Four dispersion methods were used for the preparation of vapour grown carbon nanofibre (VGCNF)/epoxy composites. It is shown that each method induces certain levels of VGCNF dispersion and distribution within the matrix, and that these have a strong influence on the composite electrical properties. A homogenous VGCNF dispersion does not necessarily imply higher electrical conductivity. In fact, it is concluded that the presence of well distributed clusters, rather than a fine dispersion, is more important for achieving larger conductivities for a given VGCNF concentration. It is also found that the conductivity can be described by a weak disorder regime.