Influência das principais commodities agropecuárias e de variáveis macroeconômicas sobre os preços da terra agrícola no Brasil

Este trabalho tem como proposta investigar como o preço de terras de uso rural no Brasil é afetado pelos preços e exportações das principais commodities agropecuárias, bem como por variáveis macroeconômicas, como taxa básica de juros, taxa de câmbio, taxa de inflação e disponibilidade de crédito agrícola. Para tal foram consideradas as produções agrícola de algodão, café, cana-de-açúcar (e seus principais produtos açúcar e etanol), milho e soja, a produção pecuária de carne bovina e a produção industrial de celulose de fibra curta com foco em sua principal matéria prima, os plantios reflorestados de eucalipto. Em linha com estudos anteriores, foi encontrada evidência empírica de que o preço da terra possui cointegração com algumas das variáveis agrícolas, pecuárias e florestais citadas, em especial em estados com maior vocação agropecuária e/ou para silvicultura. Quanto às variáveis macroeconômicas, apenas a taxa básica de juros apresentou cointegração com o preço de terras para todos os estados avaliados, taxa de câmbio e disponibilidade de crédito rural não aparecem como variáveis estatisticamente significantes. Conclui-se que, para estados com notável participação na balança comercial brasileira de produtos agrossilvipastoris, é possível obter um modelo de equilibro de longo prazo entre o preço da terra de uso rural e as variáveis destacadas acima, de modo que investidores do setor possam utilizá-lo como ferramenta de projeção no auxílio da tomada de decisão além de avaliar potenciais impactos no valor de seus ativos A inovação do presente estudo está em testar as hipóteses de cointegração para cada um dos estados da federação.

A era negra do Vale: café, escravos e senhores em Piraí

O presente trabalho analisa cinco inventários dos maiores produtores de café no município de Piraí, no Vale do Paraíba, entre os anos de 1839 e 1848, totalizando quase dois mil escravos. A partir de uma perspectiva de historia econômica pretende-se mostrar que a produção cafeeira permitia o acúmulo de capital e seu reinvestimento na expansão da monocultura. O estudo dos cativeiros também busca evidenciar que os cativos, africanos em sua maioria, eram agentes na formação de suas famílias, mantendo um espaço de sociabilidade baseado na memória e na construção de uma nova identidade afro-brasileira.

Menino tomando café

