基于有限迁移系统的线性时态逻辑的计量化方法

首页 > 成果 > 详情

认领

导出

Link by 中国知网学术期刊 Link by 万方学术期刊 Link by 万方会议论文

反馈

作者信息关键词期刊信息会议信息基础信息归属信息摘要

成果类型：

期刊论文、会议论文

论文标题(英文)：

A Quantitative Approach for Linear Temporal Logic Based on Finite Transition Systems

作者：

张登玉;苏辉;郭萍

作者机构：

[张登玉; 苏辉] 衡阳师范学院物理与电子信息科学系

[郭萍] 南华大学数理学院

语种：

中文

关键词：

线性时态逻辑;迁移系统;满足度;离散时间马尔可夫链;逻辑度量空间

期刊：

模糊系统与数学

期刊(英文)：

Fuzzy Systems and Mathematics

ISSN：

1001-7402

年：

2012

卷：

期：

页码：

30-35

会议名称：

中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议

会议论文集名称：

中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议论文集

会议时间：

2012-11-2

会议地点：

福州

会议主办单位：

中国系统工程学会

DOI：

10.3969/j.issn.1001-7402.2012.05.005

基金类别：

国家自然科学基金资助项目(10771129； 11171200)；中央高校基本科研业务费专项资金资助项目(GK201004006)；

机构署名：

本校为其他机构

院系归属：

物理与电子工程学院

摘要：

基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。

反馈

产权有误：本人成果被他人认领

数据有误：数据基本信息有误

归属有误：成果的院系归属、机构署名归属有误

其他原因：

验证码：

看不清楚，换一个

确定

取消

成果认领

标题：

用户	作者	通讯作者	--
	请选择	请选择	--

确定

取消

基于有限迁移系统的线性时态逻辑的计量化方法

反馈

成果认领

提示

该栏目需要登录且有访问权限才可以访问