{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,1,2]，“日期-时间”：“2023-01-02T05:19:57Z”，“时间戳”：1672636797295}，“参考-计数”：13，“出版商”：“计算机协会（ACM）”，“问题”：“2”，“许可证”：[{“开始”：{:“日期-零件”：[2019,11,8]]，“日期时间“：”2019-11-08T00:00:00Z“，“timestamp”：1573171200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“内容域”：{“domain”：[“dl.acm.org”]，“crossmark-restriction”：true}，”shortcontainer-title“：[”acm Commun.Comput.Algebra“]，”published-print“：{”date-parts“：[2019,11,8]]}，“抽象”：“许多重要的实际过程都是使用包含未知参数的常微分方程（ODE）系统建模的。这些参数的值通常是从实验数据中推断出来的。然而，由于模型的结构，即使在连续无噪声数据的情况下，也可能有多个参数值产生相同的观察行为。在收集实际数据之前，预先检测此类情况非常重要。在这种情况下，唯一的输入是模型本身，所以用符号计算的方法解决这个问题是很自然的<\/jats:p>\n我们提出了新的软件SIAN（结构可识别性分析软件）来解决这个问题。我们的软件允许解决以前无法解决的问题。它是用Maple编写的，可在https:\/\/github.com//pogudingleb\/SIAN上找到<\/jats:p>“，”DOI“：”10.1145\/3371991.3371993“，”type“：”journal-article“，”created“：{”date-parts“：[[2019,11,8]]，”date-time“：”2019-11-08T20:27:58Z“，”timestamp“：1573244878000}，”page“：“：3，”标题“：[”SIAN“]，”前缀“：”10.1145“，”卷“：”53“，”作者”：[｛“给定”：“Hoon”，“家族”：“Hong”，“序列”：“first”，“附属关系”：[｛“name”：“North Carolina State University”}]｝，｛“给定”：“Alexey”，“家族”：“Ovchinnikov”，“序列”：“additional”，“附属关系”：[｛“name”：“CUNY Queens College”}]｝，｛“给定”：“Gleb”，“家族”：“Pogudin”，“序列”：“additional”，“附属关系”：[｛“name”：“New York University”}]｝，｛给定“：”Chee“，”family“：”Yap“，”sequence“：”additional“，”affiliation“：[{”name“：”New York University“}]}]，”member“：”320“，”published-online“：{”date-parts“：[[2019,11,8]]}，”reference“：[}”key“：”e_1_1__1_1“，”doi-asserted-by“：“publisher”，“doi”：“10.1016\/0025-5564（70）90132-X”}，{“key”：“e_2_1__2_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.cmpb.2007.002”}，{“key“：”e_1_2_1_3_1“，”volume-title“：”微分模型的全局可识别性。preprint“，”author“：”Hong H.“，”year“：”2018“}，{”key“：”e_1_1_4_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1093\/生物信息学\/bty1069”}，“key”：“e_1_i_1_5_1”，”doi-assert-by“：”publisher“，，“doi”：“10.1093\/生物信息学\/btx735”}，{“密钥”：“e_1_2_7_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1371\/journal.pone.0110261“}，{”key“：”e_1_1_8_1“，“doi-assert-by”：“publisher”，“doi”：“10.5555\/211390”}，“key”：“e_1_i_1_9_1”，”doi-asserted-by“:”publishers“，”doi“：“10.1016\/0025-5564（82）90033-5”}serted-by“：”publisher“，”doi“：”10.1006\/jsco.2002.0532“}，{“key”：“e_1_2_1_11_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.ifacol.2018.03.089“}，{“key”：“e_1_2_1_12_1”，“doi-assert-by”：“publisher”、“doi”：“10.1016\/j.mbs.2018.02.004”}、{“key”：”e_1_i_13_1“，“doi asserted-by”：”publister“，”doi“：“10.1371_/journal.pcbi.1005153”}]，“container-title”：[“ACM Communications”在计算机代数“]”中，“original-title”：[]，“language”：“en”，“link“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3371991.3371993“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,1]]，”date-time“：“2023-01-01T08:29:35Z”，“timestamptime”：1672561775000}，“score”：1，“resource”：{“primary”：URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/3371991.3371993“}}，”副标题“：[”用于评估参数ODE的结构可识别性的工具“]，”短标题“：[]，”已发布“：{”日期部分“：[[2019,11,8]]}，“references-count”：13，”日志发布“：10.1145\/3371991.3371993“]，“URL”：“http:\/\/dx.doi.org\/10.1145\/3371991.3371993“，”关系“：{}，”ISSN“：[”1932-2240“]，”ISSN-type“：[{”值“：”1932-224“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[[2019,11,8]]}，“断言”：[{“值”：“2019-11-08”，“顺序”：2，“名称”：“发布”，“标签”：“已发布”，”组“：{“name”：“publication_history”，“label”：“publication history”}}]}}