Ilustração componente do jogo “Escola Mágica (http://www.loa.sead.ufscar.br/escola-magica.html)” desenvolvido pela equipe do Laboratório de Objetos de Aprendizagem da Universidade Federal de São Carlos (LOA/UFSCar).

Caracteres (em Java)

O professor apresenta a utilização de caracteres nas linguagens de programação Java e C++. Ilustra como utilizar e tratar conjuntos de caracteres nas linguagens de programação.

Interface com o Usuário (em Java)

O professor apresenta interfaces orientadas a objetos na linguagem de programação Java. Ilustra como e quando são utilizadas as interfaces orientadas a objetos em Java.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Projeto café do trabalhador como promotor de segurança alimentar e nutricional: avaliação da eficácia da unidade Natal-RN

The evaluation of public policies that promote Food Security and Nutrition (FSN) it s a multidisciplinary activity extremely relevant to the effectiveness of actions to legitimize the Human Right to Adequate Food (HRAF). This study aimed at assessing the effectiveness of the unit project Natal-RN Café do Trabalhador in promoting SAN to its users. The theoretical framework is based on the public and political and on the dimensions of the concept of FSN (quantity and quality-regularity). Through a qualitative approach, methodologically this was the work of an evaluation of efficiency of the unit Natal-RN of Café do Trabalhador project in light of the assumptions of the concept of SAN. Data collection was conducted through retrospective archival research in official documents of the project, semi-structured interviews with managers involved in its implementation (representative of the Secretary of State for Employment, Housing and Care of RN SETHAS and third party), socioeconomic questionnaire applied to the users of the unit, check the amount, regularity and quality of meals offered for 15 days (menu routine) using the descriptive form menu and form filling type checklist for verification of compliance with good practices . Methods of analysis, we used content analysis, descriptive statistics and compared to previously established parameters for the project. As categories of analysis were defined organizational arrangement, access, user, food quantity-regularity and food quality. The results show that, it was found in the category arrangement that will implement the project dismissed technical criteria for choosing the districts and the quantitative distribution of meals for each location. It was found that the valuation of the shares of the company outsources technical SETHA has not been performed. We observed in the access category, the unit has a strategic location, but lack of space in the refectory. The main obstacle to economic access for users is the lack of a register for the beneficiaries. In the category of users, it was identified that the clientele of the project it is predominantly men, with more than 51 years, low education, earning wages less 1 obtained through informal employment, which they move up through the unit transport collective, go to all days of operation due primarily to price. About the meals category quantity-regularity of food showed that the menu serves 95% of the desired needs, and that holidays and weekends are periods of disrupting the regularity of supply of meals. Regarding the category of food quality, it was found that the nutritional aspect on the menu are food sources rich in sodium, nitrates and low in fiber. In the aspect of hygiene and sanitation are the main limitations related to waste management, lack of exposure controls of food prepared and inadequacies of the physical structure. The results showed that in general and the institutional arrangement of the organs attached to the project should establish a systematic evaluation project is to establish as a promoter of and FSN overcome these obstacles

Eficiência e razão de hedge: uma análise dos mercados futuro brasileiros de boi, café, etanol, milho e soja

This research aims to investigate the Hedge Efficiency and Optimal Hedge Ratio for the future market of cattle, coffee, ethanol, corn and soybean. This paper uses the Optimal Hedge Ratio and Hedge Effectiveness through multivariate GARCH models with error correction, attempting to the possible phenomenon of Optimal Hedge Ratio differential during the crop and intercrop period. The Optimal Hedge Ratio must be bigger in the intercrop period due to the uncertainty related to a possible supply shock (LAZZARINI, 2010). Among the future contracts studied in this research, the coffee, ethanol and soybean contracts were not object of this phenomenon investigation, yet. Furthermore, the corn and ethanol contracts were not object of researches which deal with Dynamic Hedging Strategy. This paper distinguishes itself for including the GARCH model with error correction, which it was never considered when the possible Optimal Hedge Ratio differential during the crop and intercrop period were investigated. The commodities quotation were used as future price in the market future of BM&FBOVESPA and as spot market, the CEPEA index, in the period from May 2010 to June 2013 to cattle, coffee, ethanol and corn, and to August 2012 to soybean, with daily frequency. Similar results were achieved for all the commodities. There is a long term relationship among the spot market and future market, bicausality and the spot market and future market of cattle, coffee, ethanol and corn, and unicausality of the future price of soybean on spot price. The Optimal Hedge Ratio was estimated from three different strategies: linear regression by MQO, BEKK-GARCH diagonal model, and BEKK-GARCH diagonal with intercrop dummy. The MQO regression model, pointed out the Hedge inefficiency, taking into consideration that the Optimal Hedge presented was too low. The second model represents the strategy of dynamic hedge, which collected time variations in the Optimal Hedge. The last Hedge strategy did not detect Optimal Hedge Ratio differential between the crop and intercrop period, therefore, unlikely what they expected, the investor do not need increase his/her investment in the future market during the intercrop

Estudo da potencialidade da incorporação de resíduo de granito e da queima da casca do café em cerâmica vermelha

The industrial production of ornamental rocks and the burning of coffee husk generate waste that is discarded into the environment. However, with the study of the incorporation of these residues in ceramic products, may be found an alternative to reducing environmental impacts and detrimental effects on human health caused by its indiscriminate disposal of waste in nature. Thus, this work aimed to study the addition of ashes of the coffee husk and granite residue in matrix of red ceramic. The raw materials were dry milled and sieved to mesh 100. To characterize the raw materials were carried out analyzes of X-ray diffraction (XRD), X-ray fluorescence (XRF), particle size analysis (PSA), differential thermal analysis (DTA) and thermogravimetric analysis (TG). Six formulations were prepared where the clay content was kept constant (70%wt) and ashes contents and granite residue varied from 10, 15, 20 and 30%. Dilatometrics analyzes were performed at four selected formulations, containing them: 100% clay (A100); 70% clay and 30% ashes (A70C30); 70% clay and 30% granite residue (A70G30); and 70% clay, 15% granite residue and 15% ashes (A70G15C15). The samples were prepared by uniaxial compaction with pressure of 25 MPa, and fired at temperatures of 800°C, 850ºC, 900ºC, 950ºC, 1000ºC and 1100°C. Assays were performed to determine the linear shrinkage of burning (LSB), water absorption (WA), apparent porosity (AP), density (D) and tensile bending. Also were performed analyzes of X-ray diffraction (XRD) and scanning electron microscopy (SEM) of the samples fired. The formulations incorporating granite residue and/or ashes reached the required limits of water absorption according to NBR 15270-1 and NBR 15310 and tensile bending according to classical literature (SANTOS, 1989) necessary for the production of tiles and ceramic block for masonry sealing

Adição de subprodutos da cinza da casca de café (coffea canephora) em massa cerâmica para porcelanato

To produce porcelain tiles fluxing agents are used in order to obtain a liquid phase during firing. This liquid phase fills the pores decreasing porosity, water absorption and contributes to material densification. In the porcelain tiles industry, feldspar is the main flux material used, with quantities ranging between 35 and 50%. Studies focus on the discovery of materials with flux characteristics that can reduce the consumption of feldspar by porcelain tiles industry. In this context, the coffee husk ashes, a residue obtained when coffee husks are burned to produce heat for the dryers during the processing of the green fruit, have as main chemical constituents potassium, calcium and magnesium, giving them characteristics of fluxing material. Brazil is the largest coffee producer in the world and is responsible for over 30% of the world s production. In this work a physical treatment of coffee husk ash was carried out in order to eliminate the organic matter and, after this, two by-products were obtained: residual wastes R1 and R2. Both residues were added separately as single fluxes and also in association with feldspar in mixtures with raw materials collected in a porcelain industry located in Dias d Ávila-Ba. The addition of these residues aimed to contribute to the reduction of the consumption of feldspar in the production of porcelain tiles. Specimens were produced with dimensions of 60 mm x 20 mm x 6 mm in an uniaxial die with compacting pressure of 45 MPa. The samples were heated to a temperature of 1200 °C, for 8 minutes. Tests were performed to characterize the raw materials by XRF, XRD, particle size analysis, DTA and TGA and, additionally, the results of the physical properties of water absorption, apparent porosity, linear shrinkage, density, dilatometry, flexural strength and SEM of sintered body were analyzed. Additions of less than 8% of the residue R1 contributed to the decrease of porosity, but the mechanical strength of the samples was not satisfactory. Additions of 5% the R2 residue contributed significantly to decrease the water absorption and apparent porosity, and also to increase the mechanical strength. Samples with addition of feldspar associated with the R2 residue, in proportions of 6.7% of R2 and 6.7% of feldspar, led to results of water absorption of 0.12% and mechanical strength of 46 MPa, having parameters normalized to the manufacture of porcelain stoneware tiles