点簇聚合的目标顶点的优化

研究了点簇聚合的目标顶点位置的计算问题。当计算过程中得到的目标顶点不在小单元之内,或者虽然在小单元之内,但目标顶点的位置不能唯一确定时,则将求解目标顶点的问题转化为求解带约束的二次优化问题。此二次优化问题的解既能保证目标顶点位于小单元之内,在位置上又最接近该点簇的重心。实验结果表明,该算法的时间效率类似于Lindstrom的算法,但在简化质量上要优于后者。     

具有可变抽样区间的二维EWMA控制图

对二维EWMA控制图进行了可变抽样区间设计,利用Markov chain方法计算出了过程的平均报警时间,数据结果显示,所设计的控制图较常规的固定抽样区间控制图能更快更准确地发现过程的变化.     

卫星点波束可移动天线地面应用软件设计

卫星点波束可移动天线以其结构简单,高精度等优点得到广泛应用,天线地面应用软件便是对其进行可视化监控而设计的。软件采用以状态变量为中心的设计思想及模块化的设计方法,用VC和OpenGL作为设计平台实现了两种工作模式：在线模式下,通过解算遥测数据,可视化监视天线状态,还可通过设置指向目标位置,直接构造指令并发送;离线模式下,可对天线理想运动进行功能性的验证及仿真。软件经过在卫星测试阶段的使用,性能指标满足应用要求。     

基于多Agent动态影响图的协作实现

将MAIDs在时间上进行扩展,提出一种新决策模型——多Agent动态影响图（MADIDs）,对动态环境中的协作关系进行建模;给出MADIDs的一种分层分解的分布近似方法,进而通过将决策结点和效用结点的推理引入到BK算法中,给出MADIDs环境模型的一种扩展BK（EBK）近似推理算法;引入一种BP神经网络学习MADIDs的局部效用函数。最后,针对一个表示协作关系的MADID模型,进行算法比较和仿真实验,实验结果显示了MADIDs模型的有效性。     

用于原纸规格精简决策的三端点区间数层次分析法

针对纸箱生产企业缺乏合理的原纸规格规划,导致仓库安全库存节节上升,呆滞品增多的问题,着眼于经济、管理和产品质量指标,提出采用适当减少原纸规格的方法以提高原纸仓库管理效率.设计评估原纸规格精简方案合理性的指标体系,并基于三端点区间数方法集结多位专家的评估意见,按照各方案的得分高低将被评估方案排序,从而得到较为满意的精简方案.     

基于理想点的三角模糊数多指标决策法

研究了属性权重和属性值均以三角模糊数形式给出的模糊多指标决策问题,定义了三角模糊数正理想方案和负理想方案,由此给出了三角模糊数多指标决策问题的理想点法。该方法简单实用,所需信息小.最后用该方法分析了一个实际问题。     

基于局部二元图的视频对象阴影检测方法

针对在视频对象分割时,运动投影常被误分为视频对象,给出一种新的视频阴影检测方法,该算法基于在灰度图像中阴影区域和背景相应位置具有相同纹理这一事实,其中利用自适应高斯混合模型进行背景建模,利用局部二元图(local binary patterns,LBP)来表征纹理。首先,进行基于自适应高斯混合模型的背景提取,获得包含运动投影的前景分割,分割时加入了LBP纹理相似性判断,减少了分割出的目标内的孔洞提高了分割的精确度。然后利用阴影区域和已获取背景相应位置的LBP纹理相似性,可较好的对视频阴影进行检测。通过实验,获得了不错的阴影检测实验结果,可较好地应用于运动目标检测分割及跟踪等领域。     

变点理论在极值分布阈值选取中的应用

极值理论已经被广泛应用于解决金融、保险等领域的厚尾分布问题，而阚值的选取一直是极值理论实际应用的难点和重点。在已有研究成果基础上。本文尝试引入变点理论进行定量化的阈值选取。分析了变，最理论进行阚值选取的基本原理和方法，利用Burr分布产生的随机样本进行模拟，得到了较好的效果。并在此基础上运用S＆P500和Danish火灾保险数据进行了实证分析。     

基于自然特征点的实时增强现实注册算法

提出了一种基于自然特征点的实时跟踪注册算法,并将其应用于增强现实系统。算法在已知场景的3D模型以及少量标定关键帧图像的基础上,选择与当前图像最为匹配的关键帧,利用基于关键帧的图像匹配方法实时获取摄像机的运动参数估计。算法采用合成中间图像的技术解决两图像特征点间的宽基线匹配问题,并应用扩展卡尔曼滤波器对参数估计结果进行平滑,以消除系统抖动现象。实验结果表明,算法鲁棒性强,注册精度高,能够有效地克服系统误差漂移。     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。