免费论文摘要：鉴于大概性猜想的计划树论理和Kripke构造计划进程

自H. Hansson在20世纪90岁月提出几率猜想和有穷马尔可夫链的几率计划树论理的表面之后, C. Baier对其举行了深刻的接洽, 并对几率互模仿事变的封锁性和马尔可夫计划进程中事变的可达性举行了精细领会. 然而在实际生存中生存着很多朦胧的不决定的事变, 那些事变中蕴藏着诸多朦胧的属性, 比方观念的不精确之类, 以至鉴于几率猜想的模子检验和测定没辙处置. 所以, 鉴于大概性猜想的计划树论理、互模仿以及大概的Kripke构造计划进程的接洽就显得特殊要害, 正文就上述题目举行了较为精细的商量和接洽.  正文重要做了以次处事:    (1) 提出了大概的Kripke构造, 建立了鉴于大概的Kripke构造的大概性猜想, 设置了大概性计划树论理PoCTL的语构及语义, 考证了某些PoCTL和CTL公式的等价性, 并证领会不许由CTL表白的事变eventually always a, 不妨由PoCTL刻画.     (2) 提出了大概的互模仿等关系观念, 给出了状况和路途的互摸拟等价, 及大概的Kripke构造商的设置, 创造了互模仿封锁的sigma-代数. 证领会从两个互摸拟等价的状况动身的路途, 其变化的大概性十分. 给出了PoCTL*和PoCTL—公式, 精细计划了两个互摸拟等价的状况满意沟通的PoCTL、PoCTL*和PoCTL—公式.    (3) 给出了大概的Kripke构造计划进程及安排表的观念, 对大概的Kripke构造计划进程能否有与之对立应的大概的Kripke构造举行了计划. 给出了定量的PoCTL在大概的Kripke构造计划进程下的语构和语义, 考证了在大概的Kripke构造计划进程劣等价的PoCTL公式在大概的Kripke构造下仍旧等价. 对大概的Kripke构造计划进程中事变的可达性举行了精细计划, 并给出了一个鉴于值迭代的算法, 用来计划可达事变的大概性.

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/242166.html