880 resultados para TCTL (timed computation tree logic)
Resumo:
ABSTRACT 'The Duologue of King/Governor Pāyāsi' ("Long Discourses") has long been recognised as a source for the proto-materialism current at the time of the Buddha. What needs to be stressed is the significance of the text as a pointer to the development of Logic in India. Perception (observation and experiment employing the joint method of agreement and difference), which is an accepted method of experimental enquiry, and reasoning from analogy, which can lead at best to a probable conclusion - these two are the only means employed to settle the dispute concerning the existence of the other-world. The Jain version of the same duologue-cum-parable, though varying in minor details regarding the name and identity of the monk refuting the king/governor, contains the same contrast, namely, perception versus analogical reasoning. There can be little doubt that the original parable was conceived with a view to asserting the existence of the other-world. In the Kaṭha Upaniṣad (sixth century BCE), an earlier Brahmanical text, however, instead of argument by analogy, verbal testimony (śabda) was invoked to settle the same point. Naciketas is assailed by doubt about the existence of a person after his or her death. The authority of Yama, the Pluto of Indian mythology, is invoked to convince him that the other-world does exist. Thus, the three parables taken together exhibit three means of knowledge in operation: verbal testimony and argument by analogy pitted against perception.
Resumo:
Forest inventories are used to estimate forest characteristics and the condition of forest for many different applications: operational tree logging for forest industry, forest health state estimation, carbon balance estimation, land-cover and land use analysis in order to avoid forest degradation etc. Recent inventory methods are strongly based on remote sensing data combined with field sample measurements, which are used to define estimates covering the whole area of interest. Remote sensing data from satellites, aerial photographs or aerial laser scannings are used, depending on the scale of inventory. To be applicable in operational use, forest inventory methods need to be easily adjusted to local conditions of the study area at hand. All the data handling and parameter tuning should be objective and automated as much as possible. The methods also need to be robust when applied to different forest types. Since there generally are no extensive direct physical models connecting the remote sensing data from different sources to the forest parameters that are estimated, mathematical estimation models are of "black-box" type, connecting the independent auxiliary data to dependent response data with linear or nonlinear arbitrary models. To avoid redundant complexity and over-fitting of the model, which is based on up to hundreds of possibly collinear variables extracted from the auxiliary data, variable selection is needed. To connect the auxiliary data to the inventory parameters that are estimated, field work must be performed. In larger study areas with dense forests, field work is expensive, and should therefore be minimized. To get cost-efficient inventories, field work could partly be replaced with information from formerly measured sites, databases. The work in this thesis is devoted to the development of automated, adaptive computation methods for aerial forest inventory. The mathematical model parameter definition steps are automated, and the cost-efficiency is improved by setting up a procedure that utilizes databases in the estimation of new area characteristics.
Resumo:
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.
Resumo:
The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6- valued system of propositional logic for avoiding difficulties in several domains of empirical science (Weingartner (2009)).
Resumo:
This study investigated the regeneration variation of five commercially valuable tree species in relation to different intensities of felling in fourteen 4-ha plots in an area under experimental forest management. This experiment was carried out in a typical Amazonian tropical forest sample on "terra-firme," in Manaus (AM). Plots were logged 7 and 8 years (1987 and 1988), or 3 years (1993) before the study. All trees with height greater than 2 m, and diameter at breast height (DBH) smaller than 10 cm were measured. Only Aniba hostmanniana, Ocotea aciphylla, Licaria pachycarpa, Eschweilera coriacea and Goupia glabra were sufficiently common for individual analyses. These species have high timber values in the local market. Eight years after logging, the species responded differently to logging intensities. The numbers of individuals of Goupia glabra and Aniba hostmanniana were positively related to the intensity of logging, while Ocotea aciphylla, Licaria pachycarpa, and Eschweilera coriacea showed no statistically significant response. In the most recently (1993) logged areas, Goupia glabra and Aniba hostmanniana had higher numbers of individuals than the control plots.
Resumo:
The characterization of different ecological groups in a forest formation/succession is unclear. To better define the different successional classes, we have to consider ecophysiological aspects, such as the capacity to use or dissipate the light energy available. The main objective of this work was to assess the chlorophyll fluorescence emission of tropical tree species growing in a gap of a semi-deciduous forest. Three species of different ecological groups were selected: Croton floribundus Spreng. (pioneer, P), Astronium graveolens Jacq. (early secondary, Si), and Esenbeckia febrifuga A. Juss. (late secondary, St). The potential (Fv/Fm) and effective (deltaF/Fm') quantum efficiency of photosystem II, apparent electron transport rate (ETR), non-photochemical (qN) and photochemical (qP) quenching of fluorescence were evaluated, using a modulated fluorometer, between 7:30 and 11:00 h. Values of Fv/Fm remained constant in St, decreasing in P and Si after 9:30 h, indicating the occurrence of photoinhibition. Concerning the measurements taken under light conditions (deltaF/Fm', ETR, qP and qN), P and Si showed better photochemical performance, i.e., values of deltaF/Fm', ETR and qP were higher than St when light intensity was increased. Values of qN indicated that P and Si had an increasing tendency of dissipating the excess of energy absorbed by the leaf, whereas the opposite was found for St. The principal component analysis (PCA), considering all evaluated parameters, showed a clear distinction between St, P and Si, with P and Si being closer. The PCA results suggest that chlorophyll fluorescence may be a potential tool to differentiate tree species from distinct successional groups.
Resumo:
The objective of this work was to define the optimal conditions for invertase assay, seeking to determine the ideal parameters for the different isoenzymes of leaf and bark tissues in adult rubber trees. Assays of varying pH, sucrose concentration and temperature of the reaction medium were conducted for the two investigated isoenzymes. The results pointed out the existence of two different pH related isoforms for the two analyzed tissues, with an isoenzyme being more active at pH 5,5 and the other at neutral/alkaline pH. Leaf blade isoenzymes presented similar values for substrate concentration, whereas the bark isoenzyme presented maximum values below those previously reported. The assays at different temperatures presented similar values for leaf isoenzymes, though they have differed significantly among the obtained values.
Reproductive ecology of the exotic tree Muntingia calabura L. (Muntingiaceae) in southeastern Brazil
Resumo:
The exotic tree Muntingia calabura L. (Muntingiaceae), a species native to Central America, is used as fish feed and fiber and cellulose production in Brazil. This study was carried out in urban areas and verified the reproductive biology of this plant species. Flower and fruit morphology, compatibility system, reproductive phenology, pollination and frugivore animals, and germination of disseminated seeds were recorded by standard field and laboratory procedures. This tree is self-compatible and autonomously self-pollinated, with its flowers being mainly visited by bees and its fruits consumed by birds and bats. Germination of its dispersed seeds is fast and occurs at a high rate. The results of this work suggest that M. calabura is very adaptable to cultivated areas,thus being an excellent choice for urban reforestation. However, its reproductive characteristics place this plant as an invasive species with significant potential in southeastern Brazil.
Resumo:
Silvicultural and ecological knowledge about tree species is basic to restoration planning, particularly in high diversity regions. Here we present a comparison of four native tree species from the middle Uruguay River basin, Brazil-Argentine frontier: Heliocarpus americanus L. (Malvaceae), Maclura tinctoria (L.) D. Don ex Steud. (Moraceae), Schinus terebinthifolius Raddi (Anacardiaceae) and Cordia trichotoma (Vell.) Arrab. ex Steud. (Boraginaceae). We obtained data on initial growth, light interception, litterfall and litter mineral contents. H. americanus presented the greatest height and the lowest value of height/crown width ratio. H. americanus and M. tinctoria presented the highest light interception rate (>94 %) and highest litterfall (879 ± 151 and 792 ± 164 g·m-2·year-1, respectively). For the set of species, the lowest litterfall occurred between July and September. H. americanus presented the highest K concentration (1.13%) in the litter, while C. trichotoma had the highest values of Ca and Mg (6.35 and 2.02 %, respectively). S. terebinthifolius had the lowest light interception rate and litter mineral content.
Resumo:
Approximately 7.2% of the Atlantic rainforest remains in Brazil, with only 16% of this forest remaining in the State of Rio de Janeiro, all of it distributed in fragments. This forest fragmentation can produce biotic and abiotic differences between edges and the fragment interior. In this study, we compared the structure and richness of tree communities in three habitats - an anthropogenic edge (AE), a natural edge (NE) and the fragment interior (FI) - of a fragment of Atlantic forest in the State of Rio de Janeiro, Brazil (22°50'S and 42°28'W). One thousand and seventy-six trees with a diameter at breast height > 4.8 cm, belonging to 132 morphospecies and 39 families, were sampled in a total study area of 0.75 ha. NE had the greatest basal area and the trees in this habitat had the greatest diameter:height allometric coefficient, whereas AE had a lower richness and greater variation in the height of the first tree branch. Tree density, diameter, height and the proportion of standing dead trees did not differ among the habitats. There was marked heterogeneity among replicates within each habitat. These results indicate that the forest interior and the fragment edges (natural or anthropogenic) do not differ markedly considering the studied parameters. Other factors, such as the age from the edge, type of matrix and proximity of gaps, may play a more important role in plant community structure than the proximity from edges.