吴翔虎
- 作品数：55 被引量：171H指数：8
- 供职机构：哈尔滨工业大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划哈尔滨工业大学跨学科交叉性研究基金资助更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术文化科学电子电信更多>>
- 空间机器人高可信软件检错技术被引量：3
- 2009年
- 提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用。
- 高星廖明宏吴翔虎
- 关键词：空间机器人高可信
- 一种城市VANETs的多跳警告广播方法
- 一种城市VANETs的多跳警告广播方法，本发明涉及多跳警告广播方法。本发明是要解决多跳广播导致信息冗余和信息包碰撞、MANET广播风暴的解决方案不完全适合应用于VANET、目前抑制广播风暴的方法限制了转发信息的中继节点数...
- 崔刚王秀峰王春萌乌尔杨青李欢常艳军吴翔虎莫毓昌暴建民
- 一种符合AUTOSAR标准的C语言代码自动生成方法
- 本发明公开了一种符合AUTOSAR标准的C语言代码自动生成方法，所述方法如下：S1、编写支持Modelica模型信息获取的程序代码；S2、编写支持AUTOSAR项目信息解析的程序代码；S3、编写与C代码生成选项有关的JS...
- 杨培豪王甜甜吴翔虎
- SELP:动态负载平衡中一种稳定有效的定位策略被引量：6
- 2001年
- 在分布式系统中的动态负载平衡算法中 ,如何定位一个任务迁入或迁出的目的结点 ,是整个算法的关键步骤之一 .本文提出一种稳定有效的定位策略 SEL P,通过以较低开销收集的全局信息启发 ,来探询获得目的结点 .并用这种策略改进发送者启动、接收者启动算法 .实测结果表明 。
- 张岩吴翔虎郭福顺
- 关键词：分布式负载平衡信息管理局域网
- 基于多特征融合深度学习的安卓恶意软件检测与分类方法
- 本发明公开了一种基于多特征融合深度学习的安卓恶意软件检测与分类方法，所述方法是通过获取待测Apk样本、将待测Apk样本送入训练好的模型并得到检测结果完成的。本发明通过深度学习从静态污点路径中捕获不同类型恶意软件的数据流模...
- 余海龙杨培豪王甜甜苏小红吴翔虎王克朝陈源龙
- 一种SysML语言的表数据语义和数据流审核方法
- 本发明公开了一种SysML语言的表数据语义和数据流审核方法，所述方法通过分析基于流的敏捷分析流程，创建相应的数据流追溯流程，在该流程中生成与各个图相对应的数据表。在生成的数据表的基础上，生成数据矩阵，并对其进行数据流审核...
- 王亦平王甜甜金勤超杨培豪吴翔虎王克朝
- 一种VANETs中V2V链路延迟的动态预测方法
- 一种VANETs中V2V链路延迟的动态预测方法，本发明涉及一种VANETs中V2V链路延迟的动态预测方法。本发明是要解决不能精确地实际预测链路延迟；基于MANETs的方法不满足车载网络环境和应用的需求以及驾驶员很难发现汽...
- 崔刚王秀峰王春萌付忠传曲明成吴翔虎暴建民莫毓昌朱东杰张策张必英
- 文献传递
- 一种基于XML的ARXML文件转换方法
- 本发明公开了一种基于XML的ARXML文件转换方法，所述方法包括如下步骤：一、获得AUTOSAR工具中XML项目配置文件对应的XSD模式定义文件；二、从ARXML对应的XSD模式定义文件中，人工抽取最小合法子集，获得包含...
- 王甜甜杨培豪吴翔虎董帅马芊鸿王梓轩
- 基于COTS处理器的微小卫星软件容错策略研究被引量：1
- 2007年
- 为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制，提出了基于虚拟寄存器的数据流和控制流错误检测算法，并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明，这套完全基于软件技术的方案在平均付出82．6％性能代价的前提下，对随机注入故障检测率达到91．4％。该方法现已成功应用于哈工大某重大航天课题中。
- 高星廖明宏吴翔虎黄振远
- 关键词：可靠性软件容错虚拟寄存器控制流检测数据流检测
- 活动图并发语义代码自动生成算法设计被引量：1
- 2012年
- 针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代码生成的基础,提出了一套代码自动生成算法.该算法把活动图拆分成若干独立的活动子图;再把每个活动子图解析成若干进程和信号量;最后对每一个进程和信号量进行代码生成.实验证明,基于本算法开发的原型系统取得了较满意的效果,同时也证明了所提出的方法和算法的正确性、有效性.
- 吴翔虎曲明成李建中王志超
- 关键词：代码自动生成活动图
