公开(公告)号：CN112764875A

公开(公告)日：2021-05-07

申请号：CN202011628463.4

申请日：2020-12-31

Applicant: 中国科学院软件研究所

Inventor： 邰阳 ,  于佳耕 ,  苗玉霞 ,  侯朋朋 ,  武延军

IPC: G06F9/455

Abstract: 本发明公开了一种面向智能计算的轻量级入口容器微服务系统及方法。本系统包括轻量级入口容器、任务分配容器以及智能计算业务容器，其中所述轻量级入口容器，用于接收用户输入的任务描述并将其发送给所述分配分配容器；所述任务分配容器包含任务解析器和任务分发器；任务解析器用于对任务描述进行解析，并将解析信息发送给任务分发器；任务分发器根据解析得到的智能计算业务所需的模型和输入数据的下载地址，下载对应智能计算业务使用到的模型、输入数据至智能计算业务容器部署节点；根据任务描述信息配置、创建和启动智能计算业务容器的yaml配置文件；然后任务分发器启动智能计算业务容器并发送智能计算请求，执行推理计算。

公开(公告)号：CN112580627A

公开(公告)日：2021-03-30

申请号：CN202011490588.5

申请日：2020-12-16

Applicant: 中国科学院软件研究所

Inventor： 苗玉霞 ,  于佳耕 ,  邰阳 ,  侯朋朋 ,  武延军

IPC: G06K9/32 ,  G06N3/04 ,  G06N3/08

Abstract: 本发明公开了一种基于国产智能芯片K210的yolov3实时目标检测方法及电子装置，包括模型训练、模型量化和剪枝、模型转换、新增算子、实现yolo层、编译、烧录。首先根据K210开发板所支持的算子修改yolov3模型的backbone；然后使用PASCAL VOC2012和PASCAL VOC2007数据集训练模型，并进行剪枝；将保存好的模型转换为K210可以识别加载的格式，最后由K210摄像头采集到的图像，经过模型得到feature map，对得到的feature map通过yolo层进行激活、nms等操作得到图像中物体的位置和类别。本发明对yolov3算法进行剪枝、量化后使得模型大小减少到原来的11％；且利用K210软件栈执行硬件加速后运行速度相比于cpu有所提升。

公开(公告)号：CN112356029A

公开(公告)日：2021-02-12

申请号：CN202011183681.1

申请日：2020-10-29

Applicant: 中国科学院软件研究所

Inventor： 许中兴 ,  武延军

IPC: B25J9/16

Abstract: 本发明涉及一种工业机器人控制器软件的实现方法和系统。该方法按照4个层次实现工业机器人控制器软件，所述4个层次包括：语言和API层，编译器和执行虚拟机层，指令实现层，运动控制层；所述运动控制层包含3个子层，包括轨迹控制子层、机构控制子层、电机控制子层，所述3个子层将机器人的运动分成3个相对独立的控制领域。本发明的控制器的结构清晰，便于扩展功能和维护；在语言层面可对语言特性进行扩展，不影响指令和运动控制；在指令层面可以扩展各种任务指令，如焊接，喷涂，不影响语言特性，还可以复用运动控制功能；在运动控制层面可以针对各种指令的共性实现运动控制功能，避免重复实现。

公开(公告)号：CN111580825A

公开(公告)日：2020-08-25

申请号：CN202010349340.0

申请日：2020-04-28

Applicant: 中国科学院软件研究所 ,  浙江重德智能科技有限公司

Inventor： 武延军 ,  邢明杰 ,  吴伟 ,  常先明 ,  史宁宁 ,  许中兴 ,  王俊强 ,  鞠卓亚

IPC: G06F8/41

Abstract: 本发明公开了一种面向机械臂程序开发编程语言的编译方法及系统。本系统包括词法分析模块，用于扫描源文件内的字符，并将其与词法记号的有限自动机进行匹配，生成每个字符对应的词法单元token；语法分析器模块，用于根据各词法单元token生成一抽象语法树AST；语义分析模块，用于对抽象语法树AST进行检查修改，产生新的抽象语法树AST；代码生成模块，用于将抽象语法树AST中的数据、类型、函数、匹配声明、表达式、操作分别转换为对应的Tenon Opcode操作码；文件输出模块，用于将操作码按照设定格式排列要求进行遍历，写入该源文件对应的汇编文件。本发明对使用Tenon语言程序开发提供编译支撑。

公开(公告)号：CN110286891A

公开(公告)日：2019-09-27

申请号：CN201910554093.5

申请日：2019-06-25

Applicant: 中国科学院软件研究所

Inventor： 段旭 ,  吴敬征 ,  武延军 ,  罗天悦 ,  杨牧天 ,  倪琛

IPC: G06F8/30

Abstract: 本发明涉及一种基于代码属性张量的程序源代码编码方法，包括：对程序源代码生成代码属性图；创建符号表、节点表和代码属性张量并进行初始化；将AST节点的数据类型和AST节点之间的运算关系编码到代码属性张量中；将AST节点之间的父子关系编码到代码属性张量中；将CFG节点之间的邻接关系编码到代码属性张量中，输出最终的代码属性张量。本发明为了解决已有的程序源代码的编码方式无法充分体现程序语义特征的问题，提出了代码属性张量的概念，以及将程序源代码编码为代码属性张量的算法。本发明可以在避免语义信息的丢失的情况下，将程序源代码编码为张量形式的数据，作为机器学习模型的输入，为后续的程序静态分析工作提供支持。

