您的位置： 专家智库 > >

国家自然科学基金(60873138)

作品数：17 被引量：86H指数：6
相关作者：门朝光孙建国张国印刘铭孙建国更多>>
相关机构：哈尔滨工程大学中国科学院中国空间技术研究院更多>>
发文基金：国家自然科学基金中国博士后科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术天文地球交通运输工程电子电信更多>>

文献类型

  • 16篇期刊文章
  • 4篇会议论文

领域

  • 17篇自动化与计算...
  • 4篇电子电信
  • 2篇天文地球
  • 1篇交通运输工程

主题

  • 6篇地图
  • 6篇矢量
  • 6篇水印
  • 5篇矢量地图
  • 5篇网络
  • 3篇数字水印
  • 3篇版权
  • 2篇地理位置信息
  • 2篇形式化
  • 2篇移动计算
  • 2篇水印算法
  • 2篇能耗均衡
  • 2篇嵌入式
  • 2篇网络分簇
  • 2篇网络分簇算法
  • 2篇位置信息
  • 2篇无线传感
  • 2篇无线传感器
  • 2篇无线传感器网
  • 2篇无线传感器网...

机构

  • 18篇哈尔滨工程大...
  • 1篇中国科学院
  • 1篇中国空间技术...

作者

  • 13篇门朝光
  • 4篇孙建国
  • 4篇李香
  • 4篇张国印
  • 3篇刘铭
  • 2篇曹刘娟
  • 2篇孙建国
  • 1篇何忠政
  • 1篇丁楠
  • 1篇李香
  • 1篇张永铮
  • 1篇徐振朋
  • 1篇李静
  • 1篇韩波
  • 1篇赵蕴龙
  • 1篇云晓春
  • 1篇张卫华
  • 1篇李静梅
  • 1篇臧天宁

传媒

  • 3篇高技术通讯
  • 3篇哈尔滨工程大...
  • 2篇计算机科学
  • 1篇武汉大学学报...
  • 1篇哈尔滨工业大...
  • 1篇电子与信息学...
  • 1篇测绘学报
  • 1篇计算机应用研...
  • 1篇铁道学报
  • 1篇High T...
  • 1篇中南大学学报...
  • 1篇2012 T...

年份

  • 1篇2014
  • 5篇2012
  • 3篇2011
  • 7篇2010
  • 3篇2009
  • 1篇2008
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于层次实时有色Petri网的实时系统建模与分析方法研究被引量：8
2011年
Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统——列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。
刘铭张国印姚爱红门朝光
关键词：PETRI网列车通信网络嵌入式实时系统形式化建模
基于异构多核处理器的高效任务调度算法被引量：1
2012年
针对现有异构多核处理器任务调度算法效率低的问题，提出了一种综合性的、高效的静态任务调度算法，即聚簇与复制列表优化调度（CDLOS）算法。该算法首先通过对任务图进行聚簇优化，降低某些特殊任务的通信开销；然后从整个任务图的拓扑结构出发计算任务的优先级权值，提高关键任务的优先级；继而采用区间插入和任务复制技术进行调度，降低处理器资源浪费；最后通过优化调度结果，消除冗余任务，减小整个任务的调度长度。实例分析和模拟实验结果表明：与以往算法相比，此新算法较高地提升了多核处理器任务调度的效率，具有更好的应用前景。
李静梅李静丁楠
关键词：异构多核任务调度聚簇
Ad hoc节点阶跃式功率控制算法
2008年
针对当前Ad hoc节点功率控制单一、能量消耗过快的瓶颈,提出了Ad hoc节点阶跃式功率控制(steppower control of Ad hoc node,SPCA)算法.该算法将节点可辐射功率分为若干个阶段,节点工作时可以区分当前通信环境,并根据连通率的需求和通信环境状况采用阶跃式策略选择合理输出功率段,从而提高Ad hoc节点应对复杂网络环境的适应性,提高功率效能和节点电池使用时间.对所提出算法做了详细地理论分析,并给出模拟验证,实验结果表明,该算法能够更好地适应Ad hoc网络复杂环境,减少连通状态改变次数,提高Ad hoc网络生存周期.
赵蕴龙张卫华门朝光
关键词：自组网功率控制连通率
An Adaptive Fault Detection Algorithm for Ad Hoc Network
In order to improve the reliability and safety of the system,a fault detection algorithm for Ad Hoc Network is...
Xiang Li
关键词：ADAPTABILITY
基于迭代传播的小基高比立体匹配方法被引量：5
2012年
提出一种基于迭代传播的方法求解小基高比立体匹配中的相关基本等式以解决立体匹配中存在的黏合现象。该方法首先根据启发式信息估计实际立体匹配系统中整数级视差的误差水平;其次,根据Morozov原理设计一个迭代正则参数选择方法对相关基本等式进行正则化处理并建立目标泛函;再次,利用延迟扩散定点迭代方法获得目标泛函的迭代传播等式;最后,通过共轭梯度法对该等式进行迭代求解。实验结果表明:该方法减少了小基高比立体匹配中的黏合现象,其视差图的准确率可达95%以上,且像元匹配差异精度优于1/10个像元。
门朝光边继龙李香
关键词：共轭梯度法
基于Linux内核的进程检查点系统设计与实现被引量：9
2009年
作为一种流行的软件容错机制,检查点与恢复技术的实现模式有两种:用户级和系统级。首先阐述了两者的区别,然后根据Linux可加载内核模块机制提出了一种基于Linux内核的进程检查点与恢复实现方法。利用Linux内核线程实现了检查点与恢复内核模块,并基于此内核模块在用户层构造了一检查点函数库,为用户提供了相应接口。用户通过组合使用这些接口可以高效地实现具体检查点与恢复算法。
门朝光焦亮李香徐振朋
关键词：用户级内核模块内核线程
移动计算环境下基于互测比较和概率诊断的区内故障感知算法
移动计算环境的复杂性、网络条件多样性,便携设备有限的资源、弱连接性、安全漏洞等因素,使得系统中故障发生可能性增加,有效的感知、隔离、恢复故障可提高系统容错性能。本文针对具有中心结点类的移动计算环境,运用互测比较的方法通过...
李香门朝光何忠政韩波
关键词：移动计算故障检测故障诊断
基于扩展Petri网的系统建模及形式化验证方法被引量：6
2010年
嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。
张国印刘铭姚爱红门朝光
关键词：形式化验证嵌入式系统
矢量地图数字水印研究综述被引量：11
2009年
矢量地图广泛应用于地理信息系统、军事测绘等领域。矢量地图数字水印为数字地图提供版权保护及防伪认证等功能,近几年其研究取得了较大的进展。为使人们对该领域研究现状有概要了解,首先论述了矢量地图水印的特性及评价准则;然后重点分析了空域、频域、零水印以及多重水印算法,并通过实验比较了几类算法的优缺点;最后提出了矢量地图数字水印的发展方向和研究目标。
孙建国门朝光俞兰芳曹刘娟
关键词：信息隐藏数字水印矢量地图
一种基于地理位置信息的无线传感器网络分簇算法
大规模部署的传感器网络的路由开销会急剧增大,因此为这些节点合理地建立分簇的拓扑结构显得非常重要。本文提出一种基于地理位置信息的对单元格进行划分的分簇算法,该分簇算法中新簇头的选举完全由原簇头决定,以减少能量的消耗,并具有...
李香门朝光
关键词：无线传感器网络分簇能耗均衡
全选 清除 导出
共2页<12>
聚类工具0