何佩 作品数:12 被引量:24 H指数:2 供职机构: 西北工业大学计算机学院 更多>> 发文基金: 中央高校基本科研业务费专项资金 中国航空科学基金 航天支撑技术基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 电气工程 更多>>
基于三角区域定位的室内停车场寻车方法 本发明提供了一种基于三角区域定位的室内停车场寻车方法,构建一个LANDMARC架构的定位系统,所有阅读器进行一次循环扫描,当某一待定位标签被三个阅读器检测到时,记下阅读器对应的二进制串矩阵和读取参考标签的情况,进而选取最... 郭阳明 何佩 吴昊 张佳琦 刘云超 郑亚飞文献传递 基于时序约束动态不确定因果图的间歇性故障诊断方法 本发明公开了一种基于时序约束动态不确定因果图的间歇性故障诊断方法,首先构建航空电子设备的时序约束动态不确定因果图模型,即故障传播模型;然后基于构建的故障传播模型和观测证据进行间歇性故障诊断推理。本发明方法能够根据观测告警... 郭阳明 马琪琪 吴孟桐 王晓东 何佩基于时空混成Petri网的无人机集群行为建模方法 被引量:2 2022年 越来越广泛应用的无人机集群作战在信息化全球新军事变革中受到高度关注,集群一体化建模对作战模式的测试验证具有重要的意义和价值。结合作战场景的建模仿真需求,以异构无人机集群协同作战过程为研究对象,从无人机单体建模入手,在单体作战过程形式化和数学描述的基础上,基于时空混成Petri网描述异构无人机集群系统的离散状态和连续过程,有效解决了集群系统中物理、计算过程的融合问题和交互事件建模问题。选取UPPAAL对无人机集群打击任务建模进行形式化验证,表明所提建模方法可行、有效。 卢楠 王晓东 唐政 何佩关键词:形式化验证 航电系统计算平台多核处理器的DAG可调度性分析优化 2025年 随着高性能的多核处理器在客机航空电子系统中被应用,并且有向无环图(Directed Acyclic Graph,DAG)被用于模型功能依赖,本文研究运行在同构多处理器平台上的单周期非抢占式DAG,致力于减少DAG的完成时间并提供一个紧密而安全的界限,充分利用DAG拓扑节点的两个关键因素:并行性和依赖性.首先,引入了一个并发父子模型(Concurrent Parent and Children Model,CPCM),它精确地捕捉了上述两个因素,并且可以在解析DAG时递归地应用.在CPCM基础上,提出了一种新的调度方法减少最大完工时间,节点按以下顺序排列:1)关键路径;2)关键路径的早期前驱路径;3)更长的路径.其次,提出了一种新的响应时间分析,它为非关键节点的任何执行顺序提供了一个通用的界限,并为固定的执行顺序提供了一个特定的界限.实验表明该可调度性分析方法优于其他方法. 杨欢 王晓东 何佩 何佩 姚红静 刘尊关键词:多核 电力物联网终端存储设备身份认证与数据保护方法研究 被引量:14 2022年 针对电力物联网智能终端与数据中心通信链路低带宽、高延迟的特点,结合泛在物联的网络环境中数据同步和共享的安全需求,以实现通信资源受限情况下尽量减少更新文件传输代价为目标,设计了一种实现轻量级信息动态安全存储与验证的方法,确保了终端存储设备的信息安全。该方法通过动态证明存储技术对数据中心存储密态文件完整性进行验证,并且支持对密态文件的动态修改处理和增量更新。对于修改的文件,仅传输修改部分的数据块到数据中心完成更新,无需重新上传整个文件,有效降低了验证的计算开销和传输的通信开销。 何佩 郑文斌 池晓金 蔡怡挺 姚红静关键词:电力物联网 终端 身份认证 数据保护 安全性 基于能量管理策略的太阳能无人机航迹跟踪控制 被引量:2 2023年 协调高空长航时太阳能无人机的高空作业任务与长期能源利用效率之间的冲突,是无人机控制的核心问题之一。基于太阳能无人机的能量获取、储存与消耗存在紧密的耦合关系,提出了一种综合能量管理策略和航迹跟踪控制的方法。基于建立的太阳能无人机三维质点运动模型、储能电池模型以及太阳能获取模型,根据太阳能无人机的气动参数以及太阳能无人机典型的平飞、爬升、下降等运动过程,设计了太阳能无人机能量管理策略,确定了太阳能无人机在不同飞行阶段能量获取、存储与消耗的分配机制及最优飞行参数;利用重力势能储存多余太阳能,进而进行基于高度调整的能量管理,实现对太阳能无人机在不同光照和能量状态下的纵向跟踪控制。同时,结合太阳能无人机横侧向运动的任务要求,通过对太阳能无人机的质点动力学方程进行解耦,建立了基于反馈线性化方法航迹跟踪控制方法,实现太阳能无人机在横侧向的航迹跟踪控制。24 h时间闭合仿真表明,该方法可满足储能电池的最低能量剩余要求以及航迹跟踪控制要求。 郭林 郭林 李佳钰 何佩 何佩 李清东 郭阳明关键词:太阳能无人机 能量管理策略 反馈线性化 基于三角区域定位的室内停车场寻车方法 本发明提供了一种基于三角区域定位的室内停车场寻车方法,构建一个LANDMARC架构的定位系统,所有阅读器进行一次循环扫描,当某一待定位标签被三个阅读器检测到时,记下阅读器对应的二进制串矩阵和读取参考标签的情况,进而选取最... 郭阳明 何佩 吴昊 张佳琦 刘云超 郑亚飞文献传递 电力系统健康的形式化定义 2021年 面向电力系统智能运维的需求,通过对健康特征的分析,给出了系统健康、预兆、系统能力以及系统健康等级的定义,建立了完整的电力系统健康体系架构。针对系统健康问题的特征,提出了以系统有效性为主导的健康状态管理思路,通过对装备资源健康状态、功能健康状态和任务健康状态的评估,实现系统健康状态等级的划分,并给出了健康状态等级形式化定义。 池晓金 郑文斌 牛伟 陈梦娴 何佩 郭阳明关键词:健康管理 基于最近邻居的区域定位改进算法 被引量:6 2015年 在分析基于RSSI的LANDMARC定位系统及算法的基础上,提出了一种改进三角区域定位方法,消除了远距离不良参考标签对定位精度的影响。同时,在布置有大量阅读器的场合,该法可有效减少计算量。Matlab仿真结果表明,该算法具有更高的定位精度。 马捷中 刘云超 郭阳明 何佩关键词:RFID 基于时序约束动态不确定因果图的间歇性故障诊断方法 本发明公开了一种基于时序约束动态不确定因果图的间歇性故障诊断方法,首先构建航空电子设备的时序约束动态不确定因果图模型,即故障传播模型;然后基于构建的故障传播模型和观测证据进行间歇性故障诊断推理。本发明方法能够根据观测告警... 郭阳明 马琪琪 吴孟桐 王晓东 何佩