El Aprendizaje basado en el método del caso en el grado de Derecho: ¡aborto legal o ilegal!

Las nuevas metodologías docentes basadas en el desarrollo de competencias, entendidas como “la capacidad de que el alumno haga frente a situaciones problemáticas y resolverlas” obligan a plantear que la resolución de problemas permite que el alumno alcance los objetivos de aprendizaje y con ellos, las competencias que pretendemos. A través del “Método Del Caso” trataremos de desarrollar un sistema de autoaprendizaje del alumno para lo que consideramos necesario, en primer lugar, plantear un caso concreto y en la medida de lo posible real, para que el alumno seguidamente pueda estudiar el supuesto planteado con los materiales que aportaremos de forma individual (doctrinales, jurisprudenciales…) y realice un informe previo en relación con la resolución del caso planteado, concluida esta fase inicial, será necesario que el alumno participe en un grupo pequeño de compañeros con el fin de poder contrastar las vías de solución adoptadas y finalmente, concluir con la exposición y discusión de las decisiones adoptadas con el resto de alumnos del curso (grupo grande) y tras debatir todas las propuestas presentar de forma individual un informe final en el que deberán expresar: a- las cuestiones fundamentales planteadas en el caso, y, b- los argumentos jurídicos y jurisprudenciales de la decisión que adoptan con el fin de resolver la cuestión planteada, teniendo en consideración las estrategias que consideran más oportunas para favorecer los intereses de sus clientes

El método de reducción en Teoría de la Computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Estos resultados proporcionan importantes herramientas que se utilizan para demostrar tanto la computabilidad como la incomputabilidad de muchas funciones relevantes. Los primeros problemas incomputables que se encontraron lo fueron allá por la década de los años 30. El problema de parada es el primer y más conocido ejemplo de problema no resoluble mediante técnicas algorítmicas: ningún ordenador, por muy potente que sea, puede anticipar el comportamiento de los programas en ejecución, y decidir de antemano si terminarán o no. Este problema nos proporciona un soporte intuitivo para anticipar la incomputabilidad de otros problemas relacionados y un procedimiento para resolverlos: el método de diagonalización. Sin embargo para determinados problemas también incomputables hay que recurrir a otros métodos. Este texto incluye una descripción de otra técnica básica de Teoría de la Computabilidad: la Reducción. La base del método estriba en demostrar que ciertos pares de problemas están fuertemente relacionados de modo que si el segundo tiene solución algorítmica entonces el primero debe tenerla necesariamente también. Esta relación se establece por medio de funciones transformadoras computables, que permiten convertir de manera automática las instancias positivas del primer problema en instancias positivas del segundo. Esta técnica se utiliza muy a menudo porque resulta comparativamente más sencilla que la diagonalización, ya que en general requiere menos esfuerzo para demostrar la incomputabilidad de un mismo problema.

Problemas constitucionales originados por las disposiciones cuarta y décima para el cobro eficiente de las acreencias del Estado de la Ley de Fomento Ambiental y Optimización de los Ingresos del Estado frente a la tutela judicial efectiva e irretroactividad en materia tributaria

El presente trabajo académico abarca un análisis en el que se define la vulneración de principios y derechos constitucionales y tributarios; así como también se constatan los vicios de forma y/o de fondo en la aprobación de la Ley de Fomento Ambiental y Optimización de los Ingresos del Estado (en adelante LFAIOE). Para llegar a comprobar dicha hipótesis fue utilizado el método analítico, como la misma palabra lo indica, se analizó cada paso del procedimiento adoptado para la aprobación de la mencionada ley, que en ejercicio de sus atribuciones constitucionales el señor Presidente de la República, presentó ante la Asamblea Nacional el proyecto de LFAOIE, calificado como de urgencia en materia económica. La presente investigación pretende demostrar las violaciones al procedimiento legislativo establecido en la Constitución de la República (en adelante Constitución) para la aprobación de las leyes que crean, modifican o suprimen tributos; es decir, los cuestionamientos constitucionales de forma que, desde el personal punto de vista de quien presenta esta investigación, han ocurrido en el trámite y promulgación de la LFAOIE. Comprende también el presente trabajo, un análisis de las disposiciones cuarta y décima para el cobro eficiente de las acreencias del Estado, constantes en la aludida Ley, que tiene como propósito evidenciar la vulneración del principio de irretroactividad de la ley tributaria en perjuicio de los contribuyentes; y la violación a la garantía constitucional de la tutela judicial efectiva, y a la seguridad jurídica; es decir, cuestionamientos constitucionales de fondo a la LFAOIE. La parte final del trabajo contiene algunas reflexiones sobre los efectos jurídicos que la aplicación de las disposiciones cuarta y décima ocasionó en los procesos contenciosos tributarios que se encontraban en conocimiento de los jueces competentes al momento de la entrada en vigencia de la manifestada LFAOIE.

