金志威
- 作品数:19 被引量:9H指数:2
- 供职机构:中国民航大学更多>>
- 发文基金:中央高校基本科研业务费专项资金国家自然科学基金中国民航大学科研启动基金更多>>
- 相关领域:自动化与计算机技术航空宇航科学技术电子电信更多>>
- 基于硬件处理架构的远程数据集中器协议转换方法及设备
- 本发明公开了基于硬件处理架构的远程数据集中器协议转换方法及设备,属于协议转换领域,包括远程数据集中器、协议收发控制器、待发协议数据缓存、待组帧数据缓存、数据预处理模块、波特率控制器、轮询模块、物理层接口。本发明采用上述基...
- 金志威王泽彬
- 用于北斗信号处理复杂运算芯片的快速软错误检测方法
- 一种用于北斗信号处理复杂运算芯片的快速软错误检测方法。其包括构造快速软错误检测电路;获取输出数据;编译规则集;获得比特向量阵列并存储在处理单元中;获得静态随机存储器的地址;然后将理论输出数据和实际输出数据送入数据比较器;...
- 范毓洋李开泰王鹏马振洋金志威
- 基于硬件处理架构的远程数据集中器协议转换方法及设备
- 本发明公开了基于硬件处理架构的远程数据集中器协议转换方法及设备,属于协议转换领域,包括远程数据集中器、协议收发控制器、待发协议数据缓存、待组帧数据缓存、数据预处理模块、波特率控制器、轮询模块、物理层接口。本发明采用上述基...
- 金志威王泽彬
- 一种基于BiLSTM的民航单机组意图建模方法
- 本发明公开了一种基于BiLSTM的民航单机组意图建模方法。步骤如下:由数据处理模块提取未知任务意图的民航单机组与飞行模拟系统交互数据流,采样操作序列,对操作序列进行数据预处理;由数据特征获取模块通过BiLSTM网络对预处...
- 董磊陈泓兵赵长啸金志威张帆
- 用于北斗信号处理复杂运算芯片的快速软错误检测方法
- 一种用于北斗信号处理复杂运算芯片的快速软错误检测方法。其包括构造快速软错误检测电路;获取输出数据;编译规则集;获得比特向量阵列并存储在处理单元中;获得静态随机存储器的地址;然后将理论输出数据和实际输出数据送入数据比较器;...
- 范毓洋李开泰王鹏马振洋金志威
- 增强视景系统形式化安全性分析方法研究被引量:2
- 2019年
- 针对传统方法分析增强视景系统所产生的工作量大、依赖安全性分析人员经验、容易出现疏漏等问题,提出了增强视景系统形式化安全性分析方法,即在分析系统需求和安全性需求基础上,利用形式化分层建模方法建立增强视景系统名义模型和失效模型,并针对典型失效状态进行形式化安全性分析,得出定性和定量安全性分析结论。研究结果表明,所提出的方法能够提高安全性分析效率,可降低安全性分析工作量。
- 董磊荣灝金志威刘成伟
- 基于System Verilog的SRAM控制器IP核验证被引量:3
- 2012年
- 随着硬件设计复杂度的提高,设计的后期验证在设计生命周期中占据的比重也越来越大。能否对设计进行全面有效的验证,是验证人员所面临的主要问题。采用SystemVerilog语言对SRAM控制器IP核搭建验证环境,并结合SVA断言技术对其实行监控,得出代码及功能覆盖率数据。通过与传统的验证方法对比分析可知,基于SystemVerilog的验证方法更加全面有效,提高了验证质量。
- 周德新金志威王鹏赵学娟
- 关键词:SYSTEMVERILOGSVA
- 一种新体制北斗信号无模糊度快速捕获方法、系统及设备
- 本发明公开一种新体制北斗信号无模糊度快速捕获方法、系统及设备,涉及信号处理领域;该方法包括:对获取的数字中频信号进行信号处理,得到处理采样信号;确定本地不同相位的改进导频分量相关系数;基于卫星导航信号三维捕获原理,根据处...
- 王鹏樊易升金志威范毓洋
- 一种面向安全性的AFDX交换机信用动态管理系统及方法
- 一种面向安全性的AFDX交换机信用动态管理系统及方法。系统包括数据接收端口、帧解析单元、虚拟链路配置信息单元、信用计算单元和流量管制单元;每个数据接收端口与一台交换机端口相连接,多个数据接收端口同时与帧解析单元相连接;帧...
- 赵长啸董磊金志威汪克念戴骏
- 一种适用于三模冗余电路的多比特数据跨时钟域同步电路
- 一种适用于三模冗余的多比特数据跨时钟域同步电路。其包括数据/使能信号延长状态机、使能电平同步器、使能判决单元、数据选择输出单元和使能打拍;其中:数据/使能信号延长状态机的数据输出端与数据选择输出单元连接,数据/使能信号延...
- 范毓洋王鹏马振洋金志威邓智
- 文献传递