Nesta dissertação realiza-se um estudo dos procedimentos destinados a eliminação de estados redundantes em máquinas de estados finitos incompletamente especificadas. Um algoritmo para realizar a codificação de estados nestas máquinas é proposto. Situações de ocorrências de perigos estático são identificadas. Um sistema destinado ao projeto automático de circuitos sequenciais síncronos é proposto e implementado com uma interface confortável ao usuário onde são integrados os algoritmos para minimização e codificação de estados, geração de equações de excitação dos registradores e minimização lógica.

No presente trabalho, implementamos a metodologia de programação ótima no ante-projeto de painel multicamada reforçado para aplicação em estruturas aeronáuticas através da criação do sistema PNOPT - "Otimização de Painéis". O painel reforçado poderá estar submetido a carregamentos de compressão e cisalhamento no plano, alem de carregamento uniforme distribuído sobre a superfície do revestimento. O sistema é capaz de manipular um grande numero de variáveis, sendo ao mesmo tempo portátil (compatível com microcomputadores), modular e de simples manutenção. O procedimento de projeto ótimo de painel é baseado em técnicas de programação matemática não-linear nas quais requisitos de flambagem, resistência, flexão e características geometrias são levados em consideração através de restrições de desigualdade. As variáveis de projeto são a largura e a espessura das camadas do laminado de cada membro da seção transversal do painel. O objetivo é obter projetos de peso mínimo para um dado conjunto de carregamentos, dimensões em planta do painel de deflexão máxima fora do plano do painel. Como otimizador, utilizamos o "ADS" - "Automated Design Synthesis" [15] - com a opção de Aproximação Convexa Seqüencial.