典型文献
广义可能性计算树逻辑模型检测中的成本分析
文献摘要：
为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法.首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本.其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义.然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法.最后,通过一个实例说明了该模型检测算法的实际应用.
文献关键词：
模型检测;带成本的广义可能性决策过程;广义可能性计算树逻辑;期望成本
中图分类号：
作者姓名：
马占有;李健祥;李召恺;郭昊
作者机构：
北方民族大学 计算机科学与工程学院 宁夏 银川 750021
文献出处：
引用格式：
[1]马占有;李健祥;李召恺;郭昊-.广义可能性计算树逻辑模型检测中的成本分析)[J].郑州大学学报（理学版）,2022(04):34-41
A类：
广义可能性计算树逻辑,计算树逻辑模型,带成本的广义可能性决策过程,广义可能性决策过程
B类：
模型检测,成本分析,成本问题,过程模型,定量刻画,开销,语法,期望成本,检测算法,实例说明
AB值：
0.131157
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
