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.

Melhorias das condições de trabalho em uma indústria metal mecânica : uma abordagem ergonômica participativa

Este estudo consiste na análise das condições de trabalho e proposta de melhorias de um posto de trabalho, de uma linha de montagem, onde realiza-se a interligação elétrica de aparelhos de condicionadores de ar. Com base nos fatores de risco, capazes de influenciar na saúde dos trabalhadores, em postos de trabalho mal projetados e organização do trabalho, buscou-se a reestruturação do posto e execução da tarefa no que se refere ao processo de montagem, e adequação dos equipamentos e ferramentas. A metodologia deste estudo baseou-se em uma Intervenção Ergonômica Participativa e na aplicação de ferramentas específicas, pelas quais todas as questões levantadas foram discutidas entre os engenheiros de produção da empresa e os próprios operadores do posto. A abordagem mais aprofundada da análise ergonômica contemplou a penosidade na realização das tarefas, no que se refere às posturas inadequadas, desconfortos, movimentos repetitivos e carga de trabalho, com a possibilidade de um redimensionamento das práticas realizadas. As melhorias propostas foram implementadas e validadas em conjunto com os trabalhadores que consideraram as mudanças benéficas no que concerne a mudança no processo de montagem de alguns componentes internos das máquinas e às exigências posturais e ao redimensionamento do posto. Diante dos resultados satisfatórios, este trabalho indicou que é possível amenizar problemas nas empresas através da participação dos trabalhadores visando benefícios mútuos para os sistemas humano e produtivo.

Modelagem estratigráfica de clinoformas deposicionais : construção e aplicação de um modelo computacional baseado em mecânica estatística

Sob a premissa de que a geometria do perfil deposicional das clinoformas pode conter informações sobre a composição textural dos sedimentos que as compõem, bem como sobre a energia da coluna d’água, foi desenvolvido um modelo computacional para a análise teórica dos fatores controladores do tipo de curvatura dos foresets das clinoformas, e, por extensão dos taludes submarinos. Um modelo análogo de suspensão dinâmica foi implementado experimentalmente com um programa em código Matlab, denominado MAXWELL, e é classificado como um modelo estratigráfico, bidimensional, analítico, determinístico, dinâmico, parcialmente dedutivo e parcialmente baseado em regras. Contém um modelo de escoamento de fluido em linhas de corrente, e trata indiretamente a tensão de cisalhamento no domínio de um sistema fechado bifásico líquido-vapor análogo, a partir a proposta de analogias entre os processos de evaporação e de suspensão de sedimentos. É uma abordagem baseada na competência de transporte do fluxo d’água, pois considera temperatura e velocidade de fluxo combinado onda-corrente como variáveis controladoras análogas da intensidade de transferência de energia. Os processos deposicionais marinhos são reduzidos a um fenômeno da superfície deposicional, que é considerada análoga a uma interface líquidovapor dentro de um sistema fechado. A equação de distribuição estatística de velocidades moleculares de Maxwell é usada para calcular a proporção de moléculas na fase líquida, considerada análoga à proporção de sedimentos depositados, bem como a proporção na fase vapor, tomada como análoga à proporção de sedimentos em suspensão. O estado energético do sistema é parametrizado por três potenciais: energia interna, como função do tamanho de grão (areia, silte ou argila); energia térmica do meio, como função da energia hidrodinâmica, e energia gravitacional, como função do declive topográfico As simulações indicam que os principais fatores controladores do perfil deposicional das clinoformas, e por extensão, dos taludes submarinos em geral, são a energia hidrodinâmica da coluna d’água e a granulometria (ou coesão) do sedimento, que podem ser consideradas dois parâmetros comutáveis, isto é, grãos grossos ou coesos podem produzir sobre a geometria das clinoformas o mesmo efeito da baixa energia hidrodinâmica, e vice-versa. Com base no fator de decaimento da energia hidrodinâmica com o aumento da batimetria, foram definidas três ordens de grandeza da intensidade da energia da coluna d’água: baixa energia (10–1), alta x energia (10-2) e muito alta energia (10-3). Com base nesse critério, foram caracterizados quatro tipos de perfis deposicionais de clinoformas: dois tipos sigmoidais e dois tipos exponenciais. Os tipos sigmoidais podem ser de alta energia ou de muito alta energia, e distinguem-se pela granulometria do sedimento e pela distribuição de declividades em relação à dimensão na direção horizontal. Os perfis de tipo exponencial podem ser tanto de baixa energia, quanto de alta energia. A subida relativa do nível do mar afeta o tipo geométrico do perfil deposicional apenas de forma indireta, a partir da retenção da fração grossa do influxo sedimentar na plataforma ou topset. Os principais fatores controladores do ângulo de declividade do perfil das clinoformas são a granulometria do sedimento, a energia hidrodinâmica, a profundidade d’água da bacia e o desvio lateral da corrente de fundo. A dedução da litofácies a partir da geometria das clinoformas parece promissora apenas para os tipos teóricos sigmoidais, que são distintos na forma e no conteúdo sedimentar.

