| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
18/07/1996 |
|
Data da última atualização: |
25/09/2009 |
|
Autoria: |
PERKUSICH, A.; FIGUEIREDO, J. C. A. de. |
|
Título: |
A G-Net based environment for logical and timing analysis of software systems. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. |
|
Páginas: |
p. 241-256. |
|
Idioma: |
Inglês |
|
Conteúdo: |
The application of Petri nets for the modeling and verification of systems, at specification and design levels are well know. Despite of powerful structuring mechsanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analysing and verifying large systems. Also, when dealing with real-time systems, the verification of timing properties is necessary. A model, named G-Nets, and a time extension, named Fuzzy Time G-Nets, were introduced to the modular analysis of complex real-time software systems. In this work we introduce an environment for logical and timing analysis based on this two kind of Petri nets. |
|
Palavras-Chave: |
Fuzzy Time G-Nets; G-Nets; Modelagem; verificação de sistema. |
|
Thesagro: |
Tecnologia. |
|
Thesaurus Nal: |
design. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01398naa a2200217 a 4500
001 1002967
005 2009-09-25
008 1995 bl uuuu u00u1 u #d
100 1 $aPERKUSICH, A.
245 $aA G-Net based environment for logical and timing analysis of software systems.
260 $c1995
300 $ap. 241-256.
520 $aThe application of Petri nets for the modeling and verification of systems, at specification and design levels are well know. Despite of powerful structuring mechsanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analysing and verifying large systems. Also, when dealing with real-time systems, the verification of timing properties is necessary. A model, named G-Nets, and a time extension, named Fuzzy Time G-Nets, were introduced to the modular analysis of complex real-time software systems. In this work we introduce an environment for logical and timing analysis based on this two kind of Petri nets.
650 $adesign
650 $aTecnologia
653 $aFuzzy Time G-Nets
653 $aG-Nets
653 $aModelagem
653 $averificação de sistema
700 1 $aFIGUEIREDO, J. C. A. de
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.
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 Semiárido. |
|
Data corrente: |
04/01/2012 |
|
Data da última atualização: |
27/04/2023 |
|
Tipo da produção científica: |
Artigo em Anais de Congresso |
|
Autoria: |
MELO, R. F. de; ANJOS, J. B. dos; PEREIRA, L. A.; BRITO, L. T. de L.; CRUZ, L. C. |
|
Afiliação: |
ROSELI FREIRE DE MELO, CPATSA; JOSE BARBOSA DOS ANJOS, CPATSA; LUCIO ALBERTO PEREIRA, CPATSA; LUIZA TEIXEIRA DE LIMA BRITO, CPATSA; LUCIANE COELHO CRUZ. |
|
Título: |
Barragem subterrânea: tecnologia alternativa de adaptação às mudanças climáticas para agricultura familiar. |
|
Ano de publicação: |
2011 |
|
Fonte/Imprenta: |
In: SIMPÓSIO DE MUDANÇAS CLIMÁTICAS E DESERTIFICAÇÃO NO SEMIÁRIDO BRASILEIRO, 3., 2011, Juazeiro. Experiências para mitigação e adaptação. Petrolina: Embrapa Semiárido, 2011. |
|
Descrição Física: |
1 CD-ROM. |
|
Série: |
(Embrapa Semiárido. Documentos, 239). |
|
Idioma: |
Português |
|
Conteúdo: |
O objetivo desse trabalho foi avaliar o potencial produtivo de milho e feijão-caupi cultivados em barragem subterrânea, associado ao uso de adubo orgânico, aplicando-se, em fundação, 2 L de esterco de caprino por metro linear, nas linhas de plantio de cada cultura. O ensaio foi conduzido em áreas de produtores do Distrito de Pau-Ferro, município de Petrolina, PE, no período chuvoso, com os plantios realizados em março de 2011. De acordo com os resultados, foi possível constatar efeito do esterco na fertilidade do solo aos 10 dias após aplicação, principalmente relacionado ao teor de fósforo, em ambas as barragens subterrâneas. Houve aumento de produtividade nas culturas do milho e feijão-caupi cultivados nas barragens subterrâneas 1 e 2, com e sem aplicação de esterco caprino, confirmando o efeito dessa tecnologia como propiciadora do aumento da disponibilidade de água no perfil do solo para culturas anuais. Em média, a produtividade do milho e do feijão-caupi foi, respectivamente, 132%; 117% e 53%; 46% maior nas barragens subterrâneas na presença de esterco. |
|
Palavras-Chave: |
Adubação orgânica; Agricultura de sequeiro; Água de chuva. |
|
Thesagro: |
Agricultura Familiar; Barragem Subterrânea; Feijão; Milho; Produtividade. |
|
Thesaurus NAL: |
Natural resources. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/51634/1/Roseli1.pdf
|
|
Marc: |
LEADER 02102nam a2200289 a 4500
001 1911550
005 2023-04-27
008 2011 bl uuuu u00u1 u #d
100 1 $aMELO, R. F. de
245 $aBarragem subterrânea$btecnologia alternativa de adaptação às mudanças climáticas para agricultura familiar.
260 $aIn: SIMPÓSIO DE MUDANÇAS CLIMÁTICAS E DESERTIFICAÇÃO NO SEMIÁRIDO BRASILEIRO, 3., 2011, Juazeiro. Experiências para mitigação e adaptação. Petrolina: Embrapa Semiárido$c2011
300 $c1 CD-ROM.
490 $a(Embrapa Semiárido. Documentos, 239).
520 $aO objetivo desse trabalho foi avaliar o potencial produtivo de milho e feijão-caupi cultivados em barragem subterrânea, associado ao uso de adubo orgânico, aplicando-se, em fundação, 2 L de esterco de caprino por metro linear, nas linhas de plantio de cada cultura. O ensaio foi conduzido em áreas de produtores do Distrito de Pau-Ferro, município de Petrolina, PE, no período chuvoso, com os plantios realizados em março de 2011. De acordo com os resultados, foi possível constatar efeito do esterco na fertilidade do solo aos 10 dias após aplicação, principalmente relacionado ao teor de fósforo, em ambas as barragens subterrâneas. Houve aumento de produtividade nas culturas do milho e feijão-caupi cultivados nas barragens subterrâneas 1 e 2, com e sem aplicação de esterco caprino, confirmando o efeito dessa tecnologia como propiciadora do aumento da disponibilidade de água no perfil do solo para culturas anuais. Em média, a produtividade do milho e do feijão-caupi foi, respectivamente, 132%; 117% e 53%; 46% maior nas barragens subterrâneas na presença de esterco.
650 $aNatural resources
650 $aAgricultura Familiar
650 $aBarragem Subterrânea
650 $aFeijão
650 $aMilho
650 $aProdutividade
653 $aAdubação orgânica
653 $aAgricultura de sequeiro
653 $aÁgua de chuva
700 1 $aANJOS, J. B. dos
700 1 $aPEREIRA, L. A.
700 1 $aBRITO, L. T. de L.
700 1 $aCRUZ, L. C.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Semiárido (CPATSA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
