-
公开(公告)号：CN103728928B
公开(公告)日：2016-06-01
申请号：CN201210385096.9
申请日：2012-10-11
Applicant: 中国科学院软件研究所
IPC: G05B19/418
CPC classification number: G06F13/32 , B61L15/0036 , G06F13/362 , G11C7/1072 , H04L12/40 , H04L2012/40293
Abstract: 本发明公开了一种基于PicoBlaze的MVB控制器，属于轨道列车通信领域。本发明包括pMVB控制器，通信存储器，ARM适配器，总线仲裁器；其中，pMVB控制器、通信存储器、ARM适配器、总线仲裁器分别与外部总线BUS1连接；pMVB控制器与通信存储器通过数据线连接，ARM适配器分别与外部ARM处理器、总线仲裁器连接；通信存储器用于存储网络通信数据和输入的控制信息，并将其发送给pMVB控制器；pMVB控制器用于响应控制信息，并对通信数据进行数据编码后经外部总线BUS1发送至MVB总线上；同时对收到的pMVB总线数据进行解码并触发中断；总线仲裁器负责根据pMVB控制器发送的指令进行总线仲裁工作。
-
公开(公告)号：CN103793589A
公开(公告)日：2014-05-14
申请号：CN201210428024.8
申请日：2012-10-31
Applicant: 中国科学院软件研究所
IPC: G06F19/00
Abstract: 本发明涉及高速列车故障处理方法，步骤为：1）查询故障列表中用户设定时间内发生的故障和故障代码，组成故障集；2）对故障集进行扫描得到满足最小支持度的频繁项目集，得到合法故障关联规则集；3）将合法故障关联规则集通过规则图表示，根据步骤1）故障列表中故障与该规则图上的节点进行匹配；4）在匹配后的规则图中遍历找到所有节点均被匹配路径；计算被匹配路径上各个节点所代表故障的重要性并排序；5）根据重要性排序按照故障重要性由高到低进行处理。本发明可在专家知识缺乏的情况下，支持对故障原因分析，同时利用规则匹配寻找海量故障中的因果关系，使维修可以优先修理重要性高的根源故障，从而大大降低了高速列车的故障维修成本。
-
公开(公告)号：CN102945351A
公开(公告)日：2013-02-27
申请号：CN201210436396.5
申请日：2012-11-05
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及一种云环境下基于二维码的移动智能终端安全漏洞修复方法，其步骤包括：采用静态和/或动态漏洞分析技术对移动智能终端进行漏洞检测，并将获得的漏洞信息发送至云端漏洞库管理系统；云端漏洞库管理系统通过增量更新的方式获取公开漏洞库的数据，并根据公开漏洞库的数据以及移动智能终端的漏洞信息建立漏洞数据库；云端漏洞库管理系统根据漏洞数据库中的漏洞信息动态生成二维码并予以公布；客户端查询漏洞数据库并读取二维码中的漏洞信息，进而进行漏洞修复。本发明充分利用了移动智能终端的功能，满足了移动智能终端厂商和用户快速查询安全漏洞、保持终端安全的需求。
-
公开(公告)号：CN102096782A
公开(公告)日：2011-06-15
申请号：CN201110030183.8
申请日：2011-01-27
Applicant: 中国科学院软件研究所
Abstract: 本发明公开了一种基于虚拟机的移动介质网银安全认证方法，属于信息安全技术领域。所述方法包括：a)在移动介质上烧录虚拟机环境安装程序和网银系统镜像；b)所述移动介质首次插入物理主机时，自动在物理主机的硬件层和系统层之间安装虚拟机环境，并使物理主机启动后直接运行虚拟机环境，物理主机中的用户操作系统在虚拟机环境下运行；c)虚拟机环境监测到所述移动介质插入时，中止用户操作系统的运行，启动网银系统；d)虚拟机环境监测到所述移动介质拔出时，停止网银系统，恢复用户操作系统的运行。本发明可用于网上银行。
-
公开(公告)号：CN100399265C
公开(公告)日：2008-07-02
申请号：CN200610089762.9
申请日：2006-07-14
Applicant: 中国科学院软件研究所
IPC: G06F9/44
Abstract: 一种基于规则的软件过程主体自动协商系统和方法，该系统由平等的软件过程主体互连而成，过程主体包括以下功能模块：协商规则编辑器、协商模型分析器、协商规则引擎、协商过程引擎、协商规则库、协商过程库。该方法包括步骤：依次处理接收到的消息，检验消息的合法性；根据合法的消息，通过状态转换函数转换过程主体的状态；触发协商规则引擎，并载入协商规则以及相关数据；根据约定的算法，将数据与协商规则进行匹配，并对其进行排序、冲突检测和解决；执行处理过的规则，生成新的数据，将结果提交给协商过程引擎。该方法将传统协商协议分为静态的通用协议和动态的协商规则，以较低的成本为软件过程agent的协商提供了灵活性和动态性。
-
Patent Agency Ranking
公开(公告)号：CN1971535A
公开(公告)日：2007-05-30
申请号：CN200510086936.1
申请日：2005-11-21
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明基于时间自动机的一种变体——时间安全输入输出自动机提出了一种实时系统测试系统和测试方法。该方法首先将时间安全输入输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态转移图；然后采用基于输入/输出标号迁移系统的测试方法来静态生成满足各种结构覆盖标准的含时间延迟变量转移动作序列；最后，引入的时间极值函数并利用线性约束求解方法动态求解转移动作序列中的时间延迟变量以进行测试。利用本方法所实现的测试系统适用于各种带时间约束的软件系统的黑盒测试。
-
公开(公告)号：CN1900906A
公开(公告)日：2007-01-24
申请号：CN200610089762.9
申请日：2006-07-14
Applicant: 中国科学院软件研究所
IPC: G06F9/44
Abstract: 一种基于规则的软件过程主体自动协商系统和方法，该系统由平等的软件过程主体互连而成，过程主体包括以下功能模块：协商规则编辑器、协商模型分析器、协商规则引擎、协商过程引擎、协商规则库、协商过程库。该方法包括步骤：依次处理接收到的消息，检验消息的合法性；根据合法的消息，通过状态转换函数转换过程主体的状态；触发协商规则引擎，并载入协商规则以及相关数据；根据约定的算法，将数据与协商规则进行匹配，并对其进行排序、冲突检测和解决；执行处理过的规则，生成新的数据，将结果提交给协商过程引擎。该方法将传统协商协议分为静态的通用协议和动态的协商规则，以较低的成本为软件过程agent的协商提供了灵活性和动态性。
-
公开(公告)号：CN117874298A
公开(公告)日：2024-04-12
申请号：CN202410027438.2
申请日：2024-01-08
Applicant: 中国科学院软件研究所
IPC: G06F16/901
Abstract: 本公开提供一种面向动态超边插入的核保持方法、装置、设备及存储介质，所述方法首先在超图上对于所有的节点进行排序，并根据排序结果生成每个节点的先驱度；其次，使用先驱度值判断该超边的插入是否需要开始节点的遍历，在需要遍历的情况下进一步根据排序缩小节点的排序范围。最后，得到k核值需要变化的节点集合，并动态地更新节点的排序以及先驱度值。本发明解决了现有的动态超图插入下核保持算法速度慢的问题，解决了超边插入下核保持算法和超边删除时核保持算法速度差距大的问题，解决了现有算法需要进行大量无效遍历的问题。
-
公开(公告)号：CN117851888A
公开(公告)日：2024-04-09
申请号：CN202410036694.8
申请日：2024-01-10
Applicant: 中国科学院软件研究所
IPC: G06F18/241 , G06N3/042 , G06N3/0985 , G06N3/082 , G06N3/0464
Abstract: 本发明公开了一种基于融合的超图节点分类方法及装置，该方法包括：通过超图的二分表示将图和超图进行融合；在融合图结构上进行消息传递以及消息聚合后，得到节点更新后的嵌入向量表示；其中，所述融合图结构包括：由所述图中的节点组成的第一层图G1、由所述超图中的超节点组成的第二层图G2和第一层图G1与第二层图G2之间的相互连接AE12；基于节点更新后的嵌入向量表示进行节点分类，得到超图节点分类结果。本发明解决了同时进行二元关系以及多元关系学习的问题，解决了由于图和超图的模型局限性造成的图神经网络和超图神经网络节点特征提取困难的问题，解决了分类任务上准确率偏低以及在不同数据集上的模型鲁棒性问题。
-
公开(公告)号：CN116360987B
公开(公告)日：2023-09-12
申请号：CN202310261234.0
申请日：2023-03-17
Applicant: 中国科学院软件研究所
Abstract: 本发明提供一种自适应负载均衡方法及系统，属于负载均衡领域。本发明基于的并行流水线执行模式是使用包含若干流水级的并行执行流执行来自多个客户端的任务，本方法在拥塞延迟变高且在执行流之间不均衡时，依次使用交叉熵方法和强化学习分别进行执行流之间的负载均衡以及客户端和服务器之间的负载均衡。本发明能基于当前拥塞延迟的严重程度在客户端‑服务器计算范式中对使用并行流水线执行模式的服务器进行负载均衡，提供了比传统的负载均衡方法更细粒度的负载均衡，能够降低拥塞延迟和拥塞延迟的波动，提升服务器处理来自多个客户端的任务的性能。
-
-
-
-
-
-
-
-
-
Search Results
86
records
(took 0.069 seconds)
