AnyMath 文档

定义优化问题

该页面正在翻译中。

 
SciMLBase.SciMLBase.OptimizationProblem(sys::System, op; kwargs...)
SciMLBase.SciMLBase.OptimizationProblem{iip}(sys::System, op; kwargs...)
SciMLBase.SciMLBase.OptimizationProblem{iip, specialize}(sys::System, op; kwargs...)

建立一个 SciMLBase。优化问题 给定一个系统 系统 和操作点 op的 . iip 是一个布尔值，指示问题是否应该到位。 专业化 是一个 SciMLBase。抽象，抽象 指示SciMLBase的专用级别的子类型。优化功能。 操作点应该是键值对的可迭代集合，将系统中的变量/参数映射到它们应该接受的（初始）值 SciMLBase。优化问题. 未提供的任何值都将回退到相应的默认值（如果存在）。

关键字参数

  • eval_表达式：是否通过编译任何函数 埃瓦尔 或 RuntimeGeneratedFunctions.

  • eval_module：如果 eval_expression==真，模块到 埃瓦尔 进。 否则，在其中生成的模块 RuntimeGeneratedFunction.

  • 猜测：系统中变量的猜测，用作初始化问题的初始值。

  • [医]初定：如果初始化系统未确定/过度确定，则发出警告。

  • 初始化_eqs：在初始化问题中使用的额外方程。

  • 完全确定：复盖初始化系统是否完全确定。

  • use_scc：是否使用 [医]核问题 如果系统完全确定，则进行初始化。

  • 检查_初始化_units：在构造初始化问题时启用或禁用单元检查。

  • n.浮标,浮标：传递给 varmap_to_vars构建非分裂系统的参数向量时。

  • u0_eltype： eltype,eltype 的 u0 矢量。 如果 什么都没有，从 op的.

  • u0_构造器：应用于 u0 返回的值 varmap_to_vars. 建造决赛 u0 价值。

  • p_构造器：用于在构造参数对象时创建的每个数组缓冲区的函数。

  • [医]独立性：是否发出警告，列出在为未知数和参数提供的初始条件下的循环。

  • circular_dependency_max_cycle_length：检查周期的最大长度。 只适用于 warn_cyclic_dependency==真.

  • 循环依赖_max_循环：要检查的最大循环数。 只适用于 warn_cyclic_dependency==真.

  • 替换/替换:将初始条件相互替换以尝试获得数值的次数。

  • 检查相容性：是否检查给定的系统 系统 包含创建一个 SciMLBase。优化问题 而且没有更多。 如果禁用，则假定 系统 至少包含必要的信息。

  • 表达方式: 瓦尔{true} 返回 Expr 这构造了相应的问题而不是问题本身。 瓦尔{false} 否则。

所有其他关键字参数都转发到SciMLBase。OptimizationFunction构造函数。

扩展文件

以下API是内部API，可能会更改或删除，恕不另行通知。 它的使用是非常不鼓励的。

  • n.建筑,建筑：如果 错误，避免了构建初始化问题。

  • 检查_长度：是否检查方程的数量以及未知数的数量和长度 u0 向量进行一致性。 如果 错误，不要用方程检查。 这被转发到 检查_eqs_u0.

  • 时间依赖：是否为问题构建依赖于时间的初始化。 一个依赖于时间的初始化解决了一致的 u0，而与时间无关的只运行参数初始化。

  • 代数_单：是否仅使用代数方程构建初始化问题。

  • 允许完成：是否允许不完整的初始化问题。