Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Expansion tube operating conditions for studying nonequilibrium radiation relevant to Titan Aerocapture

The predictions of nonequilibrium radiation in the shock layer for a Titan aerocapture aeroshell vary significantly amongst Computational Fluid Dynamics (CFD) analyses and are limited by the physical models of the nonequilibrium flow processes. Of particular interest are nonequilibrium processes associated with the CN molecule which is a strong radiator. It is necessary to have experimental data for these radiating shock layers which will allow for validation of the CFD models. This paper describes the development of a test flow condition for subscale aeroshell models in a superorbital expansion tunnel. We discuss the need for a Titan gas condition that closely simulates the atmospheric composition and present experimental data of the free stream test flow conditions. Furthermore, we present finite-rate CFD calculations of the facility to estimate the remaining free stream conditions, which cannot be directly measured during experiments.

Elaboração e análise de extrato hidrossolúvel de gergelim (Sesamum indicum)

O objetivo do presente estudo foi elaborar e caracterizar um extrato hidrossolúvel à base de gergelim para ser usado como possível substituto do leite de vaca e extrato de soja. Foi proposto um modelo de cinética de absorção de água durante a etapa de maceração no qual estimou o tempo ideal de batimento do gergelim macerado e se essa etapa influencia no rendimento do produto. Posteriormente com o objetivo de saber a influência do tempo de batimento (0,45 min a 14,55 min) e a concentração do extrato (1,925% a 23,07%) foram avaliadas através de um delineamento composto central rotacional (DCCR), ou seja, um delineamento 22 incluindo 4 ensaios nas condições axiais e 5 repetições no ponto central, totalizando 13 experimentos. Para todos os ensaios do delineamento realizou-se análises de viscosidade, cor, sólidos solúveis totais e rendimento. As mesmas análises foram realizadas em amostras comerciais de leite de vaca e extrato hidrossolúvel de soja com o intuito de comparação. Após a realização dessa etapa foi possível à seleção de algumas amostras para elaboração do extrato hidrossolúvel de gergelim e então realizou-se análises físico-químicas (proteína, cinzas, lipídios, carboidratos) e determinou-se a capacidade antioxidante por ABTS e teor de compostos fenólicos de tais amostras. Quanto à análise de rendimento não houve diferença significativa da quantidade de extrato obtido em diferentes temperaturas de maceração pelo teste de Tukey (p> 0,05). O DCCR foi realizado no programa Statistica e selecionaram-se os ensaios 1, 2, 6, 7, PC (ponto central) que foram as amostras que mais se assemelharam com as amostras comerciais estudadas. Nessas amostras realizou-se as análises físico-químicas além de capacidade antioxidante e compostos fenólicos. O conteúdo de sólidos totais na amostra 6 foi superior as demais amostras, diferindo estatisticamente das demais amostras (p> 0,05). Já para o teor de lipídios, cinzas e proteínas encontrados nas amostras 6 e PC foram maiores que as demais amostras, enquanto a amostra 7 exibiu o menor teor de lipídios e proteínas, considerando que o teor de cinzas das amostras 1, 2 e 7 foram estatisticamente iguais. O teor de carboidratos calculado por diferença foi superior nas amostras 1, 2 e 7 e com o menor valor na amostra 6. Os valores de capacidade antioxidante e compostos fenólicos não se diferenciaram estatisticamente entre si ao nível de 5% de probabilidade. Concluiu-se portanto que a etapa de maceração não influenciou no rendimento do produto final. A partir das análises físico-químicas pode-se concluir que o extrato hidrossolúvel de gergelim em determinadas amostras apresentou um melhor desempenho quanto ao valor nutricional comparado ao extrato de soja.

Influence of climate on clinical diagnostic dry eye tests: pilot study

