“高赛军”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果7个，建议您升级VIP下载更多相关专利

[发明专利]一种面向深度神经网络模型的神经元覆盖统计方法-CN202310755137.7在审
发明人：李耀;申臻;高赛军;刘涛;宋力立 -专利权人：上海航天计算机技术研究所
申请日： 2023-06-26 - 公布日： 2023-10-10 - 主分类号： G06N3/04 文献下载
摘要：本发明公开了一种面向深度神经网络模型的神经元覆盖统计方法，包括步骤1：面向待测试深度神经网络模型，获取有效、统一的数据集以及对应的标签信息；步骤2：修改神经网络模型源码，注册Hook函数，用于获取深度神经网络模型在前向传播过程中每个神经元的激活值；步骤3：将步骤1所整理好的样本数据集和标签输入至步骤2所修改后的深度神经网络模型中并运行，获取神经元激活值数据文件；步骤4：读取步骤3所生成的神经元激活值数据文件，以每一层为单位，统计各个神经元的激活频次；步骤5：根据步骤4所统计的各神经元激活频次，按激活频次降序对神经元进行排序；步骤6：生成神经元激活概率分布数据文件，绘制并展示概率分布曲线图。
一种面向深度神经网络模型神经元覆盖统计方法

[发明专利]基于Keil C51的软件源码和目标码覆盖率分析方法和系统-CN202110120629.X有效
发明人：魏冬冬;申臻;于清华;高赛军;薛垒 -专利权人：上海航天计算机技术研究所
申请日： 2021-01-28 - 公布日： 2023-08-22 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于Keil C51的软件源码和目标码覆盖率分析方法和系统，方法包括：S1：加载包括软件源码、目标码和M51文件在内的信息文件；S2：对所加载的信息文件进行解析，生成软件源码与目标码PC地址关联的对应关系文件；S3：利用Keil平台的软件可执行环境执行测试用例，并通过Keil命令生成当前用例的目标码执行结果文件；在执行多个测试用例时，生成多个目标码执行结果文件；S4：对一个或多个目标码执行结果文件中的目标码的每条指令的执行情况进行合并汇总，生成目标码覆盖率分析文件，并根据对应关系文件，生成软件源码覆盖率分析文件。本发明利用软件源码与目标码的对应关系，即可生成软件源码的覆盖率分析文件，避免插桩带来的目标码差异。
基于 keil c51 软件源码目标覆盖率分析方法系统

[发明专利]一种基于定制规则的嵌入式软件中断缺陷分析方法-CN202310165397.9在审
发明人：魏冬冬;尹龙雯;薛漭潮;高赛军;张风玲 -专利权人：上海航天计算机技术研究所
申请日： 2023-02-24 - 公布日： 2023-07-25 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于定制规则的嵌入式软件中断缺陷分析方法，包括步骤S1：建立嵌入式软件中断缺陷分析的规则知识库，包括可配置的中断源信息识别规则和中断缺陷识别规则；步骤S2：通过嵌入式软件源代码及相关配置文件生成程序语法分析树并根据程序语法分析树进行嵌入式软件的模块和结构分析；步骤S3：根据步骤S1的中断源信息识别规则和步骤S2的软件模块和结构信息，进行中断源信息识别和提取；步骤S4：用户根据识别出的中断源信息和业务需要，从规则知识库中选择待应用的中断缺陷分析规则，结合中断源信息定制新的符合场景需要的中断缺陷识别规则；步骤S5，结合步骤S2～S4的识别信息和规则信息，进行嵌入式软件中断缺陷分析并生成分析报表。
一种基于定制规则嵌入式软件中断缺陷分析方法

