-
公开(公告)号：CN120020708A
公开(公告)日：2025-05-20
申请号：CN202311546497.2
申请日：2023-11-20
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及一种基于知识的智能空间系统自动化应用冲突检测方法和装置。该方法包括：将自动化应用的关键要素映射到ECA控制网络，所述关键要素包括事件、条件、行为；通过知识图谱补充ECA控制网络的语义信息，包括设备的服务之间的依赖与互斥关系及设备的服务对物理环境的影响，形成自动化应用网络；基于定义的冲突模式对自动化应用网络进行搜索匹配，结合语义信息检测自动化应用之间存在的冲突。本发明克服了现有智能空间系统自动化应用冲突检测方法有效性和实用性两方面的不足，实现了一种高效且实用的基于图模式匹配的自动化应用冲突检测方案，能够更加准确、高效地检测自动化应用之间的冲突问题。
-
公开(公告)号：CN116860658B
公开(公告)日：2024-05-28
申请号：CN202310739729.X
申请日：2023-06-21
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及一种面向大数据处理框架的高效半自动垃圾回收方法和系统，通过区分大数据框架中的普通对象与数据对象，本发明消除了垃圾收集过程中数据对象不必要的标记和复制开销。本发明包括：数据对象分析器为大数据框架开发者提供两个注解，分别表示数据对象的创建和释放，Java虚拟机可以根据注解跟踪数据对象的生命周期，并优化数据对象的管理；基于标签的分配器可以有效地区分数据对象和普通对象，并将它们分开存储在堆空间中；基于消息的垃圾收集器可以消除数据对象不必要的标记和复制开销。与同类产品相比，本发明可以有效地减少大数据应用的垃圾收集时间和运行时间，提高Java虚拟机在大数据环境下的内存管理效率。
-
公开(公告)号：CN109033234B
公开(公告)日：2021-09-14
申请号：CN201810721794.9
申请日：2018-07-04
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及一种基于状态更新传播的流式图计算方法及系统，基于状态更新传播的流式图计算模型，能够在原有图状态基础上，并发计算增量信息的影响，而无需在整个图上重新计算；同时通过细粒度分布式锁，实现状态的并发更新，保证计算结果的正确性。通过真实的数据集对本发明进行实时性和准确性测试，结果表明基于状态更新传播的流式图计算模型构建的算法能够得到较为准确的计算结果，计算偏差在1％以内；90％的图数据更新请求都能够在12ms内得到响应，符合实时性要求；任意两个计算节点更新冲突的概率在3％以内，可以满足高并发的需求。
-
公开(公告)号：CN106775942B
公开(公告)日：2020-06-16
申请号：CN201611127232.9
申请日：2016-12-09
Applicant: 中国科学院软件研究所
IPC: G06F9/455
Abstract: 本发明涉及一种云应用导向的固态盘缓存管理系统及方法，其核心思想是从云应用的视角切入，使用多层网络模型刻画虚拟机与固态盘之间的映射关系，并进一步确定每个虚拟机获得的最佳的固态盘缓存大小。当云应用的工作负载发生变化时，系统会自动触发调整过程，执行虚拟机动态迁移以及缓存容量更改，从而提升云应用的性能，提高固态盘的利用率。
-
公开(公告)号：CN106649805B
公开(公告)日：2020-02-11
申请号：CN201611242296.3
申请日：2016-12-29
Applicant: 中国科学院软件研究所
IPC: G06F16/958
Abstract: 本发明涉及一种高效的Web应用跨浏览器布局兼容性检测系统及方法，包括：数据处理模块、节点匹配模块、AG图构造模块和节点比较模块，其中数据处理模块，负责处理单个浏览器的页面数据；节点匹配模块，负责匹配参考浏览器和待测浏览器中同一个事件变化的节点；AG图构造模块，负责对每个事件中变化的区域构造AG图，得到每个节点在布局上的父节点和兄弟节点；节点比较模块，负责比较相匹配节点的父子关系和兄弟关系，得到节点的布局兼容性问题。本发明提高了Web应用布局兼容性检测的效率，并且也避免了检测结果的重复报告。
-
Patent Agency Ranking
公开(公告)号：CN105868110B
公开(公告)日：2018-06-22
申请号：CN201610186177.4
申请日：2016-03-29
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于内存数据网格的流式数据处理程序错误的数据溯源定位方法，其核心思想是通过运行在分布式处理程序中的代理，监控处理的数据溯源信息即数据的输入与输出，并把这些信息发送给协调者，当程序出现错误、异常或者不一致的时候，开发人员或者用户可以利用这些溯源信息进行程序的调试，实现程序错误的分析与定位。
-
公开(公告)号：CN106649805A
公开(公告)日：2017-05-10
申请号：CN201611242296.3
申请日：2016-12-29
Applicant: 中国科学院软件研究所
IPC: G06F17/30
Abstract: 本发明涉及一种高效的Web应用跨浏览器布局兼容性检测系统及方法，包括：数据处理模块、节点匹配模块、AG图构造模块和节点比较模块，其中数据处理模块，负责处理单个浏览器的页面数据；节点匹配模块，负责匹配参考浏览器和待测浏览器中同一个事件变化的节点；AG图构造模块，负责对每个事件中变化的区域构造AG图，得到每个节点在布局上的父节点和兄弟节点；节点比较模块，负责比较相匹配节点的父子关系和兄弟关系，得到节点的布局兼容性问题。本发明提高了Web应用布局兼容性检测的效率，并且也避免了检测结果的重复报告。
-
公开(公告)号：CN105278991A
公开(公告)日：2016-01-27
申请号：CN201510702329.7
申请日：2015-10-26
Applicant: 中国科学院软件研究所
IPC: G06F9/445
Abstract: 本发明涉及一种应用部署配置模型的构造方法，包括以下步骤：定义软件部署模型，给定某个软件C的部署配置脚本，将脚本转换为模型M的模型实例；将软件C的模型实例信息Mc存储在软件模型信息数据库；通过访问数据库获得软件C对应的模型信息Mc，并将其解析和可视化展现，提供给用户作为软件C的部署配置任务模型元素。本发明实现运维管理工具的执行脚本到云应用部署配置模型的自动转换，衔接高层抽象描述与底层执行脚本，使系统管理员无需编写脚本代码，能够通过可视化建模的方法定义应用部署配置流程，提高应用的部署配置效率，降低对领域知识的要求。
-
公开(公告)号：CN102664888B
公开(公告)日：2015-08-26
申请号：CN201210116988.9
申请日：2012-04-19
Applicant: 中国科学院软件研究所
Abstract: 本发明公开了一种基于信任度的访问控制方法及其系统，属于计算机访问控制领域。本方法为：1)建立一角色-信任度描述模型，2)对于某自治域B中的每一角色r，确定其与其他自治域A中角色映射到角色r映射关系，使A中角色到B角色映射满足满射关系；3)根据映射关系将角色r的权限集合划分到不同的子权限集合中；将划分后的子集合关联到相应的信任度值上；4)当A中主体角色访问B中资源时，首先分析访问主体角色信息，然后将其映射到自治域B中的角色，并获取信任值；5)自治域B根据该访问主体角色的角色信息和信任度值，确定本次访问请求所具有的资源访问权限。本发明有效弥补了传统角色访问控制无法适用分布式协同开发环境的不足。
-
公开(公告)号：CN103473318A
公开(公告)日：2013-12-25
申请号：CN201310415370.7
申请日：2013-09-12
Applicant: 中国科学院软件研究所
IPC: G06F17/30
Abstract: 一种面向内存数据网格的分布式事务保障方法，首先是服务节点选定，即在客户端发出事务请求后，内存数据网格首先为该事务选定对应的服务节点；然后事务启动，将服务节点作为事务协调者，利用客户端的源地址和线程ID等信息为标识为该事务请求创建并保存事务上下文和事务ID。接着进入内存数据网格两阶段提交协议的第一阶段，进行数据操作后，进入内存数据网格两阶段提交协议的第二阶段，进行事务提交或事务回滚。本发明采用多个事务协调者，避免单节点瓶颈，并且不需要远程调用第三方事务管理器，可以避免产生额外的通信代价,同时降低事务协调和事务状态维护的代价。
-
-
-
-
-
-
-
-
-
Search Results
93
records
(took 0.037 seconds)