公开(公告)号：CN106126412B

公开(公告)日：2019-03-05

申请号：CN201610421577.9

申请日：2016-06-14

Applicant: 中国科学院软件研究所

Inventor： 赵丝喆 ,  武志飞 ,  黄小芳 ,  吴敬征 ,  罗天悦 ,  杨牧天 ,  武延军

IPC: G06F11/36

Abstract: 本发明涉及一种基于安卓API使用规范的代码质量自动评估优化方法。其步骤包括：构建特定的专用解析器解析API概述文档；基于安卓API使用规范对API进行分类，建立API特征库；建立自动扫描评估引擎，对待测安卓应用程序进行调用API扫描，统计调用API的类型分布，定位移除API、不推荐API和隐藏API的调用位置；提供自动化的代码质量优化建议，生成代码质量评估报告。本发明为考察安卓应用程序调用API的规范程度建立了完整的自动检测评估体系，可有效帮助安卓应用程序开发人员检测并优化API的使用，减少API的误用，提升安卓应用程序代码质量，进而提高安卓应用程序的安全等级。

公开(公告)号：CN108845958A

公开(公告)日：2018-11-20

申请号：CN201810628634.X

申请日：2018-06-19

Applicant: 中国科学院软件研究所

Inventor： 苏航 ,  武延军 ,  赵琛

IPC: G06F12/02 ,  G06F12/0802

Abstract: 本发明涉及一种交织器映射和动态内存管理系统及方法，包括交织器映射方法和动态内存管理方法；交织器映射方法包括：为经由两个或更多个相应的内存通道访问的两个或更多个内存设备配置内存地址映射使之具有交织区域和线性区域，所述交织区域包括用于高性能使用情况的交织地址空间，以及所述线性区域包括用于低功率使用情况的线性地址空间；从一个或多个客户端接收内存请求，所述内存请求包括对节电或性能的偏好；以及根据所述对节电或性能的偏好来向所述线性区域或所述交织区域分配所述内存请求。

公开(公告)号：CN103761092B

公开(公告)日：2017-01-11

申请号：CN201410025189.X

申请日：2014-01-20

Applicant: 中国科学院软件研究所

Inventor： 于佳耕 ,  李斌 ,  刘雪花 ,  武延军

IPC: G06F9/44

Abstract: 本发明涉及一种基于知识社群的在线源码协同分析和分享方法及装置，该方法的步骤包括：1）知识社群认证和源码协同分析平台建设：通过知识社群认证接口绑定现有开源社区的用户并初始化社区成员权限，构建包含现有热门开源软件的源码上下文环境，解析其中文件所包含的编程要素并创建相应的知识库词条入口，提供源码和词条关联机制；2）在线源码协同分析：社群成员利用在线协同分析环境进行相关源码上下文环境中的源码分析和多历史版本的词条编辑；3）知识集成与分享：社群成员按照贡献程度有差别的分享和利用知识。本发明充分利用知识社群集中了开源软件开发者和爱好者，满足了社群成员便捷的知识创建、知识创新、快速查询、分享和利用的需求。

公开(公告)号：CN106055482A

公开(公告)日：2016-10-26

申请号：CN201610390904.9

申请日：2016-06-03

Applicant: 中国科学院软件研究所

Inventor： 黄小芳 ,  武志飞 ,  赵丝喆 ,  吴敬征 ,  罗天悦 ,  杨牧天 ,  武延军

IPC: G06F11/36

Abstract: 本发明涉及一种安卓应用程序稳定性验证PoC的自动生成方法和装置。首先输入Android应用程序包，随后稳定性验证PoC自动生成引擎对其进行自动化地分析与处理，最终输出稳定性验证PoC程序集。其中稳定性验证PoC自动生成引擎首先提取Android应用程序包的稳定性测试特征集；然后构造静态PoC程序集；接着自动化执行静态PoC程序集中所有稳定性验证PoC程序，筛选运行结果，形成PoC程序运行结果数据集；最后将PoC程序运行结果数据集与静态PoC程序集做匹配，查找并标记触发该项稳定性问题的PoC程序，建立稳定性验证PoC程序集。本发明为安卓应用程序开发者提供了提高应用程序稳定性的改进方向和依据。

公开(公告)号：CN103561384A

公开(公告)日：2014-02-05

申请号：CN201310547983.6

申请日：2013-11-07

Applicant: 中国科学院软件研究所

Inventor： 武志飞 ,  吴敬征 ,  武延军 ,  杨牧天 ,  赵琛 ,  李明树

IPC: H04W4/02 ,  H04W12/02

Abstract: 本发明提出了一种基于移动智能终端地理位置信息的数据保护方法，基于地理位置信息的个人数据保护应用程序客户端读取并记录当前智能移动终端的地理位置信息，通过选择加密保护某地理位置区域内的个人数据功能，并设定该地理位置的保险箱密钥；当用户手机再次进入已设定加密保护的地理位置区域时，基于地理位置信息个人数据保护客户端会自动判断出用户智能终端已经进入该地理位置区域，在该区域内产生的文件和数据将自动进行加密保护。本发明改进了移动智能终端用户隐私数据加密保护方式，为特定需求的用户提供了自动、批量的数据加密保护方式，充分利用了移动智能终端移动性的特点，满足了用户对数据保护的需求，同时实现了节时、高效的特点。