-
公开(公告)号：CN116010279A
公开(公告)日：2023-04-25
申请号：CN202310082373.7
申请日：2023-01-17
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G06F11/36
Abstract: 本发明公开一种基于嵌入式设备Web服务关联信息的模糊测试方法及系统，该方法包括：提取嵌入式设备Web服务关联信息，包括数据流关键字及敏感函数调用路径；通过嵌入式设备Web服务前端管理接口并利用数据流关键字构造测试用例对嵌入式设备Web服务进行测试，同时监测识别到的敏感函数调用路径，通过动态程序插桩方法实现对嵌入式设备Web服务中数据交互和隐式调用的精准监控，避免无效测试。本发明利用静态分析与动态执行相结合的思路，将静态分析阶段获取的嵌入式设备Web服务关联信息应用于动态的针对嵌入式设备Web服务模糊测试中，避免盲目且无意义的测试分析，进而实现在嵌入式设备Web服务上测试时漏洞挖掘效率的提升。
-
公开(公告)号：CN114650163A
公开(公告)日：2022-06-21
申请号：CN202210073509.3
申请日：2022-01-21
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明属于网络空间安全测试技术领域，特别涉及一种面向有状态网络协议的模糊测试方法及系统，依据待测协议格式规范从语法和语义维度提取协议规则，并构建规则集；利用规则集中的规则生成报文测试模板，并利用报文标签标记报文测试模板中变异操作相关字段；通过对报文测试模板进行解析并依据报文标签执行对应变异操作来获取用于通过引导待测协议状态转移来完成模糊测试的测试报文；将测试报文发送至待测协议目标程序，依据回复报文状态进行模糊测试中的状态异常判定。本发明能够提高测试报文合法性，避免因对特殊字段变异导致程序校验失败情形，不仅可将测试报文用于测试，还可用于代替辅助报文引导协议状态转移，提升测试效率，节约系统资源。
-
公开(公告)号：CN108828983B
公开(公告)日：2020-09-29
申请号：CN201810565590.0
申请日：2018-06-04
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G05B19/04
Abstract: 本发明属于用电器供电管理技术领域，特别是涉及一种用电器自动供电系统，包括输入设备、用电器、控制中心和供电设备，所述输入设备与用电器通过无线网连接，所述用电器与控制中心通过无线网连接，所述控制中心与供电设备通过无线网连接，所述供电设备与用电器电连接。本发明的一种用电器自动供电方法，包括建立用电器与供电设备的匹配关系，并将匹配关系传输到控制中心；输入设备向用电器发送打开申请指令或者关闭申请指令；用电器向控制中心申请与其匹配的供电设备提供交流电源或者断开交流电源；控制中心发送指令让相应的供电设备接通交流电源或者断开交流电源。本发明改变用电器的供电方式，节约能源，提高用电器使用的安全性。
-
公开(公告)号：CN117664133A
公开(公告)日：2024-03-08
申请号：CN202311651914.X
申请日：2023-12-04
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G01C21/20 , G01C21/30 , G01C21/34 , G06Q10/047
Abstract: 本发明提供一种基于改进Q‑learnming算法的自动路径规划方法。该方法包括：获取目标区域的栅格地图，在栅格地图中指定起点节点和终点节点，并根据栅格地图的规模大小和栅格地图中的障碍物节点所占比例，计算栅格地图的迭代临界值；针对非障碍物且非终点节点的当前节点，根据该当前节点与终点节点的距离远近关系初始化栅格地图对应的Q值表；移动机器人根据当前状态使用ε‑acc‑increasing策略选择动作并执行；使用Q值更新规则动态更新Q值表，以减小与终点节点距离较远的节点的Q值；重复执行以上的两个步骤对移动机器人进行训练，直至达到停止条件；分析当前的Q值表，对于每个状态，选择具有最高Q值的动作作为最优动作，从而形成最终的路径规划策略。
-
Patent Agency Ranking
公开(公告)号：CN115587318A
公开(公告)日：2023-01-10
申请号：CN202211302051.0
申请日：2022-10-24
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明提供一种基于神经网络的源码分类方法。该方法包括：将待分类源码转换为AST；定义并初始化整个AST叶子节点对应的向量矩阵，记作从AST中随机抽取n条路径{p1,…,pn}；针对抽取到的任一条路径pi，可将其转换为二元组 ；从value_vocab中分别查询到当前路径pi上起始节点和末端节点的向量，进而得到当前路径pi的向量ci，记作：ci作为全连接神经网络中的一个神经元的输入，得到对应的输出n条路径{p1,…,pn}对应的n个向量{c1,…,cn}输入到含有n个神经元的全连接神经网络后，得到n个输出将所有的输出聚合为代码嵌入v；定义一个类别标签矩阵，记作将代码嵌入v与tags_vocab中每一个训练函数标签的嵌入进行运算后得到代码嵌入v的预测分布。
-
公开(公告)号：CN115097750A
公开(公告)日：2022-09-23
申请号：CN202210652190.X
申请日：2022-06-10
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G05B19/042
Abstract: 本发明属于线上硬件实验教学领域，特别涉及一种线上硬件实验透明化配置方法及系统，用于核心控制板与外围模块之间的硬件配置，通过互联网建立用户端上位机与实验室配置服务器之间的远程连接关系；用户端利用上位机生成核心控制板与外围模块之间连接关系，并将该连接关系上传至实验室中的配置服务器；配置服务器依据核心控制板与外围模块之间连接关系生成连接关系表，并依据连接关系表确定FPGA开发板管脚使用情况来自动生成FPGA开发板的电路逻辑配置文件及管脚约束文件；根据电路逻辑配置文件及管脚约束文件，通过调用FPGA开发工具对FPGA开发板进行自动化配置。本发明能够实现远程实验平台的灵活、透明化配置，提升线上硬件实验的效果，达到线上硬件实验目的，便于实际场景应用。
-
公开(公告)号：CN115097750B
公开(公告)日：2024-08-06
申请号：CN202210652190.X
申请日：2022-06-10
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G05B19/042
Abstract: 本发明属于线上硬件实验教学领域，特别涉及一种线上硬件实验透明化配置方法及系统，用于核心控制板与外围模块之间的硬件配置，通过互联网建立用户端上位机与实验室配置服务器之间的远程连接关系；用户端利用上位机生成核心控制板与外围模块之间连接关系，并将该连接关系上传至实验室中的配置服务器；配置服务器依据核心控制板与外围模块之间连接关系生成连接关系表，并依据连接关系表确定FPGA开发板管脚使用情况来自动生成FPGA开发板的电路逻辑配置文件及管脚约束文件；根据电路逻辑配置文件及管脚约束文件，通过调用FPGA开发工具对FPGA开发板进行自动化配置。本发明能够实现远程实验平台的灵活、透明化配置，提升线上硬件实验的效果，达到线上硬件实验目的，便于实际场景应用。
-
公开(公告)号：CN114650163B
公开(公告)日：2023-08-22
申请号：CN202210073509.3
申请日：2022-01-21
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明属于网络空间安全测试技术领域，特别涉及一种面向有状态网络协议的模糊测试方法及系统，依据待测协议格式规范从语法和语义维度提取协议规则，并构建规则集；利用规则集中的规则生成报文测试模板，并利用报文标签标记报文测试模板中变异操作相关字段；通过对报文测试模板进行解析并依据报文标签执行对应变异操作来获取用于通过引导待测协议状态转移来完成模糊测试的测试报文；将测试报文发送至待测协议目标程序，依据回复报文状态进行模糊测试中的状态异常判定。本发明能够提高测试报文合法性，避免因对特殊字段变异导致程序校验失败情形，不仅可将测试报文用于测试，还可用于代替辅助报文引导协议状态转移，提升测试效率，节约系统资源。
-
公开(公告)号：CN108828983A
公开(公告)日：2018-11-16
申请号：CN201810565590.0
申请日：2018-06-04
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G05B19/04
CPC classification number: G05B19/04
Abstract: 本发明属于用电器供电管理技术领域，特别是涉及一种用电器自动供电系统，包括输入设备、用电器、控制中心和供电设备，所述输入设备与用电器通过无线网连接，所述用电器与控制中心通过无线网连接，所述控制中心与供电设备通过无线网连接，所述供电设备与用电器电连接。本发明的一种用电器自动供电方法，包括建立用电器与供电设备的匹配关系，并将匹配关系传输到控制中心；输入设备向用电器发送打开申请指令或者关闭申请指令；用电器向控制中心申请与其匹配的供电设备提供交流电源或者断开交流电源；控制中心发送指令让相应的供电设备接通交流电源或者断开交流电源。本发明改变用电器的供电方式，节约能源，提高用电器使用的安全性。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.03 seconds)
