论文部分内容阅读
基于Alloy的群论定理的机器验证
【机 构】
：
辽宁师范大学
【出 处】
：
辽宁师范大学
【发表日期】
：
2018年期
其他文献
本文利用微分方程定性理论、重合度理论以及Lyapunov函数法，针对三类具有稀疏效应的捕食系统，讨论了它们的定性行为。主要工作如下：
第一部分，考虑了稀疏效应对种群的影响，研
本文首先研究了交错素纽结是否存在质数p,在所有交叉点满足x+y-2z=0(mod p)其中x,y,z分别代表交叉点处的两个下垮与一个上垮弧线的数值,并证明了该性质是在Reidemeister移动
学位
本文首先在第二章中构造了一类推广的Szász-Mirakjan算子，同时利用K泛函与光滑模的等价关系证明了该算子与其导数的点态逼近的正定理，在文章第三节中又证得了该算子导数与函数
自从概周期型函数理论提出以来，许多数学工作者把它应用到了其它的数学分支中，如微分方程、积分方程、控制理论等方面。本文主要是把概周期型函数应用到微分方程中，讨论了一阶和
物理、力学和工程技术中的很多问题的解决，最终可以归结为数学上的大型稀疏线性方程组的数值计算问题的求解.应用迭代法对于大型稀疏线性方程组的求解具有优越性，但迭代法也存
自1962年Bézier曲线由法国工程师皮埃尔·贝塞尔发明至今，Bézier曲线以其结构简单、直观、实用而成为CAD/CAM等几何工业中表示曲线曲面的重要工具之一。然而，对于给定的控制
考虑到杀虫剂函数是随时间变化的连续指数函数，而且多次频繁的使用同一种杀虫剂，害虫会产生抗药性，在相关害虫的抗药性方面的理论知识以及参考已有文献理论研究的基础之上，结合实
本文研究了基于有限体积中心格式和交错网格的高阶中心Hermite WENO(weighted essentially non-oscillatory,HWENO)数值格式的构造及其应用，在空间上采用HWENO重构进行离散，时
时间分数阶Black-Scholes方程在期权定价中有着日益广泛的应用。本文旨在研究该方程的数值解法，构造和分析了两个有效算法。第一个算法结合了时间方向的有限差分和空间方向的