Metodologia para análise energética e exergética de uma caldeira aquatubular com queima de bagaço de cana

Pós-graduação em Engenharia Mecânica - FEB

Autonomia da vontade, consensualismo e arbitragem: A extensão da cláusula compromissória a partes não-signatárias fundamentada na teoria dos grupos de sociedades. A prática da Corte Internacional de Arbitragem da Câmara de Comércio Internacional (CCI) e sua compatibilidade com o ordenamento jurídico brasileiro

A prática da arbitragem comercial internacional tem se deparado, há pelos menos quatro décadas, com a problemática da extensão da cláusula compromissória a uma parte não-signatária, integrante do mesmo grupo de sociedades a que pertence uma das partes integrantes da convenção, em razão do comportamento adotado pela parte não-signatária nas fases de negociação do contrato, execução ou extinção. Nesse sentido, a prática da Corte Internacional de Arbitragem da Câmara de Comércio Internacional dos últimos trinta anos e reiteradas decisões judiciais em países de diferentes tradições jurídicas como a França, Suíça e Estados Unidos têm se manifestado favoravelmente a essa extensão subjetiva da convenção de arbitragem. O estudo da doutrina nacional e da jurisprudência do Superior Tribunal de Justiça sobre os grupos de sociedades e seus efeitos, e a análise detida de diversos precedentes do Superior Tribunal de Justiça e do Supremo Tribunal Federal sobre a homologação de sentenças arbitrais estrangeiras, revelam a compatibilidade da referida prática arbitral internacional com o ordenamento jurídico brasileiro.

A legitimidade e a extensão do controle judicial sobre o processo legislativo no Estado democrático de direito

Verifica a consonância do entendimento do Supremo Tribunal Federal em sede de controle dos atos do processo legislativo, com os postulados teóricos do Estado democrático de direito. Reconstrói a semântica das teorias que conformam esferas de poder imunes ao controle judicial, como o dogma da soberania do Parlamento, a doutrina das questões políticas e a teoria dos atos "interna corporis", para confrontá-las com o constitucionalismo democrático e a afirmação do supremacia da Constituição.

Contribuição à confiabilidade de estacas cravadas através de um estudo de caso com aplicação da teoria Bayesiana.

Nos diversos segmentos da Geotecnia e em especial na área de fundações, o engenheiro se depara com uma série de incertezas. Algumas destas incertezas são inerentes à variabilidade local do solo, às condições de carregamento, aos efeitos do tempo, às diferenças nos processos executivos, erros de sondagens, que influenciam diretamente a estimativa da capacidade de carga da fundação, seja por ocasião de seu carregamento estático, seja durante ou logo após a cravação. O objetivo desta dissertação é a adaptação, a estacas em terra (onshore), de um procedimento concebido originalmente para emprego em estacas offshore, que trata da atualização da estimativa da resistência durante a cravação, com base em registros documentados durante a execução. Neste procedimento a atualização é feita através da aplicação dos conceitos da análise Bayesiana, assumindo que os parâmetros da distribuição probabilística utilizada sejam variáveis randômicas. A incerteza dos parâmetros é modelada por distribuições a priori e a posteriori. A distribuição a posteriori é calculada pela atualização da distribuição a priori, utilizando uma função de máxima verossimilhança, que contém a observação obtida dos registros de cravação. O procedimento é aplicado a um conjunto de estacas de um extenso estaqueamento executado na Zona Oeste do Rio de Janeiro. As estimativas atualizadas são posteriormente comparadas aos resultados dos ensaios de carregamento dinâmico. Várias aplicações podem surgir com o emprego deste procedimento, como a seleção das estacas que, por apresentarem reduzido valor de estimativa atualizada de resistência, ou uma maior incerteza desta estimativa, devam ser submetidas a provas de carga. A extensão deste estudo a diferentes tipos de estacas em perfis de solo de natureza distintos poderá levar ao desenvolvimento de sistemas mais adequados de controle de execução, capazes de identificar as principais incertezas presentes nos diferentes tipos de execução de estacas, contribuindo assim para a otimização de futuros projetos de fundações.

