×
阿奈、平子

在基于模型的制造设计中应用代数几何。 （英语） Zbl 1326.93050号

Wakayama，Masato（编辑）等人，《应用程序对数学的影响》。《工业数学论坛论文集》，“2013年工业数学”，日本福冈，2013年11月4日至8日。东京：Springer（ISBN 978-4-431-54906-2/hbk；978-4-331-54907-9/电子书）。工业数学1，177-186（2014）。
摘要：在本文中，我们从“实际代数几何中的应用如何影响算法开发”的角度展示了实际代数几何和制造中控制系统设计的相互作用。交互作用的一个重要方面是我们如何克服解决实际问题固有的计算复杂性，关键是充分利用实际问题的特殊结构。
关于整个系列，请参见[Zbl 1300.00038号].

MSC公司：

93亿B51 设计技术（稳健设计、计算机辅助设计等）
14第05页 实代数集
1999年第14季度 代数几何中的计算方面
13第25页 交换代数的应用（例如，统计、控制理论、优化等）

关键词：

实代数几何;量词消去法;符号优化;控制系统设计;制造设计

软件：

红线批注;QEPCAD公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Anai}，数学。Ind.（东京）117--186（2014；Zbl 1326.93050）
全文： 内政部

参考文献：

[1] Akahori，I。；Hara，S.，基于面向对象概念的计算机辅助控制系统分析和设计（日语），Trans。SICE，24，5，506-513（1988）
[2] Anai，H.，Hara，S.：通过特殊量词消除基于符号确定条件的固定结构鲁棒控制器综合。摘自：《美国控制会议记录》，第1312-1316页（2000）
[3] 阿奈，H。；Hara，S.，通过量词消除实现定阶鲁棒控制器综合的参数空间方法，《国际控制杂志》，79，11，1321-1330（2006）·Zbl 1133.93018号 ·doi:10.1080/00207170600726550
[4] 洞穴，BF；Johnson，JR，量化消去和柱面代数分解（1998），纽约：施普林格，纽约·Zbl 0906.03033号
[5] Collins，G.E.：通过圆柱代数分解消除实闭域的量词，LNCS 32。柏林施普林格（1975）·Zbl 0318.02051号
[6] Collins，G.E.，Hong，H.：量词消除的部分柱面代数分解。J.符号计算。12（3），299-328（1991年9月）·Zbl 0754.68063号
[7] Didier，H.，Andrea，G.：控制中的正多项式。控制与信息科学讲座笔记，第312卷。柏林施普林格出版社（2005）·Zbl 1059.93002号
[8] Dolzmann，A。；Sturm，T.，Redlog：计算机代数与计算机逻辑，ACM SIGSAM Bull。，31，2，2-9（1997年）·doi:10.1145/261320.261324
[9] 多拉托，P。；杨伟（Yang，W.）。；Abdallah，C.，通过量词消除进行稳健的多目标反馈设计，J.Symb。公司。，24, 153-159 (1997) ·Zbl 0938.93534号 ·doi:10.1006/jsco.1997.0120
[10] González-Vega，L.：解决一些量词消除问题的组合算法。收录于：Caviness，B.，Johnson，J.（编辑）量词消除和柱面代数分解，《符号计算中的文本和专著》，第365-375页。柏林施普林格（1998）·Zbl 0900.68277号
[11] Hyodo，N。；洪，M。；Yanami，H。；Hara，S。；Anai，H.，基于量词消除的控制中非线性参数约束的求解和可视化，应用。代数工程通讯。计算。，18, 6, 497-512 (2007) ·Zbl 1167.68467号 ·doi:10.1007/s00200-007-0056-7
[12] Iwane，H.、Higuchi，H.和Anai，H.:（2013）通过逻辑公式简化，有效地实现了符号确定条件的特殊量词消除。收录于：ASC 2013：《计算机科学讲义》，第8136卷，第194-208页。柏林施普林格出版社（2013）·Zbl 1411.68209号
[13] Iwane，H。；Yanami，H。；Anai，H.，制造设计中多目标优化的符号-数字方法，数学。计算。科学。，5, 3, 315-334 (2011) ·Zbl 1270.90061号 ·doi:10.1007/s11786-011-0097-y
[14] Iwane，H。；Yanami，H。；阿奈，H。；Yokoyama，K.，用于量词消除的符号-数字柱面代数分解的有效实现，Theor。计算。科学。，479, 43-69 (2013) ·Zbl 1291.68433号 ·doi:10.1016/j.tcs.2012.10.020
[15] Jirstrand，M.，通过量词消除进行非线性控制系统设计，J.Symb。公司。，24, 2, 137-152 (1997) ·Zbl 0882.93022号 ·doi:10.1006/jsco.1997.0119
[16] 卢斯，R。；Weispfenning，V.，应用线性量词消去法，计算。J.，36，5450-462（1993年）·Zbl 0787.03021号 ·doi:10.1093/comjnl/36.5.450
[17] Matsui，Y.，Iwane，H.，Anai，H.：《计算机代数研究的发展与产业合作》，MI讲座笔记系列，第49卷，第43-52页。九州大学（2013）
[18] Saito，O.，《计算机辅助控制工程：控制工程和计算机代数操作的外围》（日语），系统。控制，29，12，785-794（1985）
[19] 塞登伯格，A.，《初等代数的一种新决策方法》，《数学年鉴》。，60, 365-374 (1954) ·Zbl 0056.01804号 ·doi:10.2307/1969640
[20] 斯特泽波恩斯基，AW，《使用验证数值的圆柱代数分解》，J.符号计算。，41, 9, 1021-1038 (2006) ·Zbl 1124.68123号 ·doi:10.1016/j.jsc.2006.06.004
[21] Sturm，T.：应用量词消除的新领域。摘自：2006年第14届计算机代数国际研讨会（CASC）会议记录，第295-301页（2006）·Zbl 1141.68714号
[22] Tarski，A.，《初等代数和几何的决策方法》（1951），伯克利：加州大学出版社，伯克利·Zbl 0044.25102号
[23] 魏斯芬宁，V.，《场中线性问题的复杂性》，J.符号计算。，5, 1-2, 3-27 (1988) ·Zbl 0646.03005号 ·doi:10.1016/S0747-7171（88）80003-8
[24] 魏斯芬宁，V.，通过量词消除进行模拟和优化，J.Symb。计算。，189-208年2月24日（1997年）·Zbl 0883.68075号 ·doi:10.1006/jsco.1997.0122
[25] 魏斯芬宁，V.：实代数量词消除的新方法。收录于：Caviness，F.，Johnson，J.R.（编辑）量词消除和柱面代数分解，《符号计算中的文本和专著》，第376-392页。柏林施普林格（1998）·Zbl 0900.03046号
[26] Yoshimura，S.、Iki，H.、Uriu，Y.、Anai，H.和Hyodo，N.：使用参数空间设计方法的发电机励磁控制。摘自：第43届国际大学电力工程会议（UPEC 2008），第1-4页（2008）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。