期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
Knowledge representation and rule-based solution system for dynamic programming model
1
作者 胡祥培 王旭茵 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2003年第2期190-194,共5页
A knowledge representation has been proposed using the state space theory of Artificial Intelligence for Dynamic Programming Model, in which a model can be defined as a six tuple M=(I,G,O,T,D,S). A building block mode... A knowledge representation has been proposed using the state space theory of Artificial Intelligence for Dynamic Programming Model, in which a model can be defined as a six tuple M=(I,G,O,T,D,S). A building block modeling method uses the modules of a six tuple to form a rule based solution model. Moreover, a rule based system has been designed and set up to solve the Dynamic Programming Model. This knowledge based representation can be easily used to express symbolical knowledge and dynamic characteristics for Dynamic Programming Model, and the inference based on the knowledge in the process of solving Dynamic Programming Model can also be conveniently realized in computer. 展开更多
关键词 knowledge representation operations research Dynamic programming model intelligent modeling support
在线阅读 下载PDF
Animal representations in Margaret Atwood's novels:a study based on pan-indexicality model 被引量:1
2
作者 Jing Zhu Jiying Kang Chunyun Duan 《Language and Semiotic Studies》 2023年第4期484-509,共26页
Margaret Atwood is a Canadian author of more than thirty-five books and the winner of prestigious literary prizes,such as the Booker Prize,the Giller Prize,and the Governor General's Award.Her influence on Canadia... Margaret Atwood is a Canadian author of more than thirty-five books and the winner of prestigious literary prizes,such as the Booker Prize,the Giller Prize,and the Governor General's Award.Her influence on Canadian literature and contemporary literature as a whole is phenomenal.Nevertheless,little is known with respect to how Atwood represents animals covering the full range of her novels.This paper reports on the analysis of animal representations in Atwood's seventeen novels through Python programming and close reading under the framework of a new semiotic research finding,a pan-indexicality model within the context of literature and the environment.This study investigates the frequencies of animal vocabulary in the seventeen novels,the changes of animal representations in her novels before 1990s and after 1990s,and the implication of the ever-changing animal representations during the fty years.This paper concludes that nonhuman animal descriptions in Atwood's novels of 1970s and 1980s run at a high level and decrease in her novels of 1990s,while scientific animal descriptions increase in her novels of 2000s and 2010s.Nonhuman animals in her novels of 1970s and 1980s are instrumentalized as a vehicle for indigenization and national individuation from the United States,and scientific animals in her novels of 2000s and 2010s are instrumentalized in the service of environmental apocalypticism.This study suggests that the pan-indexicality model can be employed to understand the meaning of signs in literature and the environment from the perspective of authorial intention,with reference to authors'encyclopedic knowledge,personal experience,social,and cultural background information. 展开更多
关键词 pan-indexicality model animal representation ecocriticism Margaret Atwood's novels Python programming
原文传递
离散型动态规划模型的知识表示及其IBFS算法研究 被引量:10
3
作者 胡祥培 钱国明 胡运权 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1996年第3期119-126,共8页
针对运筹学模型表示中存在的问题,本文以离散型动态规划模型为研究对象,从解决动态模型的知识表示与基于知识的推理机制入手,通过剖析动态规划问题的决策过程及其状态演变特征,运用人工智能状态空间理论,将动态规划模型的求解转化... 针对运筹学模型表示中存在的问题,本文以离散型动态规划模型为研究对象,从解决动态模型的知识表示与基于知识的推理机制入手,通过剖析动态规划问题的决策过程及其状态演变特征,运用人工智能状态空间理论,将动态规划模型的求解转化为状态空间图中最佳路径的搜索,提出了以六元组M=(I,G,O,T,D,S)表示离散型动态规划模型的知识表示方法-IGOTDS表示法;并引入最优评价函数,研究了基于状态空间图的求解离散型动态规划模型IBFS搜索算法.本文的工作有利于促进并深化运筹学应用的知识化、智能化研究. 展开更多
关键词 动态规划模型 知识表示 人工智能 IBFS算法
在线阅读 下载PDF
基于知识的规划模型构造系统研究 被引量:10
4
作者 向阳 于长锐 《系统工程学报》 CSCD 2002年第1期72-77,共6页
给出了基于知识的模型构造系统的定义 ,并以此概念为指导思想实现了基于知识的规划模型构造系统 .详细论述了系统知识的表示与组织 ,并结合企业生产计划问题 。
关键词 模型构造系统 规划模型 知识表示 决策支持系统 人工智能
在线阅读 下载PDF
动态规划问题的知识化数学模型生成器研究 被引量:1
5
作者 胡祥培 王旭茵 +2 位作者 刘伟国 胡运权 钱国明 《管理工程学报》 CSSCI 2004年第2期64-70,共7页
针对计算机自动生成动态规划模型这一难题,研究了动态规划问题及其模型的知识表示以及相应的知识化信息模型和知识化数学模型,运用积木式建模方法提出了动态规划问题知识化数学模型生成器的结构及其工作原理,并在微机上实现了一个投资... 针对计算机自动生成动态规划模型这一难题,研究了动态规划问题及其模型的知识表示以及相应的知识化信息模型和知识化数学模型,运用积木式建模方法提出了动态规划问题知识化数学模型生成器的结构及其工作原理,并在微机上实现了一个投资决策问题的建模过程。本项研究为运筹学模型的自动建模开辟了途径。 展开更多
关键词 运筹学 动态规划 模型生成器 知识表示 积木式建模
在线阅读 下载PDF
过程蓝图程序表示模型与视图导出方法 被引量:5
6
作者 刘建宾 《计算机工程》 CAS CSCD 北大核心 2009年第21期13-16,共4页
针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映... 针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。 展开更多
关键词 过程蓝图 多阶段程序表示模型 建模语言 模型驱动程序设计 视图导出
在线阅读 下载PDF
面向工程设计的知识处理关键技术 被引量:3
7
作者 娄臻亮 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第6期853-856,863,共5页
通过对工程设计过程的分析,提出了面向工程设计系统中产品层次建模的基本方法,研究了面向工程设计的知识处理技术:采用基于对象-规则的方法进行工程设计产品的知识表示;综合运用前向和后向推理,进行目标搜索和求解;建立了基于逻辑式的... 通过对工程设计过程的分析,提出了面向工程设计系统中产品层次建模的基本方法,研究了面向工程设计的知识处理技术:采用基于对象-规则的方法进行工程设计产品的知识表示;综合运用前向和后向推理,进行目标搜索和求解;建立了基于逻辑式的规则表示和推理,提高了规则知识的表示能力;建立了基于广义表的函数运算语言,提高了工程设计理论和经验公式的集成能力.开发了相应的软件系统,可集成于工程设计系统中,提高其知识处理能力. 展开更多
关键词 工程设计 产品建模 知识表示 知识推理
在线阅读 下载PDF
过程蓝图统一元模型语法 被引量:2
8
作者 刘建宾 《计算机工程与设计》 CSCD 北大核心 2010年第13期3017-3021,共5页
为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法... 为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。 展开更多
关键词 过程蓝图 多阶段程序表示 统一元模型 抽象语法 良构规则 建模语言
在线阅读 下载PDF
基于深度学习的跨自然语言与程序语言生成任务综述 被引量:1
9
作者 宋小祎 张若定 +2 位作者 张妍 张梅山 黎家通 《信息安全学报》 CSCD 2023年第3期65-84,共20页
近年来,随着人工智能技术的发展,许多编程人员期望计算机代替他们自动完成程序代码或者代码注释的编写等任务。跨自然语言与程序语言(Natural languages and programming languages, NL-PL)生成即为此类任务,指自然语言和程序语言之间... 近年来,随着人工智能技术的发展,许多编程人员期望计算机代替他们自动完成程序代码或者代码注释的编写等任务。跨自然语言与程序语言(Natural languages and programming languages, NL-PL)生成即为此类任务,指自然语言和程序语言之间的相互转换任务,包括自然语言到程序语言的生成和程序语言到自然语言的生成两类任务。最近几年,跨NL-PL生成在研究与应用方面呈现出爆发式的增长,尤其是随着深度学习(Deep learning,DL)技术的发展,越来越多研究人员开始利用DL技术来提升跨NL-PL生成任务效果。他们通过优化程序表示方式、改进神经网络模型以及设计大型预训练模型等方法,在该领域取得了众多突破性的进展。在基于DL的跨NL-PL生成技术获得迅猛发展的同时,大型互联网公司逐渐将该领域的研究成果付诸商用,因此,模型应用安全性也受到了学术界和业界的紧密关注。为了进一步系统地研究跨NL-PL生成技术,对这些已有的成果进行梳理非常必要。本文以程序生成和注释生成这两类典型跨NL-PL生成任务为切入点,对该领域具有代表性的最新文献进行归纳总结。我们从众多已有参考文献中抽象出一个基于DL的跨NL-PL生成通用实现模型,并将该模型划分为程序表示、语言处理和语言生成三大组件。在我们提出的通用实现模型的基础上,我们进一步从程序代码表示方法、网络模型结构、模型在业界的应用、应用过程中存在的安全问题与安全研究现状、该领域常用数据集和模型效果等方面详细梳理分析已有研究成果及进展脉络。最后,我们总结了该领域现阶段存在的研究问题,并展望了未来的发展方向。 展开更多
关键词 深度学习 跨自然语言与程序语言 程序表示 模型算法
在线阅读 下载PDF
异构计算并行编程模型综述 被引量:10
10
作者 邬江兴 祁晓峰 高彦钊 《上海航天(中英文)》 CSCD 2021年第4期1-11,共11页
异构计算架构是目前高性能计算研究的重要领域。在异构计算架构中,不同种类的计算器件协同工作需要解决如任务调度、数据通信、存储、同步优化等问题。这些问题会对异构计算架构系统的运行性能、功耗、可靠性等指标产生重要影响。为解... 异构计算架构是目前高性能计算研究的重要领域。在异构计算架构中,不同种类的计算器件协同工作需要解决如任务调度、数据通信、存储、同步优化等问题。这些问题会对异构计算架构系统的运行性能、功耗、可靠性等指标产生重要影响。为解决异构系统的应用开发与系统优化问题,近年出现许多面向异构计算架构的并行编程模型。本文介绍异构并行编程模型的研究进展,针对异构并行计算需要解决的关键问题进行讨论,最后对异构体系架构的发展方向做出总结。 展开更多
关键词 异构计算 并行编程 编程模型 中间表示 任务调度 负载均衡
在线阅读 下载PDF
考虑长输管线输油过程的原油调度模型 被引量:1
11
作者 周智菊 房韡 张蕾 《石油炼制与化工》 CAS CSCD 北大核心 2023年第8期96-104,共9页
针对原油在长输管线输送过程中伴有原油延迟离开管线的情况,提出一种新的基于连续时间的原油调度数学规划模型;并以中国A企业原油储运问题为例,利用该模型可通过监控原油在长输管线中的移动状态,推测其离开管线的时间,通过数学方式描述... 针对原油在长输管线输送过程中伴有原油延迟离开管线的情况,提出一种新的基于连续时间的原油调度数学规划模型;并以中国A企业原油储运问题为例,利用该模型可通过监控原油在长输管线中的移动状态,推测其离开管线的时间,通过数学方式描述管线“平推流式”输送过程。模型方案测试结果表明:所建模型的规模较小,具有较强的计算求解性能;采用该模型可在3 min内优化出为期240 h的优化原油调度方案,最大程度地稳定原油蒸馏装置生产和避免油轮滞期。 展开更多
关键词 原油调度 长距离 管线输送 数学规划 连续时间模型
在线阅读 下载PDF
Evaluating Emergency Response Capacity of Chemical Industrial Park Using an Hybrid Fuzzy AHP Method 被引量:1
12
作者 Shu-Ming Ma Shu-Shen Zhang +2 位作者 Yu Chen Guo-Bao Song Peng Gao 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2014年第2期50-56,共7页
This paper presents an expert-based fuzzy analytic hierarchy process( AHP) model for evaluating emergency response capacity of Chemical Industrial Park( ERCCIP) by jointly using an improved fuzzy preference programmin... This paper presents an expert-based fuzzy analytic hierarchy process( AHP) model for evaluating emergency response capacity of Chemical Industrial Park( ERCCIP) by jointly using an improved fuzzy preference programming( FPP) and 2-tuple fuzzy linguistic approach. An evaluation index system for ERCCIP is proposed. The weight of sub-criteria and criteria of the evaluation index system for ERCCIP are determined using the improved FPP. And the ratings of sub-criteria are assessed in linguistic values according to the experts' subjective opinions. Finally,the aggregated ratings of criteria and the overall ERCCIP are calculated. 展开更多
关键词 chemical industrial park emergency response capacity fuzzy preference programming 2-tuple linguistic reoresentation model. Fuzzy AHP
在线阅读 下载PDF
Ensemble Wind Power Prediction Interval with Optimal Reserve Requirement
13
作者 Hamid Rezaie Cheuk Hei Chung Nima Safari 《Journal of Modern Power Systems and Clean Energy》 SCIE EI CSCD 2024年第1期65-76,共12页
Wind power prediction interval(WPPI)models in the literature have predominantly been developed for and tested on specific case studies.However,wind behavior and characteristics can vary significantly across regions.Th... Wind power prediction interval(WPPI)models in the literature have predominantly been developed for and tested on specific case studies.However,wind behavior and characteristics can vary significantly across regions.Thus,a prediction model that performs well in one case might underperform in another.To address this shortcoming,this paper proposes an ensemble WPPI framework that integrates multiple WPPI models with distinct characteristics to improve robustness.Another important and often overlooked factor is the role of probabilistic wind power prediction(WPP)in quantifying wind power uncertainty,which should be handled by operating reserve.Operating reserve in WPPI frameworks enhances the efficacy of WPP.In this regard,the proposed framework employs a novel bi-layer optimization approach that takes both WPPI quality and reserve requirements into account.Comprehensive analysis with different real-world datasets and various benchmark models validates the quality of the obtained WPPIs while resulting in more optimal reserve requirements. 展开更多
关键词 Ensemble model linear programming operating reserve optimal reserve requirement prediction interval probabilistic prediction renewable integration uncertainty representation wind power prediction(WPP)
原文传递
车辆路径问题的三阶段求解方法研究 被引量:6
14
作者 黄敏芳 胡祥培 +1 位作者 王征 Amy Z.Zeng 《管理科学》 CSSCI 北大核心 2009年第3期37-46,共10页
针对由车辆路径问题规模的增大带来求解空间组合爆炸这一难点,从缩减解答空间入手,以节省求解时空为突破口,综合运用知识工程、模糊聚类分析、状态空间搜索理论和运筹学整数规划理论,提出一种求解车辆路径问题的三阶段求解方法。第一阶... 针对由车辆路径问题规模的增大带来求解空间组合爆炸这一难点,从缩减解答空间入手,以节省求解时空为突破口,综合运用知识工程、模糊聚类分析、状态空间搜索理论和运筹学整数规划理论,提出一种求解车辆路径问题的三阶段求解方法。第一阶段分析物流配送过程的主要影响因素,根据相关因素对客户进行初步划分,然后采用模糊聚类分析方法将各配送区域中的客户进行细分;第二阶段采用带控制策略的深度优先搜索算法生成备选的车辆路径方案集合;第三阶段建立整数规划求解模型,并根据邻域规则将求得的解映射为实际问题中的行车方案。最后运用算例验证上述方法的有效性。 展开更多
关键词 车辆路径问题 模糊聚类分析 知识表示 状态空间 整数规划模型
原文传递
采用变长结构体编码的遗传规划及其在自适应建模中的应用 被引量:4
15
作者 田志友 王浣尘 吴瑞明 《系统工程理论方法应用》 北大核心 2006年第4期289-293,共5页
在遗传规划(GP)的实际应用中,对个体解的表达一般采用二叉树结构,并多用L isp语言中的S表达式进行个体解编码。利用M atlab中的结构体数组和符号对象,提出一种树结构的变长结构体编码方法,不仅直观、简单,而且便于各种遗传操作的算法实... 在遗传规划(GP)的实际应用中,对个体解的表达一般采用二叉树结构,并多用L isp语言中的S表达式进行个体解编码。利用M atlab中的结构体数组和符号对象,提出一种树结构的变长结构体编码方法,不仅直观、简单,而且便于各种遗传操作的算法实现。为了克服早熟收敛问题,将随机搜索与交叉、变异操作相结合,以增加种群多样性。最后应用上述编码方案分别进行一元和多元建模研究,并与原案例中所采用S表达式编码的GP,以及常用的线性回归、多项式回归等结果进行对比,结果表明:采用变长结构体编码的GP在个体解表达上比原有编码方式更加直观、有效,拟合结果也优于传统建模方法。 展开更多
关键词 变长结构体 树结构 遗传规划 自适应建模
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部