-
公开(公告)号：CN114172639B
公开(公告)日：2023-06-27
申请号：CN202010950906.5
申请日：2020-09-11
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种基于区块链的量子加密通信方法，包括多个加密通信节点和通信受理平台节点，基于双方通过协商交互和信息后处理提出的错误量子比特，获取同步共享的量子真随机数序列，生成业务处理结果；向区块链发送交易，通过区块链的共识验证后存储于区块链的分布式数据库；多个加密通信节点对区块链上的所有业务结果进行验证，当验证通过后，根据预设的处理步骤生成新的处理结果。本发明通过引入联盟区块链的方式完成联盟链的数据存储可追溯，能够实现整体链上行为的不可篡改，在发现问题节点时能够快速查询和验证，并且整体的联盟链验真后可以对外提供服务，实现了整体的存证和行为记录可追溯，确保了量子加密所有流程的真实性和安全性。
-
公开(公告)号：CN116170748A
公开(公告)日：2023-05-26
申请号：CN202310460170.7
申请日：2023-04-26
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出的基于自主导航守时系统的时空基准分发方法，将高精度自主导航系统和自主守时系统安装在升空平台上，自主导航系统能够起点坐标和进动过程中的惯性量累积确定自身所处位置以及地面各点位置、自主守时系统能够根据起点时间和进动过程中的时间累积实时确定时刻；升空平台在确定自身时空基准的前提下，通过激光通信手段对地面一定范围内的目标发送位置坐标和时间参考，对地面机动目标进行时空基准分发。本发明能够有效结合自主导航授时系统的高精度特性和激光通信的抗电磁干扰特性，将为极端环境下紧急救援提供时间和空间的参考基准。
-
公开(公告)号：CN116170083A
公开(公告)日：2023-05-26
申请号：CN202310460196.1
申请日：2023-04-26
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出的基于高精度量子测量网络的相差归零控制方法，利用量子干涉仪实现多个点位之间的量子干涉，根据量子干涉结果实时确定各点位之间的相位漂移，通过实时补偿相位漂移将所有点位相位差锁定为零，使用该相位作为基准的分布式信息系统即实现了多点位的信号协同。本发明不仅能够作为一种分布式传感手段，实现水坝、桥梁、机场等重点设施的周界安全防护，还能作为一种协同控制手段，为联合光谱成像等分布式信息系统提供相位锁定机制，将量子相位测量的高精度特性让渡到分布式信息系统中，以相位控制精度提升赋能分布式信息系统能力提升，预期将在水文监测、电力监控、气象预警等多领域发挥重要作用。
-
公开(公告)号：CN116170081A
公开(公告)日：2023-05-26
申请号：CN202310459928.5
申请日：2023-04-26
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: H04B10/70 , H04B10/079 , H04L69/08
Abstract: 本发明提出的基于链路感知的量子通信协议自动切换方法，将多种量子通信协议的信号处理光路集成到同一光学平台上，通信双方通过激光建立基本通信手段，根据激光传输后产生的波前畸变确定通信链路的信道状态，根据信道对偏振、相位、路径、模场分布等光学自由度产生的扰动大小选择最优量子通信协议。本发明所述方法不仅适用于自由空间光学信道，还适用于自由空间‑光纤任意切换的混合信道，并可通过超大规模芯片集成光路实现多种量子通信协议的一体化集成，实现多种气象条件下、多种应用场景下量子通信在成码率、稳定性、补偿闭环时间等多参数方面的权衡最优。
-
公开(公告)号：CN116170080A
公开(公告)日：2023-05-26
申请号：CN202310459915.8
申请日：2023-04-26
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明提出的无人机载功能可定义节点量子通信方法，将量子光源、单光子探测器、量子通信编码模块、量子通信解码模块、微型原子钟等设备集成到同一光学系统中，使量子通信信号发送、量子通信信号接收、量子通信光学中继、量子时间同步等功能的实现过程能够使用相同的光学链路和跟瞄系统，根据应用需求在各种功能之间灵活切换。本发明无人机载功能可定义量子通信节点能够为多台套无人机之间建立量子通信光学级和信息级转发机制，由该节点组成的无人机群网络可在多跳量子通信链路、量子通信网络和量子时间同步网络之间自由切换，为无人机集群通信安全、基于无人机的自由空间通信安全、基于无人机的授时等功能奠定坚实基础。
-
Patent Agency Ranking
公开(公告)号：CN113406587B
公开(公告)日：2023-04-21
申请号：CN202110475655.4
申请日：2021-04-29
Applicant: 军事科学院系统工程研究院网络信息研究所 , 四川九洲电器集团有限责任公司
IPC: G01S7/41
Abstract: 一种多雷达航迹融合方法。本发明属于信息技术领域，用于民航空中交通管制系统中的多雷达信号融合处理。本发明优势如下：降低数据计算量，提高结果数据的可靠性，进一步抑制误差，使航迹融合同时满足实时性和精度的需求。融合航迹能更好的表现真实航迹。
-
公开(公告)号：CN115687166B
公开(公告)日：2023-04-07
申请号：CN202310009947.8
申请日：2023-01-05
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F11/36
Abstract: 本发明公开了一种形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：在Isabelle环境中执行如下操作：构建以状态机表示的操作系统的基本执行模型；根据基本执行模型，使用元语言对所述操作系统的功能点需求进行描述，得到操作系统的需求形式化规范，并进行正确性进行验证；使用状态单子描述操作系统的数据结构及算法流程，得到操作系统的设计形式化规范，并对设计符合性进行验证；采用Simpl语言描述操作系统的源代码，以得到操作系统的源代码形式化规范；利用Simpl霍尔逻辑进行正确性及符合性进行验证。本发明具有较高的通用性，便于自动化实现，可应用于各类安全关键领域的操作系统验证。
-
公开(公告)号：CN115827494A
公开(公告)日：2023-03-21
申请号：CN202310024402.4
申请日：2023-01-09
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种设计层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：获取所述操作系统的设计层文档；使用Isabelle元语言对数据结构和状态进行形式化描述；基于经过形式化描述的数据结构和状态，使用状态单子对设计层的算法的函数功能进行形式化描述，以得到设计层功能函数模型；获取操作系统的需求层功能函数模型，对设计层功能函数模型与需求层功能函数模型进行精化验证。本发明实现了操作系统设计层形式化描述的通用性，提高了操作系统设计层形式化验证的效率。
-
公开(公告)号：CN114980035B
公开(公告)日：2023-03-17
申请号：CN202210513612.5
申请日：2022-05-11
Applicant: 军事科学院系统工程研究院网络信息研究所
Abstract: 本发明公开了一种卫星通信应用服务保障系统及实现方法，该方法包括：卫星通信服务保障系统由服务发布软件端、应用服务引擎端、基础服务软件端、应用软件仓库、应用软件开发端、软件仓库客户端组成，为卫星通信用户终端、应用服务开发方提供数据业务发布、运行支撑、浏览、下载和管理功能。本发明的优点为：服务保障系统体系架构具有标准化、集中化特点，能够为用户资源共享、数据存储和数据交换等提供良好的支撑；引入心跳验证时间动态调节策略，保证用户服务质量和用户体验的提升，实现以用户为中心的精细化服务。
-
公开(公告)号：CN115687165A
公开(公告)日：2023-02-03
申请号：CN202310009946.3
申请日：2023-01-05
Applicant: 军事科学院系统工程研究院网络信息研究所
IPC: G06F11/36
Abstract: 本发明公开了一种需求层形式化验证方法及系统，属于计算机软件设计及测试技术领域。该方法包括：基于所述操作系统的需求文档提取操作系统的功能点，通过构建状态机模型对所述功能点的需求进行形式化描述，得到所述操作系统需求的形式化模型；获取用户自定义的功能安全需求的自然语言描述，通过构造不变式对所述功能安全需求进行形式化描述，得到功能安全模型；对所述操作系统形式化模型在执行过程中是否满足所述不变式进行验证，以验证所述操作系统是否符合所述功能安全模型。本发明提高了验证的效率，并较全面地对操作系统进行了功能安全性的验证。
-
-
-
-
-
-
-
-
-
Search Results
513
records
(took 0.054 seconds)
