买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉沈阳谦川科技有限公司申请的专利一种双系统通信形式化设计与验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116633787B 。

龙图腾网通过国家知识产权局官网在2025-12-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310785720.2，技术领域涉及：H04L41/0895；该发明授权一种双系统通信形式化设计与验证方法是由张强;孟庆洋设计研发完成，并于2023-06-29向国家知识产权局提交的专利申请。

本一种双系统通信形式化设计与验证方法在说明书摘要公布了：本发明涉及信息处理技术领域，具体涉及一种双系统通信形式化设计与验证方法，包括以下步骤：步骤1：接收双系统间实时传输的控制指令并监测双系统间连接应用网络是否安全；步骤2：步骤1中双系统间连接应用网络安全监测结果为否，断开双系统网络连接，监测结果为是，对步骤1中接收到的控制指令执行安全验证的操作；本发明主要采用虚拟机构建的方式为系统相互之间传输的控制指令带来了验证效果，基于此种虚拟机的设定，满足了控制指令传输过程验证的即时性，使其为控制指令所带来的验证效果更加可靠且精度较高，在系统相互之间控制指令传输阶段，还能对传输环境进行安全监测，有效的规避了控制指令在网络中向系统端传输时的不安定因素影响。

本发明授权一种双系统通信形式化设计与验证方法在权利要求书中公布了：1.一种双系统通信形式化设计与验证方法，其特征在于，包括以下步骤： 步骤1：接收双系统间实时传输的控制指令并监测双系统间连接应用网络是否安全； 所述步骤1在监测双系统间连接应用网络安全时，通过下式评估网络安全性，公式为： 式中：δ为网络安全系数；其中，ωj为单点网络攻击破坏权值，pj为单点网络攻击关联节点数量，Aj为安全性评价指标，网络攻击发生时取1，网络攻击未发生时取0，1≤i≤N为网络安全评估范围，N为网络安全评估范围极值，1≤j≤k为网络传输链路节点选择范围，k为网络传输链路节点选择目标极值；其中，Di为单点网络攻击威胁评价因子； 其中，δ与网络安全性成正比，通过用户端手动设定判定阈值，基于δ的求取值判定网络是否安全； 步骤2：步骤1中双系统间连接应用网络安全监测结果为否，断开双系统网络连接，监测结果为是，对步骤1中接收到的控制指令执行安全验证的操作； 步骤21：获取双系统中各功能模块的运行逻辑，根据系统中各功能模块的运行逻辑执行虚拟机构建； 步骤22：捕捉控制指令传输方向，根据控制指令传输方向作为触发信号，执行虚拟机与触发信号的对应配置； 步骤3：根据控制指令传输方向触发指定虚拟机运行，虚拟机将接收到的控制指令反馈至虚拟机中，驱动虚拟机根据控制指令运行； 步骤4：接收步骤3中虚拟机根据控制指令运行状态下各运行阶段及运行结果数据，分析运行各运行阶段及运行结果数据一致性。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人沈阳谦川科技有限公司，其通讯地址为：110000 辽宁省沈阳市浑南区智慧二街400-13号锦联新经济产业园3期B2-2单元3楼；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。