Pyomo
入门指南
操作指南
解释
Pyomo 哲学
在Pyomo中建模
Solvers
Pyomo中的分析
建模工具
开发者工具
实验性功能
参考指南
Pyomo
Explanations
View page source
解释
Pyomo 哲学
抽象模型
Pyomo 组件设计
Pyomo 表达式
更快地构建表达式
设计概述
设计细节
管理表达式
模型转换
在Pyomo中建模
数学编程
Sets
参数
Variables
目标
约束条件
Expressions
特殊有序集 (SOS)
Suffixes
使用pyomo.DAE进行动态优化
Modeling Components
声明微分方程
声明积分
离散化变换
动态模型仿真
动态模型初始化
广义析取规划
关键概念
在Pyomo.GDP中建模
使用Pyomo.GDP解决基于逻辑的模型
MPEC
Pyomo Network
建模组件
Arc Expansion Transformation
Sequential Decomposition
Pyomo中的单位处理
Solvers
持久性求解器
使用持久求解器
使用索引变量和约束
持久求解器性能
GDPopt 基于逻辑的求解器
基于逻辑的外逼近法 (LOA)
全局基于逻辑的外逼近 (GLOA)
整数切割松弛 (RIC)
基于逻辑的分支定界法 (LBB)
GDPopt 实现和可选参数
PyROS 求解器
方法概述
PyROS 安装
PyROS 所需输入
PyROS 求解器接口
PyROS不确定性集合
PyROS 使用示例
PyROS 求解器日志输出
反馈和报告问题
MindtPy 求解器
MINLP 公式
解决凸MINLPs
解决非凸MINLPs
MindtPy 实现和可选参数
获取帮助
报告一个错误
MC++ 接口
默认安装
手动安装
多起点求解器
使用多起点求解器
多启动包装器实现和可选参数
信任域框架方法求解器
方法概述
TRF 输入
TRF 求解器接口
TRF 使用示例
PyNumero
PyNumero 安装
10分钟了解PyNumero
向后兼容性
PyNumero API
Developers
基于PyNumero构建的包
使用PyNumero的论文
z3 SMT 可满足性求解器接口
安装
使用 z3 Sat 求解器
Pyomo中的分析
生成替代(接近)最优解
基本用法示例
Gap 使用示例
Interface Documentation
Pyomo模型的社区检测
包的描述和
detect_communities
函数
外部包
使用示例
此包中的函数
Pyomo.DoE
方法概述
Pyomo.DoE 所需输入
Pyomo.DoE 使用示例
不可行性诊断
不可行不可约系统 (IIS) 工具
最小难处理系统查找器(MIS)工具
发病率分析
概述
发病率分析教程
API Reference
MPC
概述
示例
常见问题
API Reference
Citation
使用
parmest
进行参数估计
Citation for parmest
parmest 文档索引
Sensitivity Toolbox
使用敏感性工具箱
安装 sIPOPT 和 k_aug
Sensitivity Toolbox Interface
建模工具
“扁平化”一个Pyomo模型
Motivation
API参考
扁平化模型是什么意思?
数据结构
Citation
Latex 打印
示例
非线性预处理变换
变量聚合器
显式约束到变量边界
诱导线性重构
约束边界收紧器
Trivial Constraint Deactivation
固定变量检测
Fixed Variable Equality Propagator
Variable Bound Equality Propagator
Variable Midpoint Initializer
Variable Zero Initializer
Zero Term Remover
Variable Bound Remover
Zero Sum Propagator
模型缩放变换
设置缩放因子
应用模型缩放
开发者工具
Pyomo 配置系统
域验证
配置类层次结构
与argparse交互
访问用户指定的值
生成输出和文档
功能弃用和移除
弃用
Removal
实验性功能
内核库
语法比较表 (pyomo.kernel vs pyomo.environ)
显著的改进
未来求解器接口变更
New Interface Usage
接口实现
结果
Solution