您的位置： 专家智库 > >

陈骏

作品数：7 被引量：0H指数：0
供职机构：南京邮电大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：文化科学交通运输工程更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇交通运输工程
  • 1篇文化科学

主题

  • 3篇软件模型
  • 3篇无线传感
  • 3篇无线传感网
  • 3篇传感
  • 3篇传感网
  • 2篇代码
  • 2篇源代码
  • 2篇软件代码
  • 2篇软件源代码
  • 2篇聚类
  • 1篇大学生
  • 1篇英文文本
  • 1篇语言
  • 1篇志愿
  • 1篇志愿服务
  • 1篇志愿服务工作
  • 1篇时序逻辑
  • 1篇全局最优
  • 1篇群算法
  • 1篇子群

机构

  • 6篇南京邮电大学

作者

  • 6篇陈骏
  • 4篇岳文静
  • 4篇陈志
  • 3篇岳书珍
  • 3篇高阳阳
  • 3篇王东

传媒

  • 1篇计算机产品与...

年份

  • 1篇2020
  • 2篇2016
  • 1篇2015
  • 2篇2014
共 7 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于有界模型检验的无线传感网软件代码验证方法
本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则...
陈志岳书珍岳文静王东党凯乐陈骏朱彦沛高阳阳高显强
文献传递
基于有界模型检验的无线传感网软件代码验证方法
本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动态行为的抽象，在此基础上定义模型转换规则...
陈志岳书珍岳文静王东党凯乐陈骏朱彦沛高阳阳高显强
文献传递
一种传感器网软件可达性验证方法
本发明提出一种传感器网软件可达性验证方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移，然后用粒子群算法对所得的软件模型进行优化，在具体实施总可以时序逻辑公式来表示无线传感网软件所需要满...
陈志岳书珍岳文静王东陈骏党凯乐朱彦沛高阳阳高显强
文献传递
大学生志愿服务工作在“互联网+”背景下的时代手段和创新
2020年
由于社会的不断发展和科学技术的不断进步,人们生活的很多方面都和互联网有很大的联系,因此"互联网+"这个词现在也在很多方面使用的非常普遍,大学生作为一个和网络接触非常多的群体,该群体所涉及的志愿服务工作在互联网+背景下也进行了相关的创新,这种方式可以很好的突破时间和空间的限制,并且可以通过互联网的一系列的优势,给予大学生志愿服务注入新的力量以及增强其活力,从而更好优化大学生志愿服务工作,更好的传递社会正能量。
陈骏于景宝
关键词：大学生志愿服务
一种基于进化算法的英文文本聚类方法
本发明给出一种英文文本聚类方法，该方法首先将英文文本进行预处理成向量空间模型，然后在聚类过程中，第一步是随机选取n个聚类中心，对于聚类中心，利用欧氏距离进行聚类的划分，使同一类的文本归为一个聚类，这样完成得到一个局部最优...
陈志陈骏岳文静
文献传递
基于进化计算的交叉口交通流聚类优化关键技术研究
交叉口交通路段是当前交通拥堵和事故发生的聚集地，聚类分析常常用于对这些交通路段进行规划和分类，但目前实际采用的聚类算法通常存在对聚类边界点的识别不够准确、对初始聚类中心的选取具有随机性等问题。为此，本文利用进化计算来优化...
陈骏
关键词：交通流密度聚类算法交叉路口
文献传递
全选 清除 导出
共1页<1>
聚类工具0