64 resultados para terceiro metacarpiano
Resumo:
O objectivo deste trabalho era a determinação da influência das condições de
armazenamento do biodiesel nas suas propriedades e composição.
Para isso foi produzido biodiesel a partir de óleo alimentar usado e armazenado em
diferentes condições. O biodiesel foi colocado em frascos de vidro e dividido em três grupos
diferentes de temperatura. O primeiro foi colocado a uma temperatura de 6ºC (frigorifico)
com frascos fechados e expostos ao ar e água. O segundo grupo foi colocado a uma
temperatura de 40ºC (banho termostático) com frascos fechados, abertos ao ar e abertos ao
ar e água. O terceiro e ultimo grupo foi colocado à temperatura ambiente (18,6
Resumo:
O presente trabalho tem como principal objectivo o estudo da possibilidade de recuperação de calor de um efluente proveniente do tratamento primário da fábrica do grupo Portucel Soporcel (fábrica produtora de pasta de papel), para o aquecimento da corrente de lamas do digestor anaeróbio da SimRia S.A. – ETAR Norte, (ambas localizadas em Cacia, distrito de Aveiro). A solução consiste na implementação de um sistema de permuta térmica entre estas duas correntes, constituído fundamentalmente por dois permutadores de placas em espiral, montados em paralelo que operam em contra-corrente. Segundo este novo sistema de aquecimento, as lamas abandonam o digestor anaeróbio da mesma ETAR a um caudal de 110 m3/h, que se dividirá em duas linhas, sendo admitidas em cada permutador a 55 m3/h e a uma temperatura de 32 ºC regressando ao digestor a uma temperatura de 37 ºC (temperatura óptima a que ocorre a digestão anaeróbia das lamas). O efluente disponível, abandona o tratamento primário da Portucel, a 45 ºC e é encaminhado até aos permutadores da SimRia S.A., onde vai trocar calor com as lamas e regressa à Portucel a 40ºC, sendo admitido nas torres de arrefecimento da fábrica de papel. A nova instalação proposta pretende substituir a actual existente na ETAR em causa, em que a corrente de água que aquece as lamas, circula num circuito fechado entre um único permutador e uma caldeira, alimentada com o biogás que se produz no digestor anaeróbio, e que é responsável pelo controlo da temperatura da corrente de água. Pretende-se que a implementação deste novo método de aquecimento de lamas seja uma alternativa económica relativamente ao actual sistema, uma vez que vai substituir a corrente de biogás alimentada à caldeira podendo este recurso ser transformado em energia eléctrica e posteriormente comercializada. A análise financeira realizada ao projecto demonstrou que o projecto é rentável, uma vez que, a diferença entre todos ganhos e custos ao fim dos 10 anos de vida útil estimados é de cerca de 150 000,0 €. O período de retorno do investimento é alcançado no final dos primeiros 6 anos e a taxa interna de rentabilidade obtida foi de 36 %. Posteriormente incluiu-se neste estudo a possibilidade de tratamento das lamas geradas na fábrica da Portucel na ETAR da SimRia recorrendo a um terceiro digestor. Conclui-se que se trata duma opção vantajosa, uma vez que permite obter um caudal de biogás 44 m3/h, que convertido em potência permite obter 150 kW que poderá ser aproveitado para produção de energia ou comercializado gerando uma receita adicional de 130 000,0 €/ano para as entidades envolvidas.
Resumo:
The introduction of electricity markets and integration of Distributed Generation (DG) have been influencing the power system’s structure change. Recently, the smart grid concept has been introduced, to guarantee a more efficient operation of the power system using the advantages of this new paradigm. Basically, a smart grid is a structure that integrates different players, considering constant communication between them to improve power system operation and management. One of the players revealing a big importance in this context is the Virtual Power Player (VPP). In the transportation sector the Electric Vehicle (EV) is arising as an alternative to conventional vehicles propel by fossil fuels. The power system can benefit from this massive introduction of EVs, taking advantage on EVs’ ability to connect to the electric network to charge, and on the future expectation of EVs ability to discharge to the network using the Vehicle-to-Grid (V2G) capacity. This thesis proposes alternative strategies to control these two EV modes with the objective of enhancing the management of the power system. Moreover, power system must ensure the trips of EVs that will be connected to the electric network. The EV user specifies a certain amount of energy that will be necessary to charge, in order to ensure the distance to travel. The introduction of EVs in the power system turns the Energy Resource Management (ERM) under a smart grid environment, into a complex problem that can take several minutes or hours to reach the optimal solution. Adequate optimization techniques are required to accommodate this kind of complexity while solving the ERM problem in a reasonable execution time. This thesis presents a tool that solves the ERM considering the intensive use of EVs in the smart grid context. The objective is to obtain the minimum cost of ERM considering: the operation cost of DG, the cost of the energy acquired to external suppliers, the EV users payments and remuneration and penalty costs. This tool is directed to VPPs that manage specific network areas, where a high penetration level of EVs is expected to be connected in these areas. The ERM is solved using two methodologies: the adaptation of a deterministic technique proposed in a previous work, and the adaptation of the Simulated Annealing (SA) technique. With the purpose of improving the SA performance for this case, three heuristics are additionally proposed, taking advantage on the particularities and specificities of an ERM with these characteristics. A set of case studies are presented in this thesis, considering a 32 bus distribution network and up to 3000 EVs. The first case study solves the scheduling without considering EVs, to be used as a reference case for comparisons with the proposed approaches. The second case study evaluates the complexity of the ERM with the integration of EVs. The third case study evaluates the performance of scheduling with different control modes for EVs. These control modes, combined with the proposed SA approach and with the developed heuristics, aim at improving the quality of the ERM, while reducing drastically its execution time. The proposed control modes are: uncoordinated charging, smart charging and V2G capability. The fourth and final case study presents the ERM approach applied to consecutive days.
Resumo:
Sabia que o japonês escrito usa uma combinação de três escritas: ideogramas chineses (kanji) e dois sistemas alfabéticos baseados em sílabas (hiragana e katakana)? Sabia que no Japão os bairros estão divididos em quarteirões formando blocos numerados em que o primeiro número indica a prefeitura, o segundo o quarteirão principal, o terceiro um bloco de edifícios mais pequeno e o quarto o número do edifício? Sabia que a Ginko biloba, uma planta muito utilizada na medicina alternativa, não só no oriente, mas também, e cada vez mais, no ocidente, pelas suas propriedades regenerativas, despertou o interesse dos investigadores após a 2ª Guerra Mundial por ter sobrevivido às radiações em Hiroxima? Sabia ainda que no Japão os anos não são apenas contados segundo calendário gregoriano, mas subdivididos em períodos que correspondem aos anos do reinado de um imperador, pelo que estamos actualmente no período Heisei? Isto e muito mais sobre aspectos da cultura japonesa ficará a saber através da leitura de Crónica do Pássaro de Corda de Haruki Murakami, sobretudo através das detalhadas notas de rodapé da tradução portuguesa de Maria João Lourenço.
Resumo:
O setor da construção civil em Portugal sofre atualmente uma crise, como consequência da crise instalada no país. Além disso, a construção tradicional devido à sua rigidez espacial contribuiu para que os edifícios não se pudessem adaptar de uma forma simples, rápida e económica. Para contrabalançar esses factos a industrialização deverá ser encarada como uma das áreas com maior potencial de crescimento no futuro. A possibilidade de conceber um sistema que se adapta às constantes mudanças das necessidades humanas torna-se um dos grandes desafios da indústria da construção civil onde a pré-fabricação terá um papel fundamental. Neste ensaio estuda-se um sistema de divisórias leves amovíveis pré-fabricadas. No primeiro capítulo deste ensaio é elaborada uma síntese de conceitos que estão relacionados com as divisórias leves pré-fabricadas (industrialização e pré-fabricação), aborda-se a avaliação do sistema previsto ao nível da legislação e os passos a dar para verificação da viabilidade do sistema. No segundo capítulo faz-se uma distinção entre os vários tipos de pré-fabricação, definemse as exigências de desempenho e funcionais do sistema, aborda-se o conceito de coordenação modular e das tolerâncias de construção referindo a sua tremenda importância na pré-fabricação. Na parte final deste capítulo abordam-se exaustivamente as exigências de desempenho das paredes interiores não resistentes. No terceiro capítulo desenvolveu-se o sistema. Descrevem-se todos os componentes do sistema e a justificação da sua utilização. Elaboram-se três pré-avaliações: mecânica, acústica e térmica. Definem-se as ligações a serem utilizadas e pormenorizam-se todos os materiais das ligações. É apresentada uma avaliação económica de custos do sistema. Definem-se os procedimentos de: fabricação, transporte, montagem e desmontagem do sistema. No último capítulo apresentam-se as principais conclusões e os possíveis desenvolvimentos futuros.
Resumo:
Integram este trabalho quatro temas: a descrição do procedimento da avaliação acústica de um falante, da sua produção das vogais tónicas do Português Europeu, enquanto abordagem de avaliação quantitativa da qualidade vocal e que é actualmente utilizada com frequência por quem trabalha em saúde vocal; um outro que consiste num levantamento de algumas questões teóricas ligadas à pragmática da comunicação e quanto às suas aplicações no campo das pessoas com lesão cerebral, quer na avaliação quer quanto à intervenção terapêutica; o terceiro versa sobre a avaliação fonológica da criança, sendo apresentado um estudo de caso com dados recolhidos com a utilização de um instrumento formal; por fim, o último tema é a classificação, avaliação e intervenção terapêutica nas perturbações motoras da fala, com um foco especial na prosódia.
Resumo:
Supported by U. Porto/Santander Totta (IJUP) (PP-IJUP2011-320)
Resumo:
Este trabalho tem como objetivo intervir na área de Recursos Humanos na Entidade Acolhedora do Projeto. Foi neste contexto que identificamos o Centro Social e Paroquial de S. Martinho de Brufe para a sua realização. O diagnóstico realizado permitiu identificar como potencialidade de intervenção o Sistema de Gestão de Recursos Humanos. Considerando as exigências definidas pelo Modelo de Avaliação da Qualidade das Respostas Sociais (MAQRS) procedeu-se ao diagnóstico da organização acolhedora do projeto. Seguiu-se a configuração exata da potencialidade identificada, o planeamento estratégico e operacional da estratégia. A fase seguinte envolveu a implementação do projeto. Terminamos com a avaliação e apresentação das respetivas medidas necessárias para concretizar da finalidade a que nos propusemos. Os resultados da avaliação permitem concluir que o planeamento e a implementação do projeto foram eficientes e eficazes, uma vez que a auditoria final mostrou a inexistência de não conformidades no projeto de intervenção. Sendo finalidade do projeto garantir que o Centro Social e Paroquial de S. Martinho de Brufe cumpre todos os requisitos do Critério 2 – Pessoas, do Modelo de Avaliação da Qualidade das Respostas Sociais (MAQRS), do Instituto da Segurança Social para submeter com êxito o processo de certificação, em julho de 2014, o documento que se segue contém todos os procedimentos necessários para garantir êxito na sua concretização. O centro Social e Paroquial de S. Martinho de Brufe dispõe dos próximos seis meses (de janeiro a junho de 2014) para apresentar evidências da formalização, sendo esta também condição necessária que antecede a submissão do processo de certificação.
Resumo:
Não existe uma definição única de processo de memória de longo prazo. Esse processo é geralmente definido como uma série que possui um correlograma decaindo lentamente ou um espectro infinito de frequência zero. Também se refere que uma série com tal propriedade é caracterizada pela dependência a longo prazo e por não periódicos ciclos longos, ou que essa característica descreve a estrutura de correlação de uma série de longos desfasamentos ou que é convencionalmente expressa em termos do declínio da lei-potência da função auto-covariância. O interesse crescente da investigação internacional no aprofundamento do tema é justificado pela procura de um melhor entendimento da natureza dinâmica das séries temporais dos preços dos ativos financeiros. Em primeiro lugar, a falta de consistência entre os resultados reclama novos estudos e a utilização de várias metodologias complementares. Em segundo lugar, a confirmação de processos de memória longa tem implicações relevantes ao nível da (1) modelação teórica e econométrica (i.e., dos modelos martingale de preços e das regras técnicas de negociação), (2) dos testes estatísticos aos modelos de equilíbrio e avaliação, (3) das decisões ótimas de consumo / poupança e de portefólio e (4) da medição de eficiência e racionalidade. Em terceiro lugar, ainda permanecem questões científicas empíricas sobre a identificação do modelo geral teórico de mercado mais adequado para modelar a difusão das séries. Em quarto lugar, aos reguladores e gestores de risco importa saber se existem mercados persistentes e, por isso, ineficientes, que, portanto, possam produzir retornos anormais. O objetivo do trabalho de investigação da dissertação é duplo. Por um lado, pretende proporcionar conhecimento adicional para o debate da memória de longo prazo, debruçando-se sobre o comportamento das séries diárias de retornos dos principais índices acionistas da EURONEXT. Por outro lado, pretende contribuir para o aperfeiçoamento do capital asset pricing model CAPM, considerando uma medida de risco alternativa capaz de ultrapassar os constrangimentos da hipótese de mercado eficiente EMH na presença de séries financeiras com processos sem incrementos independentes e identicamente distribuídos (i.i.d.). O estudo empírico indica a possibilidade de utilização alternativa das obrigações do tesouro (OT’s) com maturidade de longo prazo no cálculo dos retornos do mercado, dado que o seu comportamento nos mercados de dívida soberana reflete a confiança dos investidores nas condições financeiras dos Estados e mede a forma como avaliam as respetiva economias com base no desempenho da generalidade dos seus ativos. Embora o modelo de difusão de preços definido pelo movimento Browniano geométrico gBm alegue proporcionar um bom ajustamento das séries temporais financeiras, os seus pressupostos de normalidade, estacionariedade e independência das inovações residuais são adulterados pelos dados empíricos analisados. Por isso, na procura de evidências sobre a propriedade de memória longa nos mercados recorre-se à rescaled-range analysis R/S e à detrended fluctuation analysis DFA, sob abordagem do movimento Browniano fracionário fBm, para estimar o expoente Hurst H em relação às séries de dados completas e para calcular o expoente Hurst “local” H t em janelas móveis. Complementarmente, são realizados testes estatísticos de hipóteses através do rescaled-range tests R/S , do modified rescaled-range test M - R/S e do fractional differencing test GPH. Em termos de uma conclusão única a partir de todos os métodos sobre a natureza da dependência para o mercado acionista em geral, os resultados empíricos são inconclusivos. Isso quer dizer que o grau de memória de longo prazo e, assim, qualquer classificação, depende de cada mercado particular. No entanto, os resultados gerais maioritariamente positivos suportam a presença de memória longa, sob a forma de persistência, nos retornos acionistas da Bélgica, Holanda e Portugal. Isto sugere que estes mercados estão mais sujeitos a maior previsibilidade (“efeito José”), mas também a tendências que podem ser inesperadamente interrompidas por descontinuidades (“efeito Noé”), e, por isso, tendem a ser mais arriscados para negociar. Apesar da evidência de dinâmica fractal ter suporte estatístico fraco, em sintonia com a maior parte dos estudos internacionais, refuta a hipótese de passeio aleatório com incrementos i.i.d., que é a base da EMH na sua forma fraca. Atendendo a isso, propõem-se contributos para aperfeiçoamento do CAPM, através da proposta de uma nova fractal capital market line FCML e de uma nova fractal security market line FSML. A nova proposta sugere que o elemento de risco (para o mercado e para um ativo) seja dado pelo expoente H de Hurst para desfasamentos de longo prazo dos retornos acionistas. O expoente H mede o grau de memória de longo prazo nos índices acionistas, quer quando as séries de retornos seguem um processo i.i.d. não correlacionado, descrito pelo gBm(em que H = 0,5 , confirmando- se a EMH e adequando-se o CAPM), quer quando seguem um processo com dependência estatística, descrito pelo fBm(em que H é diferente de 0,5, rejeitando-se a EMH e desadequando-se o CAPM). A vantagem da FCML e da FSML é que a medida de memória de longo prazo, definida por H, é a referência adequada para traduzir o risco em modelos que possam ser aplicados a séries de dados que sigam processos i.i.d. e processos com dependência não linear. Então, estas formulações contemplam a EMH como um caso particular possível.
Resumo:
Mestrado em Engenharia Mecânica – Gestão Industrial
Resumo:
A satisfação do utente na comunicação com profissionais de saúde é um indicador de qualidade dos serviços ou instituições. Na literatura não encontramos instrumentos padronizados e validados, que avaliem a satisfação do utente na comunicação com os profissionais de saúde. O presente estudo tem como objetivo construir e validar um instrumento para avaliar a satisfação do utente na comunicação com os profissionais de saúde. Desenvolvemos este estudo em três ciclos. Um primeiro, revisão da literatura, para identificar dimensões e itens da comunicação interpessoal na saúde. No segundo ciclo, conduzimos um método de Delphi modificado em três rondas, com recurso à plataforma informática de questionários Survey Monkey, no qual participou um painel de 25 peritos; estabelecemos como critério mínimo de retenção para a ronda seguinte os itens que recebessem 70% do consenso por parte do painel. Após as três rondas, obtivemos um instrumento com seis dimensões comunicacionais (comunicação verbal, comunicação não verbal, empatia, respeito, resolução de problemas e material de apoio), vinte e cinco itens específicos, e mais seis dimensões genéricas, que avaliam cada uma das dimensões. No terceiro ciclo avaliamos as características psicométricas, em termos de sensibilidade, validade do construto e fidelidade, numa amostra de 348 participantes. Os resultados mostram que todas as categorias de resposta estavam representadas em todos os itens. Validade do construto- a análise fatorial identificou uma solução de seis componentes que explicam 71% da variância total. Fiabilidade - os valores da correlação item-total variam entre 0,387 e 0,722, existindo uma correlação positiva moderada a forte. O valor de alfa de Cronbach (α=0,928) indica que a consistência interna é excelente. O instrumento construído apresenta boas propriedades psicométricas. Fica assim disponível uma nova ferramenta para auxiliar na gestão e no processo de planeamento necessários ao incremento da qualidade nos serviços e instituições de saúde.
Resumo:
Compreender a funcionalidade de uma criança é um desafio persistente em contextos de saúde e educação. Na tentativa de superar esse desafio, em 2007, a Organização Mundial de Saúde desenvolveu a Classificação Internacional de Funcionalidade, Incapacidade e Saúde para Crianças e Jovens (CIF-CJ) como o primeiro sistema de classificação universal para documentar a saúde e funcionalidade da criança. Apesar de a CIF-CJ não ser um instrumento de avaliação e intervenção, tem, no entanto, a capacidade de servir de enquadramento para o desenvolvimento de ferramentas adaptadas às necessidades dos seus utilizadores. Considerando que no contexto escolar, a escrita manual encontra-se entre as atividades mais requeridas para a participação plena de uma criança, parece ser pertinente a definição de um conjunto de códigos destinados a caracterizar o perfil de funcionalidade de uma criança, no que se refere à escrita manual. O objetivo deste estudo foi, pois, o desenvolvimento de um conjunto preliminar de códigos baseado na CIF-CJ que possa vir a constituir um code set para a escrita manual. Dada a complexidade do tema e atendendo a que se pretende alcançar consenso entre os especialistas sobre quais as categorias da CIF-CJ que devem ser consideradas, optou-se pela utilização da técnica de Delphi. A escolha da metodologia seguiu a orientação dos procedimentos adotados pelo projeto Core Set CIF. De dezoito profissionais contactados, obtiveram-se respostas de sete terapeutas ocupacionais com experiência em pediatria, que participaram em todas as rondas. No total, três rondas de questionários foram realizadas para atingir um consenso, com um nível de concordância, previamente definido, de 70%. Deste estudo resultou um conjunto preliminar de códigos com 54 categorias da CIF-CJ (16 categorias de segundo nível, 14 categorias de terceiro nível e uma categoria de quarto nível), das quais 31 são categorias das funções do corpo, uma categoria das estruturas do corpo, 12 categorias de atividades e participação e 10 categorias de fatores ambientais. Este estudo é um primeiro passo para o desenvolvimento de um code set para a escrita manual baseado na CIF-CJ , sendo claramente necessário a realização de mais pesquisas no contexto do desenvolvimento e da validação deste code set.
Resumo:
Relatório de Estágio apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação do Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira e do Engenheiro José Manuel Cadão Formosinho
Resumo:
O presente trabalho foi elaborado com a finalidade de dar cumprimento ao disposto na alínea b) do n.º 1 do art. 6º do Despacho n.º 12486/2010, de 2 de Agosto – Regulamento para a atribuição do título de especialista no Instituto Politécnico do Porto. A sua elaboração obedeceu, quanto à forma e conteúdo, à interpretação pessoal do candidato, das exigências constantes desse mesmo artigo do Despacho, em particular da sua alínea c) do n.º 1, conjuntamente com o art. 11º. Não se tratando de um trabalho de investigação, pretende-se sim, que constitua um testemunho da solução de uma situação da prática profissional, no âmbito da qual tenha existido recurso a um conjunto relevante de conhecimentos científicos e técnicos, relacionados com a área na qual é pretendido o reconhecimento do título de especialista. A escolha do tema tratado deveu-se ao facto de estar associado a uma questão de natureza contabilística que teve que ser analisada no decurso do trabalho de revisão/auditoria realizado com vista à emissão da Certificação Legal das Contas do exercício de 2010 de uma empresa cliente da actividade exercida de Revisor Oficial de Contas. Trata-se de uma empresa que detém uma participação financeira numa outra empresa sua associada. Ambas as empresas se encontram enquadradas no quadro geral do Sistema de Normalização Contabilística (SNC). O problema concreto tratado, que constitui a situação sobre a qual foi emitido parecer profissional, é o das implicações ao nível da tributação em imposto sobre o rendimento das pessoas colectivas (IRC) dos lucros distribuídos pela participada à participante, quando os investimentos financeiros representados por partes de capital em associadas estão contabilizados e mensurados pelo método da equivalência patrimonial (MEP), bem como, se existem implicações relativamente ao tratamento contabilístico dos impostos diferidos. À partida subsistiam dúvidas pois existem autores e especialistas que consideram existir lugar ao reconhecimento de impostos diferidos relativamente a lucros distribuídos quando os respectivos investimentos financeiros se encontram relatados pelo MEP1. Assim, no segundo capítulo apresento da forma que considero adequada a questão profissional que me foi colocada e que serve de mote a este trabalho. Neste contexto, começo por caracterizar minimamente as empresas envolvidas, a forma como o problema foi colocado pela empresa cliente e os principais contornos do mesmo. No terceiro capítulo, com o propósito de enquadrar devidamente todos os aspectos teóricos do problema, surge a necessidade de o dividir em três secções. Assim, começo por efectuar uma abordagem do MEP, caracterizando-o e explicando resumidamente como funciona. Também delimito a sua aplicação na prática, dando ênfase ao modo como é tratada a questão dos lucros distribuídos. De seguida, abordo o regime fiscal aplicável aos lucros distribuídos e as consequências fiscais da utilização do MEP no tratamento contabilístico dos mesmos. Por fim, defino e explico o método dos impostos diferidos, delimitando a sua aplicação e relacionando-o com os lucros distribuídos aos investimentos financeiros contabilizados pelo MEP. No quarto capítulo, retomando o problema profissional inicialmente apresentado e recorrendo à fundamentação teórica referida, exponho a solução preconizada para a situação real que constituiu o mote para este trabalho. No capítulo que denomino de conclusões, relato a solução que considero ser a adequada para o tratamento em abstracto do tema analisado.
Resumo:
Este livro pretende fornecer aos estudantes dos cursos de Engenharia um texto que seja, simultaneamente, elementar e rigoroso e que lhes permita aprender os conceitos básicos do cálculo infinitesimal e as suas aplicações. Conscientes da vastidão de possíveis caminhos a seguir na apresentação das matérias, os autores optaram por seguir uma sequência simples que tivesse em linha de conta os atuais ajustes dos objetivos da unidade curricular em que esta temática se enquadra, face à atual tendência para a diminuição dos tempos letivos e incentivo à utilização de software MATLAB. Neste sentido, este livro está organizado em três capítulos, ao longo dos quais se procurou obedecer a uma estrutura evolutiva em torno do rigor e da formalidade, mas sem excessos de nomenclatura. No primeiro capítulo estudam-se as funções reais de variável real, o segundo capítulo incide sobre o estudo da natureza de séries numéricas e funcionais e o terceiro capítulo destina-se ao cálculo integral. Em cada capítulo é proporcionado um conjunto de exercícios variados e não repetitivos, em número suficiente e equilibrado, apresentando-se alguns deles já resolvidos, propondo-se outros para resolução e ilustrando algumas aplicações práticas de integração de conhecimentos, recorrendo a software de cálculo algébrico e numérico.