A mediação como método adequado de solução de conflitos e forma de restabelecer as relações interpessoais

Este trabalho vem trazer ao leitor um estudo sobre os tipos de soluções alternativas de resolução de conflito com o enfoque na mediação. Desde o princípio da humanidade sempre houve a necessidade de uma pessoa para interpretar ou auxiliar povos com idiomas e costumes diferentes e, esse método foi trazido até a atualidade, principalmente, como uma forma de solucionar os conflitos. A mediação é uma prática que permite as partes envolvidas solucionar o litígio sem precisar do judiciário, preservando assim o relacionamento existente entre as partes. O mediador deve ser um profissional experiente, empático e principalmente imparcial, para conseguir ouvir as partes e não tomar partido, além de ser multidisciplinar devido as várias e diferentes necessidades que surgem nos processos. É preciso também que ele seja habilidoso porque caso as partes não consigam pensar em uma solução para o problema. Outras formas de soluções alternativas serão apresentadas como a negociação, arbitragem e a conciliação explicando os conceitos e sua aplicabilidade para melhorar o sistema Judiciário.

A mediação como método adequado de solução de conflitos e forma de restabelecer as relações as interpessoais

Este trabalho vem trazer ao leitor um estudo sobre os tipos de soluções alternativas de resolução de conflito com o enfoque na mediação. Desde o princípio da humanidade sempre houve a necessidade de uma pessoa para interpretar ou auxiliar povos com idiomas e costumes diferentes e, esse método foi trazido até a atualidade, principalmente, como uma forma de solucionar os conflitos. A mediação é uma prática que permite as partes envolvidas solucionar o litígio sem precisar do judiciário, preservando assim o relacionamento existente entre as partes. O mediador deve ser um profissional experiente, empático e principalmente imparcial, para conseguir ouvir as partes e não tomar partido, além de ser multidisciplinar devido as várias e diferentes necessidades que surgem nos processos. É preciso também que ele seja habilidoso porque caso as partes não consigam pensar em uma solução para o problema. Outras formas de soluções alternativas serão apresentadas como a negociação, arbitragem e a conciliação explicando os conceitos e sua aplicabilidade para melhorar o sistema Judiciário.

Paralelização de métodos de resolução de sistemas lineares esparsos com o DECK em um Cluster de PCs