Teoria, proposta e aplicação de uma sequência didática em Educação Linguística: trabalhando os conceitos de língua, gramáticas e normas linguísticas no nono ano do Ensino Fundamental

O ensino-aprendizagem da disciplina Língua Portuguesa se apresenta como um desafio para professores e alunos; muito disso se deve à falta de reconhecimento da diversidade linguística (LIMA, 2014). Há uma tendência no ambiente escolar em se valorizar apenas uma norma linguística, ignorando as diferentes normas que fazem parte do convívio em sociedade. Com isso, os discentes entram em conflito, pois aquilo que é apresentado para eles como a Língua Portuguesa está bem distante da sua experiência pessoal com a língua. Em via de eliminar esse conflito, os PCNs e o PNLD estabelecem a inserção do tema variação linguística no conteúdo programático da disciplina Língua Portuguesa. Entretanto, ainda perdura uma lacuna no tratamento desse tema. A preocupação em preencher essa lacuna motivou este trabalho, que teve como objetivo principal propor e aplicar uma sequência didática que abordasse os seguintes temas: língua, gramáticas e normas linguísticas, a fim de contribuir com a realização de uma Educação Linguística eficaz (BAGNO; RANGEL, 2005). Esses três conteúdos principais geraram desdobramentos que proporcionaram a discussão dos seguintes tópicos: variação e preconceito linguísticos. A sequência didática elaborada é composta por oito etapas em que são intercalados momentos de aula expositiva e de atividades lúdicas. A aplicação da proposta de sequência didática ocorreu em uma turma de nono ano do Ensino Fundamental de um CIEP (Centro Integrado de Educação Pública) localizado na Zona Oeste da cidade do Rio de Janeiro. As ferramentas utilizadas para identificar os conteúdos assimilados pelos alunos foram a avaliação da participação da turma e os resultados de quatro atividades específicas. Considerando a complexidade e o ineditismo dos conceitos apresentados na sequência didática, o desempenho da classe foi satisfatório. Os alunos também responderam a dois questionários, um no início da sequência e outro ao final, que tinham o propósito de avaliar se houve mudança com relação ao entendimento da existência de variação linguística e do preconceito linguístico. O primeiro questionário revelou que a maioria dos alunos já havia sofrido e praticado preconceito linguístico; já o segundo mostrou que a maioria dos discentes assimilou a noção de preconceito linguístico e rompeu com a ideia de certo e errado na língua. Como objetivo secundário, este trabalho intentou deixar um legado para professores, pois com esta dissertação a ação não ficará limitada apenas ao nono ano daquele CIEP, mas poderá contribuir com o ensino linguístico de diversas escolas; e para pesquisadores, pois este registro descreve um modelo de trabalho acadêmico em que se pretendeu aplicar o princípio de indissociabilidade entre ensino, pesquisa e extensão. A expectativa é que, somados a trabalhos similares, seja possível abrir um precedente de trabalhos acadêmicos fundamentados teoricamente e desenvolvidos de forma prática, além de realizados com preocupações sociais e educacionais

Padrão de ativação de músculos do core abdominal e tilt pélvico no teste de extensão da anca, em indivíduos com e sem dor lombo- pélvica

