Geração de código no projeto de sistemas reativos a partir da linguagem RS

A linguagem síncrona RS é destinada ao desenvolvimento de sistemas reativos. O presente trabalho tem como objetivo criar meios que facilitem o uso da linguagem RS no projeto e implementação desses sistemas, permitindo que, à partir da especificação de um sistema reativo, seja realizada a sua implementação de forma automática. Deste modo, a linguagem RS é utilizada para a descrição do comportamento de um sistema em um alto nível de abstração, antes de serfeitas a decomposição do sistema em componentes de software ou hardware. A implmentação do protótipo do sistema computacional dedicado é obtida através de uma síntese automática desse modelo de alto nível. Foram implementados geradores de código que utilizam o código objeto fornecido pelo compilador da linguagem RS. Os geradores fazem a tradução para a linguagem C, para a linguagem JAVA, ou para a linguagem de descrição de hardware VHDL. A partir da síntese desses códigos poderá ser obtida a implementação do sistema em um micrcoomputador comercial, em um microcomputador Java de dedicado (ASIP Java), ou em um hardware de aplicação específica (ASIC). Foram realizados estudos de caso representativos dos sistemas reativos embaraçados e de tempo rel. Estes estudos de caso serviram para validar os geradores de código bem como para analisar o uso da linguagem RS no projeto e implementação desses sistemas.

Avaliação da utilização de escória granulada de fundição (EGF) como substituição de parte do cimento em concreto : propriedades mecânicas

A reciclagem de resíduos sólidos industriais tem-se tornado uma prática indispensável na preservação de recursos naturais, minimização de custos e redução de impacto ambiental. Dentro deste contexto destaca-se a indústria da construção civil, com enorme potencial de reciclagem, tendo em vista o grande volume de materiais consumidos. A utilização de materiais alternativos neste setor é uma prática economicamente atraente e ambientalmente correta. Sendo assim, o emprego de escórias como matéria-prima em estradas, aterro, concreto e cimento já é uma prática corrente, onde o destino mais nobre destes materiais recicláveis depende da existência de características adequadas ao uso proposto. A escória granulada de fundição (EGF) é um resíduo gerado no processo de fusão de sucatas de ferro fundido via forno cubilô. Ensaios realizados mostram que esta escória, quando finamente moída, apresenta propriedades pozolânicas. Além disso, sua estrutura amorfa, resultante do processo de geração através de resfriamento brusco e composição química adequada podem permitir uma aplicação nobre deste resíduo, como substituição ao cimento. Este trabalho tem como objetivo estudar a viabilidade da utilização de escória granulada de fundição como substituição de parte do cimento em concreto, através da avaliação de suas propriedades mecânicas. Para tanto foram moldados corpos-de-prova de concreto com diferentes combinações de teores de substituição de cimento por escória granulada de fundição (10%, 30% e 50%), em volume, e relações água/aglomerante (0,40; 0,55 e 0,70), comparando-se com o concreto referência. Para cada idade do concreto (7, 28 e 91 dias) realizaram-se ensaios mecânicos, tais como, resistência à compressão uniaxial, resistência à tração por compressão diametral e resistência à tração na flexão. Além disso, foram realizadas avaliação da microestrutura e caracterização ambiental de concretos com EGF, comparativamente ao concreto referência. Os resultados mostram que o teor de 10% de substituição de cimento por escória granulada de fundição, em volume, apresentou desempenho mecânico similar ao concreto referência. A caracterização ambiental dos concretos com EGF mostra que este material é considerado inerte (NBR 10004).

Usando bases de dados relacionais para geração semi-automática de ontologias destinadas à extração de dados

Extração de dados é o processo utilizado para obter e estruturar informações disponibilizaadas em documentos semi-estruturados (ex.: páginas da Web). A importâmncia da extrtação de dados vem do fato que, uma vez extraídos, os dados podem ser armazenados e manipulados em uma forma estruturada. Dentre as abordagens existentes para extração de dados, existe a abordagem de extração baseada em ontologias. Nesta abordagem, ontologias são preciamente criadas para descrever um domínio de interesse, gerando um modelo conceitual enriquecido com informações necessárias para extração de dados das fontes semi-estruturadas. A ontologia é utilizada como guia ara um programa (¨parser¨) que executa a extração de dados dos documentos ou páginas fornecidos como enetrada. Oprocesso de criação da ontologia não é uma tarefa trtivial e requer um cuidado trabalho ee análise dos documentos ou páginas fontes dos dados. Este trabalho é feito manualmente por usuários especialistas no domínio de interesse da ontologia. Entretanto, em algumas situações os dados que se desejam extrair estão modelados em bancos de dados relacionais. Neste caso, o modelo realcional do banco de dados por ser utilizado para constrtução do modelo conceitual na ontologia. As instâncias dos dados armazenados neste mesmo banco podem ajudar a gerar as informações sobre conteúdo e formato dos dados a serem extraídos. Estas informações sobre conteúdo e formato de dados, na ontologia, são representadas por expressões regulares e estão inseridas nos chamados "data frames". O objetivo deste trabalho é apresentar um método para criação semi-automática de ontologias de extração a partir das informações em um banco de dados já existente. O processo é baseado na engenharia reversa do modelo relacional para o modelo conceitual da ontologia combinada com a análise das instâncias dos dados para geração das expressões regulares nos "data frames".

