Derivas da masculinidade : representação, identidade e diferença no âmbito da masculinidade bissexual

O objetivo desta pesquisa é tratar das identidades vinculadas às representações da masculinidade bissexual, a partir de material coletado num período de tempo bem marcado – 1995 a 2000 –, num espaço delimitado – Brasil – e através de uma forma específica – uma rede postal integrada por homens informantes espalhados em numerosas cidades do país. A análise do material é feita dentro do paradigma do construcionismo social, e tomando como referência as construções culturais de gênero, sexo, sexualidade, identidade, representação e masculinidade, que auxiliam a entender a situação não apenas dos indivíduos que vivem esta particular forma de masculinidade, mas a sexualidade de forma ampla. A ancoragem teórica desta investigação situa-se nos campos dos estudos culturais, dos estudos de gênero e do pósestruturalismo, que justamente propiciam a construção de explicações sobre a sexualidade não restritas ao referencial biológico e psicológico, e radicam suas análises no campo cultural, entendendo a cultura como um horizonte de luta por representações e significações. Todo esse esforço de compreensão é trazido ao campo da educação, uma vez que nesta área as reflexões sobre identidade e representação são estratégicas, pois que a construção da identidade é sempre fruto de pedagogias postas em ação, no caso aqui, as chamadas pedagogias da sexualidade.

Concepção de small clauses nominais amalgamadas nas estruturas predicativas complexas do português brasileiro

Esta dissertação faz uma análise prévia da predicação complexa no modelo da Gramática Tradicional; aponta, em seguida, o enfoque das estruturas predicativas complexas à luz da Gramática Gerativa modelo de Princípios & Parâmetros (Chomsky, 1981, 1986). Ressalta que as estruturas sintáticas são projetadas a partir do léxico e correspondem a várias construções de predicação complexa. Mostra que os predicados complexos formados por APs e DPs predicativos apresentam características sintáticas e semânticas diferentes. Focaliza que essas construções superficialmente semelhantes são, em essência, diferentes, porque cada uma delas possui um processo próprio de estruturação interna, do qual decorre um sentido específico. Aponta, essencialmente, dois tipos de estruturas complexas: predicados secundários e miniorações complementos. Os predicados secundários se dividem, ainda, em predicados secundários orientados para o sujeito de [DP IP], predicados secundários orientados para o objeto de [DP VP] e predicados resultativos de [DP VP]. Os predicados secundários de [DP IP] e de [DP VP] e os predicados resultativos de [DP VP] constituem as Small Clauses adjuntas de predicados secundários. Apresenta que é possível encontrar evidências que as estruturas predicativas complexas do PB estão amalgamadas na concepção de Small Clauses nominais. Postula que as estruturas predicativas complexas do PB e as estruturas de Small Clauses nominais são em essência semelhantes. Tais estruturas possuem um mesmo processo de estruturação interna, que são analisadas conforme as configurações das representações sintáticas de cada sentença.

Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Indicadores de desempenho e configuração espacial urbana : um estudo de equipamentos escolares

