-
公开(公告)号：CN112356025A
公开(公告)日：2021-02-12
申请号：CN202011179607.2
申请日：2020-10-29
Applicant: 中国科学院软件研究所
IPC: B25J9/16
Abstract: 本发明涉及一种用双圆弧近似NURBS曲线的机器人运动方法和装置。该方法将NURBS曲线分解成等价的若干段Bezier曲线；对每一段Bezier曲线用双圆弧近似，得到双圆弧近似的NURBS曲线；使机器人工具按照双圆弧近似的NURBS曲线运动。本发明能够以让机械臂用自身具备的直线或者圆弧运动方式去近似工件对象上的任意三维NURBS曲线，并且可以指定近似程度，保证近似曲线和原始曲线之间的距离不超过要求的距离，并且本方法具备简洁，快速，精确的特点。
-
公开(公告)号：CN110659502A
公开(公告)日：2020-01-07
申请号：CN201910836177.8
申请日：2019-09-05
Applicant: 中国科学院软件研究所
Abstract: 本发明提供一种基于文本信息关联关系分析的项目版本检测方法及系统，本方法通过对大规模的物联网固件文件进行解包，以找到固件文件包含的待测项目以及相应的特征信息；将待测项目的特征信息与开源项目图数据库中的信息进行比对，推断待测项目版本号；获取的待测项目版本号非唯一时，计算待测项目版本匹配度，并输出待测项目版本及对应匹配度。本方法解决了从物联网设备中获取软件项目版本信息困难的问题，可以提高漏洞挖掘人员在研究物联网设备漏洞时的效率和准确率，进而提高对物联网设备安全分析的水平。
-
公开(公告)号：CN102567096B
公开(公告)日：2017-02-08
申请号：CN201110450433.3
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在多任务环境中防止死锁的互斥信号量管理方法，包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号；B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信号量的最大个数；C、建立针对互斥信号量的状态数组，以所述互斥信号量编号为状态数组下标，指示互斥信号量在系统中的存在个数；数组的每个成员值表示，系统中所对应编号的互斥信号量的拥有个数；D、在任务状态控制块中根据互斥信号量的ID按照互斥信号量编号从小到大的顺序申请信号量，并根据信号量的使用情况，对任务状态控制块中存放占有信号量的个数的域以及互斥信号量状态数组进行更新。
-
公开(公告)号：CN103954278B
公开(公告)日：2017-01-11
申请号：CN201410192691.X
申请日：2014-05-08
Applicant: 中国科学院软件研究所
IPC: G01C21/00
Abstract: 本发明涉及一种基于多数据融合的应急逃离引导方法和系统，用于个人用户面临危险事件时，帮助用户选择最佳的脱困目的地和最安全的逃离路线。当危险事件发生时，用户采用客户端发送所在地的GPS和逃离引导请求。服务器端搜索事发地点周围一定范围内能够帮助用户脱困的特定类型的POI(城市信息点)，通过聚类算法识别出POI聚集密度较高、人群密度较高的候选安全区域，综合考虑用户前往安全区域的路线的安全性以及目标安全区域本身的安全性，选择一条全局安全系数最高的最优逃离路径。客户端根据最优路径进行实时跟踪引导。本发明能够提供简洁高效的即时引导服务，对于减少个人生命财产损失、保障和谐安定的生活环境等具有实践应用价值。
-
公开(公告)号：CN106169050A
公开(公告)日：2016-11-30
申请号：CN201610625650.4
申请日：2016-08-02
Applicant: 中国科学院软件研究所
IPC: G06F21/56
CPC classification number: G06F21/561
Abstract: 本发明提出了一种基于网页知识发现的PoC程序提取方法。该方法的输入为待测安全漏洞，输出为待测安全漏洞对应的PoC程序。首先从权威漏洞库获取描述语句集，包括安全漏洞/非安全漏洞描述语句集和PoC程序/非PoC程序描述语句集。其次以描述语句集为训练样本，提取训练样本的特征集，基于深度学习框架，建立网页分类器和Comment分类器。最后结合网页分类器和Comment分类器，针对输入的待测安全漏洞，提取对应的PoC程序。本发明丰富了渗透测试、安全漏洞验证等领域的测试样例集，进而促进安全漏洞领域的研究与应用发展。
-
Patent Agency Ranking
公开(公告)号：CN104035772A
公开(公告)日：2014-09-10
申请号：CN201410252637.X
申请日：2014-06-09
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及一种基于静态分析的源码多版本函数调用关系差异性标识方法。首先通过源码静态分析技术获取源码中定义的函数列表和函数之间的静态调用关系等信息；然后将选取的两个版本源码进行Diff，结合静态分析获取的函数定义列表和调用关系标识出变化的差异部分，将变化的部分进行细致的状态分析，分别标识出函数定义和调用的修改状态、新增状态和删除状态并入库；最后结合用户的需求和数据库中保存的状态数据进行单个版本的调用关系展示和多版本函数调用关系差异视图的展示。本发明可以完成单个版本的内部调用关系分析和展示以及多个版本之间的调用关系差异性分析和展示，为开源软件的分析、开发、升级和维护提供了高效的辅助方法。
-
公开(公告)号：CN103954278A
公开(公告)日：2014-07-30
申请号：CN201410192691.X
申请日：2014-05-08
Applicant: 中国科学院软件研究所
IPC: G01C21/00
CPC classification number: G01C21/3476 , G01S19/17
Abstract: 本发明涉及一种基于多数据融合的应急逃离引导方法和系统，用于个人用户面临危险事件时，帮助用户选择最佳的脱困目的地和最安全的逃离路线。当危险事件发生时，用户采用客户端发送所在地的GPS和逃离引导请求。服务器端搜索事发地点周围一定范围内能够帮助用户脱困的特定类型的POI(城市信息点)，通过聚类算法识别出POI聚集密度较高、人群密度较高的候选安全区域，综合考虑用户前往安全区域的路线的安全性以及目标安全区域本身的安全性，选择一条全局安全系数最高的最优逃离路径。客户端根据最优路径进行实时跟踪引导。本发明能够提供简洁高效的即时引导服务，对于减少个人生命财产损失、保障和谐安定的生活环境等具有实践应用价值。
-
公开(公告)号：CN103838847A
公开(公告)日：2014-06-04
申请号：CN201410081199.5
申请日：2014-03-06
Applicant: 中国科学院软件研究所
CPC classification number: G06F16/214 , G06F16/21 , G06F16/25
Abstract: 本发明涉及一种适应海云协同网络计算环境的数据组织方法，称为DataCap(数据胶囊)。其基层构件是数据体与数据代数，前者是提供数据内容的容器及元数据描述信息，后者是数据体的操作子的集合。一个数据体以及其配套的一个(或多个)数据代数共同构成一个数据层，对应于具体软件业务流程中的一个环节。根据业务流程的上下游依赖关系，数据层之间组成数据层链，对应数据在业务流程中不断被加工、融合以及转换的过程。这些核心构件通过数据单元统一标识和数据组织描述语言两个辅助模块来约定与描述。本发明能够实现信息系统中计算资源的灵活配置，适应海云协同网络下弹性计算架构以及全局资源优化目标。
-
公开(公告)号：CN103761092A
公开(公告)日：2014-04-30
申请号：CN201410025189.X
申请日：2014-01-20
Applicant: 中国科学院软件研究所
IPC: G06F9/44
Abstract: 本发明涉及一种基于知识社群的在线源码协同分析和分享方法及装置，该方法的步骤包括：1）知识社群认证和源码协同分析平台建设：通过知识社群认证接口绑定现有开源社区的用户并初始化社区成员权限，构建包含现有热门开源软件的源码上下文环境，解析其中文件所包含的编程要素并创建相应的知识库词条入口，提供源码和词条关联机制；2）在线源码协同分析：社群成员利用在线协同分析环境进行相关源码上下文环境中的源码分析和多历史版本的词条编辑；3）知识集成与分享：社群成员按照贡献程度有差别的分享和利用知识。本发明充分利用知识社群集中了开源软件开发者和爱好者，满足了社群成员便捷的知识创建、知识创新、快速查询、分享和利用的需求。
-
公开(公告)号：CN102541642B
公开(公告)日：2013-12-18
申请号：CN201110450432.9
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在RTEMS实时操作系统中增强实时性能的任务管理方法，包括如下步骤：A.通过发送信号量的方式调度某一个任务；B.设置同任务优先级任务就绪队列，如果根据所述某一任务的信号量的状态值确定其应该被放入就绪队列，则将该任务排到同任务优先级队列；反之则强制抢占处理器资源并执行该任务；C.为所述某一任务指定优先级抢占阀值，根据该阀值判定是否允许抢占该任务；D.当所述某一任务添加到所述同任务优先级队列中时，根据其信号量以及抢占阀值判断其所属优先级等级，并在所述同优先级就绪任务队列中定位插入位置，从而形成一个有序的任务阻塞队列。
-
-
-
-
-
-
-
-
-
Search Results
224
records
(took 0.062 seconds)
