796 resultados para Notion of code
Resumo:
In the literature there are several proposals of fuzzi cation of lattices and ideals concepts. Chon in (Korean J. Math 17 (2009), No. 4, 361-374), using the notion of fuzzy order relation de ned by Zadeh, introduced a new notion of fuzzy lattice and studied the level sets of fuzzy lattices, but did not de ne a notion of fuzzy ideals for this type of fuzzy lattice. In this thesis, using the fuzzy lattices de ned by Chon, we de ne fuzzy homomorphism between fuzzy lattices, the operations of product, collapsed sum, lifting, opposite, interval and intuitionistic on bounded fuzzy lattices. They are conceived as extensions of their analogous operations on the classical theory by using this de nition of fuzzy lattices and introduce new results from these operators. In addition, we de ne ideals and lters of fuzzy lattices and concepts in the same way as in their characterization in terms of level and support sets. One of the results found here is the connection among ideals, supports and level sets. The reader will also nd the de nition of some kinds of ideals and lters as well as some results with respect to the intersection among their families. Moreover, we introduce a new notion of fuzzy ideals and fuzzy lters for fuzzy lattices de ned by Chon. We de ne types of fuzzy ideals and fuzzy lters that generalize usual types of ideals and lters of lattices, such as principal ideals, proper ideals, prime ideals and maximal ideals. The main idea is verifying that analogous properties in the classical theory on lattices are maintained in this new theory of fuzzy ideals. We also de ne, a fuzzy homomorphism h from fuzzy lattices L and M and prove some results involving fuzzy homomorphism and fuzzy ideals as if h is a fuzzy monomorphism and the fuzzy image of a fuzzy set ~h(I) is a fuzzy ideal, then I is a fuzzy ideal. Similarly, we prove for proper, prime and maximal fuzzy ideals. Finally, we prove that h is a fuzzy homomorphism from fuzzy lattices L into M if the inverse image of all principal fuzzy ideals of M is a fuzzy ideal of L. Lastly, we introduce the notion of -ideals and - lters of fuzzy lattices and characterize it by using its support and its level set. Moreover, we prove some similar properties in the classical theory of - ideals and - lters, such as, the class of -ideals and - lters are closed under intersection. We also de ne fuzzy -ideals of fuzzy lattices, some properties analogous to the classical theory are also proved and characterize a fuzzy -ideal on operation of product between bounded fuzzy lattices L and M and prove some results.
Resumo:
In order to contribute to a better understanding of cytokine participation in borderline leprosy, in the present study we determined - by in vitro and in situ examinations - the production of these cytokine mediation in non-treated borderline tuberculoid (BT) patients and borderline lepromatous (BL) patients. Seven non-treated BT patients, 12 non-treated BL patients, besides 19 healthy individuals (control group), were evaluated. Peripheral blood mononuclear cells (PBMC) were stimulated or not with specific-M. leprae stimulus (whole and sonicated M. leprae antigens) and a non-specific stimulus. After 48 hours, supernatant was collected for TNF-alpha, IFN-gamma, IL-10 and TGF-beta1 cytokine determination by ELISA. Biopsies from cutaneous lesions were submitted to histological analysis and hematoxylin-eosin and Fite-Faraco stainings; the sections then underwent iNOS, IL-10 and TGF-beta1 in situ detection by immunohistochemistry. Cytokine quantification in PBMC supernatants from patients showed that BT patients produced higher levels of IFN-gamma. Compared to healthy individuals, both borderline patient groups produced lower levels of TGF-beta1 while BL patients generated lower IL-10 levels. The in situ iNOS expression was higher in BT patients compared to BL individuals. on the order hand, TGF-beta1 cytokine revealed a higher proportion of immunostained cells in BL patients. There was no significant difference in IL-10 level between BT and BL patients. Regarding cutaneous lesions, in BL patients there was a negative correlation between TGF-beta1 tissue expression and IL-10. Independently of the clinical form, we observed a positive correlation between TGF-beta1 and bacterial index as well as a negative correlation between the TGF-beta1 tissue expression and iNOS. The results even showed a positive correlation between iNOS tissue expression and production of IFN-gamma by PBMC stimulated with M. leprae antigens. Taken together, the histopathological and immunological observations reinforce the notion of immunological instability in borderline leprosy patients and indicating the participation of mixed cytokines profiles in these individuals, specifically a Th1 profile in BT patients and Th2 profile in BL patients, with a possible participation of T-regulatory lymphocytes.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Zones of mixing between shallow groundwaters of different composition were unravelled by two-way regionalized classification, a technique based on correspondence analysis (CA), cluster analysis (ClA) and discriminant analysis (DA), aided by gridding, map-overlay and contouring tools. The shallow groundwaters are from a granitoid plutonite in the Funda o region (central Portugal). Correspondence analysis detected three natural clusters in the working dataset: 1, weathering; 2, domestic effluents; 3, fertilizers. Cluster analysis set an alternative distribution of the samples by the three clusters. Group memberships obtained by correspondence analysis and by cluster analysis were optimized by discriminant analysis, gridded memberships as follows: codes 1, 2 or 3 were used when classification by correspondence analysis and cluster analysis produced the same results; code 0 when the grid node was first assigned to cluster 1 and then to cluster 2 or vice versa (mixing between weathering and effluents); code 4 in the other cases (mixing between agriculture and the other influences). Code-3 areas were systematically surrounded by code-4 areas, an observation attributed to hydrodynamic dispersion. Accordingly, the extent of code-4 areas in two orthogonal directions was assumed proportional to the longitudinal and transverse dispersivities of local soils. The results (0.7-16.8 and 0.4-4.3 m, respectively) are acceptable at the macroscopic scale. The ratios between longitudinal and transverse dispersivities (1.2-11.1) are also in agreement with results obtained by other studies.
Resumo:
A precise meaning is given to the notion of continuous iteration of a mapping. Usual discrete iterations are extended into a dynamical flow which is a homotopy of them all. The continuous iterate reveals that a dynamic map is formed by independent component modes evolving without interference with each other. An application to turbulent flow suggests that the velocity field assumes nonseparable values. © 1998 American Institute of Physics.
Resumo:
Includes bibliography
Resumo:
The main aim of this study was to present evidence of the ways in which different media have conditioned and dramatically reorganized education, in general, and mathematics education, in particular. After an introduction of the theme, we discuss the epistemological perspective that provides the foundation for our analysis: the notion of humans-with-media. Then, we briefly illustrate how the medium is related to the scientific production of mathematical knowledge. We take a detour into the world of art to examine how devices and instruments have historically been associated with the production of mathematical knowledge. Then, we review studies on the history of education to show how traditional media were introduced into schools and have influenced education. In particular, we examine how devices such as blackboards and notebooks, which were novelties a 100 years ago, came to be accepted in schools and the mathematical activities that were promoted with their use. Finally, we discuss how information technology has changed education and how the Internet may have an impact on mathematics education comparable to that of the notebook over a century ago. © FIZ Karlsruhe 2009.
Resumo:
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.
Resumo:
Includes bibliography
Resumo:
Includes bibliography
Resumo:
Includes bibliography
Resumo:
Includes bibliography
Resumo:
This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.