Avaliação do desempenho da lagoa de polimento da indústria metal-mecânica Agrale S/A, Caxias do Sul-RS

A Agrale S.A. é uma empresa que produz veículos, tratores e motores a diesel. Na Unidade de Caxias do Sul - RS, os efluentes líquidos gerados provêm das cabines de pintura, tratamento de superfície, cabine de lavagem de peças com óleos, usinagem, esgoto cloacal e lavagem de veículos. Todas essas águas residuárias são enviadas à estação de tratamento de efluentes onde recebem tratamento físico-químico (coagulação-floculação) e biológico (lagoa aerada seguida por uma lagoa de polimento com aguapés). Entretanto, no monitoramento da ETE, observou-se que em algumas ocasiões os teores de nitrogênio e fósforo excediam os limites de emissão. Ainda, na Empresa, não havia uma metodologia estabelecida para o acompanhamento da eficiência de operação da lagoa com aguapés, unidade onde se espera que as concentrações residuais de nutrientes sejam reduzidas. Assim, o objetivo do presente trabalho foi estudar o desempenho da lagoa com aguapés empregada como etapa de polimento na estação de tratamento de efluente. Avaliou-se a eficiência da lagoa sem aguapés, com 50% de aguapés e com aguapés. Ainda, para um recobrimento de 50% de aguapés, investigou-se o desempenho nas diversas estações do ano. Os parâmetros avaliados foram sólidos suspensos, DQO, nitrogênio Kjeldahl total, fósforo total, óleos e graxas e ferro. Os resultados demonstraram que a existência de uma lagoa estabilização para fins de polimento é importante na estação de tratamento de efluentes da Empresa, pois reduz consideravelmente o número de não conformidades na qualidade do efluente final. A lagoa sem recobrimento de aguapés apresentou o melhor resultado em relação ao parâmetro DQO. A lagoa com 50% de recobrimento de aguapés os melhores valores em relação à sólidos suspensos, nitrogênio Kjeldahl total, fósforo total e ferro A lagoa com aguapés apresentou os melhores resultados em relação à remoção de óleos e graxas. Entretanto, como a função primordial da lagoa era a remoção de nutrientes, considerou-se que, para o caso da ETE da Agrale, a melhor opção é a operação com um nível de 50% de recobrimento de aguapés. Com este nível de recobrimento, os índices médios anuais de remoção foram: 23,8% na concentração de sólidos suspensos, 44,8 % na concentração de DQO, 77,0 % no teor de nitrogênio, 60,5 % no teor de fósforo, 44,4 % no teor de óleos e graxas e 26,4% no teor de ferro. De modo geral, a remoção de nitrogênio e fósforo ocorreu durante todo o ano. Porém, no caso do fósforo, a remoção foi maior nas estações inverno e primavera, épocas em que ocorria o crescimento dos aguapés. A biomassa de aguapés retirada na lagoa da Agrale apresenta-se com composição parecida com a de aguapés retirados do meio natural e de em lagoas eutrofizadas com esgoto doméstico. Não se apresenta contaminada com metais pesados, possibilitando o seu descarte através da transformação em composto agrícola. O composto de aguapés obtidos na Agrale atende aos Padrões da Portaria número 1 de 04/03/1983. O material pode ser facilmente descartado pela simples introdução nos canteiros e gramados na Empresa. O uso de lagoa de aguapés é uma alternativa viável no polimento final de efluentes do setor metalmecânico. A lagoa de aguapés auxilia na remoção de nutrientes (nitrogênio e fósforo), óleos e graxas e concentrações residuais de metais pesados; apresentando sucesso nas condições climáticas de Caxias do Sul, RS.

