我对四色猜想命题的解读及证明方法的比较

本文透过事物现象,以独有的视角,对四色猜想命题的实质性问题,包括要解答的问题是什么、地图不等于平面图、"两个数字密码"、四色区分与分为四色的异同等问题进行了解读,同时,运用实例将本人的"组合说"证明方法与其他证明方法作比较,让人们在比较中作出鉴别.     

关于机器证明

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

校地共建与馆际合作服务一体化框架的建构——以河南科技大学图书馆为例

简要分析了豫西地区各类图书馆资源建设中存在的问题,以河南科技大学图书馆为例,探讨了校地共建与馆际合作服务一体化框架的建构。     

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

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

激光显示的概念与分析

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

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

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

基于Inventor的工程制图虚拟模型室的构建

应用三维造型软件Inventor作为开发工具，建立三维模型及视频动画，在校园网上发布，建立基于校园网的工程制图虚拟模型室．     

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

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

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

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

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

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