论文部分内容阅读
若干平面图的邻和可区别全染色
【机 构】
：
河北工业大学
【出 处】
：
河北工业大学
【发表日期】
：
2016年期
其他文献
R.Lashof＆S.Smale在1958年将超曲面的Gauss-Bonnet定理推广到一般的欧氏空间的子流形中，本文将采用同调论和示性类的方法，对该结果给出一个简单证明和一些应用。
本论文主要研究低阶非协调有限元在一般四边形网格上的精度.
网格条件在工程计算中起着重要的作用，本文分析了一类非常实用而且在理论上也很有意义的四边形网格条件即(1+
本文将考虑下面的非线性椭圆方程。
在第一章，介绍了上述方程的背景并给出了主要定理。
在第二章，考虑上述方程正解的紧致性定理，首先采用F.Pacard的思想，建立在H1(Ω)
本论文研究了冯·诺依曼代数的生成元问题，首先给出了一些经典结论。生成元问题指的是可分希尔伯特空间H上的任何冯·诺依曼代数M是否由单个元生成，即是否存在A∈M，使得M=｛A，A*}"
2013-05-09国际浆纸网报道:在美国高盛银行4月底的报告中显示,近期大宗商品前景有所下调,高盛认为从中国到欧美市场需求前景表现疲软,弱于预期的宏观经济数据,增强其对全球经
本文主要讨论MMP(Mathematics Mechanization Platform)的系统结构及其高层编程语言实现与应用。MMP是由国家973项目资助的大型数学机械化平台软件，其核心功能是符号计算及其
在分子动力学模拟中，时间步长受限于被模拟分子中的键长伸缩和键角张合这类高频运动的周期。这使得分子动力学模拟的时间步长非常小，通常为1飞秒。约束动力学通过约束键长或键
图像盲去模糊问题就是在模糊核不清楚的前提下，由观察到的模糊图像复原出原始的清晰图像，这显然是一个病态问题。近年来，一些算法通过将图像和模糊核的各种先验信息融入到图像去
最小Steiner树(Steiner Minimal Tree，SMT)问题是一个非常经典和重要的组合优化问题，它寻求在某种距离意义下将给定的点用最短的网络连接起来。最小生成树(Minimal Spanning Tr
本文主要讨论仿射括号代数的算法和它在定理机器证明中的应用两方面的问题.
本文的动机有如下两个方面：
(1)括号代数作为一种崭新的定理机器证明工具已经被广泛研究