约束有界模理论非集式Web服务自动机检测
作者:
郑健江
;
陈长清
关键词:
自动机模理论
WEB服务
有界状态
自动检测
摘要：
在Web服务检测模型实际使用过程中,普通的状态机有界状态组合形式不能确保Web服务组合的准确和有效性,对此提出非集式可满足自动机模理论(SMT),并将其应用到Web模型服务检测过程中。首先,基于SMT算法实现时序有界自动机检测模型,将时序有界自动机转变为可识别SMT公式逻辑,并对其模型参数进行求解;其次,基于时序SMT自动机模型,对单位职工出差进行组合安排,并结合Web服务模型进行检测和算法验证;最后,通过实验对比,表明约束有界模理论非集式Web服务自动机检测算法,能够有效对路径死锁进行解耦,并且可有效实现网络指标参数优化。
上一篇：倒立摆扰动系统的l1/H∞滤波器设计
下一篇：基于数据驱动的控制阀粘滞特性量化研究