Vol.19 No.2 翁海珊等：优化设计建模与算法选择的并行处理系统 ·179· 函数对模型的语法错误进行诊断和处理.这些自定义的特定函数及其功能见表1， 表1自定义函数及其功能（部分） 函数名 函数符号 函数功能 截取函数1 get-token() 截取分解表达式中需分析的符号 y get-exp() 截取分解括号()内的数学表示式 识别函数1 level 2() 识别处理运算符号 2 level 5() 识别处理常量、变量和函数 3 level 6() 识别处理括号的匹配 检错函数1 find-num() 检查常量的格式 2 find-vart） 检查变量的格式 3 find-fun(） 检查函数的格式 分流函数 primitive() 分流需分析的符号 转向函数 long-jmp() 执行非局部转向，返回set-jmp() 接受函数 set-jmp() 定义假定安全位置，以接受long-jmp() 示错函数 set-em( 显示出错误信息 返回函数 put-back() 将截取的符号送回输人信息流中 其工作步骤为：①将表达式分解为逐个独立的逻辑符号；②识别各类逻辑符号， 转换为内部记号格式后作分流处理；③分别检查各类符号是否符合格式要求；④对明显由误 操作所引起的错误作自动转换 处理，对需用户参与修正的错 模型输人系统 误，则显示错误信息；⑤将处理 完的逻辑符号逐一返回信息流. 模 有错误吗？ (2)合理性鉴别：格式规范 型 N 化、语法无错的数学模型若还存 诊 在一些不合理因素，也将使优化 断 合理吗？ 设计得不到最优解，这些不合理 因素主要有2类：第1类不合理 N 模 是单目标吗？ 多目标决策专家系统 因素是指一些显式不合理现象， 型 如多余的设计变量，等式约束数 识 信息辨别 大于或等于设计空间维数等.这 别 类不合理性只需知识库中经验 特征提取 算法选择专家系统 类的浅知识（因果关系类的知 模型转换系统 识)，用产生式规则即可诊断.第 2类不合理因素是指数学模型本 数学模型 身的结构.如冗余约束、矛盾约 束、可行域为空集等.这类不合 图1优化设计建模专家系统 理性需利用知识库中的一些基 本定义和公理性的深知识，并对数学模型进行分析计算才能作出诊断翁海珊等 优化 设计建模 与算法 选择 的并行处理 系 统 函 数 对模 型 的语法 错 误进 行 诊 断和处理 这 些 自定 义 的特定 函 数及 其功 能 见 表 表 自定义 函数及其功能 部分 函 数名 函 数符号 函 数功能 截取 函数 识别 函数 检错 函数 分 流 函 数 转 向函数 接受 函 数 示错函数 返 回 函数 试 一 一 叫 而 一 一 试 一 试 截取分解表达式 中需分析的符号 截取分解括 号 内的数学表示 式 识别处理运算符号 识别 处理 常量 、 变量和 函数 识别处理括 号的匹 配 检查 常量 的格式 检查变量 的格式 检查 函 数的格式 分流需分析的符号 执行 非局 部转 向 、 返 回 试 定义假 定安全位置 ， 以接受 试 显示 出错误信息 将截取 的符号送 回 输入信息流 中 其工 作步 骤 为 ① 将 表 达式分解 为逐 个独 立 的逻辑符号 ② 识 别各类逻辑符号 ， 转换 为 内部 记 号 格 式 后 作分 流 处理 ③ 分 别检查 各 类符 号是 否 符 合格 式要 求 ④ 对 明显 由误 操 作 所 引 起 的 错 误 作 自动 转 换 处 理 ， 对 需 用 户 参 与 修 正 的 错 误 ， 则 显 示 错 误 信 息 ⑤ 将 处 理 完 的逻 辑符 号逐 一返 回信息 流 合 理 性 鉴 别 格 式 规 范 化 、 语法 无 错 的数 学 模 型 若 还 存 在 一 些 不 合理 因 素 ， 也 将 使优 化 设 计 得 不 到 最 优 解 这 些 不 合 理 因 素 主 要 有 类 第 类 不 合 理 因 素是 指 一 些 显 式 不 合 理 现 象 ， 如多余 的设 计 变 量 、 等式 约束 数 大 于 或等 于 设计 空 间维 数 等 这 类 不 合 理 性 只 需 知 识库 中 经 验 类 的 浅 知 识 因 果 关 系 类 的 知 识 ， 用 产生 式规则 即可 诊 断 第 类 不合理 因素是 指 数学模 型 本 身 的 结 构 如 冗 余 约 束 、 矛 盾 约 束 、 可 行 域 为 空 集 等 这 类 不 合 理 性 需 利 用 知 识 库 中 的 一 些 基 模 型输人 系统 多 目标决策专家系统 信息辨别 特征提取 模 型转换系统 数学模型 图 优化设计建模专家系统 本定 义 和公理性 的深 知 一 识 ， 并 对数学模 型进行分析计算才能作出诊 断