Identificação de sistemas para o estudo de controle motor.

Qualquer tarefa motora ativa se dá pela ativação de uma população de unidades motoras. Porém, devido a diversas dificuldades, tanto técnicas quanto éticas, não é possível medir a entrada sináptica dos motoneurônios em humanos. Por essas razões, o uso de modelos computacionais realistas de um núcleo de motoneurônios e as suas respectivas fibras musculares tem um importante papel no estudo do controle humano dos músculos. Entretanto, tais modelos são complexos e uma análise matemática é difícil. Neste texto é apresentada uma abordagem baseada em identificação de sistemas de um modelo realista de um núcleo de unidades motoras, com o objetivo de obter um modelo mais simples capaz de representar a transdução das entradas do núcleo de unidades motoras na força do músculo associado ao núcleo. A identificação de sistemas foi baseada em um algoritmo de mínimos quadrados ortogonal para achar um modelo NARMAX, sendo que a entrada considerada foi a condutância sináptica excitatória dendrítica total dos motoneurônios e a saída foi a força dos músculos produzida pelo núcleo de unidades motoras. O modelo identificado reproduziu o comportamento médio da saída do modelo computacional realista, mesmo para pares de sinal de entrada-saída não usados durante o processo de identificação do modelo, como sinais de força muscular modulados senoidalmente. Funções de resposta em frequência generalizada do núcleo de motoneurônios foram obtidas do modelo NARMAX, e levaram a que se inferisse que oscilações corticais na banda-beta (20 Hz) podem influenciar no controle da geração de força pela medula espinhal, comportamento do núcleo de motoneurônios até então desconhecido.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Avaliação de incertezas na calibração automática do modelo SWMM

Este trabalho é referente ao desenvolvimento de um calibrador multiobjetivo automático do modelo SWMM (Storm Water Management Model), e avaliação de algumas fontes de incertezas presentes no processo de calibração, visando à representação satisfatória da transformação chuva-vazão. O código foi escrito em linguagem C, e aplica os conceitos do método de otimização multiobjetivo NSGAII (Non Dominated Sorting Genetic Algorithm) com elitismo controlado, além de utilizar o código fonte do modelo SWMM para a determinação das vazões simuladas. Paralelamente, também foi criada uma interface visual, para melhorar a facilidade de utilização do calibrador. Os testes do calibrador foram aplicados a três sistemas diferentes: um sistema hipotético disponibilizado no pacote de instalação do SWMM; um sistema real de pequenas dimensões, denominado La Terraza, localizado no município de Sierra Vista, Arizona (EUA); e um sistema de maiores dimensões, a bacia hidrográfica do Córrego do Gregório, localizada no município de São Carlos (SP). Os resultados indicam que o calibrador construído apresenta, em geral, eficiência satisfatória, porém é bastante dependente da qualidade dos dados observados em campo e dos parâmetros de entrada escolhidos pelo usuário. Foi demonstrada a importância da escolha dos eventos utilizados na calibração, do estabelecimento de limites adequados nos valores das variáveis de decisão, da escolha das funções objetivo e, principalmente, da qualidade e representatividade dos dados de monitoramento pluvio e fluviométrico. Conclui-se que estes testes desenvolvidos contribuem para o entendimento mais aprofundado dos processos envolvidos na modelagem e calibração, possibilitando avanços na confiabilidade dos resultados da modelagem.

Climatic evolution of eastern South America during the last deglaciation: a paleoceanographic approach

Para dar suporte ao atual debate sobre as consequências climáticas da liberação antropogênica de CO2 na atmosfera, o refinamento do conhecimento sobre mudanças climáticas e oceanográficas no passado é necessário. A Circulação de Revolvimento Meridional do Atlântico (CRMA) tem papel fundamental na oceanografia e clima das áreas sob influência do Oceano Atlântico, controlando diretamente a estratificação e distribuição de massas d\'água, a quantidade de calor transportada pelo oceano e os ciclo e armazenamento de compostos químicos, como o CO2 em mar profundo. A formação e circulação da Água Intermediária Antártica (AIA), envolvida no transporte de calor e sal para o giro subtropical do Hemisfério Sul e nas teleconexões climáticas entre altas e baixas latitudes, é componente importante do ramo superior da CRMA. A reconstrução de propriedades de massas de água intermediárias é, portanto, importante para a compreensão dos sistemas de retroalimentação entre oceano-clima. No entanto, informações quanto a evolução da AIA continuam limitadas. Oscilações da CRMA e consequentes mudanças na distribuição de calor tem implicações importantes para o clima Sul Americano, influenciando a disponibilidade de umidade para o Sistema de Monções Sul Americano (SMSA), via temperatura da superfície marinha e posicionamento da Zona de Convergência Intertropical. Neste trabalho nós reconstruímos a assinatura isotópica da AIA durante os estágios isotópicos marinhos 2 e 3 (41-12 cal ka AP) usando isótopos de carbono e oxigênio de foraminíferos bentônicos (gêneros Cibicidoides e Uvigerina) de um testemunho de sedimentos marinhos datados por radiocarbono (1100 m de profundidade e a 20°S na costa do Brasil). Concluímos que propriedades físicas e químicas da AIA mudaram durante os estadiais Heinrich 3 e 4, provavelmente como consequência de enfraquecimento da CRMA durante estes períodos. Também reconstruímos as condições continentais do leste brasileiro entre o último máximo glacial e a deglaciação (23-12 cal ka AP) baseadas em razões Ti/Ca de nosso testemunho de sedimentos marinhos como indicadoras de aporte terrígeno do Rio Doce. A maior parte da chuva que cai na Bacia do Rio Doce está relacionada a atividade do SMAS. Nosso registro de Ti/Ca em conjunto com \'\'delta\' POT.18\'O de espeleotemas da Caverna Lapa Sem Fim, também no leste do Brasil, sugere diminuição marcante da chuva durante o interestadial Bølling-Allerød, provavelmente relacionada a enfraquecimento do SMAS. Ademais comparamos as razões de Ti/Ca com dados de saída da rodada SYNTRACE do modelo climático CCSM3 com forçantes transientes para a última deglaciação. Os registros geoquímicos e a saída do modelo mostram resultados consistentes entre si e sugerem que o leste da América do Sul passou pelo seu período mais seco de toda a última deglaciação durante o interestadial Bølling-Allerød, provavelmente relacionado ao enfraquecimento do SMAS.