[发明专利]自动判读硬件接口生成数字外部设备代码的方法和系统-CN202011121631.0有效
发明人：申臻;宋雷军;魏冬冬;于清华;高赛军 -专利权人：上海航天计算机技术研究所
申请日： 2020-10-19 - 公布日： 2023-06-20 - 主分类号： G06F8/30 文献下载
摘要：本发明提供了一种自动判读硬件接口生成数字外部设备代码的方法和系统，该方法包括：根据被测件与外部设备对应的交互地址信息，确定配置文件；根据配置文件中不同类型的外部设备特征以及汇编码中交互地址的上下文，分析被测件与外部设备交互地址的方向；根据交互地址的方向，识别出不同类型外部设备对应的接口模式；根据不同类型外部设备对应的接口模式，自动生成平台中相应的读写调回函数模板；针对交互地址方向上被测件的读/写数据，分别生成固定格式的输入/输出数据表格。从而可以在被测件数字外部设备测试环境的基础上，减少平台开发过程人工参与度，缩短测试周期，减少测试平台开发引入的程序错误，提高了测试准确性、稳定性。
自动判读硬件接口生成数字外部设备代码方法系统

[发明专利]一种异步多比特信号跨时钟域处理方法及装置-CN202111134680.2在审
发明人：左丽丽;吴维林;于清华;刘国斌;高赛军 -专利权人：上海航天计算机技术研究所
申请日： 2021-09-27 - 公布日： 2021-12-21 - 主分类号： G06F1/12 文献下载
摘要：本发明公开了异步多比特信号跨时钟域处理方法及装置，该方法包括：S100：获取基于第一时钟域的初始信号；S200：将所述第一时钟域下的初始信号依次基于第二时钟域进行一级、二级、三级同步处理，得到同步后基于第二时钟域下的二级同步信号和三级同步信号；S300：将基于所述第二时钟域时序逻辑下的二级同步信号与三级同步信号进行判断，若二级同步信号与三级同步信号的值相等，则输出三级同步信号的值，否则输出值保持上一时刻的值不变。本发明基于对异步多比特信号的三级同步后，对同步后的值进行判断，最终将一个周期的非预期值进行滤除，成功还原了原信号特性。该种方法简单易实现，且占用逻辑资源少。
一种异步比特信号时钟处理方法装置

[发明专利]红外钟形脉冲特征参量提取验证方法及平台-CN202010160021.5有效
发明人：陶艳;薛垒;代晓倩;高赛军;张风玲;叶竹;马海燕 -专利权人：上海航天计算机技术研究所
申请日： 2020-03-09 - 公布日： 2021-09-07 - 主分类号： G01J11/00 文献下载
摘要：本发明提供了一种红外钟形脉冲特征参量提取验证方法及平台，包括：选定和加载信号模板，并绘制红外脉冲信号；根据实验需要设置环境参数；将信号模板和环境参数进行统一管理，生成实验输入数据；提取实验输出数据，生成红外钟形脉冲特征参量提取结果。本发明基于信号模板识别红外钟形脉冲特征参量，可以覆盖多种目标和干扰类型，保证测试场景的复杂多样性；使用有限集合实现红外钟形脉冲特征参量的全面验证；并且通过单次识别特征参量的标准化来实现测试标准化；在保证不变动被测软件的前提下实现动态测试。
红外脉冲特征参量提取验证方法平台

[发明专利]基于多系统协作的合同生成方法和系统-CN202011106751.3在审
发明人：尹龙雯;魏冬冬;于清华;高赛军;祝周荣 -专利权人：上海航天计算机技术研究所
申请日： 2020-10-15 - 公布日： 2021-01-05 - 主分类号： G06Q50/18 文献下载
摘要：本发明提供了一种基于多系统协作的合同生成方法和系统，该方法包括：根据合同类型，从合同管理系统中确定合同模板；根据合同模板，匹配生成对应的合同模板界面，合同模板界面中包括至少一项合同要素；从科研生产管理系统、价格管理系统、供应商管理系统中获取与合同要素相关联的目标内容；将目标内容分别填充至合同模板界面对应的合同要素中，生成预设格式的合同文本。本发明通过提取合同要素，将合同简化为一个标准化的模板，通过关联合同要素与其它实时交互系统实现合同文本的快速填写，同时规避了由于人工输入而导致的各种错误，为合同制作人员提供了一种快速、便捷、安全的合同生成方法。
基于系统协作合同生成方法

1
共 7 条