Solon Venâncio de Carvalho

Possui graduação em Engenharia Mecânica-Aeronáutica pelo Instituto Tecnológico de Aeronáutica (1982), mestrado em Analise de Sistemas Aplicacoes pelo Instituto Nacional de Pesquisas Espaciais (1987) e doutorado em Automatique - Produtique - Université Toulouse III Paul Sabatier (1991). Atualmente é pesquisador titular do Instituto Nacional de Pesquisas Espaciais. Tem experiência na área de Engenharia de Produção, com ênfase em Pesquisa Operacional, atuando principalmente nos seguintes temas: processo markovianos e modelos markovianos de decisao, análise de desempenho, aplicações em redes de comunicação e sistemas de saúde.

Informações coletadas do Lattes em 30/10/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Automatique - Produtique

1987 - 1991

Université Toulouse III Paul Sabatier
Título: Modèles Stochastiques Appliquès à l'Optimisation de la Performance et de la Sûreté de Fonctionnement des Systèmes de Production
Orientador: Daniel Noyes
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Mestrado em Analise de Sistemas Aplicacoes

1985 - 1987

Instituto Nacional de Pesquisas Espaciais
Título: Controle da taxa de reparo em um sistema de manutenção com máquinas de resserva,Ano de Obtenção: 1987
Orientador: Paulo Renato de Morais
Grande área: EngenhariasSetores de atividade: Qualidade e Produtividade.

Graduação em Engenharia Mecânica-Aeronáutica

1978 - 1982

Instituto Tecnológico de Aeronáutica

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional.

    Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Pesquisa Operacional/Especialidade: Processos Estocásticos e Teoria das Filas.

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Marcos Paulo Lobo Candia

GUERRA, E. M.;RODRIGUES, R. C. M.CARVALHO, S. V.; YANASSE, H. H.; YONEYAMA, T.. Heurística para alocação de espectro em redes ópticas elásticas baseada em medidas de fragmantação. 2014. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Diego Herbin Stalder Díaz

CARVALHO, S. V.; ROSA, R. R.; RUIZ, R. S. R.; VELHO, H. F. C.; STEPHANY, S.; CAPELATO, H. V.; CLUA, E. W. G.. Um novo simulador de N-corpos para cosmologia computacional utilizando tecnologia GPU/CUDA. 2013. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Sóstenes Pereira Gomes

YANASSE, H. H.;CARVALHO, S. V.RODRIGUES, R. C. M.; BECCENERI, J. C.; YONEYAMA, T.. Modelagem markoviana para otimização de redes de sensores sem fio. 2009. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Luis Henrique Castilho da Silva

SANTANA, R. H. C.; MELLO, R. F.;CARVALHO, S. V.. W4Gen: um gerador de cargas de trabalho sintéticas para avaliação de desempenho de modelos de servidores web. 2006. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Paulo Eduardo Cardoso

CARVALHO, S. V.; FERREIRA, M. G. V.; SANTANNA, N.; OLIVEIRA, H. J. Q.. Uma nova arquitetura para a representação das regras de negócios em modelos de objetos dinâmicos. 2005. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Geraldo Regis Mauri

CARVALHO, S. V.; LORENA, L. A. N.; SOUZA, M. J. F.; SENNE, E. L. F.. Novas heurísticas para o problema de escalonamento de tripulações. 2005. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Martha Adriana Dias Abdala

CARVALHO, S. V.; SANTANNA, N.; FERREIRA, M. G. V.; MELNIKOFF, S. S. S.. Uma abordagem para a gerência das modificações e da configuração em um ambiente integrado para o desenvolvimento e gestão de projetos de software. 2004. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: MOACYR GONCALVES CEREJA JUNIOR

CARVALHO, S. V.; SANTANNA, N.; NAKANISHI, T.; FERREIRA, M. G. V.; MELNIKOFF, S. S. S.; CUNHA, A. M.. Um serviço de coordenação de processos integrado ao ambiente de engenharia de software e-webproject. 2004. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Carlos Henrique Netto Lahoz

FERREIRA, M. G. V.; SANTANNA, N.;CARVALHO, S. V.; MELNIKOFF, S. S. S.; SPINOLA, M. M.. Uma abordagem para a gerência da qualidade em um ambiente de engenharia de software centrado em processo. 2004. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Luciana Akemi Burgareli

CARVALHO, S. V.; FERREIRA, M. G. V.; SANTANNA, N.; CUNHA, J. B. S.; MELNIKOFF, S. S. S.. Abordagens de objetos distribuídos aplicadas ao simulador de satélites do INPE. 2003. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Jaciara Silva Carosia

FERREIRA, M. G. V.; NAKANISHI, T.;CARVALHO, S. V.; MELNIKOFF, S. S. S.; SPINOLA, M. M.. Levantamento da qualidade do processo de software com foco em pequenas organizações. 2003. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Patricia Maria Pereira

CARVALHO, S. V.; NAKANISHI, T.; FERREIRA, M. G. V.; SANTANNA, N.; MELNIKOFF, S. S. S.. Serviço de persitência para ambientes distribuídos explorando os recursos do repositório de interfaces. 2002. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Alexandre Magno Gonzaga da Silva

CARVALHO, S. V.; NAKANISHI, T.; CUNHA, J. B. S.; KIENBAUM, G. S.; FUMAGALLI, M. A.. Sistema de simulação acerelado para análise de fluxo de tráfego aéreo. 2001. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Samira Rachid Costa

CARVALHO, S. V.; NAKANISHI, T.; CUNHA, J. B. S.; MELNIKOFF, S. S. S.. Objetos distribuídos: conceitos e padrões. 2000. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Roberto Fagundes Carvalho

LORENA, L. A. N.;CARVALHO, S. V.; YANASSE, H. H.;MORAIS, P. R.; SALLES, M. C. B.. Um algoritmo modificado de iteração de valores para resolução de processos semi-markovianos de decisão. 1999. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Letícia Teixeira Cottini

CARVALHO, S. V.; CUNHA, J. B. S.; NAKANISHI, T.; MELNIKOFF, S. S. S.. Estratégias e padrões para modelagem de banco de dados para sistemas baseados na arquitetura softboard. 1999. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Alexandre Siqueira Dias

NAKANISHI, T.; CUNHA, J. B. S.;CARVALHO, S. V.; MELNIKOFF, S. S. S.. Estratégias e padrões para o desenvolvimento de sistemas de software baseados em softboard. 1999. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: José Olímpio Ferreira

YANASSE, H. H.;CARVALHO, S. V.; SALLES, M. C. B.;RODRIGUES, R. C. M.. Simulação de filas GI/G/m e verificação de aproximações destas por filas Ph/Ph/m. 1998. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Flávia Beatriz Vasconcellos Rodrigues

CARVALHO, S. V.; OLIVEIRA, C. A.; SIMONI, P. O.; CUNHA, J. B. S.; SILVA, O. O.. INSIRIUS - Interface inteligente em linguagem natural para o sistema Sirius. 1998. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Rodolfo Maduro Almeida

BECCENERI, J. C.; MACAU, E. E. N.; RAMOS, F. M.;CARVALHO, S. V.; CARDOSO, M. F.; OLIVEIRA, P. P. B.; LOPES, S. R.. Modelagem da propagação do fogo como ferramentas de auxílio à tomada de decisão no combate e prevenção de incêncios no Parque Nacional das Emas, GO. 2012. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Cecília de Azevedo Castro Cesar

VIJAYKUMAR, N. L.CARVALHO, S. V.; FONSECA, N. L. S.;RODRIGUES, R. C. M.; BRANQUINHO, O. C.; HIRATA, C. M.. Análise e melhoria de redes sem fio em malha IEEE 802.16 com escalonamento distribuído. 2011. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: GONÇALO RENILDO LIMA CERQUEIRA

CARVALHO, S. V.; YANASSE, H. H.; SILVA, J. D. S.; Salles Neto, L. L. de; MORABITO, R.. Heurísticas baseadas em geração sequencial de padrões para o problema de corte de estoque unidimensional com número reduzido de padrões. 2009. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Álvaro Augusto Neto

SILVA, J. D. S.;CARVALHO, S. V.; KIENBAUM, G. S.; FERREIRA, M. G. V.; Torres, J. B.; Pacheco, O. I. P.. Uma abordagem para gestão da produção de software em larga escala baseada em metaprocessos. 2009. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: ANTONIO AUGUSTO CHAVES

