检索结果-维普期刊中文期刊服务平台

基于QEMU仿真的GIC中断处理技术研究被引量：1: 1; 作者王宁王珍珍崔西宁《民用飞机设计与研究》 2023年第4期141-145,共5页; QEMU6.1.0版本下,基于ARM体系架构开发的VIRT模拟器,在运行天脉操作系统时无法正确触发GIC中断控制器产生中断的问题,分析了VIRT模拟器对于GIC中断控制器的初始化以及触发操作,同时查阅了GIC中断控制器的相关说明文档,进一步分析天脉操... 展开更多; 关键词 QEMU仿真 GIC中断控制器天脉操作系统 VIRT模拟器; 在线阅读下载PDF 职称材料

面向可信的航空嵌入式软件开发方法框架: 2; 作者牛文生李亚晖吴际《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第12期1577-1581,共5页; 针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,... 展开更多; 关键词软件可信性航空嵌入式软件模型化设计组件化设计; 在线阅读下载PDF 职称材料

基于PPC8270的BSP开发与实现: 3; 作者徐宁《现代电子技术》 2011年第12期96-99,共4页; 为了驱动基于PPC8270的底层硬件环境,达到为操作系统提供稳定运行环境和标准软件接口的目的,通过对PPC8270内部寄存器的基本结构、内部存储空间映射和BSP软件的研究,以及目标机硬件环境初始化和硬件驱动的开发,完成了基于PPC8270的BSP... 展开更多; 关键词 PPC8270 BSP 硬件驱动程序底层硬件; 在线阅读下载PDF 职称材料

一种三维影像测量仪的设计方法: 4; 作者邓云昌王雷 +1 位作者李林陈亚洲《数字技术与应用》 2022年第1期164-166,共3页; 机械加工零件制造后,需要对复杂产品的各种尺寸进行精密测量以及划痕检测,以保证后道工序的装配制造要求。传统的人工测量方式效率低、准确度差,无法满足大规模生产需要。因此需要设计一种三维影像测量仪对产品进行自动化测量,以保证产... 展开更多; 关键词影像测量仪自动化测量后道工序人工测量精密测量划痕检测装配制造产品质量; 在线阅读下载PDF 职称材料

题名基于QEMU仿真的GIC中断处理技术研究被引量：1: 1; 作者王宁王珍珍崔西宁; 机构中国航空工业集团公司西安计算技术研究所; 出处《民用飞机设计与研究》 2023年第4期141-145,共5页; 文摘 QEMU6.1.0版本下,基于ARM体系架构开发的VIRT模拟器,在运行天脉操作系统时无法正确触发GIC中断控制器产生中断的问题,分析了VIRT模拟器对于GIC中断控制器的初始化以及触发操作,同时查阅了GIC中断控制器的相关说明文档,进一步分析天脉操作系统中有关中断控制器的初始化代码,找出了VIRT模拟器与天脉操作系统在GIC中断控制器初始化和使用方式上的具体差异。通过修改VIRT模拟器中与GIC中断控制器相关的代码完成对天脉操作系统的适应。在不改动天脉操作系统代码的情况下,顺利将VIRT模拟器模拟的GIC中断控制器驱动运行成功。; 关键词 QEMU仿真 GIC中断控制器天脉操作系统 VIRT模拟器; Keywords QEMU emulation generic interrupt controller TianMai operating system VIRT emulator; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名面向可信的航空嵌入式软件开发方法框架: 2; 作者牛文生李亚晖吴际; 机构中国航空工业集团公司计算技术研究所北京航空航天大学计算机学院; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第12期1577-1581,共5页; 基金航空科学基金资助项目(2010ZC31002); 文摘针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.; 关键词软件可信性航空嵌入式软件模型化设计组件化设计; Keywords software dependability embedded aviation software model-based design component-based design; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于PPC8270的BSP开发与实现: 3; 作者徐宁; 机构中国航空工业集团公司西安计算技术研究所; 出处《现代电子技术》 2011年第12期96-99,共4页; 基金航空科学基金(20080531005); 文摘为了驱动基于PPC8270的底层硬件环境,达到为操作系统提供稳定运行环境和标准软件接口的目的,通过对PPC8270内部寄存器的基本结构、内部存储空间映射和BSP软件的研究,以及目标机硬件环境初始化和硬件驱动的开发,完成了基于PPC8270的BSP软件开发。经过操作系统运行试验证明,该BSP软件很好地实现了其中间层软件的功能,达到了预定的开发目的。; 关键词 PPC8270 BSP 硬件驱动程序底层硬件; Keywords PPC8270 BSP hardware driver hardware; 分类号 TN911-34 [电子电信—通信与信息系统] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种三维影像测量仪的设计方法: 4; 作者邓云昌王雷李林陈亚洲; 机构中国航空工业集团公司西安计算技术研究所; 出处《数字技术与应用》 2022年第1期164-166,共3页; 文摘机械加工零件制造后,需要对复杂产品的各种尺寸进行精密测量以及划痕检测,以保证后道工序的装配制造要求。传统的人工测量方式效率低、准确度差,无法满足大规模生产需要。因此需要设计一种三维影像测量仪对产品进行自动化测量,以保证产品质量和生产效率。; 关键词影像测量仪自动化测量后道工序人工测量精密测量划痕检测装配制造产品质量; 分类号 P62 [天文地球—地质矿产勘探]; 在线阅读下载PDF 职称材料