期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
离散型动态规划模型的知识表示及其IBFS算法研究 被引量:10
1
作者 胡祥培 钱国明 胡运权 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1996年第3期119-126,共8页
针对运筹学模型表示中存在的问题,本文以离散型动态规划模型为研究对象,从解决动态模型的知识表示与基于知识的推理机制入手,通过剖析动态规划问题的决策过程及其状态演变特征,运用人工智能状态空间理论,将动态规划模型的求解转化... 针对运筹学模型表示中存在的问题,本文以离散型动态规划模型为研究对象,从解决动态模型的知识表示与基于知识的推理机制入手,通过剖析动态规划问题的决策过程及其状态演变特征,运用人工智能状态空间理论,将动态规划模型的求解转化为状态空间图中最佳路径的搜索,提出了以六元组M=(I,G,O,T,D,S)表示离散型动态规划模型的知识表示方法-IGOTDS表示法;并引入最优评价函数,研究了基于状态空间图的求解离散型动态规划模型IBFS搜索算法.本文的工作有利于促进并深化运筹学应用的知识化、智能化研究. 展开更多
关键词 动态规划模型 知识表示 人工智能 IBFS算法
在线阅读 下载PDF
基于知识的规划模型构造系统研究 被引量:10
2
作者 向阳 于长锐 《系统工程学报》 CSCD 2002年第1期72-77,共6页
给出了基于知识的模型构造系统的定义 ,并以此概念为指导思想实现了基于知识的规划模型构造系统 .详细论述了系统知识的表示与组织 ,并结合企业生产计划问题 。
关键词 模型构造系统 规划模型 知识表示 决策支持系统 人工智能
在线阅读 下载PDF
动态规划问题的知识化数学模型生成器研究 被引量:1
3
作者 胡祥培 王旭茵 +2 位作者 刘伟国 胡运权 钱国明 《管理工程学报》 CSSCI 2004年第2期64-70,共7页
针对计算机自动生成动态规划模型这一难题,研究了动态规划问题及其模型的知识表示以及相应的知识化信息模型和知识化数学模型,运用积木式建模方法提出了动态规划问题知识化数学模型生成器的结构及其工作原理,并在微机上实现了一个投资... 针对计算机自动生成动态规划模型这一难题,研究了动态规划问题及其模型的知识表示以及相应的知识化信息模型和知识化数学模型,运用积木式建模方法提出了动态规划问题知识化数学模型生成器的结构及其工作原理,并在微机上实现了一个投资决策问题的建模过程。本项研究为运筹学模型的自动建模开辟了途径。 展开更多
关键词 运筹学 动态规划 模型生成器 知识表示 积木式建模
在线阅读 下载PDF
过程蓝图程序表示模型与视图导出方法 被引量:5
4
作者 刘建宾 《计算机工程》 CAS CSCD 北大核心 2009年第21期13-16,共4页
针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映... 针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。 展开更多
关键词 过程蓝图 多阶段程序表示模型 建模语言 模型驱动程序设计 视图导出
在线阅读 下载PDF
面向工程设计的知识处理关键技术 被引量:3
5
作者 娄臻亮 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第6期853-856,863,共5页
通过对工程设计过程的分析,提出了面向工程设计系统中产品层次建模的基本方法,研究了面向工程设计的知识处理技术:采用基于对象-规则的方法进行工程设计产品的知识表示;综合运用前向和后向推理,进行目标搜索和求解;建立了基于逻辑式的... 通过对工程设计过程的分析,提出了面向工程设计系统中产品层次建模的基本方法,研究了面向工程设计的知识处理技术:采用基于对象-规则的方法进行工程设计产品的知识表示;综合运用前向和后向推理,进行目标搜索和求解;建立了基于逻辑式的规则表示和推理,提高了规则知识的表示能力;建立了基于广义表的函数运算语言,提高了工程设计理论和经验公式的集成能力.开发了相应的软件系统,可集成于工程设计系统中,提高其知识处理能力. 展开更多
关键词 工程设计 产品建模 知识表示 知识推理
在线阅读 下载PDF
过程蓝图统一元模型语法 被引量:2
6
作者 刘建宾 《计算机工程与设计》 CSCD 北大核心 2010年第13期3017-3021,共5页
为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法... 为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。 展开更多
关键词 过程蓝图 多阶段程序表示 统一元模型 抽象语法 良构规则 建模语言
在线阅读 下载PDF
考虑长输管线输油过程的原油调度模型 被引量:1
7
作者 周智菊 房韡 张蕾 《石油炼制与化工》 CAS CSCD 北大核心 2023年第8期96-104,共9页
针对原油在长输管线输送过程中伴有原油延迟离开管线的情况,提出一种新的基于连续时间的原油调度数学规划模型;并以中国A企业原油储运问题为例,利用该模型可通过监控原油在长输管线中的移动状态,推测其离开管线的时间,通过数学方式描述... 针对原油在长输管线输送过程中伴有原油延迟离开管线的情况,提出一种新的基于连续时间的原油调度数学规划模型;并以中国A企业原油储运问题为例,利用该模型可通过监控原油在长输管线中的移动状态,推测其离开管线的时间,通过数学方式描述管线“平推流式”输送过程。模型方案测试结果表明:所建模型的规模较小,具有较强的计算求解性能;采用该模型可在3 min内优化出为期240 h的优化原油调度方案,最大程度地稳定原油蒸馏装置生产和避免油轮滞期。 展开更多
关键词 原油调度 长距离 管线输送 数学规划 连续时间模型
在线阅读 下载PDF
采用变长结构体编码的遗传规划及其在自适应建模中的应用 被引量:4
8
作者 田志友 王浣尘 吴瑞明 《系统工程理论方法应用》 北大核心 2006年第4期289-293,共5页
在遗传规划(GP)的实际应用中,对个体解的表达一般采用二叉树结构,并多用L isp语言中的S表达式进行个体解编码。利用M atlab中的结构体数组和符号对象,提出一种树结构的变长结构体编码方法,不仅直观、简单,而且便于各种遗传操作的算法实... 在遗传规划(GP)的实际应用中,对个体解的表达一般采用二叉树结构,并多用L isp语言中的S表达式进行个体解编码。利用M atlab中的结构体数组和符号对象,提出一种树结构的变长结构体编码方法,不仅直观、简单,而且便于各种遗传操作的算法实现。为了克服早熟收敛问题,将随机搜索与交叉、变异操作相结合,以增加种群多样性。最后应用上述编码方案分别进行一元和多元建模研究,并与原案例中所采用S表达式编码的GP,以及常用的线性回归、多项式回归等结果进行对比,结果表明:采用变长结构体编码的GP在个体解表达上比原有编码方式更加直观、有效,拟合结果也优于传统建模方法。 展开更多
关键词 变长结构体 树结构 遗传规划 自适应建模
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部