5,030 research outputs found
Quanto vale o Pantanal? A valoração ambiental aplicada ao bioma Pantanal.
As informações contidas nesta publicação buscam assegurar a efetividade de políticas que garantam a sustentabilidade do bioma e ao mesmo tempo assegurem que a tomada de decisões em projetos para seu desenvolvimento, sejam coerentes e racionais. Neste sentido, é necessário que os múltiplos usos e valores dessas áreas úmidas sejam reconhecidos e considerados, mais particularmente o seu valor econômico, já que as decisões de planejamento de uso da terra tradicionalmente se baseiam em considerações econômicas. Os autores mostram que as estimativas desses valores devem estar baseadas em técnicas adequadas, pois os métodos tradicionais não conseguem determinar os benefícios de muitas funções ambientais ou os custos de sua perda. Também reportam que por meio de tais técnicas, conhecidas como métodos de valoração ambiental, é possível determinar o valor monetário dos bens e serviços ambientais em relação a outros bens e serviços da economia, e dessa forma, refletir seus valores sociais e não meramente seus valores de mercado. Este trabalho explica de forma simples os fundamentos da valoração econômica ambiental e seu papel na tomada de decisões sobre os usos do Pantanal e leva o leitor a pensar na valoração econômica de ecossistemas como mais um elemento a ser considerado quando se tomam decisões de uso de áreas úmidas.bitstream/CPAP-2010/57310/1/DOC105.pd
A Suspension-Trace Semantics for CSP
CSP is well established as a process algebra for refinement. Most refinement relations for CSP do not differentiate between inputs and outputs, and so are unsuitable for testing. This paper provides CSP with a denotational semantics based on suspension traces; it gives the traditional CSP operators a novel view, catering for the differences between inputs and outputs. We identify healthiness conditions for the suspension-Traces model and include a treatment of termination not contemplated in the context of input-output labelled transition systems. Using our suspension-Traces semantics, we provide for CSP a characterisation of the conformance relation ioco, which is widely used in testing. Finally, we propose a strategy to mechanise the verification of conformance according to ioco and suspension-Trace refinement using CSP tools. This work provides the basis for a theory of testing for CSP with inputs and outputs, and opens up the possibility of studying algebraic laws and compositional reasoning techniques based on ioco. Ultimately, it contributes to making CSP models useful for both design and testing of systems.We thank Bill Roscoe for useful discussions. The work was carried out with the support of EPSRC hiJaC project, the CNPq (Brazil), INES, and the grants FACEPE 573964/2008-4, APQ-1037-1.03/08, CNPq 573964/2008-4, 476821/2011-8 and 249710/2013-7
Rentabilidade da pecuária tradicional do Pantanal para fazendas com e sem pastagens cultivadas.
Dados primários sobre a pecuária pantaneira foram obtidos de questionários enviados via correio a pecuaristas do Pantanal, seguindo convenções metodológicas. O questionário foi elaborado de modo a obter informações que permitissem descrever e caracterizar de forma geral a pecuária pantaneira, identificar diferenças entre sistemas de produção e, particularmente, para permitir investigar a rentabilidade das fazendas considerando dois níveis tecnológicos: com e sem pastagens cultivadas. Primary data on Pantanal livestock were obtained from questionnaires sent by mail to ranchers in the Pantanal. The questionnaire was prepared in order to obtain information enabling to describe and characterize in a general way the Pantanal livestock, identifying differences between production systems and particularly to allow to investigate the profitability of farms considering two technological levels: with and without cultivated pastures
Variação da contração volumétrica da madeira de Hymenaea sp em função da temperatura de secagem.
Publicado também on-line
Avaliação do tempo de cozimento em mandioca de mesa sob irrigação e em sequeiro.
A demanda por mandioca de mesa, principalmente pré-cozida e congelada, está aumentando, em razão do incremento do percentual da população que vive nas cidades, e a crescente participação das mulheres no mercado de trabalho. Enquanto em mandioca para farinha o que se procura é produtividade de raízes e teor de matéria seca elevados, em mandioca para mesa os atributos relacionados à qualidade são mais importantes.1 CD-EOM
Hubbard-model description of the high-energy spin-spectral-weight distribution in La(2)CuO(4)
The spectral-weight distribution in recent neutron scattering experiments on
the parent compound LaCuO (LCO), which are limited in energy range to
about 450\,meV, is studied in the framework of the Hubbard model on the square
lattice with effective nearest-neighbor transfer integral and on-site
repulsion . Our study combines a number of numerical and theoretical
approaches, including, in addition to standard treatments, density matrix
renormalization group calculations for Hubbard cylinders and a suitable spinon
approach for the spin excitations. Our results confirm that the
magnitude suitable to LCO corresponds to intermediate values smaller than
the bandwidth , which we estimate to be eV for
. This confirms the unsuitability of the conventional linear
spin-wave theory. Our theoretical studies provide evidence for the occurrence
of ground-state d-wave spinon pairing in the half-filled Hubbard model on the
square lattice. This pairing applies only to the rotated-electron spin degrees
of freedom, but it could play a role in a possible electron d-wave pairing
formation upon hole doping. We find that the higher-energy spin spectral weight
extends to about 566 meV and is located at and near the momentum .
The continuum weight energy-integrated intensity vanishes or is extremely small
at momentum . This behavior of this intensity is consistent with that
of the spin waves observed in recent high-energy neutron scattering
experiments, which are damped at the momentum . We suggest that future
LCO neutron scattering experiments scan the energies between 450 meV and 566
meV and momenta around .Comment: 23 pages, 5 figure
- …