Prevalência de infeção pelo Papiloma vírus humano de alto risco e de lesões associadas no colo uterino através da citologia convencional e do método de captura híbrida de segunda geração

Resumo não disponível.

O estudo geoestatístico de sondagens spt para geração de mapas auxiliares em obras de engenharia

A sondagem com SPT ("Standard Penetration Test") é o método de investigação com mais freqüência empregado na caracterização geotécnica de solos. Devido a relevância desse tipo de ensaio, desenvolveu-se um procedimento para geração de mapas de SPT com base em métodos geoestatísticos. Esses mapas devem conter a estimativa do índice de penetração (SPT) em diferentes posições no terreno em estudo, partindo de ensaios pré-existentes, objetivando auxiliar de maneira mais efetiva o planejamento de obras de engenharia. O trabalho foi baseado em um banco de dados com 141 sondagens realizadas na cidade de Passo Fundo/RS, compreendendo uma área total de 4,16km2. O banco de dados compreende sondagens de uma única empresa (o que minimiza os erros decorrentes da própria sondagem SPT) e uma única unidade geotécnica. Essas informações foram utilizadas para a avaliação do comportamento espacial dos parâmetros modelados e, posteriormente, construção de mapas de SPT. As estimativas foram efetuadas por krigagem ordinária em blocos com dimensões de 100mx100m, em quatro níveis distintos definidos de acordo com a variação média do índice de penetração com a profundidade Os mapas resultantes da krigagem ordinária revelaram-se satisfatórios para o fim a que se destina esse trabalho. Para a avaliação desses mapas, é relevante que se quantifiquem as incertezas associadas a essas estimativas. A metodologia para tal é baseada em Simulação Geoestatística, onde foram efetuadas simulações seqüenciais Gaussianas (ssG), em blocos de mesma dimensão que a utilizada na krigagem. Os resultados positivos mostraram ser adequado o emprego da simulação seqüencial Gaussiana, para geração de mapas auxiliares de valores de SPT a serem empregados no planejamento de investigações geotécnicas complementares.

Estudo experimental de trincheiras de infiltração no controle da geração do escoamento superficial

A crescente urbanização observada nas últimas décadas tem sido acompanhada por problemas relacionados a quase todos aspectos da infra-estrutura urbana. No que se refere à drenagem pluvial, a situação não é diferente. A impermeabilização gerada pelo processo de urbanização faz com que os hidrogramas se tornem progressivamente mais críticos, com maiores volumes escoados, maiores vazões de pico e menores tempos de escoamento. Agravando esta situação, o sistema tradicional de drenagem, baseado na máxima “pegar e largar depressa”, busca a eliminação da água, o mais rápido possível, através de galerias, condutos enterrados e canalizações, significando, muitas vezes, a simples transferência da cheia para as seções de jusante. A solução clássica para o problema das cheias baseiase na ampliação do sistema e/ou aumento da eficiência das redes, com custos geralmente elevados. Este trabalho apresenta um estudo experimental efetuado em trincheiras de infiltração, dentro de uma filosofia compensatória dos efeitos da urbanização. Esses dispositivos se inserem dentro de um conceito ambiental da drenagem urbana, onde se busca não mais a eliminação da água o mais rapidamente possível, mas sua valorização dentro do espaço urbano, através de dispositivos bem integrados e, preferencialmente, multifuncionais. Duas trincheiras de infiltração foram instaladas e monitoradas em uma área do IPH-UFRGS. A implantação das trincheiras baseou-se na adaptação, para as condições brasileiras, de técnicas descritas na literatura, principalmente no que se refere aos métodos construtivos e materiais utilizados, assim como aos métodos e critérios de utilização e dimensionamento. Durante o período de monitoramento e análise de dados, foram avaliados e discutidos aspectos relacionados a: condições de funcionamento, tais como magnitude do evento pluviométrico e condições antecedentes de umidade do solo; eficiência dos dispositivos; ocorrência de escoamento preferencial; custos; limitações de aplicação. Aspectos relacionados ao funcionamento do dispositivo ao longo do período de monitoramento são também discutidos, buscando avaliar seu desempenho a longo prazo, apesar do curto período de observação. Adicionalmente, um modelo numérico de simulação do funcionamento quantitativo de dispositivos de infiltração foi testado (modelo de Bouwer), sendo sugeridas modificações para torná-lo mais abrangente. As duas trincheiras mostraram-se eficientes, controlando 100% do volume escoado, mesmo para eventos de período de retorno superiores aos de projeto. Verificou-se que a metodologia de projeto gera super-dimensionamento das estruturas e que as condições iniciais de umidade do solo e as características dos eventos são fatores determinantes para seu funcionamento. Durante os 33 meses de observação da trincheira I e os 6 meses da trincheira II, não houve alterações significativas do funcionamento. Os eventos monitorados na trincheira I indicam a ocorrência de escoamento preferencial. Um ensaio destrutivo reforçou esta hipótese, além de mostrar acentuado grau de colmatação da primeira camada, em função do excessivo aporte de material em suspensão. Recomendações para utilização deste tipo de solução são apresentadas, visando estimular seu uso.

