×
爱德华·A·李。

建设性碰撞。 （英语） Zbl 1416.68202号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 161-176 (2014).
摘要：本文研究了刚体碰撞等离散物理现象模型的语义。本文将广义函数（特别是Dirac delta函数）、超稠密时间、模态模型和构造语义相结合，以获得丰富、灵活、高效和严格的方法来建模此类系统。它表明，建模技术中存在问题的许多物理场景表现为非构造模型，其中一些模型的构造版本恰当地反映了物理系统行为中的不确定性，这些不确定性似乎源自量子力学原理。本文认为，这些建模困难并没有通过更详细的物理现象连续模型得到合理解决。这种更详细的模型只是将不确定性转移到模型的其他方面。由于这种详细的模型具有很高的计算成本，除非建模的目标是专门理解这些更详细的物理过程，否则使用它们几乎没有理由。描述了这些方法在托勒密二世建模与仿真环境中的实现。
关于整个系列，请参见[Zbl 1291.68012号].

MSC公司：

68平方英寸 模拟（MSC2010）
00安培79 物理学

软件：

埃斯特雷尔;Modelica公司;托勒密
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Lee}，莱克特。注释计算。科学。8415，161--176（2014；Zbl 1416.68202）
全文： 内政部

参考文献：

[1] Alur，R.，Courcoubetis，C.，Halbwachs，N.，Henzinger，T.，Ho，P.-H.，Nicollin，X.，Olivero，A.，Sifakis，J.，Yovine，S.：混合系统的算法分析。理论计算机科学138（1），3–34（1995）·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-T
[2] Beer Jr.，F.，Johnston，E.R.：《工程师向量方程：动力学》，第6版。麦格劳·希尔（1996）
[3] Benveniste，A.，Berry，G.：反应式和实时系统的同步方法。IEEE会议记录79（9），1270–1282（1991）·数字对象标识代码：10.1109/5.97297
[4] Benveniste，A.，Bourke，T.，Caillaud，B.，Pouzet，M.：混合系统建模者的基础。《计算机与系统科学杂志》78（3），877–910（2012）·Zbl 1244.68050号 ·doi:10.1016/j.jcss.2011.08.009
[5] Berry，G.：《纯酯的建构语义》。初稿，第3版。(2003)
[6] Cardoso，J.、Lee，E.A.、Liu，J.和Zheng，H.：连续时间模型。收录：托勒密（Ptolemaeus，C.）（编辑）《使用托勒密二世的系统设计、建模和仿真》。Ptolemy.org，伯克利（2014）
[7] Chatterjee，A.，Ruina，A.：基于脉冲空间考虑的新代数刚体碰撞定律。《应用力学杂志》65（4），939–951（1998）·doi:10.115/12.791938
[8] Davey，B.A.，Priestly，H.A.：格与秩序导论，第二版。剑桥大学出版社（2002）·doi:10.1017/CBO9780511809088
[9] Erleben，K.、Sporring，J.、Henriksen，K.和Dohlmann，H.：基于物理的动画。查尔斯·里弗传媒公司，辛厄姆（2005）
[10] Feng，T.H.，Lee，E.A.，Liu，X.，Tripakis，S.，Zheng，H.，Zhou，Y.：模态模型。收录：托勒密（Ptolemaeus，C.）（编辑）《使用托勒密二世的系统设计、建模和仿真》。Ptolemy.org，伯克利（2014）
[11] Glockner，C.：刚性多体系统中的标量力势。收录：Pfeiffer，F.，Glockner，C.（编辑）《单侧接触多体动力学》。CISM课程与讲座，第421卷。施普林格，维也纳（2000）
[12] Lee，E.A.：使用离散事件对并发实时过程进行建模。软件工程年鉴7，25–45（1999）·Zbl 05466731号 ·doi:10.1023/A:1018998524196
[13] Lee，E.A.：离散和连续物理现象的构造模型。加州大学伯克利分校EECS部门技术报告（2014年2月）
[14] Lee，E.A.，Sangiovanni-Vincentelli，A.：比较计算模型的框架。IEEE传输。电路和系统的计算机辅助设计17（12），1217–1229（1998）·Zbl 05448730号 ·doi:10.1109/43.736561
[15] Lee，E.A.，Tripakis，S.：托勒密的模态模型。参见：第三届基于等式的面向对象建模语言和工具国际研讨会（EOOLT），挪威奥斯陆，第47卷，第11-21页。林雪平大学电子出版社，林雪平大学（2010）
[16] Lee，E.A.，Varaiya，P.：《信号和系统的结构和解释》，2.0版。LeeVaraiya.org（2011）
[17] Lee，E.A.，Zheng，H.：混合系统的操作语义。收录：Morari，M.，Thiele，L.（编辑）HSCC 2005。LNCS，第3414卷，第25-53页。斯普林格，海德堡（2005）·Zbl 1078.93535号 ·doi:10.1007/978-3-540-31954-22
[18] Lee，E.A.，Zheng，H.：利用同步语言原则进行嵌入式系统的异构建模和设计。收件人：奥地利萨尔茨堡EMSOFT。ACM（2007）·doi:10.1145/1289927.1289949
[19] Lindström，T.：邀请进行非标准分析。摘自：Cutland，N.（编辑）《非标准分析及其应用》，第1-105页。剑桥大学出版社（1988）·Zbl 0658.03044号 ·doi:10.1017/CBO9781139172110.002
[20] Maler，O.，Manna，Z.，Pnueli，A.：从定时系统到混合系统。收录：Huizing，C.，de Bakker，J.W.，Rozenberg，G.，de Roever，W.-P.（编辑）REX 1991。LNCS，第600卷，第447-484页。斯普林格，海德堡（1992）·doi:10.1007/BFb0032003
[21] Mosterman，P.J.，Biswas，G.：物理系统模型中的不连续性理论。《富兰克林学院学报》335（3），401–439（1998）·Zbl 0900.93030号 ·doi:10.1016/S0016-0032（96）00126-3
[22] Mosterman，P.J.、Simko，G.、Zande，J.：物理系统模型中不连续行为的超稠密语义域。In：多范式建模，MPM（2013）
[23] Otter，M.、Elmqvist，H.、López，J.D.：Modelica多体库的碰撞处理。摘自：德国汉堡Modelica会议，第45-53页（2005年）
[24] 托勒密·C（编辑）：使用托勒密二世进行系统设计、建模和仿真。Ptolemy.org，伯克利（2014）
[25] Stewart，D.E.：具有摩擦和冲击的刚体动力学。SIAM评论42（1），3–39（2000）·Zbl 0962.70010号 ·doi:10.1137/S0036144599360110
[26] 蒂勒，M.M.：《Modelica物理建模导论》。Kluwer学术出版社（2001）·doi:10.1007/978-1-4615-1561-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。