(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202210628834.1 (22)申请日 2022.06.06 (71)申请人 中国船舶集团有限公司系统工程研 究院 地址 100094 北京市海淀区丰贤东路1号 (72)发明人 郭丽　李皓　徐文元　史烁　 冯学文　焦德忠　 (74)专利代理 机构 中国船舶专利中心 1 1026 专利代理师 温振宁 (51)Int.Cl. G06F 30/20(2020.01) G06F 111/08(2020.01) G06F 119/12(2020.01) (54)发明名称 一种军用装备系统试验流 程定量验证方法 (57)摘要 本发明实施例提供一种军用装备系统试验 流程定量验证方法， 包括： 基于时间概率系统， 构 建装备系统试验流程TPS模型； 采用概率时态逻 辑， 描述装备系统试验流程性质指标； 采用概率 时态逻辑验证算法， 评价装备系统试验流程性质 指标； 修正装备系统试验流程； 再次进行至少一 次验证装备系统试验流程， 至装 备系统试验流程 性质指标达到制定要求。 通过基于概率的量化的 验证结果， 实现对试验流程合理性与科学性相关 性质和指标的验证， 进而 给出流程制定的合理化 建议， 从而完成流程的修正和完善， 使试验流程 更加合理与科学， 并在一定程度上减少试验资源 的浪费。 权利要求书2页 说明书7页 附图3页 CN 115099011 A 2022.09.23 CN 115099011 A 1.一种军用装备系统试验流 程定量验证方法， 其特 征在于， 包括： 基于时间概 率系统， 构建装备系统试验流 程TPS模型； 采用概率时态逻辑， 描述装备系统试验流 程性质指标； 采用概率时态逻辑验证算法， 评价装备系统试验流 程性质指标； 修正装备系统试验流 程； 再次进行至少一 次验证装备系统试验流程， 至装备系统试验流程性质指标达到制定要 求。 2.根据权利要求1所述的军用装备系统试验流程定量验证方法， 其特征在于， 所述基于 时间概率系统， 构建装备系统试验流 程TPS模型， 包括： 基于时间概 率系统， 构建初步制定的军用装备系统试验流 程TPS模型： 其中， TPS为时间概 率系统； S是非空可 数状态集 合； 是时间概 率迁移关系， 如果(s,t, μ )∈ TSteps， 并且t>0， 那么 μ为 点分布； S→2AP， AP是原子命题集 合； 三元组(s,t, μ )中的t为持续时间， 在时间概率系统中引入路径和策略的概念， 用于描 述装备系统试验流程的路径迁移和不同路径的选择， 其中， 迁移由TPS模型中持续时间 ‑概 率分布组合来表示， 通过策略将有限路径映射到持续时间 ‑概率分布组合中； 路径的表示形 式如下： 3.根据权利要求2所述的军用装备系统试验流程定量验证方法， 其特征在于， 所述采用 概率时态逻辑， 描述装备系统试验流 程性质指标， 包括： 使用概率 时态逻辑将军用装备系统试验流程性质指标描述为性质逻辑公式， 一个公式 描述一种性质或指标， 概 率时态逻辑用PCTL表示， 语法如下： 其中， ～∈{>,<,≥,≤,＝}， λ∈[0,1]， 公式P～ λ[ ψ]的含义是公式 ψ为 “真”的概率～ λ； 概率时态逻辑语义在概率时间自动机上进行解释， 概率事件自动机用PTA表示， 其设为 s∈S， 设STRM为“策略”集合， 则满足关系M,s ╞ψ定义如下： M,s╞T 总为真， 即 没有约束； M,s╞ ⊥ 总为假； s╞ψ1或者ω╞ψ2；权　利　要　求　书 1/2 页 2 CN 115099011 A 2s╞ψ1并且M,s╞ψ2； M,s╞P～ λ[φ] 对于所有的St r∈STRM， 有 其中， 并且对于 存在如下满足关系： 使得ω(i) ╞ψ2， 有ω(j)╞ψ1； 使得 有ω(j)╞ψ2。 4.根据权利要求3所述的军用装备系统试验流程定量验证方法， 其特征在于， 所述采用 概率时态逻辑验证算法， 评价装备系统试验流 程性质指标， 包括： 运用概率时态逻辑验证算法， 对试验流程的每条性质 指标逻辑描述公式进行评价， 得 出定量评价结果， 其中， 概 率时态逻辑验证算法如下： PCTLModelC heck(TPS, ψ ) Output： 满足 公式φ的状态集 合Sat( ψ )， 则有， ψ is:return{(l,i nv(l))|l∈L∧l∈L(p)}； ψ is v return{(l,i nv(l)∧v)|l∈L}； ψ is return ψ isφ1∨φ2:return Sat(φ1)∩Sat(φ2)； ψ is.φi:return{(l,v[R： ＝0])|(l,v)∈Sat(φ)}； ψ is P～ λ[φ1Uφ2]:return  Until(Sat(φ1),Sat(φ2),～ λ )； ψ is P～ λ[φ1Vφ2]:return  Release(Sat(φ1),Sat(φ2),～ λ )。 5.根据权利要求4所述的军用装备系统试验流程定量验证方法， 其特征在于， 所述修正 装备系统试验流 程， 包括： 将量化性质指标评价结果反馈至流程制定模块， 流程制定模块将依据相关性质或指标 的量化结果修正或完善军用装备系统试验流 程。 6.根据权利要求5所述的军用装备系统试验流程定量验证方法， 其特征在于， 所述再次 进行至少一次验证装备系统试验流 程， 至装备系统试验流 程性质指标达 到制定要求， 包括： 对修正或完善的试验流程进行TPS模型构建， 重新进入验证过程， 验证流程循环进行， 至流程相关性质达 到制定要求。权　利　要　求　书 2/2 页 3 CN 115099011 A 3