云南高校图书馆联盟文献共享服务平台- 张博

张博: 作品数：1被引量：3H指数：1; 导出分析报告; 供职机构：陕西师范大学计算机科学学院更多>>; 发文主题：KRIPKE结构模糊自动机线性时序逻辑自动机更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《内江师范学院学报》更多>>; 所获基金：黔西南州科技计划项目国家自然科学基金贵州省教育厅自然科学研究项目更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

广义可能线性时序逻辑的自动机方法被引量：3: 《内江师范学院学报》2016年第6期1-6,共6页张博李永明; 国家自然科学基金(11271237;61228350);贵州省教育厅自然科学研究重点项目(No.黔教合KY字[2015]408号);黔西南州科技计划项目(No.2015-1-51); 模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Büchi自动机构造方法基础上,并对其归纳验证.结果表明,模糊交替Büchi自动机所识别...; 关键词：模型检测广义可能测度 KRIPKE结构自动机模糊自动机