RCAAP Repository

não disponível

Os grandes avanços tecnológicos ocorridos nos últimos anos propiciaram a criação de um novo modelo de comunicação chamado computação móvel. Com esse novo modelo, novos fatores devem ser considerados na criação de aplicações em sistemas distribuídos. Diantedisso, torna-se necessário adaptar os algoritmos existentes ou até mesmo criar novos. A necessidade de se considerar a mobibidade na construção de protocolos distribuídos aumenta a complexidade de validação dos algoritmos distribuídos. Uma técnica que auxilia a avaliação de protocolos de rede são os simuladores. Diversos mecanismos de recuperação de informação são oferecidos a clientes móveis. Serviços esses que se utilizam de uma classe específica de protocolos distribuídos. São os chamados protocolos de ntrega de mensagens. Esta dissertação analisa a classe de protocolos de entrega de mensagens através da coleta, especificação e análise dos principais protocolos existentes. O estudo desses protocolos permitiu-nos abstrair as funcionalidades comuns culminando na implementação de uma biblioteca, associada a um simulador chamado MobiCS, composta por todas as partes fatoradas.

O objetivo deste trabalho é criar uma camada de indexação de dados para consultas por conteúdo em banco de dados heterogêneos. Em sistemas de banco de dados complexos é comum a separação física e lógica dos módulos de dados. Tal separação gera formas heterogêneas de armazenamento de dados nas várias opções de gerenciadores de dados relacionais disponíveis. A criação da camada de indexação foi feita através da implementação de uma linguagem de consulta por conteúdo. Esta linguagem cria um índice de busca para cada significado semântico identificado na consulta em questão.

Neste trabalho é apresentada uma aplicação de um método formal desenvolvido pela área de Engenharia de software para produzir um modelo formal para uma teoria discursiva. A teoria estudada neste trabalho é denominada de 'A Quinta Disciplina', de Peter Senge. Esta teoria se insere no contexto de um paradigma de teorias administrativas denominado de Aprendizagem Organizacional, e provocou grande interesse tanto da área acadêmica quanto de empresas em geral. Como base para a construção desse modelo foi usado o arcabouço formal para Sistemas Multiagentes (SMA) denominado de SMART. Desta forma, o modelo formal para a teoria de Senge é construído num contexto de SMA, ou seja, definindo-se formalmente uma organização composta por agentes e que obedece aos requisitos apresentados pela teoria da Quinta Disciplina. Análise baseadas nesse modelo evidenciam a importância que algumas características individuais dos agentes apresentam na teoria de Senge, tais como:honestidade e tenacidade. Adicionalmente, é apresentado um estudo de caso baseado nesse modelo formal envolvendo operações simplificadas de uma lanchonete fictícia, mostrando que diferentes tipos de agentes, tanto humanos quanto artificiais, podem ser modelados.Este uso de métodos formais para a modelagem de sistemas em geral apresenta novas perspectivas e revela novas potencialidades, ainda não exploradas, em relação ao uso destes métodos.

Dos temas atuais de pesquisa em Computação Gráfica, dois chamam bastante atenção pelo número de aplicações que requerem as soluções: a renderização e animação de cenas complexas em tempo real e a simulação realista de fenômenos naturais. Neste trabalho, são apresentadoas algumas técnicas relacionadas a estes problemas e propomos uma solução que visa satisfazer ambos da melhor forma possível. Este trabalho tem como principal objetivo a criação de um arcabouço capaz de gerar cenas que simulem, de forma realista, mini-ecossistemas vegetais em tempo real. Para isto, foi necessário o estudo e desenvolvimento de diversas técnicas de modelagem, animação e interação que produzem resultados eficientes e realistas. Tais técnicas podem ser utilizadas, inclusive, por outras aplicações com o mesmo objetivo.

Neste trabalho, foram estudadas técnicas modernas de Inteligência Artificial para jogos de tabuleiro de 2 jogadores, não triviais, de soma-zero, populares e que possuam requisitos de habilidade, bem como o histórico da área e como os algarismos utilizados são aplicados à área de jogos e que problemas eles resolvem. Para tanto, o trabalho é dividido em uma abordagem orientada ao problema solucionado: Aberturas, onde são descritas técnicas que se fazem presentes nos primeiros momentos de um jogo, Meio de jogo, onde são mostradas técnicas que realmente simulam a inteligência do jogo, onde é discutido o paralelo da busca e do conhecimento, e são mostrados algoritmos de busca seqënciais e paralelos, Fim de jogo, onde são descritas técnicas utilizadas para vencer na etapa final de um jogo de tabuleiro convergente, e Aprendizado, onde são discutidas questões relativas ao aprendizado do controle de busca, das funções de avaliação (supervisionado, comparativo e por reforço), de padrões, de planejamento e de modelagem de oponente.

