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

说明书

本申请属于服务计算领域，公开了一种智能服务实时动态监测的方法，该方法包括，根据用户需求，预设智能服务上多项约束监测目标，并将其监测目标转换为时序逻辑公式；基于黎曼和算子，构建正负偏置的黎曼和计算方式，生成一种新型信号时序逻辑定量化满足度计算方法；获取智能服务监测目标相对应的时序信号，并进行实时处理运算，实现对智能服务多项约束的实时动态监测。相较于现有信号时序逻辑，该发明，对时序信号中正负时序信号分别进行计算分析，提出了正确、完备、可辨的定量化满足度；相较于现有智能服务监测的方法，该发明提出了基于时序逻辑的实时、高效、可规约的监测的方法，提高了监测效率。

技术领域

本申请涉及服务计算技术领域，具体而言，涉及一种智能服务实时动态监测的方法。

背景技术

面向服务的物联网正被越来越多的专家学者研究，将底层的目标设备抽象为智能服务，进而通过智能服务组合、推荐、适配等方式满足用户的特定需求。例如，在智慧酒店中，将机器人、语音助手、窗帘以及电视等不同智能设备，抽象为智能服务，通过对各个智能设备服务满足度的监测，判断该酒店是否满足用户需求。

现有技术通常采用智能服务主动或被动监测算法，在线或离线判断智能服务是否满足用户需求。但是现有的这些方式，没有考虑在一段时间段内时序逻辑算子约束下的智能服务满足度定量监测，缺少形式化的语义规约和满足度定量衡量方法。

基于信号时序逻辑对智能服务进行实时动态监测，是有效可行的解决方案。而信号时序逻辑存在信号值迥异、满足度可能无差异的不可分辨性问题。现有研究工作已注意到该缺陷，从均值算子、平滑算子入手，对信号时序逻辑进行增强。然而，这些工作存在不满足约束的信号值被满足约束的信号值所覆盖导致的不鲁棒性问题，如均值为正值并不能代表所有信号值均为正值的现象。针对信号值不鲁棒性缺陷，近期研究工作对满足约束的信号值和不满足部分分别定义其定量化语义，如仅对满足部分信号值做均值或平滑运算。但是，这些工作基于固定采样率的假定，难以适用于动态变动时信号采样速率难以固定的问题。

为支持非均匀信号采样速率的场景，本发明基于黎曼和算子构建正负偏置下的黎曼和算子，对信号时序逻辑进行时间算子扩展，实现时序鲁棒、信号可辨、动态适用的智能服务实时动态监测。

发明内容

本申请的目的在于提供一种智能服务实时动态监测的方法，用以在监测智能服务的约束满足度时，可以提高监测效率。

一方面，提供一种智能服务实时动态监测的方法，包括：根据用户需求，预设智能服务至少一项约束的监测目标，并将监测目标转换为时序逻辑公式；

基于黎曼和算子，构建正负偏置的黎曼和计算方式，生成一种新型信号时序逻辑定量化满足度计算方法；

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

在上述实现过程中，通过构建正负偏置的黎曼和计算方式，对时序信号进行计算分析，提出了正确、完备、可辨的定量化满足度；相较于现有智能服务监测的方法，该发明提出了基于时序逻辑的实时、高效、可规约的监测的方法，提高了监测效率。

一种实施方式中，智能服务约束包括以下属性中的至少一种：空间属性、时间属性、能耗属性以及资源限制属性。

一种实施方式中，基于黎曼和算子，构建正负偏置的黎曼和计算方式，生成一种新型信号时序逻辑定量化满足度计算方法，包括：

基于构建好的正负偏置的黎曼和计算方式，构建信号新型时序逻辑形式化语义。

在上述实现过程中，可以在后续监测智能服务时，根据构建信号新型时序逻辑形式化语义，更加准确且高效的实现对智能服务多项约束的实时动态监测。