30 resultados para Quantified Reflective Logic
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)
Resumo:
Wastewater containing several dyes, including sulfur black from the dyeing process in a textile mill, was treated using a UV/H(2)O(2) process. The wastewater was characterized by a low BOD/ COD ratio, intense color and high acute toxicity to the algae species Pseudokirchneriella subcaptata. The influence of the pH and H(2)O(2) concentration on the treatment process was evaluated by a full factorial design 2(2) with three replicates of the central experiment. The removal of aromatic compounds and color was improved by an increase in the H(2)O(2) concentration and a decrease in pH. The best results were obtained at pH 5.0 and 6 g L(-1). With these conditions and 120 min of UV irradiation, the removal of the color, aromatic compounds and COD were 74.1, 55.1 and 44.8%, respectively. Under the same conditions, but using a photoreactor covered with aluminum foil, the removal of the color, aromatic compounds and COD were 92.0, 77.6 and 59.4%, respectively. Moreover, the use of aluminum foil reduced the cost of the treatment by 40.8%. These results suggest the potential application of reflective materials as a photoreactor accessory to reduce electric energy consumption during the UV/H(2)O(2) process.
Resumo:
Despite modern weed control practices, weeds continue to be a threat to agricultural production. Considering the variability of weeds, a classification methodology for the risk of infestation in agricultural zones using fuzzy logic is proposed. The inputs for the classification are attributes extracted from estimated maps for weed seed production and weed coverage using kriging and map analysis and from the percentage of surface infested by grass weeds, in order to account for the presence of weed species with a high rate of development and proliferation. The output for the classification predicts the risk of infestation of regions of the field for the next crop. The risk classification methodology described in this paper integrates analysis techniques which may help to reduce costs and improve weed control practices. Results for the risk classification of the infestation in a maize crop field are presented. To illustrate the effectiveness of the proposed system, the risk of infestation over the entire field is checked against the yield loss map estimated by kriging and also with the average yield loss estimated from a hyperbolic model.
Resumo:
A large number of initiatives in cities in Brazil - including slum clearance and upgrading - have been undertaken over the years in an effort to ameliorate the problems arising from informal occupation; unfortunately, however, little is known about the related performance outcomes. Careful appraisal of the results of such initiatives is thus called for, covering evaluations of dwellers` perceptions of the upgraded environments. Among the available evaluation methods, post-occupancy evaluation (POE) is commonly employed, although it fails adequately to reflect prevailing subjective concepts of quality. The present paper contains the partial findings of a research exercise aimed at developing an original method, using fuzzy logic, for urban environmental quality evaluation in informally occupied areas on the basis of combining quantitative indicators and dweller perception. It combines POE with fuzzy logic in order to develop tools that can better model the uncertain information that emerges from that kind of study. This paper aims to introduce an uncertainty measure used in order to identify the strengths and weaknesses of slum upgrading projects. The results show that it is possible to quantify certainty degrees in the findings and to define if additional information is needed.
Resumo:
An efficient expert system for the power transformer condition assessment is presented in this paper. Through the application of Duval`s triangle and the method of the gas ratios a first assessment of the transformer condition is obtained in the form of a dissolved gas analysis (DGA) diagnosis according IEC 60599. As a second step, a knowledge mining procedure is performed, by conducting surveys whose results are fed into a first Type-2 Fuzzy Logic System (T2-FLS), in order to initially evaluate the condition of the equipment taking only the results of dissolved gas analysis into account. The output of this first T2-FLS is used as the input of a second T2-FLS, which additionally weighs up the condition of the paper-oil system. The output of this last T2-FLS is given in terms of words easily understandable by the maintenance personnel. The proposed assessing methodology has been validated for several cases of transformers in service. (C) 2010 Elsevier Ltd. All rights reserved.
Resumo:
We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.
Resumo:
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks. (c) 2007 Elsevier Inc. All rights reserved.
Resumo:
Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.
Resumo:
The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.
Resumo:
Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.
Resumo:
This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules. A first step has been achieved towards the linking of the SISTEMAT database with the LSD structure generator. The skeletal descriptions found by the SISTEMAT programs are now easily transferred to LSD as substructural constraints. Examples of the synergy between these expert systems are given for recently reported natural products.
Resumo:
OBJETIVO: este estudo teve como objetivo avaliar a influência da largura do septo inter-radicular no local de inserção de mini-implantes autoperfurantes sobre o grau de estabilidade desses dispositivos de ancoragem. MÉTODOS: a amostra consistiu de 40 mini-implantes inseridos entre as raízes do primeiro molar e segundo pré-molar superiores de 21 pacientes, com o intuito de fornecer ancoragem para retração anterior. A largura do septo no local de inserção (LSI) foi mensurada nas radiografias pós-cirúrgicas e, sob esse aspecto, os mini-implantes foram divididos em dois grupos: grupo 1 (áreas críticas, LSI<3mm) e grupo 2 (áreas não críticas, LSI>3mm). A estabilidade dos mini-implantes foi avaliada mensalmente pela quantificação do grau de mobilidade e a partir dessa variável foi calculada a proporção de sucesso. Avaliou-se também: a quantidade de placa, altura de inserção, grau de sensibilidade e período de observação. RESULTADOS: os resultados obtidos demonstraram que não houve diferença estatisticamente significativa para o grau de mobilidade e proporção de sucesso entre os mini-implantes inseridos em septos de largura mesiodistal crítica e não crítica. A proporção de sucesso total encontrada foi de 90% e nenhuma variável demonstrou estar relacionada ao insucesso dos mini-implantes. No entanto, observou-se maior sensibilidade nos pacientes cujos mini-implantes apresentavam mobilidade, e que a falha desses dispositivos de ancoragem ocorria logo após sua inserção. CONCLUSÃO: a largura do septo inter-radicular no local de inserção não interferiu na estabilidade dos mini-implantes autoperfurantes avaliados neste estudo.
Resumo:
Advances in diagnostic research are moving towards methods whereby the periodontal risk can be identified and quantified by objective measures using biomarkers. Patients with periodontitis may have elevated circulating levels of specific inflammatory markers that can be correlated to the severity of the disease. The purpose of this study was to evaluate whether differences in the serum levels of inflammatory biomarkers are differentially expressed in healthy and periodontitis patients. Twenty-five patients (8 healthy patients and 17 chronic periodontitis patients) were enrolled in the study. A 15 mL blood sample was used for identification of the inflammatory markers, with a human inflammatory flow cytometry multiplex assay. Among 24 assessed cytokines, only 3 (RANTES, MIG and Eotaxin) were statistically different between groups (p<0.05). In conclusion, some of the selected markers of inflammation are differentially expressed in healthy and periodontitis patients. Cytokine profile analysis may be further explored to distinguish the periodontitis patients from the ones free of disease and also to be used as a measure of risk. The present data, however, are limited and larger sample size studies are required to validate the findings of the specific biomarkers.
Resumo:
For centuries, specific instruments or regular toothbrushes have routinely been used to remove tongue biofilm and improve breath odor. Toothbrushes with a tongue scraper on the back of their head have recently been introduced to the market. The present study compared the effectiveness of a manual toothbrush with this new design, i.e., possessing a tongue scraper, and a commercial tongue scraper in improving breath odor and reducing the aerobic and anaerobic microbiota of tongue surface. The evaluations occurred at 4 moments, when the participants (n=30) had their halitosis quantified with a halimeter and scored according to a 4-point scoring system corresponding to different levels of intensity. Saliva was collected for counts of aerobic and anaerobic microorganisms. Data were analyzed statistically by Friedman's test (p<0.05). When differences were detected, the Wilcoxon test adjusted for Bonferroni correction was used for multiple comparisons (group to group). The results confirmed the importance of mechanical cleaning of the tongue, since this procedure provided an improvement in halitosis and reduction of aerobe and anaerobe counts. Regarding the evaluated methods, the toothbrush's tongue scraper and conventional tongue scraper had a similar performance in terms of breath improvement and reduction of tongue microbiota, and may be indicated as effective methods for tongue cleaning.
Resumo:
The aim of this investigation was to monitor metronidazole concentrations in the gingival crevicular fluid (GCF) collected from periodontal pockets of dogs after treatment with an experimental 15% metronidazole gel. Five dogs had periodontitis induced by cotton ligatures placed subgingivally and maintained for a 30-day period. After the induction period, only pockets with 4 mm or deeper received the gel. Each pocket was filled up to the gingival margin by means of a syringe with a blunt-end needle. GCF was collected in paper strips and quantified in an electronic device before and after 15 minutes, 1 h, 6 h, 24 h and 48 h of gel administration. The GCF samples were assayed for metronidazole content by means of a high performance liquid chromatography method. Concentrations of metronidazole in the GCF of the 5 dogs (mean ± SD, in µg/mL) were 0 ± 0 before gel application and 47,185.75 ± 24,874.35 after 15 minutes, 26,457.34 ± 25,516.91 after 1 h, 24.18 ± 23.11 after 6 h, 3.78 ± 3.45 after 24 h and 3.34 ± 5.54 after 48 h. A single administration of the 15% metronidazole gel released the drug in the GCF of dogs in levels several-fold higher than the minimum inhibitory concentration for some periodontopathogens grown in subgingival biofilms for up to one hour, but metronidazole could be detected in the GCF at least 48 hours after the gel application.
Resumo:
OBJECTIVE: This study evaluated the efficacy of NitrAdineTM-based disinfecting cleaning tablets for complete denture, in terms of denture biofilm removal and antimicrobial action. MATERIAL AND METHODS: Forty complete denture wearers (14 men and 26 women) with a mean age of 62.3±9.0 years were randomly assigned to two groups and were instructed to clean their dentures according to two methods: brushing (control) - 3 times a day with denture brush and tap water following meals; brushing and immersion (Experimental) - brushing the denture 3 times a day with denture brush and tap water following meals and immersion of the denture in NitrAdineTM-based denture tablets (Medical InterporousTM). Each method was used for 21 days. Denture biofilm was disclosed by a 1% neutral red solution and quantified by means of digital photos taken from the internal surface before and after the use of the product. Microbiological assessment was conducted to quantify Candida sp. RESULTS: An independent t-test revealed a significant lower biofilm percentage for the experimental group (4.7, 95% CI 2.4 to 7.9) in comparison with the control group (mean 37.5, 95% CI 28.2 to 48.1) (t38=7.996, p<0.001). A significant reduction of yeast colony forming units could be found after treatment with Medical InterporousTM denture tablets as compared to the control group (Mann-Whitney test, Z=1.90; p<0.05). CONCLUSION: The present findings suggest that NitrAdineTM-based disinfecting cleaning tablets are efficient in removal of denture biofilm. In addition, a clear antimicrobial action was demonstrated. Therefore, they should be recommended as a routine denture maintenance method for the prevention of the development of microbial biofilm induced denture stomatitis.