论文部分内容阅读
在关系化模型框架的基础上,对用于定量计算的数学模型进行关系化的分析与表示,使其便于用关系数据库系统存储与管理.依据关系化模型的特点,重点对其推理机制进行设计与讨论.该推理机制除以模型的输入/输出为纽带实现模型的自动连接外,还可以交互式的提示系统信息及完成数据输入,并可依据用户设定的模型特征对模型组合序列进行优选,实现了模型、数据和对话的有机结合.最后应用一数学模型对关系化模型的组合推理过程作实证性的分析.