{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:37:32Z”，“时间戳”：1725557852033}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 201267“}，{”类型“：“electronic”，“value”：“9783540398783”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/978-3-540-39878-3_21“，”type“：”book-capter“，”created“：{”date-ports“：[2010,6,23]]，”date-time“：”2010-06-23T18:39:39:03Z“，”时间戳“：1277318343000}，”页面“：”263-274“，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“提高铁路环境中安全性的容错通信系统”]，“prefix”：“10.1007”，”author“：[{”given“：”C\u00e9sar“，”family“：”Mataix“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Pedro“，”“family”：“Mart\u00edn”，“sequence”：“additional”，“afliation”：[]{“given”：“Francisco Javier”，“family”：“Rodr\u00edguez”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Mar\u00dea Jos\u00e9”，“家族”：“Manzano”，“序列”：“附加”，“从属关系”：[]}，“givent”：“Javier _CR1“，”非结构化“：“Mart\u00edn，P.，Mataix，C.，Rodr\u00edguez，F.J.：Topolog\u00enda de Red para Supervisis\u00f3n de la Seguridad en L\u00edneas Ferroviarias.In:SAAEI 2002 Seminario Anual de Autom\u00e1tica Electr\u00f3 nica Industrial e Instrumentati\u00f 3n，pp.469\u2013172（2002）”}，{“volume-title”：“安全关键计算机系统”，“年份”：“1996”，“作者”：“N。Storey”，“key”：“21_CR2”，“unstructured”：“Storey，N.：安全关键型计算机系统。Prentice-Hall，Englewood Cliffs（1996）“}，{“key”：“21_CR3”，“unstructured”：“Mataix，C.，Mart\u00edn，P.，Rodr\u00edguez，F.J.，Santiso，E.，Jim\u00e9nez，J.A.：Aplicaci\u00f3n de JavaTM Tiempo Real A la Telesupervisi\u00f 3n Reconfigurable en Entornos Ferroviarios.TELEC 2002（2002）”}，}，“key“：”21_CR4“，“unsructured“：”Birman，K.P.：构建安全可靠的网络应用程序。计算机科学系。康奈尔大学（1995）“}，{”key“：”21_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Brunton，J.，Digby，G.，Doherty，A.：铁路环境的网络管理系统架构。In:IEE Colloqium on Network Management System Architecture（1996）“，”doi“：”10.1049\/ic:19960507“}”，{非结构化”：“Zhou，F.B.，Duta，M.D.，Henry，M.P.：铁路转辙机远程状态监测。摘自：《2002年ASME\/IEEE联合铁路会议论文集》，华盛顿特区（2002），“DOI”：“10.1115\/RTD2002-1646”}，{“key”：“21_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“Myers，L.F.、Lovette，M.、Kilgus，C.C.、Giannini，J.A.、Swanson，D.C.：基于Java的地面传感和控制信息系统。摘自：1998年ASME\/IEEE铁路与公路联合会议论文集（1998）“，”DOI“：”10.1109\/RRCON.1998.668095“}，”key“：”21_CR8“，”DOI-asserted-by“：”publisher“，”first page“：“17”，“DOI”：“10.1109\/67.318916”，“volume”：“10”，“author”：“T.E.Dy-Liacco”，“year”：“1994”，“unstructured”：“Dy Liacco，T.E.：现代控制中心和计算机网络。IEEE计算机在电力中的应用\u00a0（10），17\u201322（1994）”，“期刊标题”：“IEEE计算机在电力中的应用”}，｛“问题”：“1”，“密钥”：“21_CR9”，“doi由”断言：“出版商”，“第一页”：“36”，“doi”：“10.1109\/67.560857”，“卷”：“10”，“作者”：“M.C.S.-C.Roldan”，“年份”：“1997”，“非结构化”：“Roldan，M.C.S.-C.，Alonso-Betanzos，A.，Arias-Rodriguez，J.E.：开发配电监控系统。IEEE Computer Applications in Power\u00a010（1），36\u201341（1997）“，“journal-title”：“IEEE Compute Applications on Power”}，{“key”：“21_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“松本，M.、北村，S.、佐藤，M.：自主分散式列车控制系统的高保证技术。在：高保证系统工程，第六届IEEE国际研讨会，pp.220\u2013227（2001）“，“DOI”：“10.1109\/HASE.2001.966822”}，{“key”：“21_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“Mills，D.L.：网络时间协议（第3版）：规范、实现和分析。网络工作组报告RFC-1305。特拉华大学（1992）“，“DOI”：“10.17487\/rfc1305”}，{“key”：“21_CR12”，“unstructured”：“IEEE Std 1232-1995:IEEE人工智能交换和服务标准（AI-STATE）：概述和体系结构。IEEE Standard Press，Piscataway（1995）”}IEEE Std 1232.1-1997：IEEE人工智能交换和服务与所有测试环境相关联的试用标准（AI-STATE）：数据和知识规范。IEEE Standard Press，Piscataway（1997）“}，{“key”：“21_CR14”，“unstructured”：“IEEE Std 1232.2-1998:IEEE人工智能交换和服务与所有测试环境（AI-STATE）的试验使用标准：服务规范。IEEE Stan标准出版社，Piscatabay（1998）”}，}，“key“：”21_CR15“，”unstructure“：”IEEE Std 1232-2002：人工智能交换和服务与所有测试环境相关的IEEE标准（AI-STATE）。IEEE Standard Press，Piscataway（2002）“}，{”key“：”21_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”Sheppard，J.，Kaufman，M.：AI-ESTATE-下一代。In:AUTOTESTCON 1999。IEEE Systems Readiness Technology Conference，pp.11\u201318（1999）“，“DOI”：“10.1109\/AUTEST.1999.800351”}，{“key”：“21_CR17”，“DOI-asserted-by”：“crossref”，“unstructured”：“Sheppard，J.，Kaufman，M.：IEEE测试和诊断标准。In:The 19th Proceedings Digital Avionics Systems Conferences，DASC 2000，vol.2，pp.6B1\/1\u20136B1\/8（2000）”，“DOI“：”10.1109\/DASC.2000.884901“｝，｛”key“：”21_CR18“，”非结构化“：”ISO 10303-11：工业自动化系统-产品数据表示和交换第11部分：EXPRESS语言参考手册（1992）“｝，｛”key“：”21_CR19“，”DOI asserted by“：”crossref“，”非结构化“：”Tennenhouse，D.L.，Wetherall，D.J.：走向主动网络架构。摘自：《DARPA主动网络会议与展览会论文集》（DANCE 2002），第2_201315页（2002）“，”DOI“：”10.1109\/DANCE.2002.103480“}，{“issue”：“10”，“key”：“21_CR20”，“DOI-asserted-by”：“publisher”，“first-page”：“72”，“DOI”：“10.1109\/35.722139”，”volume“：”36“author”：“K.L.Calvert”，“year”：“1998”，“unstructured”：“Calvert，K.L.，Bhattacharjee，S.，Zegura，E.，Sterbenz，J.：《主动网络中的方向》。IEEE通信杂志\u00a036（10），72\u201378（1998）“，”杂志标题“：”IEEE通信期刊“}，{“key”：“21_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Branden，R.、Lindell，B.、Berson，S.、Faber，T.：ASP EE：主动网络执行环境。摘自：DARPA主动网络会议与展览会（DANCE 2002），第238\u2013254（2002）页“，”DOI“：”10.1109\/DANCE.2002.1003497“}]，”container-title“：[”计算机科学讲义“，”计算机安全、可靠性和安全“]，”原文标题“：[]，”链接“：[{”URL“：”http:\/\/link.springer.com/content\/pdf\/10.1007\/978-39878-3_21“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,30]]，”date-time“：“2019-05-30T06:53:57Z”，”timestamp“：1559199237000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3540-39878-3_21“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2003]]}，“ISBN”：[“9783540201267”，“978354398783”]，”引用计数“：21，”URL“http://\/dx.doi.org\/10.10007\/9798-3-540-39878-3_21”，“关系”：{}，“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2003]]}}