Um processo auto-documentável de geração de ontologias de domínio para dados semi-estruturados

Dados são disponibilizados através dos mais distintos meios e com os mais variados níveis de estruturação. Em um nível baixo de estruturação tem-se arquivos binários e no outro extremo tem-se bancos de dados com uma estrutura extremamente rígida. Entre estes dois extremos estão os dados semi-estruturados que possuem variados graus de estruturação com os quais não estão rigidamente comprometidos. Na categoria dos dados semiestruturados tem-se exemplos como o HTML, o XML e o SGML. O uso de informações contidas nas mais diversas fontes de dados que por sua vez possuem os mais diversos níveis de estruturação só será efetivo se esta informação puder ser manejada de uma forma integrada e através de algum tipo de esquema. O objetivo desta dissertação é fornecer um processo para construção de uma ontologia de domínio que haja como esquema representativo de diferentes conjuntos de informação. Estes conjuntos de informações podem variar de dados semi-estruturados a dados estruturados e devem referir-se a um mesmo domínio do conhecimento. Esta proposta permite que qualquer modelo que possa ser transformado no modelo comum de integração possa ser utilizado com entrada para o processo de integração. A ontologia de domínio resultante do processo de integração é um modelo semântico que representa o consenso obtido através da integração de diversas fontes de forma ascendente (bottom-up), binária, incremental, semi-automática e auto-documentável. Diz-se que o processo é ascendente porque integra o modelo que representa a fonte de interesse sobre a ontologia, é binário porque trabalha com dois esquemas a cada integração o que facilita o processo de documentação das integrações realizadas, é incremental porque cada novo esquema de interesse é integrado sobre a ontologia vigente naquele momento, é semiautomático porque considera a intervenção do usuário durante o processo e finalmente é autodocumentável porque durante o processo, toda integração de pares de conceitos semanticamente equivalentes é registrada. O fato de auto-documentar-se é a principal característica do processo proposto e seu principal diferencial com relação a outras propostas de integração. O processo de mapeamento utiliza, dos esquemas de entrada, toda a informação presente ou que possa ser inferida. Informações como se o conceito é léxico ou não, se é raiz e os símbolos que permitem deduzir cardinalidades são consideradas. No processo de integração são consideradas práticas consagradas de integração de esquemas de BDs, na identificação de relacionamentos entre objetos dos esquemas, para geração do esquema integrado e para resolução de conflitos. As principais contribuições desta dissertação são (i) a proposta de um metamodelo capaz de manter o resultado dos mapeamentos e das integrações realizadas e (ii) a especificação de um processo auto-documentável que de sustentação a auditoria do processo de integração.

Alianças estratégicas para o suprimento de matérias-primas na indústria petroquímica de primeira geração do Brasil

