您的位置： 专家智库 > >

国家自然科学基金(61202351)

作品数：18 被引量：65H指数：4
相关作者：庄毅顾晶晶陈丹郝纲牛涛更多>>
相关机构：南京航空航天大学北京空间机电研究所青岛农业大学更多>>
发文基金：国家自然科学基金中国博士后科学基金江苏省普通高校研究生科研创新计划项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 18篇中文期刊文章

领域

  • 18篇自动化与计算...

主题

  • 5篇网络
  • 5篇感器
  • 5篇传感
  • 5篇传感器
  • 4篇无线传感
  • 4篇无线传感器
  • 4篇无线传感器网
  • 4篇无线传感器网...
  • 4篇传感器网
  • 4篇传感器网络
  • 3篇调度
  • 2篇调度算法
  • 2篇虚拟机
  • 2篇数据中心
  • 2篇能耗
  • 2篇标签
  • 2篇并发控制
  • 1篇单粒子
  • 1篇单粒子翻转
  • 1篇调度方法

机构

  • 17篇南京航空航天...
  • 1篇北京空间机电...
  • 1篇南京工程学院
  • 1篇青岛农业大学

作者

  • 16篇庄毅
  • 6篇顾晶晶
  • 3篇陈丹
  • 2篇郝纲
  • 1篇于尧炳
  • 1篇章勇
  • 1篇李静
  • 1篇潘家晔
  • 1篇丰宁宁
  • 1篇许海洋
  • 1篇刘佳
  • 1篇叶重阳
  • 1篇牛涛
  • 1篇崔鸿飞
  • 1篇夏晓东
  • 1篇张倩雯
  • 1篇贾虹
  • 1篇王军

传媒

  • 5篇计算机科学
  • 4篇小型微型计算...
  • 4篇计算机与现代...
  • 1篇电子学报
  • 1篇数据采集与处...
  • 1篇计算机工程
  • 1篇Journa...
  • 1篇计算机技术与...

年份

  • 2篇2018
  • 5篇2017
  • 3篇2016
  • 7篇2015
  • 1篇2014
