18 resultados para Conformance checking
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)
Resumo:
Common sense tells us that the future is an essential element in any strategy. In addition, there is a good deal of literature on scenario planning, which is an important tool in considering the future in terms of strategy. However, in many organizations there is serious resistance to the development of scenarios, and they are not broadly implemented by companies. But even organizations that do not rely heavily on the development of scenarios do, in fact, construct visions to guide their strategies. But it might be asked, what happens when this vision is not consistent with the future? To address this problem, the present article proposes a method for checking the content and consistency of an organization`s vision of the future, no matter how it was conceived. The proposed method is grounded on theoretical concepts from the field of future studies, which are described in this article. This study was motivated by the search for developing new ways of improving and using scenario techniques as a method for making strategic decisions. The method was then tested on a company in the field of information technology in order to check its operational feasibility. The test showed that the proposed method is, in fact, operationally feasible and was capable of analyzing the vision of the company being studied, indicating both its shortcomings and points of inconsistency. (C) 2007 Elsevier Ltd. All rights reserved.
Resumo:
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.
Resumo:
One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student`s solution and the template`s solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student`s solution is equivalent to the template`s solution, then we consider the student`s solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers` tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.
Resumo:
O estudo teve o objetivo de testar o controle verbal de diferentes instruções sobre respostas de checagem. Dois participantes adultos foram instruídos a separar quatro tipos de sementes misturadas. Utilizou-se um delineamento sujeito único ABCA na apresentação das instruções. Os resultados mostraram que a instrução C com descrição de conseqüências aversivas aumentou a freqüência das respostas de checagem, sendo que o participante um o fez em relação à instrução B com autoclítico e o participante dois em relação à instrução A de linha de base. Na fase de reversão ambos os participantes diminuíram a freqüência após a apresentação de uma instrução A sem descrição de conseqüências aversivas. Sugere-se que a instrução C especificando toda a contingência pode ter estabelecido função aversiva para as respostas de separação não-efetivas.
Resumo:
A utilização de hidrolisados de carne em dietas melhora seu conteúdo protéico, de vitaminas e minerais. O objetivo do presente trabalho foi avaliar a aceitação de hidrolisados de carne. Quatro preparações foram desenvolvidas com três tipos de hidrolisados em condições similares às domésticas. . A aceitação foi avaliada com uso de escala hedônica de 9 pontos. Os testes foram realizados em três sessões (de acordo com o tipo de hidrolisado) e, incluiu-se na ficha de avaliação informações de idade. A análise estatística foi realizada por ANOVA e teste de Tukey. As preparações mais aceitas foram os bolinhos com hidrolisados de peru e frango. Os hidrolisados podem ser utilizados em diversas preparações, sendo necessário o conhecimento da faixa etária a qual se destinam, suas características sensoriais e físico-químicas, para garantir o sabor e a aparência do produto final
Resumo:
Aeromonads are inhabitants of aquatic ecosystems and are described as being involved in intestinal disturbances and other infections. A total of 200 drinking water samples from domestic and public reservoirs and drinking fountains located in São Paulo (Brazil), were analyzed for the presence of Aeromonas. Samples were concentrated by membrane filtration and enriched in APW. ADA medium was used for Aeromonas isolation and colonies were confirmed by biochemical characterization. Strains isolated were tested for hemolysin and toxin production. Aeromonas was detected in 12 samples (6.0%). Aeromonas strains (96) were isolated and identified as: A. caviae (41.7%), A. hydrophila (15.7%), A.allosacharophila (10.4%), A. schubertii (1.0%) and Aeromonas spp. (31.2%).The results revealed that 70% of A. caviae, 66.7% of A. hydrophila, 80% of A. allosacharophila and 46.6% of Aeromonas spp. were hemolytic. The assay for checking production of toxins showed that 17.5% of A. caviae, 73.3% of A. hydrophila, 60% of A. allosacharophila, 100% of A. schubertii, and 33.3% of Aeromonas spp. were able to produce toxins. The results demonstrated the pathogenic potential of Aeromonas, indicating that the presence of this emerging pathogen in water systems is a public health concern
Resumo:
Measurements are presented of the complex dynamic Young's modulus of NdNiO(3) and Nd(0.65)Eu(0.35)NiO(3) through the metal-insulator transition (MIT). Upon cooling, the modulus presents a narrow dip at the MIT followed by an abrupt stiffening of similar to 6%. The anomaly is reproducible between cooling and heating in Nd(0.65)Eu(0.35)NiO(3) but appears only as a slow stiffening during cooling in undoped NdNiO(3), in conformance with the fact that the MIT in RNiO(3) changes from strongly first order to second order when the mean R size is decreased. The elastic anomaly seems not to be associated with the antiferromagnetic transition, which is distinct from the MIT in Nd(0.65)Eu(0.35)NiO(3). It is concluded that the steplike stiffening is due to the disappearance or freezing of dynamic Jahn-Teller (JT) distortions through the MIT, where the JT active Ni(3+) is disproportionated into alternating Ni(3+delta) and Ni(3-delta). The fluctuating octahedral JT distortion necessary to justify the observed jump in the elastic modulus is estimated as similar to 3% but does not have a role in determining the MIT, since the otherwise-expected precursor softening is not observed.
Resumo:
Molybdenum and tungsten bimetallic oxides were synthetized according to the following methods: Pechini, coprecipitation and solid state reaction (SSR). After the characterization, those solids were carbureted at programmed temperature. The carburation process was monitored by checking the consumption of carburant hydrocarbon and CO produced. The monitoring process permits to avoid or to diminish the formation of pirolytic carbon.
Resumo:
This paper proposes a regression model considering the modified Weibull distribution. This distribution can be used to model bathtub-shaped failure rate functions. Assuming censored data, we consider maximum likelihood and Jackknife estimators for the parameters of the model. We derive the appropriate matrices for assessing local influence on the parameter estimates under different perturbation schemes and we also present some ways to perform global influence. Besides, for different parameter settings, sample sizes and censoring percentages, various simulations are performed and the empirical distribution of the modified deviance residual is displayed and compared with the standard normal distribution. These studies suggest that the residual analysis usually performed in normal linear regression models can be straightforwardly extended for a martingale-type residual in log-modified Weibull regression models with censored data. Finally, we analyze a real data set under log-modified Weibull regression models. A diagnostic analysis and a model checking based on the modified deviance residual are performed to select appropriate models. (c) 2008 Elsevier B.V. All rights reserved.
Resumo:
Background It is noteworthy that there is a clear clinical, epidemiological and pathophysiological association between upper and lower airway inflammation in rhinitis and asthma. Objective The aim of this study was to compare the eosinophil counts in induced sputum and nasal lavage fluids in asthma, checking their association and the accuracy of nasal eosinophilia as a predictor of sputum eosinophilia by a cross-sectional study. Methods The clinical evaluation, asthma control questionnaire (ACQ), pre- and post-bronchodilator spirometry, nasal and sputum sample was performed. The nasal eosinophilia was analysed by a receiver operating curve and logistic regression model. Results In 140 adults, the post-bronchodilator forced expiratory volume in 1 s (FEV(1)) did not differ between patients with or without sputum eosinophilia (0.18). After adjusted for upper airway symptoms, age, ACQ score and post-bronchodilator FEV(1), sputum eosinophilia was associated with 52 times increase in odds of nasal eosinophilia, whereas each 1% increase in bronchodilator response was associated with 7% increase in odds of nasal eosinophilia. Conclusion This study brings further evidence that upper airway diseases are an important component of the asthma syndrome. Furthermore, monitoring of nasal eosinophilia by quantitative cytology may be useful as a surrogate of sputum cytology in as a component of composite measurement for determining airway inflammation.
Resumo:
Aeromonads are inhabitants of aquatic ecosystems and are described as being involved in intestinal disturbances and other infections. A total of 200 drinking water samples from domestic and public reservoirs and drinking fountains located in Sao Paulo (Brazil), were analyzed for the presence of Aeromonas. Samples were concentrated by membrane filtration and enriched in APW. ADA medium was used for Aeromonas isolation and colonies were confirmed by biochemical characterization. Strains isolated were tested for hemolysin and toxin production. Aeromonas was detected in 12 samples (6.0%). Aeromonas strains (96) were isolated and identified as: A. caviae (41.7%), A. hydrophila (15.7%), A. allosacharophila (10.4%), A. schubertii (1.0%) and Aeromonas spp. (31.2%). The results revealed that 70% of A. caviare, 66.7% of A. hydrophila, 80% of A. allosacharophila and 46.6% of Aeromonas spp. were hemolytic. The assay for checking production of toxins showed that 17.5% of A. caviae, 73.3% of A. hydrophila, 60% of A. allosacharophila, 100% of A. schubertii, and 33.3% of Aeromonas spp. were able to produce toxins. The results demonstrated the pathogenic potential of Aeromonas, indicating that the presence of this emerging pathogen in water systems is a public health concern.
Resumo:
In contrast to the many studies on the venoms of scorpions, spiders, snakes and cone snails, tip to now there has been no report of the proteomic analysis of sea anemones venoms. In this work we report for the first time the peptide mass fingerprint and some novel peptides in the neurotoxic fraction (Fr III) of the sea anemone Bunodosoma cangicum venom. Fr III is neurotoxic to crabs and was purified by rp-HPLC in a C-18 column, yielding 41 fractions. By checking their molecular masses by ESI-Q-Tof and MALDI-Tof MS we found 81 components ranging from near 250 amu to approximately 6000 amu. Some of the peptidic molecules were partially sequenced through the automated Edman technique. Three of them are peptides with near 4500 amu belonging to the class of the BcIV, BDS-I, BDS-II, APETx1, APETx2 and Am-II toxins. Another three peptides represent a novel group of toxins (similar to 3200 amu). A further three molecules (similar to similar to 4900 amu) belong to the group of type 1 sodium channel neurotoxins. When assayed over the crab leg nerve compound action potentials, one of the BcIV- and APETx-like peptides exhibits an action similar to the type 1 sodium channel toxins in this preparation, suggesting the same target in this assay. On the other hand one of the novel peptides, with 3176 amu, displayed an action similar to potassium channel blockage in this experiment. In summary, the proteomic analysis and mass fingerprint of fractions from sea anemone venoms through MS are valuable tools, allowing us to rapidly predict the occurrence of different groups of toxins and facilitating the search and characterization of novel molecules without the need of full characterization of individual components by broader assays and bioassay-guided purifications. It also shows that sea anemones employ dozens of components for prey capture and defense. (C) 2008 Elsevier Inc. All rights reserved.
Resumo:
The Br (0.0022 +/- A 0.0006 gL(-1)), Ca (0.113 +/- A 0.012 gL(-1)), Cl (3.07 +/- A 0.36 gL(-1)), K (2.63 +/- A 0.14 gL(-1)), Mg (0.045 +/- A 0.002 gL(-1)) and Na (2.09 +/- A 0.10 gL(-1)) concentrations were determined in whole blood of SJL/J mice using the Neutron Activation Analysis (NAA) technique. Eleven whole blood samples were analyzed in the IEA-R1 nuclear reactor at IPEN (So Paulo, Brazil). These data contribute for applications in veterinary medicine related to biochemistry analyses using whole blood. Moreover, the correlation with human blood estimation allows to checking the similarities for studying muscular dystrophy using this model animal.
Resumo:
In the present study, we compared 2 methods for collecting ixodid ticks on the verges of animal trails in a primary Amazon forest area in northern Brazil. (i) Dragging: This method was based on passing a 1-m(2) white flannel over the vegetation and checking the flannel for the presence of caught ticks every 5-10 m. (ii) Visual search: This method consisted of looking for guesting ticks on the tips of leaves of the vegetation bordering animal trails in the forest. A total of 103 adult ticks belonging to 4 Amblyomma species were collected by the visual search method on 5 collecting dates, while only 44 adult ticks belonging to 3 Amblyomma species were collected by dragging on 5 other collecting dates. These values were statistically different (Mann-Whitney Test, P = 0.0472). On the other hand, dragging was more efficient for subadult ticks, since no larva or nymph was collected by visual search, whereas 18 nymphs and 7 larvae were collected by dragging. The visual search method proved to be suitable for collecting adult ticks in the Amazon forest: however, field studies should include a second method, such as dragging in order to maximize the collection of subadult ticks. Indeed, these 2 methods can be performed by a single investigator at the same time, while he/she walks on an animal trail in the forest. (C) 2010 Elsevier GmbH. All rights reserved.
Resumo:
This paper proposes a method to locate and track people by combining evidence from multiple cameras using the homography constraint. The proposed method use foreground pixels from simple background subtraction to compute evidence of the location of people on a reference ground plane. The algorithm computes the amount of support that basically corresponds to the ""foreground mass"" above each pixel. Therefore, pixels that correspond to ground points have more support. The support is normalized to compensate for perspective effects and accumulated on the reference plane for all camera views. The detection of people on the reference plane becomes a search for regions of local maxima in the accumulator. Many false positives are filtered by checking the visibility consistency of the detected candidates against all camera views. The remaining candidates are tracked using Kalman filters and appearance models. Experimental results using challenging data from PETS`06 show good performance of the method in the presence of severe occlusion. Ground truth data also confirms the robustness of the method. (C) 2010 Elsevier B.V. All rights reserved.