孙博
- 作品数：11 被引量：132H指数：5
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于进化欠抽样集成学习的航班延误预警方法
- 本发明公开了一种基于进化欠抽样集成学习的航班延误预警方法，属于机场航班延误预警技术领域。本方法的具体步骤如下：首先，对航班延误实测数据集的目标属性进行离散化处理并清除噪声点，得到规范化的数据集；接着，使用进化欠抽样方法对...
- 陈海燕孙博谢华
- 文献传递
- 集成学习中的多样性度量被引量：36
- 2014年
- 在集成学习中,基分类器之间的多样性对于解释多分类器系统的工作机理和构造有效的集成系统具有重要的作用,但至今仍没有统一的度量多样性的方法.首先总结介绍常用的多样性度量方法,阐述每种方法评估多样性的角度和方式;然后从对多样性新的解释和度量、多样性度量在选择性集成中的应用、多样性度量和集成学习精度的关系3个方面探讨多样性度量的研究进展;最后给出关于多样性度量进一步的研究方向.
- 孙博王建东陈海燕王寅同
- 关键词：泛化性能
- 一种基于信念修正思想的SVR增量学习算法被引量：2
- 2015年
- 针对实际应用中数据的批量到达,以及系统的存储压力和学习效率低等问题,提出一种基于信念修正思想的SVR增量学习算法.首先从历史样本信息中提取信念集,根据信念集和新增数据的特点选择相应的信念集建立支持向量回归模型并进行预测;然后对信念集进行修正,调整当前认知状态,使该算法对在线和批处理增量学习都有很好的适应性.在标准数据集上的测试验证了算法的良好性能;在某机场噪声实测数据上的对比实验也表明,该算法的性能明显优于传统学习算法和一般增量学习算法.
- 陈海燕丰文安王建东王寅同孙博
- 关键词：信念修正支持向量回归机场噪声
- 基于Spin的SysML时序图与活动图一致性检测
- 2015年
- 系统建模语言(Systems Modeling Language,SysML)对复杂系统多视角建模时,容易造成多视图描述语义冲突、矛盾等不一致问题,可以通过形式化验证方法,来提高模型的一致性。然而,受制于传统的形式化检测方法不能做到完全自动化,并且需要繁杂的公式推理,导致多数验证方法仅限少数专家使用并且非常耗时。为了解决SysML时序图与活动图模型之间存在的一致性问题,提出一种自动转换验证框架。首先基于已构建的模型和转换规则,将时序图进行分解转换为活动图,然后分别映射为Spin的输入模型,并对模型的交互一致性执行自动化验证。实验结果表明,该方法可以有效识别和转换时序图,并能准确地向Promela实施映射和验证,为一致性验证的演化提供支持。
- 胡良文马金晶孙博
- 关键词：系统建模语言时序图活动图
- 一种代表点的近似折半层次聚类算法被引量：6
- 2015年
- 针对传统的代表点聚类算法对收缩因子的敏感性和聚类数不适应数据的动态变化等问题,综合研究凝聚型层次聚类问题,提出一种代表点的近似折半层次聚类算法——ABHCURE(Approximate Binary Hierarchical Clustering Using Representatives),有效地解决了离群数据点对聚类结果的影响和聚类数的难确定问题.首先,提出单层多簇合并模式来提高算法的执行效率.其次,为了避免选择离群数据成为簇的代表点破坏原始数据分布,引入准噪声机制收集各层的准噪声数据增强算法的鲁棒性.最后,通过动态最小聚类数确定方式实现聚类数需求和确定难度的折衷.实验结果表明,该算法不仅运行时间相对较短,具有灵活的聚类数,还可以得到更高精确的聚类结果.
- 王寅同王建东陈海燕徐涛孙博
- 关键词：层次聚类聚类数
- 一种基于进化欠抽样集成学习的航班延误预警方法
- 本发明公开了一种基于进化欠抽样集成学习的航班延误预警方法，属于机场航班延误预警技术领域。本方法的具体步骤如下：首先，对航班延误实测数据集的目标属性进行离散化处理并清除噪声点，得到规范化的数据集；接着，使用进化欠抽样方法对...
- 陈海燕孙博谢华
- 基于概率类和不相关判别的半监督局部Fisher方法被引量：1
- 2015年
- Fisher判别分析是统计模式识别中经典的有监督维数约简方法,可以在最大化类间散度的同时最小化类内散度,但存在分析过程中仅使用有标记数据而忽略无标记数据的问题.鉴于此,提出基于概率类和不相关判别的半监督局部Fisher(SLFisher)方法,以实现半监督学习的高维映射到低维的类间数据对尽可能地分离,且类内邻近数据尽可能地紧凑.采用2组标准数据集进行实验,结果表明了SLFisher方法能够有效提高识别率.
- 王寅同王建东陈海燕孙博
- 关键词：FISHER判别分析维数约简半监督学习
- 基于Spin的SysML活动图验证框架被引量：6
- 2014年
- 系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面局限性,大多数验证仅限专家使用并且很耗时。为了克服SysML模型中存在的问题,提出了一种针对SysML多层次活动图的分析验证框架。它可以根据已构建的模型,将多层次活动图分解转换为Spin的输入模型,并对相关子图进行重组和验证。实验表明,该方法可以有效识别多层次活动图,并准确实施转换,为模型验证的演化提供支持。
- 胡良文马金晶孙博
- 关键词：活动图SPINPROMELA
- 时间序列数据挖掘的相似性度量综述被引量：75
- 2017年
- 在时间序列数据挖掘中,时间序列相似性是一个重要的概念.对于诸多算法而言,能否与一种合适的相似性度量方法结合应用,对其挖掘性能有着关键影响.然而,至今仍没有统一的度量相似性的方法.对此,首先综述了常用的相似性度量方法,分析了各自的优点与不足;其次,讨论了近年来出现的时序相似性的新解释及其度量方法;再次,探讨了相似性度量在时序挖掘任务中的应用以及与挖掘精度的关系;最后给出了关于时序相似性度量进一步的研究方向.
- 陈海燕刘晨晖孙博
- 关键词：时间序列数据挖掘时间序列相似性
- 一种基于模糊回归的机场噪声预测方法及其系统
- 本发明公开了一种将机器学习的方法引入到机场噪声预测中，从历史数据中自动获取发生模式，对未来进行准确的预测的机场噪声预测方法，包括建立机场飞行历史记录原始数据集、计算数据样本其隶属度、对模糊数据集进行回归模型训练、利用回归...
- 王建东杨冰欣张霞王寅同孙博姜坚
- 文献传递
