李刚
- 作品数：6 被引量：20H指数：3
- 供职机构：同济大学电子与信息工程学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 安全编码预编译器的设计与实现被引量：12
- 2011年
- 针对轨道交通车载装备的安全性问题,基于安全编码处理器(VCP)的编码思想,设计并实现安全编码预编译器(VCPC)。VCPC能将没有安全性的源代码转换成具有验证能力的安全代码,生成的安全代码可应用于VCP中的单处理器,实现对处理器各种故障的监测和保护。测试结果表明,该安全代码的剩余错误率可以达到1/A。
- 李刚丁佳梁盟磊薛小平王小平
- 关键词：预编译器故障检测
- 基于超长线状分簇结构的卡尔曼滤波融合算法被引量：2
- 2016年
- 以应用于隧道结构健康监测的无线传感器网络为基础,针对长线形的隧道结构和分布式的节点布置,提出了超长线状多跳非均匀分簇结构.通过考虑节点剩余能量和优化簇头分簇半径,降低并平衡节点能耗.针对传感器数据冗余量大的问题,提出了基于超长线状分簇结构的分布式卡尔曼滤波融合算法.利用单节点不同时刻的数据,通过卡尔曼滤波器得到局部估计值,降低数据时间冗余度.在簇头节点端和汇聚节点端分别实现分布式卡尔曼滤波融合算法,降低数据空间冗余度,达到具有一致性的网络数据估计值.实验结果表明:该方法能有效实现超长线状分簇结构下的分布式数据融合,具有高可靠性和准确性.
- 何斌李刚唐利敏许点红
- 关键词：无线传感器网络分簇卡尔曼滤波数据融合结构健康监测
- 基于超长线状分簇结构的卡尔曼滤波融合算法
- 用于隧道结构健康监测的无线传感器网络为基础,针对长线形的隧道结构和分布式的节点布置,提出了超长线状多跳非均匀分簇结构.通过考虑节点剩余能量和优化簇头分簇半径,降低并平衡节点能耗.针对传感器数据冗余量大的问题,提出了基于超...
- 何斌李刚唐利敏许点红
- 关键词：无线传感器网络分簇结构卡尔曼滤波数据融合
- 基于TLA的UML模型形式化验证被引量：3
- 2011年
- 统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。
- 梁盟磊王小平薛小平李刚
- 关键词：形式化方法形式化验证统一建模语言行为时序逻辑
- 一种基于粗糙遗传算法的缩放模式双聚类分析方法被引量：3
- 2010年
- 研究了基因表达数据的缩放模式发现问题,给出了一种缩放模式双聚类评价函数,并提出了一种基于粗糙遗传算法的双聚类分析方法。该方法先以启发式算法及随机方法生成初始种群,再基于粗糙遗传算法对种群进行迭代,以达到全局优化的目的。在Yeast数据集上进行的测试表明,该算法能对启发式算法的结果进行良好的修正。生物显著性分析表明所发现的缩放模式双聚类具有生物学意义。
- 李刚苗夺谦王睿智
- 关键词：基因表达数据
- 基于网络生命周期的节能非均匀分簇路由算法
- 2013年
- 针对在大规模地下隧道中应用无线传感网络的问题,在保证数据可靠传输的前提下,提出一种基于网络生命周期的非均匀分簇路由协议LEUC。为有效解决大规模网络问题,在长形隧道里建立环形节点模型,以一个基站及其覆盖节点进行分块传输。LEUC协议采用基于节点剩余能量和簇半径的簇头竞争算法,完成了非均匀分簇。距离基站较近的地方拥有较多的簇头,以承担转发数据所消耗的能量。仿真实验结果表明,LEUC实现了有效的分簇结构,提高了能量效率,延长了网络生命周期。
- 何斌李刚
- 关键词：网络生命周期
