任意数列一般项公式的证明与应用

给出任意数列一般项公式的一种证明,并应用该公式证明k阶等差数列前n项和公式.     

复杂交通场景中运动车辆的检测与轨迹跟踪

针对复杂交通场景提出一种基于高斯分布假设的背景图像自回归估计算法,该算法能同时适应白天和夜间光环境,实时性好.对于二值图像的分割问题,提出并论证一种新的连通标记算法,该算法只需遍历像素1次,因此时间复杂度达到了理论上的最小.根据运动车辆的随机过程特性,提出基于Kalman滤波的轨迹跟踪算法,给出状态转移矩阵和观测矩阵,并讨论初始状态矢量的获取方法.为了解决半遮挡混合图块的分割问题,提出了图像相似度的计算方法以及局部图块与全图块相匹配的思想.在实际道路上的实验表明,所提出的方法实用有效,其中车辆跟踪准确率达到95.63％.     

探究-合作体育教学模式的构建与运用

根据素质教育理论及人本主义教育思想和终身体育思想,尝试从理论依据、目标定位、操作程序、师生角色、评价反思等方面构建了探究-合作体育教学模式。确定了该教学模式的运用范围和适用原则,指出运用中应注意的问题,以提高学生的综合素质和改进课程教学。     

非洪泛的基于区域标记的图像分割与填充算法

提出了一种对大分辨率图像有效的、基于区域标记的图像分割与填充算法,能分割并填充高分辨率图像中任意形状的连通区域。算法不使用栈结构,不使用递归方法,仅通过一次标记和一次填充过程即可完成对主连通区域的分割和填充,不仅易于实现还克服了基于洪泛的种子填充算法和扫描线填充算法容易出现栈空间溢出的缺点,具有较强的实用性。     

2-连通3-正则有根平面地图的计数方程

提供了一个依边数和根面次计数2－连通3－正则有根平面地图的函数方程,为解决该类地图的计数问题奠定了基础。     

印刷文档中表格字符的自动提取算法

在简要分析表格结构的基础上,提出了一种利用变尺度连通 特征提取表格字符的方法.为此,给出了连通区域搜索算法,定义了用于区分表格与图形的 行程位置转化函数.并介绍了实验的情况.     

过特定顶点集的S-圈与S-路

证明了下面两个结论 :(1)设G是k-连通的n阶图 ,k≥ 2 ,S V(G) .若对G[S]的任意 (k 1) -独立集X ,有 k 1i=1k i- 1k si(X)>n- 1,则G中有含S的全部顶点的圈 ;(2 )设G是 (k 1) -连通的n阶图 ,k ≥ 2 ,S V(G) .若对G[S]的任意 (k 1) -独立集X ,有 k 1i=1k i - 1k si(X) >n ,则对任意的 {u ,v}≤V(G) ,G中有含S的全部顶点的 (u ,v) 路 .其中 ,G是有限无向简单图 .X为G的 (k 1) -独立集 ,Si(X) ={v∈V(G) N(v) ∩X =i} ,si(X)=si(x) ,i∈ { 0 ,1,2 ,… ,k 1} .     

基于Stewart机构并联加工机的插补算法

目的 研究基于Ｓｔｅｗａｒｔ机构的并联加工机的插补算法。方法 利用通常的时间分割插补算法思想和并联加工机构逆运动学模型,求解刀具运动轨迹与６根伸缩杆之间的关系,导出一种插补算法,并采用面向对象的程序设计方法编制仿真软件,通过计算机仿真验证该插补算法的可用性。结果与结论 对球面类和双曲面类零件加工过程仿真结果表明,所提出的插补算法是正确的,实用的,为并联加工机提供一种新的可行的插补算法。     

扭立方体连接网络的几乎泛圈性

扭立方体连接网络是超立方体的一个变种,它是由扭立方体生成的一种新的互连网络结构·根据扭立方体连接网络的结构特点,证明了扭立方体连接网络的几乎泛圈性·这一结论说明关于线性阵列和环上的运算均可在扭立方体连接网络上实现·     

基于类间距离的Logistic序贯多分类的成都空气质量污染分析

空气质量与人们的身体健康息息相关,分析影响空气质量的污染物是十分重要的工作。本文采用类间距离的序贯logistic多分类方法对成都市2019年5月至2020年4月的空气质量数据进行分析,该方法基于类间距离,把多分类问题转化为多个二分类问题,再基于序贯的原理使用二分类logistic,最后利用逐步回归后的正确率来分析影响空气质量的污染物。实验结果表明,PM2.5,PM10,NO2,O3这4类污染物的对成都市空气质量综合影响力最大,政府应该加强对这几类污染物的联合监控并制定相应的政策来减少污染物的排放。