-
公开(公告)号：CN112356029A
公开(公告)日：2021-02-12
申请号：CN202011183681.1
申请日：2020-10-29
Applicant: 中国科学院软件研究所
IPC: B25J9/16
Abstract: 本发明涉及一种工业机器人控制器软件的实现方法和系统。该方法按照4个层次实现工业机器人控制器软件，所述4个层次包括：语言和API层，编译器和执行虚拟机层，指令实现层，运动控制层；所述运动控制层包含3个子层，包括轨迹控制子层、机构控制子层、电机控制子层，所述3个子层将机器人的运动分成3个相对独立的控制领域。本发明的控制器的结构清晰，便于扩展功能和维护；在语言层面可对语言特性进行扩展，不影响指令和运动控制；在指令层面可以扩展各种任务指令，如焊接，喷涂，不影响语言特性，还可以复用运动控制功能；在运动控制层面可以针对各种指令的共性实现运动控制功能，避免重复实现。
-
公开(公告)号：CN111580825A
公开(公告)日：2020-08-25
申请号：CN202010349340.0
申请日：2020-04-28
Applicant: 中国科学院软件研究所 , 浙江重德智能科技有限公司
IPC: G06F8/41
Abstract: 本发明公开了一种面向机械臂程序开发编程语言的编译方法及系统。本系统包括词法分析模块，用于扫描源文件内的字符，并将其与词法记号的有限自动机进行匹配，生成每个字符对应的词法单元token；语法分析器模块，用于根据各词法单元token生成一抽象语法树AST；语义分析模块，用于对抽象语法树AST进行检查修改，产生新的抽象语法树AST；代码生成模块，用于将抽象语法树AST中的数据、类型、函数、匹配声明、表达式、操作分别转换为对应的Tenon Opcode操作码；文件输出模块，用于将操作码按照设定格式排列要求进行遍历，写入该源文件对应的汇编文件。本发明对使用Tenon语言程序开发提供编译支撑。
-
公开(公告)号：CN110286891A
公开(公告)日：2019-09-27
申请号：CN201910554093.5
申请日：2019-06-25
Applicant: 中国科学院软件研究所
IPC: G06F8/30
Abstract: 本发明涉及一种基于代码属性张量的程序源代码编码方法，包括：对程序源代码生成代码属性图；创建符号表、节点表和代码属性张量并进行初始化；将AST节点的数据类型和AST节点之间的运算关系编码到代码属性张量中；将AST节点之间的父子关系编码到代码属性张量中；将CFG节点之间的邻接关系编码到代码属性张量中，输出最终的代码属性张量。本发明为了解决已有的程序源代码的编码方式无法充分体现程序语义特征的问题，提出了代码属性张量的概念，以及将程序源代码编码为代码属性张量的算法。本发明可以在避免语义信息的丢失的情况下，将程序源代码编码为张量形式的数据，作为机器学习模型的输入，为后续的程序静态分析工作提供支持。
-
公开(公告)号：CN106126412B
公开(公告)日：2019-03-05
申请号：CN201610421577.9
申请日：2016-06-14
Applicant: 中国科学院软件研究所
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: 中国科学院软件研究所
IPC: G06F12/02 , G06F12/0802
Abstract: 本发明涉及一种交织器映射和动态内存管理系统及方法，包括交织器映射方法和动态内存管理方法；交织器映射方法包括：为经由两个或更多个相应的内存通道访问的两个或更多个内存设备配置内存地址映射使之具有交织区域和线性区域，所述交织区域包括用于高性能使用情况的交织地址空间，以及所述线性区域包括用于低功率使用情况的线性地址空间；从一个或多个客户端接收内存请求，所述内存请求包括对节电或性能的偏好；以及根据所述对节电或性能的偏好来向所述线性区域或所述交织区域分配所述内存请求。
-
Patent Agency Ranking
公开(公告)号：CN103761092B
公开(公告)日：2017-01-11
申请号：CN201410025189.X
申请日：2014-01-20
Applicant: 中国科学院软件研究所
IPC: G06F9/44
Abstract: 本发明涉及一种基于知识社群的在线源码协同分析和分享方法及装置，该方法的步骤包括：1）知识社群认证和源码协同分析平台建设：通过知识社群认证接口绑定现有开源社区的用户并初始化社区成员权限，构建包含现有热门开源软件的源码上下文环境，解析其中文件所包含的编程要素并创建相应的知识库词条入口，提供源码和词条关联机制；2）在线源码协同分析：社群成员利用在线协同分析环境进行相关源码上下文环境中的源码分析和多历史版本的词条编辑；3）知识集成与分享：社群成员按照贡献程度有差别的分享和利用知识。本发明充分利用知识社群集中了开源软件开发者和爱好者，满足了社群成员便捷的知识创建、知识创新、快速查询、分享和利用的需求。
-
公开(公告)号：CN106055482A
公开(公告)日：2016-10-26
申请号：CN201610390904.9
申请日：2016-06-03
Applicant: 中国科学院软件研究所
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: 中国科学院软件研究所
Abstract: 本发明提出了一种基于移动智能终端地理位置信息的数据保护方法，基于地理位置信息的个人数据保护应用程序客户端读取并记录当前智能移动终端的地理位置信息，通过选择加密保护某地理位置区域内的个人数据功能，并设定该地理位置的保险箱密钥；当用户手机再次进入已设定加密保护的地理位置区域时，基于地理位置信息个人数据保护客户端会自动判断出用户智能终端已经进入该地理位置区域，在该区域内产生的文件和数据将自动进行加密保护。本发明改进了移动智能终端用户隐私数据加密保护方式，为特定需求的用户提供了自动、批量的数据加密保护方式，充分利用了移动智能终端移动性的特点，满足了用户对数据保护的需求，同时实现了节时、高效的特点。
-
公开(公告)号：CN120086859A
公开(公告)日：2025-06-03
申请号：CN202510056719.5
申请日：2025-01-14
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及软件安全领域，具体涉及一种可溯源的漏洞修复方法，其步骤包括：获取漏洞及其漏洞信息，所述漏洞信息包括漏洞描述、影响范围和相关代码位置；基于零知识证明通过所述漏洞信息生成漏洞证明；基于智能合约通过所述漏洞信息生成漏洞事件，所述漏洞事件包括漏洞哈希、状态、时间戳、操作人信息和事件类型；将所述漏洞证明和所述漏洞事件写入区块链；对所述漏洞进行多方计算修复，生成新的漏洞事件写入区块链确保漏洞修复可溯源。本发明通过采用分布式账本技术、零知识证明和多方计算等技术，实现对开源软件漏洞修复的高效溯源。
-
公开(公告)号：CN119966821A
公开(公告)日：2025-05-09
申请号：CN202311482015.1
申请日：2023-11-08
Applicant: 中国科学院软件研究所 , 中科南京软件技术研究院
IPC: H04L41/0833 , H04L41/0813 , H04L41/08 , H04L41/0894 , H04L41/046 , H04L41/16 , H04L67/125 , G06F18/15 , G06F18/27 , G06F18/20
Abstract: 本发明公开了一种针对IoT场景的能耗智能优化方法及系统。所述方法包括：依据对系统能耗的影响，选择迭代参数；将迭代参数的上一轮推荐值发送至部署在各个物联网设备上的开发板模块，以使开发板模块依据上一轮推荐值完成本地负载测试；根据开发板模块运行Benchmark的开始时间戳和结束时间戳，从能耗测量模块的数组中截取能耗，以得到本轮能耗结果；其中，所述能耗测量模块的数组中截取的能耗基于各个物联网设备的本地负载测试得到；将本轮能耗结果发送至AI引擎模块，以使所述AI引擎模块基于本轮能耗结果选择所述迭代参数的本轮推荐值。本发明保证了物联网能耗调优系统的易用性、有效性、准确性和可扩展性。
-
-
-
-
-
-
-
-
-
Search Results
224
records
(took 0.035 seconds)