Introdução: Os padrões de movimento podem sofrer alterações por atraso no timing de ativação e/ou modificações na sequência de recrutamento muscular, predispondo o indivíduo a disfunções, nomeadamente a dor lombo-pélvica. Objetivo: Investigar o timing e o padrão de ativação de músculos do core abdominal, durante o movimento de extensão da anca, do membro dominante, em indivíduos com e sem dor lombo- pélvica crónica inespecífica. Pretende-se, também, pesquisar a existência do padrão de ativação considerado “normal“ e verificar a relação entre o padrão de ativação e o tilt pélvico, em ambos os indivíduos. Métodos: Estudo transversal, com 64 estudantes universitários, divididos em dois grupos: 31 sem e 33 com dor lombo-pélvica. Através de eletromiografia de superfície foi recolhida a atividade muscular dos Eretores da Espinha ipsilateral e contralateral, Glúteo Máximo e Bicípite Femoral ipsilaterais. Foi analisado o timing de ativação muscular e as respetivas ordens de ativação. Adicionalmente foi medido o tilt pélvico. Resultados: O grupo com dor lombo-pélvica apresentou um atraso significativo no timing de ativação dos músculos Glúteo Máximo ipsilateral (t=-3,171;p=0,002) e Bicípite Femoral ipsilateral (t=-2,092;p=0,041), em comparação com o grupo sem dor. Verificou-se uma associação significativa entre as 5 ordens de ativação mais frequentes e a presença de dor lombo-pélvica (xf2=11,54;p=0,015). A ordem de ativação "normal" – Glúteo Máximo ipsilateral>Bicípite Femoral ipsilateral>Eretor da Espinha contralateral>Eretor da Espinha ipsilateral – não foi utilizada. Verificou-se que o Bicípite Femoral ipsilateral foi maioritariamente o primeiro a ativar-se e o Glúteo Máximo ipsilateral o último em ambos os grupos. Verificou-se um tilt pélvico significativamente superior nos indivíduos que ativam primeiro o Bicípite Femoral ipsilateral nos grupos com (U=51;p=0,001) e sem dor (U=41p=0,001). Conclusão: Os indivíduos com dor lombo-pélvica apresentaram um atraso no timing de ativação dos músculos do core abdominal. Os resultados parecem refutar a ordem de ativação "normal" que tem sido proposta. Não foi possível apoiar nem contestar a teoria de que um atraso na ativação do Glúteo Máximo está associado com dor lombo-pélvica.

Extensão universitária no Rio Grande do Sul : concepções e práticas

“Extensão Universitária – Concepções e Práticas” é o resultado de um trabalho de pesquisa científica centralizada nas dimensões atuais das atividades de extensão desenvolvidas em três universidades gaúchas. Representa um esforço reflexivo na busca de conhecimentos do significado que a extensão vem assumindo junto aos fins da universidade, o papel que ela cumpre diante das perspectivas de transformações das relações universidade e sociedade e das políticas publicas para o ensino superior. A universidade, que sempre se manteve sensível às circunstâncias histórico-sociais, percebe a necessidade de criar formas de procedimentos que possibilitem sua presença ativa no meio no qual está inserida, o que implica em fazer muito mais do que formar e investigar. O desafio é que as funções de formação e investigação tenham um caráter mais social e que a produção de conhecimentos tenha por base parâmetros com dimensões coletivas, comunicacionais, científico-tecnológicos e, ao mesmo tempo, humanísticos. A extensão universitária, que é uma dimensão nova da universidade, insere-se nesse processo com configurações diferentes, dadas pela realidade institucional. O presente trabalho nos mostrou que, não obstante as diferentes perspectivas e criticas, a extensão, gradativamente, vem se esforçando para delimitar seu espaço no universo acadêmico da universidade. As concepções sobre sua função são bastante idealistas e as experiências frágeis e fragmentadas. Nas diferentes expressões recolhidas, em documentos e falas, porém, percebe-se um esforço em garantir uma identidade para a extensão, que tenha uma eqüidade com o ensino e a pesquisa, com políticas de custeio bem definidas. A nossa tese é que embora a extensão tivesse ganho uma maior importância neste momento de diálogos sobre a construção de novas esferas públicas, de fortalecimento da sociedade civil e da cidadania, ela não vem tendo uma valorização eqüitativa ao ensino e a pesquisa. A universidade pode construir formas de participação disso, mas não pode fugir de seus padrões acadêmicos e é isso sua grande dificuldade: sustentar, na extensão, parâmetros de ação que sejam próprios de instituição universitária. Nas universidades gaúchas, estudadas aqui: Universidade Federal do Rio Grande do Sul, a Universidade de Caxias do Sul e a Universidade Católica de Pelotas, não há correspondência entre as concepções e as praticas de extensão, devido, não só, as suas configurações diferentes de instituições públicas, confessionais e comunitárias, mas também, pela impossibilidade de se enquadrar à extensão, que é fim e não meio, no mundo acadêmico de uma forma equânime ao ensino e a pesquisa.. A extensão não tem se articulação com o ensino e a pesquisa, ou ao menos, não existe uma maneira de aferir sua contribuição. Ela tem uma função de complemento.

