Diretório de grupos de pesquisa

Nanci Naomi Arai

possui mestrado em Computação Aplicada pelo Instituto Nacional de Pesquisas Espaciais (2001) e graduação em Computação Científica pela Universidade de Taubaté (1999). Atualmente é assistente de pesquisa no Instituto de Aeronáutica e Espaço do Departamento de Ciência e Tecnologia Aeroespacial. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Tempo Real e Sistemas Embarcados
(Texto informado pelo autor)

Última atualização do currículo em 05/10/2010
Endereço para acessar este CV:
http://lattes.cnpq.br/6856262543421695
Dados pessoais
NomeNanci Naomi Arai
Nome em citações bibliográficasARAI, N. N.
SexoFeminino
Endereço profissionalDepartamento de Ciência e Tecnologia Aeroespacial, Instituto de Aeronáutica e Espaço.
Praça Marechal Eduardo Gomes, 50
Vila das Acácias
12228-904 - Sao Jose dos Campos, SP - Brasil
Telefone: (12) 39474968 Ramal: 4968 Fax: (12) 39475019
URL da Homepage: http://www.cta.br

Formação acadêmica/Titulação
1999 - 2001Mestrado em Computação Aplicada .
Instituto Nacional de Pesquisas Espaciais, INPE, Brasil.
Título: Simulação Numérica Bidimensional de Crescimento de Ligas Binárias Utilizando Processamento Paralelo, Ano de Obtenção: 2001.
Orientador: Maurício Fabbri, Stephan Stephany.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
Palavras-chave: solidificação; ligas binárias; processamento de alto desempenho.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática Aplicada / Especialidade: Simulação Numérica Computacional.
Setores de atividade: Educação; Aeronáutica e Espaço; Informática.
1994 - 1999Graduação em Computação Científica .
Universidade de Taubaté, UNITAU, Brasil.
Título: Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais.
Orientador: J. B. M. S. Orrios, Maurício Fabbri.

Atuação profissional
Departamento de Ciência e Tecnologia Aeroespacial, DCTA, Brasil.
Vínculo institucional
2004 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 40, Regime: Dedicação exclusiva.

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas de Tempo Real.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas Embarcados.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática Aplicada / Especialidade: Simulação Numérica Computacional.
5. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática Aplicada / Especialidade: Processamento de Alto Desempenho.

Idiomas
Inglês Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Japonês Compreende Pouco, Fala Pouco.