Efeito do treinamento físico na atividade mecânica do coração, estresse oxidativo sistêmico e tecidual em ratas sob distintos níveis estrogênicos

Esse é um estudo experimental que tem por objetivo avaliar as alterações sistêmicas, musculares e mecânica cardíaca em virtude de um programa de exercício físico de média intensidade em ratas ovariectomizadas. Para esse estudo foram utilizadas ratas Wistar fêmeas, divididas em quatro grupos: controle treinado (T), controle sedentário (S), castrado treinado (CT) e castrado sedentário (CS). O protocolo de treinamento utilizado foi de 8 semanas com intensidade inicial de 40% e final de 70% do VO2 Max. No final do protocolo, foi coletado sangue para análise do estresse oxidativo (EO) sistêmico e os animais foram mortos e retirado o músculo gastrocnêmio para medida da lipoperoxidação (LPO), bem como da atividade enzimática antioxidante. O coração para perfusão pelo método de langendorff e análise das enzimas antioxidantes e lipoperoxidação. Na análise do músculo gastrocnêmio, os grupos T e CS tiveram aumento significativo (p<0,05) na atividade da superóxido dismutase (SOD) com relação aos outros grupos. Na atividade da catalase (CAT) o grupo CS foi maior que o CT (p<0,05), e na atividade da GPx, o grupo CT foi menor que o T (p<0,05). A LPO do grupo CT foi menor que dos grupos S e CS (p<0,05). Com relação à análise de EO sistêmico, a atividade da SOD esteve aumentada no grupo CS com relação ao S (p<0,05). A CAT não apresentou diferenças significativas entre os grupos. Com relação à atividade da GPx, os grupos T e CS estiveram aumentados com relação ao grupo CT (p<0,05), porém somente o grupo T aumentou com relação ao S (p<0,05). Na análise do miocárdio os resultados encontrados na atividade da superóxido dismutase (SOD) os grupos C e CT tiveram aumento significativo (p<0,05) com relação ao grupo CS; da catalase (CAT) os grupos T e CS estiveram diminuídos com relação ao grupo CT (p<0,05), porém somente o grupo T esteve diminuído com relação a S (p<0,05); na atividade da GPx o grupo CS foi maior que S (p<0,05) e na LPO não houver diferença significativa entre os grupos. Na perfusão de coração isolado foi observada diferença (p<0,05), sendo a pressão diastólica ventricular esquerda do grupo CS maior que T durante a isquemia. Concluímos que o organismo foi capaz de se adaptar a ausência de estrogênio e que o exercício físico promoveu uma menor oxidação de proteínas nos animais castrados, não apresentando modificações ente os grupos com relação ao estresse oxidativo e mecânica dos corações de ratas treinados sob distintos níveis estrogênicos.

Ser família convivendo com a criança dependente de ventilação mecânica : uma abordagem do cuidado de enfermagem

Este estudo buscou evidenciar o processo de cuidado às famílias de crianças dependentes de ventilação mecânica em uma unidade de terapia intensiva pediátrica (UTIP); compreender de que modo a família vivencia o cuidado de um filho dependente de ventilação mecânica durante a hospitalização e como a família cuida o filho dependente de ventilação mecânica no domicílio. É uma pesquisa qualitativa, do tipo convergente assistencial, desenvolvida com quatro famílias na Unidade de Terapia Intensiva Pediátrica, de um hospital geral e universitário da cidade de Porto Alegre-RS e no domicílio de duas dessas famílias. Para a coleta das informações foram utilizadas a entrevista semi-estruturada e a observação participante, propostas por Triviños (1994), e a análise de documentos. Neste estudo, a análise das informações baseou-se em Trentini e Paim (1999), as quais enfatizam que na pesquisa convergente assistencial, como em qualquer pesquisa qualitativa, a análise das informações se desenvolve em quatro etapas, mais ou menos seqüenciais: apreensão, síntese, teorização e re-contextualização. O projeto foi avaliado pelo Comitê de Ética da instituição, e as exigências para as pesquisas com seres humanos foram cumpridas. No trabalho é desvelado o processo de cuidado às famílias de crianças dependentes de ventilação mecânica enquanto ainda estão na UTIP, com ênfase no cuidado de enfermagem e no preparo da família para a alta da criança utilizando a ventilação mecânica. Após a análise dos dados coletados junto às famílias, emergiram dois grandes temas com vários subtemas O primeiro tema mostra a trajetória das famílias cuidando a criança dependente de ventilação mecânica no contexto da UTIP. Desvela suas dificuldades de adaptação ao ambiente, a necessidade de manter a família unida, os problemas financeiros que enfrentam e a necessidade de reorganização familiar. O segundo tema mostra o cuidar e o conviver das famílias com a criança no domicílio, a necessidade de uma novaorganização familiar, os sentimentos de insegurança e medo vivenciados na permanência em casa e a necessidade de apoio. Os resultados deste estudo oferecem aos profissionais e acadêmicos da área da Saúde, especialmente os da enfermagem, subsídios a serem utilizados na prática de cuidado com famílias, para que possam identificar as necessidades e as forças de cada família a fim de concretizar o planejamento, a implementação e a avaliação das intervenções a serem realizadas com o objetivo de auxiliá-las no enfrentamento de sua trajetória de vida.

