maple中文教程
maple教程，让你更好的学习maple，教程完整而且全面1.3 Maple的基本功能maillist: mathgroupowolfram comMaple的网络资源:http://www.maplesoft.comhttp://daisy.uwaterloo.caftp//ftp.maplesoft.commaillist: maple-listodaisy uwaterloo caMatlab的网络资源http://www.mathworks.comftp//ftp.mathworks.comnews: //comp. soft-sys matlabREDUCE的网络资源http://www.rrz.uni-koeln.de/reducehttp://www.zib.de/symbolik/reduceftp: //ftp. rand. org/software_and_data/reduce符号计算研究机构及信息中心http://t mcs. kelh七七p://ww.cain.nl/http://www.risc.uni-linz.ac.atnews: //sci. math. symbolic其它符号计算软件的网络地址Derivehttp://www.derive.comMacaulay2http://www.math.uiuc.edu/macaulay2/Macsymahttp://www.macsyma.comMagmahttp://www.maths.usydeduau:8000/u/magma,Mathcadhttp://www.mathsoft.com№uPadhttp://www.mupad.deScilabhttp://www-rocq.inria.fr/scilab/13 Maple的基本功能计算札代数系统与其它计算札语言的木质区别是:计算机代数系统具有符号计算的能力,为用户提供交互式的计算环境,可以进行常规的数学计算,可以根据给定的数学函数画出函数的二维或三维图形.下面我们简要描述 Maple的基本功能数值计算对于普通的数, Maple总是进行精确的计算,这种规则对于有理数和无理数是相冋的.因此对于无珥数 Maple按照有关的数学规则进行计算,只有当用户需要计算浮点数近似值时, Maple才按照用户要求的精度计算>1/5+1/49第一章 Maple系统简介5!/21evalf o%)5.7142857141f(Pi,40)3.14159265589793238462643:383279502884197>2.496745643/2;1.248372822>abs(3+5*I);>(3+4*I)/(1+工);从上面的例子可以看到,对于复薮Mape按照复数的规则进行计算.多项式符号计算系统的最基本功能是处理符号表达式,多项式则是最基本的符号表达式.从下面的例子中可以看到 Maple可以用各种方式处理多项式、三角表达式、指数与对数等许多数学表达式> factor(x^4+2*x^3-12米x^2+40*x-64(x-2)(x3+4x2-4x:+32)expand((x+1)"5)+5x4+10x3+10:2+5x+1lify (exp (x*log(y)))simplify(sin(x)2+cos(x)2)> xpand((x2-a)^3*(x+b-1));x7+x6b-26-3:5a-3x4ab+34a+3x3a2+3x2a2b-3x2a2-a3-a3b+a3expand(cos (4*x)+4*cos(2*x)+3, trig)1.3Mapl的基本功能bine(4*cos(x)"3, trig)cos (3 c)+3 cos(a)解方程用 Maple来解简单的方程是毫无问题的,即使是很复杂的方程 Maple也可以用数值计算的方法来处理.>Slve(x^2-3*x=2,x);31>g1sys:={2*x+31,x-y-z=4,3*x+7*z=3solve(glsys)24974311> fsolve({x2+y2=10,x^y=2},{x,y});{=3.102449071,y=.6122170880}矩阵计算Mapl还有许多命令可以处理矩阵和向量,不过需要调用线性代数软件包1inag.还有一点特别的是,作矩阵的乘法需要一个特殊的算子&*>with (linalg)Warning, new definition for normWarning, new definition for traceatrix([[2,3],[1,4]);2314inverse(a), det(a)([L,x],[y,z]])b:=第一章 Maple系统简介eval(a+b)2+03++y4+eval(a &* b)2w+3y2x+3+4yx+4极限,求和与乘积对于普通的求极限问题,可以接用 Maple来计算,它还可以符号的计算级数的和与积.当符号计算不成功时,还可以作数值计算>1imit((sqrt(1+x)-1)/x,x=0);limit(x!/xx, infinity);y);evalf(product(1+1/x"2, x=1.. infinity ));3.676077910微分与积分用 Maple来求微分是相当容易的,使用diff命令即可以求出数学表达式的微分,不过求出的结果可能是相当复杂,因此運常还要用 simplify命令进行化简.求数学表达式的定积分和不定积分就相对复杂一些,需要某些特定的算法.对于复杂的函数,求出的结果可能是某些特殊函数.对于定积分,还可以用eva1f求出积分的数值.simplify(diff((x-1)/(x"2+1), x));1-2diff(sin(x*y),x);g ) yint(1/(1+x+x^2),x);2cH1.3 Maple的基本功能int(sin(x 2),x=a.b)FresnelS(bint(sin (x)/x, x=o.5)eva1.549931245微分方程对于不太复杂的常微分方程, Maple可以求出它的符号解.如果你没有给初始条件,或者给的初始条什或边界条件不全,在解的公式中会带有积分常量> deq: =diff(y(x), x)*y(x)(1+x 2)=x;n:=(ny(x)y()(1+x2)dsolve(deq},{y(x)});y(a)=vIn(1+ c2), y(a)ln(1+x:2)> dsolve((y(x)2-x)*D(y)(x)+x^2-y(x)=0,{y(x)});1- y().r+oy()C1级数展开当数学问题比较复杂时,求出准确解通常是不可能的,用 serles作级数展开是有帮助的series(sin(x), x=0, 10)9+O(x5040362880例如在下列微分方程中,就是用级数方式求出的微分方程级数解>口rder:=10deq: =diff(y(x), x$2)+diff(y(x), x)+(x)=x+sin(x02v(a))+y(a)> sln1:=dsolve((deg, y(0)=0, D(y)(0)=0,y(x)1, series)3nt:y(m)=a2-1412405040x23+O(x21)20160181440第一章 Maple系统筒介Laplace和 Fourier变换Laplace变换和 Fourier变换是常用的数学变换.在 Maple中有一个积分变换的程序包inttrans提供了各种积分变换和它们的逆变换with (inttrans)s);s cos(a)+sin(a+1invlaplace(%,s, t)(a)cos(t)+sin(a)sin(tcombine(%, trig);(t-a)alias(sigma=Heaviside)f: =sigma(t+1)g: =simplify(fourier(f, t, w))I(T Dirac(an)w-Dsin(an)插值与函数拟合的像々命令可以由m个点出发计算m-1阶的插值多项式.在下例中的取值是1到10y的值是1到10之间的10个随机数f是相应的插值多项式datax:=[seq (i, i=1.10)]> data:=[seq(rand(10)(),i=1..10)]dataxy: =zip((x, y)->Lx,y], datax, datay)dater:=[1,1],②2,0],[3.7,[4,3],⑤,6],6,8,[7,5,8,8],[⑨,1,[10,9f:=interp(datax, data, x)1751711699371927323176741652577518404U3206048028801728057603240l8116483166915333602520x-2使用数值逼近程序包 numapprox中的pade命令可以计算一个给定函数的有理逼近函数以及其它类型的逼近函数with(numapprox)>x0:= solve(x^2=Pi/2)[1]T1.3 Maple的基本功能>f:=pade(tan(x^2),x=x0,[3,3])f:=(-17280m19/2√2+10800%17+43200%138-76809%13x103072%12m25/2√2-324007152V2+3840x232√2+2880%179+30729%13712+2010%2x2￥2-14100%1x2y2-1520%1m2)/(-11520丌1+1024x13-1400x9-10800)%1+(7680x23/22-115209/2v2+21600m15/2v2%12+(-7680m12+3156010+648007)%1)1:=evalf(normal(f))45329581221092-.1125313130109+10541843601093+.5353835473109x)/(2(.109716870010x2+.S958248690103-,135628886010)图形最常用的画图命令是plot和plot3d.下面的例子说明了使用在两个命令的方法>plot(sin(x)*exp(1)^(-x/7),x=0,,4*Pi);plot 3d(sin(x)exp(1)"y, x=0.. 2*Pi, y=0.. Pi, axes=boxedMaple编程Maple不仅可以对数学表达式进行计算,还可以编程.他的编程语言和其它的结构化编程语言很相似第一章 Maple系统简介f(x:: nonnegint)2 option rememberif x=0 then olif x=1 then 1else f(x-1)+f(x-2) end ifend>f(40)10233415514 Maple系统的交互使用Maple的窗口环境提供了先进的工作区界面.其护充的数学功能简明易用,用户可以在其中展现数学思想,创建复杂的技术报告,充分发挥 Maple的功能图1.1: Maple的窗凵环境B6型团囚K9 United [u]. 5e e11C wOrksheet ElementsABTAEZHIKAMint((PI/2)3in(x)+22,:NEOIPLYXΩI cor]+-plo({-1/2too8(x),x=10.,10际回四a Maple的上具条B内容工具条,它还包含一个输入和编辑文本的区域C节的头部及标题D Maple的输入,提小符为“>”,显小为红色
- 2020-12-08下载
- 积分：1
opencv2.4.9源码分析——SIFT
详细介绍SIFT算法，opencv的SIFT源码分析，以及应用实例SIFT算法进行了改进,通过对两个相邻高斯尺度空间的图像相减,得到个DoG(高斯差分,Difference of gaussians)的响应值图像Dx,y,σ)来近似LoGD(x,y, o)=(G(x,y, ko)-G(x,y,o)O1(x,y)=L(x,y, ko)-L(x,y,a(5)其中,k为两个相邻尺度空间倍数的常数。可以证明DoG是对LoG的近似表示,并且用DoG代替LoG并不影响对图像斑点位賀的检测。而且用DoG近似LoG可以实现下列好处:第一是LoG需要使用两个方向的高斯二阶微分卷积核,而DoG直接使用晑斯卷积核,省去了卷积核生成的运算量;第二是DoG保留了个高斯尺度空间的图像,因此在生成某一空间尺度的特征时,可以直接使用公式1(或公式3)产生的尺度空间图像,而无需重新再次生成该尺度的图像:第三是DoG具有与LoG相同的性质,即稳定性好、抗干扰能力强。为了在连续的尺度下检测图像的特征点,需要建立DoG金宇塔,而DoG金宁塔的建立又离不开髙斯金字塔的建立,如下图所小,左侧为高斯金字塔,右侧为DoG金字塔:(nextoctave)Scale(firstoctave)Difference ofaussianGaussian(DOG)图1高斯金字塔和DoG金字塔高斯金字塔共分O组( Octave),每组又分S层( Layer)。组内各层图像的分辨率是相同的,即长和宽相同,但尺度逐渐增加,即越往塔顶图像越模糊。而下·组的图像是由上组图像按照隔点降采样得到的,即图像的长和宽分别减半。高斯金字塔的组数O是由输入图像的分辨牽得到的,因为要进行隔点降采样,所以在执行降釆样生成高斯金字塔时,一直到不能降采样为止,但图像太小又亳无意义,因此具体的公式为:0=| log2 min(x,y)-2」(6)其中,X和Y分别为输入图像的长和宽,L」衣示向下取整。金字塔的层数S为:(7)LoWe建议s为3。需要注意的是,除了公式7中的第一个字母是大写的S外,后面出现的都是小写的s髙斯金字塔的创建是这样的:设输入图像的尺度为0.5,由该图像得到高斯金字塔的第0组的第0层图像,它的尺度为m,我们称m为基准层尺度,再由第0层得到第1层,它的尺度为ko,第2层的尺度为k2o,以此类推。这里的k为:(8)我们以s=3为例,第0组的6(s+3=6)幅图像的尺度分别为:0,ko0,k2∞,k3o0,k∞o,k5o(9)写成更一般的公式为:d=or∈[0,,s+2](10)第0组构建完成后,再构建第1组。第1组的第0层图像是由第0组的倒数第3层图像经过隔点采样得到的。由公式10可以得到,第0组的倒数第3层图像的尺度为k∞o,k的值代入公式8,得到了该层图像的尺度正好为2∞,因此第1组的第0层图像的尺度仍然是2∞。但由于第1组图像是由第0组图像经隔点降采样得到的,因此相对于第1组图像的分辨率来说,第θ层图像的尺度为ω,即尺度为2σ是相对于输入图像的分辨率来说的,而尺度为∞是相对丁该组图像的分辨率来说的。这也就是为什么我们称0为基准层尺度的原因(它是每组图像的基准层尺度)。第1组其他层图像的生成与第0组的相同。因此可以看出,第1组各层图像的尺度相对于该组分辨率来说仍然满足公式10。这样做的好处就是编程的效率会提高,并且也保证∫高斯金字塔尺度空间的连续性。而之所以会出现这样的结果,是因为在参数选择上同吋满足公式7、公式8以及对上·组倒数第3层图像降釆样这三个条件的原因。那么第1组各层图像相对」输入图像来说,它们的尺度为:=2k00r∈[0,,S-2该公式与公式10相比较可以看出,第1组各层图像的尺度比第0组相对应层图像的尺度人了一倍。高斯金字塔的其他组的构建以此类推,不再赘述。下面给出相对于输入图像的各层图像的尺度公式:o,)=2k∞O∈[0,O-1l,r∈[0,,+2(12)其中,O表示组的坐标,r表示层的坐标,a为基准层尺度。k用公式8代入,得:2O∈[0,…0-1],r∈[0,…,s+2](13)在高斯金字塔中,第0组第∂层的图像是输入图像经髙斯模糊后的结果,模糊后的图像的高频部分必然会减少,因比为了最大程度的保留原图的信息量,LoWe建议在创建尺度空间前首先对输入图像的长宽扩展一倍,这样就形成了高斯金字塔的第-1组。设输入图像的尺度为0.5,那么相对于输入图像,分辨率护人一倍后的尺度应为1,由该图像依次进行高斯平滑处理得到第-1组的各个层的尺度图像,方法与其他组的一样。由于增加」第-1组,因此公式13重新写为(0∈[-1,0,…,0-1],r∈[0,…,s+2](14)DoG金字塔是由高斯金字塔得到的,即高斯金宁塔组内相邻两层图像相减得到DoG金字塔。如髙斯金字塔的第0组的筼0层和第1层相减得到DoG金字塔的第0组的箅0层图像,高斯金字塔的第0组的第1层和第2层相减得到υσG金字塔的第θ组的第1层图像以此类推。需要注意的是,高斯金字塔的组内相邻两层相减,而两组间的各层是不能相减的因此高斯金字塔每组有s+3层图像,而DoG金宁塔每组则有s+2层图像。极值点的搜索是在DoG金字塔内进行的,这些极值点就是候选的特征点。在搜索之前,我们需要在DoG金字塔内剔除那些像素值过小的点,因为这些像素具有较低的对比度,它们肯定不是稳定的特征点。极值点的搜索不仅需要在它所在尺度空间图像的邻域内进行,还需要在它的相邻尺度空间图像内进行,如图2所示。每个像素在它的尺度图像中一共有8个相邻点,而在它的下一个相邻尺度图像和上个相邻尺度图像还各有9个相鸰点(图2中绿色标注的像素),也就是说,该点是在3×3×3的立方体内被包围着,因此该点在DoG金字塔内一共有26个相邻点需要比较,来判断其是否为极大值或极小值。这里所说的相邻尺度图像指的是在同个组内,因此在DoG金字塔内,每一个组的第0层和最后一层各只有一个相邻尺度图像,所以在搜索极值点时无需在这两层尺度图像内进行,从而使极值点的搜索就只在每组的中间s层尺度图像内进行。搜索的过程是这样的:从每组的第1层开始,以第1层为当前层,对第1层的DoG图像中的每个点取·个3×3×3的立方体,立方体上下层分别为第0层和第2层。这样,搜索得到的极值点既有位置坐标(该点所在图像的空间坐标),又有尺度空间坐标(该点所在层的尺度)。当第1层搜索完成后,再以第2层为当前层,其过程与第1层的搜索类似,以此类推。Scale图2DoG中极值点的搜索2、特征点的定位通过上一步,我们得到了极值点,但这些极值点还仅仅是候选的特征点,因为它们还存在一些不确定的因素。首先是极值点的搜索是在离散空间内进行的,并且这些离散空间还是经过不断的降采样得到的。如果把采样点拟合成由面后我们会发现,原先的极值点并不是真正的极值点,也就是离散空间的极值点并不是连续空间的极值点。在这里,我们是需要精确定位特征点的位置和尺度的,也就是要达到亚像素精度,因此必须进行拟合处。我们使用泰勒级数展开式作为拟合函数。如上所述,极值点是·个三维矢量,即它包括极值点所在的尺度,以及它的尺度图像坐标,即=(x,y,o),因此我们需要三维函数的泰勒级数展开式,设我们在=(x0,y,)处进行泰勒级数展开,则它的矩阵形式为:602f02f02fdxax day dao02f02f02faxdy ayay ayaallly-yol2f02f02fOrdo aydo dodo(15)公式15为舍去高阶项的形式,而它的矢量表示形式为f(X)=f(X0)+o￥(X-x0)+7(x-x0)a F(X-Xo(16)在这里表示离散空间卜的插值中心(在离散空问内也就是采样点)坐标,表示拟合后连续空间下的插值点坐标,设ⅹ=Ⅹ-Xn,则X表示相对于插值中心,插值后的偏移量。因此公式16绎过变量变换后,又可写成:f(x)=f(X0)+yX+XTⅩX20X2(17)对上式求导,得af (x a02f0ox ox+2 ax2+axa80f.02fXaxaX2(18)让公式17的导数为0,即公式18为0,就可得到极值点下的相对于插值中心的偏移量:aX2 ax(19)把公式19得到的极值点带入公式17中,就得到了该极值点下的极值Tf(X)=f(X0)+af02f10f)a2f/02f-1of2 8X2 0X/0X28X2dXf(X0)+H打×1ora2Ta2f-ra2fa2f-1 af2 dx dx2dx2dx2 dXa f02f-10f∫(X0)+dF×f7a22 ax ax2 axaflf(Xo)+xx+2 0X(-X)18Ff(X0)+2 aX(20)对于公式19所求得的偏移量如果大」0.5(只要x、y和σ任意一个量大于0.5),则表明插值点已偏移到了它的临近的插值中心,所以必须改变当前的位置,使其为它所偏移到的插值中心处,然后在新的位置上重新进行泰勒级数插值拟合,直到偏移量小于0.5为止(x、y和σ都小于0.5),这是一个迭代的工程。当然,为了避免无限次的迭代,我们还需要设置个最人迭代次数,在达到了迭代次数但仍然没有满足偏移量小于0.5的情况下,该极值点就要被剔除掉。另外,如果由公式20所得到的极值f(X过小,即f(X1,则Tr(H)2(a+β)2(+β)2(y+1)2Det(h)2(25)上式的结果只与两个特征值的比例有关,而与具体的特征值无关。我们知道,当某个像系的矩阵的两个特征值相差越大,即γ很大,则该像素越有可能是边缘。对于公式25,当两个特征值相等时,等式的值最小,随着γ的增加,等式的值也增加。所以,要想检查主曲率的比值是否小于某一阈值y,只要检査下式是否成立即可:Tr(H)(y+1)Det(h)(26)对于不满足上式的极值点就不是特征点,因此应该把它们剔除掉。Lowe给出γ为10在上面的运算中,需要用到有限差分法求偏导,在这里我们给出具体的公式。为方便起见我们以图像为例只给出二元函数的实例。与二元函数类似,三元函数的偏导可以很容易的得到设f(i,是ν轴为i、x轴为j的图像像素值,则在(j点处的一阶、二阶及二阶混合偏导af f(i, j+1)-f(i, j0ff(i+1,j)-f(-1,ax2h2h(27)ff(+1)+f(-1)-2f(,j)a2ff(+1,j+f(-1,j)-2f(i,j)hh(28)2ff(-1,j-1)+f(i+1,j+1)-f(i-1,+1)-f(i+1,-1)dx d(29)由丁在图像中,相邻像素之问的间隔都是1,所以这里的h3、方向角度的确定经过上面两个步骤,一幅图像的特征点就可以完全找到,而且这些特征点是具有尺度不变性。但为了实现旋转不变性,还需要为特征点分配一个方向角度,也就是需要根据检测到的特征点所在的高斯尺度图像的局部结构求得一个方向基准。该高斯尺度图像的尺度a是已知的,并且该尺度是相对于高斯金字塔所在组的基准层的尺度,也就是公式10所表示的尺度。而所谓局部结构指的是在高斯尺度图像中以特征点为中心,以r为半径的区域内计算所有像素梯度的幅角和幅值,半径r为(30)其中a就是上面提到的相对于所在组的基准层的高斯尺度图像的尺度。像素梯度的幅值和幅角的计算公式为:m(xy)=√(x+1,y)-L(x-1,y)2+(L(x,y+1),L(x,y-1)2(31)L(x,y+1)-L(x,y-1)o(x, y)=arctanL(x+1,y)-L(x-1,y)(32)因为在以〃为半径的区域内的像素梯度幅值对圆心处的特征点的贡献是不同的,因此还需要对幅值进行加权处理,这里采用的是高斯加权,该高斯函数的方差Cm为:Om=1.50(33)其中,公式中的σ也就是公式30中的σ在完成特征点邻域范围内的梯度计算后,还要应用梯度方向直方图来统计邻域內内像素的梯度方向所对应的幅值大小。具体的做法是,把360°分为36个柱,则每10°为一个柱,即0°~9为第1柱,10°~19为第2柱,以此类推。在以r为半径的区域内,把那些梯度方向在0~9°范围内的像索找出来,把它们的加权后的梯度嘔值相加在一起,作为第1柱的柱高;求第2柱以及其他柱的高度的方法相同,不再赘述。为了防止某个梯度方向角度因受到噪声的干扰而突变,我们还需要对梯度方向直方图进行平滑处理。 Opencv2.4.9所使用的平滑公式为:H()~h(-2)+h(+2)4×(h(-1)+h(+1)),6×h()i=0...15161616(34)其中h和H分别表示平滑前和平滑后的直方图。由于角度是循环的,即0°=360°,如果出现h(),j超出了(0,…,15)的范围,那么可以通过圆周循环的方法找到它所对应的、在0°~360°之间的值,如h(-1)-h(15)这样,直方图的主峰值,即最高的那个柱体所代表的方向就是该特征点处邻域范围内图像棁度的主方向,也就是该特征点的上方向。由于柱体所代表的角度只是一个范围,如第1柱的角度为0~9°,因此还需要对离散的梯度方向直方图进行插值拟合处理,以得到更精确的方向角度值。例如我们凵经得到了第i柱所代表的方向为特征点的主方向,则拟合公式为:H(i-1)-H(i+1)B=i+=0,…152×(H(-1)+H(i+1)-2×H()(35)O=360-10xB(36)其中,H为由公式34得到的直方图,角度6的单位是度。同样的,公式35和公式36也存在着公式34所遇到的角度问题,处理的方法同样还是利用角度的圆周循环。每个特征点除了必须分配一个主方向外,还可能有一个或更多个辅方冋同,增加辅方向的目的是为了增强图像匹配的鲁棒性。辅方向的定义是,当存在另个柱体高度大于主方向柱体高度的80%时,则该柱体所代表的方向角度就是该特征点的辅方向。在第2步中,我们实现∫用两个信息量来表小一个特征点,即位置和尺度。那么经过上面的计算,我们对特征点的表示形式又增加了个信息量一一方向,即(x,y,o,6)。如果某个特征点还有一个辅方向,则这个特征点就要用两个值来表示——(x,y,,B1)和(x,y,,02),其中O1表示主方向,O2表示辅方向,而其他的变量x,y,不变。4、特征点描述符生成
- 2020-06-25下载
- 积分：1
