{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,10,28]]，“日期时间”：“2022-10-28T11:28:50Z”，“时间戳”：1666956530530}，“引用计数”：14，“发布者”：“塞格德大学”，“问题”：“3”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[《网络学报》]，“摘要”：“高置信度系统的安全分析要求对相关事件的概率有保证的界限。确定计算此类边界的算法的正确性是一项挑战。我们分三步解决这个问题。首先，我们使用集合范畴中的一元转换系统（MTS）作为离散时间系统建模的一般框架。MTS可以捕获不同类型的系统行为，但这里我们关注的是在建模复杂系统时经常出现的非确定性和概率性行为的组合。其次，我们使用偏序集和单调映射的类别作为一般设置来定义和比较近似。特别是，对于感兴趣的MTS，我们考虑基于区间概率完备格的配置近似。第三，我们通过限制到有限格，获得了一种在有限步数后计算系统配置的过近似的算法<\/jats:p>“，”DOI“：”10.14232\/actacyb.24.3.2020.2“，”type“：”journal-article“，”created“：{”date-parts“：[[2020,4,15]]，”date-time“：”2020-04-15T07:25:56Z“，”timestamp“：1586935556000}，”page“：“269-285”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Sound Over-Approximation of Probabilities”]，“前缀”：“10.14232”，“卷“：”24“，”作者“：[{”ORCID“：”http:\/\/orcid.org\/00000-0001-8018-6543“，”authenticated-orcid“：false，”given“：”Eugenio“，”family“：”Moggi“，”sequence“：”first“，”affiliation“：[]}，{“orcid”：“http://\/orcids.org\/000-0003-3160-9188”，“authenticationed-orcid”：false“，”givind“：”Walid“，”“family”：“Taha”，“sequence”：“additional”，“affiliance”：[]{“orcid”“http:”\/\/orcid.org\/00000-0002-9738-4148“，”authenticated-orcid“：false，”given“：”Johan“，”family“：”Thunberg“，”sequence“：”additional“，”affiliation“：[]}]，”member“：”5401“，”published-online“：{”date-parts“：[[2020,3,16]]}，”reference“：[{”key“：“ref1”，“volume-title”：“类别、类型和结构：工作计算机科学家的类别理论导论”，“author”：“Asperti”，“year”：“”1991年，“非结构化”：“Asperti，Andrea和Longo，Giuseppe。类别、类型和结构：工作计算机科学家的类别理论导论。麻省理工学院出版社，1991年。“}，{”key“：”ref2“，”volume-title“：”范畴理论“，”author“：”Awodey“，”year“：”2010“，”unstructured“：”Owodey，Steve.范畴理论。牛津大学出版社，2010年。“”}，“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1093\/logcom\/2.4.511”}、{”key“：“ref4”，“”doi-assert-by“：”publisher“，”doi“：”10.1007 \/bfb0092872“}，{”键“：”参考5“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-1-4612-9860-1“}，{“key”：“ref6”，“doi-assert-by”：“publisher”，“doi”：“10.1017\/S0960129598002515”}，“key“：”ref7“，”doi-asseted-by“：”publisher“，”DI:“10.1016\/0890-5401（91）90052-4”}作者：“摩尔”，“年份”：“1966年”，“非结构化”：“摩尔，拉蒙·E。区间分析。Prentice-Hall，1966.“}，{”key“：”ref9“，”doi-asserted-by“：”publisher“，”doi“：”10.1137“/1.9780898717716”}，“key”：”ref10“，”volume-title“：”Modern steam road wagons“，”author“：”Norris“，“year”：”1906“，”unstructured“：”诺里斯，威廉。“publisher”，“doi”：“10.1007\/978-1-4684-9339-9“}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（00）00056-6”}，}“key”：“ref13”，“volume-title”：“随机分布式实时系统的建模与验证”，“author”：“Segala”，“year”：“1995”，“unstructured”：“塞加拉，罗伯托。随机分布式实时系统的建模与验证。麻省理工学院博士论文，1995年。“：”应用程序\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/cyber.bibl.u-szeged.hu\/index.php\/actcybern\/article\/download\/4041\/3988”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2020,4,15]]，“date-time”：”2020-04-15T07:27:27:1 8Z“，”timestamp“：1586935638000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/cyber.bibl.u-szeged.hu\/index.php\/actcybern\/article\/view\/4041”}}，“副标题”：[]，“短标题”：[]，“已发布”：{-“日期-部分”：[2020,3,16]]}，（references-count）：14，“日志发布”：}“发布”：“3”，“在线发布”：rts“：[[2020,4,14]]}}，”URL“：”http:\/\/dx.doi.org\/10.14232\/actacyb.24.3.2020.2“，”关系“：{}，”ISSN“：[”2676-993X“，”0324-721X“]，”ISSN-type“：[{”value“：”2676-1993X“，“type”：“electronic”}，{”value“：”0324-621X“，‘type’：”print“}]，”subject“：【】，”published“：{”date-parts“：【2020,3,16】}}}}