Formas de mensuração X stewardship: implicações nos ativos biológicos

A aprovação da norma contábil IAS 41- Agriculture em 2001 trouxe uma série de desafios nas práticas contábeis das empresas, sendo a principal delas o reconhecimento de ganhos/perdas durante o crescimento biológico de um ativo e a mensuração destes ganhos/perdas pelo valor justo. Toda forma de reconhecimento e mensuração apresenta relação com o modelo de negócios da empresa e irá afetar o relacionamento entre os envolvidos neste contexto e a forma como os usuários da informação contábil avaliam a gestão dos recursos investidos na entidade, que é o stewardship. Desta forma o objetivo deste trabalho foi discutir quais e como os fatores internos e externos presentes no contexto social das organizações, contribuíram para que a informação contábil a valor justo atingisse o objetivo de stewardship. Para isto foi realizado um estudo etnográfico por meio de entrevistas direcionadas aos responsáveis pela informação contábil em onze empresas de diferentes segmentos do agronegócio. O modelo de analise primeiramente se ateve ao entendimento do Modelo de Mensuração dos ativos biológicos dentro destas empresas, e como esta informação é utilizada para fins de stewardship. Em três empresas, a informação contábil referente ao ativo biológico é utilizada para fins de avaliação de performance global e do gestor e para o relacionamento com o credor, que constituem elementos para a proxy do stewardship. O processo de mudança nestas empresas, analisado conforme modelo desenvolvido por Miller (1991) se deu primeiramente pela Problematização ocorrida no contexto social destas empresas, em que seu modelo de negócios tem a madeira como produto final, bem como no modelo de gestão que visa em primeiro lugar o retorno do capital investido, mensurado pela valorização da floresta ao longo dos anos. Os atores que agem para que isto se torne numa mudança efetiva, denominados de Comunidades Epistêmicas, são os acionistas e os credores destas empresas. Os acionistas que são fundos de investimentos têm que apresentar aos seus cotistas a valorização destes investimentos, e o credor (em uma das empresas) vincula a garantia dos empréstimos ao valor da floresta. Também atua neste processo de uma forma mais distante (Ação à Distância) a cultura dos fundos de investimentos, em que a gestora florestal é responsável pela formação e venda de novas áreas florestais, bem como a legislação específica da constituição destes fundos. Nas outras empresas, além de o ativo biológico ser um insumo de produção no modelo de negócios na maioria dos casos analisados, o modelo de gestão é baseado na eficiência operacional. Desta forma, a mensuração a ser utilizada deve ser relacionada tanto ao modelo de negócios como ao modelo de gestão da empresa, que são fatores que revelam como os ativos estão sendo geridos, e isto influencia na perspectiva de geração de caixa do negócio. Apesar da obrigatoriedade que uma norma contábil impõe, a prática contábil segue suas próprias leis no âmbito social que operam as empresas, e qualquer alteração imposta passa por um extenso processo de problematização antes de esta norma ser socialmente aceita.

Estudo e implementação de sinais de excitação aplicados em identificação de sistemas multivariáveis.

Devido à crescente implementação do Controle Preditivo baseado em Modelo (MPC) em outros processos além de refino e plantas petroquímicas, que geralmente possuem múltiplas entradas e saídas, tem-se um aumento na demanda de modelos gerados por identificação de sistemas. Identificar modelos que representem fielmente a dinâmica do processo depende em grande medida das características dos sinais de excitação dos processos. Assim, o foco deste trabalho é realizar um estudo dos sinais típicos usados em identificação de sistemas, PRBS e GBN, em uma abordagem multivariável. O estudo feito neste trabalho parte das características da geração dos sinais individualmente, depois é feita uma análise de correlação cruzada dos sinais de entrada, observando a influência desta sobre os resultados de identificação. Evitar uma alta correlação entre os sinais de entrada permite determinar o efeito de cada entrada sobre a saída no processo de identificação. Um ponto importante no projeto de sinais de identificação de sistemas multivariáveis é a frequência dos mesmos para conseguir excitar os processos nas regiões de frequência de operação normal e assim extrair a maior informação dinâmica possível do processo. As características estudadas são avaliadas por meio de testes em três plantas simuladas diferentes, categorizadas como mal, medianamente e bem condicionadas. Estas implementações foram feitas usando sinais GBN e PRBS de diferentes frequências. Expressões para a caracterização dos sinais de excitação foram avaliadas identificando os processos em malha aberta e malha fechada. Para as plantas mal condicionadas foram implementados sinais compostos por uma parte completamente correlacionada e uma parte não-correlacionada, conhecido como método de dois passos. Finalmente são realizados experimentos de identificação em uma aplicação em tempo real de uma planta piloto de neutralização de pH. Os testes realizados na planta foram feitos visando avaliar os estudos de frequência e correlação em uma aplicaficção real. Os resultados mostram que a condição de sinais completamente descorrelacionados n~ao deve ser cumprida para ter bons resultados nos modelos identificados. Isto permite ter mais exibilidade na geração do conjunto de sinais de excitação.