O trabalho contempla a interpretação e quantificação das relações entre a alocação da demanda e da oferta de equipamentos de ensino em um sistema local, instrumentado a partir de modelo de oportunidade espacial. Avalia o desempenho de equipamentos escolares baseado na descrição detalhada da configuração espacial e abordagem probabilística para a escolha do usuário em potencial. Constitui objetivo principal medir o desempenho de equipamentos escolares, considerando a configuração espacial urbana, a demanda qualificada representada pelos diversos usuários em potencial e a distribuição dos equipamentos na cidade, verificando a possibilidade teórica de avaliar a qualidade do serviço em função de sua localização, utilizando como variáveis a acessibilidade, a eficiência e equidade espacial. Neste sentido, o método adotado compreende a introdução de variáveis físicas, sociais e econômicas associadas a modelos configuracionais para análise entre as diferentes medidas, adaptado a partir do conceito de oportunidade espacial. Utiliza a medida de Convergência Espacial, definida como uma particularidade do conceito de Centralidade Espacial Os resultados esperados, tendo em vista os propósitos da pesquisa, deverão conduzir a verificação das seguintes hipóteses: a) Do ponto de vista do sistema educacional e habitacional existente, a avaliação do desempenho do sistema escolar pode ser obtida considerando uma combinação de variáveis locais (tipo de demanda e tipo/tamanho de oferta de escolas) e variáveis globais (posição relativa no espaço); b) Do ponto de vista das políticas públicas, a avaliação de impactos de novos equipamentos/serviços de educação pode ser simulada através da medida de Convergência Urbana, desta vez considerando localizações prováveis; A utilização dos modelos propostos neste estudo resultaria da manipulação de variáveis de oferta de serviços de ensino através da computação e associação de dados para cada caso em particular obter-se-ia atributo ao qual estariam relacionadas a eficiência do equipamento, além dos fatores de tamanho, tipo e localização e de variáveis de demanda. Apresentado como instrumento de suporte à decisão a convergência espacial dá avaliação sistemática de situações urbanas, bem como uma performance esperada de situações virtuais do ponto de vista da distribuição de facilidades urbanas em relação a áreas residenciais.

Estrutura de capital em empresas com controle definido : um estudo no ambiente brasileiro

Este estudo considera, de forma conjunta, duas das principais vertentes teóricas sobre a estrutura de capital das empresas: a assimetria informacional, através do modelo do pecking order, de Myers e Majluf (1984), e a teoria dos conflitos de agência, tratada por Jensen e Meckling (1976). Mais especificamente, são enfocados os conflitos existentes em empresas onde existe definição de controle acionário e, sua possível influência na hierarquia das fontes de financiamento presente no pecking order. Ressalta-se, além das construções teóricas envolvendo as teorias mencionadas, a consideração explícita de características notoriamente presentes no mercado brasileiro, de forma a contribuir para um maior entendimento sobre a estrutura de capital no Brasil. O trabalho empírico considerou uma amostra composta de 322 empresas com ações negociadas na Bovespa no período compreendido entre 1996 e 2002. Foram utilizados dois tipos de testes nas proposições teóricas efetuadas: testes não paramétricos, devido à baixa exigência quanto aos parâmetros amostrais e, regressões em painel, onde foram consideradas as interações de diversas variáveis na determinação da estrutura de capital das empresas. Os principais resultados apontam uma forte confirmação para três, dentre as seis proposições efetuadas. Para uma, os testes apontaram resultados ambíguos, e ,para as duas remanescentes, as evidências foram contrárias às predições.

Contribuição à implementação da coordenação modular da construção no Brasil

A Coordenação Modular pode ser entendida como a ordenação dos espaços na construção civil. Surgiu entre a Primeira (1914-1918) e a Segunda (1939-1945) Guerras Mundiais e contribuiu de forma fundamental na reconstrução de edificações residenciais nos países destruídos pela guerra, principalmente na Alemanha, em função da rapidez e da redução de custos proporcionadas pela sua utilização. A partir de então, muitos estudos surgiram, aprofundando o assunto e mostrando os imensos benefícios que a Coordenação Modular trouxe para a racionalização e a industrialização na construção civil em um grande número de países, sendo amplamente difundida e, hoje se sabe, utilizada. O Brasil foi um dos pioneiros, em nível mundial, a aprovar uma norma de Coordenação Modular, a NB-25R, em 1950, tendo os anos 70 e início dos 80 tomados por seus conceitos e estudos a respeito. Apesar disso, poucos objetivos foram alcançados mesmo com toda a promoção para a racionalização da construção. As atuais preocupações com as questões ambientais, de produtividade e de redução de custos no setor são aliados para uma retomada dos estudos de Coordenação Modular, que se mostra como um fator fundamental para que se traga à construção civil os benefícios que a industrialização trouxe a outros setores industriais. Foi realizado um levantamento histórico, em que são abordadas as questões relativas ao uso do módulo na arquitetura e sua evolução até a Coordenação Modular, os princípios e conceitos mais importantes de sua teoria e as ações realizadas em favor de sua implantação no Brasil As últimas ações identificadas foram as normas publicadas em 1982, pouco antes do fechamento do Banco Nacional da Habitação, até então o principal incentivador da Coordenação Modular. Em seguida a esse hiato de duas décadas em que ficou praticamente esquecida, estudou-se a situação atual da indústria da construção civil sob alguns aspectos e partiu-se em busca do que pode ser feito para a implementação da Coordenação Modular no país. Chegou-se à conclusão de que, apesar dos entraves existentes, o Programa Brasileiro de Produtividade e Qualidade no Habitat (PBQP-H) mostra-se como um instrumento propício para essa implementação, pois, além de contar com o suporte estatal, tem influência sobre todos os intervenientes da cadeia produtiva.

