公开(公告)号：CN109460478A

公开(公告)日：2019-03-12

申请号：CN201811314413.1

申请日：2018-11-06

Applicant: 北京京航计算通讯研究所

Inventor： 王佳佳 ,  李娜 ,  张晛 ,  杨楠 ,  王颖 ,  唱明旭 ,  张依漪 ,  王栋

IPC: G06F16/36 ,  G06N5/02 ,  G06F11/36

Abstract: 本发明属于软件工程技术领域，具体涉及一种基于细粒度特征语义网络的系统接口时序知识分析方法，其包括：构建嵌入式系统测试故障集；在嵌入式系统测试故障集中搜索接口关键问题，分析提取与时序相关的故障，初步形成时序相关的接口故障集；在嵌入式系统测试故障集中搜索与时序关键的故障，分析提取与接口相关的故障，形成接口相关的时序故障集；两个故障集合并形成接口时序故障集；根据时序故障库中的故障类型，利用基于细粒度特征语义网络的方法，提取接口时序关键影响因素，形成嵌入式系统接口时序知识集。由此得到的嵌入式系统接口时序知识可实现测试知识的继承，且具有可扩展性，便于测试知识的推送，提升测试效率。

公开(公告)号：CN109388973A

公开(公告)日：2019-02-26

申请号：CN201811293269.8

申请日：2018-11-01

Applicant: 北京京航计算通讯研究所

Inventor： 李卓 ,  王颖 ,  刘军 ,  王黎 ,  朱琳 ,  韩旭东 ,  寇科男 ,  王栋 ,  张国宇 ,  杨楠 ,  双世勇 ,  孟伟 ,  宋悦 ,  何占博 ,  高飞 ,  闫丛 ,  张晛 ,  吴少雪 ,  赵东升 ,  李艳军

IPC: G06F21/64

Abstract: 本发明属于电子文件传递共享过程中的电子文件签署技术领域，具体涉及一种用于非网络环境下的电子文件签署方法，其中Hash运算模块对电子文件进行Hash运算，产生相应电子文件的摘要值，并保存为文件，保存摘要值的文件共享给其他用户；秘钥生成模块根据非对称加密算法生成包含和用户信息互相绑定的用户私钥和公钥，用户私钥和公钥共享给其他用户；所述签署模块将所述摘要值和签署意见以及其他可选信息组合后通过非对称加密算法使用用户私钥进行加密，生成签署文件，分享给其他用户。该方法能在非网络环境下使用移动存储介质进行数据传输，对于多方达成一致意见的文件，能够防止文件被篡改，对于各当事人的意见形成签署，防止事后抵赖。

公开(公告)号：CN102789227A

公开(公告)日：2012-11-21

申请号：CN201210271600.2

申请日：2012-08-02

Applicant: 北京京航计算通讯研究所

Inventor： 郑金艳 ,  刘军 ,  张津荣 ,  于林宇 ,  李昆 ,  刘伟 ,  王栋 ,  杨楠 ,  张国宇 ,  彭鸣 ,  张清 ,  李丽华 ,  陈朋 ,  毕文敬

IPC: G05B23/02

Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及基于覆盖率统计的可编程逻辑器件仿真测试方法。目的是为了解决目前可编程逻辑器件仿真测试存在无法保证测试充分性的问题。该方法使用DUT和Testbench文件进行覆盖率评估，对被测试可编程逻辑器件开展测试需求分析，分解出测试项和测试子项，并确定仿真测试类型为功能仿真测试；当不满足语句覆盖率和分支覆盖率评估时，分析未覆盖的原因，进一步完善测试平台并分析相关影响域，若满足覆盖率评估，则测试完成。该方法通过对仿真测试后的语句覆盖率和分支覆盖率进行分析，可有效确认出可编程逻辑器件测试的充分性。本方法有效提升了可编程逻辑器件仿真测试技术水平，对提升可编程逻辑器件质量具有重要的意义。

公开(公告)号：CN112256389A

公开(公告)日：2021-01-22

申请号：CN202011120245.X

申请日：2020-10-19

Applicant: 北京京航计算通讯研究所

Inventor： 赵东升 ,  于润泽 ,  刘军 ,  张国宇 ,  双世勇 ,  蒋甜 ,  王颖 ,  王栋

IPC: G06F9/455 ,  G06F13/10

Abstract: 本发明属于云桌面技术领域，具体涉及一种云桌面终端USB重定向方法。高安全云桌面终端因缺少操作系统而不能成功构建USB重定向通道和对USB重定向协议进行解析，进而无法实现USB设备重定向，导致用户接入的USB设备无法被识别和正常使用。与现有技术相比较，本发明提出一种高安全云桌面终端USB重定向方法，所述方法基于云桌面终端USB重定向系统来实施，所述系统包括：云桌面终端、物理USB设备、以及服务器端的用户虚拟化桌面；所述方法有效解决了无操作系统的高安全云桌面终端的USB设备重定向及安全接入使用问题，为其在部队、军工企业等信息安全要求较高场所的推广应用提供了技术保障。

公开(公告)号：CN106887982A

公开(公告)日：2017-06-23

申请号：CN201510939836.2

申请日：2015-12-15

Applicant: 北京京航计算通讯研究所

Inventor： 李卓 ,  朱琳 ,  张国宇 ,  陈朋 ,  孟伟 ,  张哲 ,  郑金艳 ,  王栋 ,  李丽华 ,  张清 ,  彭鸣 ,  杨源 ,  姚可成 ,  冯耿 ,  宋文 ,  康建涛 ,  赵菲 ,  吕方雷 ,  盛凯南 ,  曾丽婷 ,  王巍

IPC: H02P8/14

CPC classification number: H02P8/14

Abstract: 本发明实施例公开的一种基于FPGA的步进电机速度控制方法，涉及步进电机速度控制技术领域，能够实现在FPGA中使用单一控制结构对步进电机的速度进行控制。该方法计算目标角度值A1与当前角度值A0的步差绝对值X＝|A1－A0|；当步差绝对值0＜X≤M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＜T1，则T＝T+ΔT，若T≥T1，则T＝T，当步差绝对值X＞M时，等待时间T后发出一次转动控制信号，然后X＝X－1，若T＞T2，则T＝T－ΔT，若T≤T2，则T＝T，当X＝0时，控制结束，转动停止，主要用于步进电机速度控制。