刘振晗
- 作品数:2 被引量:3H指数:1
- 供职机构:大连理工大学更多>>
- 发文基金:国家重点基础研究发展计划更多>>
- 相关领域:化学工程自动化与计算机技术更多>>
- 基于广义归结的程序综合
- 这篇论文主要做了如下两项工作:第一,对于形如( ∨<,x><'->)(( )<,y><'->)P(<,x><'->,<,y><'->)的定理证明问题,本文从分析广义归结证明树的每个结点入手,提取广义归结证明的过程信息,生...
- 刘振晗
- 关键词:定理证明抽取算法
- 文献传递
- 化工生产过程设计的建模界面被引量:3
- 2004年
- 为帮助用户处理新领域的建模问题,将案例数据库及其调用工具合并成一个知识库,开发了一个化工生产过程的建模界面。此界面采用产品数据交换标准(STEP)对模型数据的表达进行了标准化处理。采用基于案例的推理方法在案例库中进行检索,使用案例比较索引对用户查询的信息进行定位、检索和分类,快速开发过程动态模型。模型界面可自动生成模拟软件(如gPROMS)所需的代码,直接调用模拟软件进行动态模拟。用管式反应器和HDA(甲烷加氢脱烃)反应的案例说明了该界面的具体功能。
- 郭姝媛王克峰刘振晗张述伟
- 关键词:化工生产过程优化设计