O processo de composição narrativa no encontro terapêutico : (des)construindo autorias

Essa pesquisa procurou investigar o processo de composição narrativa pela dupla estagiário-terapeuta/paciente, em uma situação de psicoterapia psicanalítica, a partir do contexto de uma prática supervisionada de estágio em Psicologia Clínica. Participaram da pesquisa duas acadêmicas de Psicologia que realizaram o estágio em um abrigo municipal. O trabalho clínico desenvolvido pelas estagiárias foi acompanhado pela supervisão acadêmica, cuja responsável na época era a pesquisadora. Também participaram dessa pesquisa três meninas de seis, nove e dez anos de idade, acolhidas temporariamente na instituição e em acompanhamento psicoterapêutico pelas estagiárias. Os atendimentos foram realizados uma vez por semana, individualmente, na própria instituição. As estagiárias relataram cada entrevista preliminar realizada com as crianças sob a forma escrita de entrevista dialogada, cujo objetivo é a memorização do desenvolvimento da entrevista. Essa memorização associada às reflexões acerca do estágio produzidas no espaço de supervisão acadêmica formaram as fontes dos dados. Para atingir o objetivo dessa pesquisa, três estudos foram realizados e, em cada um deles, três casos, constituídos por diferentes duplas terapêuticas, foram analisados. Os resultados dos três estudos demonstram, inicialmente, que o discurso elaborado pelas duplas terapêuticas, em cada entrevista preliminar isoladamente, estrutura-se narrativamente porque esse discurso apresenta os dois princípios da narrativa, que são a sucessão e a transformação, como propõe Tzvetan Todorov. A análise conjunta dessas entrevistas denota, entretanto, que as narrativas constituídas nesse processo não podem ser reduzidas a uma lógica de sucessão linear como formula esse autor. A seqüência narrativa é regida pela lógica de causalidade semântica, que é de natureza polifônica, como propõe Paul Ricoeur. As intervenções das estagiárias sob a forma de construções, conforme conceito estabelecido por Freud, mesmo que guiadas pelo princípio da associação livre, são demarcadas, em sua maioria, pela repetição de uma versão já conhecida da história da vida de seu paciente, geralmente àquela que versa sobre o motivo do abrigamento. Assim, essas intervenções, cujo efeito possível seria que o paciente pudesse desconstruir os sentidos dados a priori, reconstruindo novas versões para os acontecimentos de sua vida e, com isso, ocupasse o lugar de autor de sua história, acabam insistindo no trauma. Dessa forma, fica explicitado um dos paradoxos do processo de formação da escuta clínica: o estagiário, ao procurar abrir os sentidos para o seu paciente, construindo junto com ele uma versão possível para a sua história, acaba, muitas vezes, fechando o sentido, construindo uma única versão para os eventos narrados pelo paciente.

Programa computacional para dimensionamento e simulação de sistemas fotovoltaicos autônomos

