-
公开(公告)号：CN107179956A
公开(公告)日：2017-09-19
申请号：CN201710346709.0
申请日：2017-05-17
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/54 , G06F15/163 , G06F15/167 , G06F15/177
Abstract: 本发明涉及一种分层多核处理器核间可靠通信方法，属于通信技术领域。本发明根据对多核系统核间通信过程中各个阶段特点的分析，将整个核间通信划分为五个层级进行设计，各个层级分别负责不同的核间通信任务。实现了统一的上层用户核间通信接口与灵活的底层硬件连接；克服了现有核间通信机制中，上层应用程序接口不统一，下层硬件适用范围狭窄的缺陷。满足了多核处理器环境下进行可靠核间通信的需求。
-
Patent Agency Ranking
公开(公告)号：CN115659633A
公开(公告)日：2023-01-31
申请号：CN202211304297.1
申请日：2022-10-24
Applicant: 北京计算机技术及应用研究所
IPC: G06F30/20 , G06F111/04
Abstract: 本发明涉及一种支持约束处理的逐参数扩展优化方法，属于测试领域。本发明在支持约束处理的逐参数扩展算法IPOWithCS的基础上，充分研究约束集，提出参数和禁止约束集的相关度等概念，结合两两组合测试的特点和约束集的信息，分析影响算法性能的因素，不同因素对算法产生的影响不同，从中选择影响显著性较弱的2个因素，根据这两个优化点设计4个优化策略，分别用Mode标记，依次求解不同策略，从中找到一个最优解近似代替问题的最终解，适应性调整IPOWithCS算法，由此提出一种新的支持约束处理的逐参数扩展优化方法。本发明有效解决了实际工程中约束组合测试问题，具有良好的工程应用价值，大大提高了测试效率节省了测试成本。
-
公开(公告)号：CN118277269A
公开(公告)日：2024-07-02
申请号：CN202410482604.8
申请日：2024-04-22
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于Markov模型的测试用例生成、充分性判定方法及装置，属于软件测试技术领域。本发明将存储在Markov模型数据模块中的数据进行解析，获取被测软件模型的状态，迁移边信息及对应的状态转移概率。并且将模型扩展到高阶，计算相关参数，相关参数包括：高阶Markov模型的阶数及降阶转移概率矩阵；通过设定期望可靠性计算测试停止的优化阈值，并在测试用例生成过程中计算测试充分性判定值的大小，当满足给定的阈值后，停止测试用例生成，展示所有生成的测试用例集及程序运行时间。本发明充分利用高阶Markov模型在描述随机过程中的先天优势，结合蚁群算法全局性、通用性强的特点，有效提高了测试用例生成收敛速度，减少了冗余测试用例集的产生。
-
公开(公告)号：CN107179956B
公开(公告)日：2020-05-19
申请号：CN201710346709.0
申请日：2017-05-17
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/54 , G06F15/163 , G06F15/167 , G06F15/177
Abstract: 本发明涉及一种分层多核处理器核间可靠通信方法，属于通信技术领域。本发明根据对多核系统核间通信过程中各个阶段特点的分析，将整个核间通信划分为五个层级进行设计，各个层级分别负责不同的核间通信任务。实现了统一的上层用户核间通信接口与灵活的底层硬件连接；克服了现有核间通信机制中，上层应用程序接口不统一，下层硬件适用范围狭窄的缺陷。满足了多核处理器环境下进行可靠核间通信的需求。
-
公开(公告)号：CN109032818B
公开(公告)日：2021-11-16
申请号：CN201810839256.X
申请日：2018-07-27
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种同构系统核间同步与通信的方法，其中，包括核间同步方法以及核间通信方法：核间同步方法包括：核间同步模块注册、核间同步使能、任务或数据同步；核间通信方法包括：发送端通信方法包括：步骤A1、初始化块，并从共享内存中分配核间通信句柄空间；步骤A2、通信模式选择；步骤A3、通信数据写入完毕后执行中断控制；步骤A4、将核间中断寄存器上对应的位置为1，从而触发核间中断；接收端通信方法包括：B1初始化，获取数据发送核在共享内存区分配的核间通信句柄；B2发送核一旦触发核间中断，接受核立即进入核间中断处理服务进行通信数据的读取，数据读取的地址由核间通信句柄中的通信数据存储地址指定。
-
公开(公告)号：CN109032818A
公开(公告)日：2018-12-18
申请号：CN201810839256.X
申请日：2018-07-27
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种同构系统核间同步与通信的方法，其中，包括核间同步方法以及核间通信方法：核间同步方法包括：核间同步模块注册、核间同步使能、任务或数据同步；核间通信方法包括：发送端通信方法包括：步骤A1、初始化块，并从共享内存中分配核间通信句柄空间；步骤A2、通信模式选择；步骤A3、通信数据写入完毕后执行中断控制；步骤A4、将核间中断寄存器上对应的位置为1，从而触发核间中断；接收端通信方法包括：B1初始化，获取数据发送核在共享内存区分配的核间通信句柄；B2发送核一旦触发核间中断，接受核立即进入核间中断处理服务进行通信数据的读取，数据读取的地址由核间通信句柄中的通信数据存储地址指定。
-
-
-
-
-
Search Results
6
records
(took 0.041 seconds)
