离散型动态规划模型的知识表示及其IBFS算法研究

针对运筹学模型表示中存在的问题，本文以离散型动态规划模型为研究对象，从解决动态模型的知识表示与基于知识的推理机制入手，通过剖析动态规划问题的决策过程及其状态演变特征，运用人工智能状态空间理论，将动态规划模型的求解转化为状态空间图中最佳路径的搜索，提出了以六元组Ｍ＝（Ｉ，Ｇ，Ｏ，Ｔ，Ｄ，Ｓ）表示离散型动态规划模型的知识表示方法－ＩＧＯＴＤＳ表示法；并引入最优评价函数，研究了基于状态空间图的求解离散型动态规划模型ＩＢＦＳ搜索算法．本文的工作有利于促进并深化运筹学应用的知识化、智能化研究．     

水电站群最优开发程序的动态规划-模拟模型

本文建立了一个求解水电站群最优开发程序的动态规划(DP)-模拟模型(LP)(即DP-LP模型)。其上级为动态规划(DP)模型,用于生成电站排序方案并进行决策选优;下级为电力系统运行模拟模型(LP),用于求解每阶段的电力系统运行费用并进行电力电量平衡。该模型能同时优化系统的投资及运行策略。     

Medical images application of contour extraction based on Hermite splines contour model

In medical applications, physicians are highly in-terested in computer assisted devices that help to detectand outline specific organs or other medical features ofinterest. Many applications require the extraction of im-age features such as edges, lines, and subjective differ-ences in gray-level. The contour information is alwaysconsidered an important feature of medical images,be-cause the edge contour characterizes the objective tissueand organ. But some defects of the medical images da-ta, …     

锅炉智能CAD的技术和方法研究

从设计方法学角度描述了锅炉方案设计问题，将锅炉方案设计活动分解为“方案创造”、“方案分析”、“方案评价”和“方案调整”四项子活动.基于面向对象的知识表示方法，建立了由属性空间、关系空间、规则空间、约束空间、案例空间和方法空间构成的锅炉智能计算机辅助设计（CAD）的设计对象模型，并解释了运用该模型进行锅炉智能CAD的主要过程.提出了锅炉智能CAD的总体技术方法，即基于案例知识的智能化方案创造、基于确定性过程知识的智能化方案分析、基于约束知识的智能化方案评价，以及基于规则知识的智能化方案调整.开发了锅炉智能CAD系统的总体框架原型，并已将部分功能应用于工程实践.实践表明，上述技术和方法符合实际需求，可有效支持锅炉智能CAD系统的开发.     

Method of Dynamic Knowledge Representation and Learning Based on Fuzzy Petri Nets

A method of knowledge representation and learning based on fuzzy Petri nets was designed. In this way the parameters of weights, threshold value and certainty factor in knowledge model can be adjusted dynamically. The advantages of knowledge representation based on production rules and neural networks were integrated into this method. Just as production knowledge representation, this method has clear structure and specific parameters meaning. In addition, it has learning and parallel reasoning ability as neural networks knowledge representation does. The result of simulation shows that the learning algorithm can converge, and the parameters of weights, threshold value and certainty factor can reach the ideal level after training.     

Method of Dynamic Knowledge Representation and Learning Based on Fuzzy Petri Nets

A method of knowledge representation and learning based on fuzzy Petri nets was designed.In this way the parameters of weights,threshold value and certainty factor in knowledge model can be adjusted dynamically.The advantages of knowledge representation based on production rules and neural networks were integrated into this method.Just as production knowledge representation,this method has clear structure and specific parameters meaning.In addition,it has learning and parallel reasoning ability as neural networks knowledge representation does.The result of simulation shows that the learning algorithm can converge,and the parameters of weights,threshold value and certainty factor can reach the ideal level after training.     

基于知识的Agent团队训练系统

提出了一个基于知识的Agent团队训练系统。在这个系统中，Agent扮演了团队成员和指导者的角色。为了能对团队知识进行编码，设计了基于BDI模型的表达语言，有关个体Agent的计划和信息需求的Petrj Net模型能够从所表达的角色描述中推导出来。     

空调系统故障诊断的广义故障树知识表示方法

针对空调系统故障诊断的特点,在故障树分析法的基础上,应用面向对象技术,将四种单一的知识表示方法储存成一种混合的知识表示形式--基于规则、模型、过程和框架集成的广义故障树诊断知识表示方法(GFTDKRM),并且以集中式空调系统为对象给出了广义故障树诊断对象描述实例. 从应用实例来看,广义故障树知识表示方法具有简洁、灵活、透明,且易于诊断推理的特点.     

基于基因表达式编程的智能模型库系统的实现

模型库是决策支持系统(DSS)的重要组成部分。传统的智能模型库系统对先验知识依赖性很强，难以实现真正意义上的智能化。针对这一弱点，提出了显式智能模型，隐式智能模型，显式模型基因的概念，给出了基于GEP的隐式智能模型(Implicit Intelligent Model，IIM)的挖掘算法(GEP—IIMA)，在此基础上实现智能模型库系统；研究了隐式智能模型库(IIMB)系统与GIS的接口技术。IIMB是真正意义的无先验知识的智能模型库，其模型的类型和参数的求解均由程序自己来实现。通过比较实验，系统所挖掘的函数模型比传统方法所得模型的精度提高了14．9％。     

基于自适应动态规划的能量管理系统研究综述

