张清
- 作品数:27 被引量:9H指数:2
- 供职机构:北京京航计算通讯研究所更多>>
- 发文基金:国家自然科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 一种可重用仿真接口模型的生成系统
- 本发明涉及一种可重用仿真接口模型的生成系统,属于可编程逻辑器件软件的测试与验证领域。所述系统包括:所述信息获取模块用于获取外部接口器件手册信息,将所述信息输出至参数提取模块;所述参数提取模块依据输入信息,分析并提取可扩展...
- 张清陈朋安鹏伟刘伟陈盼王嬴超赵常邢海波张玉晓刘义
- 基于模块化激励模型的集成电路测试激励生成方法
- 本发明属于集成电路测试技术领域,具体涉及一种基于模块化激励模型的集成电路测试激励生成方法。本发明应用时间轴配置方法产生与测试用例对应的任务点,通过配置任务点,形成包含激励模型的激励文件,实现激励信号的生成。并使任务点对应...
- 郑金艳张清李思陈朋刘军李娜安鹏伟魏伟波赵常张依漪张骢季微微李昂高晓琼洪楠
- 文献传递
- 应用时间轴配置方式实现FPGA软件仿真任务调度的方法
- 本发明属于FPGA软件仿真测试技术领域,具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现,以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上,...
- 郑金艳张清陈朋安鹏伟刘伟魏伟波孙文靖康建涛高晓琼张依漪孟琪张骢陈盼季微微李昂马培培李志刚王赢超李春静王莹
- 文献传递
- 应用时间轴配置方式实现FPGA软件仿真任务调度的方法
- 本发明属于FPGA软件仿真测试技术领域,具体涉及一种应用时间轴配置方式实现FPGA软件仿真任务调度的方法。本发明将FPGA软件测试用例以任务调度的方式进行实现,以任务点的方式对任务调度进行配置。其中任务点布置在坐标轴上,...
- 郑金艳张清陈朋安鹏伟刘伟魏伟波孙文靖康建涛高晓琼张依漪孟琪张骢陈盼季微微李昂马培培李志刚王赢超李春静王莹
- 基于序列模式匹配的API误用缺陷检测方法
- 本发明属于软件缺陷检测领域,具体涉及一种基于序列模式匹配的API误用缺陷检测方法。本发明不分析API使用规约,而是根据已经发现的API误用缺陷实例,结合补丁文件中缺陷修复前后的代码信息,刻画API误用模式,然后在目标被测...
- 李晓伟曾杰贲可荣洪楠孙文靖张清杨洋李慧君张献郑金艳
- 文献传递
- 一种基于故障模式的软件设计缺陷核查方法及系统
- 本发明涉及一种基于故障模式的软件设计缺陷核查方法及系统,方法包括:根据软件系统中各配置项软件执行任务的具体方式,得到各配置项软件的功能模式;获取与软件系统相关软件的历史缺陷数据,经过数据处理后,建立故障数据集合;结合各配...
- 王莹洪楠张清柴振达韩晓晶吕俊巧巩胜楠
- 文献传递
- 基于北斗的定位装置硬件设计被引量:3
- 2021年
- 针对飞行器、船舶等大型设备的位置定位问题,设计了一种大功率、定位精度高、可长时间工作的定位装置.该定位装置主要由北斗模块、主控模块、电源模块和AD采集模块四部分组成.北斗模块基于北斗二号导航系统进行定位,内部集成RDSS和RNSS两种导航服务,且北斗模块内含10 W的功率放大器,提高了通信的可靠性和安全性.电源模块内有大容量电池供电,能够支持装置长时间工作,且装置内部含有充电电路,可以重复为装置进行充电,还可以连接外部供电直接对装置进行供电.AD采集模块可对锂电池电压进行精确采集,以实现对电池电压的实时监测.此外,定位装置还具有体积小、实时性强、可适用性强和携带轻便的特点.
- 郭竹森张会新张清金丽生
- 基于Bayes的军用软件质量度量系统
- 本发明属于软件测评相关技术领域,具体涉及一种基于Bayes的军用软件质量度量系统,其基于国军标《GJB5236‑2004军用软件质量度量》所规定的质量模型,并利用人工智能理论中Bayes的推理网络,提出了一种基于Baye...
- 刘伟李晓伟安鹏伟祝宇陈朋张清王莹李春静季微微刘义
- 文献传递
- 基于序列模式匹配的API误用缺陷检测系统
- 本发明属于软件缺陷检测领域,具体涉及一种基于序列模式匹配的API误用缺陷检测系统。本发明不分析API使用规约,而是根据已经发现的API误用缺陷实例,结合补丁文件中缺陷修复前后的代码信息,刻画API误用模式,然后在目标被测...
- 孙文靖李晓伟曾杰贲可荣苏建敏洪楠张清杨洋李春静王赢超
- 文献传递
- 一种基于FPGA的步进电机速度控制方法
- 本发明实施例公开的一种基于FPGA的步进电机速度控制方法,涉及步进电机速度控制技术领域,能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X=|A1-A0|...
- 李卓朱琳张国宇陈朋孟伟张哲郑金艳王栋李丽华张清彭鸣杨源姚可成冯耿宋文康建涛赵菲吕方雷盛凯南曾丽婷王巍
- 文献传递