吴敬征
- 作品数:131 被引量:284H指数:11
- 供职机构:中国科学院软件研究所更多>>
- 发文基金:国家自然科学基金国家科技重大专项广州市科技计划项目更多>>
- 相关领域:自动化与计算机技术电子电信理学交通运输工程更多>>
- 一种基于文本信息关联关系分析的项目版本检测方法及系统
- 本发明提供一种基于文本信息关联关系分析的项目版本检测方法及系统,本方法通过对大规模的物联网固件文件进行解包,以找到固件文件包含的待测项目以及相应的特征信息;将待测项目的特征信息与开源项目图数据库中的信息进行比对,推断待测...
- 陈昶宇芮志清吴敬征罗天悦杨牧天倪琛武延军
- 文献传递
- 基于RISC-V与O-CFI机制的代码重用攻击防御方法及装置
- 本发明公开一种基于RISC‑V与O‑CFI机制的代码重用攻击防御方法及装置,包括:根据基本块顺序随机化的程序源代码,构造控制流图;基于控制流图,获取控制流转移分支的边界范围;执行程序源代码,获取每一控制流将转移到的目标节...
- 刘畅赵琛武延军芮志清吴敬征武斌
- 基于多模态信息融合的移动平台恶意软件检测方法及装置
- 本发明公开基于多模态信息融合的移动平台恶意软件检测方法及装置,针对待检测的二进制应用程序,提取二进制序列并生成灰度图、接口调用序列、函数调用图和函数控制流图,对应三种模态;进而提取图像特征、调用序列特征、全局图特征;再组...
- 王时予凌祥吴敬征罗天悦芮志清杨牧天李志远武延军
- 基于多任务学习的漏洞挖掘方法及装置
- 本发明公开一种基于多任务学习的漏洞挖掘方法及装置,所述方法包括:基于源代码的抽象语法树、控制流图与程序依赖图,构建代码属性图;分离代码属性图中的树结构与图结构;对树结构中的节点进行编码,得到抽象语法树的初始节点向量表示;...
- 吴敬征武延军段旭杜梦男罗天悦杨牧天
- 基于混合搜索的含逻辑“与”“或”的RM优化算法
- 2017年
- 相对于标准约束优化问题,广义约束优化问题(或称析取优化问题)的等式或不等式约束条件中不仅包含逻辑"与"关系,还含有逻辑"或"关系.单调速率(RM)优化问题是广义约束优化问题的一个重要应用.目前RM优化问题已有的解法包括函数变换、混合整数规划、线性规划搜索等算法.随着任务数的增多,这些算法的求解时间较长.提出一种基于线性规划的深度广度混合搜索算法(LPHS),将广义约束优化问题拆分成若干子问题,建立线性规划搜索树,合理选择搜索顺序,利用动态剪枝算法减小子问题的规模,最终求得最优解.实验结果表明,LPHS算法比其他方法有明显的效率提升.研究成果与计算机基础理论中的可满足性模理论的研究相结合,有助于提高可满足性模理论问题的求解效率,促进该理论在程序验证、符号执行等领域的进一步应用.
- 吕荫润陈力陈力吴敬征王翀
- 关键词:约束优化问题实时系统线性规划搜索算法
- 一种云计算环境下的隐蔽通信方法
- 本发明公开了一种云计算环境下的隐蔽通信方法,包括1)发送方与接收方约定机密信息的编解码方法,即将机密信息编码为正常数据传输中的间隔时间;2)发送方建立环形共享内存数据结构,将授权引用发送给接收方,双方以内核模块的形式将环...
- 吴敬征王永吉丁丽萍
- 文献传递
- 基于树状线性规划搜索的单调速率优化设计被引量:6
- 2015年
- 改善单调速率(rate monotonic,简称RM)可调度性判定算法的效率,是过去40年计算机实时臣统设计的重要问题。最近,研究人员把可调度性判定问题扩展到了更一般的优化设计问题,即,如何调节在区间可选择情况下的任务运行时间,使得:(1)系统RM可调度;(2)系统的某个性能(如CPU利用率)达到最优。在已有的求解实时系统RM优化设计问题的方法中,都是先把原问题建模成广义约束优化问题,然后再对广义约束优化问题进行求解,但现有方法的求解速度较慢,任务数较多时不再适用。提出一种求解优化问题的方法——基于树状的线性规划搜(1inear programming search,简称LPS)方法。该方法先将实时系统RM优化设计问题建模成广义约束优化问题,再将其分拆成若干线性规划子问题,然后构造线性规划搜索树,利用剪枝搜索算法求解部分线性规划子问题,最后得到优化解。实验结果表明:LPS方法相比于已有的方法能够节省20%~70%的求解时间,任务数越多,节省时间越多。该研究成果可以与计算机可满足性模定理(satisfiability modulo theories,简称SMT)领域的多个研究热点问题联系起来,并可望改善SMT问题的求解效率。
- 陈力王永吉吴敬征吕荫润
- 关键词:实时系统搜索算法线性规划
- 适用于开源软件供应链的高信噪比代码分类方法及装置
- 本发明公开了一种适用于开源软件供应链的高信噪比代码分类方法及装置,包括:将待预测代码转化为PE‑AST、将各节点数值化、抽取PE‑AST中的PE‑AST路径、将PE‑AST路径转化为可以进行运算的元组、计算关联系数WS、...
- 李浩晨吴敬征武延军罗天悦杨牧天崔星段旭
- 基于API文档图谱的操作系统智能编程方法及装置
- 本发明公开了一种基于API文档图谱的操作系统智能编程方法及装置,包括根据从源系统及目标系统的API文档中提取的所需信息,分别构建源系统的API文档图谱ADG<Sub>1</Sub>及目标系统的API文档图谱ADG<Sub...
- 武延军赵琛武斌罗天悦邵妍洁吴敬征
- 一种基于鸿蒙分布式能力的裸眼3D直播方法、装置及系统
- 本发明公开了一种基于鸿蒙分布式能力的裸眼3D直播方法和系统。首先将具有相机能力的鸿蒙设备呈圆周形等距离等高度的放置在直播场景周围,然后启动所有设备的动态链接功能,使所有设备均链接在分布式软总线中,借助分布式能力,多台设备...
- 武延军赵琛武斌朱伟郑森文罗天悦杨牧天吴敬征
- 文献传递