O objetivo desta dissertação é a paralelização e a avaliação do desempenho de alguns métodos de resolução de sistemas lineares esparsos. O DECK foi utilizado para implementação dos métodos em um cluster de PCs. A presente pesquisa é motivada pela vasta utilização de Sistemas de Equações Lineares em várias áreas científicas, especialmente, na modelagem de fenômenos físicos através de Equações Diferenciais Parciais (EDPs). Nessa área, têm sido desenvolvidas pesquisas pelo GMC-PAD – Grupo de Matemática da Computação e Processamento de Alto Desempenho da UFRGS, para as quais esse trabalho vem contribuindo. Outro fator de motivação para a realização dessa pesquisa é a disponibilidade de um cluster de PCs no Instituto de Informática e do ambiente de programação paralela DECK – Distributed Execution and Communication Kernel. O DECK possibilita a programação em ambientes paralelos com memória distribuída e/ou compartilhada. Ele está sendo desenvolvido pelo grupo de pesquisas GPPD – Grupo de Processamento Paralelo e Distribuído e com a paralelização dos métodos, nesse ambiente, objetiva-se também validar seu funcionamento e avaliar seu potencial e seu desempenho. Os sistemas lineares originados pela discretização de EDPs têm, em geral, como características a esparsidade e a numerosa quantidade de incógnitas. Devido ao porte dos sistemas, para a resolução é necessária grande quantidade de memória e velocidade de processamento, característicos de computações de alto desempenho. Dois métodos de resolução foram estudados e paralelizados, um da classe dos métodos diretos, o Algoritmo de Thomas e outro da classe dos iterativos, o Gradiente Conjugado. A forma de paralelizar um método é completamente diferente do outro. Isso porque o método iterativo é formado por operações básicas de álgebra linear, e o método direto é formado por operações elementares entre linhas e colunas da matriz dos coeficientes do sistema linear. Isso permitiu a investigação e experimentação de formas distintas de paralelismo. Do método do Gradiente Conjugado, foram feitas a versão sem précondicionamento e versões pré-condicionadas com o pré-condicionador Diagonal e com o pré-condicionador Polinomial. Do Algoritmo de Thomas, devido a sua formulação, somente a versão básica foi feita. Após a paralelização dos métodos de resolução, avaliou-se o desempenho dos algoritmos paralelos no cluster, através da realização de medidas do tempo de execução e foram calculados o speedup e a eficiência. As medidas empíricas foram realizadas com variações na ordem dos sistemas resolvidos e no número de nodos utilizados do cluster. Essa avaliação também envolveu a comparação entre as complexidades dos algoritmos seqüenciais e a complexidade dos algoritmos paralelos dos métodos. Esta pesquisa demonstra o desempenho de métodos de resolução de sistemas lineares esparsos em um ambiente de alto desempenho, bem como as potencialidades do DECK. Aplicações que envolvam a resolução desses sistemas podem ser realizadas no cluster, a partir do que já foi desenvolvido, bem como, a investigação de précondicionadores, comparação do desempenho com outros métodos de resolução e paralelização dos métodos com outras ferramentas possibilitando uma melhor avaliação do DECK.

Avanços no método LTSn para cálculo de criticalidade e desenvolvimento da primeira versão do código LTSn

O objetivo deste trabalho consiste no desenvolvimento de alguns avanços, teóricos e numéricos, no método LTSN visando implementar a primeira versão de um código computacional, para resolver a equação de transporte utilizando formulação LTSN na forma de multigrupos em geometria plana. Os avanços para o método LTSN estão fundamentados na solução iterativa para o sistema de equações que constituem as condições de contorno, um novo método para a busca do valor de keff baseado no método da bissecção. O desenvolvimento desta metodologia permitiu realizar o calculo muito rápido com altas ordens de quadratura e com esforço computacional muito reduzido. Juntos os avanços matemáticos e numéricos, implementados nesta primeira versão de um código fortran, tal como nos códigos já conhecidos permite solucionar a equação de transporte na forma de multigrupos, tanto para o cálculo direto como para o adjunto, com fontes arbitrárias. Este código utiliza de recursos computacionais da linguagem FORTRAN e as bibliotecas LAPACK, para a otimização de seus algoritmos, facilitando o desenvolvimento futuro. A validação deste trabalho foi feita utilizando dois problemas: um relativo ao fluxo angular e escalar, tanto para o fluxo direto como para o adjunto, cuja importância está relacionada com busca de convergência, relação de reciprocidade e comprovação da solução adjunta, e; um problema de criticalidade, para comprovar a eficácia do algoritmo de busca iterativa de keff e espessura crítica. Com este trabalho se abrem muitas possibilidades tanto teóricas como numéricas a investigar com o método LTSN.

Simulação numérica de escoamentos hipersônicos em não-equilíbrio termo-químico através do método dos elementos finitos