Nas últimas décadas, sistemas de suprimento de energia que utilizam recursos renováveis têm sido estudados e empregados como opção para o fornecimento de energia elétrica em comunidades isoladas em áreas remotas. Devido aos avanços da tecnologia fotovoltaica associada à diminuição de custos e maior conhecimento de seu desempenho, os sistemas fotovoltaicos apresentam-se como uma opção promissora. Neste trabalho apresenta-se o desenvolvimento de um programa computacional de dimensionamento e simulação de sistemas fotovoltaicos autônomos na linguagem de programação Visual Basic 5.0, chamado PVSize, capaz de propor, para uma certa configuração de sistema, o número de baterias e módulos com seu risco de déficit de energia. Este programa tem como finalidade facilitar a interação com o usuário, e poderá ser utilizado como uma ferramenta auxiliar no processo de escolha dos elementos do sistema e estabelecer a melhor configuração através de um acompanhamento anual com base horária dos parâmetros envolvidos. Estes elementos são caracterizados através da implementação de modelos matemáticos propostos por diferentes autores que descrevem o seu desempenho individual. A integração destes modelos através de uma metodologia apropriada levou ao desenvolvimento de um programa completo de dimensionamento e simulação de sistemas fotovoltaicos autônomos. O potencial energético solar é obtido a partir de informações das características climatológicas locais, utilizadas para gerar séries de dados de radiação a partir de modelos estatísticos O programa permite projetar sistemas de suprimento de energia elétrica que atenderão cargas comunitárias (iluminação pública e de escolas, bombeamento de água, refrigeração em centros de saúde, irrigação, telecomunicações, e mais) e cargas residenciais (iluminação, refrigeração, lazer, etc.) tornando-se uma ferramenta importante para o projeto de sistemas fotovoltaicos autônomos. A comparação dos valores obtidos através de PVSize e outros programas computacionais desenvolvidos por estabelecimentos conceituados na área apresentou uma ótima concordância. Desta forma fica demonstrada a adequação do PVSize para o dimensionamento e simulação de sistemas fotovoltaicos autônomos.

Sistema modular de gestão de águas residuárias domiciliares : uma opção mais sustentável para a gestão de resíduos líquidos

Sistemas convencionais de coleta e tratamento de esgotos domiciliares apresentam níveis de eficiência técnica e econômica nem sempre compatíveis com a realidade de alguns assentamentos humanos. A observação da história e da atualidade dos sistemas de tratamento e disposição dos esgotos, mostra uma permanente deficiência do tratamento dos resíduos líquidos. O estudo do uso da água e do ciclo hidrológico, ressalta a importância de que a intervenção humana neste ciclo se dê de forma sustentável. Um sistema que trate as águas servidas no local, e permita o aproveitamento dos poluentes destas águas na forma de insumos para a produção vegetal, devolvendo-as, purificadas para o ciclo hidrológico, pela evapotranspiração e infiltração no solo, certamente é mais sustentável que a maioria das soluções hoje adotadas. Neste trabalho, a partir de uma revisão bibliográfica sobre alternativas tecnológicas, é apresentado um estudo comparativo de diferentes sistemas de coleta e tratamento de esgotos tendo como variáveis de análise os custos de construção, operação e manutenção, a área necessária para a implantação do sistema, os volumes dos lodos e dos gases produzidos, e a qualidade do efluente do tratamento. O tratamento, em separado, das águas residuárias residenciais, apoia-se em vários estudos realizados nos últimos anos, em especial da microbiologia dos esgotos. Destacam-se os que apontam a eficiência do tratamento diretamente relacionada à concentração dos esgotos e justificam a separação das águas negras (descargas hídricas dos vasos sanitários), das cinzas (demais águas servidas) Os estudos para o tratamento das águas cinzas, especificamente, onde se demonstra que estas últimas não têm os elevados índices de poluição das águas negras, permitem tratamentos mais simplificados e econômicos. Estes fundamentos estão aplicados em um sistema modular com separação das águas (SMSA), proposto neste trabalho, um sistema de construção simples, que utiliza materiais comuns, que requer pouca manutenção e não necessita de energia externa para o seu funcionamento. Este sistema proporciona um tratamento final seguro, pela disposição dos efluentes previamente tratados, no leito de evapotranspiração e infiltração que, bem operado, pode oferecer um tratamento a nível terciário. Palavras-chave: saneamento; tratamentos

Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.

Jubilamento : o interdito de uma vida de trabalho e suas repercussões na velhice