YANASSE, H. H.; LORENA, L. A. N.; SENNE, E. L. F.;CARVALHO, S. V.; Armentano, V. A.; Costa. A. M.. Uma meta-heurística híbrida com busca por agrupamentos aplicada a problemas de otimização combinatória. 2009. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Ádamo Lima de Santana

FRANCES, C. R. L.; REZENDE, S. O.;CARVALHO, S. V.; Oliveira, R. L.; Castro, A. G.; Favero, E.;VIJAYKUMAR, N. L.. Estratégias para a melhoria da modelagem e interpretabilidade de redes bayesianas. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará.

Aluno: Francisco de Assis Correa

CARVALHO, S. V.; LORENA, L. A. N.; SENNE, E. L. F.; PIZZOLATO, N. D.; MORABITO NETO, R.. Relaxações e método de decomposição para alguns problemas de localização de facilidades modelados em grafos. 2008. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Giani Carla Ito

SILVA, J. D. S.; FERREIRA, M. G. V.; SANTANNA, N.;CARVALHO, S. V.; Ciferri, R. R.; OLIVEIRA, H. J. Q.;VIJAYKUMAR, N. L.. GIA - Uma arquitetura para geração de interfaces adaptativas para dispositivos móveis. 2007. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Admilson de Ribamar Lima Ribeiro

COSTA, J. C. W. A.FRANCES, C. R. L.; Klautau Jr., A. B. R.; ABELEM, A. J. G.; LOUREIRO, A. A. F.;CARVALHO, S. V.. Sensorbus: Um Middleware Baseado em Políticas para Redes de Sensores sem Fio. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará.

Aluno: Ana Maria Ambrosio

MONTES FILHO, A.;CARVALHO, S. V.MARTINS, E.VIJAYKUMAR, N. L.; SANTANNA, N.; FERNANDES, C. T.; JINO, M.. COFI: Uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais. 2005. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Adriana Prest Mattedi

VELHO, H. F. C.; ROSA, R. R.; RAMOS, F. M.;CARVALHO, S. V.; VASCONCELOS, G. L.; ROSENFELD, R.. Análise de risco financeiro para o setor aeroespacial: introduzindo os conceitos de VARq e comprehensive aerospace index. 2005. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: José Olímpio Ferreira

YANASSE, H. H.;CARVALHO, S. V.RODRIGUES, R. C. M.; SILVA, J. D. S.; MARTINS, W. S.; CHIYOSHI, F. Y.. Algoritmos de programação dinâmica usados em modelos markovianos ocultos (HMMS). 2004. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Sergio Donizete Faria

LORENA, L. A. N.; BANON, G. J. F.;CARVALHO, S. V.; OLIVEIRA, J. R. F.; HIRATA, N. S. T.; ZAMPIROLLI, F. A.. Projeto de operadores morfológicos parametrizados por tabelas de transformação de níveis de cinza. 2004. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Flávia Beatriz Rodrigues Prisco da Cunha

GUIMARAES, L. N. F.; SILVA, J. D. S.; OLIVEIRA, C. A.;CARVALHO, S. V.; OMAR, N.; BONINI, L. M. M.. Educa-ação: uma metodologia e um modelo para auxiliar a construção de currículos para educação mediada por computador. 2003. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Reinaldo Gen Ichiro Arakaki

CARVALHO, S. V.; LORENA, L. A. N.; YANASSE, H. H.; NAGANO, M. S.; SCRICH, C. R.. Heurística de localização-alocação para problemas de localização de facilidades. 2002. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Ricardo Rodrigues Rangel

CARVALHO, S. V.; CUNHA, J. B. S.; NAKANISHI, T.; SANTANNA, N.; DINIZ, N. C.; GALVAO, M. E. E. L.. Global projection Rangel - um sistema de projeção do globo terrestre sobre um elipsóide. 2002. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Maurício Gonçalves Vieira Ferreira

CARVALHO, S. V.; NAKANISHI, T.; CUNHA, J. B. S.; NING, C. H. S.; MADEIRA, E. R. M.. Uma arquitetura flexível e dinâmica para objetos distribuídos aplicada ao software de controle de satélites. 2001. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Geraldo Ribeiro Filho

CARVALHO, S. V.; LORENA, L. A. N.; SANDRI, S. A.; YANASSE, H. H.; OLIVEIRA, P. P. B.; SCRICH, C. R.. Melhoramentos no algoritmo genético construtivo e novas aplicações em problemas de agrupamento. 2000. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Mônica Maria de Marchi

YANASSE, H. H.;MORAIS, P. R.CARVALHO, S. V.RODRIGUES, R. C. M.; MILIONI, A. Z.; MARUJO, E. C.; MORABITO NETO, R.. Um modelo de manutenção de equipamentos baseado em informações imperfeitas sobre o processo de inspeção. 1999. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Márcia Aparecida Monteiro

YANASSE, H. H.;CARVALHO, S. V.; MORABITO NETO, R.; SALLES, M. C. B.; MARUJO, E. C.;MORAIS, P. R.. Supervisão descentralizada em modelos de desempenho de sistemas: uma abordagem por processos markovianos de decisão. 1999. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: João Ricardo de Freitas Oliveira

CARVALHO, S. V.; BANON, G. J. F.; SANDRI, S. A.; PEREIRA, J. A. G.; LOPES, R. V. F.; BARRERA, J.; LOTUFO, R. A.. O uso de algoritmos genéticos na decomposição morfológica de operadores invariantes em translação aplicadas a imagens digitais. 1998. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Lamartine V

COSTA, J. C. W. A.CARVALHO, S. V.; Pelaes, E. G.;FRANCES, C. R. L.; Klautau Jr., A. B. R.; Segatto, M. E. V.;VIJAYKUMAR, N. L.CARVALHO, G. H. S.. Souza. Gerência de recursos de tráfego triple play em sistemas DSL: uma abordagem via processo semi-markoviano de decisão. 2008. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Pará.

Aluno: Afonso Jorge Ferreia Cardoso

CARVALHO, S. V.; Segatto, M. E. V.;COSTA, J. C. W. A.; Cavalcante, G. P. S.; Abelém, A. G. J.;FRANCES, C. R. L.. Estratégiasótimas para roteamento e alocação de comprimentos de onda em redes ópticas WDM. 2006. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Pará.

Aluno: Admilson de Ribamar Lima Ribeiro

COSTA, J. C. W. A.; Klautau Jr., A. B. R.;CARVALHO, S. V.FRANCES, C. R. L.. Sensorbus um middleware para redes de sensores sem fio. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Pará.

Aluno: Glaucio Haroldo Silva de Carvalho

COSTA, J. C. W. A.; Klautau Jr., A. B. R.;CARVALHO, S. V.FRANCES, C. R. L.. Alocação de recursos em redes GSM/GPRS. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Pará.

Aluno: Claudio Rogerio Negri da Silva

MORABITO NETO, R.;CARVALHO, S. V.; MAGALHAES, M. N.; GONCALVES FILHO, E. V.; YOSHIZAKI, H. T. Y.. Aplicação de modelos de redes de filas abertas para projeto e planejamento de sistemas discretos de manufatura. 2003. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Federal de São Carlos.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Armando Zeferino Milioni

MORAIS, Paulo Renato de;MILIONI, A.Z.; YANASSE, Horácio Hideki; SOUZA, José Antonio M Felippe de. Controle da taxa de manutenção de reparo em um sistema de manutenção com máquinas de reserva. 1989. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Horacio Hideki Yanasse

MILIONI, A. Z.YANASSE, H. H.SOUZA, J. A. M. F.MORAIS, P. R.. Controle de taxa de reparo em um sistema de manutençao com máquinas de reserva, 19 de agosto de. 1987. Dissertação (Mestrado em Análise de Sistemas de Aplicações) - Instituto Nacional de Pesquisas Espaciais.

Seção coletada automaticamente pelo Escavador

Orientou

Luis Fernando Amorim França