Compostos nominais em língua alemã em medicina em tradução para o português

Este trabalho observa e descreve o processo de composição de termos em textos de Medicina em língua alemã e sua tradução para o português. Ao buscar o reconhecimento de padrões de construção da terminologia e da sua tradução, a pesquisa faz uma revisão da literatura que inclui o tratamento gramatical e lexicográfico dos compostos em alemão, de trabalhos que tratam da tradução de Komposita, além de revisar fundamentos teóricos de Terminologia e de Tradução e sua relação com a composição de termos. A perspectiva adotada pela pesquisa vincula Lingüística de Corpus e enfoques de perspectiva textual de Terminologia, além de relacionar padrões de tradução de compostos a uma maior ou menor inserção cultural do texto traduzido. O trabalho apresenta um levantamento quantitativo e qualitativo de ocorrências de compostos e de suas traduções em um corpus formado por textos didáticos de Medicina nas subáreas Fisiologia e Genética. O corpus alinhado alemão-português é composto por 99 parágrafos de texto. A diversidade de escolhas de tradução verificada e a concentração de escolhas no padrão substantivo+preposição+substantivo apontam uma baixa inserção cultural da tradução produzida para o português

Gasto energético de pacientes em ventilação mecânica: estudo comparativo das modalidades controlada e assistida através da calorimetria indireta

A necessidade de estimar com precisão o gasto energético dos pacientes gravemente doentes é cada vez mais importante para que se possa planejar uma nutrição adequada. Está bem estabelecido que tanto a desnutrição quanto o excesso alimentar prejudicam a evolução favorável destes doentes, especialmente quando estão sob ventilação mecânica. O objetivo do presente estudo foi comparar o Gasto Energético Total (GET) dos pacientes ventilados mecanicamente nos modos controlado e assistido, através da calorimetria indireta, medidos pelos monitores de gases TEEM-100 e DATEX-OHMEDA, verificando a necessidade de ajuste no aporte calórico em cada modo, correlacionando-os com a equação de Harris-Benedict (H-B). Foram estudados 100 pacientes em que os gases exalados (CO2 e O2) foram medidos durante 20 minutos em cada modo ventilatório (controlado e assistido) e o gasto energético calculado pela fórmula de “Weir”, determinando o GET, em 24 horas e comparado com o GET estimado pela equação de H-B. A média do escore APACHE II foi 21,1± 8,3. A média dos valores estimados pela equação de H-B foi de 1853,87±488,67 Kcal/24 h, considerando os fatores de atividade e estresse. Os valores médios obtidos pela calorimetria indireta (CI) foram de 1712,76 ±491,95 Kcal/24 h para a modalidade controlada e de 1867,33±542,67 Kcal/24 h para a assistida. A média do GET na modalidade assistida foi de 10,71% maior do que na controlada (p<0,001). A comparação das médias do GET, obtidos por CI com a equação de H-B ajustada para fatores de atividade e estresse demonstraram que a equação superestimou em 141,10 Kcal/24 h (8,2%) (p=0,012), quando na modalidade controlada. Retirando-se os fatores de atividade, observou-se uma tendência não significativa a subestimar em 44,28 Kcal/24 h (2,6%) (p=0,399). Quando na modalidade assistida, a comparação com H-B sem o fator de atividade, a medida por CI subestima em 198,84 Kcal/24 h, (10,71%), (p=0,001), enquanto que com o fator de atividade também subestimam, mas em 13,46 Kcal/24 h (0,75%) sem significância estatística (p=0,829). As diferenças observadas com o uso ou não de vasopressor, presença ou não de infecção e sepse como causa de internação na UTI, o tipo de dieta parenteral ou enteral ou sem dieta, e as faixas etárias não tiveram significância estatística, portanto não tiveram influência no gasto energético entre os modos ventilatórios. Os homens quando ventilando no modo controlado gastaram mais energia em relação às mulheres (1838,08 vs. 1577,01; p=0,007). Concluindo-se, os dados sugerem que devemos considerar o fator de atividade de 10%, somente quando em VM assistida, uma vez que este fator de atividade determina hiperalimentação, quando no modo controlado.

