{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T09:41:54Z”，“时间戳”：1649151714082}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540430926”，“类型”：“打印”}，{“值”：“9783540455875”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2002]]}，”DOI“：”10.1007\/3-540-45587-6_18“，”type“：”book-capter“，”created“：”{“date-part”：[2007,6,24]]，“date-time”：“2007-06-241:19:19Z“，”timestamp“：1182719959000}，”page“：”280-298“，”source“：“Crossref”，“is-referenced-by-count”：5，“title”：[“基于声明性方程建模语言的调试方案”]，“prefix”：“10.1007”，”author“：[{“given”：“Peter”，“family”：“Bunus”，“sequence”：“first”，“affiliation”：[]}，{“fivent”：“彼得”，“家族”：“Fritzson”，“序列”：“additional”，“从属关系”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”“”：[2001,12,20]]}，“reference”：[{“key”：“18_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Abadi M.和Cardelli:A Theory of Objects.Springer Verlag，ISBN 0-387-94775-2，1996.”，“doi”：“10.1007\/978-1-4419-8598-9”}，{“密钥”：“18 _CR2”，“unstructure”：“Ait-Aoudia，S。；Jegou，R.和Michelucci，D.\u201c约束系统简化。\u201d在Compugraphic中，第83\u201392页，葡萄牙阿尔沃，1993年。“}，{”key“：”18_CR3“，”doi-asserted-by“：”crossref“，”unstructured“：”Asratian A.S.；Denley T.和H\u00e4ggkvist R.二部图及其应用。剑桥大学出版社1998年。“，”doi“：”10.1017\/CBO9780511984068“}”，{“key”：“18_CR4”，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：”102“，”doi“：”10.1007\/3-540-49481-2_9“，”volume-title“：”约束编程的原理与实践“，”author“：”C.Bliek“，”year“：”1998“，”unstructured“：”Bliek，C。；Neveu，B.和Trombettoni G.\u201c使用图分解求解连续CSP \u201d，约束编程的原理和实践，CP\u201998，Springer LNCS 1520，第102\u2013116页，意大利比萨，1998年11月。网络和算法——介绍性方法。John Wiley and Sons 1993En格兰。“}，{”key“：”18_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Dulmage，A.L.，Mendelsohn，N.S.《二部图的覆盖》，加拿大数学杂志，10，517\u2013534.“，”doi“：”10.4153\/CJM-1958-052-05“}”，{“key”：“18_CR7”，“doi-assert-by”：“crossref.”，“unstructure”：“Elmqvist，H。；Mattsson S.E和Otter，M.\u201cModelica—物理系统建模、可视化和交互语言。\u201d《1999年IEEE计算机辅助控制系统设计研讨会论文集》（夏威夷，8月22日至27日），1999年。“，”DOI“：”10.1109\/CACSD.1999.808720“}，{“key”：“18_CR8”，“unstructured”：“Elmqvist，H。大型连续系统的结构化模型语言。瑞典隆德理工学院自动控制系博士论文TFRT-1015。1978.“}，{”issue“：”3“，”key“：”18_CR9“，”doi-asserted-by“：”publisher“，”first-page“：”257“，”doi“：”10.1016\/S0952-1976（96）00083-8“，“volume”：“10”，“author”：“L.M.Flannery”，“year”：“1997”，“unstructured”：“Frannery，L.M.and Gonzalez，A.J.”。《检测基于约束的系统中的正常值》，《人工智能的工程应用》，第10卷，第3期，1997年6月，第页。257\u2013268.“，”journal-title“：“人工智能的工程应用”}，{“key”：“18_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Fritzson，P.和Engelson，V.\u201cModelica——系统建模与仿真的统一面向对象语言。\u201d《第十二届欧洲面向对象编程会议论文集》（ECOOP\u201998，比利时布鲁塞尔，7月20日至24日），1998年。：“弗里茨森，P。；Shahmehri，N。；Kamkar，M.和Gyimothy，T.广义算法调试和测试。ACM编程语言与系统通讯，1（4）：303\u20133221992年12月Harrold，M.J和Rothermel，G.\u201cA面向对象软件的可分析图形表示的相干族。\u201d技术报告OSU-CISRC-11\/96-TR601996年11月，俄亥俄州立大学计算机与信息科学系“}，{“问题”：“4”，“密钥”：“18_CR13”，“doi-asserted-by”：“出版商”，“首页”：“225”，“doi”：“10.1137\/02019”，“卷”：“2”，“作者”：“J.E.Hopcroft”，“年份”：“1973”，“非结构化”：“Hopcroff，J.E.和Karp，R.M。二部图中最大匹配的n 5/2算法。SIAM计算杂志，2（4）：225\u20132311973年12月。“，“Journal-title”：“SIAM计算期刊”}，{“key”：“18_CR14”，“unstructured”：“Jirstrand，M.\u201cMathModelica-A Full System Simulation Tool\u201d.In Proceedings of Modelica Workshop 2000（Lund，Sweden，10月23-24日），2000年。；Gunnarsson J.和Fritzson P.\u201cMathModelica是Modelica的一种新的建模和仿真环境。\u201d第三届国际数学研讨会论文集（IMS\u201999，奥地利林茨，8月），1999年。“}，{”key“：”18_CR16“，”doi-asserted-by“：”publisher“，”first page“：“303”，”doi“：”10.1016\/0928-4869（95）00048-8“，“volume”：“4”，“author”：“C.Maffezzoni”，“year”：“1996”，“unstructured”：“Maffezzuni C.；Girelli R.和Lluka P。发电机。陈述性模型的有效计算程序。仿真实践与理论4（1996）第303\u2013317页。”，“日记标题”：“仿真实践与原理”}，{“key”：“18_CR17”，“unstructured”：“Modelica Association.Modelica-A Unified Object-Oriented Language for Physical Systems Modeling-Tutorial and Design Rational Version 1.4（2000年12月15日）。”}、{“key”：Modelica协会。Modelica—物理系统建模语言规范1.4版的统一面向对象语言。（2000年12月15日）。“}，{”issue“：”2“，”key“：”18_CR19“，”doi-asserted-by“：”publisher“，”first-page“：”213“，”doi“：”10.1137\/0909014“，”volume“：“9”，”author“：”C.Pantelides“，”year“：”1988“，”unstructured“：”PantelidesC。微分代数系统的一致初始化。SIAM科学与统计计算杂志，9（2）：213\u20132311988年3月。“，”journal-title“：”SIAM科学与统计计算杂志“}，{“key”：“18_CR20”，“unstructured”：“Saldamli，L.；Fritzson，P.\u201cObject-oriented Modeling With Partial Differential Equations\u201d.In Proceedings of Modelica Workshop 2000（Lund，Sweden，10月23日至24日），2000。”}，}，“key“：”18_CR21“，“doi-asserted-by”：“crossref”，“非结构化”：“Shapiro Ehud Y.算法程序调试。麻省理工学院出版社（五月）。1982.“，”DOI“：”10.1145\/582153.582185“}，{“key”：“18_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“Tiller M.Michael.Introduction to Physical Modelingwi th Modelica.Kluwer Academic Publisher 2001.”，“DOI”：“10.1007\/9781-4615-1561-6”}]，“container-title”：[“声明语言的实用方面”，“计算机科学的课堂讲稿”]，“original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-45587-6_18“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,4,29]]，”date-time“：“2019-04-29T09:35:33Z”，“timestamp”：1556530533000}，“score”：1，“资源”：{“主”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-45587-6_18“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2001,12,20]]}，“ISBN”：[“9783540430926”，”9783540455875“]，”引用计数“：22，”URL“http://\/dx.doi.org\/10.10007\/3-504-4587-6_16”，“关系”：{}，“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”type“:”print“}]，”subject“：[]，”已发布“：{“date-parts”：[[2001,12,20]]}}