1000 resultados para Teoria da termodinâmica aplicada
Resumo:
Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica - Manutenção e Produção
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica
Resumo:
A investigação dos últimos 10 anos mostra que pelo menos 10% dos doentes admitidos em estabelecimentos hospitalares vão sofrer danos decorrentes da prestação dos cuidados de saúde. É da responsabilidade do profissional de saúde evitar que isso aconteça. No entanto, poucos profissionais registam os seus erros e menos ainda são os que os analisam, o que dificulta a aprendizagem e a prevenção de ocorrências semelhantes no futuro. Paradoxalmente, o primeiro passo para a criação de um sistema eficaz de promoção da segurança do doente é aumentar a visibilidade do erro e da lesão decorrentes dos cuidados de saúde. Para isso concorrem os sistemas de relatos de incidentes, as auditorias, a revisão de processos e a monitorização de indicadores clínicos. A análise dos dados obtidos permite identificar as áreas que necessitam de medidas de correcção, bem como planear a sua implementação. Em dois hospitais do Centro Hospitalar de Lisboa Central (CHLC), o sistema de informação de segurança do doente conta, desde 2003, com cerca de 5 mil relatos de incidentes feitos pelos vários profissionais de saúde. A informação gerada, associada à que é fornecida pelas auditorias clínicas e pelos indicadores clínicos, tem sido aplicada na reorganização de processos e procedimentos, e na implementação de medidas correctivas. O evento adverso tornou-se também mais visível para o próprio doente, que espera da instituição e dos profissionais maior abertura na comunicação dos problemassurgidos durante os cuidados. A avaliação de risco, a prevenção do erro e a promoção da segurança do doente fazem já parte do currículo pré e pós graduado dos profissionais de saúde do CHLC.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica
Resumo:
O intuito desta dissertação é investigar em que medida a Teoria Moderna do Portfólio pode ser aplicada à selecção de um portfólio de canais ou de tácticas de Marketing Digital, de modo a obter o melhor compromisso entre o retorno esperado do investimento e o respectivo risco. Anteriores aplicações da teoria do portfólio ao Marketing, enquanto meio de racionalizar a selecção do portfólio, concentraram-se no uso deste modelo em decisões relacionadas com portfólios de produtos, de clientes e segmentos de clientes, de formatos de retalho e de promoções de preço. Não se encontraram evidências de que a abordagem proposta neste texto tenha já sido tentada. A evolução tecnológica nas últimas duas décadas trouxe a adopção generalizada de smartphones e tablets e também a revolução da internet, originando a proliferação do e-mail, dos blogs e dos sites de redes sociais. Devido à infinidade de meios para chegar aos consumidores, os marketers enfrentam actualmente grandes desafios no planeamento e na definição das suas estratégias de Marketing. Em resposta, consultoras detêm ferramentas para a análise de portfólios de canais de Marketing que permitem às empresas e aos marketers, em particular, melhorar o desempenho da sua actividade e maximizar o rendimento da sua despesa de Marketing. Contudo, além de dispendiosas e estritamente analíticas, estas ferramentas são muito sofisticadas, baseando-se em algoritmos e raciocínios complexos que nem sempre são evidentes para os marketers, o que dificulta a sua compreensão e consequentemente a sua adopção. Sem uma ferramenta de análise, é frequente os marketers fundamentarem as suas decisões nos resultados das campanhas online anteriores, registados pelas Web Analytics, e na sua experiência profissional. Assim, crê-se que a Teoria Moderna do Portfólio, baseando-se em conceitos estatísticos simples, possa representar para os marketers uma ferramenta útil no apoio à selecção do conjunto de canais ou de tácticas de Marketing Digital que melhor se adequa aos interesses e aos objectivos estratégicos das organizações. A Teoria Moderna do Portfólio tem como principais vantagens a análise e selecção de portfólios com base na sua combinação de retorno esperado e risco de investimento (retorno ajustado ao risco), por oposição a considerar exclusivamente o retorno esperado, e a simplicidade estatística do modelo, por oposição aos softwares das consultoras. O presente estudo fundamentou-se na literatura existente acerca da Teoria Moderna do Portfólio, concebida em 1952 por Harry Markowitz, bem como no conceito de Sharpe Ratio, por William Sharpe, tendo-se revisto também conceitos genéricos de Marketing e Marketing Digital. Dado que a medição do retorno financeiro do investimento em Marketing – central ao estudo – não é tão linear quanto a medição dos retornos de activos financeiros, revelou-se necessário introduzir algumas alterações à teoria do portfólio original. Estas alterações tomaram em consideração as principais conclusões dos estudos anteriores sobre a aplicação do modelo a outras áreas. Para desenvolver o modelo proposto, utilizou-se o Microsoft Excel. Seguidamente, procedeu-se à sua prova de conceito através de uma abordagem empírica, utilizando dados de uma empresa portuguesa de Marketing Digital. Concluiu-se que é possível aplicar a Teoria Moderna do Portfólio à selecção de canais ou tácticas de Marketing Digital de uma empresa, com as devidas adaptações, para determinar as parcelas do orçamento de comunicação de uma organização a alocar a cada tipo de canal ou táctica.
Resumo:
A metodologia TRIZ conhecida como Teoria de Resolução Inventiva de problemas é uma ferramenta de análise, previsão e resolução de problemas que como o seu nome indica, é orientada ao ser humano e é baseada no conhecimento. Uma das suas caraterísticas passa pela inovação, sendo uma boa forma de uma organização se diferenciar através de soluções inovadoras e criativas, que poderão causar grandes vantagens competitivas face à concorrência. Um projeto é uma atividade temporária, de curta ou longa duração, em que o seu objetivo passa pela criação ou alteração de um produto ou serviço já criado anteriormente, sendo para tal muito importante haver alguém responsável pela gestão desse mesmo projeto, onde será feita a aplicação de conhecimento, técnicas e ferramentas em todo o seu ciclo de vida até se chegar ao objetivo definido. A metodologia TRIZ é uma das ferramentas que pode ser aplicada por gestores de projeto, de modo a encontrar soluções inventivas na resolução de problemas que possam surgir. Na presente dissertação o estudo desenvolvido foi feito ao abrigo de uma empresa de consultoria (Winsig), que trabalha com o software PHC e Sage X3. Estas ferramentas informáticas disponibilizam às mais variadas empresas a possibilidade de executar vários serviços essenciais como contabilidade, gestão dos ativos, gestão de stocks, gestão de clientes, logística e distribuição, orçamentos entre outros, tudo informaticamente. Os seus consultores são especializados nestes dois softwares e as suas funções passam por encontrar soluções integradas de gestão, através da comercialização, implementação e prestação de apoio técnico deste tipo de software. Assim sendo este estudo concentrou-se em provar que é possível implementar a metodologia TRIZ em projetos de consultoria independentemente da área de negócio em que esses mesmos projetos se inserem.
Resumo:
As pescarias no reservatório da UHE-Tucuruí no rio Tocantins, Pará, envolvem cerca de 6.000 pescadores e movimentam cerca de R$ 4,2 milhões/ano. A atividade se concentra em três espécies principais: tucunaré Cichla monoculus (capturado com anzol), pescada Plagioscion squamosissimus (capturado com rede e/ou anzol) e mapará Hypophthalmus marginatus (capturado com rede). Com o objetivo de caracterizar os pescadores e as pescarias do reservatório, criar cenários de aumento do esforço pesqueiro e prever os momentos de conflito pela escassez de recursos, foram levantadas informações da literatura e realizadas duas campanhas de coleta de dados nos anos de 1999 e 2000, envolvendo entrevistas com líderes comunitários e pescadores. As seguintes variáveis foram consideradas: desembarque por espécie-alvo (de acordo com os registros fornecidos pelas colônias de pescadores), artes de pesca, estratégias dos pescadores, conflitos e formas de apropriação do espaço e rendimentos da atividade. Estas variáveis foram inseridas em um modelo dinâmico, simulado no software Vensim PLE para um período de 10 anos a partir de 1999. Os resultados indicam que a pesca de anzol é a estratégia mais rentável, e que possíveis momentos de conflito devido à escassez de recursos podem acontecer em curto prazo (2005). A metodologia utilizada para as simulações e análises de risco também se revelou adequada à realidade local e ao conjunto de dados disponíveis.
Resumo:
1) O equilíbrio em populações, inicialmente compostas de vários genotipos depende essencialmente de três fatores: a modalidade de reprodução e a relativa viabilidade e fertilidade dos genotipos, e as freqüências iniciais. 2) Temos que distinguir a) reprodução por cruzamento livre quando qualquer indivíduo da população pode ser cruzado com qualquer outro; b) reprodução por autofecundação, quando cada indivíduo é reproduzido por uma autofecundação; c) finalmente a reprodução mista, isto é, os casos intermediários onde os indivíduos são em parte cruzados, em parte autofecundados. 3) Populações heterozigotas para um par de gens e sem seleção. Em populações com reprodução cruzada se estabelece na primeira geração um equilíbrio entre os três genotipos, segundo a chamada regra de Hardy- Weinberg. Inicial : AA/u + Aa/v aa/u = 1 Equilibirio (u + v/2)² + u + v/2 ( w + v/2) + (w + v/2)² = p2 + 2 p o. q o. + q²o = 1 Em populações com autofecundação o equilíbrio será atingido quando estiverem presentes apenas os dois homozigotos, e uma fórmula é dada que permite calcular quantas gerações são necessárias para atingir aproximadamente este resultado. Finalmente, em populações com reprodução mista, obtemos um equilíbrio com valores intermediários, conforme Quadro 1. Frequência Genotipo Inicial mº Geração Final AA u u + 2m-1v / 2m+1 u + 1/2v Aa v 2/ 2m+2 v - aa w w + 2m - 1/ 2m + 1 v w + 1/2 v 4) Os índices de sobrevivencia. Para poder chegar a fórmulas matemáticas simples, é necessário introduzir índices de sobrevivência para medir a viabilidade e fertilidade dos homozigotos, em relação à sobrevivência dos heterozigotos. Designamos a sobrevivência absoluta de cada um dos três genotipos com x, y e z, e teremos então: x [ A A] : y [ Aa] : z [ aa] = x/y [ A A] : [ Aa] : z/ y [aa] = R A [ AA] : 1 [Aa] : Ra [aa] É evidente que os índices R poderão ter qualquer valor desde zero, quando haverá uma eliminação completa dos homozigotos, até infinito quando os heterozigotos serão completamente eliminados. Os termos (1 -K) de Haldane e (1 -S) ou W de Wright não têm esta propriedade matemática, podendo variar apenas entre zero e um. É ainda necessário distinguir índices parciais, de acordo com a marcha da eliminação nas diferentes fases da ontogenia dos indivíduos. Teremos que distinguir em primeiro lugar entre a eliminação durante a fase vegetativa e a eliminação na fase reprodutiva. Estas duas componentes são ligadas pela relação matemática. R - RV . RR 5) Populações com reprodução cruzada e eliminação. - Considerações gerais. a) O equilibrio final, independente da freqüência inicial dos genes e dos genotipos para valores da sobrevivência diferentes de um, é atingido quando os gens e os genotipos estão presentes nas proporções seguintes: (Quadro 2). po / qo = 1- ro / 1-Ra [AA] (1 - Ro)² . Rav [ Aa] = 2(1 - Ra) ( 1 - Ra) [a a} = ( 1 - Ra)² . RaA b) Fórmulas foram dadas que permitem calcular as freqüências dos genotipos em qualquer geração das populações. Não foi tentado obter fórmulas gerais, por processos de integração, pois trata-se de um processo descontínuo, com saltos de uma e outra geração, e de duração curta. 6) Populações com reprodução cruzada e eliminação. Podemos distinguir os seguintes casos: a) Heterosis - (Quadro 3 e Fig. 1). Ra < 1; Ra < 1 Inicial : Final : p (A)/q(a) -> 1-ra/1-ra = positivo/zero = infinito Os dois gens e assim os três genotipos zigóticos permanecem na população. Quando as freqüências iniciais forem maiores do que as do equilíbrio elas serão diminuidas, e quando forem menores, serão aumentadas. b) Gens recessivos letais ou semiletais. (Quadro 1 e Fig. 2). O equilíbrio será atingido quando o gen, que causa a redução da viabilidade dos homozigotos, fôr eliminado da população. . / c) Gens parcialmente dominantes semiletais. (Quadro 5 e Fig. 3). Rª ; Oz Ra < 1 Inicial : Equilibrio biológico Equilíbrio Matemático pa(A)/q(a) -> positivo /zero -> 1- Rq/ 1-Ra = positivo/negativo d) Genes incompatíveis. Ra > 1 ; Ra > 1; Ra > Ra Equílibrio/biológico p (A)/ q(a) -> positivo/zero Equilibrio matemático -> positivo/ zero -> zero/negativo -> 1-Ra/1 - Ra = negativo/negativo Nestes dois casos devemos distinguir entre o significado matemático e biológico. A marcha da eliminação não pode chegar até o equilíbrio matemático quando um dos gens alcança antes a freqüência zero, isto é, desaparece. Nos três casos teremos sempre uma eliminação relativamente rápida de um dos gens «e com isso do homozigoto respectivo e dos heterozigotòs. e) Foram discutidos mais dois casos especiais: eliminação reprodutiva diferencial dos dois valores do sexo feminino e masculino, -e gens para competição gametofítica. (Quadros 6 e 7 e Figs. 4 a 6). 7) População com autofecundação e seleção. O equilíbrio será atingido quando os genotipos estiverem presentes nas seguintes proporções: (Quadro 8); [AA] ( 0,5 - Ra). R AV [Aa] = 4. ( 0,5 - Ra) . (0.5 -R A) [aa] ( 0,5 - R A) . Rav Também foram dadas fórmulas que permitem calcular as proporções genotípicas em cada geração e a marcha geral da eliminação dos genotipos. 8)Casos especiais. Podemos notar que o termo (0,5 -R) nas fórmulas para as populações autofecundadas ocupa mais ou menos a mesma importância do que o termo (1-R) nas fórmulas para as populações cruzadas. a) Heterosis. (Quadro 9 e Fig. 7). Quando RA e Ra têm valores entre 0 e 0,5, obtemos o seguinte resultado: No equilíbrio ambos os gens estão presentes e os três heterozigotos são mais freqüentes do que os homozigotos. b) Em todos os demais casos, quando RA e Ra forem iguais ou maiores do que 0,5, o equilíbrio é atingido quando estão representados na população apenas os homozigotos mais viáveis e férteis. (Quadro 10). 9) Foram discutidos os efeitos de alterações dos valores da sobrevivência (Fig. 9), do modo de reprodução (Fig. 10) e das freqüências iniciais dos gens (Fig. 8). 10) Algumas aplicações à genética aplicada. Depois de uma discussão mais geral, dois problemas principais foram tratados: a) A homogeneização: Ficou demonstrado que a reprodução por cruzamento livre representa um mecanismo muito ineficiente, e que se deve empregar sempre ou a autofecundação ou pelo menos uma reprodução mista com a maior freqüência possível de acasalamentos consanguíneos. Fórmulas e dados (Quadro 11 e 12), permitem a determinação do número de gerações necessárias para obter um grau razoável de homozigotia- b) Heterosis. Existem dois processos, para a obtenção de um alto grau de heterozigotia e com isso de heterosis: a) O método clássico do "inbreeding and outbreeding". b) O método novo das populações balançadas, baseado na combinação de gens que quando homozigotos dão urna menor sobrevivência do que quando heterozigotos. 11) Algumas considerações sobre a teoria de evolução: a) Heterosis. Os gens com efeito "heterótico", isto é, nos casos onde os heterozigotos s mais viáveis e férteis, do que os homozigotos, oferecem um mecanismo especial de evolução, pois nestes casos a freqüência dos gens, apesar de seu efeito negativo na fase homozigota, tem a sua freqüência aumentada até que seja atingido o valor do equilíbrio. b) Gens letais e semiletais recessivos. Foi demonstrado que estes gens devem ser eliminados automáticamente das populações. Porém, ao contrário do esperado, não s raros por exemplo em milho e em Drosophila, gens que até hoje foram classificados nesta categoria. Assim, um estudo detalhado torna-se necessário para resolver se os heterozigotos em muitos destes casos não serão de maior sobrevivência do que ambos os homozigotos, isto é, que se trata realmente de genes heteróticos. c) Gens semiletais parcialmente dominantes. Estes gens serão sempre eliminados nas populações, e de fato eles são encontrados apenas raramente. d) Gens incompatíveis. São também geralmente eliminados das populações. Apenas em casos especiais eles podem ter importância na evolução, representando um mecanismo de isolamento.
Resumo:
Observações hidrobiológicas do Lago de Brasília, em 1965, mostraram algas planctônicas Desmidiaceae predominantes, com espécies dos gêneros Staurastrum, Micrasterias, Euastrum, Cosmarium Xanthidium, Bambusina, Closterium, Spondilosium, Penium, principalmente, de águas puras e naturais; conforme o texto, são sêres comuns nas águas indígenas do Brasil Central. Mas a nova capital brasileira cresceu ràpidamente, alcançando oerto de meio milhão de habitantes: a influência do homem se apresentou e, em 1968, já causava outro regime hidrobiológico dentro das faixas de saprobidade, com planctos cosmopolitas indicadores de poluição. Encontramos águas já mesossapróbias com cianofíceas indesejáveis em quantidades maciças, como as Aphanizomenon flos-aquae, a Anacystis cyanea (= Microcystis aeruginosa), Anabaenopsis, Gomphosphaeria e outras. O lago que era "Lago de Desmidiáceas" passou a ser um "Lago de Cianofíceas". Os índices de eutrofização dependem de eutrofizantes no numerador, divididos por desmidiáceas no denominador. Quanto maior o número de algas eutrofizantes, tanto maior a eutrofização; exatamente o que acontece no lago de Brasília. os autores chamam a atenção para os estudos de saprobidade das águas do lago, baseado na teoria que os moluscos Planorbidae se instalem dependentes do regime de poluição mesossapróbio; supõe-se por isso a razão por que êsses moluscos acompanham o homem nas suas migrações. Poder-se-à determinar a faixa de saprobidade em que se instalam os moluscos, suspeitando-se entre os regimes A- e B- mesossapróbio. Propõem medidas preventivas de caráter hidrobiológico para evitar a instalação de planorbídeos. Embora os esgotos sejam todos muito bem tratados sanitàriamente e não há nenhum perigo ou queixa quanto a essa parte; mas é o resultado do tratamento de esgotos e restos de águas usadas pelo homem que fornecem nutritivos às àguas: N, P, Ca, Cl, K, etc. ... e que eutrofizam. A eutrofização normal é ótima; o lago fica produtivo de bom plancto e ótimos peixes. Para eutrofia em excesso, os autores criaram o nôvo têrmo HIPEREUTROFIA, descrevem êsses fenômenos, de ordem geral, com explosivo crescimento da população planctônica e fitoplanto mesossapróbio causador de calamitosos problemas. Pode a "hipereutrofia" ser considerada uma nova e grave "praga das águas" que surgiu depois da 2ª guerra mundial, devido á rápida industralização e explosão populacional do homem. Medidas preventivas contra a hipereutrofia poderão ser conseguidas com planejamentos integrados das bacias dos rios, lagos e baías evitando despejos de excessos de nutrientes, em zonas que fiquem como reservas, preservando a biota aquática natural e normal. É possível tal planejamento no Brasil, porque é um dos poucos países, com bacias de rios e lagos artificiais ainda não poluídos.
Resumo:
La creación de la Escuela de Medicina y Ciencias de la Salud en la Universidad del Rosario el 1 de julio de 2009 generó la necesidad de apoyar un mayor número de profesores e investigadores en temas administrativos, financieros y jurídicos. Para ello fue necesaria la contratación de una coordinadora administrativa y una coordinadora financiera para que la gestión de la Dirección Administrativa y Financiera pudiera cumplir con el apoyo a la Academia. Sin embargo, la gestión jurídica que soporta los proyectos de Investigación, Asesoría y Consultoría de la Escuela de Medicina y Ciencias de la Salud no era lo suficientemente ágil frente a las necesidades de respuesta a los patrocinadores externos. Por lo tanto, por medio de la aplicación de la Teoría de Restricciones, construcción de nubes de conflictos, encuestas a los investigadores y desarrollo de un formulario como herramienta en el Sistema de Información SAP, se agilizó el proceso de la Oficina Jurídica no solo para los procesos de la Escuela de Medicina y Ciencias de la Salid sino para todas la facultades y dependencias de la Universidad del Rosario
Resumo:
En las instituciones hospitalarias es fundamental el tema relacionado con los medicamentos y dispositivos médicos para la atención del paciente, por lo tanto el mecanismo de adquisición y disponibilidad de éstos productos, ha llevado a la participación masiva de operadores logísticos (Outsoursing) interviniendo áreas de la cadena de suministros, desde el punto de fabricación con el producto terminado hasta la dispensación del medicamento o dispositivo médico, para que ser usado o administrado al paciente. Los operadores logísticos han emprendido una búsqueda de soluciones por medio de diferentes metodologías y estrategias que permitan entregar a tiempo en las farmacias hospitalarias, conservando las propiedades físicas y químicas de los medicamentos y dispositivos médicos, garantizando así la calidad de los productos. En ésta tesis se plantea una nueva alternativa de gestión de medicamentos y dispositivos médicos en un operador logístico de productos farmacéuticos a través de la teoría de restricciones (TOC), para emprender acciones que permitan analizar el sistema bajo esta metodología, intervenir de manera oportuna, impactar y estimular al personal a trabajar en la búsqueda del mejoramiento , aumentando a su vez la velocidad del flujo de operación en toda la cadena de suministros, basada no en el mejoramiento de los óptimos locales o de los subprocesos sino en la identificación de la verdadera restricción del sistema, permitiendo realizar un análisis más a fondo encontrando el conflicto raíz para mejorar el sistema a nivel global.
Resumo:
El objetivo fundamental del proyecto consiste en potenciar las prácticas de laboratorio de una asignatura troncal del primer ciclo de Física, mejorando sustancialmente tanto los textos en que se apoya el tratamiento de los resultados experimentales que obtienen los alumnos en el laboratorio, como el material de prácticas y los guiones de trabajo. Efectuando test de control sobre la comprensión de dichos manuales, y el nivel con el que los alumnos acceden al laboratorio se ha suministrado el material a los alumnos de los últimos años y estudiado su comprensión. La incidencia ha consistido en una mejor comprensión sobre lo que son las magnitudes físicas, sus reglas de escritura y sistemas de unidades, sobre los errores en las medidas efectuadas y sobre el comportamiento de los osciladores. Se han elaborado: un manual sobre Magnitudes Físicas: unidades, símbolos; un manual sobre Técnicas Experimentales en Mecánica y Ondas, una hoja sobre Nombre en castellano e inglés de las letras griegas, una unidad temática sobre el oscilador armónico dentro del tema Movimiento unidimensional de un partícula, un guíon de laboratorio, hojas test de control.
Resumo:
Actualment hi ha una gran quantitat de treballs relacionats amb nous models i estils d'aprenentatge i instrucci?? matem??tica. En el cas de l'??rea que abasta la instrucci?? matem??tica aplicada, hi ha menys informaci?? d'??xit i treball sobre aquest tema. Aix?? ocorre en l'assignatura Teoria d'Aut??mats (TA) que s'imparteix en el quart semestre a la carrera d'Enginyeria en Computaci?? de l???ESIME - Culhuacan, de l???IPN de M??xic. A causa de la seva naturalesa, la TA presenta dificultats en la comprensi?? dels conceptes i aplicacions pel que fa a l'alumne, de manera que consideram que mitjan??ant l'estrat??gia d'ensenyament amb mapes conceptuals, desenvolupats per J. Novak, hi haur?? un resultat favorable en dinamisme, comprensi?? i un aprenentatge significatiu a llarg termini que proporcionar?? elements s??lids per a assignatures conseg??ents. Es presenta la proposta elaborada pels professors que imparteixen l'assignatura i exercicis desenvolupats per 83 alumnes.
Resumo:
Este trabalho discorre sobre a aplicação de uma proposta de método de resolução de problemas utilizando a Teoria das Restrições (TOC). No desenvolvimento desta proposta procurou-se aliar a focalização dos problemas e os conceitos financeiros protagonizados pela TOC. Para que uma solução urgente de problemas possa ser conduzida de uma forma coerente, precisa e rápida, não é necessário que seja executada de maneira que os gastos ultrapassem os benefícios. Além disso, o todo que compõe o sistema analisado deve poder ser vislumbrado claramente. Esta proposta foi aplicada a uma corporação que fabrica autopeças. Ela está localizada nos Estados Unidos da América. Os resultados da aplicação do método aqui apresentado permitiram chegar às conclusões apontadas no capítulo final deste trabalho.
Resumo:
Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva tem encontrado até o momento grandes obstáculos, todos decorrência natural da brevidade de sua História. A baixa oferta de bibliografia (e predominantemente em língua inglesa) e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação - a baixa oferta de cursos com enfoque em Teoria das Categorias. Consegue, a despeito destes obstáculos, arrebanhar admiradores em inúmeros centros de reconhecida excelência técnica e científica. Dentre todas as áreas do conhecimento, atrai em especial a atenção da Ciência da Computação, por características como independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de outros formalismos, forte embasamento em notação gráfica e, sobretudo, pela expressividade de suas construções [MEN2001]. No Brasil, já conta com o reconhecimento de seu papel no futuro da Ciência da Computação por parte de instituições como SBC e MEC. Os obstáculos aqui descritos, entretanto, ainda necessitam ser transpostos. O presente trabalho foi desenvolvido visando contribuir nesta tarefa. O projeto consiste em uma iniciativa aplicada em Ciência da Computação, a qual visa oportunizar o franco acesso aos conceitos categoriais introdutórios: uma aplicação de computador que faça amplo uso de representação diagramática para apresentar a proposição de conceitos básicos do grupo de pesquisa em Teoria das Categorias do Instituto de Informática da UFRGS. A proposição e implementação de uma ferramenta, embora não constitua iniciativa inédita no mundo, até onde se sabe é a segunda experiência desta natureza. Ademais, vale destacar que os conceitos tratados, assim como os objetivos visados, são atendidos de forma única e exclusiva por esta aplicação. Conjuntamente, vislumbra-se a aplicação desenvolvida desempenhando importante papel de agente catalisador na propagação da visão dos Grupos de Pesquisa em Teoria das Categorias da UFRGS e da PUC/RJ do que sejam os "conceitos categoriais introdutórios".