国家自然科学基金(61175123)
- 作品数：37 被引量：133H指数：6
- 相关作者：郭躬德陈黎飞严宣辉王开军陈振兴更多>>
- 相关机构：福建师范大学福州大学中国电子科技集团第十研究所更多>>
- 发文基金：国家自然科学基金福建省自然科学基金福建省高校服务海西建设重点项目更多>>
- 相关领域：自动化与计算机技术理学生物学自然科学总论更多>>
- 基于符号熵的序列相似性度量方法被引量：6
- 2016年
- 现有序列相似性度量算法在子序列相似性度量中仅考虑其局部相似度,忽略了其所属序列的整体结构信息。为此,提出一种以单个符号的熵为基础的序列相似性度量方法,根据同一序列中相同符号的位置及个数信息得出符号熵。通过凝聚型层次聚类结果验证序列相似性度量方法,在多个领域的符号序列数据集上的实验结果表明,与现有的基于子序列局部相似性方法相比,该相似性度量方法有效提高了聚类结果质量。
- 张豪陈黎飞郭躬德
- 关键词：相似度层次聚类序列聚类
- 云计算中服务虚拟的形式依赖分析
- 2015年
- 建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
- 杨启帆吴亚洲蒋建民张仕
- 关键词：形式化
- 移动系统的实时调度与可调度性分析被引量：1
- 2020年
- 对于一个复杂的实时移动系统,为了确保其在运行过程中的安全性,需要通过形式化方法对其行为进行建模和分析。其中,判断各个移动对象在正常运行时是否互相碰撞是验证实时移动系统安全性的一个重要指标。为此,有必要对各个移动对象进行隔离分析,而隔离分析离不开调度理论的支持。然而,传统的调度理论是基于粗粒度的任务调度,不能直接用于细粒度的隔离分析。为了解决这一问题,可通过时间依赖结构TDS模型来建模移动系统。该模型是基于事件的更细粒度的形式化模型,通过在时间依赖结构的基础上定义实时调度的方法,进而讨论实时调度的性质并进行隔离的可调度性分析,能够判断系统在运行过程中的安全性。
- 陈聪洪中陈杨杨张仕蒋建民
- 关键词：移动性调度策略
- 基于隐马尔科夫模型的DNA序列分类方法被引量：3
- 2014年
- DNA序列分类是生物信息学的一项基础任务,目的是根据结构或功能的相似性预测DNA序列所属的类别.为进行有效分类,如何将序列映射到特征向量空间并最大程度地保留序列中蕴含的碱基间顺序关系是一项困难的任务.为克服现有方法容易导致因DNA序列碱基残缺而影响分类精度等问题,提出一种新的DNA序列特征表示方法.新方法首先为每条序列训练一个隐马尔科夫模型(HMM),然后将DNA序列投影到由HMM状态转移概率矩阵的特征向量构成的向量空间中.基于这种新的特征表示法,构造了一种K-NN分类器对DNA序列进行分类.实验结果表明,新型特征表示方法可以较为完整地保留DNA序列中不同碱基间的关系,充分反映序列的结构信息,从而有效提高了序列的分类精度.
- 郭彦明陈黎飞郭躬德
- 关键词：DNA序列隐马尔科夫模型特征值分解
- 挑选聚类算法的网格连通图方法
- 2012年
- 每一种聚类算法都有其适合处理的特定分布的数据集.为了给未知分布数据集挑选合适的聚类算法,提出了一种挑选聚类算法的网格连通图方法 SCGG.SCGG通过对数据潜在类结构的分析,若含有环形结构类则选择层次聚类的单连接算法对数据聚类,否则选择k-means算法.实验显示该方法十分的有效,能够挑选到合适的聚类算法对数据聚类.
- 李翔宇王开军郭躬德
- 业务过程的自动配置与管理
- 2015年
- 一个可配置的业务过程模型可以通过配置来满足组织的特定要求。配置活动需要自动确定一个可配置过程模型的变体,同时保证该特定过程模型的正确性。然而,很少有方法能够解决此问题。提出一种新方法,即先将可配置的过程模型自动分离成原子子过程模型,再由这些模型组合成需要的过程模型,该方法能保证得到的过程模型的正确性(该过程模型无异常行为问题)。与现有的方法相比,新方法与特定的语言无关,而且避免了独立处理配置活动,降低了计算复杂度。
- 吴亚洲杨启帆蒋建民张仕
- 关键词：原子
- 一种基于改进Theta＊的机器人路径规划算法被引量：6
- 2013年
- 对Theta*算法进行改进,并用于解决机器人路径规划问题.首先,将障碍物对机器人产生的斥力作为一种惩罚函数加入到启发函数中,并合理地选择惩罚函数权重以确定启发函数.在此基础上,改进A*算法的变种——The-ta*算法,提出对路径进行平滑处理的PS_Theta*算法.最后在二维仿真环境中进行验证及数据统计,并推广至三维复杂环境中,实验结果证明了算法的合理性与有效性.
- 肖国宝严宣辉
- 关键词：机器人路径规划启发函数
- 一种匹配全局结构的图相似性度量被引量：1
- 2016年
- 相似性度量是许多机器学习方法的基础,由于包含难以量化的结构,衡量图的相似性成为一项困难的任务.现有的基于图结构的直接型度量着重于图顶点或边等局部信息进行局部结构匹配,大大降低了许多实际应用中度量的有效性.提出一种新的图相似性度量方法,通过匹配两个图的全局结构来衡量它们的相似性,称之为全局结构匹配法.新方法通过顶点匹配和路径匹配两个步骤分别捕捉顶点和边的信息并以此来刻画图的全局结构.结合近邻分类器,在实际应用图数据上对新方法的性能进行了评估,实验结果表明,该方法大幅提高了分类精度.
- 范宇杰陈黎飞郭躬德
- 基于Logistic回归的电梯健康评估被引量：2
- 2018年
- 电梯的隐患故障与其运行状态存在着一定的关联性.根据电梯的组成要素、体现电梯健康状况表征,合理选择评价参数,基于logistic回归方法建立评价模型.通过分析评价模型基本原理,整合原始数据、引入惩罚因子、交叉验证、高阶拟线性等方法,解决了数据不均衡现状和差异性,提高了评价模型准确度,达到了对电梯健康实时监控并预警.
- 潘鹏王廷银潘健鸿吴海燕金晓磊樊明辉吴允平
- 关键词：LOGISTIC回归过拟合
- 基于多代表点学习的RSKNN分类算法
- 2014年
- RSKNN算法是一种基于变精度粗糙集理论的k-近邻改进算法,该算法能够保证在一定分类精度的前提下,有效地降低分类的计算量,提高分类效率.但由于RSKNN算法只是简单地将每个类中的样本划分成一个核心和边界区域,并没有根据数据集本身的特点进行划分,因而存在极大的局限性.针对存在的问题,提出一种多代表点学习算法,运用结构风险最小化理论对影响分类模型期望风险的因素进行分析,并使用无监督的局部聚类算法学习优化代表点集合.在UCI公共数据集上的实验表明,该算法比RSKNN算法具有更高的分类精度.
- 余勇郭躬德陈黎飞
- 关键词：变精度粗糙集代表点下近似