Modelagem markoviana de sistemas; Início: 2009; Dissertação (Mestrado profissional em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Cecília de Azevedo Castro Cesar

Análise e melhoria do desempenho em redes Mesh IEEE 802; 16; Início: 2006; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais; (Orientador);

Luiz Guilherme Nadal Nunes

Modelos markovianos aplicados ao estudo de fluxo de pacientes em hospitais; Início: 2005; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais; (Orientador);

Marcos Paulo Lobo Candia

Heurística para alocação de espectro em redes ópticas elásticas baseada em medidas de fragmantação; 2014; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Solon Venâncio de Carvalho;

Sóstenes Pereira Gomes

Modelagem markoviana para otimização de redes de sensores sem fio; 2009; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Solon Venâncio de Carvalho;

Heitor Angelo Moraes Junior

Modelagem markoviana de comunicação em redes de satélites; 2008; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Solon Venâncio de Carvalho;

Leandro Luque

Um estudo dos métodos de solução do modelo hipercubo de filas para sistemas emergenciais de grande porte; 2007; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Solon Venâncio de Carvalho;

Roberto Fagundes Carvalho

Um algoritmo modificado de iteração de valores para resolução de processos semi-markovianos de decisão; 1999; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Solon Venâncio de Carvalho;

Flávia Beatriz Vasconcellos Rodrigues

Insirius - Interface Inteligente Em Linguagem Natural Para O Sistema Sirius; 1998; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Solon Venâncio de Carvalho;

José Olímpio Ferreira

Simulação de filas GI/G/m e verificação de aproximações destas por filas Ph/Ph/m; 1998; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Solon Venâncio de Carvalho;

Luiz Gustavo França Lima

Modelagem e Validação Estatísitica do Uso do Método dos Estágios Em Modelos Markovianos; 1997; Dissertação (Mestrado em Pesquisa Operacional e Transporte Aereo) - Instituto Tecnológico de Aeronáutica,; Orientador: Solon Venâncio de Carvalho;

Marcio Nunes de Miranda

Aproximação de Distribuições de Probabilidades Não Exponenciais Por Distribuições do Tipo Fase; 1996; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Solon Venâncio de Carvalho;

Cecília de Azevedo Castro Cesar

Análise e melhoria de redes sem fio em malha IEEE 802; 16 com escalonamento distribuído; 2011; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Solon Venâncio de Carvalho;

Álvaro Augusto Neto

Uma abordagem para gestão da produção de software em larga escala baseada em metaprocessos; 2009; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Coorientador: Solon Venâncio de Carvalho;

Isabela Neves Drummond

Classificação imprecisa de dados baseada em lógica difusa e teoria de possibilidades; 2007; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Solon Venâncio de Carvalho;

José Olímpio Ferreira

Algoritmos de programação dinâmicas usados em modelos markovianos ocultos (HMMS); 2004; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Solon Venâncio de Carvalho;

Nandamudi Lankalapalli Vijaykumar

Statecharts: Their use in specifying and dealing with performance models; 1999; Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Solon Venâncio de Carvalho;

Márcia Aparecida Monteiro

Supervisão descentralizada em modelos de desempenho de sistemas: uma abordagem por processos markovianos de decisão; 1999; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Solon Venâncio de Carvalho;

Mônica Maria de Marchi

Um modelo de manutenção de equipamentos baseado em informações imperfeitas sobre o processo de inspeção; 1999; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Solon Venâncio de Carvalho;

Mischel Carmen Neyra Belderrain

Abordagem Estocástica No Processo de Admissões Hospitalares; 1998; Tese (Doutorado em Pesquisa Operacional e Transporte Aereo) - Instituto Tecnológico de Aeronáutica,; Orientador: Solon Venâncio de Carvalho;

Rita de Cássia meneses Rodrigues

Inserção de Distribuições do Tipo Fase Em Modelos Markovianos de Decisão; 1998; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Solon Venâncio de Carvalho;

Francesco Domenico Martino

Implementação de um ambiente computacional para o tratamento de processos markovianos de decisão; 1994; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Infra-Estrutura Aeronáutica) - Instituto Tecnológico de Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Solon Venâncio de Carvalho;

Fabrício Monteiro Cavalcante

Implementação de algoritmos para a obtenção de medidas de desempenho de sistemas através de modelos markovianos; 1994; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica-Aeronáutica) - Instituto Tecnológico de Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Solon Venâncio de Carvalho;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Paulo Renato de Morais