Purpose. To analyze dry eye disease (DED) tests and their consistency in similar nonsymptomatic population samples living in two geographic locations with different climates (Continental vs. Atlantic). Methods. This is a pilot study including 14 nonsymptomatic residents from Valladolid (Continental climate, Spain) and 14 sex-matched and similarly aged residents from Braga (Atlantic climate, Portugal); they were assessed during the same season (spring) of two consecutive years. Phenol red thread test, conjunctival hyperemia, fluorescein tear breakup time, corneal and conjunctival staining, and Schirmer test were evaluated on three different consecutive visits. Reliability was assessed using the intraclass correlation coefficient and weighted kappa (J) coefficient for quantitative and ordinal variables, respectively. Results. Fourteen subjects were recruited in each city with a mean (TSD) age of 63.0 (T1.7) and 59.1 (T0.9) years (p = 0.08) in Valladolid and Braga, respectively. Intraclass correlation coefficient and J values of the tests performed were below 0.69 and 0.61, respectively, for both samples, thus showing moderate to poor reliability. Subsequently, comparisons were made between the results corresponding to the middle and higher outdoor relative humidity (RH) visit in each location as there were no differences in mean temperature (p Q 0.75) despite RH values significantly differing (p e 0.005). Significant (p e 0.05) differences were observed between Valladolid and Braga samples on tear breakup time (middle RH visit, 2.76 T 0.60 vs. 5.26 T 0.64 seconds; higher RH visit, 2.61 T 0.32 vs. 5.78 T 0.88 seconds) and corneal (middle RH, 0.64 T 0.17 vs. 0.14 T 0.10; higher RH, 0.60 T 0.22 vs. 0.0 T 0.0) and conjunctival staining (middle RH, 0.61 T 0.17 vs. 0.14 T 0.08; higher RH, 0.57 T 0.15 vs. 0.18 T 0.09). Conclusions. This pilot study provides initial evidence to support that DED test outcomes assessing the ocular surface integrity and tear stability are climate dependent. Future large-sample studies should support these outcomes also in DED patients. This knowledge is fundamental for multicenter clinical trials. Lack of consistency in diagnostic clinical tests for DED was also corroborated. (Optom Vis Sci 2015;92:e284Ye289)

Accelerated Testing Track, HR-7, 1951

In May 1950 a proposal for a research project was submitted to the newly formed Iowa Highway Research Board for consideration and action. This project, designated RPSl by the Board, encompassed the study, development, preparation of preliminary plans and specifications for the construction of a wheel track to be used in the accelerated testing of highway pavements. The device envisioned in the proposal was a circular track about seventy-five feet in diameter equipped with a suitable automobile-tired device to test pavements about five feet in width laid into the track under regular construction practices by small scale construction equipment. The Board, upon review, revised and expanded the basic concepts of the project. The project as revised by the Board included a study of the feasibility of developing, constructing and operating an accelerated testing track in which pavements, bases and subgrades may be laid one full lane, or at least ten feet, in width by full size construction equipment in conformity with usual construction practices. The pavements so laid are to be subjected, during test, to conditions as nearly simulating actual traffic as possible.

Prediction of transients and control reactions in a transonic wind tunnel

This work describes a lumped parameter mathematical model for the prediction of transients in an aerodynamic circuit of a transonic wind tunnel. Control actions to properly handle those perturbations are also assessed. The tunnel circuit technology is up to date and incorporates a novel feature: high-enthalpy air injection to extend the tunnel’s Reynolds number capability. The model solves the equations of continuity, energy and momentum and defines density, internal energy and mass flow as the basic parameters in the aerodynamic study as well as Mach number, stagnation pressure and stagnation temperature, all referred to test section conditions, as the main control variables. The tunnel circuit response to control actions and the stability of the flow are numerically investigated. Initially, for validation purposes, the code was applied to the AWT ("Altitude Wind Tunnel" of NASA-Lewis). In the sequel, the Brazilian transonic wind tunnel was investigated, with all the main control systems modeled, including injection.

Efeito do teor inicial de água de sementes de feijão e da câmara no teste de envelhecimento acelerado

A temperatura interna das câmaras e o teor de água das sementes podem influenciar os resultados obtidos no teste de envelhecimento acelerado (EA) e, consequentemente, sua interpretação. O trabalho foi desenvolvido com o objetivo de avaliar o efeito de diferentes teores iniciais de água de sementes de feijão nos resultados do teste de envelhecimento acelerado e as condições de temperatura e umidade relativa do ar no interior de duas câmaras de envelhecimento e das caixas plásticas (câmaras internas), durante a condução do teste. Utilizaram-se amostras de quatro lotes de sementes de feijão, cujo teor de água inicial foi ajustado para 8, 10 e 12%. As sementes foram submetidas ao envelhecimento em câmaras jaquetada de água e de germinação tipo BOD. Durante a realização do teste, foram monitorados, com um registrador de dados, os valores da temperatura e da umidade relativa do ar no interior das câmaras e das caixas plásticas, avaliados a cada 10 minutos, por sensores de cobre-constantan com bulbos seco e úmido, instalados no interior das mesmas. Verificou-se pequena variação de temperatura e umidade relativa do ar nas duas câmaras, sendo, porém, menor na jaquetada. em função da umidade relativa do ar na câmara jaquetada ter sido mais elevada, as sementes envelhecidas nessa câmara, apresentaram teor de água mais alto do que aquelas envelhecidas na BOD. Ambas as câmaras podem ser utilizadas para a realização do teste de envelhecimento acelerado de sementes de feijão.