Traduzindo Moll Flanders : as versões de Lucio Cardoso e Antônio Alves Cury sob a perspectiva dos estudos de tradução

Os fenômenos da tradução, assim como vários dos diversos percursos históricos e teóricos apresentados ao longo da História sobre o tema, serão explicitados e discutidos. A avaliação comparatista de duas traduções de Moll Flanders, de autoria de Daniel Defoe, será desenvolvida, levando-se em consideração as concepções mais atuais dos Estudos de Tradução, como a teoria da Reescritura de Andre Lefevere. Aspectos como o status do tradutor, assim como o sistema literário do qual este provém, são fatores que também serão pertinentes às referidas análises críticas.

Tradução, adaptação e validação do Defensive Style Questinnaire (DSQ-40) para o português brasileiro

O estudo dos mecanismos de defesa do ego tem servido como indicativo do modo típico de um indivíduo lidar com os conflitos. Os mecanismos de defesa podem ser agrupados em três fatores alocados de forma hierárquica: fatores maduros, neuróticos e imaturos. Bond desenvolveu um questionário objetivo e auto-aplicável, o Defensive Style Questionnaire – DSQ, que visa identificar os derivados conscientes dos mecanismos de defesa. O objetivo desse estudo é o de descrever o processo de tradução do Defensive Style Questionnaire (DSQ-40) versão em português e avaliar a confiabiidade, validade de conteúdo de constructo dessa versão do instrumento. Métodos: A primeira versão da escala foi apresentada para cinco indivíduos, com graus diferentes de escolaridade, que efetuaram pequenos ajustes de linguagem. Posteriormente, a escala foi apresentada para três “experts”, que avaliaram a validade de conteúdo do instrumento. A versão final foi retraduzida e apresentada para o autor do instrumento original que aceitou essa versão do DSQ-40. Posteriormente foi avaliada a confiabilidade e validade da versão em português do Defensive Style Questionnaire (DSQ-40). A amostra constitui-se de 339 indivíduos. Uma subamostra (n=75) foi avaliada também pelo MMPI, e outra subamostra (n=66) foi também avaliada pelo DFS (Escala de Funcionamento Defensivo). Resultados: Houve necessidade de pequenos ajustes no vocabulário em oito questões e modificações na linguagem em quatro questões, resultando na versão final do instrumento. A média de correlação dos “experts” com cada defesa foi de 89%, e dos fatores maduros, imaturos e neuróticos foi de 100%. A análise fatorial do instrumento forneceu uma distribuição das defesas semelhante ao instrumento original. A avaliação teste-reteste demonstrou boa correlação intraclasse em todos os fatores. O uso de defesas imaturas e neuróticas foi maior entre os pacientes que os controles (p<0,05). Houve correlação entre o nível defensivo de acordo com o DFS (p=0,006) e MMPI (p=0,004) e as defesas imaturas. Conclusões: A adaptação do DSQ-40 por diferentes indivíduos com diferentes graus de escolaridade e pelo grupo de experts possibilitou o ajuste à realidade sociocultural brasileira. Os dados do presente estudo indicam que a versão em português do DSQ-40 possui características psicométricas que permite o seu uso na nossa cultura.

Proposta de método combinado de custeio em ambiente híbrido de produção seriada e sob encomenda : aplicação numa indústria metal-mecânica

Resumo não disponível.

Avaliação de alterações cardiorespiratórias em pacientes criticamente enfermos por dois métodos de desmame da ventilação mecânica

