张焱

作品数：4被引量：4H指数：2
导出分析报告
供职机构：湖南大学更多>>
发文主题：激光焊接扩展有限状态机传输光纤冲孔齿圈更多>>
发文领域：自动化与计算机技术金属学及工艺经济管理电子电信更多>>
发文期刊：《计算机工程》《计算机应用研究》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于MPA与静态预估的最坏执行时间分析方法
《计算机工程》2015年第10期76-82,共7页李军义 李双 张焱 李仁发 
广东省产学研合作重大专项基金资助项目(2012-391)
针对现有嵌入式系统最坏执行时间(WCET)的静态分析方法效率低下问题,利用最小传播算法对程序流进行分析,获得程序中每一个基本块的最小树约束,通过象征性循环上界约束对所求函数中的内部循环变量进行再次约束,并结合最小树约束获得程序...
关键词：嵌入式软件 实时性 最坏执行时间 最小传播算法 静态预估分析 
基于EFSM用户自定义故障模型的测试集生成
《计算机应用研究》2009年第9期3388-3391,共4页李永亮 李蕊 李仁发 张焱 
提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试...
关键词：扩展有限状态机(EFSM) 用户自定义故障 一致性测试 测试生成 
基于扩展有限状态机模型的故障检测被引量：2
《计算机应用研究》2009年第7期2583-2585,2589,共4页李蕊 李永亮 李仁发 张焱 
提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从...
关键词：扩展有限状态机 故障模型 故障检测 
基于DHT策略的MANETs网络路由协议研究被引量：2
《计算机应用研究》2009年第7期2691-2694,共4页李蕊 张焱 李仁发 李永亮 
国家自然科学基金资助项目(60773208)
提出了一种分布式MANETs路由协议,该协议综合了基于DHT的应用路由协议Tapestry和网络层路由协议AODV的优点,使用随机路标算法对网络进行分簇,改进了Tapestry算法使其在分簇内节点间共享对象指针。仿真实验表明本协议可以有效避免覆盖层...
关键词：移动自组织网络 随机路标算法 分布式哈希表 对等网络 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部