模糊系统与数学
模糊繫統與數學
모호계통여수학
FUZZY SYSTEMS AND MATHEMATICS
2012年
5期
30-35
,共6页
线性时态逻辑%迁移系统%满足度%离散时间马尔可夫链%逻辑度量空间
線性時態邏輯%遷移繫統%滿足度%離散時間馬爾可伕鏈%邏輯度量空間
선성시태라집%천이계통%만족도%리산시간마이가부련%라집도량공간
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式(ψ)的满足度,并指出该概念是“TS满足(ψ)”这一概念的计量化推广.在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间.
基于有限遷移繫統中全體無窮初始路徑之集上的某種均勻概率測度,定義遷移繫統TS對于LTL公式(ψ)的滿足度,併指齣該概唸是“TS滿足(ψ)”這一概唸的計量化推廣.在滿足度理論的基礎上,引入LTL公式之間的相似度,併誘導全體LTL公式之集上的偽距離,從而構建LTL邏輯度量空間.
기우유한천이계통중전체무궁초시로경지집상적모충균균개솔측도,정의천이계통TS대우LTL공식(ψ)적만족도,병지출해개념시“TS만족(ψ)”저일개념적계양화추엄.재만족도이론적기출상,인입LTL공식지간적상사도,병유도전체LTL공식지집상적위거리,종이구건LTL라집도량공간.
