{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,6,29]]，“日期-时间”：“2023-06-29T18:10:56Z”，“时间戳”：1688062256789}，“参考-计数”：33，“出版商”：“Springer Science and Business Media LLC”，“发行”：“8”，“许可证”：[{“开始”：{-“日期-零件”：[[2013,2,22]]，”日期-时间“：“2013-02-22T00:00:00Z”，“timestamp”：1361491200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Soft Compute“]，”published-print“：{”date-parts“：[[2013,8]]}”，“DOI”：“10.1007\/s00500-013-1005-y”，“type”：“journal-article”，“created”：{“date-parts”：[[2013,2,21]]，“日期-时间”：“2013-02-21T07:37:02Z”，“时间戳”：1361432222000}，“页面”：“1367-1378”，“源”：“Crossref”，“is-referenced-by-count”：2，“标题”：[“使用层次空间分解结构验证非凸超二次曲面之间的距离计算”]，“前缀”：“10.1007”，”卷“17”，“作者”：[{“给定”：“Stefan”，“族”：“Kiel”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Wolfram”，“family”：“Luther”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Eva”，“family”：“Dyllong”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“297”，“published online”：｛“date parts”：[[2013,2,22]]]｝，“reference”：[｛“key”：“1005_CR1”，“nonstructured”：“Alefeld G，Herzberger J（1983）区间计算简介。学术出版社，纽约“}，{“key”：“1005_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Araya I，Trombettoni G，Neveu B（2010）《利用区间约束传播中的单调性》。in:AAAI，“doi”：“10.1609\/aaaai.v24i1.7541”}，“{”key“：”1005_CR3“非结构化”：“Auer E，Chuev A，Cuypers R，Kiel S，Luther W（2011）生物力学验证和验证中精确和验证的数值算法的相关性。摘自：EUROMECH第511届学术讨论会，葡萄牙亚速尔群岛德尔加达蓬塔“}，{“key”：“1005_CR4”，“unstructured”：“Auer E，Cuypers R，Luther W（2012）工程验证的过程导向方法。摘自：ICINCO（2），pp 513\u2013518”}，}“issue”：“1”，“key“1005_CR5”，“doi-asserted-by”：“crossref”，“first-page”：“11”，“doi”：“10.1109\/MCG.1981.167 3799“，”卷“：”1“，”author“：”A Barr“，”year“：”1981“，”unstructured“：”Barr A（1981）Superquadrcs and angle-preserving transformations。计算图应用程序IEEE 1（1）：11\u201323”，“日志标题”：“计算图应用IEEE”}，{“问题”：“1”，“关键”：“1005_CR6”，“首页”：“11”，“卷”：“9”，“作者”：“B Bastl”，“年份”：“2005”，“非结构化”：“Bastl B，Jezek F（2005）隐含方法比较。J Geom Graph 9（1）:11\u201329”，“日记标题”：问题“：”2“，”密钥“：”1005_CR7“，”doi-asserted-by“：”crossref“，”first-page“：”170“，”doi“：”10.1145\/78956.78959“，”volume“：”9“，”author“：”P Brunet“，”year“：”1990“，”unstructured“：”Brunet P，Navazo I（1990）使用扩展八叉树的实体表示和运算。ACM Trans Graph（TOG）9（2）：170\u2013197“，”journal-title“：”ACM Trans-Graph（TOG）“}，{“key”：“1005_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“B\u00fchler K（2002）隐式线性区间估计。In:第18届春季计算机图形学会议论文集。ACM，纽约，第132页”，“doi”：“10.1145\/584479”}doi-asserted-by“：”crossref“，”unstructured“：”B\u00fchler K，Dylong E，Luther W（2004）使用有限精度几何进行可靠距离和交点计算。输入：Alt R、Frommer A、Kearfott R、Luther W（eds）带结果验证的数值软件。计算机科学课堂讲稿，第2991卷。Springer Berlin，第579\u2013600页“，”DOI“：”10.1007\/978-3-540-24738-8_9“}，{“问题”：“4”，“关键”：“1005_CR10”，“DOI-asserted-by”：“crossref”，“首页”：“24”，“DOI”：“10.1109\/MCG.1985.276454”，”卷“：“5”，“作者”：“I Carlbom”，“年份”：“1985”，“非结构化”：“Carlbom I，Chakravarty I，Vanderschel D（1985）表示三维对象的空间分解的分层数据结构。IEEE Comput Graph Appl 5（4）：24\u201331“，”journal-title“：”IEEE Compute Graph Apple“}，{”issue“：”1“，”key“：”1005_CR11“，“doi-asserted-by”：“crossref”，“first page”：“211”，”doi“：”10.1109\/TRO.2007.914851“，”volume“：“24”，“author”：“N Chakraborty”，“year”：“2008”，“unstructured”：“Chakraborty N，Peng J，Akella S，Mitchell JE（2008年）凸对象之间的邻近查询：隐式曲面的内点方法。IEEE Trans Rob 24（1）：211\u2013220“，”journal-title“：”IEEE Trans-Rob“}，{”key“：”1005_CR12“，”unstructured“：”Cuypers R（2011）Geometriche Modellierung mit Superquarken zur Optimierung skeletter Diagnosesysteme.Logos“}”，{“key”：“1005_CR13”，“doi-asserted-by”：“crossref”，“first page”：”253“，”doi“：”10.1007\/BF01096455“，”作者“：”K Du“，”年：“1994”，“非结构化”：“Du K，Kearfott RB（1994）多元全局优化中的聚类问题。J Global Optim 5:253\u2013265“，“journal-title”：“J Global opim”}，{“key”：“1005_CR14”，“unstructured”：“Dylong E，Grimm C（2007）验证了构造实体几何体对象的自适应八叉树表示法。In：Simulation und Visualisierung，pp 223\u2013 235“}，}“issue”：“1”，“key“1005_CR15”，“doi-asserted-by”：“crossref”，“first page”：”651“，“doi”：“10.1002 \/pamm.201010318“，”volume“：”10“，”author“：”E Dylong“，”year“：”2010“，”unstructured“：”Dyllong E，Kiel S（2010）使用区间优化技术验证了八叉树凸包之间的距离计算。PAMM 10（1）：651\u2013652“，”journal-title“：”PAMM“}，{”key“：”1005_CR16“，”doi-asserted-by“：”crossref“，”first page“：“281”，”doi“：”10.1007\/s00607-011-0161-0“，“volume”：“94”，“author”：“E Dyllong”，“year”：“2012”，“unstructured”：“Dylong E，Kiel S（2012）”使用不同距离封闭算法在隐式对象之间验证距离计算的比较。Computing 94:281\u2013296”，“journal-title”：“Computing”}，{“key”：“1005_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Edelsbrunner H（1995）非凸多面体的代数分解。In:Proceedings.第36届计算机科学基础年会，第248\u2013257页”，“doi”：“10.1109 \/SFCS.1995.492480”}非结构化“：”de Figueiredo L，Stolfi J（1997），自我验证的数值方法和应用。IMPA，里约热内卢“}，{“issue”：“2”，“key”：“1005_CR19”，“doi-asserted-by”：“crossref”，“first page”：《193》，“doi”：“10.1109”，《volume》：“4”，“author”：“E Gilbert”，“year”：“1988”，“unstructured”：“Gilbert E，Johnson D，Keerthi S（1988）计算三维空间中复杂物体之间距离的快速程序。IEEE J Robot Autom 4（2）：193\u2013203”，“期刊标题”：“IEEE J Robot Autom”｝，｛“key”：“1005_CR20”，“doi断言者”：“crossref”，“非结构化”：“Hansen E，Walster GW（2004）使用区间分析的全局优化。Marcel Dekker，New York”，“doi”：“10.1201\/9780203026922”｝，｛“key”：“1005_CR21”，“doi断言者”：“crossref”，“非结构化”：“Hofschuster W，Kr\u00e4mer W（2004）C-XSC 2.0用于扩展科学计算的C++库。输入：Alt R、Frommer A、Kearfott R、Luther W（eds）带结果验证的数值软件。计算机科学课堂讲稿，第2991卷。柏林施普林格，pp 259\u2013276“，“DOI”：“10.1007\/978-3-540-24738-8_2”}，{“key”：“1005_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“Jakli\u010d A，Leonardis A，Solina F（2000）超二次曲面的分割与恢复，第20卷。Springer，Amsterdam“，“DOI”：“10.1007\/978-94-015-9456-1”}，{“key”：“1005_CR23”，“unstructured”：“Kiel S（2010）使用隐式线性区间估计验证了隐式对象的空间细分。In:Curves and surfaces，pp 402\u2013415”}、{“密钥”：“100 5_CR24”，“首页”：“114”，“卷”：“16”，“作者”：“S Kiel”，“年份”：“2012”，“非结构化”：“Kiel S（2012）YalAA：仿射算法的另一个库。Reliable Compute 16:114\u2013129“，”journal-title“：”Reliable compute“}，{”issue“：”10“，”key“：”1005_CR25“，”doi-asserted-by“：”crossref“，“first page”：“1053”，“doi”：“10.4304\/jcp.4.10.1053-1063”，”volume“：“4”，“author”：“S Kockara”，“year”：“2009”，“unstructured”：“Kockara-S，Halic T，Bayrak C，Iqbal K，Rowe R（2009）接触检测算法。J计算4（10）：1053“，“journal-title”：“J Compute”}，{“key”：“1005_CR26”，“doi-asserted-by”：“crossref”，“unstructured”：“Lennerz C，Schomer E（2002）二次曲线和曲面的有效距离计算。In:Geometric modeling and processing，2002。论文集，第60\u201369页，“DOI”：“10.1109\/GMAP.2002.1027497”}，{“issue”：“4”，“key”：“1005_CR27”，“首页”：“379”，“volume”：”4“，“author”：“K Makino”，“year”：“2003”，“unstructured”：“Makino K，Berz M（2003）Taylor模型和其他经验证的函数包含方法。Int J Pure Appl Math 4（4）：379\u2013456”，“日记标题”：“Int J Pure Appl数学“}，{”key“：”1005_CR28“，”doi-asserted-by“：”crossref“，”first page“：“177”，“doi”：“10.1145\/285857.285860”，“volume”：“17”，“author”：“B Mirtich”，“year”：“1998”，“unstructured”：“Mirtich-B（1998）V-Clip：快速可靠的多面体碰撞检测。ACM Trans Graph 17:177\u2013208“，”journal-title“：”ACM Trans-Graph“}，{“key”：“1005_CR29”，“doi-asserted-by”：“crossref”，“doi”：“10.1109\/ROBOT.1994.351059”，“volume-title”：“非凸对象之间的有效距离计算”，“author”：“S Quinlan”，”year“1994”，“unstructured”：“Quinland S（1994）高效计算非凸对象之间的距离。在，Robot Autom“｝中，｛“key”：“1005_CR30”，“nonstructured”：“Samet H（2006）多维和度量数据结构的基础。Morgan Kaufmann，San Francisco”｝，｛“key”：“1005_CR31”，“doi断言”：“crossref”，“nonstructured”：“Shapiro V（2007）带R函数的半解析几何。ACTA Numer 16”，“doi”：“10.1017\/S0996249290631001X”｝，｛“key”：“1005_CR32“，”doi-asserted-by“：”crossref“，”unstructured“：”Snyder JM，Woodbury AR，Fleischer K，Currin B，Barr AH（1993）时间相关曲面之间多点碰撞的区间方法。摘自：第20届计算机图形和交互技术年会论文集，SIGGRAPH\u201993。美国医学会，纽约，pp 321\u2013334“，”DOI“：”10.1145\/166117.166158“}，{”issue“：”1“，”key“：”1005_CR33“，”DOI-asserted-by“：”crossref“，”first page“：“25”，“DOI”：“10.1007\/s10107-004-0559-y”，“volume”：“106”，“author”：“A W\u00e4chter”，“year”：“2006”，“unstructured”：“W\u001e4chster A，Biegler LT（2006）关于大规模非线性规划的点内滤波线性搜索算法的实现。数学程序106（1）：25\u201357“，”日志标题“：”数学程序“}]，”容器标题“：[”软计算“]，”原始标题“：[]，”语言“：”en“，”链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s00500-013-1005-y.pdf“，”内容类型“：”application\/pdf“”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http:\/\/link.springer.com/article\/10.1007\/s00500-013-1005-y\/fulltext.html“，”content-type“：”text\/html“，”内容-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/link.springer.com\/content\/pdf\/10.10007\/s0050-013-1005-y“，”content-type y-检查“}]，”存放“：{“date-parts”：[[2023,6,29]]，“date-time”：“2023-06-29T17:57:43Z”，“timestamp”：1688061463000}，“score”：1，“resource”：{”primary“:{”URL“：”http://\\link.sprimary.com\/10007\/s00500-013-1005-y“}”，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2013,22]]}，”references-count“：33，“新闻发布”：{“发布”：“8”，“发布-打印”date-parts“：[[2013,8]]}}，”alternative-id“：[”1005“]，”URL“：”http://\/dx.doi.org\/10.1007\/s00500-013-1005-y“，”关系“：{}，“ISSN”：[“1432-7643”，“1433-7479”]，“ISSN-type”：[{“value”：“1432-7443”，”type“：”print“}，{”value“：“1433-4479”，”类型“：”电子“}]，“subject”：[]，“已发布”：{“日期部分”：[[2013,2,22]]}}