-
公开(公告)号：CN109032934B
公开(公告)日：2021-07-02
申请号：CN201810749749.4
申请日：2018-07-10
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种FPGA/IP核逻辑代码安全规则检测方法，涉及FPGA/IP核验证技术领域。本发明根据所设计的自定义安全规则检测条款和现有商业条款相结合，在自定义安全规则检测条款增加并实现了FPGA状态机死锁、内部三态等规则条款，提高了FPGA代码的质量；删减根本不适用于FPGA的可测试性设计的规则、电气特性检测等规则，有效的降低了无效警示规则条款。
-
公开(公告)号：CN109032934A
公开(公告)日：2018-12-18
申请号：CN201810749749.4
申请日：2018-07-10
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
CPC classification number: G06F11/3604
Abstract: 本发明涉及一种FPGA/IP核逻辑代码安全规则检测方法，涉及FPGA/IP核验证技术领域。本发明根据所设计的自定义安全规则检测条款和现有商业条款相结合，在自定义安全规则检测条款增加并实现了FPGA状态机死锁、内部三态等规则条款，提高了FPGA代码的质量；删减根本不适用于FPGA的可测试性设计的规则、电气特性检测等规则，有效的降低了无效警示规则条款。
-
公开(公告)号：CN106802848A
公开(公告)日：2017-06-06
申请号：CN201611187712.4
申请日：2016-12-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/26
CPC classification number: G06F11/261 , G06F11/26
Abstract: 本发明公开了一种寄存器传输级N模冗余设计的半自动化验证方法，包括：对n模冗余的待验证平台的寄存器的输出进行检查；接收待验证平台的寄存器1‑n的输出值，判断寄存器1‑n的输出值是否相等，如相等则此步验证通过；定义二进制数值data；每个系统时钟给data的最低位加1，将data的n位的每一位分别赋给寄存器1‑n，待验证平台根据每个系统时钟的上升沿的寄存器1‑n的值，在每个系统时钟的下降沿，输出投票输出结果；在每个系统时钟，计算所有寄存器值为1和0的寄存器的数量，如寄存器值为1的寄存器较多，则a＝1，如寄存器值为0的寄存器较多，则令a＝0；检查待验证平台的投票输出结果是否等于a，数量最多的取值，如等于，则本步验证通过。
-
公开(公告)号：CN109086202A
公开(公告)日：2018-12-25
申请号：CN201810796986.6
申请日：2018-07-19
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于关联规则的FPGA/IP核代码规则检查方法，涉及FPGA/IP核验证技术领域。本发明的方法效率高、自动化程度高。测试人员在使用代码规则检查工具针对代码完成初步的规则检查，得到违反工具内部语法规则的检查结果之后，即可利用自动化的数据分析脚本与关联规则进行匹配，对检查结果进行分析，给出代码存在缺陷情况的判断，而不需要人工对每一条工具结果进行详细的分析、判断。本发明的方法可靠性好。代码规则检查过程依赖于代码规则检查工具以及已确认的代码缺陷数据，仅在最后一步经过测试人员的人工确认，尽可能避免引入人为操作，有效减少了因测试人员水平有限、精力不足等人为因素导致的缺陷误报、漏报情况，得到更可靠的代码规则检查结果。
-
公开(公告)号：CN109086202B
公开(公告)日：2021-05-14
申请号：CN201810796986.6
申请日：2018-07-19
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于关联规则的FPGA/IP核代码规则检查方法，涉及FPGA/IP核验证技术领域。本发明的方法效率高、自动化程度高。测试人员在使用代码规则检查工具针对代码完成初步的规则检查，得到违反工具内部语法规则的检查结果之后，即可利用自动化的数据分析脚本与关联规则进行匹配，对检查结果进行分析，给出代码存在缺陷情况的判断，而不需要人工对每一条工具结果进行详细的分析、判断。本发明的方法可靠性好。代码规则检查过程依赖于代码规则检查工具以及已确认的代码缺陷数据，仅在最后一步经过测试人员的人工确认，尽可能避免引入人为操作，有效减少了因测试人员水平有限、精力不足等人为因素导致的缺陷误报、漏报情况，得到更可靠的代码规则检查结果。
-
Patent Agency Ranking
公开(公告)号：CN106802848B
公开(公告)日：2019-06-18
申请号：CN201611187712.4
申请日：2016-12-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/26
Abstract: 本发明公开了一种寄存器传输级N模冗余设计的半自动化验证方法，包括：对n模冗余的待验证平台的寄存器的输出进行检查；接收待验证平台的寄存器1‑n的输出值，判断寄存器1‑n的输出值是否相等，如相等则此步验证通过；定义二进制数值data；每个系统时钟给data的最低位加1，将data的n位的每一位分别赋给寄存器1‑n，待验证平台根据每个系统时钟的上升沿的寄存器1‑n的值，在每个系统时钟的下降沿，输出投票输出结果；在每个系统时钟，计算所有寄存器值为1和0的寄存器的数量，如寄存器值为1的寄存器较多，则a＝1，如寄存器值为0的寄存器较多，则令a＝0；检查待验证平台的投票输出结果是否等于a，数量最多的取值，如等于，则本步验证通过。
-
公开(公告)号：CN103905748A
公开(公告)日：2014-07-02
申请号：CN201210587091.4
申请日：2012-12-28
Applicant: 北京计算机技术及应用研究所 , 北京航天爱威电子技术有限公司
Inventor： 苏威积 , 钟松延 , 吕英 , 全春来 , 申屠燕东 , 范雄涛 , 王雅云 , 谢小权 , 申世光 , 袁晓光 , 叶东升 , 王清理 , 任强 , 黄敏君 , 陈攀 , 裴彦杰 , 何毅 , 白松 , 林秀春 , 赵薇 , 董博 , 徐学淼 , 张力 , 杜丽 , 孟飞 , 张春杰 , 黄传鹤
IPC: H04N5/374 , H04N5/365 , H04N5/3745 , H04N5/378 , H01L27/146
Abstract: 本发明公开了一种三维架构的超高清CMOS图像传感器像素电路及其控制方法，该像素电路包括感光元件、传感节点、传输晶体管、复位晶体管、选择晶体管、第一浮置扩散放大器、第二浮置扩散放大器、第一采样电容、第二采样电容、第一开关晶体管、第二开关晶体管。所述第二浮置扩散放大器对第二采样电容中的电压进行采样得到第一采样信号、第二采样信号，由模数转换电路对第一采样信号、第二采样信号进行相关双采样处理，得到图像信号。本发明在超高清CMOS图像传感器中低噪实现总体快门并实现图像信号高速转换和传输。
-
公开(公告)号：CN103902960A
公开(公告)日：2014-07-02
申请号：CN201210587549.6
申请日：2012-12-28
Applicant: 北京计算机技术及应用研究所 , 北京航天爱威电子技术有限公司
Inventor： 陈攀 , 徐学淼 , 苏威积 , 肖鹏 , 吕英 , 申屠燕东 , 范雄涛 , 王雅云 , 谢小权 , 申世光 , 袁晓光 , 叶东升 , 王清理 , 任强 , 裴彦杰 , 何毅 , 白松 , 林秀春 , 钟松延 , 赵薇 , 董博 , 黄敏君 , 张力 , 杜丽 , 孟飞 , 张春杰 , 黄传鹤
Abstract: 本发明公开了一种实时人脸识别系统及其方法，其中该系统包括：预处理子模块，用于获取视频图像，并对该视频图像进行预处理，以增强视频图像的对比度；人脸定位子模块，用于从预处理后的所述视频图像中获取正面人脸图像；人脸识别子模块，用于提取正面人脸图像中的特征，并将该特征与目标人脸库中的人脸特征进行比较，获取相似度。为了提高人脸定位子模块中人脸检测与人脸跟踪的性能和速度，本发明对人脸识别文件的训练过程和人脸跟踪过程均作了优化改进，可满足大多数情况下人脸识别的实时性要求。
-
公开(公告)号：CN113688053B
公开(公告)日：2023-07-28
申请号：CN202111017596.2
申请日：2021-09-01
Applicant: 北京计算机技术及应用研究所 , 航天中认软件测评科技(北京)有限责任公司
IPC: G06F11/36
Abstract: 本发明涉及一种云化测试工具的排队使用方法和系统，属于云测试领域。本发明获取任务信息，包括测试任务优先级、任务的基本信息和任务提交时间；根据获取的任务优先级，对任务进行升序排序，对于优先级相同的任务，再根据任务等待时间进行二次降序排序；系统根据一定的频率不断更新各任务的等待时间，并且每当新任务到来或任务执行结束时，更新任务队列和等待时间；对比排在任务队列第一位的任务和云化测试工具正在执行的任务的优先级大小和等待时间大小，根据不同的优先级大小和等待时间大小采取不同的工具使用方法。本发明降低重要用户等待使用测试工具的时间成本，降低测试任务的平均等待时间，增加任务公平性，提高云测试和众测的效率。
-
公开(公告)号：CN103873818A
公开(公告)日：2014-06-18
申请号：CN201210539438.8
申请日：2012-12-13
Applicant: 北京计算机技术及应用研究所 , 北京航天爱威电子技术有限公司
Inventor： 裴彦杰 , 张力 , 苏威积 , 肖鹏 , 吕英 , 申屠燕东 , 范雄涛 , 王雅云 , 谢小权 , 申世光 , 袁晓光 , 叶东升 , 王清理 , 任强 , 陈攀 , 何毅 , 白松 , 林秀春 , 黄敏君 , 钟松延 , 赵薇 , 董博 , 徐学淼 , 杜丽 , 孟飞 , 张春杰 , 黄传鹤
IPC: H04N7/18
Abstract: 本发明公开了一种智能监控摄像机的通用子系统及其智能处理方法，该通用子系统包括：标清信号输入模块，用于接收所述智能监控摄像机传输的视频信号；视频解码模块，连接所述标清信号输入模块，用于对所述视频信号进行解码，得到视频帧数据；以及数据处理模块，连接所述视频解码模块，用于根据所述视频帧数据进行分析处理，得到处理结果，并将所述处理结果反馈给所述智能监控摄像机。本发明可在摄像机前端完成智能分析功能，有效地解决在后台服务器端完成智能分析的滞后性。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.027 seconds)