Fundamentos para uma teoria de expectativa econômica

O Principal Objetivo deste Trabalho é Identificar Bases Plausíveis para uma Teoria de Formação de Expectativa Econômica. Argumentamos que a Incorporação de Expectativa em Qualquer Tratamento Analítico, Deve Envolver, Principalmente, Fundamentos Epistêmicos. Duas Perspectivas de Análise Foram Consideradas: a Abordagem Contextualista de Bhargava(1992) e a Tese da Modernidade Reflexiva, Desenvolvida por Anthony Giddens. Concluímos que a Expectativa Econômica Resulta do Processo de Apropriação de Conhecimento Especializado, que É, em Grande Extensão, Mediado Através da Mídia.

Economia política das finanças subnacionais: teoria e análise empírica para os vinte e sete estados brasileiros na década de noventa

O trabalho investiga os elementos condicionantes das finanças públicas dos governos estaduais brasileiros nos anos noventa, partindo da hipótese de que, a despeito dos elementos econômicos serem relevantes, a concepção neoclássica de gestão das finanças públicas não é adequada para tratar a questão fiscal em toda sua extensão, exigindo que ela seja entendida como um problema de economia política. A partir da análise da literatura disponível sobre o tema, é proposto um modelo para se investigar a importância efetiva de variáveis não econômicas sobre o déficit público e sobre os gastos dos estados brasileiros. Para analisar a influência das variáveis políticas e institucionais escolhidas ¿ ideologia do partido no governo estadual, coincidência ideológica com o partido no poder executivo federal, fragmentação da representação política do poder executivo, e do poder legislativo, grau de competitividade eleitoral, participação do eleitorado no pleito e ciclo eleitoral ¿ os modelos foram estimados através da técnica econométrica para dados de painel, com dados dos vinte e seis estados e Distrito Federal no período de 1990 a 2000. Para representar os gastos públicos foram utilizadas as despesas correntes não financeiras divididas pelo PIB estadual e para representar o déficit público, o resultado fiscal primário (despesas e receitas não financeiras) dividido pelo PIB estadual. Para os gastos públicos o trabalho econométrico evidenciou a existência de influência significativa de todas as variáveis propostas, enquanto para o resultado fiscal primário, apenas as variáveis: ciclo eleitoral, fragmentação partidária do poder executivo e coincidência ideológica de partidos no poder executivo estadual e federal mostraram-se estatisticamente aceitáveis.

Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

A teoria da causa madura: alcance e limites do art. 515, § 3º do Código de Processo Civil

A Teoria da Causa Madura é um instituto de direito processual civil que visa aprimorar a prestação jurisdicional. A possibilidade conferida pelo instituto de viabilizar o julgamento direto pelos tribunais, caso estejam presentes os requisitos legais, em caso de extinção equivocada do processo sem a resolução do mérito pelo juízo de origem, encurta o trâmite processual de maneira cirúrgica, sem macular qualquer princípio constitucional. A partir desta premissa louvável é que deve ser realizada a interpretação do instituto, possibilitando a delimitação do seu campo de atuação. A rigor, a aplicação da Teoria da Causa Madura está limitada ao recurso que a disciplina, a saber, apelação, tendo em vista que o dispositivo legal que a regula, art. 515, §3°, do Código de Processo Civil, está inserido no capítulo da apelação. No entanto, a localização geográfica do dispositivo não pode servir de obstáculo à interpretação que permita alargar o seu campo de atuação. A interpretação literal do dispositivo legal que a disciplina, portanto, não é a que melhor se ajusta com a hipótese em comento. As benesses que podem ser extraídas da norma, como mencionado, bem como o objetivo constitucional de tornar célere a entrega da prestação jurisdicional, permitem maior extensão dos seus efeitos, de modo a viabilizar sua aplicação a outros recursos previstos no sistema processual civil. Neste diapasão, a presente monografia tem o condão de demonstrar, à luz dos princípios constitucionais e processuais aplicáveis ao tema, que a Teoria da Causa Madura é um instituto plenamente aplicável a outros recursos disciplinados pelo CPC. Conclusão esta extraída de acordo com a missão constitucional de abreviar a tramitação dos processos, encerrando com a maior mazela deste serviço público essencial: a morosidade.