自适应动态规划 (Adaptive Dynamic Programming, ADP) 作为最优控制领域的研究热点,其在能量管理系统 (Energy Management System, EMS)领域中有着广泛的应用。ADP算法是通过系统输入输出数据自适应调整控制策略实现优化控制, 尤其在解决复杂非线性系统最优控制问题方面具有强大优势。本文介绍了ADP算法的研究进展及其在EMS领域的应用,分析了该算法在离散EMS和连续EMS的研究现状和算法实现方式,并介绍了实时自适应动态规划 (Real-time Adaptive Dynamic Programming, RT-ADP)算法及其应用的可行性。     

非线性规划迭代线性化方法在圩垸除涝规划中的应用

本文根据洞庭湖圩垸除涝排水系统非线性规划数学模型的特点,借助离散微分动态规划(DDDP)的思想,利用线性规划(LP)的修正单纯形解法,提出了一种既简单有效,又比较节省计算机时的新的求解非线性规划问题的直接解法——“迭代线性化方法”。实例验证该法是可行的。     

基于OpenGL的钻井模拟器图形程序开发

钻井模拟器图形程序构建的三维场景使得井场环境的模拟效果更为逼真,引入OpenGL图形库使得控制联动的三维动画成为可能.可用于石油企业的专业钻井人才培养,对计算机图形技术在钻井过程三维动画制作中的应用具有重大参考价值.提出了一种在OpenGL环境下读取和控制钻井模拟器三维机械模型的方法,并通过分层建模和面向对象的思想增强了钻井模拟器图形运动的灵活性和程序的扩展性.能够有效的处理钻井工艺流程的变化和场景的更改,使得钻井模拟器的三维图形程序开发效率大大提高,营造出逼真的三维动画场景.     

流域水污染应急决策支持系统中模型系统研究

针对松花江硝基苯水污染开发了流域水污染应急决策支持系统的模型系统,为水污染应急决策提供坚实的定量化支持.对特征污染物进入水体后的行为及影响进行一系列针对决策支持的模拟,实时可视化地展现突发性污染的污染物行为和影响.研究大型关系数据库上的数据挖掘、耦合GIS的二维污染物迁移模拟、基于四级预警标准的预警技术.在模型管理系统中实现模型重用性和与GIS类组件的结合性能.该模型系统和决策支持管理系统,采用模型库管理系统作为模型库的组织方式和管理方式,为松花江突发性环境污染应急管理提供信息管理和决策支持平台.     

基于双库结构的集成质量管理系统支撑平台研究

以飞机型号研制为背景,借鉴企业信息化实践中质量管理信息系统的设计和开发经验,针对飞机研制特点,研究了基于双库结构的集成质量管理系统支撑平台.对该平台的关键技术进行了分析和阐述,给出了一种以统计学原理为基础的质量规则库的维护方法,对质量知识采用实体属性表示,便于从质量数据库抽取知识,同时便于利用本体方法对知识进行集成.     

基于蚁群算法的语音信号动态时间规划

蚁群算法是一种新型的随机优化算法,应用蚁群算法优化机制,提出了一种基于蚁群算法的语音信号动态时间规划方法———蚁群动态时间规划算法,搜索语音信号之间匹配的一条全局最优路径,进而以此衡量语音信号之间的相似度.算法给出了蚁群状态转移概率及信息素更新方程,既利用了语音信号的全局特征又考虑了其局部信息.理论分析与仿真实验结果均证明了此方法的可行性,与传统的DTW算法相比较,其匹配结果更能体现匹配语音信号之间的相似度.     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6 0开发的一个营养诊断专家系统 ,它属于一种诊断型专家系统。该系统的知识表示使用了产生式规则形式 ,推理机采用了规则推理和不精确推理相结合的方法。在不确定性知识处理上 ,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型 ,使推理机具有较高的准确性。     

热水锅炉故障诊断专家系统的研究

以供暖系统热水锅炉为故障诊断研究对象,提出了面向对象基于框架、规则、模型与过程集成的广义故障树知识表示方法和基于广义故障树的多种推理范式集成的推理与控制策略,建立了状态监测与故障诊断专家系统的结构框架．采用故障树分析法,构造了热水锅炉故障树,实现了热水锅炉状态监测与故障诊断系统,并且完成了专家系统运行、调试、测试和验证等一系列研究工作。     

本体与规则整合的推理方法研究及设计

在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。     

基于元组空间搜索的规则集冲突检测算法

当添加防火墙规则时,新规则可能会与已有规则发生冲突,造成潜在的安全漏洞。要避免此漏洞产生,管理员必须正确地确定新规则插入的位置,找出与新规则相冲突的所有规则。目前冲突检测算法时间复杂度为O(dN),效率低下,为此提出了一种基于元组空间搜索的规则集冲突检测算法。该算法不仅能找出与新规则相冲突的所有规则,且时间复杂度降为O(㏒N+N/w),可有效帮助管理员正确确定新规则插入位置,避免了漏洞的产生。     

可进化硬件的动态进化

将可进化硬件动态进化分为两类,并针对基于任务切换的动态进化进行研究.提出一个进化与学习的混合策略,将改进的CGP(Cartesian Genetic Programming)算法与局部学习结合,用于可进化硬件的动态进化.实验结果表明,该策略以较小的计算代价扩大了算法的搜索范围,提高了进化成功率,可以满足任务切换类可进化硬件动态进化的要求.