[发明专利]一种智能服务实时动态监测的方法

权利要求书

1.一种智能服务实时动态监测的方法，其特征在于，包括：

根据用户需求，预设智能服务至少一项约束的监测目标，并将所述监测目标转换为时序逻辑公式，所述智能服务约束包括以下属性中的至少一种：空间属性、时间属性、能耗属性以及资源限制属性；

基于黎曼和算子，构建正负偏置的黎曼和计算方式，生成一种新型信号时序逻辑定量化满足度计算方法，其中，所述基于黎曼和算子，构建正负偏置的黎曼和计算方式，生成一种新型信号时序逻辑定量化满足度计算方法，包括，基于构建好的正负偏置的黎曼和计算方式，构建新型信号时序逻辑形式化语义，其中，黎曼和算子定义如下：

其中，I＝{I₁，I₂，...，I_k}，I_i＝[t_i，t_i+1]i＝1，2，...，k，k≥1，I_i∩I_i+1＝{t_i+1}，正负偏置的黎曼和算子定义如下：

其中，i＝1……k，k为正整数，基于正负偏置的黎曼和构建的信号时序逻辑的定量化语义为：即定义一个鲁棒值函数将给定的一个信号时序逻辑公式一个信号值在一个时间点t∈I，对于一个智能服务sev∈SEV，映射到R内的一个实数值：

其中，x～c表示断言，c是用户指定的常数阈值，简写为x，表示对一个服务sev_j针对约束x_i在特定时间点t上的信号值，是逻辑非，表示信号时序逻辑算子，表示非信号时序逻辑算子，∧是逻辑与，V是逻辑或，U_I是时序“直到”算子，表示能在区间I内至少某一时间点t∈I满足，且在时间点t之前总是被满足，F_I是时序“最终”算子，表示在区间I内至少某一时间点t∈I，能被满足，G_I是时序“总是”算子，表示在区间I内所有时间点，均能被满足；

获取所述监测目标对应的时序信号，并基于所述新型信号时序逻辑定量化满足度计算方法，实时计算智能服务各项约束的满足度，实现对所述智能服务的实时动态监测。

2.根据权利要求1所述的方法，其特征在于，所述获取所述监测目标对应的时序信号，并基于所述新型信号时序逻辑定量化满足度计算方法，实时计算智能服务各项约束的满足度，实现对智能服务的实时动态监测，包括：

获取所述监测目标对应的时序信号及其信号间隔；

基于所述构建好的新型时序逻辑形式化语义，对所述监测目标的逻辑公式，进行正负偏置下的信号处理；

实时计算所述智能服务各项约束的满足度，实现对所述智能服务的实时动态监测。