o presente trabalho tem por objetivo desenvolver um código computacional destinado à simulaçáo numérica tridimensional e de escoamentos compressíveis hipersônicos em especial para analisar o processo de reentrada de veículos espaciais na atmosfera terrestre. Devido ás temperaturas elevadas encontradas neste tipo de escoamento, efeitos de altas temperaturas sáo incluídos, como excitação vibracional das moléculas e reações químícas. Utiliza-se o modelo de 2 temperaturas (translacional e vibracional);5 espécíes (N2, O2, NO, N, O) e 17 reações químicas de Park [1986 para o modelamento do fenômeno termo-químico. Introduz-se uma formulação baseada no método dos elementos finitos, através do esquema de Taylor-Calerkin, para a discretização do tempo e do espaço e para a solução do sistema de equações. Alguns exemplos e aplicações de problemas hipersônicos bi e tridimensionais, difusivos e não difusivos, são apresentados, incluindo comparações entre os resultados obtidos no presente trabalho e na literatura.

O método de divisão-e-conquista na solução de auto-sistemas de matrizes simétricas

O presente trabalho apresenta um estudo do método de divisão-e-conquista para solução dos auto-sistemas de matrizes tridiagonais simétricas. Inicialmente, explanamos a parte teórica, e posteriormente, por meio de exemplos numéricos mostramos seu funcionamento. Para a realização deste estudo, utilizou-se o software Maple como ferramenta auxiliar. Realizamos comparações e análises dos auto-sistemas encontrados com as rotinas DSTEDC e DSTEQR do LAPACK, que utilizam respectivamente o método de divisão-e-conquista e o método QR e também comparamos estes com os resultados encontrados por nós. Verificamos por meio de testes os tempos, que as rotinas citadas, dispendem na resolução de alguns auto-sistemas. Os resultados apresentados mostram que o método de Divisão-e-Conquista é competitivo com o método tradicional, QR, para o cálculo de autovalores e autovetores de matrizes tridiagonais simétricas.

Análise numérica de problemas de fratura elástica e elastoplástica

Este trabalho apresenta o método dos elementos finitos em conjunto com métodos numéricos especificos para a solução de problemas de fratura. Esta é uma poderosa ferramenta para a análise de fraturas e soluções confiáveis são obtidas para problemas complexos de Engenharia tanto no campo linear como no não-linear. O elemento finito. implementado é do tipo isoparamétrico quadrâtico da família Serendipity. Com dois graus de liberdade por nó, permite discretizar em estado plano de tensão ou deformação estruturas com geometrias bastante variadas. Para a análise linear são implementadas quatro técnicas consagradas para a avaliação do fator de intensidade de tensão no modo I de fratura: extrapolação de doslocamentos (usando malha somente com elementos convencionais e malha mesclada com elementos especiais), taxa de liberação de energia de defermação, extensão virtual da trinca e o método da integral J, descartando-se neste caso a hipótese de descarregamento. A linguagem de programação adotada é o FORTRAN 77. A entrada de dados é feita por intermédio de arquivos previamente preparados. Os resultados obtidos são confrontados com resultados experimentais e computacionais fornecidos por outros programas. Analisam-se placas, estruturas de uso na indústria e simulam-se ensaios como o corpo de prova de flexão em três pontos e o corpo de prova de tensão. compacto.

A resolutividade dos problemas de saúde : opinião de usuários em uma unidade básica de saúde

Este é um estudo qualitativo do tipo descritivo exploratório. Teve como objetivo conhecer as opiniões dos usuários sobre a resolutividade de seus problemas de saúde no atendimento em uma unidade básica de saúde localizada no bairro Partenon, Porto Alegre, Rio Grande do Sul. Participaram desta pesquisa 25 usuários, que utilizam o atendimento na unidade básica, em média, há 11 anos. Os dados foram coletados por meio de entrevista semi-estruturada, sendo após submetidos ao método de análise de conteúdo segundo Bardin (1977). Para a esquematização do processo gradativo de categorização seguiu-se Moraes (1999). A partir da análise dos dados, emergiram cinco temas: opinião dos usuários sobre saúde e problemas de saúde, determinantes da procura pelo serviço, expectativas dos usuários com relação ao atendimento na unidade básica de saúde, a presença de resolutividade dos problemas de saúde no atendimento aos usuários e o processo participativo em movimentos organizativos e/ou associações comunitárias. Este estudo procurou identificar, no cotidiano do atendimento, se a resolutividade faz-se presente e espera-se que ele possibilite a reflexão de profissionais de saúde sobre o atendimento prestado, sua adequação, competência, criatividade, qualidade e resolutividade para o atendimento dos problemas aportados pelos usuários na unidade básica e, nessa medida, contribua de alguma forma para que as ações praticadas no serviço possam conduzir ao atingimento de uma alta resolutividade, como um dos desafios a ser alcançado pelo Sistema Único de Saúde.

Análise de estruturas de concreto armado sujeitas à corrosão de armadura por cloretos através do método dos elementos finitos

A corrosão da annadura é um dos principais problemas para um grande número de es1ruturas de concreto annado por causa da redução substancial da área de aço, da perda de aderência, da fonnação de fissuras e lascamento do concreto. O modelo tridimensional proposto por este trabalho é baseado no processo de corrosão iniciado por ataque de cloretos e propagado a partir de micropilhas de corrosão, utilizando o método dos elementos finitos. A influência da temperatura, da umidade relativa do concreto, da ligação dos cloretos com compostos do concreto, da fonnação de fissuras provenientes do carregamento e da resistência ôhmica do concreto são levados em consideração. O modelo é dividido em 4 módulos que interagem entre si, sendo eles: análise estrutural, transferência de calor, difusão de cloretos e corrosão eletroquímica. O modelo computacional para a análise estrutural utiliza dois procedimentos. No primeiro busca-se a resposta da estrutura para um carregamento instantâneo, considerando-se o material com comportamento elasto-viscoplástico, associado com modelos de annadura incorporada e fissuras distribuídas.No segundo, detennina-se a resposta da estrutura ao longo do tempo com a teoria da solidificação proposta por Bazant e Prasannan (1989), utilizando as cadeias Kelvin, apresentando ótimos resultados com uma grande economia computacional. O processo de transferência de calor é baseado na fonnulação tridimensional da equação de Helmholtz, com condições de contorno de fluxos provenientes da radiação solar, convecção e radiação, apresentando bons resultados em relação a fonnulações analíticas. Para análise de vigas com a variação da temperatura média diária, constatou-se que as mesmas se encontram em equilíbrio ténnico com o ambiente A análise de difusão de cloretos implementada apresentou um comportamento idêntico ao da segunda lei de Fick para casos unidimensionais. Para análises de vigas carregadas se constatou que as fissuras provenientes de cargas de serviço não influenciam o processo de difusão e que o coeficiente de difusão referencial é o principal parâmetro na análise. O modelo de corrosão eletroquímica é baseado na fonnulação proposta por Liu (1996), obtendo-se como resultado a taxa de corrosão em função do tempo.

Estudo, proposta e previsão de desempenho de um filtro de energia para experimentos com alta resolução de comprimento de onda em fontes pulsantes de nêutrons

Em fontes de nêutrons por spallation para pesquisa de materiais, o comprimento de onda dos nêutrons é geralmente determinado pelos tempos de percurso (TOF) dos nêutrons desde a fonte até o detector. A precisão atingível é limitada pelo fato de o tempo de emissão do pulso característico do sistema alvo/moderador ser diferente de zero (a situação ideal fictícia seria a emissão se ocorresse na forma de um impulso). “Moderadores acoplados” (elementos usados para produzir feixes de alta intensidade com nêutrons de baixa energia) apresentam um decaimento de intensidade em função do tempo muito longo, ao longo de todo o espectro usado nos experimentos. Por este motivo, “moderadores desacoplados”, os quais produzem feixes com intensidade mais reduzida, são freqüentemente usados para instrumentos que requerem alta resolução. Neste trabalho, propusemos e analisamos uma nova técnica de filtragem dinâmica de feixes de nêutrons polarizados de baixa energia para experimentos que utilizam TOF na determinação do comprimento de onda. O dispositivo consiste de um sistema ótico polarizador/analisador e um inversor de spin seletivo em energia, o qual funciona por ressonância espacial do spin. Variando a condição de ressonância em sincronia com a estrutura temporal do pulso de nêutrons (através do controle de campos magnéticos), o filtro pode ajustar a resolução de energia (ou de comprimento de onda) de pulsos de banda larga em tais experimentos, separando os nêutrons com a correta relação “TOF/comprimento de onda” dos demais Um método para o cálculo de desempenho do sistema foi apresentado em um Trabalho Individual (TI) (PARIZZI et al., 2002 - i), do qual se fará aqui uma breve revisão além de amplo uso na otimização dos parâmetros a serem ajustados para o projeto do filtro. Os resultados finais mostram que ganhos consideráveis em resolução podem ser obtidos com a aplicação desta técnica em experimentos de reflectometria por tempo de percurso, sem que para tal seja necessário comprometer a intensidade do feixe usado pelo mesmo instrumento quando operado em um modo de baixa resolução, dando ao usuário do instrumento a opção de escolher a relação ótima entre intensidade e resolução para seu experimento. Como parte da conclusão desta dissertação, é apresentada uma proposta de parâmetros para a construção deste tipo de filtro e previsão de desempenho da configuração proposta, baseada no software de modelamento desenvolvido.

Uma abordagem analítica para a solução de problemas multidimensionais de secagem baseados no modelo de Luikov

Este trabalho pretende, na visão de novas tecnologias, discutir o processo de forjamento das ligas de alumínio (ABNT 6061), buscando propor uma metodologia baseada na ciência da engenharia. Deseja-se minimizar os procedimentos de tentativa e erro no desenvolvimento de processos de conformação. Para tanto, novas tecnologias disponíveis atualmente, tais como o Projeto Assistido por Computador (CAD), a Fabricação Assistida por Computador (CAM) e a Simulação do Processo (CAE) são empregadas. Resultados experimentais mostrando o comportamento da liga ABNT 6061 através das curvas de escoamento bem como o estabelecimento da condição do atrito no processo de conformação, avaliando dois lubrificantes comerciais disponíveis (Deltaforge 31 e Oildag) para aplicações nas ligas de alumínio, são reportados neste trabalho. A comparação dos resultados obtidos de um experimento prático de forjamento com a simulação pelo "Método dos Elementos Finitos" usando o código "QForm" é apresentada para uma peça de simetria axial em liga de alumínio. Finalmente, os resultados obtidos no forjamento de um componente automotivo em liga de alumínio (ABNT 6061), desenvolvido em parceria com a empresa Dana, são analisados e comparados com as simulações computacionais realizadas usando o código "Superforge".

Método de intervenção no processo de programação de recursos de empresas construtoras de pequeno porte através do seu sistema de informação : proposta baseada em estudos de caso

O processo de programação de recursos é parte do planejamento e controle da produção e possui grande importância para o desempenho de empreendimentos de construção. Constitui-se numa atividade multifuncional, envolvendo a direção da empresa e seus departamentos de marketing, finanças, recursos humanos e suprimentos. Sua ineficácia tem sido identificada como responsável por muitos dos problemas relacionados à dilatação do prazo de execução do empreendimento, ao desperdício de recursos e à baixa produtividade da mão-de-obra. Considerando que o desempenho da programação de recursos está fortemente relacionado à quantidade e qualidade das informações que a suportam, o presente trabalho tem como objetivo a proposição de um método de intervenção direcionado ao sistema de informação deste processo. O método proposto divide-se em duas etapas: o diagnóstico inicial do sistema de informações e, posteriormente, o planejamento e implantação de ações de melhoria. O método foi aplicado em estudos de caso realizados em empresas de pequeno porte, nas quais foi implementada a programação formal de recursos, sendo constatada a mudança de atitude dos funcionários frente aos processos de planejamento da produção e programação de recursos.