| 1. Identity statement | ||||||||||
| Reference Type | Thesis or Dissertation (Thesis) | |||||||||
| Site | mtc-m21b.sid.inpe.br | |||||||||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||||||||
| Identifier | 8JMKD3MGP3W34P/3Q44DE8 | |||||||||
| Repository | sid.inpe.br/mtc-m21b/2017/11.23.13.04 | |||||||||
| Last Update | 2018:02.21.13.36.56 (UTC) simone | |||||||||
| Metadata Repository | sid.inpe.br/mtc-m21b/2017/11.23.13.04.25 | |||||||||
| Metadata Last Update | 2018:06.04.02.28.00 (UTC) administrator | |||||||||
| Secondary Key | INPE-17968-TDI/2688 | |||||||||
| Citation Key | Maciel:2018:SpInLo | |||||||||
| Title | Spatiotemporal interval logic for reasoning about land use change dynamics  | |||||||||
| Alternate Title | Lógica de intervalo espaço-temporal para raciocinar sobre dinâmica de mudança de uso da terra | |||||||||
| Course | CAP-COMP-SESPG-INPE-MCTIC-GOV-BR | |||||||||
| Year | 2018 | |||||||||
| Date | 2017-12-12 | |||||||||
| Access Date | 2024, Apr. 24 | |||||||||
| Thesis Type | Tese (Doutorado em Computação Aplicada) | |||||||||
| Secondary Type | TDI | |||||||||
| Number of Pages | 131 | |||||||||
| Number of Files | 1 | |||||||||
| Size | 13920 KiB | |||||||||
| 2. Context | ||||||||||
| Author | Maciel, Adeline Marinho | |||||||||
| Committee | Santos, Rafael Duarte Coelho dos (presidente) Vinhas, Lúbia (orientadora) Câmara, Gilberto (orientador) Monteiro, Antônio Miguel Vieira Sanches, Ieda Del'Arco Carvalho, Alexandre Xavier Ywata de Carneiro, Tiago Garcia de Senna | |||||||||
| e-Mail Address | adelsud6@gmail.com | |||||||||
| University | Instituto Nacional de Pesquisas Espaciais (INPE) | |||||||||
| City | São José dos Campos | |||||||||
| History (UTC) | 2017-11-23 13:04:25 :: adelsud6@gmail.com -> yolanda.souza@mcti.gov.br :: 2017-11-24 11:41:23 :: yolanda.souza@mcti.gov.br -> adelsud6@gmail.com :: 2017-11-27 18:17:13 :: adelsud6@gmail.com -> yolanda.souza@mcti.gov.br :: 2017-11-28 11:05:53 :: yolanda.souza@mcti.gov.br -> adelsud6@gmail.com :: 2018-01-18 17:54:15 :: adelsud6@gmail.com -> yolanda.souza@mcti.gov.br :: 2018-02-16 14:05:59 :: yolanda.souza@mcti.gov.br -> administrator :: 2018-02-21 13:00:14 :: administrator -> yolanda :: 2018-02-21 13:01:06 :: yolanda -> yolanda.souza@mcti.gov.br :: 2018-02-21 13:37:16 :: yolanda.souza@mcti.gov.br -> simone :: 2018-02-21 19:29:52 :: simone -> administrator :: -> 2018 2018-06-04 02:28:00 :: administrator -> :: 2018 | |||||||||
| 3. Content and structure | ||||||||||
| Is the master or a copy? | is the master | |||||||||
| Content Stage | completed | |||||||||
| Transferable | 1 | |||||||||
| Keywords | events spatiotemporal logic formalism big Earth observation data land use change eventos espaço-temporal formalismo lógico grandes conjuntos de dados de observação da Terra mudança de uso da terra | |||||||||
| Abstract | With the global population growth, the food production will need to rise, potentially causing extensive environmental damage. In Brazil, the demand for farmland is the key immediate driver of land use change, which has influence in public policies. For example, the soy and beef moratorium, that aim at reducing the advance of soybean cropping and pasture areas expansion over the Amazon biome. Currently, Earth observation satellites form part of a comprehensive Earth observation system due to their higher spatial, temporal and spectral resolutions, providing continuous and consistent information about Earths surface. It is the era of big Earth observation data. It has been creating new perspectives in remote sensing data analysis that enable the development of land use and land cover maps at higher spatial resolution and with high temporal frequency. Given this scenery, this thesis introduces a spatiotemporal interval logic mechanism that can be used for reasoning about land use change dynamics, from big Earth observation data systems. The main contribution of this mechanism is to use the concept of events to reason about land use change. Building on this view this thesis extends Allens interval temporal logic to the spatial context, resulting in a formal calculus that allows users to express queries about the land use dynamics. The calculus allows scientists to manipulate large sets of land use data in a flexible way, to understand the environmental and economic effects of land use change. The formalism was applied in three cases studies to identify and quantifying land use transitions in Mato Grosso state in Brazil. RESUMO: Com o crescimento da população mundial, a produção de alimentos precisará aumentar potencialmente causando grandes danos ambientais. No Brasil, a demanda por terras agrícolas é o principal condutor imediato da mudança de uso da terra, que influência políticas públicas. Por exemplo, a moratória da soja e da carne que visam reduzir o avanço da expansão de áreas de cultivo de soja e pastagem sobre o bioma Amazônia. Atualmente, satélites de observação da Terra fazem parte de um sistema abrangente de observação da Terra devido às suas maiores resoluções espaciais, temporais e espectrais, fornecendo informações contínuas e consistentes sobre a superfície terrestre. É a era dos grandes conjuntos de dados de observação da Terra. Isso tem criado novas perspectivas na análise de dados de sensoriamento remoto que permitem o desenvolvimento de mapas de uso e cobertura da terra com maior resolução espacial e com alta frequência temporal. Dado este cenário, esta tese introduz um mecanismo de lógica de intervalo espaço-temporal que pode ser usado para raciocinar sobre as dinâmicas de mudança de uso da terra, a partir de sistemas de grandes conjuntos de dados de observação da Terra. A principal contribuição deste mecanismo é usar o conceito de eventos para raciocinar sobre mudança de uso da terra. Com base nesta perspectiva, essa tese estende a lógica temporal de intervalos de Allen para o contexto espacial, resultando em um cálculo formal que permite usuários expressar consultas sobre a dinâmica de uso da terra. O cálculo permite aos cientistas manipular grandes conjuntos de dados de uso da terra de uma maneira flexível para entender os efeitos ambientais e econômicos da mudança de uso da terra. O formalismo foi aplicado em três estudos de casos para identificar e quantificar transições de uso da terra no estado de Mato Grosso, Brasil. | |||||||||
| Area | COMP | |||||||||
| Arrangement | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Spatiotemporal interval logic... | |||||||||
| doc Directory Content | access | |||||||||
| source Directory Content |
| |||||||||
| agreement Directory Content |
| |||||||||
| 4. Conditions of access and use | ||||||||||
| data URL | http://urlib.net/ibi/8JMKD3MGP3W34P/3Q44DE8 | |||||||||
| zipped data URL | http://urlib.net/zip/8JMKD3MGP3W34P/3Q44DE8 | |||||||||
| Language | en | |||||||||
| Target File | publicacao.pdf | |||||||||
| User Group | adelsud6@gmail.com gabinete@inpe.br simone yolanda.souza@mcti.gov.br | |||||||||
| Reader Group | adelsud6@gmail.com administrator gabinete@inpe.br simone yolanda yolanda.souza@mcti.gov.br | |||||||||
| Visibility | shown | |||||||||
| Copyright License | urlib.net/www/2012/11.12.15.10 | |||||||||
| Read Permission | allow from all | |||||||||
| Update Permission | not transferred | |||||||||
| 5. Allied materials | ||||||||||
| Mirror Repository | sid.inpe.br/mtc-m21b/2013/09.26.14.25.22 | |||||||||
| Next Higher Units | 8JMKD3MGPCW/3F2PHGS | |||||||||
| Citing Item List | ||||||||||
| Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||||||||
| 6. Notes | ||||||||||
| Empty Fields | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype | |||||||||