| |
|
|
|
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 Meio Ambiente. |
|
Data corrente: |
05/12/2019 |
|
Data da última atualização: |
06/12/2019 |
|
Tipo da produção científica: |
Artigo em Periódico Indexado |
|
Circulação/Nível: |
B - 5 |
|
Autoria: |
FRASCA-SCORVO, C. M. D.; QUEIROZ, J. F. de; LOSEKANN, M. E. |
|
Afiliação: |
CELIA MARIA DORIA FRASCA-SCORVO, APTA Monte Alegre; JULIO FERRAZ DE QUEIROZ, CNPMA; MARCOS ELISEU LOSEKANN, CNPMA. |
|
Título: |
Manejos de tilápia em tanques-rede em represa rural do leste paulista: estudo de caso. |
|
Ano de publicação: |
2019 |
|
Fonte/Imprenta: |
Pesquisa & Tecnologia, v. 16, n. 2, p. 1.5, jul./dez. 2019. |
|
Idioma: |
Português |
|
Conteúdo: |
A produção de tilápia, em tanques-rede, em represas rurais da região leste do estado de São Paulo, vem se firmando como uma atividade promissora para aumentar a renda dos produtores. No Plano Diretor do Polo Leste Paulista, da Secretaria da Agricultura e Abastecimento, elaborado em 2001, o setor produtivo indicou que a Região apresenta um grande potencial para piscicultura, em lagos e represas rurais, pois além de estar próxima de grandes centros consumidores, apresenta grande potencial hídrico. Entretanto, apesar do grande potencial para a produção de tilápia do Nilo, em reservatórios rurais, as informações para aumentar o desempenho dos peixes, em tanques-rede, são escassas. Diante disso, entre 2007 e 2014 foram realizados vários trabalhos de pesquisa, em parceria com a Embrapa Meio Ambiente, na APTA REGIONAL do Leste Paulista, da Agência Paulista de Tecnologia dos Agronegócios (APTA), localizada em Monte Alegre do Sul, SP. Os objetivos foram avaliar os efeitos da densidade de estocagem, frequência alimentar, diferentes linhagens de tilápia e percentual de proteína bruta na qualidade da água e no desempenho zootécnico dos peixes. Os experimentos tiveram durações distintas e variaram de 77 a 251 dias, visando completar todo o ciclo de produção. Aspectos relevantes, referentes ao regime climático da região, características da represa, manejo da produção, qualidade da água, desempenho zootécnico e os índices econômicos foram considerados, para cada um dos experimentos. |
|
Palavras-Chave: |
Desempenho; Represa. |
|
Thesagro: |
Piscicultura; Proteína Bruta; Qualidade da água; Tilápia. |
|
Thesaurus NAL: |
Aquaculture tanks; Crude protein; Fish nutrition; Freshwater fish; Water quality. |
|
Categoria do assunto: |
L Ciência Animal e Produtos de Origem Animal |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/206356/1/Queiroz-Manejos-Tilapia-2019.pdf
|
|
Marc: |
LEADER 02327naa a2200277 a 4500
001 2116068
005 2019-12-06
008 2019 bl uuuu u00u1 u #d
100 1 $aFRASCA-SCORVO, C. M. D.
245 $aManejos de tilápia em tanques-rede em represa rural do leste paulista$bestudo de caso.$h[electronic resource]
260 $c2019
520 $aA produção de tilápia, em tanques-rede, em represas rurais da região leste do estado de São Paulo, vem se firmando como uma atividade promissora para aumentar a renda dos produtores. No Plano Diretor do Polo Leste Paulista, da Secretaria da Agricultura e Abastecimento, elaborado em 2001, o setor produtivo indicou que a Região apresenta um grande potencial para piscicultura, em lagos e represas rurais, pois além de estar próxima de grandes centros consumidores, apresenta grande potencial hídrico. Entretanto, apesar do grande potencial para a produção de tilápia do Nilo, em reservatórios rurais, as informações para aumentar o desempenho dos peixes, em tanques-rede, são escassas. Diante disso, entre 2007 e 2014 foram realizados vários trabalhos de pesquisa, em parceria com a Embrapa Meio Ambiente, na APTA REGIONAL do Leste Paulista, da Agência Paulista de Tecnologia dos Agronegócios (APTA), localizada em Monte Alegre do Sul, SP. Os objetivos foram avaliar os efeitos da densidade de estocagem, frequência alimentar, diferentes linhagens de tilápia e percentual de proteína bruta na qualidade da água e no desempenho zootécnico dos peixes. Os experimentos tiveram durações distintas e variaram de 77 a 251 dias, visando completar todo o ciclo de produção. Aspectos relevantes, referentes ao regime climático da região, características da represa, manejo da produção, qualidade da água, desempenho zootécnico e os índices econômicos foram considerados, para cada um dos experimentos.
650 $aAquaculture tanks
650 $aCrude protein
650 $aFish nutrition
650 $aFreshwater fish
650 $aWater quality
650 $aPiscicultura
650 $aProteína Bruta
650 $aQualidade da água
650 $aTilápia
653 $aDesempenho
653 $aRepresa
700 1 $aQUEIROZ, J. F. de
700 1 $aLOSEKANN, M. E.
773 $tPesquisa & Tecnologia$gv. 16, n. 2, p. 1.5, jul./dez. 2019.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Meio Ambiente (CNPMA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
