Automacao Modelos Matematicos
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. DETERMINAÇÃO RÁPIDA E AUTOMÁTICA DE AÇÚCARES REDUTORES EM CALDO DE CANA-DE-AÇÚCAR / RAPID DETERMINATION OF REDUCING SUGARS IN, AUTOMATIC AND BROTH OF SUGAR CANE
Os monossacarídeos (glicose e frutose) presentes na cana-de-açúcar são açúcares redutores por possuírem grupo carbonílico livres, capazes de se oxidarem na presença de agentes oxidantes. Os métodos analíticos clássicos (Lane-Eynon, Benedict, complexométrica-EDTA, Luff-Schoorl, Musson-Walker, Somogyi-Nelson) baseiam-se na redução de íons cobre
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/05/2012
-
2. Carga eletrônica CA programável com regeneração de energia / Programmable AC electronic load with energy regeneration
Este estudo trata do projeto e implementação de uma carga eletrônica ca programável com regeneração de energia. Este equipamento pode ser empregado nos testes de Burn-in ou ensaios de desenvolvimento de fontes chaveadas. Dentre as principais vantagens na utilização do emulador, destacam-se: redução do consumo de energia elétrica, redução da áre
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
3. "Inversor multinível NPC monofásico com comutação suave e grampeamento ativo" / "Single phase ZVS NPC multilevel inverter with active clamping"
Este trabalho apresenta o estudo de um inversor NPC (Neutral Point Clamped) a três níveis com comutação suave ZVS (Zero Voltage Switching) e controle PWM (Pulse Width Modulation), fazendo o uso de uma lógica programável do tipo FPGA (Field Programmable Gate Array) para controle e acionamento das chaves. Inicialmente é feito um estudo qualitativo do in
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/12/2011
-
4. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
5. Unified power quality conditioner with digital control / Condicionador unificado de qualidade de energia com controle digital
Este trabalho apresenta um condicionador unificado de qualidade de energia (UPQC) controlado digitalmente. Tal condicionador é composto por um filtro ativo paralelo, para compensar a corrente na rede, e um filtro ativo série, para compensara tensão na carga. A proposta consiste em aplicar uma estratégia de controle simples baseada na comparação direta
Publicado em: 2009
-
6. Development of a fuzzy control system for chicken egg setter / Desenvolvimento de um sistema de controle Fuzzy para incubadora de ovos
Dentro do complexo econômico de produção de carnes, a avicultura se constitui na atividade mais dinâmica e o Brasil possui uma das mais desenvolvidas aviculturas comerciais do mundo. Diante das atuais exigências na qualidade e segurança do produto, a moderna indústria avícola brasileira tem progredido, essencialmente pela adoção crescente de novas
Publicado em: 2009
-
7. Automatic generation of test scenarios from the models of systems specification / Geração automatica de cenarios de teste a partir de modelos da especificação de sistemas
As crescentes exigências em relação à melhoria de qualidade e a redução de custos e prazos têm tornado comum à busca por soluções mais eficientes para desenvolvimento e testes de sistemas. Com relação aos testes, uma recomendação é a de começá-los mais cedo, e, de preferência, automatizar o que for possível para evitar enganos cometidos pe
Publicado em: 2008
-
8. Controle de motor de indução monofásico por modos deslizantes / dfdf
Este trabalho apresenta um estudo de aplicação do Controle por Modos Deslizantes Ao motor de indução monofásico, bem como a comparação dos resultados obtidos com uma á de controle já bem estabelecida que e o Controle Vetorial A base deste trabalho e agem dinâmica do motor de indução monofásico A partir da teoria dos circuitos são estabelecidas
Publicado em: 2008
-
9. Controle de motor de indução monofásico por modos deslizantes
Este trabalho apresenta um estudo de aplicação do Controle por Modos Deslizantes ao motor de indução monofásico, bem como a comparação dos resultados obtidos com uma estratégia de controle já bem estabelecida que é o Controle Vetorial. A base deste trabalho é a modelagem dinâmica do motor de indução monofásico. A partir da teoria dos circuitos
Publicado em: 2008
-
10. Elementos para a construção de uma cadeia de verificação para o projeto TopCased
Analisando a história dos sistemas embarcados, podemos dividi-la em dois momentos. Em um primeiro momento, a origem dos problemas destes sistemas provinha, na grande maioria dos casos, da parte física chamada hardware. A partir dos anos 60, graças à chegada dos circuitos integrados, desenvolvidos para o Programa Espacial Americano, a parte física dos si
Publicado em: 2008
-
11. Análise da distribuição de temperatura em ossos durante uma cirurgia ortopédica realizada com o auxílio de uma serra mecatrônica.
Este trabalho é uma continuidade das pesquisas na área de mecatrônica aplicada à medicina do ITA, e tem como objetivo modelar numericamente a distribuição de temperaturas em ossos, durante a cirurgia de osteotomia de tíbia, realizada com o auxílio de uma serra mecatrônica ortopédica. Durante o processo cirúrgico a temperatura do osso deve ser cont
Publicado em: 2007
-
12. Uma plataforma computacional de suporte ao ciclo de desenvolvimento de sistemas automatizados de manufatura
Consiste do desenvolvimento de uma ferrameta case denominada Code Generator, capaz de auxiliar ao projetista de sistemas industriais automatizados, no desenvolvimento, validação e implementação de Sistemas de Controle. A ferramenta está estruturada de acordo com a Teoria de Controle Supervisório e alguns aspecto encontrados dentro da manufatura virtual
Publicado em: 2006