Produção em C,T & A
Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.   ALVES, M. C. B. ; DANTAS, C. C. ; ARAI, N. N. ; SILVA, R. A. B. . A Formal Approach for the Verification Process of Space Software. In: AIAA Space 2008, 2008, San Diego, CA. Proceedings of AIAA Space 2008, 2008.
2.   ALVES, M. C. B. ; DANTAS, C. C. ; ARAI, N. N. ; SILVA, R. A. B. . Topological Formal Treatment for Scenario-based Software Specification of Concurrent Real-time Systems. In: 20th International Conference on Software & Systems Engineering and their applications, 2007, Paris. Proceedings of 20th International Conference on Software & Systems Engineering and their applications, 2007.
3. PRETO, A. J. ; VELHO, H. F. C. ; BECCENERI, J. C. ; FABBRI, M. ; ARAI, N. N. ; Souto, R. P. ; STEPHANY, S. . A new regularization technique for an ant-colony based inverse solver applied to a crystal growth problem. In: 13th Inverse Problems in Engineering Seminar 2004, 2004, Cincinnat. Proceedings of the 13th Inverse Problems in Engineering Seminar 2004. Cincinnati : University of Cincinnati, 2004. v. 1. p. 147-153.
4. ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. . Nova Abordagem para a Análise da Morfologia da Interface Sólido-líquida na Solidificação de Ligas Binárias. In: III Workshop dos Cursos de Computação Aplicada do INPE (WORCAP), 2003, São José dos Campos. Anais do III Worcap. São José dos Campos : Instituto Nacional de Pesquisas Espaciais, 2003. v. 1. p. 163-168.
5. ARAI, N. N. ; Fonseca, L. M. G. ; FABBRI, M. ; STEPHANY, S. . Análise da Curvatura da Interface Sólido-Líquido na Solidificação de Ligas Binárias. In: II Workshop dos Cursos de Computação Aplicada do INPE (WORCAP), 2002, São José dos Campos. Anais do II WORCAP. São José dos Campos : Instituto Nacional de Pesquisas Espaciais, 2002. v. 1. p. 12-12.
Resumos publicados em anais de congressos
1. ARAI, N. N. ; Souto, R. P. ; PRETO, A. J. ; BECCENERI, J. C. ; FABBRI, M. ; STEPHANY, S. . An Inverse Formulation for Diffusive Bridgman Growth Using Ant Colony Optimization in a High Performance Enviroment. In: XXV Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo. Resumos do XXV Congresso Nacional de Matemática Aplicada e Computacional, 2002. v. 1. p. 23-23.
2. ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. . Estudo de Dinâmica e Morfologia de Interfaces em Solidificação Direcionada: Simulação Computacional de Alto Desempenho. In: IV Encontro Nacional da Sociedade Brasileira de Crescimento Cristais, 2000, Viçosa. Resumos do IV Encontro Nacional da Sociedade Brasileira de Crescimento Cristais. Viçosa : Universidade Federal de Viçosa, 2000. v. 1. p. O8-O8.
3. ARAI, N. N. ; STEPHANY, S. ; RAMOS, F. M. ; FABBRI, M. . Medidas Indiretas de Segregação Interfacial no Sistema Pb0.8Sn0.2Te. In: 51ª Reunião Anual da SBPC, 1999, Porto Alegre. Resumos da 51ª Reunião Anual da SBPC, 1999.
4. ARAI, N. N. ; FABBRI, M. . Solução Global para a Redistribuição de Soluto Durante a Solidificação de Ligas Binárias. In: 51ª Reunião Anual da SBPC, 1999, Porto Alegre. Resumos da 51ª Reunião Anual da SBPC, 1999.
5.   ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. . Simulação Numérica e Visualização Gráfica de Crescimentos de Macrocristais. In: V Seminário de Iniciação Científica do INPE, 1999, São José dos Campos. Resumos do V SICINPE. São José dos Campos : Instituto Nacional de Pesquisas Espaciais, 1999. v. 1. p. 27-28.
6. ARAI, N. N. ; FABBRI, M. . Uma Solução Global para a Redistribuição de Soluto durante o crescimento Difusivo em Cristais Binários. In: XXI Encontro Nacional de Física da Matéria Condensada, 1998, Caxambu. Resumos do XXI Encontro Nacional de Física da Matéria Condensada, 1998. v. 1. p. 297-297.
7. ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. . Formulação Inversa para a Recuperação das Constantes Físicas e da Taxa de Segregaçao em Crescimentos Bridgman Difusivos. In: XXI Encontro Nacional de Física da Matéria Condensada, 1998, Caxambu. Resumos do XXI Encontro Nacional de Física da Matéria Condensada, 1998. p. 310-311.
8. ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. . Uma Formulação Inversa para a Obtenção do Coeficiente Interfacial de Segregação na Solidificação Direcionada de uma Barra. In: 50ª Reunião Anual do SBPC, 1998, Natal. Resumos da 50ª Reunião Anual do SBPC, 1998. p. 175-175.
9. ARAI, N. N. ; FABBRI, M. . Simulação Numérica e Visualização Gráfica de Crescimentos de Macrocristais. In: 50ª Reunião Anual do SBPC, 1998, Natal. Resumos da 50ª Reunião Anual do SBPC, 1998.
10. ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. . An Inverse Problem on Crystal Growth. In: XXI CNMAC Congresso Nacional de Matemática Aplicada e Computacional, 1998, Caxambu. Resumo das Comunicações do XXI Congresso Nacional de Matemática Aplicada e Computacional. São José dos Campos : Instituto Nacional de Pesquisas Espaciais, 1998. v. 1. p. 107-107.
11. ARAI, N. N. ; ORRIOS, J. B. S. M. ; FABBRI, M. ; STEPHANY, S. . Perfis de Composição de Cristais Binários. In: III Encontro de Iniciação Científica da Universidade de Taubaté, 1998, Taubaté. Programa e Resumos do III Encontro de Iniciação Científica da Universidade de Taubaté. Taubaté : Universidade de Taubaté, 1998. v. 1. p. 185-185.
12. FABBRI, M. ; ARAI, N. N. ; MORAES, A. C. ; LADEIRA, G.G. ; STEPHANY, S. ; FAZENDA, Á. L. . WINCRIS - Uma Plataforma de Simulação para a Solidificação Direcionada. In: I Congresso de Pesquisa e Extensão - IV Encontro de Iniciação Científica, 1998, Bragança Paulista. Anais do I Congresso de Pesquisa e Extensão - IV Encontro de Iniciação Científica. Bragança Paulista : Universidade de São Francisco, 1998. v. 1. p. 63-63.
13. ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. ; RAMOS, F. M. . Reconstruction of the diffusion coefficient in a crystal growth problem. In: Workshop on Novel Approaches for Inverse Problems, 1998, São José dos Campos. Workshop on Novel Approaches for Inverse Problems, 1998.
14. ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. . Simulação Numérica e Visualização Gráfica de Crescimentos de Macrocristais. In: IV Seminário de Iniciação Científica do INPE, 1998, São José dos Campos. Resumos do IV SICINPE. São José dos Campos : Instituto Nacional de Pesquisas Espaciais, 1998. v. 1. p. 11-12.
15. ARAI, N. N. ; FABBRI, M. . Perfis de Segregação em Crescimento Bridgman com Difusão na Fase Sólida. In: XX Encontro Nacional de Física da Matéria Condensada, 1997, Caxambu. Resumos do XX Encontro Nacional de Física da Matéria Condensada, 1997. v. 1. p. 256-256.
16. ARAI, N. N. ; FABBRI, M. . Simulação Numérica e Visualização Gráfica de Crescimentos de Macrocristais. In: III Seminário de Iniciação Científica do INPE, 1997, São José dos Campos. Resumos do III SICINPE. São José dos Campos : Instituto Nacional de Pesquisas Espaciais, 1997. v. 1. p. 23-24.
17. ARAI, N. N. ; FABBRI, M. . Técnicas Numéricas e Computacionais Para a Análise de Dados de Crescimento de Cristais Binários. In: II Seminário de Iniciação Científica do INPE, 1996, São José dos Campos. Resumos do II SICINPE. São José dos Campos : Instituto Nacional de Pesquisas Espaciais, 1996. v. 1. p. 93-93.
Apresentações de Trabalho
1.   ALVES, M. C. B. ; DANTAS, C. C. ; ARAI, N. N. ; SILVA, R. A. B. . A Formal Approach for the Verification Process of Space Software. 2008. (Apresentação de Trabalho/Conferência ou palestra).
Demais tipos de produção bibliográfica
1.   ARAI, N. N. ; FABBRI, M. ; STEPHANY, S. . Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais. São José dos Campos: Instituto Nacional de Pesquisas Espaciais, 1999 (Iniciação Científica).
2. ARAI, N. N. ; ORRIOS, J. B. S. M. ; FABBRI, M. . Simulação Numérica e Visualização Gráfica de Crescimento de Macrocristais. Taubaté: Universidade de Taubaté, 1998 (Trabalho de Graduação Interdisciplinar).
Página gerada pelo Sistema Currículo Lattes em 23/02/2012 às 6:20:31