930 resultados para Kleene algebra with tests
Resumo:
In [H. Brezis, A. Friedman, Nonlinear parabolic equations involving measures as initial conditions, J. Math. Pure Appl. (9) (1983) 73-97.] Brezis and Friedman prove that certain nonlinear parabolic equations, with the delta-measure as initial data, have no solution. However in [J.F. Colombeau, M. Langlais, Generalized solutions of nonlinear parabolic equations with distributions as initial conditions, J. Math. Anal. Appl (1990) 186-196.] Colombeau and Langlais prove that these equations have a unique solution even if the delta-measure is substituted by any Colombeau generalized function of compact support. Here we generalize Colombeau and Langlais` result proving that we may take any generalized function as the initial data. Our approach relies on recent algebraic and topological developments of the theory of Colombeau generalized functions and results from [J. Aragona, Colombeau generalized functions on quasi-regular sets, Publ. Math. Debrecen (2006) 371-399.]. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
We propose a likelihood ratio test ( LRT) with Bartlett correction in order to identify Granger causality between sets of time series gene expression data. The performance of the proposed test is compared to a previously published bootstrapbased approach. LRT is shown to be significantly faster and statistically powerful even within non- Normal distributions. An R package named gGranger containing an implementation for both Granger causality identification tests is also provided.
Resumo:
The main purpose of this work is to study the behaviour of Skovgaard`s [Skovgaard, I.M., 2001. Likelihood asymptotics. Scandinavian journal of Statistics 28, 3-32] adjusted likelihood ratio statistic in testing simple hypothesis in a new class of regression models proposed here. The proposed class of regression models considers Dirichlet distributed observations, and the parameters that index the Dirichlet distributions are related to covariates and unknown regression coefficients. This class is useful for modelling data consisting of multivariate positive observations summing to one and generalizes the beta regression model described in Vasconcellos and Cribari-Neto [Vasconcellos, K.L.P., Cribari-Neto, F., 2005. Improved maximum likelihood estimation in a new class of beta regression models. Brazilian journal of Probability and Statistics 19,13-31]. We show that, for our model, Skovgaard`s adjusted likelihood ratio statistics have a simple compact form that can be easily implemented in standard statistical software. The adjusted statistic is approximately chi-squared distributed with a high degree of accuracy. Some numerical simulations show that the modified test is more reliable in finite samples than the usual likelihood ratio procedure. An empirical application is also presented and discussed. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
Laboratory test was carried out on larvae and adults of the cattle tick, Rhipicephalus (Boophilus) microplus, to determine fipronil toxicity. Adult immersion test (AIT, N = 26), larval immersion test (LIT, N = 71) and larval packet test (LPT, N = 41) were standardized using susceptible strain (Mozo). Dose-response curves were compared with a fipronil resistant strain. Four variables were analyzed from AIT results: mortality, weight of eggs on day 7 and on day 14, index of fertility, and index of fecundity. For larval test, dose mortality curves were analyzed. In spite of the high LC(50) variability, all variables determined for AIT were appropriate to discriminate both strains. AIT and LIT had more sensitivity than LPT, with larger resistance factors. It was used two times LC(99.9) as discriminating doses (DCs) following FAO suggestion. For mortality by AIT, LIT and LPT the DCs were estimated: 4.98 ppm, 7.64 ppm and 2365.8 ppm, respectively, for Mozo strain. DCs mortality values estimated for resistant strain by AIT, LIT and LPT were: 6.96 x 10(5) ppm, 343.26 ppm and 5.7 x 10(3) ppm, respectively and their respective resistant factors were: 202.4, 5.36 and 1.52. Protocols for AIT, LIT and LPT have been presented in this paper. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
Objective: To evaluate the flexural strength, microleakage, and degree of conversion of a microhybrid resin polymerized with argon laser and halogen lamp. Method and Materials: For both flexural test and degree of conversion analysis, 5 bar samples of composite resin were prepared and polymerized according to ISO 4049. The halogen light-curing unit was used with 500 MW/cm(2) for 20 seconds and the argon laser with 250 mW for 10 and 20 seconds. Samples were stored in distilled water in a dark environment at 37 degrees C for 24 hours. The flexural property was quantified by a 3-point loading test. For the microleakage evaluation, 60 bovine incisors were used to prepare standardized Class 5 cavities, which were restored and polished. Specimens were stored in distilled water for 24 hours at 37 degrees C and thermocycled 500 times (6 degrees C to 60 degrees C). Specimens were then immersed in art aqueous solution of basic fuchsin for 24 hours. Longitudinal sections of each restoration were obtained and examined with a stereomicroscope for qualitative evaluation of microleakage. Fourier transform (FT)-Raman RFS 100/S spectrometer (Bruker) was used to analyze the degree of conversion. Results: ANOVA showed no statistically significant differences of flexural strength between the photoactivation types evaluated in the flexural study. Microleakage data were statistically analyzed by Mann-Whitney and Kruskal-Wallis tests. Enamel margins resulted in a statistically lower degree of leakage than dentin margins. No statistically significant difference was found among the 3 types of photocuring studied. ANOVA also showed no statistically significant difference in the degree of conversion among the studied groups. Conclusion: According to the methodology used in this research, the argon laser is a possible alternative for photocuring, providing the same quality of polymerization as the halogen lamp. None of the photocured units tested in this study completely eliminated microleakage.
Resumo:
In this work, composites based on a phenolic matrix and untreated- and treated sisal fibers were prepared. The treated sisal fibers used were those reacted with NaOH 2% solution and esterified using benzophenonetetracarboxylic dianhydride (BTDA). These treated fibers were modified with the objective of improving the adhesion of the fiber-matrix interface, which in turn influences the properties of the composites. BTDA was chosen as the esterifying agent to take advantage of the possibility of introducing; the polar and aromatic groups that are also present in the matrix structure into the surface of the fiber, which could then intensify the interactions occurring in the fiber-matrix interface. The fibers were then analyzed by SEM and FTIR to ascertain their chemical composition. The results showed that the fibers had been successfully modified. The composites (reinforced with 15%, w/w of 3.0 cm length sisal fiber randomly distributed) were characterized by SEM, impact strength, and water absorption capacity. In the tests conducted, the response of the composites was affected both by properties of the matrix and the fibers, besides the interfacial properties of the fiber-matrix. Overall, the results showed that the fiber treatment resulted in a composite that was less hygroscopic although with somewhat lower impact strength, when compared with the composite reinforced with untreated sisal fibers. (C) 2009 Wiley Periodicals, Inc. J Appl Polym Sci 115: 269-276, 2010
Resumo:
Ni catalysts supported on gamma-Al(2)O(3) and Mg(Al)O were prepared with and without Rh as a promoter and tested in the reforming of methane in the presence of excess methane, simulating a model biogas. The effects of adding synthetic air on the methane conversion and the formation of carbon were assessed. The catalysts were characterized by X-ray spectroscopy (EDS), surface area (BET), X-ray diffraction (XRD), Temperature-programmed reduction (TPR), X-ray absorption near-edge structure (XANES) and XPD. The results showed that in catalysts without Rh, the Ni interacts strongly with the supports, showing high reduction temperatures in TPR tests. The addition of Rh increased the amount of reducible Ni and facilitated the reduction of the species interacting strongly with the support. In the catalytic tests, the samples promoted with Rh suffered higher carbon deposition. The in situ XPD suggested that on the support gamma-Al(2)O(3), the presence of Rh probably led to a segregation of Ni species with time on stream, leading to carbon deposition. On the support MgAlO, the presence of Rh improved the dispersion of Ni, by reducing the Ni(0) crystallite size, suggesting that in this case the carbon deposition was due to a favoring of CH(4) decomposition by Rh. (C) 2011 Elsevier B.V. All rights reserved.
Resumo:
NiO/Al(2)O(3) catalyst precursors were prepared by simultaneous precipitation, in a Ni:Al molar ratio of 3:1, promoted with Mo oxide (0.05, 0.5, 1.0 and 2.0 wt%). The solids were characterized by adsorption of N(2), XRD, TPR, Raman spectroscopy and XPS, then activated by H(2) reduction and tested for the catalytic activity in methane steam reforming. The characterization results showed the presence of NiO and Ni(2)AlO(4) in the bulk and Ni(2)AlO(4) and/or Ni(2)O(3) and MoO(4)(-2) at the surface of the samples. In the catalytic tests, high stability was observed with a reaction feed of 4:1 steam/methane. However, at a steam/methane ratio of 2: 1, only the catalyst with 0.05% Mo remained stable throughout the 500 min of the test. The addition of Mo to Ni catalysts may have a synergistic effect, probably as a result of electron transfer from the molybdenum to the nickel, increasing the electron density of the catalytic site and hence the catalytic activity. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
An international standard, ISO/DP 9459-4 has been proposed to establish a uniform standard of quality for small, factory-made solar heating systerns. In this proposal, system components are tested separatelyand total system performance is calculated using system simulations based on component model parameter values validated using the results from the component tests. Another approach is to test the whole system in operation under representative conditions, where the results can be used as a measure of the general system performance. The advantage of system testing of this form is that it is not dependent on simulations and the possible inaccuracies of the models. Its disadvantage is that it is restricted to the boundary conditions for the test. Component testing and system simulation is flexible, but requires an accurate and reliable simulation model.The heat store is a key component conceming system performance. Thus, this work focuses on the storage system consisting store, electrical auxiliary heater, heat exchangers and tempering valve. Four different storage system configurations with a volume of 750 litre were tested in an indoor system test using a six -day test sequence. A store component test and system simulation was carried out on one of the four configurations, applying the proposed standard for stores, ISO/DP 9459-4A. Three newly developed test sequences for intemalload side heat exchangers, not in the proposed ISO standard, were also carried out. The MULTIPORT store model was used for this work. This paper discusses the results of the indoor system test, the store component test, the validation of the store model parameter values and the system simulations.
Resumo:
The aim of this thesis is to look for signs of students’ understanding of algebra by studying how they make the transition from arithmetic to algebra. Students in an Upper Secondary class on the Natural Science program and Science and Technology program were given a questionnaire with a number of algebraic problems of different levels of difficulty. Especially important for the study was that students leave comments and explanations of how they solved the problems. According to earlier research, transitions are the most critical steps in problem solving. The Algebraic Cycle is a theoretical tool that can be used to make different phases in problem solving visible. To formulate and communicate how the solution was made may lead to students becoming more aware of their thought processes. This may contribute to students gaining more understanding of the different phases involved in mathematical problem solving, and to students becoming more successful in mathematics in general.The study showed that the students could solve mathematical problems correctly, but that they in just over 50% of the cases, did not give any explanations to their solutions.
Resumo:
Many companies implement a modular architecture to support the need to create more variants with less effort. Although the modular architecture has many benefits, the tests to detect any defects become a major challenge. However, a modular architecture with defined functional elements seems beneficial to test at module level, so called MPV (Module Property Verification). This paper presents studies from 29 companies with the purpose of showing trends in the occurrence of defects and how these can support the MPV.
Resumo:
Background and aims Evaluating status in patients with motor fluctuations is complex and occasional observations/measurements do not give an adequate picture as to the time spent in different states. We developed a test battery to assess advanced Parkinson patients' status consisting of diary assessments and motor tests. This battery was constructed and implemented on a handheld computer with built-in mobile communication. In fluctuating patients, it should typically be used several times daily in the home environment, over periods of about one week. The aim of this battery is to provide status information in order to evaluate treatment effects in clinical practice and research, follow up treatments and disease progression and predict outcome to optimize treatment strategy. Methods Selection of diary questions was based on a previous study with Duodopa® (DIREQT). Tapping tests (with and without visual cueing) and a spiral drawing test were added. Rapid prototyping was used in development of the user interface. An evaluation with two pilot patients was performed before and after receiving new treatments for advanced disease (one received Duodopa® and one received DBS). Speed and proportion missed taps were calculated for the tapping tests and entropy of the radial drawing velocity was calculated for the spiral tests. Test variables were evaluated using non-parametric statistics. Results Post-treatment improvement was detected in both patients in many of the test variables. Conclusions Although validation work remains, preliminary results are promising and the test battery is currently being evaluated in a long-term health economics study with Duodopa® (DAPHNE).
Resumo:
Objective To investigate if a home environment test battery can be used to measure effects of Parkinson’s disease (PD) treatment intervention and disease progression. Background Seventy-seven patients diagnosed with advanced PD were recruited in an open longitudinal 36-month study at 10 clinics in Sweden and Norway; 40 of them were treated with levodopa-carbidopa intestinal gel (LCIG) and 37 patients were candidates for switching from oral PD treatment to LCIG. They utilized a mobile device test battery, consisting of self-assessments of symptoms and objective measures of motor function through a set of fine motor tests (tapping and spiral drawings), in their homes. Both the LCIG-naïve and LCIG-non-naïve patients used the test battery four times per day during week-long test periods. Methods Assessments The LCIG-naïve patients used the test battery at baseline (before LCIG), month 0 (first visit; at least 3 months after intraduodenal LCIG), and thereafter quarterly for the first year and biannually for the second and third years. The LCIG-non-naïve patients used the test battery from the first visit, i.e. month 0. Out of the 77 patients, only 65 utilized the test battery; 35 were LCIG-non-naïve and 30 LCIG-naïve. In 20 of the LCIG-naïve patients, assessments with the test battery were available during oral treatment and at least one test period after having started infusion treatment. Three LCIG-naïve patients did not use the test battery at baseline but had at least one test period of assessments thereafter. Hence, n=23 in the LCIG-naïve group. In total, symptom assessments in the full sample (including both patient groups) were collected during 379 test periods and 10079 test occasions. For 369 of these test periods, clinical assessments including UPDRS and PDQ-39 were performed in afternoons at the start of the test periods. The repeated measurements of the test battery were processed and summarized into scores representing patients’ symptom severities over a test period, using statistical methods. Six conceptual dimensions were defined; four subjectively-reported: ‘walking’, ‘satisfied’, ‘dyskinesia’, and ‘off’ and two objectively-measured: ‘tapping’ and ‘spiral’. In addition, an ‘overall test score’ (OTS) was defined to represent the global health condition of the patient during a test period. Statistical methods Change in the test battery scores over time, that is at baseline and follow-up test periods, was assessed with linear mixed-effects models with patient ID as a random effect and test period as a fixed effect of interest. The within-patient variability of OTS was assessed using intra-class correlation coefficient (ICC), for the two patient groups. Correlations between clinical rating scores and test battery scores were assessed using Spearman’s rank correlations (rho). Results In LCIG-naïve patients, mean OTS compared to baseline was significantly improved from the first test period on LCIG treatment until month 24. However, there were no significant changes in mean OTS scores of LCIG-non-naïve patients, except for worse mean OTS at month 36 (p<0.01, n=16). The mean scores of all subjectively-reported dimensions improved significantly throughout the course of the study, except ‘walking’ at month 36 (p=0.41, n=4). However, there were no significant differences in mean scores of objectively-measured dimensions between baseline and other test periods, except improved ‘tapping’ at month 6 and month 36, and ‘spiral’ at month 3 (p<0.05). The LCIG-naïve patients had a higher within-subject variability in their OTS scores (ICC=0.67) compared to LCIG-non-naïve patients (ICC=0.71). The OTS correlated adequately with total UPDRS (rho=0.59) and total PDQ-39 (rho=0.59). Conclusions In this 3-year follow-up study of advanced PD patients treated with LCIG we found that it is possible to monitor PD progression over time using a home environment test battery. The significant improvements in the mean OTS scores indicate that the test battery is able to measure functional improvement with LCIG sustained over at least 24 months.