Este estudo buscou entender os significados atribuídos à aposentadoria obrigatória e às vivências a partir de sua determinação. Refletir sobre a passagem de uma vida de trabalho a sua ausência implica em delinear os possíveis significados do trabalho, pensar a preparação para esse momento como facilitadora do replanejamento da vida, configurar os conceitos da velhice na contemporaneidade articulados às concepções do que é ser velho em contraposição ao seu dever ser e problematizar a aposentadoria como marca social da inserção na velhice, que nela reverbera como selo de inutilidade social. Tais proposições são percebidas e delimitadas de acordo com construções sociais em momentos históricos a elas correspondentes. Os sujeitos da pesquisa foram professores, da Universidade de Passo Fundo, jubilados aos setenta anos. Os objetivos específicos da dissertação são: compreender os significados do trabalho atribuídos pelos sujeitos; identificar os conceitos referentes à velhice nas narrativas dos sujeitos; verificar se houve preparação para a aposentadoria compulsória e avaliar sua relevância para o redimensionamento da vida diante da nova perspectiva; investigar quais são os territórios ocupados por estes sujeitos após o jubilamento. O instrumento utilizado para a coleta de dados foi a entrevista semi-dirigida e, para analisar as informações obtidas optou-se pela técnica de análise de conteúdo, conforme Bardin (1979) e Berelson (1952). Evidenciou-se que o trabalho ao representar uma forma preponderante de desenvolver as capacidades humanas, de integração e utilidade social e de promover satisfação, o jubilamento significa uma injustiça. Os entrevistados consideram-se em pleno vigor de suas capacidades intelectuais, outro fator que corrobora com esse desígnio. Em decorrência da aposentadoria compulsória, as relações sociais diminuíram com a perda dos vínculos com colegas de trabalho e com seus alunos. No entanto, a preparação para o jubilamento oportuniza o redimensionamento da vida para novas perspectivas; mas quando não realizada, as atividades exercidas carecem de sentido, pois não há ressignificação e reorganização de prioridades. Todavia, pode não ser preciso que ela seja efetivada quando o trabalho é desprovido de satisfação e a remuneração financeira é o seu maior valor. O significado do trabalho assim atribuído e a velhice concebida como período de declínio, torna o jubilamento uma regra necessária e justa. Contudo, esse não deixa de ser o interdito de uma vida de trabalho e de repercutir na velhice desses professores jubilados.

Utilizando o processo de descoberta de conhecimento em banco de dados para identificar candidatos a padrão de análise para bancos de dados geográficos

Sistemas de informações geográficas (SIG) permitem a manipulação de dados espaço-temporais, sendo bastante utilizados como ferramentas de apoio à tomada de decisão. Um SIG é formado por vários módulos, dentre os quais o banco de dados geográficos (BDG), o qual é responsável pelo armazenamento dos dados. Apesar de representar, comprovadamente, uma fase importante no projeto do SIG, a modelagem conceitual do BDG não tem recebido a devida atenção. Esse cenário deve-se principalmente ao fato de que os profissionais responsáveis pelo projeto e implementação do SIG, em geral, não possuem experiência no uso de metodologias de desenvolvimento de sistemas de informação. O alto custo de aquisição dos dados geográficos também contribui para que menor atenção seja dispensada à etapa de modelagem conceitual do BDG. A utilização de padrões de análise tem sido proposta tanto para auxiliar no projeto conceitual de BDG quanto para permitir que profissionais com pouca experiência nessa atividade construam seus próprios esquemas. Padrões de análise são utilizados para documentar as fases de análise de requisitos e modelagem conceitual do banco de dados, representando qualquer parte de uma especificação de requisitos que tem sua origem em um projeto e pode ser reutilizada em outro(s). Todavia, a popularização e o uso de padrões de análise para BDG têm sido prejudicados principalmente devido à dificuldade de disponibilizar tais construções aos projetistas em geral. O processo de identificação de padrões (mineração de padrões) não é uma tarefa simples e tem sido realizada exclusivamente com base na experiência de especialistas humanos, tornando o processo lento e subjetivo. A subjetividade prejudica a popularização e a aplicação de padrões, pois possibilita que tais construções sejam questionadas por especialistas com diferentes experiências de projeto. Dessa forma, a identificação ou o desenvolvimento de técnicas capazes de capturar a experiência de especialistas de forma menos subjetiva é um passo importante para o uso de padrões. Com esse objetivo, este trabalho propõe a aplicação do processo de descoberta de conhecimento em banco de dados (DCBD) para inferir candidatos a padrão de análise para o projeto de BDG. Para tanto, esquemas conceituais de BDG são usados como base de conhecimento. DCBD é o processo não trivial de descoberta de conhecimento útil a partir de uma grande quantidade de dados. Durante o desenvolvimento da pesquisa ficou claro que a aplicação do processo de DCBD pode melhorar o processo de mineração de padrões, pois possibilita a análise de um maior número de esquemas em relação ao que é realizado atualmente. Essa característica viabiliza que sejam considerados esquemas construídos por diferentes especialistas, diminuindo a subjetividade dos padrões identificados. O processo de DCBD é composto de várias fases. Tais fases, assim como atividades específicas do problema de identificar padrões de análise, são discutidas neste trabalho.

