关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

几种图类的邻点可区别关联着色

近年来,关于图着色问题的研究得到了许多有价值的结果,同时拓展出若干新的着色.图的邻点可区别关联着色是在图的关联着色概念的基础上提出的一种新的着色概念.本文研究了路、星、扇、轮、完全图的邻点可区别关联着色并确定了它们的邻点可区别关联色数.     

激光显示的概念与分析

激光显示相关的技术，是一种新兴的显示领域技术，其将激光光源作为主导，具有色域覆盖区域大、饱和度高和方便实现较高分辨和大屏幕影像等特点。文章介绍了激光显示的概念、特点、现存状态与发展趋势，讨论了激光显示的优势以及现阶段所存在的主要问题，分析了激光显示的发展前景，展示了激光显示作为新生一代显示相关技术的巨大潜力。     

相对相位对三势阱玻色爱因斯坦凝聚体隧穿特性的影响

通过三模近似来处理含三体项的GP方程,讨论了对称三势阱中散射长度周期变化时系统的特性,并以此为基础来分析不同相位情况下定态解的稳定性.研究表明这个体系的隧穿动力学可以被周期变化的散射长度有效的调节,且数值结果展示了相位对系统定态解的稳定性影响起重要作用,系统可通过改变相对相位使系统在自俘获与周期运动状态间转换.     

相对论重离子碰撞产生的大横动量光子

利用微扰量子色动力学和部分子模型,研究了相对论重离子碰撞中冷组分部分子相互作用产生的大横动量光子.在微扰量子色动力学中,大横动量的光子产生源主要有康普顿散射、夸克-反夸克湮灭以及部分子散射末态的光子碎裂产生.理论计算结果能够较好地解释大型强子对撞机铅-铅2.76 Te V碰撞产生的光子实验数据.     

一个考虑耗散效应的玻色_爱因斯坦凝聚的双势阱的经典模型

在双势阱模型的基础上考虑了Josephson流与凝聚体的相互作用而引起的阻尼效应,及粒子之间的相互作用势能差而引起的保守力,及凝聚体耗散等因素,提出了一个经典模型,得出相对粒子数Z(t)的表达式,并分别讨论了Josephson振荡、自囚、阻尼摆、从自囚到Josephson振荡.     

市政桥梁拼宽加固设计研究

随着我国经济的不断增长,车辆荷载等级不断增加,为了保证市政道路桥梁交通通行性能,宜对原有桥梁进行拼宽加固设计。在不改变原有桥梁布置的前提下,通过对桥梁的横向分布系数进行调整来对原有桥梁进行拼宽加固设计,取得了良好的效果。     

AutoCAD中图层颜色的设置及应用

在AutoCAD中,用户可以为对象设置不同的颜色,一旦颜色设置后,所创建的对象将都采用该颜色设置,直至用户再次修改颜色设置为止,通过指定图形对象的颜色,可以实现直观地将图形对像编组,此外,还可以通过图层指定颜色,在图形中轻意识别每个图层,并明确指定不同颜色在同一图层对象之间产生的差别。     

图的仅需着色种数与其区分等式和其他问题——兼对地图四色区分的证明

本文续接《图的着色证明与图的着色定理》一文,着重于对＂地图以4色区分会不会发生‘爆炸’的问题＂和＂图的‘仅需着色种数’与其区分等式＂进行了证明,证明四色猜想成立。同时,应用＂两点连线＂的证明方法对事物中的连接现象进行了论证,强调＂组合与区分＂两者之间关系才是四色猜想命题研究的归结点。此外,指出物体表面的全相邻力是验证物体同胚体的依据,可构造出需用百、万、亿种颜色区分的整体。     

一些唯一3-着色图

如果用k种颜色对图G的顶点进行着色,使相邻顶点具有不同的颜色,那么称此种着色为G的一个正常k-着色(简称k-着色).图G的色数χ(G)是指使G可正常着色的最少颜色数,其中具有相同颜色的顶点集称为一个色类.如果对G的所有χ(G)-着色产生的色类是相同的,那么称G是唯一χ(G)-着色的.论文给出了一些唯一3-着色图.