{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,29]]，“日期时间”：“2022-03-29T04:07:32Z”，“时间戳”：1648526852608}，“引用计数”：38，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2017,10]]}，“DOI”：“10.23919\/fmcad.2017.8102259”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2017,11,9]]，“date-time”：“2017-11-09T21:49:00Z”，“timestamp”：1510264140000}，“source”：”Crossref“，”is-referenced-by-count“：2，”title“：[”基于SMT-based analysis of switching multi-domain linear Kirchhoff networks“]，”前缀“：”10.23919“，“author”：[{“given”：“亚历山德罗”，“family”：“Cimatti”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Sergio”109\/81.611264“}，{”key“：”ref33“，”doi-asserted-by“：“publisher”，“DOI”：“10.1145\/1967701.1967749”}，{“key”：“ref32”，“first page”：”196“，“article-title”：“用于模拟电路形式验证的非线性器件的分段线性建模”，“author”：“zhang”，年：“2012”，“journal-title“：”FMCAD参考30“、“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2006.02.019”}，{“key”：“ref37”，“doi-sserted-by“：”publisher“，”doi“：”10.1007\/978-3319-21690-4_36“}，”{“key”：“ref36”，“article-title”：“SAE International”，“year”：“2011”，“journal-title“：”AIR 6110-Contigous Aircraft//System Development Process Example“}”，{”key“：“ref35”，“物品标签”：“pySMT:a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms”，“author”：“gario”，“year”：“2015”，“journal-title”：“SMTPS研讨会”}，{“key”：“ref34”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2883817.283826”}“参考11”，“首页”：“187”，“article-title”：“非线性混合自动机的无量词SMT编码”，“author”：“cimatti”，“year”：“2012”，“journal-title“：”FMCAD“}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/978-3642-36742-7_7”}，“key“：”ref13“，”doi-assert-by“：”publisher“，”doi“：”10.3384 \/ecp1612455“}”，{”key：“参考14”，“文章标题”：“使用mod-elica和dymola进行物理建模，使用simulink和实时车间进行实时仿真”，“author”：“elmqvist”，“year”：“1997”，“journal-title”：“MATLAB用户会议”}，{“key”：“ref15”，“author”:“krishna”，“year”：《2013》，“jornal-tittle”：《使用openmodelica进行太阳能和风能联合系统的建模和仿真》}，“author”：“fritzson”，“year”：“2014”，“journal-title”：“Modelica 3 3 A Cyber-Physical Approach面向对象建模与仿真原理”}，{“key”：“ref17”，“au作者”：“mathworks”，“年”：“0”，“日记标题”：“Simscape power systems”}，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/13.965777”}，{“key”：“ref28”，“doo-asserted-by”：”publisher“，”doi“：”10.1109\/NEWCAS.2006.250926“}，”{“key”：“ref4”，“article-title”：“dreal:实域非线性理论的SMT求解器”，“author”：“gao”，“year”：“2013”，“journal-title“：”CADE-24“}”，{”key“：”ref27“，”doi-asserted-by“：”crossref“，”doi“：“10.29007\/s3b9”，“article-title”：“dReal中混合系统的SMT编码”，“author”：“bae”，“year”：“2015”，“journal-title“：”ARCH14–15 EasyChair“}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-22110-1_30”}，“key“：”ref6“，”doi-assert-by“：”publisher“，”doi“：”10.1142\/6746“}，{“key”：“ref29”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-30494-4_3”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/9783-662-46681-0_4”}、{“key”：”ref8“，“article-title”：“可满足模理论”，“author”：“barrett”，“year”：“2009”，“journal-title“：”“可满足性手册”}“，”journal-title“：“流形分析”}，{“key”：“ref2”，“author”：“janschek”，“year”：“2011”，“journal-title”：“机电系统设计方法模型概念”}，{“密钥”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/b97662”}y“：”publisher“，”doi“：“10.1007\/978-3-319-48989-6_11”}，{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/978-23-319-21401-6_36”}、{“密钥”：“ref21”，“article-title”：“坦克网络分层控制器的基准生成器”，“author”：“bak”，“year”：“2015”，“journal-title“：”ARCH“}”，{”key“：”ref24“，”doi-assert-by“：”publisher“，”内政部“：”10.1007\/978-3642-39799-8_18“}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2038642.2038685”}]，“事件”：{“名称”：“2017计算机辅助设计中的形式化方法（FMCAD）”，“位置”：“维也纳”，“开始”：{“日期部分”：[[2017,10,2]}，“结束”：{“日期部分”：[[2017,10,6]]｝，“容器标题”：[“2017计算机辅助设计中的形式化方法（FMCAD）”]，“原标题”：[]，“链接”：[{“URL”：“http://explorestaging.ieee.org/ielx7\/8093672\/81022222\/081002259.pdf？arnumber=8102259”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,10,5]]，“date-time”：”2019-10-05T23:11:35Z“，“timestamp”：1570317095000}，“score”：1，“resources”：{primary“URL”：“http://ieeexplore.iee.org\/document\/8102259\/”}}，”subtittle“：[]，“短标题”：[]，”已发布“：{”日期部分“：[[2017,10]]}，“references-count”：38，“URL”：“http://\/dx.doi.org\/10.23919\/fmcad.2017.8102259”，“relation”：{}，”subject“：[]，“published”：{“date-parts”：[[2017，10]]}}}