-
公开(公告)号：CN109460362A
公开(公告)日：2019-03-12
申请号：CN201811314437.7
申请日：2018-11-06
Applicant: 北京京航计算通讯研究所
IPC: G06F11/36
Abstract: 本发明属于软件工程技术领域，具体涉及一种基于细粒度特征语义网络的系统接口时序知识分析系统，其包括：构建嵌入式系统测试故障集；在嵌入式系统测试故障集中搜索接口关键问题，分析提取与时序相关的故障，初步形成时序相关的接口故障集；在嵌入式系统测试故障集中搜索与时序关键的故障，分析提取与接口相关的故障，形成接口相关的时序故障集；两个故障集合并形成接口时序故障集；根据时序故障库中的故障类型，利用基于细粒度特征语义网络的方法，提取接口时序关键影响因素，形成嵌入式系统接口时序知识集。由此得到的嵌入式系统接口时序知识可实现测试知识的继承，且具有可扩展性，便于测试知识的推送，提升测试效率。
-
公开(公告)号：CN106887982B
公开(公告)日：2019-01-22
申请号：CN201510939836.2
申请日：2015-12-15
Applicant: 北京京航计算通讯研究所
Inventor： 李卓 , 朱琳 , 张国宇 , 陈朋 , 孟伟 , 张哲 , 郑金艳 , 王栋 , 李丽华 , 张清 , 彭鸣 , 杨源 , 姚可成 , 冯耿 , 宋文 , 康建涛 , 赵菲 , 吕方雷 , 盛凯南 , 曾丽婷 , 王巍
IPC: 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时，控制结束，转动停止，主要用于步进电机速度控制。
-
公开(公告)号：CN105893200A
公开(公告)日：2016-08-24
申请号：CN201410558566.6
申请日：2014-10-21
Applicant: 北京京航计算通讯研究所
IPC: G06F11/26
Abstract: 本发明属于一种电子硬件测试方法，具体涉及一种基于模型替换的FPGA中blackbox的等效性检查方法。它包括，使用逻辑等效性检查工具formalpro比对FPGA程序原始设计和综合后网表中逻辑的一致性，找到模型结构发生变化的blackbox器件；分析网表中不匹配blackbox器件的端口连接关系，计算其中的未连接端口连线和常置0或1的无效端口连线个数；将网表中多个blackbox器件合并成与原始设计中一致的单个blackbox器件，端口位数与原设计一致；删除网表中模型替换后器件的多余端口连线；修改网表中器件端口名称，与原始设计保持一致。其优点是：建立与设计代码端口名称一致的模型，使逻辑等效性检查工具通过器件端口名称自动完成匹配，有效提高逻辑等效性检查的效率。
-
公开(公告)号：CN116795685A
公开(公告)日：2023-09-22
申请号：CN202310280811.0
申请日：2023-03-21
Applicant: 北京京航计算通讯研究所 , 北京深维科技有限公司
IPC: G06F11/36 , G06F8/41 , G06F30/33 , G06F30/327
Abstract: 本发明涉及一种Verilog代码缺陷检测方法和系统，属于FPGA测试领域。本发明的方法和系统基于缺陷检测需求和原始Verilog代码，得到待检测Verilog代码；描述Verilog保留字、结构、变量名称分别与CST标签/标签组的对应关系，描述Verilog变量名称与LLHD变量名称的对应关系，描述CST表达中的键值对与LLHD表达式的对应关系；基于上述各对应关系，将待检测Verilog代码转换为CST表达和LLHD表达；基于缺陷检测需求分别编写对应CST表达和/或LLHD表达的缺陷检测函数进行缺陷检测，可以检测出Verilog代码缺陷，并确定缺陷所在的Verilog代码行。本发明通过将Verilog代码转换为具象语法树CST表达和底层硬件描述LLHD表达两种中间表示，实现了Verilog代码中的语义级缺陷的检测，并且实现了缺陷检测规则的定制。
-
公开(公告)号：CN102854801A
公开(公告)日：2013-01-02
申请号：CN201210358760.0
申请日：2012-09-25
Applicant: 北京京航计算通讯研究所
Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及一种基于分时复用的大数据量FPGA仿真测试方法，目的是为了解决大数据量FPGA仿真测试内存不足的问题，为了提高大数据量FPGA仿真测试的充分性。该方法包括减少仿真测试所使用的内存资源至仿真工具允许的容量围内的步骤；根据内存资源大小将需要测试的RAM数据分为若干部分的步骤；采用分时复用方式，分别对划分出的若干个RAM数据部分进行测试的步骤；在分时复用时，采用动态管理内存的方法，动态计算当前仿真测试所需要的系统内存空间并对内存进行分配和释放的步骤。
-
Patent Agency Ranking
公开(公告)号：CN109409130A
公开(公告)日：2019-03-01
申请号：CN201811293271.5
申请日：2018-11-01
Applicant: 北京京航计算通讯研究所
Inventor： 李卓 , 王颖 , 刘军 , 王黎 , 朱琳 , 韩旭东 , 寇科男 , 王栋 , 张国宇 , 杨楠 , 双世勇 , 孟伟 , 宋悦 , 何占博 , 高飞 , 闫丛 , 张晛 , 吴少雪 , 赵东升 , 李艳军
Abstract: 本发明属于电子文件传递共享过程中的电子文件签署技术领域，具体涉及一种用于非网络环境下的电子文件签署系统，其中Hash运算模块对电子文件进行Hash运算，产生相应电子文件的摘要值，并保存为文件，保存摘要值的文件共享给其他用户；秘钥生成模块根据非对称加密算法生成包含和用户信息互相绑定的用户私钥和公钥，用户私钥和公钥共享给其他用户；所述签署模块将所述摘要值和签署意见以及其他可选信息组合后通过非对称加密算法使用用户私钥进行加密，生成签署文件，分享给其他用户。该系统能在非网络环境下使用移动存储介质进行数据传输，对于多方达成一致意见的文件，能够防止文件被篡改，对于各当事人的意见形成签署，防止事后抵赖。
-
公开(公告)号：CN106508031B
公开(公告)日：2014-04-02
申请号：CN201110012677.3
申请日：2011-09-09
Applicant: 北京京航计算通讯研究所
IPC: G06F17/50
Abstract: 本发明属于可编程逻辑器件测试技术领域，本发明的目的是为了解决FPGA安全性测试需求不足的问题，同时为了提高FPGA测试需求覆盖的充分性和优先级确定的准确性。本发明采用的技术方案为：1)从开发文档、技术文件、芯片手册文档中获取被测FPGA的信息；2)对FPGA工作系统进行定义；3)进行故障模式影响分析；4)进行危害性分析，根据用户需求，也可不进行危害性分析，直接转步骤5)；5)确定FPGA工作系统安全性测试需求项。本发明提供的分析方法提高了FPGA测试需求覆盖的充分性和完整性以及测试类型的充分性和完整性。
-
公开(公告)号：CN103530207A
公开(公告)日：2014-01-22
申请号：CN201310435975.2
申请日：2013-09-24
Applicant: 北京京航计算通讯研究所
IPC: G06F11/18
Abstract: 本发明属于一种三模冗余措施的验证方法，包括以下步骤：生成经过三模冗余措施的综合后的FPGA网表文件，并选取经过三模冗余措施的关键寄存器的输入-输出；将三模冗余情况分为有效和失效的情况进行考虑；对所有的经过三模冗余措施的寄存器进行输入-输出结构选择并重复步骤(1)～步骤(2)，直至所有的寄存器三模冗余有效性的情况均得到验证；根据6种情况分别在门级仿真和时序仿真情况下进行三模冗余措施的有效性验证。其优点是，可以选定关键寄存器进行验证，最终测试结果可判断预测且可观测；既可以模拟实际情况，又可以模拟多种环境条件下的所有情况，可以准确验证三模冗余措施的有效性；验证时间短，操作简单。
-
公开(公告)号：CN112231004B
公开(公告)日：2022-06-17
申请号：CN202011120256.8
申请日：2020-10-19
Applicant: 北京京航计算通讯研究所
IPC: G06F9/4401 , G06F9/451 , H04L67/025 , H04L67/08
Abstract: 本发明属于云桌面技术领域，具体涉及一种云桌面终端USB重定向系统。高安全云桌面终端因缺少操作系统而不能成功构建USB重定向通道和对USB重定向协议进行解析，进而无法实现USB设备重定向，导致用户接入的USB设备无法被识别和正常使用。与现有技术相比较，本发明提出一种高安全云桌面终端USB重定向系统，所述系统包括：云桌面终端、物理USB设备、以及服务器端的用户虚拟化桌面；所述系统有效解决了无操作系统的高安全云桌面终端的USB设备重定向及安全接入使用问题，为其在部队、军工企业等信息安全要求较高场所的推广应用提供了技术保障。
-
公开(公告)号：CN112231004A
公开(公告)日：2021-01-15
申请号：CN202011120256.8
申请日：2020-10-19
Applicant: 北京京航计算通讯研究所
IPC: G06F9/4401 , G06F9/451 , H04L29/08
Abstract: 本发明属于云桌面技术领域，具体涉及一种云桌面终端USB重定向系统。高安全云桌面终端因缺少操作系统而不能成功构建USB重定向通道和对USB重定向协议进行解析，进而无法实现USB设备重定向，导致用户接入的USB设备无法被识别和正常使用。与现有技术相比较，本发明提出一种高安全云桌面终端USB重定向系统，所述系统包括：云桌面终端、物理USB设备、以及服务器端的用户虚拟化桌面；所述系统有效解决了无操作系统的高安全云桌面终端的USB设备重定向及安全接入使用问题，为其在部队、军工企业等信息安全要求较高场所的推广应用提供了技术保障。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.047 seconds)
