-
公开(公告)号：CN110716873A
公开(公告)日：2020-01-21
申请号：CN201910903233.5
申请日：2019-09-24
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种硬件兼容性知识库构建方法，涉及硬件兼容性测试技术领域。本发明基于对驱动模块在操作系统中运行的原理以及操作系统内核导出信息的分析，总结了硬件的驱动模块运行在操作系统上所需的依赖要素，创建硬件兼容性知识库并在知识库中添加内核信息、运行依赖要素信息的知识项；通过在硬件设备运行过程中对其驱动模块的运行过程进行监控，得到其驱动模块的接口调用信息并存入知识库，形成设备信息、驱动模块、内核版本信息、接口调用信息的知识项。该方法能够为国产操作系统的硬件兼容性提供测试手段以及必要的测试信息，实现国产操作系统升级后在没有硬件设备的情况下进行硬件兼容性测试，有利于推动国产操作系统的兼容性测试技术发展。
-
公开(公告)号：CN106293641A
公开(公告)日：2017-01-04
申请号：CN201610601844.0
申请日：2016-07-27
Applicant: 北京计算机技术及应用研究所
CPC classification number: G06F9/3853 , G06F9/45508
Abstract: 本发明公开了一种基于流水线重构的VLIW体系架构性能模拟方法，其中，包括：第一步：E3节拍模拟；第二步：E2节拍模拟；第三步：E1节拍模拟；第四步：DC节拍模拟；第五步：DP节拍模拟；第六步：PR节拍模拟；第七步：PW节拍模拟；第八步：PS节拍模拟；第九步：PG节拍模拟。本发明基于流水线重构的超长指令字体系架构性能模拟方法，对VLIW体系结构影响流水线模拟的各个因素进行抽象和分析，基于延迟槽结构的流水线推进，能够实现VLIW体系结构流水线的模拟和精确的周期计算，为设备时钟精确的仿真模型提供理论依据和具体实现方法。
-
公开(公告)号：CN120029620A
公开(公告)日：2025-05-23
申请号：CN202510187515.5
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于OpenGL的嵌入式人机界面代码生成方法，属于代码自动生成领域。本发明onModel工具中的人机界面代码模型存储为XML格式的文件，本发明提供将模型文件自动生成C代码的一种方法，包括：使用XML解析器对文件进行解析，将模型数据划分成不同模块；根据不同模块数据，调用代码生成函数，生成代码；调用适配层接口，完成代码生成。本发明的生成方法能够将onModel工具中的人机界面模型生成基于OpenGL的图形渲染C代码。由于OpenGL具有跨平台特性，因此，生成的C代码能够应用到任意目标平台，减少代码重复性编写。
-
公开(公告)号：CN120029615A
公开(公告)日：2025-05-23
申请号：CN202510187633.6
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/35 , G06F8/36 , G06F8/72 , G06F8/76 , G05B19/042
Abstract: 本发明涉及一种基于模版的AADL平台无关代码生成方法，属于自动代码生成领域。本发明解析器读取AADL模型，提取其中描述的模型元素，包括：系统架构、组件信息、组件间连接以及相关属性，为后续的映射步骤提供必要的数据支持；根据AADL模型和平台无关抽象层的结构与需求，定义两者之间的映射关系；具体包括将AADL模型中涉及的组件类型、连接关系及相关属性与抽象层中对应的元素匹配，以确保抽象层能够完整描述AADL模型的功能及结构；根据第二步中制定的映射规则，将解析出的AADL模型元素逐一转换为抽象层中对应的元素，生成平台无关的抽象层模板代码。本发明提高了代码生成的扩展性和灵活性。
-
公开(公告)号：CN119597276A
公开(公告)日：2025-03-11
申请号：CN202411499068.9
申请日：2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种结合8114准则的同步数据流语言可信翻译方法，属于代码生成领域。本发明通过对Lustre源代码词法、语法分析和翻译等步骤获取Ctemp中间语言的抽象语法树；遍历Ctemp抽象语法树，针对树结构中的语句中控制流语句、赋值语句设计翻译方法；遍历语句中的表达式，设计添加强制转化的翻译方法，确保语句在语义正确的同时，不存在隐式类型转化；扩展了关于Cltype中类型关系的定理，用于验证类型操作；扩展关于Ctemp语义的强制转化和二元操作的定理，实现语义形式化验证。本发明大幅度提升代码生成工具所生成的C代码对GJB 8114规范的满足性。
-
Patent Agency Ranking
公开(公告)号：CN119440514A
公开(公告)日：2025-02-14
申请号：CN202411498655.6
申请日：2024-10-25
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AADL模型的嵌入式操作系统平台相关代码生成方法，属于自动代码生成领域。本发明通过编写算法实现对AADL模型进行遍历获取、解析，设计从AADL模型到嵌入式操作系统代码的映射规则，将模型中所述组件、接口、性能属性及组件间连接信息自动转换为嵌入式操作系统平台代码。本发明的方法不仅能够自动生成代码，降低人工编写的复杂度和不确定性，还能提高代码的可靠性和平台适配性，为航天领域嵌入式系统的开发提供了一个强有力的工具。
-
公开(公告)号：CN119127219A
公开(公告)日：2024-12-13
申请号：CN202411284008.5
申请日：2024-09-13
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军96901部队25分队
Abstract: 本发明涉及一种二进制应用程序兼容运行方法及装置，属于二进制翻译技术领域。本发明的装置包括：源平台二进制应用程序预处理模块、翻译模块、优化模块和目标平台二进制应用程序编译运行模块。源平台二进制应用程序预处理模块，用于对源平台二进制应用程序进行加载和解析；翻译模块，用于对解析后的二进制应用程序进行解码和翻译操作；优化模块，用于优化翻译和运行过程；目标平台二进制应用程序编译运行模块，用于编译运行翻译后的符合目标平台指令集架构的二进制应用程序。本发明的装置运行在目标平台上，能够实现源平台的二进制应用程序兼容运行，并通过多线程和进程上下文切换优化提高二进制应用程序兼容运行效率。
-
公开(公告)号：CN118132430A
公开(公告)日：2024-06-04
申请号：CN202410282211.2
申请日：2024-03-13
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种面向接口测试的嵌入式软件命令帧自动应答方法，属于嵌入式软件接口测试技术领域。该方法通过定义软件交互模型元素及规范，形成软件交互模型文档规范；基于软件交互模型文档规范，配置软件交互模型文档，构建软件交互模型和命令帧应答处理器，完成了嵌入式软件输出请求命令的实时自动应答处理，提高了嵌入式软件测试的有效性和充分性。
-
公开(公告)号：CN116662157B
公开(公告)日：2024-02-02
申请号：CN202310461827.1
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
-
公开(公告)号：CN116414442B
公开(公告)日：2023-12-22
申请号：CN202310403946.1
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Inventor： 耿宏伟 , 刘文波 , 冯大成 , 贾张涛 , 张倩 , 安恒 , 张建伟 , 曾祥勇 , 刘岩 , 杜鑫龙 , 邵飒 , 王磊 , 勉斌 , 夏冰 , 朱朝宁 , 郭含章 , 庞皓明 , 李雅斯
Abstract: 本发明涉及一种基于Drools规则引擎的配置管理变更控制方法，属于软件工程领域。本发明首先，基于Drools规则定义出多套组织级配置管理变更控制的规则；然后，在项目内配置管理计划中，根据项目研制特征，灵活选择合适的组织级配置管理变更控制规则；最后，受控库中配置项依据配置管理计划中所选择的规则，来控制配置项的变更流程。本发明通过Drools可快速解决配置项变更规则的定义，实现线上不停服务器的个性化配置使用，减少停服再启动的人工操作成本，整个过程中降低了配置项变更控制的管理成本，提高了变更效率。
-
-
-
-
-
-
-
-
-
Search Results
73
records
(took 0.046 seconds)
