-
公开(公告)号:CN111930312B
公开(公告)日:2023-10-20
申请号:CN202010804112.8
申请日:2020-08-12
Applicant: 北京计算机技术及应用研究所
IPC: G06F3/06
Abstract: 本发明涉及一种双控存储阵列异步逻辑单元访问方法,属于计算机存储技术领域。本发明提供的异步逻辑单元访问方式,两个控制器可各自访问不同的逻辑单元实现双控双活。两个控制器不需要通过通信协商对同一个逻辑单元的访问控制,而是通过目标端口的配置,将主机负载均衡分配在两个控制器上,是一种“带外”的控制方式。这种异步逻辑单元访问方式较同步逻辑单元访问方式可显著降低控制器间通信开销,显著提升逻辑单元访问效率,提高逻辑单元的访问性能。
-
公开(公告)号:CN116860692A
公开(公告)日:2023-10-10
申请号:CN202310185185.7
申请日:2023-03-01
Applicant: 北京计算机技术及应用研究所
IPC: G06F15/163 , G06F15/78
Abstract: 本发明涉及一种飞控计算机高可靠芯片间通信设计方法,属于通信领域。本发明通过在DSP和FPGA芯片间设计冗余EMIF接口,DSP芯片和FPGA芯片通过比较冗余接口上的数据是否一致,可以识别传输错误,部分传输错误可以通过冗余数据进行纠正,当数据错误无法纠正时能够通过中断方式将错误返回给EMIF接口主端DSP芯片,DSP芯片根据中断提示进行数据重传。本发明具备数据正确校验,数据传输完成后,可以判断数据是否传输正确;通过冗余EMIF接口,可以对部分出现错误的数据帧进行数据错误纠正;具备通信错误中断机制,发生错误后通过中断方式通知DSP芯片重新传输。
-
公开(公告)号:CN116846592A
公开(公告)日:2023-10-03
申请号:CN202310598975.8
申请日:2023-05-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于攻防博弈模型的智能化决策系统及方法,属于网络安全技术领域。本发明的基于攻防博弈模型的智能化决策系统及方法以敌我双方网络对抗为背景,考虑到网络对抗环境的复杂性,将问题抽象为零和博弈对抗问题,通过构建网络博弈模型,并且引入第三方效能评估机制对攻防博弈模型进行检验,帮助我方决策者更加直观的、智能化的选取最优对抗策略。为了提高网络攻防博弈模型的合理性和准确性,本发明在构建网络攻防博弈模型时,基于遗传算法改进深度Q网络去逼近动作状态值函数,解决了状态空间连续多维问题;同时通过第三方效能评估机制对攻防博弈模型进行检验,使得攻防博弈模型更具准确性,从而为决策者提供决策支撑。
-
公开(公告)号:CN113626629B
公开(公告)日:2023-09-29
申请号:CN202110942325.1
申请日:2021-08-17
Applicant: 北京计算机技术及应用研究所 , 北京航天爱威电子技术有限公司
IPC: G06F16/51 , G06F16/583 , G06V10/46 , G06V10/28
Abstract: 本发明涉及一种利用尺度不变特征计算图像哈希值的方法,属于图像处理领域。本发明利用SIFT算法,计算图像的特征点及相应的尺度不变特征;根据图像中各个特征之间的距离,计算各个特征的权重;比较特征中的各个分量与相邻分量的大小,将特征的各个分量二值化,得到特征的哈希值;将特征的哈希值和权值相乘,得到特征的权重哈希值;将图像各个特征的权重哈希值相加,再将各分量二值化,得到图像的哈希值。本发明提出的计算图像哈希值的方法,利用尺度不变特征作为图像哈希值的基础,缩放、旋转、平移后的图像具有相似的哈希值,符合人类视觉习惯,有助于图像大数据的快速检索,在图像大数据应用中具有重要的应用价值。
-
公开(公告)号:CN116467211B
公开(公告)日:2023-09-26
申请号:CN202310461935.9
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于数字化仿真环境的系统级测试验证方法,属于嵌入式软件测试领域。本发明通过数字化仿真技术对实装运行环境进行模拟,实现在实验室环境中进行系统级测试验证。基于数字化仿真环境实现加载配置项软件、设计并运行测试用例、模拟接口数据、进行故障和异常模拟、统计接口覆盖信息等系统级测试验证工作。本发明降低了系统级测试对实装环境和半实物环境的依赖,可在实验室环境中开展有效的系统级测试验证,从而降低了测试成本并提高了测试的充分性。
-
公开(公告)号:CN116431518B
公开(公告)日:2023-09-26
申请号:CN202310461957.5
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于仿真平台的多层级、多模式软件故障注入方法,属于嵌入式软件测试领域。本发明通过修改仿真平台来达到故障注入的效果,仿真平台具有可控性强的特点,故障注入灵活、精度高。该方法首先采用虚拟化技术实现仿真平台构建,包括处理器、外设、总线等模型;其次,构建故障注入案例库,包括处理器平台级、接口设备级、通信协议级等层级,统一进行故障案例设计和管理;然后,配置故障注入参数,执行故障注入,包括基于时间、基于PC、基于地址等注入方式;最后,采集故障案例注入后的执行信息,生成代码覆盖率报告。本发明提高嵌入式软件测试充分性,保障软件质量和可靠性。
-
公开(公告)号:CN116431103B
公开(公告)日:2023-09-26
申请号:CN202310462913.4
申请日:2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种面向嵌入式软件的数字化DevOps平台设计方法,属于嵌入式软件测试领域。本发明在DevOps技术的基础上引入数字化仿真技术,采用数字化仿真技术对嵌入式软件的硬件环境进行仿真,包括处理器、外设、总线等;其次,基于数字化仿真平台实现嵌入式软件开发和测试,包括代码迭代开发、单元测试、配置项测试、运行监测等;最后,构建嵌入式DevOps工作流,将数字化仿真环境作为基础设施集成到DevOps的工具链条中,实现嵌入式软件的自动化编译构建、自动化部署、自动化测试、测试结果采集等。本发明提升了嵌入式软件的开发效率,保证了软件质量,降低了研制成本和周期。
-
公开(公告)号:CN116149624B
公开(公告)日:2023-09-26
申请号:CN202310185399.4
申请日:2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于扩展Lustre语言的模型度量方法,属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树,通过可视化建模可生成工程对应的模型结构树;设计了预定义的度量元,包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面,并根据度量元设计了度量元数据字典;根据不同的度量元设计不同的度量值计算方式;在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块,并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量,该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元,针对不同的度量元设计了不同的度量值计算方式,最终实现了在OnModel建模平台中应用模型度量,并展示度量结果。
-
公开(公告)号:CN115964033B
公开(公告)日:2023-09-26
申请号:CN202310084136.4
申请日:2023-01-16
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于模型的可视化软件开发工具实现方法,属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel,本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束;以Vue3作为基础开发框架,通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面;之后生成模型所对应的Lustre代码作为中间语言文件;最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义,实现了从基于模型软件设计到可执行代码生成全过程。
-
公开(公告)号:CN115242490B
公开(公告)日:2023-09-26
申请号:CN202210851377.2
申请日:2022-07-19
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种可信环境下群密钥安全分发方法和系统,属于群组安全领域。本发明设计了一种两次广播密钥分发协议,通过第一次广播通信,以实现普通节点的本地认证,使非法节点的密钥更新基础数据自动删除,无法进一步计算新的群组通信密钥。然后设计了基于软件可信分发的群组密钥分发系统,通过密钥分发处理服务端软件和软件密钥分发处理客户端软件实现两次广播密钥分发协议,同时通过可信机制,确保节点认证与密钥更新的有效执行、群组密钥更新基础数据的安全保密。该发明为每个节点预置了不同的群组通信密钥更新基础数据,且只需要两次广播即完成了群组密钥的安全分发,再结合可信机制,在传输安全的基础上实现节点上群组密钥更新处理的安全。
-
-
-
-
-
-
-
-
-