关于机器证明

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

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

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

激光显示的概念与分析

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

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

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

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

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

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

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

绝境中抗争的悲歌——评阎连科的长篇小说《日光流年》

《日光流年》通过对三姓村人在四任村长的带领下前赴后继不惜牺牲一切代价向生命的极限发起的一次次顽强抗争而终归于寂寥的悲壮图景的描写,盛赞不断追求人生理想、希望超越现实世界有限性的人类抗争精神,同时在生死轮回、生死关系中探求人生的原初意义。     

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

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

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

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

仿Morpho蝴蝶鳞翅微纳结构的光学特性研究

Morpho 蝴蝶鳞翅上的微纳结构对光产生干涉、衍射等效应, 形成典型的结构色现象. 本文针对仿 Morpho 蝴蝶鳞翅微纳结构进行二维建模, 结合严格耦合波理论进行光学特性仿真分析, 研究了模型结构参数、环境折射率等对光学特性的影响及反射光谱曲线的变化规律. 增大二维模型纵向周期高度, 反射光谱峰值反射率增加, 且峰值波长向较大方向偏移; 减小纵向周期数, 峰值显著下降, 波峰变宽, 峰值波长也向较大一侧偏移; 增大横向周期宽度, 峰值略有下降, 峰值波长也向波长较大一侧偏移, 但整体变化不大; 改变环境氛围, 即增大环境折射率, 峰值亦大幅下降, 峰值波长向波长较大一侧明显偏移. 上述结论揭示了Morpho 蝴蝶所特有的结构色本质, 对于具有环境气氛检测功能的仿生微纳结构的设计优化和制造、应用具有重要意义.