魏雪菲
- 作品数：7 被引量：5H指数：1
- 供职机构：中航工业西安航空计算技术研究所更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种机载网络链路层的完整性保证算法
- 提高民用飞机的安全性一直是航空事业的重要研究方向，其评价指标包括整个系统中各个组件的完整性是否能满足系统要求。针对机载网络链路层，通过分析系统安全性需求对其分配的完整性指标，提出一套满足该组件完整性需求的算法。该算法将无...
- 魏雪菲于峰王红春邱征
- 关键词：安全性完整性链路层校验算法
- 时间触发以太网通信机制研究
- 在分析时间触发以太网和ARINC653分区操作系统功能特征的基础上，本文介绍了653系统与时间触发以太网的集成方式；并结合可容错的时钟同步协议，详细阐述了基于分区操作系统的时间触发网络分区的配置方法及其通信机制。
- 于峰魏雪菲李雯王红春
- 关键词：TTE分区操作系统
- 一种机载网络链路层的完整性保证算法
- 提高民用飞机的安全性一直是航空事业的重要研究方向,其评价指标包括整个系统中各个组件的完整性是否能满足系统要求。针对机载网络链路层,通过分析系统安全性需求对其分配的完整性指标,提出一套满足该组件完整性需求的算法。该算法将无...
- 魏雪菲于峰王红春邱征
- 关键词：安全性完整性链路层校验算法
- 文献传递
- 分布式综合化航空电子网络拓扑优化技术被引量：4
- 2019年
- 针对分布式综合化(DIMA)架构下实时动态消息流和网络资源能力,优化航空数据和通信网络(AD-CN)拓扑问题,提出一种基于业务拓扑、网络拓扑以及延迟、线缆约束下的多目标网络拓扑优化算法。该算法能够基于驻留任务的信号、逻辑连接、物理连接关系,在资源约束下优化机载网络拓扑。算法通过组合优化方法计算折中全局最优解集(Pareto最优)。对于大规模机载网络架构优化,为了减少计算规模和提高计算时间,又提出一种预计算路径算法。算法通过类A320机载网络拓扑场景和类A380机载网络拓扑场景进行验证。结果表明,相比手动功能映射和网络拓扑优化设计,优化效率能提高10%~30%。
- 邱征魏雪菲王世奎
- 关键词：拓扑优化多目标优化
- 一种可扩展的C代码静态分析方法研究
- 2012年
- 为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可扩展的计算树逻辑公式库,同时将被检测代码转化成为程序控制流图,并将该图抽象为等价的Kripke结构;依据Kripke结构模型,使用NuSMV工具验证公式库中的公式是否满足代码检查的要求;最后采用GCC编译平台提供静态检查的实验结果。该方法可以找到代码中用户事先配置的错误模式,消除代码隐患。
- 余亚刚邱征魏雪菲
- 时间触发以太网通信机制研究
- 在分析时间触发以太网和ARINC653分区操作系统功能特征的基础上,本文介绍了653系统与时间触发以太网的集成方式;并结合可容错的时钟同步协议,详细阐述了基于分区操作系统的时间触发网络分区的配置方法及其通信机制。
- 于峰魏雪菲李雯王红春
- 关键词：TTE分区操作系统
- 文献传递
- 时间触发网络分区同步方法研究被引量：1
- 2019年
- 在时间触发网络达到网络时间同步的基础上,使得主机分区与网络时间同步,从而达到不同主机分区之间的时间同步。算法分为两步,初始化对齐用于寻找主机MTF与网络群周期的对齐点,周期再同步通过微调同步分区时长来同步主机分区与网络时间。基于OPNET平台对该算法进行仿真验证,结果表明,在亚微秒级网络同步精度下,该算法能够达到十微秒级的分区同步效果。
- 魏雪菲邱征
- 关键词：时间同步