A evolução natural do mercado exige das empresas a constante adaptação em busca de competitividade e manutenção da rentabilidade. Neste cenário, o fenômeno de formação de alianças estratégicas entre organizações surgiu com grande força nos últimos anos. O processo de abertura do monopólio do mercado de petróleo brasileiro resultou em novas ameaças e oportunidades para a indústria petroquímica, as quais levaram ao estabelecimento de alianças de diferentes tipos. O objetivo deste trabalho é analisar o pensamento estratégico por trás deste processo de formação de alianças estratégicas da indústria petroquímica de primeira geração instalada no Brasil. Através das entrevistas realizadas nas empresas do setor, constatou-se que o estabelecimento de alianças cresceu, principalmente a partir de janeiro de 2002, quando o monopólio de suprimento da indústria petroquímica deixou de ser exercido no Brasil. Este trabalho mostra que, apesar da implementação de várias alianças estratégicas em um curto espaço de tempo, o setor petroquímico brasileiro está apenas começando a trabalhar no sentido de fazer uso das alianças estratégicas como forma de equacionar o seu suprimento de matérias-primas e que muitas outras alianças devem se firmar nos próximos anos.

Fatores biopsicossociais de adultos em idade avançada e o ensino de língua estrangeira : subsídios para o professor

Este estudo tem como objetivo discutir aspectos biológicos, psicológicos e sociais envolvidos em aulas de língua estrangeira com alunos da adultez avançada e ver como os professores lidam com eles. Também fornece subsídios para profissionais ligados à educação desse público. Três professores e trinta e um alunos participaram da pesquisa. Os procedimentos usados para a coleta de dados foram observações de aulas, gravações de aulas em vídeo e entrevistas com os professores. O estudo é de cunho qualitativo seguindo os princípios da pesquisa interpretativista, sem categorias pré-estabelecidas. Foram analisados aspectos como ansiedade, auto estima e algumas questões sociais e físicas. Os resultados mostram que os professores estão cientes da interferência desses fatores e procuram criar um ambiente propício à aquisição.

Efeitos de sexo e idade na avaliação da importância de características para seleção sexual (atração) em um contexto de acasalamento de curta duração (ACD) : uma perspectiva evolucionista da seleção sexual humana

Resumo não disponível.

Descrição e geração de ambientes para simulações com sistemas multiagentes

Este trabalho situa-se na área de Sistemas Multiagente, que é uma sub-área da Inteligência Artificial Distribuída. Em particular, o problema abordado nesta dissertação é o da modelagem de ambientes, um aspecto importante na criação de simulações baseadas em sociedades de agentes cognitivos, no entanto pouco tratado na literatura da área. A principal contribuição deste trabalho é a concepção de uma linguagem, chamada ELMS, própria para a definição de ambientes multiagente, e a implementação de um protótipo de interpretador para esta linguagem. O resultado da interpretação é um processo que simula o ambiente descrito em alto nível, e é apropriado para a interação com os agentes cognitivos que irão compartilhar o ambiente. Esta linguagem foi desenvolvida no contexto do projeto MASSOC, que tem como objetivo a criação de simulações sociais com agentes cognitivos. A abordagem deste projeto dá ênfase ao uso da arquitetura BDI para agentes cognitivos, a comunicação inter-agente de alto nível (ou seja, baseada em atos de fala) e a modelagem de ambientes com a linguagem ELMS, que é proposta neste trabalho. Os ambientes e agentes que podem ser usados na criação de simulaçõpes, bem como a comunicação entre eles utilizando a ferramenta SACI, são definidos ou gerenciados a partir de uma interface gráfica, que facilita a criação e controle de simulações com a plataforma MASSOC. Além de apresentar a linguagem ELMS e seu interpretador, esta dissertação menciona ainda, como breve estudo de caso, uma simulação de aspectos sociais do crescimento urbano. Esta simulação social auxiliou na concepção e avaliação da linguagem ELMS.

Efeito da idade, sexo, altura do cupim e tipos de carcaça sobre características quantitativas e qualitativas da carcaça e da carne bovina

O objetivo deste trabalho foi avaliar a influência da idade, sexo, altura de cupim e tipificação de carcaças sobre as características quantitativas e qualitativas da carcaça e da carne bovina. Foram avaliados os pesos de carcaça quente, peso do quarto traseiro resfriado, área de olho de lombo, espessura de gordura de cobertura e grau de acabamento de 36 bovinos machos castrados de diferentes idades, avaliadas pela cronologia dentária, e 10 fêmeas adultas, escolhidos ao acaso na linha de matança de matadouro-frigorífico comercial. As carcaças foram tipificadas conforme o sistema Brasil. A qualidade da carne foi avaliada no músculo Longissimus dorsi quanto à marmorização, teor de gordura intramuscular, força de cisalhamento no primeiro, quinto e décimo dia de maturação, cor e capacidade de retenção de água. A marmorização e o teor de gordura intramuscular foram superiores em animais de oito dentes (P<0,05). Bovinos de oito dentes produziram contrafilé mais macio (4,99 Kg/cm2) do que novilhos de quatro e seis dentes (6,36 Kg/cm2) e dois e três dentes (6,06 Kg/cm2). As fêmeas apresentaram menor peso de carcaça e de quarto traseiro e menor área de olho de lombo. O grau de acabamento, grau de marmorirzação e teor de gordura intramuscular foram superiores nos machos (P<0,05). As fêmeas produziram contrafilé mais duro (7,10 Kg/cm2) que os machos da mesma categoria (4,99 Kg/cm2). A tipificação de carcaças não informou sobre o desenvolvimento das massas musculares, grau de marmorização e maciez.