Extensão da função de progresso da produção a algumas indústrias brasileiras

A necessidade de maior generalização e aplicação do modelo da curva de progresso da produção às indústrias "mão-de-obra intensivas" vem sendo ressaltada há muitos anos na literatura. Até hoje, entretanto, as contribuições empíricas ao estudo da matéria emanaram, predominantemente, da indústria aeroespacial cabendo às demais umas poucas tentativas de extensão do modelo mencionado. A forma apropriada do modelo tem sido também debatida. A questão do platô na curva - término ou estancamento do progresso constitui um problema sobre o qual existe muita controvérsia e quase nenhuma pesquisa empírica. A estimação dos parâmetros da função de progresso da produção, para diferentes produtos e atividades, tem sido tentada por um escasso número de pesquisadores, desconhecendo o auto a existência de pesquisas sobre a função de progresso da produção no caso de indústrias brasileiras. Finalmente, a matéria toda carece de novas hipóteses e de melhor sistematização teórica. Ao ampliar e aprofundar as questões mencionadas, o trabalho teórico e de pesquisa, ora concluído, contribuirá, possivelmente, para esclarecer determinados aspectos da função de progresso da produção, ainda não abordados na literatura especialização.

Alterações qualitativas em contratos de obra pública e a teoria econômica dos contratos incompletos : é possível construir um avião em pleno voo?

Não é de hoje que o país assiste à descoberta de incontáveis casos de desvios de recursos públicos ou mesmo à má gestão de contratos de obra pública que ocasionam, além de grave prejuízo ao Erário, danos à sociedade, muitas vezes desprovida da utilidade que seria proporcionada pelo pactuado. Essas condutas normalmente são ensejadas por projetos de engenharia que podem ser considerados meras peças de ficção, pois não representam o esforço correto para a execução do bem que se deseja construir. A Lei nº 8.666/93 permite a licitação com base em projeto básico, o que, segundo a atual onda de pensamento brasileira, seja da doutrina, dos órgãos de controle, do Poder Legislativo e até mesmo da mídia, é, de fato, um sério problema a ser enfrentado, pois a sua contratação dá margem a aditivos, entendidos como os grandes vilões das obras públicas. Por isso, o Tribunal de Contas da União vem decidindo no sentido de fortemente restringir a possibilidade de alteração contratual e, além disso, tem capitaneado projetos no Congresso Nacional que visam praticamente à extinção da empreitada por preço unitário, espécie contratual na qual o risco do projeto, ainda sem as definições necessárias, acaba por ser assumido pela Administração contratante, responsável pela elaboração, e não pelo seu executor. Contudo, no caso de obras complexas de infraestrutura, deve-se perquirir se essa postura, que pretende acabar com a margem decisória do gestor público quanto à extensão da incompletude do projeto básico - e, portanto, do objeto do contrato -, merece ser repensada, não com vistas a possibilitar os recorrentes danos, mas no caminho de uma melhor programação das ações estatais. Isso porque nessas hipóteses, a busca por todas as informações necessárias para a confecção do projeto a ser ao final executado, no momento da elaboração do edital, ou é muito custosa ou simplesmente não é possível. Assim, seria mais eficiente a contratação integrada, prevista na Lei do Regime Diferenciado de Contratação, na qual o risco do projeto pode se alocado ao contratado. Ocorre que, como existem restrições, nem sempre é viável esse caminho. Nessa ordem de ideias, deve-se encontrar uma solução para que o tradicional contrato de obra pública supere os seus graves problemas de incentivos. A proposta do presente trabalho é a introdução de um procedimento de tomada de decisão transparente, que confira segurança jurídica e amplo conhecimento da sociedade, além de livre acesso aos órgãos de controle, a partir de critérios não apenas jurídicos, mas econômicos e técnicos.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

O modelo padrão das interações eletrofracas: aspectos fenomenológicos do setor escalar e sua extensão supersimétrica

Pós-graduação em Física - FEG