｛“状态”：“好”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,4,11]，“日期时间”：“2023-04-11T20:40:17Z”，“时间戳”：1681245617963｝，“引用计数”：30，“发布者”：“科学通信指导中心（CCSD）”，“许可证”：[｛“开始”：｛“日期部分”：[[2006,3,7]]，“日期时间”：“2006-03-07T00:00:00Z”，“timestamp”：1141689600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“funder”：[{“DOI”：“10.13039\/501100000038”，“name”：“加拿大自然科学与工程研究委员会”，“DOI-asserted-by”：“crossref”}，{“name”:“National Science Foundation”，“award”：[“0244901”]}：“国家科学基金会”，“奖项”：[“0430175”]}]，“内容域”：{“域”：[]，“交叉标记限制”：false}，“短容器标签”：[]，“摘要”：“我们为广义nsemi-Markov过程开发了互模拟的伪度量模拟。这个伪度量的核对应于模拟；因此，我们将连续时间概率过程的互模拟扩展到比关联分布更广泛的分布类。在模型中存在数字信息（例如概率和时间）的情况下，此伪度量为近似推理提供了有用的处理方法。我们给出了伪度量的不动点特征。这为解释距离提供了共同推理原则。我们证明了我们的方法对距离的潜在特殊表达不敏感，因为它是内在的一致性。我们使用实值模态逻辑对这种形式进行逻辑表征。我们证明了有关伪度量的几个感兴趣的定量属性是连续的。因此，如果两个过程在度量上是相近的，那么可观察到的感兴趣的定量属性确实是相近的<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（1:4）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:26:28Z“，”timestamp“：1164273988000}，”source“：“Crossref”，“is-referenced-by-count”：9，“title”：[“实时概率过程的近似推理”]，“前缀”：“10.46298”，“卷”：“第2卷，第1期”，“作者”“：[{”given“：“Vineet”，“family”：“Gupta”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Radha”，“家族”：“Jagadeesan”，“serquence”:“additional”，“abfiliance”：[]}，}“giving”：“Prakash”，“家庭”：“Panangaden”，“序列”：“additionable”，“从属关系”：[[]}]，“成员”：“25203”，“published on”：{“date-parts”：[[2006,3,7]]}，“参考”：[{“键”：“10.2168\/LMCS-2（1:4）2006_Alur94“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（94）90010-8“}，{“key”：“10.2168\/LMCS-2（1:4）2006_Alur92”，“doi-assert-by”：“crossref”，“unstructured”：“R.Alur和T.Henzinger。实时逻辑和模型：一项调查。G.Huizing、W.P.de Roever和G。罗森伯格（Rozenberg），REX实时理论与实践研讨会编辑，《计算机科学讲稿》第600期。Springer-Verlag，1992.“，”DOI“：”10.1007\/BFb0031988“}，{“key”：“10.2168\/LMCS-2（1:4）2006_Anderson87”，“unstructured”：“E.J.Anderson和P.Nash.无限维空间中的线性规划.离散数学与计算.威利国际科学，1987。”}，“key。Blute、J.Desharnais、A.Edalat和P.Panangaden。标记马尔可夫过程的互模拟。第十二届IEEE计算机科学逻辑研讨会论文集，波兰华沙。，1997.”，“DOI”：“10.7146\/brics.v4i4.18783”}，｛“key”：“10.2168\/LMCS-2（1:4）2006_Bravetti02”，“DOI断言者”：“publisher”，“DOI”：“10.1016\/S03004-3975（01）00043-3”}，｛“key”：“10.2168\/LMCS-2（1:4）2006_Baier99”，“DOI断言者”：“crossref”，“nonstructured”：“C.Baier，H.Hermans，and J-P。卡托宁。连续时间马尔可夫链的近似符号模型检验。J.C.M.Baeten和S.Mauw编辑，《第十届并行理论国际会议论文集》，CONCUR99，1664号，计算机科学讲义，第146-161页。Springer-Verlag，1999.“，“DOI”：“10.1007\/3-540-48320-9_12”}，{“key”：“10.2168\/LMCS-2（1:4）2006_Billingsley99”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Billingsnley。概率测度的收敛。Wiley Interscience，第二版，1999年。”，“DOI:”10.1002\/9780316962“}，“key“：”10.2168\/LMCS-2（1:14）2006_Cleaveland92“，”DOI-assert by“：”“非结构化”：R.Cleaveland、S.Smolka和A.Zwarico。测试概率过程的预订单。W.Kuich，《自动化、语言和编程》（ICALP 92）编辑，《计算机科学讲义》第708-719页第623号。Springer-Verlag，1992.“，”DOI“：”10.1007\/3-540-55719-9_116“}，{“key”：“10.2168\/LMCS-2（1:4）2006_dealfaro03”，“DOI-asserted-by”：“crossref”，“unstructured”：“L.de Alfaro，T.Henzinger，and R.Majumdar。系统理论中的未来贴现。J.Baeten，J.K.Lenstra，J.Parrow，and G.J。Woeginger，编辑，第三十届国际自动化语言与编程学术讨论会，第1022-1037页，《计算机科学讲稿》第2719页。Springer-Verlag，2003.“，”DOI“：”10.1007\/3-540-45061-0_79“}，{“key”：“10.2168\/LMCS-2（1:4）2006_Desharnais02”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1006\/inco.2001.2962”}，”key“：”10.2168\/LMCS-2（1:4 Gadeesan和P。帕南加登。标记马尔可夫系统的度量。《CONCUR99会议录》，第1664期，计算机科学讲稿。Springer-Verlag，1999.“，“DOI”：“10.1007\/3-540-48320-9_19”}，{“key”：“10.2168\/LMCS-2（1:4）2006_Desharnais02a”，“非结构化”：“J.Desharnais，V.Gupta，R.Jagadeesan，and P。帕南加登。标记马尔可夫过程弱互模拟的度量模拟。第十七届IEEE计算机科学逻辑研讨会论文集，第413-422页，2002年7月。“}，{”issue“：”3“，”key“：”10.2168\/LMCS-2（1:4）2006_Desharnais04“，”doi-asserted-by“：”crossref“，”first page“：“323”，“doi”：“10.1016\/j.tcs.2003.09.013”，“volume”：“318”，“author”：“Jos\u00e9e Desharnais，Vineet Gupta，Radhakri”，“年份”：“2004”，“journal-title“：“理论计算机科学”}，{“key”：“10.2168”，“LMCS-2（1:4）2006_Geroch85”，“unstructured”：“Robert Geroch.数学物理.芝加哥物理讲座.芝加哥大学出版社，1985年”}journal-title“：《国际统计评论》}，{“key”：“10.2168”，“LMCS-2（1:4）2006_Hansson94”，“unstructured”：“Hans A.Hansson.分布式系统形式设计中的时间和概率，实时安全关键系统第1卷.Elseiver，1994。”}，“key“：”10.2168“，LMCS-2。Hermans、J.-P.Katoen和C.Baier。模型检查性能属性。《2002年可靠系统和网络国际会议论文集》，第102-113页。IEEE计算机学会，2002年6月。“}，{”key“：”10.2168“/LMCS-2（1:4）2006_Hermanns02“，”unstructured“：”H.Hermanns.The Quest for Quantified Quality.Number 2428 in Teach Notes in Computer Science。Springer-Verlag，2002.“}”，{“key”：“10.2168。希尔斯顿。性能建模的组合方法。爱丁堡大学博士论文，1994年。1996年，剑桥大学出版社发表杰出论文。“，“DOI”：“10.1017\/CBO9780511569951”}，{“key”：“10.2168\/LMCS-2（1:4）2006_Jou90”，“unstructured”：“C.-C.Jou和S.a.Smolka.概率过程的等价、同余和完全公理化。J.C.M.Baeten和J.W。克洛普，编辑，CONCUR 90第一届并行理论国际会议，计算机科学讲稿第458期。Springer-Verlag，1990.“}，{”key“：”10.2168“/LMCS-2（1:4）2006_Lincoln98“，”doi-asserted-by“：”crossref“，”unstructured“：”P.D.Lincoln，J.C.Mitchell，M.Mitchell和A.Scedrov。协议分析的概率多时间框架。InACM计算机与通信安全（CCS-5），1998年。“，”doi“：”10.1145“/288090.288117”}，”{“key”：“10.2168”2006_Larsen91“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0890-5401（91）90030-6“}，{“key”：“10.2168\/LMCS-2（1:4）2006_Philippou00”，“doi-assert-by”：“crossref”，“unstructured”：“A.Philippou，I.Lee，and O.Sokolsky。概率过程的Weal双模拟。In C。帕拉米德斯（Palamidessi），编辑，《CONCUR 2000会议录》（Proceedings of CONCUR），第1877页，载于《计算机科学讲义》（Telection Notes in Computer Science）第334-349页。Springer-Verlag，2000.“，“DOI”：“10.1007\/3-540-44618-4_25”}，{“key”：“10.2168\/LMCS-2（1:4）2006_Shedler87”，“DOI-asserted-by”：“crossref”，“unstructured”：“G.S.Shedler.Regeneration and Networks of Queues。Springer-Verlag，1987。”，“DOI:”10.1007\/978-1-461-1050-4“}，“key“：”10.2168\/LMCS-2（1:4 y“：”publisher“，”DOI“：”10.1137\/1101022“}，{”issue“：”2“，”key“：”10.2168\/LMCS-2（1:4）2006_Segala95“，”first page“：“250”，“volume”：“2”，“author”：“R.Segala and N.Lynch”，“year”：“1995”，“journal-title”：“Nordic journal of Computing”}，“key”：弗兰克·范·布鲁格尔和詹姆斯·沃雷尔。概率系统的一种定量验证算法。编辑K.G.Larsen和M.Nielsen，《第十二届并行理论国际会议论文集-CONCUR’01》，计算机科学讲义第2154页，第336-350页。Springer-Verlag，2001.“，“DOI”：“10.1007\/3-540-44685-0_23”}，{“key”：“10.2168\/LMCS-2（1:4）2006_vanBreugel01a”，“DOI-asserted-by”：“crossref”，“unstructured”：“弗兰克·范·布鲁格尔和詹姆斯·沃雷尔。朝向概率系统的定量验证。第二十八届自动机、语言和程序设计国际学术讨论会论文集。Springer-Verlag，2001年7月。“，”DOI“：”10.1007\/3-540-48224-5_35“}，{“key”：“10.2168\/LMCS-2（1:4）2006_Whitt80”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1287\/moor.5.4.494”}，”key“：”10.2168\/LMCS-2（1:4。惠特。随机过程极限及其在队列中的应用简介。Springer运筹学系列。Springer-Verlag，2002.“，”DOI“：”10.1007\/b97479“}]，”container-title“：[”计算机科学中的逻辑方法“]，”original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\\/lmcs.eposciences.org\/2258\/pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“”https:\/\/lmcs.episciences.org\/2258\/pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,4,11]]，”date-time“：“2023-04-11T20:50:59Z”，“timestamp”：1681243859000}，“score”：1，“resource”:{“primary”：{“URL”：“https:\//lmcs.episcinces.org\/2258“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2006,3,7]]}，”references-count“：30，”URL“：”http://\/dx.doi.org\/10.2168\/lmcs-2（1:4）2006“，”relationship“：{is-same-as”：[{“id-type”：“arxiv”，“id”：“cs\/05063”，“asserted-by”：“subject”}，{“id-type“：”doi“，”id“：”10.48550\/ar Xiv.cs\/0505063“，”asserted-by“：”subject“}]，”is-referenced-by“：[{”id-type“：”arxiv“，”id“：”1707.04254“，”asserted-by“：”subject“}，{”id-type“：”doi“，”id“：”10.4204\/eptcs.250.2“，”asserted-by-“：”主题“}、{”ids-type”：“doi”，“id”：“10.48550\/arxiv.1707.04254”，“asserted-by”：“subject”}]}，“ISSN”：[“1860-5974”]，“ISSN-type”：[{“value”：“1860-5.974”，“type”:“electronic”}]，“主题”：[]，“已发布”：{“日期部分”：[[2006,3,7]]}}}