Controle da Taxa de Reparo Em Um Sistema de Manutencao Com Maquinas de Reserva; 1987; Dissertação - Instituto Nacional de Pesquisas Espaciais,; Orientador: Paulo Renato de Morais;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • SILVA, CARLOS PATRICK ALVES DA ; PUTY, CLAUDIO ALBERTO CASTELO BRANCO ; SILVA, MARCELINO SILVA DA ; CARVALHO, SOLON VENÂNCIO DE ; FRANCÊS, CARLOS RENATO LISBOA ; WHITBY, RYAN . Financial forecasts accuracy in Brazil?s social security system. PLoS One , v. 12, p. e0184353, 2017.

  • PUTY, C. A. C. B. ; FRANCES, C. R. L. ; CARVALHO, S. V. ; Silva, M. S. ; Silva, C.P.A. . QUÃO ACURADAS SÃO AS PROJEÇÕES FINANCEIRAS E ATUARIAIS DO REGIME GERAL DA PREVIDÊNCIA SOCIAL?. Revista da ABET , v. 16, p. 160, 2017.

  • LIMA SANTOS, LEONARDO BACELAR ; MIRANDA, TIAGO NOGUEIRA SÁ ; DÉCIA FRATARI, JÉSSIKA CAROLINE ; BALDO BACELAR, ROBERTA ; MEDINA, CAMILA BELTRÃO ; DE CARVALHO, SOLON VENÂNCIO . HydroC - An open source hydrological library with educational purposes. Modelling in Science Education and Learning , v. 8, p. 35-43, 2015.

  • Silva, M. S. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; CARDOSO, D. L. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . QoS Management in Smart Grids: a Markovian Approach. Journal of Microwaves, Optoelectronics and Electromagnetic Applications , v. 13, p. 12-28, 2014.

  • CESAR, C. A. C. ; CARVALHO, S. V. . An analytical framework for distributed coordinated scheduling in IEEE 802.16 wireless mesh networks. Ad Hoc Networks , v. 13, p. 181-190, 2014.

  • CARDOSO, D. L. ; Silva, M. S. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; COSTA, J. C. W. A. ; FRANCES, C. R. L. . Green-Markov models - new optimization strategies: a case study for user allocation in co-channel macro/femto networks. Journal of Microwaves, Optoelectronics and Electromagnetic Applications , v. 11, p. 267-282, 2012.

  • VIJAYKUMAR, N. L. ; BERKENBROCK, G. R. ; CARVALHO, S. V. ; ANDRADE, V. M. B. ; SWAMY, G. V. ; RAO, M. J. . Memory embedded in Markov models specified in Statecharts: simulation versus analytical approaches. Gestão & Produção (UFSCAR. Impresso) , v. 19, p. 663-675, 2012.

  • Nunes, L. G. N. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. . Markov decision process applied to the control of admissions into elective hospitals. Artificial Intelligence in Medicine , v. 47, p. 159-171, 2009.

  • CARVALHO, G. H. S. ; MARTINS, V. S. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; CARVALHO, S. V. . Performance analysis of multi-service wireless network. Computers & Electrical Engineering , v. 34, p. 346-356, 2008.

  • SOUZA, L.V. ; CARVALHO, G. H. S. ; CARDOSO, D. L. ; CARVALHO, S. V. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; Riu, J. R. I. . MDP-based resource allocation for triple-play transmission on xDSL Systems. Proceedings of SPIE , v. 6776, p. 67760F, 2007.

  • Santana, A. L. de ; FRANCES, C. R. L. ; Rocha, C. A. J. ; Rego, L. P. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; COSTA, J. C. W. A. . Strategies for improving the modeling and interpretability of bayesian networks. Data & Knowledge Engineering , v. 63, p. 91-107, 2007.

  • AMBROSIO, A. M. ; MARTINS, E. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . A Conformance Testing Process for Space Applications Software Services. Journal of Aerospace Computing, Information, and Communication , v. 3, n.4, p. 146-158, 2006.

  • KAWASAKI, R. Y. ; OLIVERIA, L. A. H. G. ; CARDOSO, D. L. ; FRANCES, C. R. L. ; CARVALHO, G. H. S. ; CARVALHO, S. V. ; COSTA, J. C. W. A. ; SILVA, M. S. . A Markovian Sensibility Analysis for Parallel Processing Scheduling on GNU/Linux. Lecture Notes in Computer Science , v. 4331, p. 269-278, 2006.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ANDRADE, V. M. B. ; ABDURAHIMAN, V. . Introducing probabilities in Statecharts to specify reactive systems for Performance Analysis. Computers and Operations Research , v. 33, p. 2369-2386, 2005.

  • FRANCES, C. R. L. ; OLIVEIRA, E. L. ; COSTA, J. C. W. A. ; SANTANA, M. J. ; SANTANA, R. H. C. ; BRUSCHI, S. M. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . Performance Evaluation based on System Modelling using Statecharts extensions. Simulation Practice and Theory, v. 13, n.7, p. 584-618, 2005.

  • CARVALHO, G. H. S. ; RODRIGUES, R. M. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; CARVALHO, S. V. . Modelling and performance evaluation of wireless networks. Lecture Notes in Computer Science , Heidelberg, v. 3124, p. 595-600, 2004.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . On proposing Statecharts to specify performance models. International Transactions in Operational Research , v. 9, n.3, p. 321-336, 2002.

  • RODRIGUES, R. C. M. ; CARVALHO, S. V. . Optimization of a PH/PH/1/N queue with controllable service time and partial information. International Transactions in Operational Research , Norwich - Grã-Bretanha, v. 8, n.2, p. 235-248, 2001.

  • RODRIGUES, R. C. M. ; CARVALHO, S. V. . Um modelo markoviano de decisão para a otimização de um sistema de manutenção com tempos de reparo coxianos e fases não observáveis. Pesquisa Operacional , Rio de Janeiro, v. 21, n.2, p. 159-178, 2001.

  • CARVALHO, S. V. . Design and implementation of a monitoring system for NC machines. Computer in Industry, v. 18, p. 59-66, 1992.

  • GOMES, S. P. ; CARVALHO, S. V. ; RODRIGUES, R. C. M. . Modelagem markoviana para otimização de redes de sensores sem fio. In: XLI SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2009, Porto Seguro. Anais do XLI SBPO, 2009. v. 1. p. 2375-2384.

  • VIJAYKUMAR, N. L. ; GOMES, S. P. ; Silva, M. S. ; CARVALHO, S. V. ; FRANCES, C. R. L. . From steady-state probabilities to performance measures for complex reactive systems specified in statecharts. In: XLI SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2009, Porto Seguro. Anais do XLI SBPO, 2009. v. 1. p. 798-805.

  • Silva, M. S. ; Santana, A. L. de ; FRANCES, C. R. L. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . Obtaining a continuous time Markov decision process from statecharts. In: 8th International Conference on Computer Information Systems and Industrial Management Applications (CISIM), 2009, Coimbatore. Proceedings of 8th CISIM, 2009. v. 1. p. 1-6.

  • GOMES, S. P. ; CARVALHO, S. V. ; RODRIGUES, R. C. M. . Otimização do Consumo de Energia em Redes de Sensores sem Fio por Processos Markovianos de Decisão. In: 7th Brazilian Conference on Dynamics, Control and Applications (DINCON' 2008), 2008, Presidente Prudente. Anais do DINCON'2008, 2008. v. 1. p. 1-7.

  • CARVALHO, S. V. ; ROSA, A. N. F. ; FRANCES, C. R. L. ; LEAL, C. F. ; COSTA, J. C. W. A. ; RODRIGUES, R. C. M. . Processo markoviano de decisão aplicado à alocação dinâmica de comprimento de onda em um nó de redes ópticas WDM. In: XL SBPO - Simpósio Brasileiro de Pesquisa Operacionla, 2008, João Pessoa. Anais do XL SBPO, 2008. v. 1. p. 636-643.

  • Silva, M. S. ; CARDOSO, D. L. ; FRANCES, C. R. L. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . A utilização dos statecharts e processo markoviano de decisão na avaliação de desempenho. In: Simpósio Brasileiro de Telecomunicações (SBrT2008), 2008, Rio de Janeiro. Anais do SBrT, 2008. v. 1. p. 1-6.

  • Silva, M. S. ; VIJAYKUMAR, N. L. ; FRANCES, C. R. L. ; CARVALHO, S. V. ; CARDOSO, D. L. . Uso combinado dos statecharts e processo markoviano de decisão no processo de avaliação de desempenho de sistemas. In: XL SBPO - Simpósio Brasileiro de Pesquisa Operacionla, 2008, João Pessoa. Anais do XL SBPO, 2008. v. 1. p. 1-15.

  • Gabler, W. ; CARVALHO, G. H. S. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; CARVALHO, S. V. . Análise de tráfego para a integração de redes sem fio WiMax/WiFi: uma abordagem usando cadeias de Markov. In: Simpósio Brasileiro de Telecomunicações (SBrT2008), 2008, Rio de Janeiro. Anais do SBrT08, 2008.

  • Nunes, L. G. N. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. . Método evolutivo em horizonte de planejamento reduzido e amostrado para solução de processos markovianos de decisão. In: XXXIX Simpósito Brasileiro de Pesquisa Operacional, 2007, Fortaleza. Anais do XXXIX Simpósito Brasileiro de Pesquisa Operacional, 2007.

  • Nunes, L. G. N. ; CARVALHO, S. V. ; RODRIGUES, R. C. M. . Processo Markoviano de Decisão aplicado ao controle de admissões em hospitais eletivos. In: XXXIX Simpósito Brasileiro de Pesquisa Operacional, 2007, Fortaleza. Anais do XXXIX Simpósito Brasileiro de Pesquisa Operacional, 2007.

  • CARVALHO, S. V. ; Moraes Junior, H. A. ; RODRIGUES, R. C. M. . Modelagem markoviana de um sistema de redes de satélites de comunicação. In: XXX CNMAC- Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis - SC. Anais do XXX CNMAC, 2007.

  • Nunes, L. G. N. ; CARVALHO, S. V. ; RODRIGUES, R. C. M. . Markov decision process applied to the control of admissions into elective hospitals. In: 33rd Conference on Operational Research Applied to Health Service, 2007, Saint-Étienne. Proceedings of the 33rd Conference on Operational Research Applied to Health Service, 2007.

  • CARVALHO, G. H. S. ; CRUZ, R. S. ; Silva, B. A. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; CARVALHO, S. V. . Controle de Admissão de Chamadas em Redes Sem Fio Multi-Serviço com Prioridade Preemptiva. In: Simpósio Brasileiro de Telecomunicações (SBrT2007), 2007, Recife. Anais do SBrT2007, 2007.

  • Santana, A. L. de ; Rego, L. P. ; FRANCES, C. R. L. ; CARVALHO, S. V. ; VIJAYKUMAR, N. L. . Aplicação de modelos markovianos para a análise temporal e melhoria de interpretabilidade de redes bayesianas. In: XXXIX Simpósito Brasileiro de Pesquisa Operacional, 2007, Fortaleza. Anais do XXXIX Simpósito Brasileiro de Pesquisa Operacional, 2007. v. 1. p. 456-465.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ABDURAHIMAN, V. ; Berkenbrock, G. ; FRANCES, C. R. L. . Towards obtaining performance measures of manufacturing systems specified in statecharts. In: XXXIX Simpósito Brasileiro de Pesquisa Operacional, 2007, Fortaleza. Anais do XXXIX Simpósito Brasileiro de Pesquisa Operacional, 2007. v. 1. p. 945-955.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; FRANCES, C. R. L. ; ABDURAHIMAN, V. ; AMARAL, A. S. M. S. . Performance Evaluation from Statecharts representation of Complex Systems: Markov Approach. In: V Workshop on Performance of Computational Systems (WPerformance)/Brazilian Computing Conference (SBC), 2006, Campo Grande, MS. Anais do V WPerformance, 2006. v. 1. p. 183-202.

  • FRANCES, C. R. L. ; SANTANA, M. J. ; SANTANA, R. H. C. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . Queuing Statecharts - Uma proposta de Especificação para Sistemas de Filas baseadas em Statecharts. In: XXXVIII Simpósio Brasileiro de Pesquisa Operacional, 2006, Goiânia. Anais do XXXVIII, 2006. v. 1. p. 1-9.

  • CARVALHO, G. H. S. ; CARVALHO, S. V. ; FRANCES, C. R. L. ; MARTINS, V. S. ; CRUZ, R. S. . Performance Analysis of Integrated Call Admission Control ans Scheduling in Mobile Cellular Networks. In: The 9th Internationl Symposium on Spread Spectrum Techniques and Applications (ISSSTA 2006), 2006, Manaus. ISSSTA 2006, 2006.

  • KAWASAKI, R. Y. ; CARDOSO, D. L. ; CARVALHO, G. H. S. ; FRANCES, C. R. L. ; OLIVERIA, L. A. H. G. ; CARVALHO, S. V. ; COSTA, J. C. W. A. . A Markovian Sensibility Analysis for Parallel Processing Scheduling on GNU/Linux. In: International Symposium on Parallel ans Applications (ISPA'2006), 2006, Sorrento. Procedures of International Symposium on Parallel ans Applications (ISPA'2006), 2006.

  • CARVALHO, G. H. S. ; FRANCES, C. R. L. ; CRUZ, R. S. ; MARTINS, V. S. ; CARVALHO, S. V. . Analysis of Traffic Management Mechanisms in Wireless Networks: Performance Comparison Study. In: International Telecommunication Symposium 2006 (ITS06), 2006, Fortaleza. Procedures of International Telecommunication Symposium 2006 (ITS06), 2006.

  • AMBROSIO, A. M. ; MARTINS, E. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . Systematic Generation of Test and Fault Cases for Space Application Validation. In: DASIA - Data Systems in Aerospace, 2005, Edinburg. Proceedings of DASIA, 2005.

  • AMBROSIO, A. M. ; MARTINS, E. ; SANTIAGO, V. ; MATIELLO-FRANCISCO, F. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. . A methodology for designing fault injection experiments as an addition to communication systems for conformance testing. In: DSN-2005 (The International Conference on Dependable Systems and networks) Workshop, 2005, Yokohama. Proceedings of ITEE 2005, 2005.

  • FRANCES, C. R. L. ; VIJAYKUMAR, N. L. ; SANTANA, M. J. ; SANTANA, R. H. C. ; CARVALHO, S. V. . On Specifying Complex Systems through Stochastic Statecharts for Performance Analysis. In: XXXVII Simpósio Brasileiro de Pesquisa Operacional, 2005, Gramado. Anais do XXXVII SBPO, 2005.

  • CARVALHO, G. H. S. ; COSTA, J. C. W. A. ; FRANCES, C. R. L. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. . Política Ótima para o Controle de Admissão de Chamadas e o Mecanismo de Adaptação de Largura de banda em Redes Móveis Celulares. In: XXII Simpósito Brasileiro de Telecomunicações - SBrT'05, 2005, Campinas. Anais do XII Simpósio Brasileiro de Telecomunicações - SBrT'05, 2005.

  • CARVALHO, G. H. S. ; COSTA, J. C. W. A. ; FRANCES, C. R. L. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. . Modelagem Analítica para Gerência de Recursos de Rádio em Redes Móveis Celulares Hierárquicas. In: XXII Simpósio Brasileiro de Telecomunicações - SBrT'05, 2005, Campinas. Anais do XII Simpósio Brasileiro de Telecomunicações - SBrT'05, 2005.

  • CARVALHO, G. H. S. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. . Controle de Admissão de Chamadas em Redes Móveis Celulares Adaptativas. In: XXII Simpósio Brasileiro de Telecomunicações - SBrT'05, 2005, Campinas. Anais do XII Simpósio Brasileiro de Telecomunicações - SBrT'05, 2005.

  • CARVALHO, G. H. S. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. . Optimal call admission control and bandwidth adaptation in multimedia cellular mobile networks. In: Eight International Conference on Decision Support (ISDSS'05), 2005, Porto Alegre. Procedures of Eight International Conference on Decision Support (ISDSS'05), 2005.

  • CARVALHO, G. H. S. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. . Adaptive resource allocation schemes for next generation multimedia. In: 2005 Workshop on Performance of Wireless Networks and Communication Systems (WiNCS´05)/International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'05), 2005, Philadelphia. WiNCS'05, 2005.

  • CARVALHO, G. H. S. ; FRANCES, C. R. L. ; CARVALHO, S. V. ; RODRIGUES, R. C. M. . Optimal call admission control and bandwidth adaptation in multimedia cellular mobile networks. In: 12th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'05)/19th European Conference on Modelling and Simulation (ASMTA 2005), 2005, Riga. Procedures of 12th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'05)/19th European Conference on Modelling and Simulation (ASMTA 2005), 2005.

  • CARVALHO, G. H. S. ; COSTA, J. C. W. A. ; FRANCES, C. R. L. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. . Alocação de Recursos em Redes Móveis Celulares Hierárquicas GSM/GPRS. In: Simpósio Brasileiro de Telecomunicações, 2004, Belém. Telecomunicações: Infovias para a integração e desenvolvimento sustentável da Amazônia, 2004.

  • CARVALHO, G. H. S. ; RODRIGUES, R. C. M. ; CARVALHO, S. V. ; FRANCES, C. R. L. ; COSTA, J. C. W. A. . Modelagem Markoviana da Alocação de Recursos em Redes Móveis Celulares Hierárquicas GSM/GPRS. In: XXXVI Simpósio Brasileiro de Pesquisa Operacional, 2004, São João Del Rei. Anais do XXXVI SBPO, 2004.

  • RODRIGUES, R. C. M. ; CARVALHO, S. V. . Controle do estoque de peças semi-acabadas em uma linha de produção com tempos de processamento e reparo tendo distribuição do tipo fase. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais do XXXV SBPO, 2003. p. 216-222.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. . Optimization of a PH/PH/c/N queueing system. In: XI Congreso Latino Iberoamericano de Investigación de Operaciones (XI CLAIO), 2002, Cancepción. Acta de Trabajos, 2002.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. . Método para ortimização de um sistema de filas M/PH/c/N con informação parcial. In: XXXIV Simpósio Brasileiro de Pesquisa Operacional, 2002, Rio de Janeiro. Anais do XXXIV SBPO, 2002.

  • FRANCES, C. R. L. ; SANTANA, M. J. ; CARVALHO, S. V. ; VIJAYKUMAR, N. L. ; SANTANA, R. H. C. . Performance Evaluation of Complex Systems: Queuing Statecharts Approach. In: Congresso da SBC/Wperformance - I Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2002, Florianópolis. Anais, 2005. v. 1. p. 1406-1418.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ANDRADE, V. M. B. ; ABDURAHIMAN, V. . On embedding memory in Markov Models specified in Statecharts. In: Congresso do SBC/Wperformance-I Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2002, Florianópolis. Anais, 2002. p. 1394-1405.

  • RODRIGUES, R. C. M. ; CARVALHO, S. V. . Modelo de roteamento de um servidor para um sistema de M filas em paralelo e informação parcial. In: XXXIII Simpósio Brasileiro de Pesquisa Operacional, 2001, Campos do Jordão. Anais do XXXIII SBPO, 2001. p. 640-648.

  • FRANCES, C. R. L. ; VIJAYKUMAR, N. L. ; SANTANA, M. J. ; CARVALHO, S. V. ; SANTANA, R. H. C. ; ABDURAHIMAN, V. . The use of Analytical and simulation solutions with Statecharts for performance evaluation: a case study of a File Server model. In: 2nd IEEE Ltin-America Test Workshop, 2001, Cancun. 2nd IEEE Latin-America Test Workshop Digest of Papers, 2001. v. 1. p. 136-141.

  • VIJAYKUMAR, N. L. ; ANDRADE, V. M. B. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . Handing with Parameterized States in Statecharts for determining performance measurements of reactive systems. In: XXI ENEGEP/7th International Conference on Industrial Engineering and Operations Management, 2001, Salvador. Production and distribution Challenges for the 21st Century: Proceeding of the VII Internationa Conf. on Industrial Engineering and Operations Management, 2001. v. 1. p. 36-45.

  • VIJAYKUMAR, N. L. ; FRANCES, C. R. L. ; CARVALHO, S. V. ; SANTANA, M. J. ; SANTANA, R. H. C. ; ABDURAHIMAN, V. . Tackling specification problems for Performance Models. In: LAPTEC'2001 - 2md Congress of Logic Applied Technology, 2001, São Paulo. Proceedings of the 2nd Congress of Logic Applied to Technology, 2001. v. 2. p. 1-8.

  • FRANCES, C. R. L. ; SANTANA, M. J. ; VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; SANTANA, R. H. C. . Statecharts estocásticos e Queuing Statecharts: novas abordagens para avaliação do desempenho baseadas em especificação Statecharts. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001. v. 1. p. 316-331.

  • VIJAYKUMAR, N. L. ; FRANCES, C. R. L. ; CARVALHO, S. V. ; SANTANA, M. J. ; SANTANA, R. H. C. ; ABDURAHIMAN, V. . Some considerations on specifying and obtaining performance measurements of a file Server: an approach using Queuing Networks and Statecharts. In: XXXIII SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2001, Campos do Jordão. Anais do XXXIII SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2001. v. 1. p. 685-696.

  • FRANCES, C. R. L. ; VIJAYKUMAR, N. L. ; SANTANA, R. H. C. ; SANTANA, M. J. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . Performance Evaluation based on Statecharts specification using Markov chains and SMPL simulation: A Case Study of a Distributed Enviroment with a File Server. In: 4th International EUROSIM 2001 Congress - Shaping Future with Simulation, 2001, Delft. Proceedings of EUROSIM 2001, 2001. v. 1. p. 1-6.

  • VIJAYKUMAR, N. L. ; FRANCES, C. R. L. ; SANTANA, M. J. ; CARVALHO, S. V. ; SANTANA, R. H. C. ; ABDURAHIMAN, V. . Analytical and simulation solutions for performance models based on Statecharts: a case study of a file server. In: Join Meeting of the 5th World Multiconference on Systemics and Informatics (SCI2001) and 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), 2001, Orlando. Proceedings of Joint Meeting of SCI2001 ans ISAS2001, 2001.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. . Modelagem e otimização de um sistema de M filas em paralelo com um único servidor sem informação sobre o número de clientes em cada fila. In: XXXII Simpósio Brasileiro de Pesquisa Operacional, 2000, Viçosa. Anais do Simpósio. São Paulo: Tec Art Editora Ltda, 2000. v. 1. p. 1675-1683.

  • De Marchi, M. M. ; CARVALHO, S. V. . Otimização de um sistema de manutenção baseado em infromações incompletas utilizando políticas estacionárias. In: XXXII Simpósio brasileiro de Pesquisa Operacional (SBPO), 2000, Viçosa. Anais do Simpósio, 2000. p. 1518-1731.

  • De Marchi, M. M. ; CARVALHO, S. V. . Políticas de manutenção para sistemas com infromação parcial. In: X Congresso Latinoiberoamericano de Investigación de Operaciones y Sistemas (CLAIO), 2000, Cidade do México. Anais, 2000. p. 61-66.

  • FRANCES, C. R. L. ; VIJAYKUMAR, N. L. ; SANTANA, M. J. ; CARVALHO, S. V. ; SANTANA, R. H. C. . Stochastic extension to Statecharts: an application to a file system. In: 12th Symposium on Computer Architecture and High Performance Computing, 2000, São Pedro. Proceedings od 12th Symposium on Computer Architeture and High Performance Computing, 2000. p. 365-372.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . Manufacturing cell with robots and obtaining performance measurements: an approach in Statecharts and Petri nets. In: VI International Conference on Industrial Engineering and Operations Management, 2000, São Paulo. Proceedings, 2000. p. 349-355.

  • FRANCES, C. R. L. ; VIJAYKUMAR, N. L. ; SANTANA, M. J. ; CARVALHO, S. V. ; SANTANA, R. H. C. . Stochastic Statecharts for obtaining performance measurements of a file server model. In: International Conference on Information Society in the 21 Century: Emerging Technologies and new Challenges, 2000, Aizu-Wakamatsu city. Proceedings, 2000.

  • FRANCES, C. R. L. ; VIJAYKUMAR, N. L. ; SANTANA, R. H. C. ; SANTANA, M. J. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . The use of analytical and simulation solution with Statecharts for performance evaluation: a casa study of a file server model. In: 2nd IEEE Latin American Teste Workshop (LATW), 2000, Cancun. Proceedings, 2000.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . Specifying manufacturing cell with robots and obtaining performance measurements: an approach in Statecharts and Petri nets. In: VI International Conference on Industrial Engineering and Operations Management, 2000, São Paulo. Proceedings, 2000. p. 349-355.

  • ANDRADE, V. M. B. ; CARVALHO, S. V. . Um software para especificação e análise de modelos markovianos. In: XXXI Simpósio Brasileiro de Pesquisa Operacional, 1999, Juiz de Fora. Anais do XXXI SBPO, 1999. p. 19-31.

  • De Marchi, M. M. ; CARVALHO, S. V. ; MORAIS, P. R. . Um modelo markoviano para otimização da manutenção de um equipamento com informação imperfeita baseada em erros de inspeção. In: XXXI Simpósio Brasileiro de Pesquisa Operacional, 1999, Juiz de Fora. Anais do XXXI Simpósio Brasileiro de Pesquisa Operacional, 1999. p. 197-207.

  • MONTEIRO, M. A. ; CARVALHO, S. V. . Supervisão descentralizada em processos markovianos de decisão. In: XXXI Simpósio Brasileiro de Pesquisa Operacional, 1999, Juiz de Fora. Anais do Simpósio, 1999. p. 7-18.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . Statecharts: An overview and its use in specifying performance models. In: Workcomp'98 - I Workshop de Computação, 1998, São José dos Campos. Anais da Workcomp'98 - I Workshop de Computação, 1998. v. 1. p. 55-60.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. . Controle de estoque numa linha de produção composta de duas máquinas e sujeita a demanda aleatória. In: VIII CLAIO/XXVIII SBPO, 1996, Rio de Janeiro. Anais dos Resumos Estendidos. Rio de Janeiro: SOBRAPO, 1996. v. 3. p. 1349-1354.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. ; VIJAYKUMAR, N. L. ; MORAIS, P. R. . Optimal policies for controlling the in-process inventory in a serial manufacturing system with inspection and rework. In: VIII CLAIO/XXVIII SBPO, 1996, Rio de Janeiro. Anais dos Resumos Estendidos. Rio de Janeiro: SOBRAPO, 1996. v. 3. p. 1361-1366.

  • CARVALHO, S. V. ; NOYES, D. . Um modelo markoviano para otimização de um sistema de manutenção com uma restrição de desempenho. In: VIII Latin-Iberian-American Congress on Operations Research and System Engineering (CLAIO)/ XXVIII SBPO, 1996, Rio de Janeiro. Anais dos Resumos Estendidos, 1996. v. 3. p. 1355-1360.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. ; MORAIS, P. R. . Otimização de um sistema de manutenção com dois servidores e tempos de reparo coxianos. In: I International Congress of Industrial Engineering/XV Encontro Nacional de Engenharia de Produção (ENEGEP), 1995, São Carlos. Anais, 1995. v. 1. p. 1252-1257.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. ; VIJAYKUMAR, N. L. ; MORAIS, P. R. . Control of in-process inventory in a serial manufacturing system with inspection and rework. In: International Conference on Industrial Logistics, 1995, Ouro Preto. Proceedings. Ouro Preto: UFOP, 1995. p. 211-219.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. ; MORAIS, P. R. . Controle ótimo de estoques de peças semi-acabadas numa linha de produção com três máquinas. In: XXVI Simpósio Brasileiro de Pesquisa Operacional, 1994, Florianópolis. Anais do Congresso, 1994. p. 758-763.

  • RODRIGUES, R. C. M. ; MORAIS, P. R. ; CARVALHO, S. V. . Um modelo markoviano para o controle da taxa de reparo de um sistema de manutenção com um único servidor. In: 14 Encontro Nacional de Engenharia de Produção (ENEGEP), 1994, João Pessoa. Anais, 1994. p. 745-750.

  • CARVALHO, S. V. ; VIJAYKUMAR, N. L. ; OLIVO, A. A. . Estudo do estoque de peças semi-acabadas numa célula flexível de manufatura composta de duas máquinas e um robô. In: XXVI SBPO, 1994, Florianópolis. Anais do Congresso. p. 752-757.

  • LIMA, L. G. F. ; CARVALHO, S. V. . Statistical modelling and validation in use of the method of stages. In: 9ème Colloque International de FIABILITÉ & MAINTENANCE, 1994, La Baule. Anais, 1994. p. 557-562.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. ; MORAIS, P. R. . Otimização do controle de estoque entre máquinas numa linha de produção. In: XXV Simpósio Brasileiro de Pesquisa Operacional, 1993, Campinas. Anais do Congresso, 1993. p. 623-627.

  • CARVALHO, S. V. ; NOYES, D. . Modelo markoviano para otimização da alocação de máquinas num sistema de produção. In: I Congresso Latino Americano de Engenharia Industrial/XIII ENEGEP, 1993, Florianópolis. Anais, 1993. p. 939-943.

  • RIOS NETO, A. ; CARVALHO, S. V. ; Freitas Pinto, R. L. U. . An optimal linear estimation and projection of the gradient approach to solve linear programming problems. In: XV Congresso Ibero Latino Americano de Métodos Computacionais em Engenharia - CILANCE, 1993, São Paulo1993. Anais. p. 933-937.

  • CARVALHO, S. V. ; VIJAYKUMAR, N. L. . Usando statecharts na representação de modelos markovianos. In: XXV Simpósio Brasileiro de Pesquisa Operacional (SBPO), 1993, Campinas. Anais do Congresso, 1993. p. 628-632.

  • CARVALHO, S. V. . Sobre a representação irredutível mínima para uma distribuição do tipo fase. In: XXIV SBPO, 1992, Salvador. Anais do Congresso, 1992. p. 409-418.

  • CARVALHO, S. V. ; MORAIS, P. R. . Um problema de reparo de máquinas com um número variável de servidores diferentes. In: VII Encontro Nacional de Engenharia de Produção, 1987, Niterói. Anais, 1987. p. 993-1001.

  • CARVALHO, S. V. ; MORAIS, P. R. . Sobre a modelagem de um problema de reparo de máquinas com dois servidores diferentes. In: 10 Congresso Nacional de Matemática Aplicada e Computacional, 1987, Gramado. Anais, 1987. p. 115-120.

  • Luque, L ; CARVALHO, S. V. . Uma biblioteca orientada a objetos para o modelo hipercubo de filas. In: XXIII CLAIO- Congresso Latino-IIberoamericano de investigación Operativa, 2006, Montevidéu. Anais do XIII Congreso Latino-Iberoamericano de Investigación Operativa, 2006.

  • Luque, L ; CARVALHO, S. V. . Modelo Ibercubo de filas: análise e resultados para o método aproximado de solução. In: XXIII CLAIO- Congresso Latino-IIberoamericano de investigación Operativa, 2006, Montevidéu. Anais do XIII Congreso Latino-Iberoamericano de Investigación Operativa, 2006.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. . Control of work-in-process inventory between two serial machines with processing and repair times following phase-type distribution. In: EURO/INFORMS Joint International Meeting, 2003, istambul. Abstract Book, 2003. p. 209-209.

  • RODRIGUES, R. C. M. ; CARVALHO, S. V. . A semi-Markov decision model with partial information for a system with M parallel queues and one server. In: INFORMS Annual Meeting, 2000, San Antonio. Conference program. bALTIMORE: INFORMS, 2000. v. 1. p. 10-10.

  • De Marchi, M. M. ; MORAIS, P. R. ; CARVALHO, S. V. . Stationary policies for optimization of a maintenance system based on incomplete information. In: EURO XVII - 17th European Conference on Operational Research, 2000, Budapeste. Anais, 2000. p. 161-161.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ANDRADE, V. M. B. ; ABDURAHIMAN, V. . Probabilistic Statecharts. In: EURO XVII, 2000, Budapeste. Proceedings of Abstracts, 2000. p. 111-111.

  • De Marchi, M. M. ; CARVALHO, S. V. ; MORAIS, P. R. . A markovian model for optimising maintenance systems with imperfect information based on inspection error. In: The Fifteenth Triennial Conference of IFORS, 1999, Beijing. Final Program. Beijing: IFORS, 1999. p. 97-97.

  • RODRIGUES, R. C. M. ; CARVALHO, S. V. . Optimization of a PH/PH/1/N queue with controllable service time and partial information. In: The Fifteenth Triennial Conference of IFORS, 1999, Beijing. Final Program. Beijing: IFORS, 1999. p. 165-165.

  • De Marchi, M. M. ; CARVALHO, S. V. ; MORAIS, P. R. . A markovian model for optimising maintenance systems with partial information. In: INFORMS Cincinnati Spring 1999, 1999, Cincinnati. Final Program. Cincinnati: INFORMS, 1999. p. 101-101.

  • RODRIGUES, R. C. M. ; CARVALHO, S. V. . Optimization of a manufacturing system with coxian repair times & partial information. In: INFORMS Cincinnati Spring 1999, 1999, Cincinnati. Final Program, 1999. p. 101-101.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . On comparing Statecharts with state-transition diagrams, queueing networks and Petri nets for use in performance models. In: INFORMS Cincinnati, 1999, Cincinnati. Final Program. Cincinnati: INFORMS, 1999. v. 1. p. 101-101.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . Some observations in specifying a performance model using Petri nets and Statecharts. In: The Fifteenth Triennial Conference of IFORS, 1999, Beijing. Final Program. Beijing: IFORS, 1999. p. 165-165.

  • De Marchi, M. M. ; CARVALHO, S. V. . A Markov decision model for optimization of a maintenance system based on the inspection of the produced parts. In: 16th European Conference on Operational Research (EURO XVI), 1998, Bruxelas. Programme. Bruxelas: The Belgian Operations Research Society, 1998. p. 125-125.

  • De Marchi, M. M. ; CARVALHO, S. V. ; MORAIS, P. R. . Um modelo markoviano para otimização da manutenção de um equipamento com observação parcial. In: XXX Simpósio Brasileiro de Pesquisa Operacional, 1998, Curitiba. Anais de Resumos, 1998. p. 291-292.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. . Optimization of a Ph/Ph/1/N queue with controllable service time. In: 16th European Conference on Operational Research (EURO XVI), 1998, Bruxelas. Programme. Bruxelas: The Belgian Operations Research Society, 1998. p. 67-68.

  • RODRIGUES, R. C. M. ; CARVALHO, S. V. . Otimização de um sistema de manutenção com tempos de reparo coxianos e informação incompleta. In: XXX Simpósio Brasileiro de Pesquisa Operacional, 1998, Curitiba. Anais de Resumos, 1998. v. 1. p. 347-348.

  • VIJAYKUMAR, N. L. ; CARVALHO, S. V. ; ABDURAHIMAN, V. . On specifying Markov models using a high-level too Statecharts. In: XXX Simpósio Brasileiro de Pesquisa Operacional, 1998, Curitiba. Anais de Resumos, 1998. v. 1. p. 289-290.

  • CARVALHO, S. V. ; MORABITO, R. ; SALLES, M. C. B. . Análise de desempenho de uma linha de transferência com um número finito de estações de trabalho. In: XXX Simpósio Brasileiro de Pesquisa Operacional, 1998, Curitiba. Anais de Resumo, 1998. p. 285-286.

  • CARVALHO, S. V. ; CARVALHO, R. F. . Um algoritmo de iteração de valores modificado para processos semi-markovianos de decisão que dispensa o uso da uniformização. In: XXX Simpósio Brasileiro de Pesquisa Operacional, 1998, Curitiba. Anais de Resumos, 1998. p. 287-288.

  • MONTEIRO, M. A. ; CARVALHO, S. V. . Aplicação de supervisão descentralizada em um modelo markoviano de decisão num sistema de linha de produção com estoques intermediários. In: XXX Simpósio Brasileiro de Pesquisa Operacional, 1998, Curitiba. Anais de Resumos, 1998. p. 293-294.

  • CARVALHO, S. V. ; MIRANDA, M. N. . Aproximação de distribuições não exponenciais por distribuições do tipo fase: uma abordagem por mínimos quadrados. In: XXIX SBPO, 1997, Salvador. Anais dos Resumos, 1997. v. 1. p. 239-239.

  • ANDRADE, V. M. B. ; CARVALHO, S. V. ; VIJAYKUMAR, N. L. . Desenvolvimento de Um Software Para Análise de Desempenho de Sistemas Através de Modelos Markovianos. In: XXIX Simpósio Brasileiro de Pesquisa Operacional, 1997, Salvador. Anais dos Resumos. Rio de Janeiro: SOBRAPO, 1997. v. 1. p. 252-252.

  • CARVALHO, S. V. ; LIMA, L. G. F. ; NOYES, D. . Estimação de Parâmetros de Distribuições de Probabilidades do Tipo Fase Acíclicas Pelo Método do Máximo de Verossimilhança. In: XXIX SBPO, 1997, Salvador. Anais, 1997. v. 1. p. 240-240.

  • De Marchi, M. M. ; CARVALHO, S. V. . Um modelo markoviano para otimização da manutenção de um equipamento através da inspeção das peças produzidas. In: XXXIX Simpósio Brasileiro de Pesquisa Operacional, 1997, Salvador. Anais dos Resumos, 1997. p. 243-243.

  • ANDRADE, V. M. B. ; CARVALHO, S. V. ; VIJAYKUMAR, N. L. . Software development for analysis of performance systems of Markov models. In: 22nd International Conference on Computers and Industrial Engineering, 1997, Cairo. Conference Program, 1997. v. 1. p. 15-15.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. . Otimização de uma fila Ph/Ph/1/N com tempo de serviço controlável. In: XXIX Simpósio Brasileiro de Pesquisa Operacional, 1997, Salvador. Anais dos Resumos, 1997. v. 1. p. 241-241.

  • CARVALHO, S. V. ; SALLES, M. C. B. ; MORABITO, R. . Um modelo markoviano para análise de um sistema de banco de dados partilhado por processadores em paralelo. In: XXIX SBPO, 1997, Salvador. Anis dos Resumos, 1997. p. 242-242.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. ; VIJAYKUMAR, N. L. ; OLIVO, A. A. . Stochastic model for task sequencing of a robot in a flexible manufacturing system with two machines and in process inventory. In: 2nd International Congress of Industrial Engineering/16 ENEGEP, 1996, Piracicaba. Anais ENEGEP 96, 1996.

  • CARVALHO, S. V. ; MONTEIRO, M. A. ; MORAIS, P. R. . Um modelo markoviano de decisão para a otimização de um servidor de arquivos. In: 2nd International Congress of Industrial Engineering/ 16 Encontro Nacional de Engenharia de Produção (ENEGEP), 1996, Piracicaba. Anais ENEGEP 96, 1996.

  • CARVALHO, S. V. ; VIJAYKUMAR, N. L. ; OLIVO, A. A. . A study of in-process inventory of a flexible manufacturing system with two machines and a robot. In: INFORMS, 1995, Cingapura. Anais, 1995. p. 2-2.

  • CARVALHO, S. V. ; RODRIGUES, R. C. M. ; MORAIS, P. R. . Otimização de um sistema de manutenção de processadores diferentes sujeitos a fahas. In: XXVII Simpósio Brasileiro de Pesquisa Operacional, 1995, Vitória. Resumo dos Trabalhos. Rio de Janeiro: SOBRAPO, 1995. p. 89-89.

  • CARVALHO, S. V. ; VIJAYKUMAR, N. L. ; OLIVO, A. A. . Um modelo de desempenho para uma célula flexível de manufatura composta de duas máquinas e um robô. In: 14 ENEGEP, 1994, João Pessoa. Anais, 1994. p. 752-752.

  • RIOS NETO, A. ; CARVALHO, S. V. . An optimal estimation approach to solve linear programming problems. In: XXV Simpósio Brasileiro de Pesquisa Operacional, 1993, Campinas. Anais do Congresso, 1993. p. 132-135.

  • CARVALHO, S. V. ; NOYES, D. ; RODRIGUES, R. C. M. . Methods of stages with automatic configuration. In: XXX TIMS/XXIII SOBRAPO, 1991, Rio de Jnaeiro. Program, 1991. p. 81-82.

  • CARVALHO, S. V. ; MORAIS, P. R. . Um sistema de manutenção com duas taxas de reparo e um número finito de máquinas de reserva. In: III Congresso Latino-Iberoamericano de Investigación Operativa e Ingenieria de Sistemas (CLAIO), 1986, Santiago. Anais, 1986.

