-
公开(公告)号：CN114384559B
公开(公告)日：2022-07-08
申请号：CN202210297545.8
申请日：2022-03-25
申请人： 军事科学院系统工程研究院网络信息研究所
摘要： 本发明提出一种基于空时自适应抗干扰算法的信号处理方法和系统。方法包括：获取多元天线阵输出的用于导航定位的射频信号，利用模拟下变频模块的多通道射频前端对射频信号进行下变频处理，从而得到模拟中频信号，并将模拟中频信号发送至自适应抗干扰处理器；自适应抗干扰处理器对接收到的模拟中频信号进行模数转换以获取数字中频信号，基于数字中频信号和本地载波正交两路信号来生成无失真基带信号，并进一步估计无失真基带信号的复共轭对称的协方差矩阵；自适应抗干扰处理器基于复共轭对称的协方差矩阵求解用于过滤干扰噪声的最优权重系数，将最优权重系数与无失真基带信号的实部做内积运算，以获取经干扰抑制的输出信号。
-
公开(公告)号：CN114356642B
公开(公告)日：2022-05-17
申请号：CN202210234572.0
申请日：2022-03-11
申请人： 军事科学院系统工程研究院网络信息研究所
摘要： 本发明提出一种基于流程挖掘的异常事件自动诊断方法和系统。所述方法包括：步骤S1、基于历史正常离散事件序列，利用流程发现技术来构建工作流模型库；步骤S2、获取异常事件序列，利用经训练的无监督聚类算法预测所述异常事件序列的所属类别，并基于所述所属类别从所述工作流模型库中选取与所述所属类别对应的工作流模型；步骤S3、基于所述异常事件序列和选取的所述工作流模型，利用一致性检查方法确定所述异常事件序列中的缺失事件、额外事件、以及所述缺失事件和所述额外事件在所述异常事件序列中的位置，作为对所述异常事件序列的诊断结果。
-
公开(公告)号：CN114384559A
公开(公告)日：2022-04-22
申请号：CN202210297545.8
申请日：2022-03-25
申请人： 军事科学院系统工程研究院网络信息研究所
摘要： 本发明提出一种基于空时自适应抗干扰算法的信号处理方法和系统。方法包括：获取多元天线阵输出的用于导航定位的射频信号，利用模拟下变频模块的多通道射频前端对射频信号进行下变频处理，从而得到模拟中频信号，并将模拟中频信号发送至自适应抗干扰处理器；自适应抗干扰处理器对接收到的模拟中频信号进行模数转换以获取数字中频信号，基于数字中频信号和本地载波正交两路信号来生成无失真基带信号，并进一步估计无失真基带信号的复共轭对称的协方差矩阵；自适应抗干扰处理器基于复共轭对称的协方差矩阵求解用于过滤干扰噪声的最优权重系数，将最优权重系数与无失真基带信号的实部做内积运算，以获取经干扰抑制的输出信号。
-
公开(公告)号：CN113839969A
公开(公告)日：2021-12-24
申请号：CN202111427310.8
申请日：2021-11-29
申请人： 军事科学院系统工程研究院网络信息研究所
摘要： 本发明提出一种双向认证的网络管理协议方法和系统。步骤S1、设备接入双向认证；步骤S2、控制操作的双向认证：设备网管向被管理设备下发配置数据、启用/关闭端口、终端的报文采用步骤S1中的协商的密钥进行加密传输；步骤S3、测试操作的双向认证：设备网管向被管理设备发送测试命令或者是被管理设备向网管系统返回的测试结果的报文，采用步骤S1中的协商的密钥进行加密传输；步骤S4、查询操作的双向认证：设备网管从被管理设备获取状态、配置、性能数据的报文，采用步骤S1协商的密钥进行加密传输；步骤S5、主报操作的双向认证：被管理设备主动向设备网管上报事件或消息的报文，采用步骤S1协商的密钥进行加密传输。
-
公开(公告)号：CN113255701A
公开(公告)日：2021-08-13
申请号：CN202110700741.0
申请日：2021-06-24
申请人： 军事科学院系统工程研究院网络信息研究所
摘要： 本发明提出一种基于绝对‑相对学习架构的小样本学习方法和系统，包括：调用表征提取模块，对训练集中的各个图像样本进行表征提取，以获得各个图像样本的特征向量；调用绝对学习模块，对各个图像样本的特征向量进行训练，以确定各个图像样本基于类别的第一预测结果和基于语义的第二预测结果；将每两个图像样本的特征向量组合成一组样本特征对，将每一组样本特征对中的两个特征向量拼接为一组合成向量；调用相对学习模块，对样本特征对进行训练，以确定每一组样本特征对中的两个特征向量基于类别的第一相似度和基于语义的第二相似度；根据第一预测结果、第二预测结果、第一相似度、第二相似度来计算模型的损失函数，以完成对模型的训练。
-
公开(公告)号：CN115687165B
公开(公告)日：2023-05-05
申请号：CN202310009946.3
申请日：2023-01-05
申请人： 军事科学院系统工程研究院网络信息研究所
IPC分类号： G06F11/36
摘要： 本发明公开了一种需求层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：基于所述操作系统的需求文档提取操作系统的功能点，通过构建状态机模型对所述功能点的需求进行形式化描述，得到所述操作系统需求的形式化模型；获取用户自定义的功能安全需求的自然语言描述，通过构造不变式对所述功能安全需求进行形式化描述，得到功能安全模型；对所述操作系统形式化模型在执行过程中是否满足所述不变式进行验证，以验证所述操作系统是否符合所述功能安全模型。本发明提高了验证的效率，并较全面地对操作系统进行了功能安全性的验证。
-
公开(公告)号：CN115687166A
公开(公告)日：2023-02-03
申请号：CN202310009947.8
申请日：2023-01-05
申请人： 军事科学院系统工程研究院网络信息研究所
IPC分类号： G06F11/36
摘要： 本发明公开了一种形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：在Isabelle环境中执行如下操作：构建以状态机表示的操作系统的基本执行模型；根据基本执行模型，使用元语言对所述操作系统的功能点需求进行描述，得到操作系统的需求形式化规范，并进行正确性进行验证；使用状态单子描述操作系统的数据结构及算法流程，得到操作系统的设计形式化规范，并对设计符合性进行验证；采用Simpl语言描述操作系统的源代码，以得到操作系统的源代码形式化规范；利用Simpl霍尔逻辑进行正确性及符合性进行验证。本发明具有较高的通用性，便于自动化实现，可应用于各类安全关键领域的操作系统验证。
-
公开(公告)号：CN114356743A
公开(公告)日：2022-04-15
申请号：CN202210234545.3
申请日：2022-03-11
申请人： 军事科学院系统工程研究院网络信息研究所
摘要： 本发明提出一种基于序列重建的异常事件自动检测方法和系统。所述方法包括：步骤S1、利用预定义的事件模板，从多源日志中确定离散事件序列，所述离散事件序列由同一用户的多个事件日志按照时间顺序拼接而成；步骤S2、对所述离散事件序列进行拆分处理来获取若干原始子序列，并通过对所述若干原始子序列进行特征嵌入，进一步获取无监督检测模型的输入子序列，所述无监督检测模型包括LSTM编码器、变分组件和LSTM解码器，用于基于所述输入子序列生成所述离散事件序列的重建子序列；步骤S3、基于所述原始子序列和所述离散事件序列的重建子序列，利用评判准则来判断所述多个事件的异常属性。
-
公开(公告)号：CN114356642A
公开(公告)日：2022-04-15
申请号：CN202210234572.0
申请日：2022-03-11
申请人： 军事科学院系统工程研究院网络信息研究所
摘要： 本发明提出一种基于流程挖掘的异常事件自动诊断方法和系统。所述方法包括：步骤S1、基于历史正常离散事件序列，利用流程发现技术来构建工作流模型库；步骤S2、获取异常事件序列，利用经训练的无监督聚类算法预测所述异常事件序列的所属类别，并基于所述所属类别从所述工作流模型库中选取与所述所属类别对应的工作流模型；步骤S3、基于所述异常事件序列和选取的所述工作流模型，利用一致性检查方法确定所述异常事件序列中的缺失事件、额外事件、以及所述缺失事件和所述额外事件在所述异常事件序列中的位置，作为对所述异常事件序列的诊断结果。
-
公开(公告)号：CN114338628A
公开(公告)日：2022-04-12
申请号：CN202210260755.X
申请日：2022-03-17
申请人： 军事科学院系统工程研究院网络信息研究所
摘要： 本发明提出一种基于联邦架构的嵌套元学习方法和系统。所述方法包括：从N个客户端中选取m1个客户端，m1个客户端分别基于各自的本地数据和当前状态下的全局模型参数，来训练m1个客户端各自的本地模型参数，N和m1均为正整数且N≥m1；中心服务器根据接收到的m1个客户端的本地模型参数来更新全局模型参数；从N个客户端中选取m2个客户端，m2个客户端分别基于各自的本地数据和经更新后的全局模型参数，来确定m2个客户端各自的全局子任务并计算全局子任务经学习目标函数产生的参数梯度，m2为正整数且N≥m2；中心服务器根据接收到的m2个客户端的全局子任务的参数梯度来调节经更新的全局模型参数。
-
-
-
-
-
-
-
-
-
搜索结果
42 条记录 (耗时 0.044 秒)
