论文部分内容阅读
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度，定义迁移系统TS对于LTL公式(ω)的满足度，并指出该概念是“TS满足(ω)”这一概念的计量化推广。在满足度理论的基础上，引入LTL公式之间的相似度，并诱导全体LTL公式之集上的伪距离，从而构建LTL逻辑度量空间。
基于有限迁移系统的线性时态逻辑的计量化方法
【摘 要】
：
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度，定义迁移系统TS对于LTL公式(ω)的满足度，并指出该概念是“TS满足(ω)”这一概念的计量化推广。在满足度理
【机 构】
：
陕西师范大学数学研究所,陕西西安710052
【出 处】
：
中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议
【发表日期】
：
2012年11期
其他文献
2009年，工信部发放第三代移动通信经营牌照，宣告中国3G时代正式来临！2014年，移动的4G元年，率先其他运营商开始4G的建设和发展。4G时代，必然带来数据流量的高速发展，运营商的主要利润
单晶硅的生长方式多种多样，目前主流的是区熔法和直拉法两种，但不管是哪一种生长方法，其对整个单晶硅生长过程的温度要求都是相当严苛的。作为单晶硅生长最重要的单晶炉，炉内工作
随着老龄化进程的不断加快，我国居民的养老需求也不断增加，但滞后的社会养老保险体系越来越无法满足不断增长的养老需求。为了建立健全我国的社会养老保险体系，实现城乡养老保险
阅读能力是语言的基本技能之一。为了提高高中学生的英语阅读能力，语言教育学家多年前就已经提出了基于图式理论的教学方法。尽管在中国的发达地区，图式理论在高中英语阅读教学
本文围绕雷达信号脉内特征分析这根主线，重点研究了17种雷达信号（常规信号、线性/双线性/分段线性调频信号、S型/多项式非线性调频信号、二相/四相编码信号、正弦/双正弦调频信
醋酸乙烯酯-丙烯酸酯乳液是醋酸乙烯酯和丙烯酸酯类单体的共聚乳液，选用醋酸乙烯酯为硬单体，不仅能够避免苯丙乳液的黄化现象，而且价格远低于纯丙乳液，但目前醋丙乳液生产工艺不
随着时代的发展和教育改革的不断深入，中小学校长的培训方式也在发生着深刻的变化，个性化培训是我国一些地区顺应这一变化而张开的一种新型校长培训模式，它有利于中小学校长完善
以人为本思想是马克思主义理论在新时期的继承和发展,是科学发展观的核心内容。是我们党对马克思主义理论的创新和发展,是对传统发展观的扬弃。这种把人放在教育首位的观点的
我国的邮政有着双重的性质，它既在社会上发挥承担着社会普通服务的只能，同时，它也具有公司的性质，要考自身的经营来实现自负盈亏。简单说，邮政一方面要发挥行政事业单位的职能，另一