Seção coletada automaticamente pelo Escavador

Outras produções

ANDRADE, V. M. B. ; CARVALHO, S. V. . Protótipo de Software para Análise, Previsão e Otimização de Desempenho de Sistemas. 1999.

VIJAYKUMAR, N. L. ; CARVALHO, S. V. . Statecharts no uso em modelos de performance. 1999.

ANDRADE, V. M. B. ; CARVALHO, S. V. . Biblioteca de Classes para tratamento Analítico de Modelos Markovianos (MODESTO). 1997.

CARVALHO, S. V. . I Protótipo de Biblioteca de Classes para Tratamento Analítico de Modelos Markovianos (MODESTO I). 1992.

SAHRAOUI, A. E. K. ; CARVALHO, S. V. ; HABBADI, A. . Surveillance des Systèmes de Production Application à la Surveillance d'Usinage conventionnel. 1991.

CARVALHO, S. V. . Traitement de Données TURBOMECA - Mode de Défaillance/Réparation de machines de Production. 1989.

MORAIS, P. R. ; CARVALHO, S. V. . Optimal control of a maintenance system with variable number of servers. 1988.

MORAIS, P. R. ; CARVALHO, S. V. . Optimization of a controlled two-server maintenance system. 1987.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Instituto Nacional de Pesquisas Espaciais, Centro de Tecnologias Especiais, Laboratório Associado de Computação e Matemática Aplicada. , Av. dos Astronautas, 1758, Jardim da Granja, 12201-970 - Sao Jose dos Campos, SP - Brasil - Caixa-postal: 515, Telefone: (012) 3456536, Fax: (012) 3456375

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 1995 - Atual

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Pesquisador Titular, Regime: Dedicação exclusiva.

  • 1991 - 1994

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Pesquisador Adjunto, Regime: Dedicação exclusiva.

  • 1985 - 1987

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Pesquisador Auxiliar, Carga horária: 40

  • 1983 - 1985

    Instituto Nacional de Pesquisas Espaciais

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 40

    Atividades

    • 04/1996

      Direção e administração, Centro de Tecnologias Especiais, .,Cargo ou função, Membro de Conselho de Centro.

    • 01/1995

      Direção e administração, Centro de Tecnologias Especiais, Laboratório Associado de Computação e Matemática Aplicada.,Cargo ou função, Membro de Conselho de Unidade.

    • 03/1992

      Ensino, Computação Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Sistemas estocásticos, Processos Estocásticos

    • 06/1985

      Pesquisa e desenvolvimento , Centro de Tecnologias Especiais, Laboratório Associado de Computação e Matemática Aplicada.,Linhas de pesquisa

    • 04/1996 - 07/1998

      Direção e administração, Centro de Tecnologias Especiais, Laboratório Associado de Computação e Matemática Aplicada.,Cargo ou função, Chefe do grupo de Pesquisa Operacional.

    • 01/1993 - 05/1997

      Treinamentos ministrados , Centro de Tecnologias Especiais, Laboratório Associado de Computação e Matemática Aplicada.,Treinamentos ministrados, Programação em C++, Introdução à Programação Orientada para Objetos em C++, Introdução à Linguagem C++

    • 03/1992 - 05/1996

      Ensino, Computação Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Estudo orientado em Métodos Computacionais em Processos Estocásticos, Estruturas de dados e Algoritmo

    • 06/1992 - 09/1992

      Ensino, Computação Aplicada, Nível: Pós-Graduação,Disciplinas ministradas, Programação Matemática

    • 06/1985 - 09/1985

      Ensino, Analise de Sistemas Aplicacoes, Nível: Pós-Graduação,Disciplinas ministradas, Matemática para Análise de Sistemas

    • 09/1983 - 05/1985

      Direção e administração, Coordenadoria de Planejamento, Serviço de Planejamento Estratégico.,Cargo ou função, Assistente de Pesquisa.

  • 1983 - 1993

    Empresa Brasileira de Aeronáutica

    Vínculo: Funcionário, Enquadramento Funcional: Engenheiro I, Carga horária: 40

    Atividades

    • 01/1983 - 08/1983

      Serviços técnicos especializados , Divisão de Ensaios em Vôo, Centro de Cálculos.,Serviço realizado, Cálculos.