共 18 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种面向嵌入式软件体系结构的形式化建模方法被引量：7
2014年
为了解决MARTE(Modeling and Analysis of Real Time and Embedded systems)在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA(Probabilistic Timed Automation)的优点,本文提出了一种集成的形式化建模方法——PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转换规则,能够将MARTE模型转换为PTA-OZ模型.并对模型转换的语义一致性进行了验证,证明本文方法在转换过程能够保持结构语义和行为语义的一致性.最后通过实例模型描述从嵌入式软件建模到属性检验的过程.
许海洋庄毅顾晶晶
关键词：语义一致性
基于蚁群优化的无线传感器网络非均匀分簇路由算法被引量：10
2016年
无线传感器网络中,采用分簇技术的路由协议可以提高网络的可扩展性.簇首以多跳方式向基站发送数据时,未考虑簇首剩余能量及路径状况而形成的路由会造成簇首寿命减少,严重影响网络的生存时间.提出一种基于改进的蚁群优化的无线传感器网络非均匀分簇路由算法.算法首先采用改进的非均匀分簇方法对网络进行分簇,计算过程考虑节点剩余能量和节点与基站距离;然后采用改进的蚁群优化算法进行簇间多跳路径搜索,计算过程在基站进行以减少节点能耗,并且考虑了路径传输能耗、路径最小剩余能量、传输距离和链路带宽等因素.实验结果表明,该算法与EEUC算法和ACOUC算法相比,能更有效延长无线传感器网络的生存周期.
牛涛庄毅丰宁宁于尧炳顾晶晶
关键词：无线传感器网络路由算法能量均衡非均匀分簇
基于冲突率预测的自适应并发控制算法被引量：1
2016年
并发控制算法能够保证数据库事务集并发执行的正确性和一致性。为了提高并发事务的执行效率,提出了一种基于冲突率预测的自适应并发控制算法(ACC-PRC)。该算法将并发控制过程分为信息收集和策略选择两个阶段。信息收集阶段利用先验事务队列保证事务执行的可串行化,并且利用循环冲突队列收集系统的事务执行状态。策略选择阶段在循环冲突队列上运用改进的加权移动平均法预测下一阶段冲突率,并根据双向阈值决策下一阶段的并发策略。所提算法在事务到达率较高时能保持良好的事务执行效率,同时能够准确及时地感知冲突率的变化。对比实验表明ACC-PRC算法的综合性能优于HCC算法和ADCC算法。
范璧健庄毅
关键词：并发控制
基于机器学习的指令SDC脆弱性分析方法被引量：6
2018年
对程序进行SDC脆弱性分析是容错研究重点关注的研究目标.针对传统方法故障注入代价较高的问题,提出一种基于机器学习的指令SDC脆弱性分析方法.首先,分析了故障注入实验的结果,获得与SDC错误相关的统计数据;其次,引入程序切片技术,在程序编译时对指令特征进行提取;最后,通过训练程序训练出的预测模型预测指令的SDC脆弱性,并由此推算出整个程序发生SDC错误的概率.以Mi Bench基准程序为研究对象,实验结果表明,本文提出的指令脆弱性分析方法能够在不需要故障注入的前提下,保证脆弱性分析的准确率,达到较高的预测相关性,能够用以指导检测机制的部署.
张倩雯庄毅
关键词：单粒子翻转瞬时故障程序切片
基于半监督拉普拉斯映射的移动定位算法被引量：1
2018年
在无线传感器网络节点移动定位过程中,网络拓扑结构不断进行更新,以致影响预测模型的精确度。为此,提出一种基于拉普拉斯映射的移动定位算法。分析无线传感器网络的布局特点,引入局部拓扑结构和非信标节点信息,将节点定位问题放在半监督框架中进行研究。实验结果表明,与同类算法相比,该算法提高了预测模型的泛化能力和节点的定位精度,具有更高的稳定性。
黄涛涛顾晶晶庄毅
关键词：无线传感器网络流形学习拓扑结构
基于局部保持典型相关分析的无线传感器网络三维定位算法被引量：3
2017年
针对目前无线传感器网络三维空间定位算法精度不高、稳定性差等问题,在基于局部保持典型相关分析LPCCA模型的基础上构造三维定位算法3D-LE-LPCCA。首先,将LPCCA模型拓展到三维空间并建立信号空间和物理空间的映射模型,通过求解映射模型得到未知节点在物理空间上的临近节点集;其次,采用共面度阈值和体积比阈值的约束在临近节点集上计算出最佳定位单元;最后,采用最佳定位单元计算未知节点的坐标。仿真实验表明,该算法具有良好的定位效果,有效地提高了三维定位算法的精度和稳定性,降低了节点能耗。
崔鸿飞刘佳顾晶晶庄毅
关键词：无线传感器网络三维定位算法体积比
一种用于大规模无线传感器网络的时钟同步算法被引量：2
2015年
针对经典的时钟同步算法在大规模无线传感器网络中存在的同步精度低与能量消耗高等问题,提出一种基于簇-树结构的无线传感器网络时钟同步算法。首先,建立一棵以网关为根节点、簇首为子节点的生成树来减少网络中节点同步时的累计跳数;然后,在该生成树的基础上采用簇间双向的SRS和簇内单向的ROS同步机制进行同步,在保证同步精度的前提下减少网络同步所需的消息数量。实验结果表明,相比传统的RBS和TPSN算法,提出的簇-树结构同步算法可使网络的平均同步精度保持在更高的水平,并有效地降低网络同步时节点的能耗。
郝纲庄毅
关键词：无线传感器网络时间同步能耗跳数
协同干扰环境下基于IMOABC的任务调度方法被引量：1
2017年
在协同干扰环境下,除了需要考虑最大限度地完成干扰任务,还需要最大程度地减少己方的损失消耗。在这种复杂的需求下,需要将协同干扰环境下的任务调度问题转化为多目标优化问题。针对如何最大限度地完成干扰任务,同时最大程度地减少无人作战飞行器(UCAV)的能量损失消耗问题,将干扰贡献值和损失消耗值作为目标函数,建立了基于多目标优化的协同干扰任务调度模型(MOTSM)。提出了基于多目标优化的改进人工蜂群算法(IMOABC)的任务调度算法来求解该模型。IMOABC算法首先进行染色体的二进制编码,然后随机生成一个满足MOTSM模型约束条件的初始种群。对初始种群进行非支配快速排序以及拥挤度距离的计算,通过雇佣蜂、观察蜂、侦察蜂三种蜜蜂的配合,完成对最优解的搜索。通过仿真实验验证了该模型与算法的有效性。
娄艳秋庄毅顾晶晶霍瑛
关键词：多目标优化任务调度人工蜂群算法
一种基于多维信任度的动态RBAC模型被引量：3
2015年
基于角色的访问控制技术是一种广泛使用的授权方式,传统或改进的RBAC模型在加入信任机制的授权方面没有考虑信任度的时间特性问题,并且只将信任指标简单加权得出全局信任,这种算法考虑问题单一,不能很好地反映权限动态授予的灵活度。针对此问题,本文提出一种基于多维信任度的动态RBAC模型(MDT-RBAC),该模型在角色管理模型ARBAC97的基础上进行扩展,引入时间特性因素,改进现有的信任度计算方式,综合计算用户的多种信任特征,实现灵活、动态的授权机制。仿真实验结果表明,MDT-RBAC在遏制恶意节点攻击的有效性较已有的信任模型有很大的提高。
叶重阳庄毅
关键词：授权方式访问控制
云数据中心资源利用率均衡的虚拟机调度算法被引量：25
2017年
云数据中心有大量的服务器,服务器的各种资源利用率不均衡将会导致该服务器不能进一步部署虚拟机,造成资源浪费.现有的研究主要针对某几种资源(例如CPU、内存)来均衡服务器之间的资源利用率以使得云数据中心负载均衡,但很多研究工作没有充分考虑服务器上各种资源之间的利用率均衡问题(例如:服务器上CPU和内存的利用率相差较大),基于此本文提出一种基于资源利用率均衡的虚拟机调度模型VMSM-RB.该模型将虚拟机调度问题抽象为不定维向量装箱模型,其中向量的每一维代表一种类型的资源,本文进一步提出一种自适应粒子群优化算法SA-PSO求解该模型,最后通过仿真实验验证了该模型的有效性.实验结果表明,VMSM-RB模型能够对云数据中心中的虚拟资源进行高效的调度与管理,相比其他同类模型和算法能够更好的均衡服务器上各种资源的利用率,减少资源浪费.
朱亚会陈丹庄毅
关键词：云计算
全选 清除 导出
共2页<12>
聚类工具0