Modelamento paramétrico e geração de malha em superfícies para aplicações em engenharia

Este trabalho apresenta um conjunto de técnicas para a modelagem paramétrica e geração de malhas de superfícies para uso em sistemas de análise e simulações numéricas pelo Método dos Elementos Finitos. Foram desenvolvidos algoritmos para a geração paramétrica de superfícies, para a determinação das curvas de interseções entre superfícies e para a geração de malhas em superfícies curvas e recortadas. Foram implementas linhas e curvas paramétricas básicas, a partir das quais são geradas superfícies paramétricas de vários tipos que proporcionam uma grande flexibilidade de modelamento geométrico. Curvas e superfícies são geradas e manipuladas de forma interativa. São apresentadas técnicas que simplificam a implementação de linhas e superfícies paramétricas. Foi desenvolvido um algoritmo para determinar as curvas de interseção entre superfícies paramétricas, que são utilizadas como linhas de recorte (trimming lines) para obter geometrias complexas e compostas de várias superfícies. O algoritmo desenvolvido emprega técnicas de subdivisão adaptativa, por quadtrees, em função da curvatura local das superfícies. Primeiramente, obtém-se uma aproximação das curvas de interseção no espaço 3D, através da aproximação por triângulos. Os resultados iniciais são refinados e projetados sobre as duas superfícies envolvidas com algoritmos que permitem obter grande precisão. As curvas de interseção finais são mapeadas nos espaços paramétricos das duas superfícies, porém com uma parametrização única, o que facilita a junção com superfícies adjacentes Um algoritmo de geração de malha foi desenvolvido para gerar malhas triangulares de qualidade sobre as superfícies curvas e recortadas. O algoritmo utiliza um processo de subdivisão adaptativa por quadtrees, similar ao utilizado no algoritmo de interseção, para definir tamanhos de elementos em função da curvatura local. Em seguida, aplica-se um algoritmo tipo advancing front para gerar a malha sobre a superfície. Os algoritmos foram implementados e testados em um ambiente gráfico interativo especialmente desenvolvido para este trabalho. São apresentados vários exemplos que comprovam a eficiência das técnicas e algoritmos propostos, incluindo exemplos de matrizes de conformação mecânica para uso com código de análise METAFOR, análise de sensibilidade para otimização de pré-formas e de modelagem de superfícies compostas recortadas com geração de malhas de qualidade, para uso em análise por Elementos Finitos ou como contorno para geração de elementos tridimensionais.

A tecnologia na indústria de geração de energia elétrica: o caso do Brasil

Neste trabalho realizamos um estudo sobre a produtividade total e as produtividades individuais dos fatores de produção para o setor de geração de energia elétrica no Brasil, usando dados do período ] 978 a 1992 das cmpresas ELETRONORTE, CHESF, FURNAS e ELETROSUL. Utilizando a abordagem da estimação econométrica da função dc custo, construímos um modelo do tipo trallslog que inclui a restrição sobre a taxa de retorno do capital, onde os insumos variáveis são mão-de-obra, materiais elétricos e energia e o único insumo fixo é o capital. Os resultados da estimação de mínimos quadrados de três estágios iterativos para o modelo básico mostraram que o aumento médio na produtividade total foi de 9,9% ao ano, sendo que a contribuição média da mão-de-obra foi de 0,3% ao ano, a dos materiais elétricos foi de 2,6%) ao ano e a da energia foi de 7,0% ao ano no período de estudo. A situação muda bastante quando estimamos o mesmo modelo sem considerar o intercâmbio do insumo energia elétrica no processo de produção, tendo em vista que o aumento médio na produtividade total cai para 2,4% ao ano, com uma contribuição negativa da mão-de-obra de 1,0% ao ano c contribuições positivas dos insumos materiais elétricos e energia de, respectivamente, 1,4% e 2,0% ao ano. Como trabalhos complementares, usando este arcabouço teórico, sugerimos a verificação a nível regional da existência do monopólio natural, a determinação do tamanho ótimo da empresa de geração de energia elétrica e a existência de economias de integração vertical entre os segmentos de geração, transmissão e distribuição para o Brasil.