RESUMEN
É proposta e discutida neste trabalho a modelagem matemática do processo de geração de variantes do vírus da imunodeficiência humana do tipo 1 que apresentam o fenótipo indutor de sincício durante as fases assintomática e AIDS clínica. Tais variantes podem fazer uso de CXCR4 exclusivamente (variantes X4) ou não (variantes R5X4 ou dual-trópicas). A base experimental de Shankarappa et al. (J Virol 1999; 73(2): 10489-502) é empregada como referência para derivação e calibração paramétrica de modelos fenomenológicos. Neste artigo, diferentes modelos matemáticos de evolução fenotípica do HIV-1, em termos da habilidade retroviral de induzir a formação de sincício, são propostos, testados e discutidos. Melhor aderência a resultados experimentais é verificada quando é considerada a reversibilidade entre fenótipos SI e NSI. Em adição, maior alinhamento à dinâmica in-vivo é observada se funções dependentes do tempo são admitidas para modelar a taxa de mutação entre variantes R5, R5X4 e X4 do HIV-1.