Habitação e meio-ambiente : uma abordagem crítica para o projeto sustentável

Este trabalho trata das questões ambientais vinculadas ao projeto de empreendimentos habitacionais. Inicialmente, apresentam-se as bases conceituais, discutindo, especialmente, o significado de termos como : ecologia,meio ambiente e desenvolvimento sustentável, aplicados à arquitetura. Como forma de ilustração destes conceitos, analisa-se obras relevantes. Segue-se a caracterização das várias fases de um projeto desta natureza, destacando o planejamento, a construção, a ocupação e a desativação. Por fim, aplica-se estes conceitos através da análise de um conjunto habitacional, monstrando se o mesmo é sustentável ou não. Dessa forma, colabora--se na compreensão das interdependências ecológicas e verifica-se o desempenho desse conjunto habitacional referente à sustentabilidade.

Semântica formal para TVQL

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.

Análise de estruturas compostas por aduelas pré-moldadas de concreto com protenção externa, sob estado plano de tensão, através do método dos elementos finitos

Aduelas protendidas externamente utilizadas em pontes contrastam com as clássicas construções monolíticas, consistindo de “pequenos” segmentos pré-moldados protendidos por cordoalhas externas. Há muitas vantagens na utilização deste tipo de composição, como rapidez e versatilidade na construção, alto controle de qualidade e economia. No presente trabalho, discute-se uma formulação, baseada no método dos elementos finitos, para simular o comportamento de estruturas compostas por aduelas externamente protendidas. Esta formulação permite tanto a análise de situações de serviço, onde as seções permanecem completamente comprimidas, como também de situações últimas, onde se considera a abertura das juntas e a transferência de esforços através das mesmas. O modelo computacional utiliza dois procedimentos distintos, baseados em um modelo elasto-viscoplástico. No primeiro, determina-se a resposta da estrutura ao longo do tempo, considerando-se, nesta etapa, que o material possui comportamento viscoelástico. No segundo, busca-se a resposta da estrutura para um carregamento instantâneo, considerando-se o material com um comportamento elastoplástico. As juntas entre as aduelas são representadas através de elementos de contato unidimensionais. Os nós de cada elemento de contato coincidem com os nós do elemento de concreto que a ele foi associado.Um modelo de camadas superpostas é utilizado para representar o comportamento viscoelástico do concreto e da armadura protendida Para representar o concreto fissurado, utiliza-se um modelo de fissuras distribuídas, que leva em conta a contribuição do concreto entre fissuras. A armadura passiva é introduzida na análise através de um modelo incorporado e a armadura de protensão não aderente é disposta em elementos fictícios, paralelos aos elementos reais da estrutura. Para verificar a adequação do modelo computacional, compararam-se resultados numéricos com valores experimentais disponíveis na literatura.