Escolar Documentos
Profissional Documentos
Cultura Documentos
Realizando Computações
Este capítulo discute conceitos-chave relacionados à realização de computações com Maple. Ele
discute funcionalidades que são relevantes para todos os usuários do Maple. Depois de aprender sobre
esses conceitos, você aprenderá, no capítulo seguinte, como usar o Maple para resolver problemas em
áreas específicas.
Seção Tópicos
Computação Simbólica e Numérica • Computações Exatas•
- Uma visão geral de computação Computações com
exata e com ponto flutuante Ponto-Flutuante • Conversão de
Quantidades Exatas para
Valores com
Ponto-Flutuante• Fontes de
Erro
Operações com Inteiros - Como • Comandos Importantes com
realizar computações com números Inteiros • Números em Base não
inteiros Decimal• Anéis e Campos
Finitos • Inteiros Gaussianos
(Gaussian Integers)
Resolução - Como resolver • Equações e Inequações•
equações matemáticas básicas Equações Diferenciais
(padrão?) Ordinárias• Equações
Diferenciais Parciais• Equações
com Inteiros• Equações com
Inteiros em um Campo Finito•
Sistemas Lineares• Relações de
Recorrência
1 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Seção Tópicos
Unidades,Constantes Científicas e Unidades
Incerteza - Como construir e
computar com expressões que têm • Conversões• Aplicação de
unidades, constantes científicas ou Unidades a uma Expressão•
graus de incertezas Realização de Computações
com Unidades• Trocando o
Sistema de Unidades Corrente•
Extensibilidade
Constantes Científicas
• Constantes Científicas•
Propriedades de Isótopos e
Elementos• Valores, Unidades e
Incertezas• Realização de
Computações• Modificação e
Extensibilidade
Propagação de Incerteza
quantidades abstratas, como variáveis, funções e operadores; e números exatos, como os inteiros,
racionais, π e . O objetivo de tais manipulações pode ser para transformar uma expressão em uma
forma mais simples ou relacionar a expressão a uma outra, fórmulas mais compreensíveis .
2 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
finita. Expressões envolvendo números exatos, por exemplo, são substituídos por
aproximações usando números com ponto-flutuante, por exemplo 1.141421. Essas computações
geralmente envolvem algum erro.A compreensão e o controle deste erro é freqüentemente tão
No Maple, a computação numérica é normalmente realizada se você usar números com ponto-flutuante
(números contendo um ponto decimal) ou o comando evalf. O comando plot (veja Gráficos e Animações
(pág. 157)) usa computação numérica, enquanto que comandos como int, limit, e gcd
(veja Operações com Inteiros (pág. 60) e Computações Matemáticas (pág. 99)) usam somentea
computação simbólica para alcançar seus resultados.
Computações Exatas
No Maple, números inteiros, racionais, constantes metemáticas como π e ∞ e estruturas matemáticas
como matrizes tendo esses como entradas são tratados como quantidades exatas. Nomes, como ,
Os nomes podem ter seus valores designados por quantidades exatas, e funções podem ser avaliadas
>
(3.1)
Importante: A não ser quando for pedido para fazer-se de outro modo (veja a seção seguinte), o Maple
avalia expressões contendo quantidades exatas com resultados exatos, assim como você faria se
3 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
estivesse calculando à mão e não com aproximações numéricas, como normalmente você obtém de
>
>
(3.2)
>
(3.3)
Em algumas situações, uma aproximação de uma quantidade exata é requerida. Por exemplo, o
comando plot requer que a expressão, da qual ele está fazendo o gráfico, avalie com valores numéricos
que possam ser interpretados na tela: π não pode ser interpretado, mas 1.14159 pode. O Maple distingue
quantidades aproximadas das exatas pela presença ou ausência de um ponto decimal: é aproximada,
Nota: Uma representação alternativa de números com ponto flutuante, chamada notação-e, pode
4 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.4)
Se uma função matemática passa por um argumento com ponto-flutuante, ela tenta normalmente
>
(3.5)
Para converter uma quantidade exata para uma aproximação numérica dessa quantidade, use o comando
evalf ou a operação Approximate do menu de contexto (veja Aproximação do Valor de uma Expressão
(pág. 19)).
>
(3.6)
5 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Por padrão, o Maple computa tais aproximações usando 10 dígitos aritméticos. Você pode modificar
• Localmente, você pode passar a precisão como um índice para a chamada evalf.
>
(3.7)
>
>
(3.8)
Nota: Quando apropriado, o Maple realiza computações com ponto-flutuante usando diretamente
Fontes de Erro
Pela sua natureza, computações com ponto-flutuante envolvem algum erro. O controle do efeito desses
são:
6 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
• Uma quantidade exata que pode não ser representável exatamente na forma decimal:
e π são exemplos.
• Subtração de quantidades aproximadamente iguais pode resultar em uma informação inútil. Por
>
(3.9)
Não resta nenhum dígito correto. Se, entretanto, você usar o Maple para analisar esta expressão
e substituir esta forma por uma representação mais apurada para pequenos valores, um resultado em
>
(3.10)
>
(3.11)
Para mais informações sobre avaliação de uma expressão em um ponto, veja Substituindo uma
7 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Para informações sobre criação de uma aproximação por série, veja Séries (pág. 132).
Para mais informações sobre números com ponto-flutuante, consulte as páginas de ajuda ?float e
?type/float.
Em adição aos operadores aritméticos básicos, o Maple tem muitos comandos para a realização de
computações mais complicadas com inteiros, tais como a fatoração de um inteiro, verificação quanto a
um inteiro ser número primo e a determinação do máximo divisor comum (MDC) de um par de inteiros.
Nota: Muitas operações com inteiros estão disponíveis como tarefa templates (Tools>Tasks>Browse).
Você pode realizar com rapidez muitas operações com inteiros usando os menus de contexto.
Selecionando um inteiro e então clicando com o botão direito (para Macintosh, Control-clique) exibe-se
um menu de contexto com comandos para inteiros (integer), por exemplo, Integer Factors, que aplica o
>
8 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
No modo Planilha, o Maple usa um rótulo de referência de equação na chamada de seqüência ifactor.
>
(3.12)
>
(3.13)
Para mais informações sobre rótulos de equação, veja Rótulos de Equação (Equation Labels)
(pág 51).
Para mais informações sobre o uso de menus de contexto no modo Planilha, veja Menus de
Contexto(pág. 39). Para informações sobre o uso de menus de contexto no modo Documento, vejaMenus
de Contexto (pág. 18).
Você pode também entrar com o comando ifactor e especificar o inteiro a ser fatorado como um
argumento.
>
(3.14)
O Maple tem muitos outros comandos para inteiros, incluindo aqueles listados na tabela 3.1.
comando Descrição
abs valor absoluto (exibe em 2-D math como
)
factorial fatorial (exibe em 2-D math como
ifactor fatoração
igcd máximo divisor comun (greatest common
divisor)
iquo quociente de divisão de inteiro (quotient of
integer division)
9 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.15)
>
(3.16)
>
(3.17)
>
(3.18)
Para informações sobre encontrar soluções inteiras para equações, veja Equações de Inteiros (Integer
O Maple dá suporte a:
10 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.19)
>
Para informações sobre palavras-chave entre aspas simples ('), veja Avaliação Posterior (Delaying
>
(3.20)
Note: O comando convert/base devolve uma lista de valores de dígitos (digit values) em ordem
significativa decrescente.
>
(3.21)
Por padrão, o operador mod usa a representação positiva (comando modp). A representação simétrica
>
(3.22)
11 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.23)
Para informações sobre representação simétrica como padrão, consulte a página de ajuda ?mod .
Subtração (Subtraction) -
Multiplicação (exibe em *
2-D Math como . )
Exponenciação &^
Para informações sobre resolução de uma equação módulo de um inteiro, veja Equações de Inteiros
O operador mod dá suporte também a aritmética polinomial e matrizes sobre campos e anéis finitos. Para
mais informações, consulte a página de ajuda ?mod.
12 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Inteiros Gaussianos
Inteiros Gaussianos são números complexos em que as partes reais e imaginárias são números inteiros.
O pacote GaussInt contém comandos que realizam operações de inteiros Gaussianos (Gaussian integer).
>
(3.24)
• Entrar com i ou j e, então,pressionar a tecla de finalização. Veja Nomes de Símbolos (pág. 14).
Nota: Na entrada 1-D Math, entrar com a unidade imaginária como um i maiúsculo (I). O comando
>
(3.25)
Para maiores informações sobre inteiros Gaussianos incluindo uma lista de comandos do pacote
GaussInt, consulte a página de ajuda ?GaussInt.
13 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Tabela 3.3: Sumário dos Métodos de Resolução para Importantes Tipos de Equações
Nota: Muitas operações de resolução estão disponíveis como tarefas templates (Tools>Tasks>Browse)
Usando o Maple, você pode resolver simbolicamente equações e inequações. Você pode também
2. Do menu de contexto, selecionar Solve (ou Solve Numerically). Veja a figura 3.2.
>
(3.26)
14 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
No modo Planilha, o Maple insere uma chamada de seqüência que resolve a equação seguida pelas
soluções.
>
(3.27)
>
(3.28)
Se você selecionar Solve Numerically, o Maple computa soluções com ponto flutuante.
>
(3.29)
15 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.30)
Para informações sobre como resolver simbolicamente equações e inequações usando o comando solve,
veja a seção seguinte. Para informações sobre como resolver numericamente usando o comando fsolve,
veja Resolvendo Equações Numericamente (pág. 70).
O comando solve é um resolutor geral que determina soluções simbólicas exatas para equações e
inequações. As soluções para uma única equação ou inequação são devolvidas como uma seqüência
de expressões. Se o Maple não encontra nenhuma solução, o comando solve devolve uma seqüência
de expressões vazia.
>
(3.31)
Recomenda-se que você verifique as soluções devolvidas pelo comando solve. Para maiores detalhes,
Para devolver as soluções como uma lista, coloque a chamada de seqüência entre colchetes ([]).
>
16 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
(3.32)
Expressões
Você pode especificar expressões em lugar de equações. O comando solve automaticamente as iguala
a zero.
>
(3.33)
Múltiplas Equações
Para resolver múltiplas equações ou inequações, especifique-as como um conjunto ou uma lista.
>
(3.34)
>
(3.35)
17 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Por padrão, o comando solve devolve soluções para todas as incógnitas. Você pode especificar as
>
(3.36)
>
(3.37)
Equações Transcendentais
>
>
(3.38)
Para produzir todas as soluções, determine a variável de ambiente _EnvAllSolutions como true.
Nota: Para entrar com o caractere sub-linha (_) no 2-D Math, entre com \_.
>
18 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.39)
O Maple usa variáveis da forma _ZN~, onde N é um inteiro positivo, para representar inteiros arbitrários.
O til (~) indica que é uma quantidade com uma suposição (assumption). Para informações
sobre nomes com suposições, veja Suposições sobre Variáveis (Assumptions on Variables) (pág. 95).
Estrutura RootOf
O comando solve pode devolver soluções, por exemplo, para equações polinomiais de ordem mais alta,
>
(3.40)
Estas estruturas RootOf são lugares de espera (placeholders) para raízes da equação
Como qualquer expressão simbólica, você pode converter estruturas RootOf para valores com
>
(3.41)
Algumas equações são difíceis de resolver simbolicamente. Por exemplo, equações polinomiais de
19 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
quinta ordem ou de ordem mais alta, em geral, não têm uma solução em termos de radicais. Se ocomando
solve não encontrar nenhuma solução, é recomendado que você use o resolutor numérico
do Maple , fsolve. Para mais informações, veja a seção seguinte, Resolvendo Equações
Numericamente.
Para mais informações sobre o comando solve, incluindo como resolver equações definidas como
Para informações sobre verificação e uso de soluções devolvidas pelo comando solve, veja Trabalhando
>
>
(3.42)
Nota: Você pode também resolver equações numericamente usando os menus de contexto. Veja
Recomenda-se que você verifique as soluções devolvidas pelo comando fsolve. Para maiores detalhes,
20 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Múltiplas Equações
Para resolver múltiplas equações, especifique-as como um conjunto. O comando fsolve resolve para
todas as incógnitas.
>
(3.43)
Em geral, o comando fsolve encontra uma solução. Entretanto, para uma equação polinomial a uma
>
>
(3.44)
>
(3.45)
Para encontrar soluções adicionais para uma equação geral, use a opção avoid para ignorar as
soluções conhecidas.
>
21 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
(3.46)
Soluções Complexas
Para procurar por uma solução complexa, ou para encontrar todas as raízes complexas e reais para um
>
(3.47)
Se o comando fsolve não encontra nenhuma solução, recomenda-se que você especifique um intervalo
Range (Intervalo)
>
(3.48)
A sintaxe para uma região específica no plano complexo é ponto esquerda-abaixo..ponto direita-acima.
>
(3.49)
Valores Iniciais
Você pode especificar um valor para cada incógnita. O comando fsolve os usa como valores iniciais
22 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.50)
Para informações sobre verificação e uso de soluções devolvidas pelo comando fsolve, veja a seção
Verificação
É recomendável que você sempre verifique as soluções (que os comandos solve e fsolve devolvem)usando
o comando eval.
>
>
(3.51)
>
(3.52)
>
23 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.53)
>
(3.54)
Para maiores informações, veja Substituindo uma Sub-expressão por um Valor (pág. 280).
Para atribuir o valor de uma solução à variável correspondente como uma expressão, use o
comando assign.
>
>
(3.55)
24 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
O comando assign atribui um valor como uma expressão a um nome. Ele não define uma função.
Para converter uma solução para uma função, use o comando unapply.
>
>
(3.56)
>
(3.57)
>
(3.58)
>
(3.59)
Para maiores informações sobre definição e uso de funções, veja Operadores Funcionais (Functional
25 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
• Sistemas Lineares
• Relação de Recorrência
O Maple pode resolver EDOs e sistemas de EDOs, incluindo problemas de valor inicial e valores de
O ODE Analyzer Assistant é uma interface apontar-e-clicar para as rotinas de resolução de equações
26 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Na janela principal do ODE Analyzer Assistant, você pode definir ODEs, condições de valor inicial
e de contorno e parâmetros. Para definir derivadas, use o comando diff . Por exemplo, diff(x(t),
t)corresponde a e diff(x(t), t, t) corresponde a . Para mais informações sobre o comando
Após definir uma equação diferencial ordinária (ODE), você pode resolvê-la numericamente ou
simbolicamente.
4. Na janela de Solve Numerically (Figura 3.4), você pode especificar o método numérico e os
27 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
2. Na janela de Solve Symbolically (Figura 3.5), você pode especificar o método e relevantes opções
28 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Ao resolver numericamente ou simbolicamente, você pode ver um gráfico da solução clicando o botão
Plot .
• Para fazer o gráfico da solução de um problema simbólico, todas as condições e parâmetros devem
estar determinados.
• Para personalizar o gráfico, clicar o botão Plot Options para abrir a janela Plot Options.
Para ver os comandos Maple correspondentes enquanto você resolve o problema ou faz o gráfico da
Você pode controlar a devolução do valor do ODE Analyzer usando a lista suspensa On Quit, Return.
Você pode selecionar para nenhuma devolução o gráfico exibido, o procedimento numérico computado
(para soluções numéricas), a solução (para soluções simbólicas) ou os comandos Maple necessários
29 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
O Comando dsolve
O ODE Analyzer provê uma interface apontar-e-clicar para o comando Maple dsolve.
• Soluções Numéricas
• Soluções em série
• Soluções formais em série de potências para ODEs lineares com coeficientes polinomiais
Para acessar todas as funcionalidades disponíveis, use o comando dsolve diretamente. Para maiores
Para resolver uma PDE ou um sistema de PDE simbolicamente ou numericamente, use o comando
>
(3.60)
>
(3.61)
O Maple geralmente imprime somente o valor devolvido, erros e espera durante a computação. Para
imprimir informações sobre as técnicas que o Maple usa, aumente o contexto (setting) infolevel para
30 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
o comando.
>
>
Para mais informações sobre PDEs, incluindo soluções numéricas e resoluções de sistema PDE, consulte
Para encontrar soluções para uma equação, use o comando isolve. O comando isolve encontra soluções
para todas as variáveis. Para mais informações, consulte a página de ajuda ?isolve.
>
(3.63)
Para resolver uma equação módulo de um inteiro, use o comando msolve. Para mais informações,
consulte a página de ajuda ?msolve. O comando msolve encontra soluções para todas as variáveis.
>
31 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
(3.64)
Por exemplo, construir uma matriz aumentada usando a paleta Matrix (veja Criando Matrizes e
Vetores (pág. 110)) em que as quatro primeiras colunas contêm entradas de A e a coluna final
contém as entradas de B.
>
>
(3.65)
Para mais informações sobre o uso do Maple para resolver problemas de álgebra linear, veja Álgebra
32 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Para resolver uma relação de recorrência, use o comando rsolve. Para mais informações, consulte
>
(3.66)
Além de manipular quantidades simbólicas e numéricas exatas, o Maple pode realizar computações
O Maple suporta centenas de unidades, por exemplo, milhas, coulombs e bars e provê facilidades
O Maple tem uma biblioteca de centenas de constantes científicas com unidades, incluindo propriedades
de elementos e isótopos.
Para suportar computações com incertezas, o Maple propaga erros através de computações.
Unidades (Units)
O pacote Units no Maple provê um biblioteca de unidades e facilidades para o uso de unidades em
computações. E é completamente extensível, tanto que você pode adicionar unidades conforme
sejanecessário.
Nota: Algumas das operações estão disponíveis como tarefas templates (veja Tools>Tasks>Browse)
Uma dimensão (dimension) é uma quantidade mensurável, por exemplo, comprimento ou força. O
conjunto de dimensões que são fundamentais e independentes são conhecidas como dimensões
33 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
No Maple, as dimensões básicas (fundamentais) incluem comprimento (length), massa (mass), tempo
Dimensões complexas (ou dimensões compostas) medem outras quantidades em termos de uma
uma medida de .
Cada dimensão, fundamental ou composta, tem unidades associadas. (Unidades fundamentais medem
uma dimensão fundamental. Unidades compostas medem uma dimensão composta). O Maple dá suporte a
mais de trinta unidades de comprimento, incluindo pés (feet), milhas (mile), metro (meters),
angstroms,microns e unidades astronômicas. Um comprimento deve ser medido em termos de uma
unidade, por exemplo, um comprimento de 2 parsecs.
Tabela 3.4 lista algumas dimensões, suas dimensões básicas (fundamentais) correspondentes e exemplo
de unidades.
Para a lista completa de unidades (e seus contextos e símbolos) disponível para uma dimensão,
consulte a página de ajuda correspondente, por exemplo, a página de ajuda ?Units/length para
as unidades de comprimento.
34 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Cada unidade tem um contexto. O contexto distingue entre diferentes definições da unidade. Por exemplo,
a padrão e a medida milha do US (US survey miles) são diferentes unidades de comprimento;
e o segundo é uma unidade de tempo e de ângulo. Você pode especificar o contexto de uma unidade
anexando-o como um índice, por exemplo, mile[US_survey]. Se você não especificar um contexto, o
Maple usa o contexto padrão.
As unidades estão coletadas em sistemas, por exemplo, o sistema foot (pé)-pound (libra)-segundo (FPS) e
o sistema internacional, (SI). Cada sistema tem um conjunto padrão de unidades usadas para medidas.No
sistema FPS, foot (pé), pound (libra) e segundo são usadas para medir as dimensões de
Conversões
Para converter um valor medido em uma unidade para o valor correspondente em uma unidade diferente,
use o UnitsCalculator.
35 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
3. Nas listas suspensas From e To, selecione a unidade original e a unidade a que converter.
>
(3.67)
(temperature change).
• Para realizar uma conversão de temperatura, selecione na lista suspensa Dimension, temperature
(absolute).
Para converter mudanças de temperatura, o Units Calculator usa o comando convert/units. Por
exemplo, um aumento de 32 graus Fahrenheit corresponde a um aumento de pelo menos 18 graus
Celsius.
>
(3.68)
>
(3.69)
Para inserir uma unidade, use as paletas Units. A paleta Units (FPS) (Figura 3.7) contém importantes
36 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
unidades do sistema pé-libra-segundo (foot-pound-second). A paleta The Units (SI) (Figura 3.8) contém
importantes unidades do sistema internacional de unidades.
Figura 3.7: Paleta Units (FPS) Figura 3.8: Paleta Units (SI)
>
(3.70)
Para inserir uma unidade que não está disponível nas paletas:
1. Em uma paleta Units, clique o símbolo unit . O Maple insere um objeto Unit no lugar
de espera selecionado.
37 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Por exemplo, para entrar com miles standard [o contexto padrão (default)], você pode especificar
>
(3.71)
O contexto de uma unidade é exibido somente se ela não estiver no contexto padrão.
Importante: Na entrada em 1-D Math, a quantidade e a unidade (entradas usando o toplevel comando
Unit) são um produto, não uma simples identidade.As seguintes chamadas de seqüências definem
expressões diferente.
> 1*Unit(m)/(2*Unit(s));
(3.72)
1*Unit(m)/2*Unit(s);
(3.73)
Algumas unidades suportam prefixos. Por exemplo, as unidades SI suportam prefixos para nomes e
símbolo. Você pode especificar 1000 metros usando kilometer ou km. Para mais informações, consulteas
páginas de ajuda ?Units/prefixes.
>
(3.74)
38 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
No ambiente padrão Maple, você não pode realizar computações com quantidades que têm unidades.
Você pode somente realizar conversões de unidades. Para mais informações sobre ambiente padrão,
Para computar com expressões que têm unidades, você precisa carregar um ambiente Units, Natural
>
No ambiente Standard Units, os comandos que suportam expressões com unidades devolvem os
>
(3.75)
>
(3.76)
>
? mas se escrevo:
>
39 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
(3.77)
>
(3.78)
Para mais informações sobre derivação e integração, veja Cálculo (pág. 125).
Se uma computação inclui múltipas unidades, todas as unidades são expressas usando unidades de
>
(3.79)
Por padrão, o Maple usa o sistema de Unidades SI, em que o comprimento é medido em metros e o
tempo, em segundos.
>
(3.80)
>
40 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.81)
>
>
(3.82)
Extensibilidade
• Dimensões compostas
• Unidades compostas
• Sistemas de unidades
As computações freqüentemente requerem não somente unidades (veja Unidades (pág. 80)), mas
41 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
O Maple dá suporte a computações com constantes científicas. Você pode usar as constantes embutidas e
adicionar outras constantes (custom constants).
Constantes Científicas
O Maple contém muitas constantes científicas embutidas, que você pode facilmente incluir em suas
computações.
Você tem acesso às constantes científicas importantes em engenharia, física, química e outros campos.
A Tabela 3.5 lista algumas das constantes com suporte. Para uma lista completa de constantes científicas,
consulte a página de ajuda ?ScientificConstants/PhysicalConstants.
Nome Símbolo
Newtonian_constant_of_gravitation G
Constante de Planck
elementary_charge (carga elementar) e
Bohr_radius (Raio de Bohr) a[0]
deuteron_magnetic_moment mu[d]
Constante de Avogadro
Faraday_constant F
Constante de Faraday
42 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Você pode especificar uma constante usando seu nome ou seu símbolo.
Para ver a definição da constante gravitacional Newtoniana, especifique o símbolo G (ou seu nome) em
uma chamada ao comando GetConstant.
>
>
(3.83)
Para informações sobre acesso ao valor de uma constante, unidades ou incerteza, veja Valor, Unidades
Propriedades de Elementos
Elementos
O Maple dá suporte aos primeiros 112 elementos da tabela periódica, mais os elementos de número 114
e 116. Cada elemento tem um único nome, número atômico e símbolo químico. Você pode especificarum
elemento usando quaisquer destes rótulos. Para uma lista completa de elementos suportados,
O Maple dá suporte às propriedes chave de elementos (key element properties), incluindo peso atômico
43 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Isótopos
Os Isótopos, formas variantes de um elemento que contêm o mesmo número de prótons mas um número
diferente de neutrons, existem para muitos elementos. Para ver a lista de isótopos suportados para um
>
(3.84)
O Maple dá suporte a isótopos e tem um conjunto distinto de propriedades para isótopos, incluindo
abundância, energia de ligação (bindingenergy) e excesso de massa (massexcess). Para uma lista
ou isótopo
>
(3.85)
>
(3.86)
Para usar constantes ou propriedades de elementos, você deve primeiro construir um objeto
44 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Scientific-Constants.
>
(3.87)
Para construir uma propriedade de elemento (ou isótopo), use o comando Element.
>
(3.88)
Valor
>
(3.89)
>
(3.90)
Nota: O valor devolvido depende do sistema de unidades corrente. Para informações sobre controle
Unidades
45 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.91)
>
(3.92)
Para informações sobre a troca do sistema de unidades padrão, por exemplo, do SI para pé-libra-
Valor e Unidades
Se estiver realizando computações com unidades, você pode acessar o valor e as unidades para um
>
(3.93)
>
(3.94)
46 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Incerteza
O valor de uma constante é freqüentemente determinado pela medição direta ou derivado de valores
medidos. Logo, ele tem associada uma incerteza. Para obter a incerteza no valor de um
objetoScientificConstants, use o comando GetError.
>
(3.95)
>
(3.96)
Realizando Computações
Você pode usar valores constantes em qualquer computação. Para usar valores constantes com unidades,
use um ambiente Units como descrito no Realizando Computações com Unidades (pág. 84). Para
informações sobre computações com quantidades que têm uma incerteza, veja a seção seguinte.
Modificação e Extensibilidade
Você pode trocar a definição de uma constante científica ou propriedade de elemento (ou isótopo).
• Constantes
• Elementos (e isótopos)
?ScientificConstants[AddElement] e ?ScientificConstants[AddProperty].
47 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Propagação de Incerteza
Algumas computações envolvem incertezas (ou erros). Usando o pacote ScientificErrorAnalysis, você
pode propagar a incerteza nestes valores através da computação para indicar o possível erro no
resultado final.
O pacote ScientificErrorAnalysis não realiza intervalo aritmético. Isto é, o erro de um objeto não
representa um intervalo no qual possíveis valores devem estar contidos. (Para realizar intervalo aritmético,
use o pacote Tolerances. Para mais informações, consulte a página de ajuda?Tolerances). Asquantidades
representam valores desconhecidos com tendência central. Para mais informações sobre tendência
central, consulte qualquer texto sobre análise de erros para ciências físicas ou engenharia.
Criando
Para construir quantidades com incertezas, use o comando Quantity. Você deve especificar o valor e a
incerteza. A incerteza pode ser definida absolutamente, relativamente ou em unidades do último
dígito.Para mais informações sobre especificação de incerteza, consulte a página de ajuda
?ScientificError
Analysis[Quantity].
>
>
(3.97)
>
(3.98)
Para especificar o erro em unidades do último dígito, o valor deve ser do tipo com ponto-flutuante
>
(3.99)
48 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Para acessar o valor e a incerteza de uma quantidade com incerteza, use os comandos evalf e
ScientificErrorAnalysis[GetError].
>
(3.100)
>
(3.101)
Arredondando
Para arredondar o erro de uma quantidade com incerteza, use o comando ApplyRule. Para uma descrição
das regras de arredondamente pré-definidas, consulte a página de ajuda
?ScientificErrorAnalysis/rules.
>
(3.102)
Unidades
As quantidades com erros podem ter unidades. Por exemplo, constantes científicas e propriedade de
elemento (e isótopo) nos pacotes ScientificConstants são quantidades com erros e unidades.
Para construir uma nova quantidade com unidades e incerteza, inclua unidades na chamada de seqüência
Quantity.
Para um erro absoluto, você deve especificar as unidades em ambos: no valor e no erro.
>
>
(3.103)
49 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.104)
Para informações sobre a correlação entre variância e covariância entre quantidades com incerteza,
>
>
>
(3.105)
>
Para converter a solução para uma única quantidade com incerteza, use o comando combine/errors.
>
50 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
O valor do resultado é:
>
(3.106)
A incerteza do resultado é:
>
(3.107)
Informação Adicional
Por padrão, o Maple computa no sistema de números complexos. A maioria das computações é
realizada sem quaisquer restrições ou suposições sobre as variáveis. O Maple freqüentemente devolve
resultados que são estranhos ou não simplificados ao computar no campo de números complexos.
Usando restrições, você pode mais fácil e eficientemente realizar computações em um domínio
menor.
O Maple tem facilidades para realizar computações no sistema dos números reais e para aplicar
51 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Para forçar o Maple a realizar computações no campo dos números reais, use o pacote RealDomain.
expressões e fórmulas, por exemplo, expand, eval, e solve. Para uma lista completa de comandos,
consulte a página de ajuda ?RealDomain.
Depois de carregar o pacote RealDomain, o Maple assume que todas as variáveis são reais. Os comandos
devolvem resultados simplificados apropriados ao campo dos números reais.
>
>
(3.108)
>
(3.109)
>
(3.110)
>
52 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.111)
Para simplificar a solução do problema, é recomendado que você sempre aplique quaisquer suposições
conhecidas para as variáveis. Você pode impor suposições usando o comando assume. Para aplicar
O Comando assume
Você pode usar o comando assume para determinar propriedades de variáveis, por exemplo, x::real
Para informações sobre propriedades válidas, consulte a página de ajuda ?assume. Para informação
sobre o operador dois pontos duplos (::), consulte a página de ajuda ?type.
Psra assumir que x é um número real positivo, use a seguinte chamada de seqüência. Então computea raiz
quadrada de .
>
(3.112)
53 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Quando você usa o comando assume para colocar a outra suposição sobre x, as suposições anteriores
>
(3.113)
Exibindo as Suposições
>
Para impor simultaneamente múltiplas condições sobre uma expressão, especifique múltiplos argumentos
na chamada de seqüência calling.
>
Para especificar suposições adicionais sem substituir as suposições anteriores, use o comando
>
is assumed to be: 1
54 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
Testanto Propriedades
Para testar se uma expressão sempre satisfaz uma condição, use o comando is.
>
(3.114)
Os seguintes testes devolvem false porque existem valores de x e y (x = 0, y = 10) que satisfazem
>
(3.115)
Para testar se uma expressão pode satisfazer uma condição, use o comando coulditbe.
>
(3.116)
Removendo Suposições
Para remover todas as suposições sobre uma variável, retire a atribuição (unassign) dada a
seu nome.
>
Para mais informações, veja Retirada de Atribuições de Nomes (Unassigning Names) (pág. 50).
Para mais informações sobre o comando assume, consulte a página de ajuda ?assume.
55 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
O Comando assuming
Para realizar uma única avaliação sob suposições sobre nomes em uma expressão, use o comando
assuming.
>
(3.117)
Usar o comando assuming é equivalente a impor suposições com o comando assume, avaliando a
expressão e então removendo as suposições.
>
x:
nothing known about this object
Se você não especifica os nomes aos quais aplicar uma propriedade, ela é aplicada a todos os nomes.
>
(3.118)
Suposições colocadas sobre nomes usando o comando assume são ignoradas pelo comando assuming, a
menos que você inclua a opção additionally.
>
>
(3.119)
56 de 57 30/03/2008 12:59
index1.html file:///C:/Meus%20Documentos/Fisica/Manual%20Maple%2011/Capit...
>
(3.120)
O comando assuming não afeta variáveis dentro de procedimentos. Para informações sobre
procedimentos, veja Procedimentos (pág. 301). Você deve usar o comando assume.
>
(3.121)
>
(3.122)
>
(3.123)
Para mais informações sobre o comando assuming, consulte a página de ajuda ?assuming.
57 de 57 30/03/2008 12:59