魏雪菲

作品数：3被引量：6H指数：1
导出分析报告
供职机构：中航工业西安航空计算技术研究所更多>>
发文主题：时间触发以太网通信TTE安全性分区操作系统更多>>
发文领域：自动化与计算机技术航空宇航科学技术更多>>
发文期刊：《科技风》《火力与指挥控制》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式综合化航空电子网络拓扑优化技术被引量：5
《火力与指挥控制》2019年第10期101-106,112,共7页邱征 魏雪菲 王世奎 
针对分布式综合化(DIMA)架构下实时动态消息流和网络资源能力,优化航空数据和通信网络(AD-CN)拓扑问题,提出一种基于业务拓扑、网络拓扑以及延迟、线缆约束下的多目标网络拓扑优化算法。该算法能够基于驻留任务的信号、逻辑连接、物理...
关键词：分布式综合化 拓扑优化 多目标优化 航空电子网络 
时间触发网络分区同步方法研究被引量：1
《信息通信》2019年第5期28-30,共3页魏雪菲 邱征 
在时间触发网络达到网络时间同步的基础上,使得主机分区与网络时间同步,从而达到不同主机分区之间的时间同步。算法分为两步,初始化对齐用于寻找主机MTF与网络群周期的对齐点,周期再同步通过微调同步分区时长来同步主机分区与网络时间...
关键词：时间触发网络 时间同步 分区同步 初始化对齐 周期再同步 
一种可扩展的C代码静态分析方法研究
《科技风》2012年第14期13-16,共4页余亚刚 邱征 魏雪菲 
为降低软件工程项目的开发风险和后期维护成本,本文提出一种模型检验的可扩展C代码静态检查方法。该方法将C代码常见错误归纳为可扩展的计算树逻辑公式库,同时将被检测代码转化成为程序控制流图,并将该图抽象为等价的Kripke结构;依据Kri...
关键词：计算树逻辑(CTL) 程序控制流图(CFG) 代码静态分析 错误模式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部