End-to-end modelling of the HEG shock tunnel

We demonstrate an end-to-end computational model of the HEG shock tunnel as a way to extract more precise test flow conditions and as a way of getting predictions of new operating conditions. For a selection of established operating conditions, the L1d program was used to simulate the one-dimensional gas-dynamic processes within the whole of the facility. The program reproduces the compression tube performance reliably and, with the inclusion of a loss factor near the upstream-end of the compression tube, it provides a good estimate of the equilibrium pressure in the shock-reflection region over the set of six standard operating conditions for HEG.

Optimal conditions for the wetting balance test

Wetting balance tests of copper sheets submerged in tin solder baths were carried out in a completely automatic wetting balance. Wetting curves were examined for three different values of sheet thickness and four different solder bath temperatures. Most of the wetting curves showed a distorted shape relative to that of a standard curve, preventing calculation of important wetting parameters, such as the wetting rate and the wetting force. The wetting tests showed that the distortion increased for a thicker sheet thickness and a lower solder bath temperature, being the result of solder bath solidification around the submerged sheet substrate. (C) 2008 Elsevier B.V. All rights reserved.

Evaluation of an immunochromatography test for malaria diagnosis under different storage conditions

This study aimed to evaluate the second-generation OptiMal test for malaria diagnosis under various storage conditions. It detected all the positive samples, except for two Plasmodium malariae samples. Further research evaluating diverse environmental conditions are important for ICT test applicability in Brazilian malaria areas.

Relative and absolute reliability of the clinical version of the Narrow Path Walking Test (NPWT) under single and dual task conditions.

Decline in gait stability has been associated with increased fall risk in older adults. Reliable and clinically feasible methods of gait instability assessment are needed. This study evaluated the relative and absolute reliability and concurrent validity of the testing procedure of the clinical version of the Narrow Path Walking Test (NPWT) under single task (ST) and dual task (DT) conditions. Thirty independent community-dwelling older adults (65-87 years) were tested twice. Participants were instructed to walk within the 6-m narrow path without stepping out. Trial time, number of steps, trial velocity, number of step errors, and number of cognitive task errors were determined. Intraclass correlation coefficients (ICCs) were calculated as indices of agreement, and a graphic approach called "mountain plot" was applied to help interpret the direction and magnitude of disagreements between testing procedures. Smallest detectable change and smallest real difference (SRD) were computed to determine clinically relevant improvement at group and individual levels, respectively. Concurrent validity was assessed using Performance Oriented Mobility Assessment Tool (POMA) and the Short Physical Performance Battery (SPPB). Test-retest agreement (ICC1,2) varied from 0.77 to 0.92 in ST and from 0.78 to 0.92 in DT conditions, with no apparent systematic differences between testing procedures demonstrated by the mountain plot graphs. Smallest detectable change and smallest real change were small for motor task performance and larger for cognitive errors. Significant correlations were observed for trial velocity and trial time with POMA and SPPB. The present results indicate that the NPWT testing procedure is highly reliable and reproducible.

Indeterminate test results of T-SPOT.TB performed under routine field conditions

Interferon-gamma release assays for the diagnosis of tuberculosis (TB) can give indeterminate results. The prevalence of indeterminate test results (ITRs) among T-SPOT.TB tests was assessed. A retrospective analysis of samples processed in 2005 was performed. ITRs were assessed by age, sex, immunosuppression, distance to the laboratory and season. A subgroup of tests performed for specific indications (contact tracing, migrants with positive tuberculin skin test, TB suspects and immunosuppression) were analysed separately. Of a total of 1,429 tests, 49 (3.4%) were indeterminate. ITRs were significantly associated with old age (>75 versus 5-75 yrs; odds ratio (OR) 7.97, 95% confidence interval (CI) 3.968-15.438) and the season during which samples were transported (autumn and winter versus spring and summer; OR 3.47, 95% CI 1.753-7.514). The incidence of ITR was 302 (2.0%) among TB contacts, 75 (1.6%) among immigrants, 156 (3.0%) in TB suspects and 32 (3.0%) among immunosuppressed patients. Sex, young age and distance to the laboratory were not associated with the rate of ITR. Of the 13 tests with ITR that were repeated, 10 gave a clear positive or negative result. Indeterminate test results with T-SPOT.TB under routine conditions were infrequent and more common in individuals aged >75 yrs than in children and younger adults. The incidence of indeterminate test results was low and similar among healthy tuberculosis contacts, immigrants with a positive tuberculin skin test, tuberculosis suspects and the immunosuppressed. The conditions of transportation may influence the incidence of indeterminate test results.