矢量禁忌算法及其在电磁场逆问题中的应用

为分析、计算多目标优化设计的电磁场逆问题,提出了矢量禁忌优化算法.在矢量禁忌算法中,应用接触理论判断Pareto最优解、应用排序法确定可行解的适值.为保证搜索到的Pareto最优解均匀分布于目标函数和决策变量空间,提出了一种简单、有效的适值共享函数.通过典型算例的验证,可以看出,对于多目标优化设计问题,所提出的矢量禁忌能够搜索到均匀、平滑的Pareto曲线,由此可见,矢量禁忌算法可实际运用于复杂工程电磁场逆问题的分析和计算.     

可满足性问题有解的充要条件

本文对布尔表达式的可满足性问题作了进一步的研究，证明了该问题的充要条件，本文把布尔表达式可满足性的“判定的问题”与它的“求解问题”区别开来。     

智能规划中的可纳子目标排序

提出了一种称为可纳子目标排序(admissible subgoal ordering,简称ASO)的排序关系,给出了可纳排序的形式化定义并讨论其对增量式规划的重要性.随后介绍了原子依赖关系理论和原子依赖图技术,能够在多项式时间内近似求解可纳子目标排序关系.最后给出了一种计算可纳子目标序列的算法.其所有思想已经在规划系统ASOP中实现.通过在国际规划大赛标准测试领域问题上的实验,其结果表明,该方法能够有效地求解大规模的规划问题,并能极大地改善规划性能.     

基于数据源向图的数据项的表示与获取方法

 如何清晰的表示数据项之间的关系,进而了解数据之间更深层的内在关系,在当前的需求分析中没有明确的方法,但是其对于软件需求中数据的获取和数据关系的表示具有重要作用.如何通过数据本身采用推导的方法获取软件系统所必须的数据以及数据项,在当前的需求分析和获取方法中也没有直接方法和思路.本文采用数据源向图的方法,通过推导的方法获取必要的数据和数据项,并通过它来表示数据中各个数据项之间的关系,使得数据项之间关系的表示更加清晰,数据项的获取更加容易.     

基于数据源向图的数据库设计中数据关系的表示工具

数据库设计是信息系统需求分析到系统实现中的一个关键环节。传统的数据库设计方法需根据需求分析阶段的结果,依赖人的构造性思维抽象出对象和关系,由于对所需数据结构和关系的描述能力不足,缺少对数据项之间关系的描述,导致数据关系不明确,数据库设计结果容易出现偏差。在新的数据库设计工具——数据源向图的帮助下,对象、关系以及各数据项之间的关系能被直观、简洁、准确地表示,同时其也能极大地消除各种关系不明确而带来的二义性问题,可有效提高信息系统实现的效率。     

特征谓词知识树分解策略的研究

搜索空间约减是智能规划研究中的重要内容之一.谓词知识树是一种特殊的树状结构,它表达了规划领域中实现同一谓词的所有动作.在规划求解过程中,这些动作的前提条件通常是不能同时得到满足的.因此,提出了知识树的分解原理以及基于特征前提的知识树分解策略,并给出了相应的分解算法.对任意一个规划领域,利用该分解算法可将知识树分解成若干个较小规模的知识子树,使其对具体规划状态具有更强的针对性.在规划求解过程中使用知识子树可以避免一些不必要的动作搜索,提高规划效率.实验结果表明分解算法是有效的.     

基于贝叶斯网络的润滑油发射光谱数据挖掘研究

针对船舶柴油机活塞-气缸套磨损工况的监测问题,对某型柴油机69个工作油样的发射光谱数据进行了分析。油样来自7种不同活塞-气缸套间隙工况,光谱数据包括21种典型元素浓度值,构建了NB贝叶斯网络分类模型和K2贝叶斯网络分类模型对油样光谱数据进行了挖掘研究。研究结果表明,两种分类模型的工况识别正确率均大于90%,K2贝叶斯网络模型的分类规则与实际装备的工作机理更加吻合。     

浅谈某煤矿井下无人值守排水系统的升级改造

矿井排水系统主要用于井下涌水的抽出排放,是保证矿井安全生产的关键环节之一。本文结合某煤矿矿井排水系统的升级改造实例,介绍了煤矿井下无人值守自动排水控制系统的设计原理、架构和功能。采用PLC和上位机组态软件,可实现井下无人值守排水系统的自动控制。     

空压机防喘振及联锁停车控制系统优化改造

由于仪表传输线路存在信号干扰,导致空分设备空压机联锁停车或防喘振阀全开的故障发生。通过对设备硬件及控制程序进行优化改进,将传输模拟信号电缆与传输逻辑信号电缆采取有效隔离,消除了控制系统上存在的安全隐患,保证了空压机正常运行。     

STRIPS规划领域中动作效果关系的研究

以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关系反映了规划动作中所隐含的领域知识.对动作效果的基本关系,定义了进行关系组合的运算,产生出间接阻碍关系和绝对阻碍关系.间接阻碍关系反映出动作前提条件的传递性;绝对阻碍关系表达出实现一个谓词对其他谓词实现的影响.最后给出动作效果关系在规划求解过程中的具体运用,这些动作效果关系为目标实现顺序的排序、目标状态可解性的判定以及动作选择策略的优化等提供了必要的理论依据.