国家自然科学基金(60873138)
- 作品数：17 被引量：85H指数：6
- 相关作者：门朝光孙建国张国印刘铭孙建国更多>>
- 相关机构：哈尔滨工程大学中国科学院中国空间技术研究院更多>>
- 发文基金：国家自然科学基金中国博士后科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术天文地球交通运输工程电子电信更多>>
- 基于层次实时有色Petri网的实时系统建模与分析方法研究被引量：8
- 2011年
- Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统——列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。
- 刘铭张国印姚爱红门朝光
- 关键词：PETRI网列车通信网络嵌入式实时系统形式化建模
- 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网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。
- 张国印刘铭姚爱红门朝光
- 关键词：形式化验证嵌入式系统
- 矢量地图数字水印研究综述被引量：12
- 2009年
- 矢量地图广泛应用于地理信息系统、军事测绘等领域。矢量地图数字水印为数字地图提供版权保护及防伪认证等功能,近几年其研究取得了较大的进展。为使人们对该领域研究现状有概要了解,首先论述了矢量地图水印的特性及评价准则;然后重点分析了空域、频域、零水印以及多重水印算法,并通过实验比较了几类算法的优缺点;最后提出了矢量地图数字水印的发展方向和研究目标。
- 孙建国门朝光俞兰芳曹刘娟
- 关键词：信息隐藏数字水印矢量地图
- 一种基于地理位置信息的无线传感器网络分簇算法
- 大规模部署的传感器网络的路由开销会急剧增大,因此为这些节点合理地建立分簇的拓扑结构显得非常重要。本文提出一种基于地理位置信息的对单元格进行划分的分簇算法,该分簇算法中新簇头的选举完全由原簇头决定,以减少能量的消耗,并具有...
- 李香门朝光
- 关键词：无线传感器网络分簇能耗均衡
- 基于二维矢量地图属性特征的数字水印算法被引量：5
- 2009年
- 针对空域和频域数字水印对矢量地图造成不同程度的精度损失以及抗压缩性能差的特点,提出了一种新的矢量地图数字水印算法。该算法利用矢量对象的属性特征构造水印信息,采用网格密度空间聚类方法选取特征结点,并通过对特征结点的二维坐标进行微调,将数字水印嵌入到地图属性文件中。实验和分析表明,该算法达到了矢量地图精度零损伤的目标,同时,提高了数字水印的鲁棒性和实用性。
- 孙建国门朝光
- 关键词：水印矢量地图
- 一种基于地理位置信息的无线传感器网络分簇算法
- 大规模部署的传感器网络的路由开销会急剧增大,因此为这些节点合理地建立分簇的拓扑结构显得非常重要。本文提出一种基于地理位置信息的对单元格进行划分的分簇算法,该分簇算法中新簇头的选举完全由原簇头决定,以减少能量的消耗,并具有...
- 李香门朝光
- 关键词：无线传感器网络分簇能耗均衡
