点可区别全色数的一个界

图G的一个正常全染色被称作点可区别全染色,如果G中任意两个点的色集合不同,其中每个点的色集合包含该点及其关联边的颜色。在点可区别全色数界(χvt(G)≤|V(G)|+2)的基础上,应用概率的方法得到了阶数为n,且无孤立边的简单图G的点可区别全色数的一个较小上界。     

Γ-半群的(∈，∈∨q)-模糊双理想

将半群中的几种(∈,∈∨q)-模糊子集的概念推广到Γ-半群中,在Γ-半群中引入(∈,∈∨q)-模糊Γ-子半群、(∈,∈∨q)-模糊双理想、(∈,∈∨q)-模糊广义双理想的概念, 用有关模糊集的理论讨论了它们的刻画。证明了(∈,∈∨q)-模糊双理想的交、并仍为(∈,∈∨q)-模糊双理想,正则Γ-半群的每个(∈,∈∨q)-模糊广义双理想为(∈,∈∨q)-模糊双理想。     

Banach空间中有限族“三解合一”的混合临近点法

在一致凸一致光滑的Banach空间中引进了一个新的混合迭代序列,利用混合临近点法,找到了均衡问题与变分不等式及有限族半相对非扩张映射不动点问题的公共解(简称"三解合一"),并证明了该迭代序列强收敛到其公共解.所得结果改进和推广了已有的相应结果.     

城市生活垃圾不同可生化单基质负荷与厌氧污泥混合厌氧试验研究

通过城市生活垃圾不同负荷的可生化单基质与厌氧污泥的混合厌氧消化实验研究,结果表明,在0.5gVS/（L·d）负荷以下,米饭、黄豆、肥肉和芹菜均未产生酸抑制问题。随着负荷的增大,有机酸的积累严重,米饭基质在1.0gVS/（L·d）负荷下产生了酸抑制,最低酸化点为3.73;黄豆基质在2.0gVS/（L·d）负荷下产生了酸抑制,最低酸化点为4.90;肥肉在1.5gVS/（L·d）负荷下产生了酸抑制,最低酸化点为5.02。而在整个反应周期内,芹菜基质各个负荷下都未产生酸抑制。     

移动机器人即时环境探索与地图库构建

研究了室内准结构化环境中移动机器人自主环境探索与复合环境地图库构建问题.基于实时获取的激光测距数据,并面向机器人自主导航、探索与认知等多种任务需求,提出了基于探索导向点的自主环境探索方法,以及可与准结构化环境相适应的复合地图库构建算法.为了适应环境中存在的随机运动人体目标及用几何特征无法表述的非规则障碍区,提出了临时栅格统计算法和非规则障碍区建模算法,从而实现环境动态信息的实时处理和对不规则障碍区的聚类与划分.通过对仿真和应用于Pioneer3-DX移动机器人平台所获得的实验结果和数据的分析讨论,论证了所提算法的有效性和实用性.     

关于动力体系的全体非游荡点的集合M1的注记

证明了相空间X中全体非游荡点的集合M1可表示为[∪x∈Xω(x)],如果后者吸引X中的每一点.于此,X为一度量空间,(X,R,f)为一动力体系,ω(x)={y∈X: tn→∞,f(x,tn)→y},而一集A吸引点x意为dist(f(x,t),A)→0,当t→∞.     

自主车辆视觉系统的摄像机动态自标定算法

为了解决自主车辆视觉传感器在姿态变化后摄像机旋转外参数的在线自标定问题,提出了一种利用道路图像消失点相对不变量的摄像机旋转外参数的动态自标定算法.它首先从汽车采集到的道路视频序列中实时分析道路消失点,然后依据中心极限定理并使用相应的统计量,动态地估计主消失点与消失线参数,最后利用小孔成像模型下的消失线与消失点方程,解析地求得对应于当前统计特征的摄像机外部参数动态解.实验结果表明,在摄像机进行姿态调整后,实验系统使用本算法可在不超过90帧有效图像样本的基础上,能对摄像机旋转外参数进行精确标定,使旋转外参数的绝对误差值收敛于0.001 rad的误差带之内.     

基于CAN总线的分布式电力保护系统研究

采用分布式的设计思想,设计了一套低压母线的电力保护系统。以CAN总线作为通讯媒介,提出了瞬时三点差值法来判断电流突变,提高了短路故障检测的速度。该系统灵敏度高,抗干扰性强。     

求解半定互补问题的一种非内点连续算法

基于光滑FB函数理论和中心路径原则,提出求解半定互补问题的一种非内点连续算法,在适当的条件下证得其全局线性收敛性和局部二次收敛性,并通过数值试验验证了算法可行性和有效性。     

基于ICP算法的脊椎手术导航配准技术

针对计算机辅助脊椎手术三维导航技术中术前CT图像与术中实际对象的配准问题,提出一种基于Visualization Toolkit(VTK)的在三维可视化平台环境下通过电磁定位系统进行配准的两步配准策略:首先,在虚拟空间和实际空间中的脊椎骨表面取几个特征点,进行粗配准;然后,在实际空间利用电磁定位探针在脊椎骨表面取点,并从虚拟空间提取对应的脊椎骨表面点;最后通过ICP(最近点迭代)算法进行精细配准.同时对ICP算法进行了模拟验证和精度分析,以脊柱模型骨为对象进行了脊柱手术导航配准精度实验,并进行了误差分析.结果表明这种配准方法简单可靠,在模型骨情况下最后的配准精度可达到临床手术的要求.