Integration of reliable algorithms into modeling software

Luther, Wolfram; Haßlinger, Gerhard; Auer, Ekaterina; Dyllong, Eva; Traczinski, Daniela; Traczinski, Holger

doi:10.4230/DagSemProc.05391.5

将可靠算法集成到建模软件中

作者详细信息

沃尔夫拉姆·路德

格哈德·哈林格

叶卡捷琳娜·奥尔

伊娃·戴龙

丹妮拉·特拉钦斯基（Daniela Traczinski）

霍尔格·特拉津斯基

引用为获取BibTex

沃尔夫拉姆·路德（Wolfram Luther）、格哈德·哈林格（Gerhard Haßlinger）、叶卡捷琳娜·奥尔（Ekaterina Auer）、伊娃·戴龙（Eva Dylong）、丹妮拉·特雷钦斯基（Daniela Traczinski）和霍尔格·。将可靠算法集成到建模软件中。代数和数值算法及计算机辅助证明。达格斯图尔研讨会论文集，第5391卷，第1-17页，达格斯图-莱布尼兹·泽特鲁姆宫（2006）
https://doi.org/10.4230/DagSemProc.05391.5

@会议记录{luther_et_al:DagSemProc.05391.5，author={Luther、Wolfram和Ha{\ss}linger、Gerhard和Auer、Ekaterina和Dylong、Eva和Traczinski、Daniela和Trackinski、Holger}，title={{将可靠算法集成到建模软件}}，booktitle={代数和数值算法及计算机辅助证明}，页数={1--17}，series={Dagstuhl研讨会论文集（DagSemProc）}，ISSN={1862-4405}，年份={2006}，体积={5391}，editor={Bruno Buchberger和Shin’ichi Oishi以及Michael Plum和Sigfried M.Rump}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagSemProc.05391.5},URN={URN:nbn:de:0030-drops-4441}，doi={10.4230/DagSemProc.05391.5}，annote={关键词：可靠算法，随机交通建模，多体建模工具，几何建模}}

<trans data-src="@InProceedings{luther_et_al:DagSemProc.05391.5,">@会议记录{luther_et_al:DagSemProc.05391.5，</trans><trans data-src="author =	{Luther, Wolfram and Ha{\ss}linger, Gerhard and Auer, Ekaterina and Dyllong, Eva and Traczinski, Daniela and Traczinski, Holger},">author={Luther、Wolfram和Ha{\ss}linger、Gerhard和Auer、Ekaterina和Dylong、Eva和Traczinski、Daniela和Trackinski、Holger}，</trans><trans data-src="title =	{{Integration of reliable algorithms into modeling software}},">title={{将可靠算法集成到建模软件}}，</trans><trans data-src="booktitle =	{Algebraic and Numerical Algorithms and Computer-assisted Proofs},">booktitle＝{代数和数值算法以及计算机辅助证明}，</trans><trans data-src="pages =	{1--17},">页数={1--17}，</trans><trans data-src="series =	{Dagstuhl Seminar Proceedings (DagSemProc)},">series={Dagstuhl研讨会论文集（DagSemProc）}，</trans><trans data-src="ISSN =	{1862-4405},">ISSN={1862-4405}，</trans><trans data-src="year =	{2006},">年份={2006}，</trans><trans data-src="volume =	{5391},">体积={5391}，</trans><trans data-src="editor =	{Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},">editor={Bruno Buchberger和Shin’ichi Oishi以及Michael Plum和Sigfried M.Rump}，</trans><trans data-src="publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},">publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，</trans><trans data-src="address =	{Dagstuhl, Germany},">地址={Dagstuhl，德国}，</trans><trans data-src="URL =		{">URL={</trans><trans data-src="https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.5">https://drops.dagstuhl.de/entities/documents/10.4230/DagSemProc.05391.5</trans><trans data-src="},">},</trans><trans data-src="URN =		{urn:nbn:de:0030-drops-4441},">URN={URN:nbn:de:0030-drops-4441}，</trans><trans data-src="doi =		{10.4230/DagSemProc.05391.5},">doi={10.4230/DagSemProc.05391.5}，</trans><trans data-src="annote =	{Keywords: Reliable algorithms, stochastic traffic modeling, multibody modeling tools, geometric modeling}">annote={关键词：可靠算法，随机交通建模，多体建模工具，几何建模}</trans><trans data-src="}">}</trans>

摘要

在本说明中，我们讨论了使用经验证的数据类型、受控舍入、算法微分和区间方程或初值问题求解器，通过可靠的例程增强现代建模与仿真软件（MSS）的策略。突出显示了几个目标系统。在随机流量建模中，工作负载分布的计算起着重要作用，因为它们影响服务参数的质量。INoWaTIV是一种工作负载分析工具，它使用两种不同的技术：多项式因子分解方法和Wiener-Hopf因子分解来准确地确定GI/GI/1和SMP/GI/1服务系统的工作负载分布。开发了多体建模与仿真软件的两个扩展，以验证的方式对多体系统的运动学和动力学特性进行建模。此外，还创建了一个接口，允许计算凸壳和用SIVIA（通过区间分析设置逆变器）构造的子视频编码对象之间距离的可靠下限。

将可靠算法集成到建模软件中

作者沃尔夫拉姆·路德, 格哈德·哈林格, 叶卡捷琳娜·奥尔, 伊娃·戴龙, 丹妮拉·特拉钦斯基（Daniela Traczinski）, 霍尔格·特拉钦斯基

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

韵律学

感谢您的反馈！

无法发送消息

将可靠算法集成到建模软件中

作者 沃尔夫拉姆·路德, 格哈德·哈林格, 叶卡捷琳娜·奥尔, 伊娃·戴龙, 丹妮拉·特拉钦斯基（Daniela Traczinski）, 霍尔格·特拉钦斯基

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

韵律学

感谢您的反馈！

无法发送消息

作者沃尔夫拉姆·路德, 格哈德·哈林格, 叶卡捷琳娜·奥尔, 伊娃·戴龙, 丹妮拉·特拉钦斯基（Daniela Traczinski）, 霍尔格·特拉钦斯基