|
在下一节中,我们将重点讨论markedpoint流程框架,因为这不仅保证了限制的存在,而且还允许我们显式计算限制。3跳跃过程框架在文献中,我们可以找到定义跳跃过程框架的不同方法。一种方法是从标记点过程(τi,ζi)i开始∈非(Ohm, A、 P)具有一些可测量的标记空间(E,E),即:oτi:(Ohm, (A)→ ([0, ∞], B([0,∞])), 我∈ N是随机时间,oζi:(Ohm, (A)→ (E,E)是给出分数的随机变量。与点过程文献不同,我们在此不假设随机时间(τi)i∈以任何特定方式增加或订购。这为我们提供了有用的建模灵活性,另请参见本节末尾的评论。设E是一个可分的完备度量空间,E:=B(E)是它的Borel-sigma代数。此外,让Ohm 是一个波兰空间及其Borel-sigma代数。我们将每个ζias解释为可以从时间τ离子观察到的一条信息。正如引言中所述,我们还假设信息片段ζi可能在一定的保存时间后被删除。因此,我们扩展了标记点过程(τi,ζi)i∈Nto(τi,ζi,σi)i∈N、 式中oσi:(Ohm, (A)→ ([0, ∞], B([0,∞])), 我∈ N、 是随机时间,使得τi≤ σi。我们将σias解释为信息块ζi的删除时间。注意,随机时间(σi)i∈一般情况下,Nare未订购。为了更紧凑的表示法,下面我们将使用等价序列(Ti,Zi)i∈未定义asT2i-1: =τi,T2i:=σi,Z2i-1: =ζi,Z2i:=ζi,i∈ N、 即随机时间T2i-1奇数索引指的是创新,偶数索引指的是相应的删除时间。我们通常认为∞Xi=1{Ti≤t}< ∞, t型≥ 0,(3.1),这将确保存在(最小)补偿器。
|