Resumo não disponível.

Estudo das propriedades mecânicas de juntas soldadas em alta velocidade pelo processo de fricção e mistura mecânica

Na tentativa de produzir componentes cada vez mais leves e seguros a industria automotiva vem continuamente atualizando seus produtos no que diz respeito à associação de materiais, uso de uniões por solda, utilização de ligas leves em substituição de ligas de aço e etc. Três são os motivos básicos para estas mudanças: aumento da segurança dos passageiros, diminuição do consumo de combustível e redução os custos de produção. As ligas de alumínio, em sua maioria desenvolvidas para uso em tecnologia aeronáutica, vêm ganhando espaço também na produção de automóveis de passeio. Um dos maiores problemas apresentados pelas ligas de alumínio é a baixa soldabilidade dificultando a produção de componentes como os conhecidos Tailor Welded Blanks (TWB). TWB consiste em unir através de solda materiais de espessura e ou propriedades mecânicas diferentes formando uma geratriz para posterior estampagem de um componente Este trabalho inova confeccionando juntas a partir de chapas de espessuras diferentes (TWB) através de soldagem por fricção e mistura mecânica (SFMM) a partir de ligas de alumínio com velocidades de soldagem convencionais (1m/min) e em altas velocidades atingindo 5 e 10m/min dependendo da liga. Duas ligas de alumínio foram utilizadas, AA5754 (não tratável termicamente) e AA6181 (tratável termicamente). Foram realizados ensaios metalográficos, perfis de microdureza, ensaios de tração. Foram realizados também ensaios para levantamento de curvas limite de conformação através de ensaios de tração em corpos de prova etalhados e ensaios de estampabilidade. Os resultados mostram que o processo SFMM é adequado para soldas de espessuras diferentes em altas velocidades. Os ensaios de microdureza não apresentam as típicas variações observadas em processos de soldagem convencional, os testes mecânicos apresentam bons resultados, especialmente paras as juntas da liga AA6181 que em ambas as condições de soldagem apresentaram valores de tensão próximos aos valores do material de base. Os testes de estampagem mostram que as juntas da liga AA5754 apresentam desempenho superior ao material de base quando conformadas, desta forma provando que essa técnica pode ser utilizada para fabricação de geratrizes para estampagem de componentes.

Modelos mentais em mecânica introdutória : uma simulação computacional

Neste trabalho utilizamos inicialmente as descrições dos possíveis modelos mentais construídos por estudantes de Física Geral na área de Mecânica Clássica, segundo a perspectiva teórica de Philip N. Johnson-Laird (1983), pesquisadas por Lagreca (1997 e 1999). A partir destas descrições, estendemos seus resultados de acordo com uma revisão da literatura, procurando a formação de possíveis modelos simuláveis computacionalmente. O Qsim (Kuipers, 1994) foi o algoritmo de simulação escolhido para o nosso trabalho, devido à semelhança com pesquisas analíticas encontradas sobre o pensamento dos estudantes. Para a simulação, implementamos dois modelos. O modelo newtoniano utiliza noções semelhantes às idéias de Newton, pelo menos com as forças de contato e o atrito com dependência direta com a velocidade. O modelo do impetus possui a concepção de força proporcional à velocidade com o atrito constante. Neste último caso não foi possível a construção de simulações a partir de um atrito dependente da velocidade, devido ao reconhecimento do programa de apenas uma única função crescente. Além disso, simulamos três modelos provenientes do modelo do impetus quando a situação envolve queda na presença da força gravitacional Para a simulação dos modelos, selecionamos alguns problemas para estudo. Iniciamos com o estudo do movimento horizontal e, em seguida, os problemas do páraquedista, do penhasco e do movimento balístico. Comparamos os resultados com algumas concepções dos estudantes encontradas em pesquisas analítico-qualitativas, mostrando que muitas concepções surgiam naturalmente da manipulação dos modelos nos problemas. Isto sugere que a abordagem dos modelos mentais seja mais ampla que a das concepções alternativas e que muitas dessas concepções possam ser reflexos da manipulação dos modelos em algumas situações.

Avaliação da ventilação mecânica não-invasiva, com pressão positiva, no manejo de pacientes em desmame difícil da ventilação mecânica invasiva

Resumo não disponível