张磊

作品数：29被引量：84H指数：5
导出分析报告
供职机构：西安航空计算技术研究所更多>>
发文主题：容错航空电子系统嵌入式操作系统光纤通道仲裁环更多>>
发文领域：自动化与计算机技术航空宇航科学技术理学更多>>
发文期刊：《航空计算技术》《电脑编程技巧与维护》《数字技术与应用》《航空科学技术》更多>>
所获基金：中国航空科学基金航天科技创新基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向航电产品的自动测试系统演进路线分析
《航空计算技术》2024年第1期92-94,98,共4页张军才 张磊 李碧涵 
系统装备预研基础类项目资助(31511030101)。
自动测试系统在航电产品测试中的作用越来越重要,各利益相关方需深刻认识自动测试系统演进路线,以便统筹进行技术规划和管理优化。从航电产品的测试出发,识别重点需要自动测试的场景,并定义系统演进进程的主要评估维度;综合权衡技术发...
关键词：航电产品 航电测试 自动测试系统 演进路线 
开放式综合化图像处理系统的设计与实现
《航空计算技术》2023年第6期96-99,共4页詹思维 强凯 樊超 张磊 
装备预研基础类项目资助(31511030101)。
为全面提升嵌入式图像处理系统的性能、集成度、扩展性和抗干扰性,基于国产芯片和天脉3操作系统,采用开放式综合化系统架构、高低速混合通信网络和新一代高性能航空视频数字总线标准,设计了全国产化开放式综合化图像处理系统。实现二/...
关键词：数字地图 视频处理 开放式 综合化 ARINC664 ARINC818 
基于平面约束人工势场的无人机航迹规划算法被引量：2
《航空科学技术》2023年第8期68-76,共9页高璕 张磊 胡高歌 杨子江 高兵兵 
航空科学基金(20200019053003,20181953021);陕西省重点研发计划项目(2023-YBGY-375);深圳市科技计划(JCYJ20210324121602008)。
航迹规划是实现无人机自主导航飞行的关键。针对人工势场法应用于无人机航迹规划时出现的规划失败、实用性不强的问题,本文提出一种基于平面约束人工势场的航迹规划算法。首先,利用约束平面切割障碍物,简化了障碍物的分布。其次,构建航...
关键词：无人机 航迹规划 人工势场法 避障 额外控制力法 
远程信息查询命令程序生成系统设计
《信息技术与信息化》2023年第3期45-48,共4页林卓 孙景昌 张磊 
为用户提供目标机端的远程信息浏览功能,是嵌入式开发环境功能的重要组成部分。为了实现此功能,开发环境通过发送信息查询命令程序到目标机端,获得远程系统对象信息数据流,组织目标机端应答数据并将其展现给用户,从而实现远程系统浏览...
关键词：程序自动生成 信息查询 命令规则 交叉调试 嵌入式软件 
一种实时系统可调度性分析工具设计
《信息技术与信息化》2023年第3期181-184,共4页孙景昌 高雅濛 张磊 
面对航空电子系统高度综合化、模块化的要求,在系统设计中广泛采用符合ARINC653规范的分区系统模型。规范中要求系统采用分区间、分区内的两层调度结构,而在多分区、多任务、强实时性的复杂系统中,系统设计者难以在运行前判定系统的可...
关键词：综合化 实时系统 ARINC653 多分区 可调度性分析 
基于XSLT的配置数据生成方法研究
《电脑编程技巧与维护》2023年第3期76-78,共3页李晓龙 林卓 张磊 
传统嵌入式操作系统配置数据生成目标机可加载数据,一般采用与功能代码联编的方法,并且每个用户的配置数据并未隔离,任意一项配置数据的更改都需要整个系统的重新编译、生成、加载,这种配置数据生成方式极大地降低了嵌入式系统升级迭代...
关键词：ARINC653标准 XSLT工具 配置数据生成 嵌入式系统配置 独立编译 
嵌入式操作系统初始化代码执行提速方法被引量：1
《信息技术与信息化》2021年第7期87-89,共3页陈程 张磊 杨静远 
针对某项目上遇到的初始化代码执行效率问题,提出了初始化代码执行速度的瓶颈是代码的搬家操作,并在此基础上分析了高速缓冲存储器以及存储管理单元的原理以及对初始化代码执行速度的影响;然后提出了嵌入式操作系统初始化代码执行提速...
关键词：嵌入式操作系统 初始化 提速 
ARINC653实时系统可调度性验证综述
《信息技术与信息化》2021年第6期25-27,共3页雷煜靓 胡宁 张磊 
工信部民机科研(MJ-2017-S-39)。
ARINC653标准规定了综合模块化航电(integrated modular avionics,IMA)系统的两级调度模式,随着系统规模的增大,IMA系统可调度性验证工作的复杂度越来越高。对IMA系统可调度性验证方法进行了分析,总结了近年来主要的三类ARINC653实时系...
关键词：ARINC653 可调度性验证 数学证明 仿真验证 模型检验 
一种基于QEMU的仿真技术被引量：4
《信息技术与信息化》2021年第4期81-82,共2页张磊 杨静远 李晓龙 
针对嵌入式操作系统开发过程中软硬件错误难定位、软件周期时间长的问题,提出一种基于开源仿真平台QEMU的仿真器设计方法。根据嵌入式处理器的功能特点和QEMU支持的硬件设备仿真和跨平台异构体系结构指令级仿真的特性,设计并实现了一个...
关键词：嵌入式 仿真平台 QEMU 异构 
一种分区操作系统周期进程小周期补偿策略
《信息技术与信息化》2021年第3期160-162,共3页杨静远 仝敏 张磊 
分析了原有ARINC653分区操作系统在进程周期小于系统定期器最小Tick的情况下使用的一些局限性,通过分析分区操作系统分区调度原则、周期进程使用原则和周期进程控制的原理,提出了一种在ARINC653分区操作系统下周期进程的小周期补偿控制...
关键词：嵌入式操作系统 分区操作系统 分区设计 周期进程 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部