A classification methodology for the risk of weed infestation using fuzzy logic

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.

Dweller perception using fuzzy logic for slum upgrading

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.

Expert system for the assessment of power transformer insulation condition based on type-2 fuzzy logic systems

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.

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

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.

Probabilistic logic with independence

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.

Modern Society and Culture in Brazil The Sociology of Florestan Fernandes

The establishment of modern sociology in Brazil was part of a thoroughgoing modernization of the country that began in the 1930s and the years immediately following World War II. The founding of the University of Sao Paulo made possible the systematic training of scientists devoted to teaching and research and broadened the way learning was understood. Florestan Fernandes was the outstanding personality among the first social scientists that the university produced, and the picture of the Brazilian sociologist today is largely inspired by his career. Enthusiasm and scientific rigor were the hallmarks of his approach. His early work reflects intellectuals` shared belief in the power of ideas to regenerate the nation, freeing it from a past that they condemned. The mature reflection of his later works retreats from this optimistic view, recognizing the emergence of modern society in Brazil as a complex process with mixed results.

Survival in Patients With Idiopathic, Familial, and Anorexigen-Associated Pulmonary Arterial Hypertension in the Modern Management Era

Background-Novel therapies have recently become available for pulmonary arterial hypertension. We conducted a study to characterize mortality in a multicenter prospective cohort of patients diagnosed with idiopathic, familial, or anorexigen-associated pulmonary arterial hypertension in the modern management era. Methods and Results-Between October 2002 and October 2003, 354 consecutive adult patients with idiopathic, familial, or anorexigen-associated pulmonary arterial hypertension (56 incident and 298 prevalent cases) were prospectively enrolled. Patients were followed up for 3 years, and survival rates were analyzed. For incident cases, estimated survival (95% confidence intervals [CIs]) at 1, 2, and 3 years was 85.7% (95% CI, 76.5 to 94.9), 69.6% (95% CI, 57.6 to 81.6), and 54.9% (95% CI, 41.8 to 68.0), respectively. In a combined analysis population (incident patients and prevalent patients diagnosed within 3 years before study entry; n = 190), 1-, 2-, and 3-year survival estimates were 82.9% (95% CI, 72.4 to 95.0), 67.1% (95% CI, 57.1 to 78.8), and 58.2% (95% CI, 49.0 to 69.3), respectively. Individual survival analysis identified the following as significantly and positively associated with survival: female gender, New York Heart Association functional class I/II, greater 6-minute walk distance, lower right atrial pressure, and higher cardiac output. Multivariable analysis showed that being female, having a greater 6-minute walk distance, and exhibiting higher cardiac output were jointly significantly associated with improved survival. Conclusions-In the modern management era, idiopathic, familial, and anorexigen-associated pulmonary arterial hypertension remains a progressive, fatal disease. Mortality is most closely associated with male gender, right ventricular hemodynamic function, and exercise limitation. (Circulation. 2010; 122: 156-163.)

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

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.

Araucaria forest dynamics in relation to fire frequency in southern Brazil based on fossil and modern pollen dataf

To elucidate the relationship between forest dynamics and fire frequency pollen percentages and charcoal amounts from a 120 cm long peat core and from samples of modern pollen rain were collected along a transect. The study site in southern Brazil is characterized by a species-rich mosaic of grassland-Araucaria forest. It is of crucial importance for management strategies for conservation to understand the development and maintenance of these vegetation mosaics including their sharp forest-grassland boundaries. During the late Holocene, considerable changes occurred in the area. From Anno Domini (AD) 1360 to 1410, the area was dominated by Campos (grassland) vegetation and fire was very common. From AD 1410 to 1500, Araucaria forest expanded and fire was less frequent. From AD 1500 to 1580, Campos grassland spread and the Araucaria forest ceased its development, apparently due to the increase of fire. From AD 1580 to 1935, after a decrease in fire frequency, Araucaria forest expanded again. From AD 1935 to the present, the Araucaria forest expanded while the Campos area decreased. Fire was very rare in this period. The results indicate a strong interaction of forest expansion, forming a mosaic of Campos and Araucaria forest, and the frequency of fire during the past 600 years. A possible collapse of the indigenous population following the post-Colombian colonization in southern Brazil after about AD 1550 may have caused a great reduction of fire frequency. The introduction of cattle (probably after AD 1780) and the resulting decrease of fire frequency might be the reason for forest expansion. Fire is probably the most important factor controlling the dynamics of the forest-grassland mosaics and the formation of sharp borders between these two vegetation types. (C) 2010 Elsevier B.V. All rights reserved.

Upgrading a TCABR data analysis and acquisition system for remote participation using Java, XML, RCP and modern client/server communication/authentication

The TCABR data analysis and acquisition system has been upgraded to support a joint research programme using remote participation technologies. The architecture of the new system uses Java language as programming environment. Since application parameters and hardware in a joint experiment are complex with a large variability of components, requirements and specification solutions need to be flexible and modular, independent from operating system and computer architecture. To describe and organize the information on all the components and the connections among them, systems are developed using the extensible Markup Language (XML) technology. The communication between clients and servers uses remote procedure call (RPC) based on the XML (RPC-XML technology). The integration among Java language, XML and RPC-XML technologies allows to develop easily a standard data and communication access layer between users and laboratories using common software libraries and Web application. The libraries allow data retrieval using the same methods for all user laboratories in the joint collaboration, and the Web application allows a simple graphical user interface (GUI) access. The TCABR tokamak team in collaboration with the IPFN (Instituto de Plasmas e Fusao Nuclear, Instituto Superior Tecnico, Universidade Tecnica de Lisboa) is implementing this remote participation technologies. The first version was tested at the Joint Experiment on TCABR (TCABRJE), a Host Laboratory Experiment, organized in cooperation with the IAEA (International Atomic Energy Agency) in the framework of the IAEA Coordinated Research Project (CRP) on ""Joint Research Using Small Tokamaks"". (C) 2010 Elsevier B.V. All rights reserved.

Analytic Methods for the Logic of Proofs

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.

A logic-based agent that plans for extended reachability goals

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.

Design of a Modern Liposome and Bee Venom Formulation for the Traditional VIT-Venom Immunotherapy

Traditional venom immunotherapy uses injections of whole bee venom in buffer or adsorbed in Al (OH)(3) in an expensive, time-consuming way. New strategies to improve the safety and efficacy of this treatment with a reduction of injections would, therefore, be of general interest. It would improve patient compliance and provide socio-economic benefits. Liposomes have a long tradition in drug delivery because they increase the therapeutic index and avoid drug degradation and secondary effects. However, bee venom melittin (Mel) and phospholipase (PLA(2)) destroy the phospholipid membranes. Our central idea was to inhibit the PLA(2) and Mel activities through histidine alkylation and or tryptophan oxidation (with pbb, para-bromo-phenacyl bromide, and/or NBSN-bromosuccinimide, respectively) to make their encapsulations possible within stabilized liposomes. We strongly believe that this formulation will be nontoxic but immunogenic. In this paper, we present the whole bee venom conformation characterization during and after chemical modification and after interaction with liposome by ultraviolet, circular dichroism, and fluorescence spectroscopies. The PLA(2) and Mel activities were, measured indirectly by changes in turbidity at 400(nm), rhodamine leak-out, and hemolysis. The native whole bee venom (BV) presented 78.06% of alpha-helical content. The alkylation (A-BV) and succynilation (S-BV) of BV increased 0.44 and 0.20% of its alpha-helical content. The double-modified venom (S-A-BV) had a 0.74% increase of alpha-helical content. The BV chemical modification induced another change on protein conformations observed by Trp that became buried with respect to the native whole BV. It was demonstrated that the liposomal membranes must contain pbb (SPC:Cho:pbb, 26:7:1) as a component to protect them from aggregation and/or fusion. The membranes containing pbb maintained the same turbidity (100%) after incubation with modified venom, in contrast with pbb-free membranes that showed a 15% size decrease. This size decrease was interpreted as membrane degradation and was corroborated by a 50% rhodamine leak-out. Another fact that confirmed our interpretation was the observed 100% inhibition of the hemolytic activity after venom modification with pbb and NBS (S-A-BV). When S-A-BV interacted with liposomes, other protein conformational changes were observed and characterized by the increase of 1.93% on S-A-BV alpha-helical content and the presence of tryptophan residues in a more hydrophobic environment. In other words, the S-A-BV interacted with liposomal membranes, but this interaction was not effective to cause aggregation, leak-out, or fusion. A stable formulation composed by S-A-BV encapsulated within liposomes composed by SPC:Cho:pbb, at a ratio of 26:7:1, was devised. Large unilamellar vesicles of 202.5 nm with a negative surface charge (-24.29 mV) encapsulated 95% of S-A-BV. This formulation can, now, be assayed on VIT.

New Improvements in Automatic Structure Elucidation Using the LSD (Logic for Structure Determination) and the SISTEMAT Expert Systems

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.