自1.0版起 自1.0版起 自1.0版起 自1.0版起 自1.0版起 自1.0版起 自1.0版起 自1.0版起-不使用矩阵。例如，表达式2x+3y+x^2+2xy+3y^2有三个二次系数：1、2、3 自1.0版起 自2.0版起我们使用了SOS的LPSOLVE定义，这可以追溯到J.a.Tomlin在1981年《图与离散规划研究》中的一篇论文。 自2.0版起 实验 自2.0版起 实验 自2.0版起 自2.0版起 实验 建议 建议 建议 建议 建议 草案 实验 实验 实验 最后定稿 最后定稿 实时数据和模拟。实验 实验 最后定稿 自1.0版起 var子元素的数量必须与numberOfVariables一致（在考虑了“mult”之后） 2.0版中添加了半连续（D）和半整数（J）类型 自1.0版起。自2.0以来的变量类型“D”（半连续）和“J”（半整数）。 C-连续B-二进制I-整数S-字符串D-半连续J-半整数 自1.0版起 obj子元素的数量必须与numberOfObjectives一致（考虑“mult”后） 自1.0版起 coef子元素的数量必须与numberOfObjCoef匹配 如果重复idx，则将目标项/系数相加。 自版本1.0起 自1.0版起 con子元素的数量必须与numberOfConstraints一致（在考虑“mult”之后） 自1.0版起 自1.0版起 考虑“mult”后，开始元素中的条目数必须等于numberOfVariables+1（如果是columnMajor）或numberOfConstraints+1（那么是rowMajor。value和rowIdx/colIdx子元素中的条目数必须与numberOfValues一致（在考虑“mult”之后）。将同一位置的多个系数相加。 自1.0版起 qTerm子元素的数量必须与numberOfQuadraticTerms一致 自1.0版起 约束或目标的索引 第一个变量的索引 第二个变量的索引 的系数二次项 自1.0版起 子nl元素的数量必须与numberOfNonlinearExpressions一致 2.0版中添加的形状属性 自1.0版起 约束或目标行索引 建议 仅适用于复值表达式-实值表达式应设置为非线性表达式 草案 考虑“mult”后，数字必须与numberOfComplexVar匹配 草案 必须是常量矩阵；如果缺失则为零 包含var-lb；假设缺少全部C 必须是常量矩阵；如果缺失，则为零 包含ub-var；假设缺少全部C 每个新创建的变量的类型相同 草案 考虑“mult”后，数字必须与numberOfComplexObj匹配 草案 例如，如果symmetry=“upper”，则仅生成上三角（包括对角线）中的目标并传递到解算器界面。 只要模板矩阵也有非零项，矩阵目标就有一个非零项。如果templateMatrixIdx缺失：完全密集矩阵。 控制核心目标的重用，而不是新目标的创建。注：仅当模板矩阵表示非零时。如果缺失，则使用模板矩阵所指示的所有目标都将重新创建。 如果obj（x）-obj（y）位于圆锥体中，则x（弱）优先于y。如果引用仅使用核心目标，则orderConeIdx可以省略，并默认为相应的正割锥 添加到目标中；如果缺失则为零 草案 考虑“mult”后，数字必须与numberOfComplexCon匹配 草案 例如，如果symmetry=“upper”，则只生成上三角（包括对角线）中的变量并传递给求解器界面。 只要模板矩阵也有非零项，矩阵约束就有一个非零项。如果templateMatrixIdx缺失：完全密集矩阵。 控制核心约束的重用，而不是新约束的创建。注：仅当模板矩阵表示非零时。如果缺少，则使用模板矩阵指示的所有约束都将重新创建。 必须是常量矩阵；如果缺失，则为零 包含mtx expr-lbMtx；假设缺失所有R^n 必须是常量矩阵；如果缺失则为零 包含ubMtx-mtx expr；假设缺失所有R^n 草案 数字必须与numberOfExpr一致 自1.0版起 指现有的复杂目标（如果是负面的）或复杂约束（如果是非负面的） 草案 数字必须与numberOfExpr一致 草案 指现有的复值目标（如果为负）或复值约束（如果为非负） 自2.0版起 仅适用于矩阵值表达式-标量值表达式应设置为非线性表达式 考虑“mult”后，数字必须与numberOfMatrixVar匹配 数字必须与描述的数字一致可用于设置Toeplitz或Cauchy矩阵 例如，如果symmetry=“upper”，则只生成上三角（包括对角线）中的变量并传递给求解器界面。 只要模板矩阵也有非零项，矩阵变量就有一个非零项。如果templateMatrixIdx缺失：完全密集矩阵。 控制核心变量的重用，而不是新变量的创建。注：仅当模板矩阵表示非零时。如果缺失，则使用模板矩阵指示的所有变量都将重新创建。 每个新创建变量的类型相同；默认值为“C”；从核心继承的变量保持核心中声明的类型和边界。 必须是常量矩阵；如果缺失则为零 包含varMtx-lbMtx；假设缺失所有R^n 必须是常量矩阵；如果缺失则为零 包含ubMtx-varMtx；假设缺失所有R^n 考虑“mult”后，数字必须与numberOfMatrixObj匹配 例如，如果symmetry=“upper”，则仅生成上三角（包括对角线）中的目标并传递到解算器界面。 只要模板矩阵也有非零项，矩阵目标就有一个非零项。如果templateMatrixIdx缺失：完全密集矩阵。 控制核心目标的重用，而不是创建新目标。注：仅当模板矩阵表示非零时。如果缺少，则使用模板矩阵指示的所有目标都将重新创建。 如果obj（x）-obj（y）位于圆锥体中，则x（弱）优先于y。如果引用仅使用核心目标，则orderConeIdx可以省略，并默认为相应的正割锥 添加到目标中；如果缺失则为零 考虑“mult”后，数字必须与numberOfMatrixCon匹配 数字必须与数字OfDescriptiors一致可用于设置Toeplitz矩阵 例如，如果symmetry=“upper”，则只生成上三角（包括对角线）中的变量并传递给求解器界面。 只要模板矩阵也有非零项，矩阵约束就有一个非零项。如果templateMatrixIdx缺失：完全密集矩阵。 控制核心约束的重用，而不是新约束的创建。注：仅当模板矩阵表示非零时。如果缺少，则使用模板矩阵所指示的所有约束都将重新创建。 必须是常量矩阵；如果缺失则为零 包含mtx expr-lbMtx；假设缺失所有R^n 必须是常量矩阵；如果缺失则为零 包含ubMtx-mtx expr；假设缺失所有R^n 数字必须与numberOfExpr一致 自2.0版起 指现有矩阵目标（如果为负）或矩阵约束（如果为非负） 实验-- 仅对于张量值表达式-标量值表达式应设置为非线性表达式 考虑“mult”后，数字必须与numberOfTensorVar匹配 维数必须等于张量秩 数字必须与数字OfDescriptiors一致可用于设置特殊张量，这些张量具有其他方法无法获得的特性 只要模板张量也有非零项，张量变量就有一个非零项。如果templateTensorIdx缺失：完全密集张量。 控制核心变量的重用，而不是新变量的创建。注：仅当模板张量表示非零时。如果缺失，则使用模板张量指示的所有变量都将重新创建。 对每个新创建的变量使用相同的类型；默认值为“C”；从核心继承的变量保持核心中声明的类型和边界。 必须是常数张量；如果缺失则为零 包含varMtx-lbMtx；假设缺失所有R^n 必须是常数张量；如果缺失则为零 包含ubMtx-varMtx；假设缺失所有R^n 考虑“mult”后，数字必须与numberOfTensorObj匹配 维数必须等于张量秩 只要模板rtensor也有，张量目标就有一个非零项。如果templateTensorIdx缺失：完全密集张量。 控制核心目标的重用，而不是创建新目标。注：仅当模板张量表示非零时。如果缺少，则使用模板张量指示的所有目标都将重新创建。 如果obj（x）-obj（y）位于圆锥体中，则x（弱）优先于y。如果引用仅使用核心目标，则orderConeIdx可以省略，并默认为相应的正割锥 添加到目标中；如果缺失则为零 考虑“mult”后，数字必须与numberOfTensorCon匹配 维数必须等于张量秩 数字必须与数字OfDescriptiors一致可以用来建立Toeplitz矩阵 只要模板张量也有非零项，张量约束就有一个非零项。如果templateTensorIdx缺失：完全密集张量。 控制核心约束的重用，而不是新约束的创建。注：仅当模板张量表示非零时。如果缺少，则使用模板张量指示的所有约束都将重新创建。 必须是常数张量；如果缺失则为零 包含张量expr-lbTensor；假设缺失所有R^n 必须是常数张量；如果缺失则为零 包含ubMtx-mtx expr；假设所有R^n（如果缺失） 数字必须与numberOfExpr一致 自2.0版起 指现有张量目标（如果为负）或张量约束（如果为非负） 推荐 子元素的数量必须与numberOfSOS匹配 推荐 仅当类型>=3时才需要。所有非零变量必须属于同一邻接集。相邻变量集必须是SOS变量集的子集。如果类型=2，则默认情况下，相邻变量是变量列表中的连续条目。 “type=k”表示此SOS中最多k个变量可以是非零的，且非零必须是“相邻的” 如果存在，则必须引用先前定义的表单约束x_i1+x_i2+…=1 实验 集合数必须与numberOfSets匹配 自2.0版起 各种圆锥体子元素的数量必须与numberOfCones匹配 实验 实验。矩锥是对应的非负多项式锥的对偶 草案 用于秩>=3的张量。 草案 草案 草案 必须有（numberOfRows*NumberOf Columns）方向（考虑“mult”后）。行索引变化最快，其次是列索引，然后是其他索引。 草案 草案 如果存在，方向数必须与产品Ax的尺寸相对应（考虑“mult”后）。行索引变化最快，其次是列索引，然后是其他索引。 '正'：Ax\ge 0；'负值：Ax\le 0；“mixed”：由“direction”元素指定 草案 草案 这是i0*n1*n2*…+形式的索引i1*n2*n3…+…+i_r，具有基于零的索引i0、i1。。。，i _ r 草案 每个都是i0*n1*n2*…+形式的索引i1*n2*n3…+…+i_r，具有基于零的索引i0、i1。。。，i _ r 草案 索引的形式为i0*n1*n2*…+i1*n2*n3…+…+i_r，具有基于零的索引i0、i1。。。，（_r） 草案 每个都是i0*n1*n2*…+形式的索引i1*n2*n3…+…+i_r，具有基于零的索引i0、i1。。。，i _ r 草案 草案 草案 方向向量的维数必须等于多项式中的变量数 实验。用于非负多项式锥及其对偶矩锥 多项式域的上界。默认值为+INF。索引是“扁平的”：i0*n1*n2*…+i1*n2*n3…+…+i_r，具有基于零的索引i0、i1。。。，i _ r 多项式域的下界。默认值为-INF。索引是“扁平的”：i0*n1*n2*…+i1*n2*n3…+…+i_r，具有基于零的索引i0、i1。。。，i _ r 草案 每个因子都给出了先前定义的圆锥体的指数 草案 草案 每个分量给出了先前定义的圆锥体的索引 草案 草案 草案 实验 推荐 推荐 数字必须与numberOfDataSources一致 最后定稿 如果uri和uriAlias都丢失，请使用defaultURI 如果缺少，请使用defaultRefreshPoint的值 数字必须与numberOfDataPoints一致 数字必须与numberOfTargetComponents一致 最后定稿 最后定稿 默认值为“真实” 实验 推荐 推荐 数字必须与numberOfDataItems一致 最后定稿 如果uri和uriAlias都丢失，请使用defaultURI 最后定稿 最后定稿 定稿 最后定稿 最后定稿 默认值为“真实” 实验 推荐 推荐 数字必须与numberOfDataItems一致 最后定稿 如果uri和uriAlias都丢失，请使用defaultURI 最后定稿 最后定稿 最后定稿 最后定稿 最后定稿 默认值为“真实” 实验 对包含当前修改基础的OSiL文件的引用 对存储器中可用的先前修改的引用 定义此修改的后续重用的引用。 实验 指内存中可用的先前修改 实验-指一个osil文件，该文件可能包含来自另一个基引用的修改 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 删除变量、其成本和约束系数，以及变量出现的所有二次项和非线性表达式。 如果存在，只删除此列中的目标系数 删除矩阵变量以及矩阵变量出现的所有非线性和矩阵表达式中的所有项。 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 实验 自1.0版起 自1.0版起 自版本1.0起 实验 实验 实验 实验 实验 建议 disjunctiveSet子元素的数量必须与numberOfDisjunctiveSets一致 建议 建议 建议 var子元素的数量必须与numberOfVariables一致 建议 coef子元素的数量必须与numberOfObjCoef一致 建议 obj子元素的数量必须与numberOfObjectives一致 建议 建议 con子元素的数量必须与numberOfConstraints一致 建议 建议 el子元素的数量必须与numberOfValues一致 如果这个位置与核心信息相结合，数据就会被添加到一起。 建议 建议 el子元素的数量必须与numberOfValues一致 如果这个位置与核心信息相结合，数据就会被添加到一起。 建议 qTerm子元素的数量必须与numberOfQuadraticTerms一致 如果这个位置与核心信息相结合，数据就会被添加到一起。 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 析取子元素的数量必须与析取的数量一致 建议 建议 这些元素在模型级别工作（包括或排除整个变量或约束） 建议 建议 建议 建议 建议 建议 建议 这些元素仅影响术语级别（包括或排除约束或目标的部分） 建议 建议 建议 建议 建议 建议 仅当逻辑条件变量为TRUE时才强制执行析取 仅当逻辑条件约束为TRUE时才强制执行析取 建议 建议 el子元素的数量必须与numberOfValues一致 如果此位置与核心信息一致，则将数据添加到一起。 建议 建议 el子元素的数量必须与numberOfValues一致 如果此位置与核心信息一致，则将数据添加到一起。 建议 qTerm子元素的数量必须与numberOfQuadraticTerms一致 如果这个位置与核心信息相结合，数据就会被添加到一起。 建议 建议 指非线性表达式列表中的idx 建议 建议 建议 建议 备选方案数量必须与备选方案数量一致 不同的析取项通过逻辑OR连接 建议 建议 建议 建议 建议 建议 建议 建议 var子元素的数量必须与numberOfVariables一致 如果提到lb或ub，它们将替换核心信息 建议 obj子元素的数量必须与numberOfObjectives一致 如果提到常量或重量，它将替换核心中的信息 建议 con子元素的数量必须与numberOfConstraints一致 如果提到lb或up，它们将替换核心信息 建议 con子元素的数量必须与numberOfConstraints一致 建议 con子元素的数量必须与numberOfConstraints一致 建议 con子元素的数量必须与numberOfConstraints一致 建议 con子元素的数量必须与numberOfConstraints一致 建议 析取数必须与析取数一致 确定描述其中一个析取保持条件的逻辑核心变量 识别描述逻辑条件变量的附加限制的核心约束 不同的析取集通过逻辑AND连接 实验 仅当逻辑条件变量为TRUE时才强制执行析取 仅当逻辑条件约束为TRUE时才强制执行析取 建议 建议 建议 建议 建议 建议 建议 建议 param子元素的数量必须与numberOfParameters一致 建议 建议 建议 建议 建议 建议 建议 建议 建议 dist子元素的数量必须与numberOfDist一致 实验 实验 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 草案 草案 如果attr=“coef”，则需要 草案 草案 草案 草案 草案 草案 草案 草稿-可能不会改变目标的稀疏模式 草案 草稿-不能更改约束矩阵的稀疏模式 草稿-不能改变二次表达式的稀疏模式 草稿-指任何非线性表达式中的任何OSnLNode，包括矩阵构造 草稿-不能改变矩阵的稀疏模式 推荐 推荐 推荐 推荐 推荐 推荐 推荐 推荐 推荐 推荐 推荐 推荐 url子元素的数量必须与numberOfURIAliases一致 推荐 推荐 param子元素的数量必须与numberOfParameters一致 推荐 推荐 var子元素的数量必须与numberOfVariables一致 推荐 推荐 con子元素的数量必须与numberOfConstraints一致 推荐 推荐 obj子元素的数量必须与numberOfObjectives一致 推荐 推荐 el子元素的数量必须与numberOfValues一致 推荐 qTerm子元素的数量必须与numberOfQuadraticTerms一致 推荐 推荐 推荐 推荐 数字和字符串子元素的数量必须与numberOfNonlinearNumbersAndStrings一致 推荐 推荐 实验 行子元素的数量必须与numberOfRows一致 实验 建议 实验的 实验 阶段数必须与numberOfStages一致 建议 建议 建议。如果遗漏，假设所有目标都包括在内 建议。如果缺少，则假定numberOfConstraints=0 建议 如果使用startIdx，列表必须为空，否则必须与numberOfVar匹配 建议 建议 如果使用startIdx，列表必须为空，否则必须与numberOfCon匹配 建议 建议 如果使用startIdx，列表必须为空，否则必须与numberOfObj匹配 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 场景子元素（包括根场景）的数量必须与numberOfScenarios匹配 建议 建议 建议 建议 建议 sNode子元素的数量必须与numberOfNodes匹配 建议 建议 建议 建议 建议 建议 行子元素的数量必须与numberOfRows匹配 建议 建议 数字必须与numberOfRandomFunctions匹配 建议 distr子元素的数量必须与numberOfDistributions匹配 建议 建议 建议 建议 建议 建议 建议 建议 数字必须与numberOfNonlinearTransformations匹配 建议 建议 建议 数字必须与numberOfStElem一致 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 建议 数字必须与numberOfParameters匹配 建议 建议 建议 建议 建议 数字必须与numberOfParam匹配 建议 建议 数字必须与numberOfValues匹配 建议 建议 数字必须与numberOfValues匹配 建议 建议 数字必须与numberOfValues匹配 建议 建议 数字必须与numberOfValues匹配 建议 建议 数字必须与numberOfValues匹配 建议 建议 数字必须与numberOfValues匹配 建议 建议 数字必须与numberOfValues匹配 建议 建议 建议 建议 建议 建议 建议 树中输入链接约束的过去节点数 实验 推荐 数字必须与numberOfDataItems一致 最后定稿 number必须与numberOfRandomElements一致 数字必须与numberOfTargetComponents一致 最后定稿 默认值为“真实” 实验 数字必须与numberOfDataItems一致 最后定稿 数字必须与numberOfDataPoints一致 数字必须与numberOfTargetComponents一致 如果缺少，则假定单位矩阵（如果维度不匹配，则出错） 最后定稿 默认值为“真实” 最后定稿 数字必须与ARTerms的数字一致 定稿 最后定稿 建议 建议 建议 建议 建议 建议 子级数必须与numberOfStochasticElements一致 索引是指随机元素列表中的位置。矢量大小必须与numberOfChanges一致 向量的大小必须与numberOfChanges一致 更改与父场景或基本场景（如果存在）相关 建议 sNode子元素的数量必须与numberOfNodes匹配 建议 建议 控制可能影响当前节点的历史长度以及变量和约束引用的偏移 建议 建议 建议 实验 此树中的节点数必须与numberOfNodes匹配 建议 如果缺少nodeData元素，则必须存在；如果useCoreData为TRUE，则忽略nodeData（如果存在） 建议 控制可能影响当前节点的历史长度以及变量和约束引用的偏移 建议 用于为以后的数据继承提供参考 建议 自1.0版起 自版本1.0。索引是累积的；当前节点索引添加在链接祖先节点中变量的索引之后。 将当前节点中变量的目标系数添加到先前定义的目标中 索引是累积的。在先前定义的目标的指标下面添加了其他目标。 自1.0版起。索引是累积的；当前节点索引添加在链接祖先节点中约束的索引之后。 包括对角线上下的矩阵。变量索引由链接祖先节点中的变量偏移 自1.0版起-不使用矩阵。例如，表达式2x+3y+x^2+2xy+3y^2有三个二次系数：1、2、3 自1.0版起。索引是累积的；当前节点索引添加在链接祖先节点中表达式的索引之后。 自2.0版起我们使用了SOS的LPSOLVE定义，这可以追溯到J.a.Tomlin在1981年“图和离散编程研究”中的一篇论文。 实验 自2.0版起。索引是累积的；当前节点索引添加在祖先节点索引之后。 自2.0版起。索引是累积的；在祖先节点的索引之后添加当前节点索引。 实验 建议 建议 建议 草案 实验 实验 实验 最后定稿 最后定稿 实时数据和模拟。实验 实验 最后定稿 实验 用于将树中的另一个节点标识为当前节点继承数据的基础 建议 数字必须与numberOfBlocks一致。distributionIdx引用的随机变量在各个块之间是独立的。 草案 建议 对于最小化问题，默认值为“max”，对于最大化问题，默认为“min” 数字必须与numberOfStochEl一致 数字必须与numberOfAR一致。每个术语都会将行添加到转换的输入向量，首先是随机变量或向量，然后是对stochEl的任何引用。 数字必须与numberOfMA一致。每个移动平均项指的是一个先前设置的决策变量、矩阵变量等。每个引用将一行或多行添加到转换的输入向量 该变换形成了一个由当前观测值、自回归项和移动平均项（可能还有常数项）组成的扁平列向量，并将其转换为随机元素向量。任何随机矩阵都是逐列展开的。默认值：标识矩阵。 指“矩阵”部分中的矩阵。 信息披露的阶段数 给出了“distributions”元素中分布的索引 自回归项 移动平均项 给出了“distributions”元素中分布的索引 实验 数字必须与numberOfStochEl一致。每个索引都引用了该随机成分第一个定义中的stochEl列表 给出了先前定义的随机分量（“stoch”）的索引 建议 建议 建议 建议 建议 建议 建议 行子元素的数量必须与numberOfPennies匹配 建议 建议 建议 建议 建议 建议 建议 建议 probabilisticObjective子元素（简单或联合）的数量必须与numberOfProbabilisticalObjectives匹配 建议 建议 行子元素的数量必须与numberOfRows匹配 建议 chanceConstraint子元素（简单或联合）的数量必须与numberOfChanceConstraints匹配 建议 建议 行子元素的数量必须与numberOfRows匹配 建议 integratedChanceConstraint子元素（简单或联合）的数量必须与numberOfIntegratedChanceConsstraints匹配 建议 建议 行子元素的数量必须与numberOfRows匹配 建议 userDefinedRiskMeasure子元素（简单或联合）的数量必须与numberOfUserDefinedRiskMeasures匹配 建议 建议 行子元素的数量必须与numberOfRows匹配 建议 建议 必须与numberOfCon一致 建议 建议 数字必须与numberOfRows一致 实验