| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
28/07/1998 |
|
Data da última atualização: |
22/08/2007 |
|
Autoria: |
FARIAS, C. R. G. de; SOUZA, W. L. de. |
|
Título: |
Especificacao formal e validacao de um Kernel paralelo tempo real. |
|
Ano de publicação: |
1998 |
|
Fonte/Imprenta: |
In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998. |
|
Páginas: |
p.258-277 |
|
Idioma: |
Português |
|
Conteúdo: |
Este trabalho apresenta os resultados de um projeto no qual a tecnica de descricao formal(TDF) language of temporal ordering specification(LOTOS), um padrao da international organization for standardization(ISO), foi utilizada com sucesso na especificacao de um kernel industrial para aplicacoes de tempo real. LOTOS foi utilizada na especificacao do TRANS-ETXC, um kernel paralelo tempo rela desenvolvido pela Itelligent Systems International e atualmente comercializado como virtuoso pela Eonic Systems. A descricao LOTOS do TRANS-RTXC, desenvolvida neste projeto, foi validada atraves de uma abordagem que combinou atividades de simulacao e verificacao, empregando-se o conjunto de ferramentas Minilite. |
|
Palavras-Chave: |
Especificacao; LOTOS; Sistemas de tempo real; TDF; Validacao. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01335naa a2200205 a 4500
001 1006463
005 2007-08-22
008 1998 bl uuuu u00u1 u #d
100 1 $aFARIAS, C. R. G. de
245 $aEspecificacao formal e validacao de um Kernel paralelo tempo real.
260 $c1998
300 $ap.258-277
520 $aEste trabalho apresenta os resultados de um projeto no qual a tecnica de descricao formal(TDF) language of temporal ordering specification(LOTOS), um padrao da international organization for standardization(ISO), foi utilizada com sucesso na especificacao de um kernel industrial para aplicacoes de tempo real. LOTOS foi utilizada na especificacao do TRANS-ETXC, um kernel paralelo tempo rela desenvolvido pela Itelligent Systems International e atualmente comercializado como virtuoso pela Eonic Systems. A descricao LOTOS do TRANS-RTXC, desenvolvida neste projeto, foi validada atraves de uma abordagem que combinou atividades de simulacao e verificacao, empregando-se o conjunto de ferramentas Minilite.
653 $aEspecificacao
653 $aLOTOS
653 $aSistemas de tempo real
653 $aTDF
653 $aValidacao
700 1 $aSOUZA, W. L. de
773 $tIn: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Territorial. |
|
Data corrente: |
21/08/2003 |
|
Data da última atualização: |
30/07/2014 |
|
Tipo da produção científica: |
Documentos |
|
Autoria: |
BATISTELLA, M.; GUIMARÃES, M.; MIRANDA, E. E. de; VIEIRA, H. R.; VALLADARES, G. S.; MANGABEIRA, J. A. D. C.; ASSIS, M. C. de. |
|
Afiliação: |
MATEUS BATISTELLA, CNPM; MARCELO GUIMARÃES, CNPM; EVARISTO EDUARDO DE MIRANDA, CNPM; GUSTAVO DE SOUZA VALLADARES, CNPM; JOAO ALFREDO DE CARVALHO MANGABEIRA, CNPM. |
|
Título: |
Monitoramento da expansão agropecuária na Região Oeste da Bahia. |
|
Ano de publicação: |
2002 |
|
Fonte/Imprenta: |
Campinas: Embrapa Monitoramento por Satélite, 2002. |
|
Páginas: |
39 p. |
|
Descrição Física: |
enc., il. |
|
Série: |
(Embrapa Monitoramento por Satélite. Documentos, 20) |
|
Idioma: |
Português |
|
Conteúdo: |
A região Oeste do Estado da Bahia, tradicionalmente ocupada pela pecuária extensiva, conheceu um desenvolvimento da atividade agrícola sem precedentes nos últimos 15 anos. Essa rápida e intensa mudança no uso das terras tem produzido impactos ambientais antes inexistentes na região, tais como: erosão hídrica e eólica, perda de habitats, alteração dos povoamentos e populações faunísticas, diminuição da vazão dos rios que drenam a região, assoreamento, erosão genética e redução da biodiversidade. No atual ritmo de desenvolvimento, o volume de investimento tende a crescer, impulsionando os demais setores da economia e dos vários segmentos do agronegócio no oeste baiano. Neste contexto, surge a necessidade de maior conhecimento sobre a dinâmica de ocupação regional e as transformações ambientais decorrentes da antropização de paisagens naturais. A constituição de uma base de dados geográficos sobre a área, incluindo o mapeamento e o monitoramento do uso e cobertura das terras através de imagens de satélite contribui para avaliar a situação atual, a dinâmica em curso e o impacto de projetos de desenvolvimento regional existentes. Mais especificamente, a análise baseada em geoinformação otimiza a quantificação direta dos fenômenos mapeados e a identificação dos processos de antropização associados à expansão e intensificação agropecuária, constituindo um importante instrumento de apoio à decisão e orientação de políticas públicas que conciliem o desenvolvimento regional e a preservação dos recursos naturais remanescentes. Baseado num enfoque de sustentabilidade para o gerenciamento e o planejamento do modelo de desenvolvimento para o oeste do Estado da Bahia, o BNDES e a Embrapa Monitoramento por Satélite firmaram um contrato técnico para a constituição de uma base de dados espaciais, num esforço conjunto para viabilizar a gestão ambiental estratégica da região. MenosA região Oeste do Estado da Bahia, tradicionalmente ocupada pela pecuária extensiva, conheceu um desenvolvimento da atividade agrícola sem precedentes nos últimos 15 anos. Essa rápida e intensa mudança no uso das terras tem produzido impactos ambientais antes inexistentes na região, tais como: erosão hídrica e eólica, perda de habitats, alteração dos povoamentos e populações faunísticas, diminuição da vazão dos rios que drenam a região, assoreamento, erosão genética e redução da biodiversidade. No atual ritmo de desenvolvimento, o volume de investimento tende a crescer, impulsionando os demais setores da economia e dos vários segmentos do agronegócio no oeste baiano. Neste contexto, surge a necessidade de maior conhecimento sobre a dinâmica de ocupação regional e as transformações ambientais decorrentes da antropização de paisagens naturais. A constituição de uma base de dados geográficos sobre a área, incluindo o mapeamento e o monitoramento do uso e cobertura das terras através de imagens de satélite contribui para avaliar a situação atual, a dinâmica em curso e o impacto de projetos de desenvolvimento regional existentes. Mais especificamente, a análise baseada em geoinformação otimiza a quantificação direta dos fenômenos mapeados e a identificação dos processos de antropização associados à expansão e intensificação agropecuária, constituindo um importante instrumento de apoio à decisão e orientação de políticas públicas que conciliem o desenvolvimento regional e a preser... Mostrar Tudo |
|
Palavras-Chave: |
Bahia; Expansão agropecuária; Região Oeste; Uso e cobertura das terras. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/CNPM/794/1/d20_babndes.pdf
|
|
Marc: |
LEADER 02721nam a2200253 a 4500
001 1016804
005 2014-07-30
008 2002 bl uuuu u0uu1 u #d
100 1 $aBATISTELLA, M.
245 $aMonitoramento da expansão agropecuária na Região Oeste da Bahia.
260 $aCampinas: Embrapa Monitoramento por Satélite$c2002
300 $a39 p.$cenc., il.
490 $a(Embrapa Monitoramento por Satélite. Documentos, 20)
520 $aA região Oeste do Estado da Bahia, tradicionalmente ocupada pela pecuária extensiva, conheceu um desenvolvimento da atividade agrícola sem precedentes nos últimos 15 anos. Essa rápida e intensa mudança no uso das terras tem produzido impactos ambientais antes inexistentes na região, tais como: erosão hídrica e eólica, perda de habitats, alteração dos povoamentos e populações faunísticas, diminuição da vazão dos rios que drenam a região, assoreamento, erosão genética e redução da biodiversidade. No atual ritmo de desenvolvimento, o volume de investimento tende a crescer, impulsionando os demais setores da economia e dos vários segmentos do agronegócio no oeste baiano. Neste contexto, surge a necessidade de maior conhecimento sobre a dinâmica de ocupação regional e as transformações ambientais decorrentes da antropização de paisagens naturais. A constituição de uma base de dados geográficos sobre a área, incluindo o mapeamento e o monitoramento do uso e cobertura das terras através de imagens de satélite contribui para avaliar a situação atual, a dinâmica em curso e o impacto de projetos de desenvolvimento regional existentes. Mais especificamente, a análise baseada em geoinformação otimiza a quantificação direta dos fenômenos mapeados e a identificação dos processos de antropização associados à expansão e intensificação agropecuária, constituindo um importante instrumento de apoio à decisão e orientação de políticas públicas que conciliem o desenvolvimento regional e a preservação dos recursos naturais remanescentes. Baseado num enfoque de sustentabilidade para o gerenciamento e o planejamento do modelo de desenvolvimento para o oeste do Estado da Bahia, o BNDES e a Embrapa Monitoramento por Satélite firmaram um contrato técnico para a constituição de uma base de dados espaciais, num esforço conjunto para viabilizar a gestão ambiental estratégica da região.
653 $aBahia
653 $aExpansão agropecuária
653 $aRegião Oeste
653 $aUso e cobertura das terras
700 1 $aGUIMARÃES, M.
700 1 $aMIRANDA, E. E. de
700 1 $aVIEIRA, H. R.
700 1 $aVALLADARES, G. S.
700 1 $aMANGABEIRA, J. A. D. C.
700 1 $aASSIS, M. C. de
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Territorial (CNPM) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