O estudo das propriedades de aproximação de problemas de otimização NP-difíceis é um tópico de interesse tanto da área de otimização quanto da teoria de comploexidade computacional. O tema desta tese insere-se neste contexdto, dando ênfase ao estudo de problemas de partição de grafos em subgrafos conexos satisfazendo certas especificações. Concentramo-nos no desenvolvimento e análise de algoritmos de aproximação, e questões relativas ao grau de (in)aproximabilidade desses problemas. Um dos problemas investigados, chamado Max 2-Partição Conexa Balanceada ('PCB IND. 2'), é o seguinte: dado um grafo conexo G=(V, E) com uma função peso w : V -> 'Z IND. +' definida sobre seus vértices, encontrar uma 2-partição ('V IND. 1', 'V IND. 2') de V tal que G['V IND. 1'] e G['V IND. 2'] sejam conexos e o peso do mais `leve¦ deles seja o maior possível. Mais formalmente, queremos encontrar uma tal partição que maximiza a função min {w('V IND. 1'), w('V IND. 2')}, onde w(S) denota o peso de um conjunto S. Exibimos resultados sobre complexidade computacional e inaproximabilidade. Também apresentamos uma releitura de um algoritmo (4/3)-aproximado desenvolvido por Chlebíková [Ch196]. A análise parametrizada que fizemos permite descrever classes de grafos para as quais as soluções devolvidas se aproximam assintoticamente do ótimo. Mostramos que a razão de aproximação desse algoritmo é justa mesmo para grafos 3-conexos. Além disto, elaboramos um algoritmo para grafos 3-conexos usando contrações de arestas, que pode produzir soluções de qualidade melhor do que o algoritmo (4/3)-aproximado. Também apresentamos um esquema de aproximação polinomial para uma classe especial de grafos. Provamos ainda que as versões com e sem pesos do Max 2-Partição Conexa Balanceada possuem o mesmo limiar de aproximação. Estudamos também uma generalização natural do problema 'PCB IND 2', denominado Max q-Partição Conexa Balanceada Continua. Continuação: ('PCB IND. q'), para q > 2. Para o problema 'PCB IND. 3' restrito a grafos 3-conexos exibimos dois algoritmos, sendo um deles uma 2-aproximação. Para 'PCB IND. 4' restrito a grafos 4-conexos exibimos também uma 2-aproximação, porém apenas sob certas hipóteses sobre os pesos dos vértices. Investigamos um outro problema, chamado Max Árvore Balanceada, que mostramos ser AP-redutível ao 'PCB IND. 2'. Também apresentamos algoritmos de aproximação para um outro problema correlato, denominado Max (p/k)-Bipartição Fracionária Conexa. Exibimos um algoritmo para 1/2 menor ou igual a p/k < 1 cuja razão de aproximação é 3p/(3p-k). Discutimos brevemente outros problemas correlatos, mencionando alguns resultados encontrados na literatura.

A quarta edição sobre a recomendação X.509 da ITU-T definiu a base sobre a qual pode-se construir uma infra-estrutura de gerenciamento de privilégios, com a utilização de certificados de atributos. Certificados de atributos podem ser utilizados em uma ampla variedade de cenários e ambientes, com grande interoperabilidade, fornecendo serviços de autorização por meio da atribuição de privilégios. Para tal, faz-se necessária a construção de uma infra-estrutura capaz de criar, gerenciar e distribuir os certificados de atributos. Nesse contexto, aparece a infra-estrutura de gerenciamento de privilégios (PMI - Privilege Management Infrastructure), uma estrutura similar à infra-estrutura de chaves públicas (PKI - Public-Key Infrastructure), porém voltada a prestar serviços de autorização.Este trabalho apresenta a infra-estrutura de gerenciamento de privilégios padronizada pela RFC 3281, mostrando suas características principais, servindo como referência em língua portuguesa sobre o assunto. Além disso, apresentamos também uma proposta de implementação dessa infra-estrutura que torna o certificado de atributos dinâmico, otimizando o processo de revogação ou alteração de privilégios. Finalmente, foi construído um protótipo do modelo proposto, concretizando sua viabilidade.

Neste trabalho estudamos aspectos teóricos e algoritmicos de algumas classes de relações racionais: as relações racionais finitamente valoradas, as relações racionais k-valoradas, para todo inteiro positivo k, as funções racionais, as funções seqüenciais, e as funções subseqüenciais. Inicialmente, apresentamos alguns resultados clássicos para as relaçoes racionais, a representação de relações racionais por transdutores e por matrizes e algumas propriedades de fechamento. Weber provou que toda relação racional k-valorada pode ser decomposta numa união de k funções racionais. Apresentamos uma prova para esse resultado, que utiliza k aplicações do Teorema Cross-section de Eilenberg e parece ser mais simples que a de Weber. Utilizando essa decomposição, escrevemos uma outra prova para mostrar que o problema da equivalência de relações racionais k-valoradas é decidível. Incluímos também uma prova de Griffiths da indecidibilidade da equivalência de relações racionais finitamente valoradas. Generalizamos para as relações racionais k-valoradas, para todo inteiro positivo k, uma propriedade de Schützenberger para as funções racionais. Como conseqüência dessa generalização, temos um algoritmo (não polinomial) para decidir se um transdutor realiza uma relação racional k-valorada, para um dado inteiro positivo k. Descrevemos um algoritmo eficiente de Béal, Carton, Prieur e Sakarovitch para decidir se uma relação racional é uma função e um algoritmo eficiente dos mesmos autores para decidir se uma função racional é subseqüencial. A nossa descrição utiliza uma propriedade simples de simetria, que permitiu uma economia nos consumos de tempo e espaço desses dois algoritmos (na constante multiplicativa). Apresentamos uma caracterização de Choffrut das funções subseqüenciais palavra-palavra e um algoritmo para a detrminação de um transdutor, que utiliza explicitamente essa caracterização. Estudamos a minimização de <continuação> transdutores subseqënciais, utilizando uma família de monóides que chamamos de monóides com mdc. Provamos a existência de um transdutor minimal para funções subseqüenciais 'SIGMA IND. *' -> M, onde M é um monóide cancelativo com mdc único. Esse resultado inclui diversos monóides de interesse, como os monóides livres, e o monóide aditivo dos números reais não-negativos. Também apresentamos uma caracterização das funções subseqënciais 'SIGMA IND. *' -> M, onde M é um monóide cancelativo mdc, utilizando a congruência à direita de uma função. Finalmente, descrevemos um algoritmo eficiente para a minimização de um transdutor subseqüencial. Esse algoritmo tem duas etapas, sendo que a primeira é o algoritmo de Béal e Carton para a construção do prefixo de um transdutor, e a segunda é a minimização de um transdutor visto como um autômato finito determinístico, utilizando o algoritmo de Hopcroft, versão de Gries.

Ontologias artificiais são ferramentas conceituais para facilitar o compartilhamento e a reutilização de informação. No presente trabalo, a eficiência dessas ferramentas é analisada com base em um exemplo concreto. O exemplo concreto é uma ontologia artificial para o controle cambial brasileiro. Através desse exemplo é discutida a dificuldade para construir uma ontologia artificial, bem como sua efetiva aplicabilidade posterior. A principal dificuldade enfrentada foi a existência de poucas metodologias para desenvolver e usar ontologias artificiais. Neste trabalho são descritas as principais metodologias disponíveis para a construção de ontologias artificiais e apresentadas algumas críticas e sugestões sobre a utilização das mesmas. A construção de uma ontologia artificial para o controle cambial brasileiro foi dividida em quatro etapas distintas. Cada uma destas etapas foi analisada, identificando as principais decisões e o perfil profissional desejado para o responsável pela etapa

Nos últimos anos, milhares de seqüências de DNA e proteínas vêm sendo depositadas em bancos de dados públicos de todo o mundo. Atualmente, o principal desafio da Biologia Molecular Computacional é analisar e extrair informações úteis dessa grande quantidade de dados disponível. Este trabalho tem por objetivo estudar diversos métodos computacionais para a realização de busca de homologia e clustering (reconhecimento de padrões supervisionado e não supervisionado, respectivamente) em seqüências de nucleotídeos e aminoácidos. Foi realizada uma vasta revisão bibliográfica dos principais métodos utilizados na área de reconhecimento de padrões, principalmente em Biologia Computacional. É apresentado um resumo dos principais modelos empregados na área e também resultados de experimentos realizados com genes humanos por meio de uma nova forma de extração de características em seqÜência de DNA. Tais características são baseadas em técnicas de representação Chaos Game e de análise fractal multi-escala. Ao longo desta dissertação são apresentados os elementos necessários para a compreensão das diversas técnicas e características analisadas e um resumo dos principais resultados obtidos com a utilização de tais características para a busca de genes que raramente se expressam

Muitas indústrias têm como desafio encontrar soluções mais econômicas possíveis para o problema de cortar objetos grandes visando a produção de objetos menores de dimensões especificadas, ou o problema de empacotar uma coleção de objetos pequenos dentro de objetos grandes. Tais problemas são chamados de problemas de corte de empacotamento e são, em geral, NP-difíceis. Em muitas aplicações, os objetos grandes (placas) e os objetos pequenos (itens) têm apenas duas dimensões relevantes e possuem a forma retangular. Além disso, é comum a restrição de que os cortes em cada objeto sejam de guilhotina, isto é, estes devem ser paralelos a um de seus lados e se estender desde um lado do objeto até o lado oposto, problemas desse tipo são chamados de problemas de corte de guilhotina bidimensional. Algoritmos para tais tipos de problemas constituem o tema central desta tese. Investigamos o problema de corte de estoque bidimensional com demandas (PCED IND. 2) (um caso mais geral em que os cortes não precisam ser de guilhotina) e introduzimos o conceito de padrões semi-homogêneos. Fazendo uso de tais padrões, desenvolvemos um algoritmo polinomial cuja razão de aproximação absoluta é 4, e mostramos que esta razão é justa. Ainda utilizando padrões semi-homogêneos, desenvolvemos um algoritmo que resolve uma variante do 'PCED IND. 2' na qual as placas e os itens são quadrados. Provamos que este algoritmo tem razão de aproximação assintótica entre 2,4166 e 2,6875. Até onde sabemos, estes são os primeiros algoritmos de aproximaçãopropostos para tais problemas. Desenvolvemos ainda um algoritmo para o problema de corte de estoque bidimensional binário com rotações e provamos que esse algoritmo possui razão de aproximação assintótica não maior que 4. Utilizando a fórmula de recorrência proposta por Beasley e os pontos de discretização definidos por Herz, desenvolvemos um algoritmo pseudo-polinomial para o problema de corte de ) de guilhotina bidimensional com valor (PCGV IND. 2) baseado em programação dinâmica. Chamamos tal algoritmo de 'PCGV IND. 2 PD'. Este algoritmo também resolve uma variante do 'PCGV IND. 2' na qual os itens podem sofrer rotações ortogonais. Apresentamos também um algoritmo baseado em enumeração explicíta e em programação dinâmica para calcular os pontos de discretização. Mostramos que, se os itens não são muito pequenos em relação ao tamanho das placas, então o algoritmo 'PCGV IND. 2 P-D' requer tempo polinomial. Implementamos o 'PCGV IND. 2 PD' e resolvemos todas as instâncias do 'PCGV IND. 2' encontradas na OR-LIBRARY. Destacamos que para uma destas instâncias (mencionada há duas décadas) não se conhecia uma solução ótima

No problema de Steiner em grafos é dado um grafo completo com custos nas arestas e um subconjunto de vértices chamados terminais e queremos encontrar uma árvore de menor custo que conecte todos os terminais. Este trabalho aborda restrições desse problema. Os problemas abordados têm aplicações em construção de árvores filogenéticas em biologia, roteamento local ou global no projeto de placas VLSI, transporte e telecomunicações, bem como são úteis para se estabelecer a complexidade computacional para os problemas sem restrições. O primeiro problema abordado é o da árvore de Steiner de terminais folhas, onde exigimos que os terminais sejam folhas na árvore resultante. O segundo problema é o da árvore de Steiner de terminais folhas com custos 1 ou 2 nas arestas. Apresentamos algoritmos de aproximação que melhoram as razões de aproximação previamente conhecidas para esses problemas. Propomos também uma nova variante do problema, na qual uma permutação dos vértices terminais também é dada como entrada. Queremos encontrar agora uma árvore de Steiner de menor custo que respeite a permutação dada. Dizemos que a árvore respeita a permutação se sempre que terminais 'r IND.1', 'r IND. 2', 'r IND. 3'e 'r IND. 4' aparecem nesta ordem na permutação, os caminhos na árvore entre 'r IND. 1' a 'r IND. 3' e entre 'r IND. 2'a 'r IND. 4' têm pelo menos um vértice em comum. Mostramos que árvores k-restritas são aproximações para esse problema na mesma razão que o são em geral para o problema de Steiner em grafos. E mostramos um algoritmo que encontra em tempo polinomial uma árvore k-restrita ótima para esta versão do problema.

O comportamento estrutural do concreto armado depende da união entre o concreto e a armadura. Esta união se estabelece por meio da aderência, que funciona como um mecanismo de transferência de tensões e garante a compatibilidade de deformações entre a armadura e o concreto. Este trabalho tem como objetivo investigar os efeitos da adição de fibras de aço e armadura transversal no comportamento da ancoragem. A investigação experimental foi feita por meio de dois tipos de ensaio de arrancamento de barras, sendo eles o modelo-padrão do RILEM-CEB-FIP e modelo proposto pelo autor, este considerando barras de pontas retas e com ganchos de 90º. Todos os modelos utilizaram comprimento aderente igual a cinco vezes o diâmetro da barra. As armaduras longitudinais eram compostas por barras de 10 mm e 16 mm e a resistência à compressão média do concreto era igual a 50 MPa no dia do ensaio. Foram utilizadas fibras de aço com ganchos nas extremidades, com relação de aspecto igual a 65, comprimento igual a 35 mm e fração volumétrica de 2% (157 Kg/m³). Também foram realizadas comparações com modelos teóricos, analisados através do estudo de bibliografias existentes e das normas NBR 6118:2003 e ACI-318-08. Os resultados experimentais mostraram que os estribos e as fibras exercem influência significativa na resistência ao fendilhamento do concreto. Observou-se ainda que, para os corpos de prova com barras de aço de 10 mm e 16 mm com pontas retas, as fibras estudadas exerceram pequena influência na resistência ao arrancamento.

Este trabalho analisou o comportamento teórico e experimental de pilares de concreto armado submetidos à força de compressão centrada e executados com concreto de resistência à compressão em torno de 25 MPa. Durante a fase experimental, foram ensaiados 16 modelos com dimensões das seções transversais de 200 mm x 200 mm e 150 mm x 300 mm, sendo as alturas iguais a seis vezes a menor dimensão da seção, ou seja, 1200 mm e 900 mm, respectivamente. Além das dimensões dos pilares, outros parâmetros foram considerados, tais como a taxa de armadura longitudinal e o espaçamento e a configuração da armadura transversal. Os ensaios foram realizados em uma máquina hidráulica servo-controlada que permitiu aplicar a força de compressão com controle de deslocamento. Assim, foi possível obter o trecho pós-pico da curva força-deformação dos pilares. Os resultados experimentais mostraram que não há formação de núcleo resistente. Foi notado que as fissuras surgiram em etapa de carga muito próxima do colapso dos modelos. Para as taxas de armadura transversal adotadas, foi verificado um ligeiro cintamento e um expressivo aumento na ductilidade dos pilares. Por fim, verificou-se que o estribo suplementar, em forma de barra reta com ganchos nas extremidades contribuiu para cintar e ductilizar os modelos de pilares.

As patologias apresentadas por algumas estruturas e a necessidade de aumento da capacidade de carga de outras fizeram com que diversas técnicas fossem desenvolvidas para o reforço de vigas de concreto armado. Uma delas é a incorporação e protensão de cabos externos. O grande diferencial desta técnica quando comparada às demais é o seu caráter ativo. Ou seja, por meio da protensão é possível aplicar forças de forma a diminuir o nível de tensões atuantes sobre a estrutura. Neste trabalho, é apresentado um amplo estado-da-arte sobre este tipo de reforço. São descritas algumas obras realizadas com esta técnica e relatados e analisados alguns ensaios em vigas protendidas com cabos externos. Diversos métodos de cálculo de vigas protendidas com cabos não aderentes são apresentados. É mostrado, também, um procedimento para previsão da forma de ruína de vigas protendidas com cabos externos. Foi feito um estudo experimental, ensaiando-se 3 vigas de concreto armado reforçadas por meio da protensão de cordoalhas engraxadas. Os resultados dos ensaios são analisados e comparados com previsões teóricas feitas a partir dos métodos de cálculo estudados e com resultados de ensaios em vigas reforçadas com outras técnicas. Do estudo realizado, foi possível comprovar os benefícios da protensão não só no que se refere à resistência ao momento fletor, mas também ao esforço cortante.

Neste trabalho, são estudas as verificações da punção global segundo a revisão da NBR 6118. A partir da análise dos fenômenos físicos e com base nos estudos teóricos realizados, são feitas sugestões para serem contornadas algumas omissões da Norma. Também são propostas complementação que facilitem o entendimento das novas recomendações e, ainda, modificações que melhorem seus resultados. Sugerem-se métodos simplificados relacionados à punção excêntrica, e propõem-se algumas alterações quanto ao uso do &#947z como coeficiente majorador na avaliação da estabilidade global. Observa-se que as verificações, apesar de mais trabalhosas, apresentam melhorias significativas em relação à NBR 6118 (1978), mostrando-se mais detalhadas e eficientes. Ainda assim, considera-se importante a introdução de algumas complementações, como aquelas sugeridas neste trabalho.

Novas formulações, técnicas e procedimentos são propostos para o tratamento de problemas inelásticos considerando-se acoplamento progressivo. O procedimento apresenta-se bastante adequado para a consideração de problemas de interação bi e tridimensionais que envolvam modificações na geometria e variações das condições de contorno ao longo do tempo. Este permite a inclusão e retirada de sub-regiões e a consideração de hipóteses especiais para o reforço, de maneira que o mesmo contribua adequadamente para o enrijecimento da estrutura. As formulações viscoelásticas e viscoplásticas são baseadas em uma nova metodologia e proporcionam com simplicidade e elegância resultados estáveis e bastante precisos. As representações viscosas para elementos de contorno são obtidas de duas formas, com o termo viscoso obtido através de integrais de domínio e de contorno. Esta última permite a análise viscoelástica de sólidos discretizando-se apenas o contorno do corpo, apresentando-se mais adequada para o tratamento de meios infinitos ou semi-infinitos. O comportamento plástico é levado em consideração através de algoritmos implícitos associativos e não-associativos, cujas expressões são obtidas de forma fechada, resultando em uma considerável economia computacional e uma melhor precisão na resposta não-linear.

O crescimento da população urbana, bem como as diferenças sociais brasileiras, têm causado significativa degradação nas condições de vida e de moradia em nosso país. Tal fato vem referenciar a necessidade de se intensificar as pesquisas que tenham como objetivos a produção de alternativas tecnológicas para solucionar-se tais problemas. Não é ainda comum no Brasil o uso de chapas com dentes estampados para se fazer a conexão de peças estruturais de madeira, apesar dessas se apresentarem como uma ótima alternativa estrutural e econômica para tal. A norma brasileira, NBR 7190/97 - Projeto de Estruturas de Madeira, não apresenta um método com os critérios de dimensionamento para tais tipos de ligação. Baseado em estudos teóricos e experimentais desenvolvidos no Laboratório de Madeira e Estruturas de Madeira (LaMEM), do Departamento de Engenharia de Estruturas da Escola de Engenharia de São Carlos, Universidade de São Paulo, são apresentados neste trabalho contribuições para o desenvolvimento de tais critérios para o dimensionamento destas ligações. O presente estudo foi desenvolvido para atender as especificações de espécies tropicais nativas e de reflorestamento encontradas em território nacional.

É cada vez mais curto o tempo que um engenheiro tem para desenvolver adequadamente os projetos. Com prazos cada vez menores para a concepção, o pré-dimensionamento das estruturas é, geralmente, definido com base em projetos desenvolvidos anteriormente e, essa estrutura assim concebida, é processada de modo a verificar o atendimento aos requisitos de segurança. Dessa forma, uma vez atendidos esses requisitos, dificilmente o grau de economia encontrado é verificado, uma vez que o projeto precisa ser entregue no prazo acordado. Os procedimentos automatizados de otimização de estruturas se inserem neste contexto para possibilitar uma agilidade no processo de se encontrar, entre as soluções possíveis, aquela que vai levar a uma estrutura mais econômica. Além de auxiliar na definição das dimensões dos elementos estruturais, o processo de otimização pode indicar ao projetista partes da estrutura que necessitam de uma maior atenção, de forma a se obter a economia desejada. Neste trabalho é apresentado um procedimento para otimizar o pré-dimensionamento de edifícios em concreto armado, tratados simplificadamente como pórticos planos. A partir do posicionamento dos elementos e dos valores limites para as variáveis envolvidas, utilizando um método de aproximações combinadas, é aplicada uma função de mínimo custo para a seção transversal das vigas e dos pilares, obtendo-se uma solução de mínimo custo para a estrutura estudada.