基于框架表示法的某武器系统嵌入式智能诊断

讨论针对某武器系统的一种基于框架表示法的嵌入式智能诊断系统,诊断系统采用故障树分析法来构造推理机,采用正向推理为主、反向推理为辅,正反向混合推理的控制策略。围绕故障分离树进行深度优先搜索,通过问题框架与知识库的匹配进行故障诊断。武器系统的操作人员借助嵌入式智能诊断系统进行故障诊断,可以很大程度上提高故障诊断的效率,同时加强操作人员对武器系统性能、构造的把握和了解。该系统对于充分发挥武器系统的效力,具有较大的现实意义。     

CLIPS和C#结合实现电力操作票的自动生成

运用专家系统技术是实现电力操作票系统智能推理过程的主要手段,专家系统开发工具CLIPS可实现操作票专家系统模块的设计。为了弥补CLIPS图形界面开发能力的不足,以CLIPS和C#混合编程的方式研究操作票专家系统模块。CLIPS负责操作票专家系统的逻辑推理开发,主要完成CLP知识文件的设计,而C#负责图形界面的设计。C#通过调用免费的CLIPS动态链接库来完成两者的交互,实现了操作票从图形界面操作任务的制定到推理的自动生成过程。该方法较好地解决了操作票系统智能性不足的问题,实现了专家系统与用户界面的友好交互。     

IBARM：一种基于区间表示的不精确推理模型

不精确推理是根据应用系统中的不确定信息(可能是概率的、模糊的、不完备的等),按一定的搜索策略(如深度优先或广度优先),采用一定的推理技术(如正向、反向或双向)和不确定值传播算法,得出应用系统中近乎合理的结论。一个不精确推理模型主要包括知识的不确定性描述方式、不     

模糊Petri网在压缩机故障诊断中的应用

为克服Petri网在推理分析复杂、不确定的故障信息中的不足,引入置信度最大及深度搜索优先的诊断方法,将Petri网和模糊推理知识相结合,提出模糊Petri网故障诊断方法及其概念与规则表示,采用反向推理算法根据已发生的故障来定位故障源,给出推理算法的具体步骤。通过逻辑推理和离心式压缩机故障的实例分析,验证了该算法的有效性和可行性,提高了故障诊断的准确性和高效性。     

基于矩阵运算的Petri网反向推理算法

通过对加权模糊Petri网模型和反向推理算法的研究,建立了加权模糊Petri网的关联Petri网推理模型。在此基础上,提出了基于矩阵运算的反向推理算法。通过实例对算法进行了检验,结果表明该算法具有解决复杂问题的并行推理能力、推理效率高、推理过程简单、容易实现。     

基于Agent的核心计算机操作机制研究

无人作战平台(UCAV)核心计算机(Core Computer)是一个并行多处理系统,由多个处理器和功能单元组成,负责平台的智能思维、推理和决策。文中基于智能体(Agent)的理论与方法建立了核心计算机智能体模型和控制结构;定义了不同智能体的功能和操作;对智能体间数据交换、通讯等操作机制进行了探讨。     

主动数据库中的实时ECA规则推理算法

许多领域的应用要求发生的事件能够得到实时的反应,这就要求应用于其中的主动数据库中的ECA规则推理过程具有实时性,能够在截止期内完成推理给出反应.现有的ECA规则推理算法均没有考虑实时性要求.为了解决这个问题,提出了一种实时ECA规则推理算法RTIAE.作为一种"任意时刻"实时算法,RTIAE算法在ECA规则的有向图结构中通过启发式搜索进行推理,在截止期内尽量给出更多的推理结果.随后,通过实验探讨了不同的参数对RTIAE算法实时性能的影响,并与深度优先算法进行了对比.实验结果显示,RTIAE算法的截止期推理成功率优于深度优先算法.     

电力操作票在线自动生成系统的设计与实现

针对现有调度操作票自动生成系统大多为离线的单一智能体系统,在智能化、安全性校核、流程化审核执行等方面需要提高的现状,提出建立操作规则模板及用户可维护机制解决操作规则描述、学习及推理的通用化问题,开发和实现了与SCADA系统共享实时数据,与管理信息系统集成的集自动开票、手工开票、模拟预演、流程化审核、执行与管理等多种实用功能于一体以及用户可维护的新型智能化电网调度操作票系统。     

电力操作票在线自动生成系统的设计与实现

针对现有调度操作票自动生成系统大多为离线的单一智能体系统，在智能化、安全性校核、流程化审核执行等方面需要提高的现状，提出建立操作规则模板及用户可维护机制解决操作规则描述、学习及推理的通用化问题，开发和实现了与SCADA系统共享实时数据，与管理信息系统集成的集自动开票、手工开票、模拟预演、流程化审核、执行与管理等多种实用功能于一体以及用户可维护的新型智能化电网调度操作票系统。     

复杂系统的图模型多智能体协同故障诊断

为解决复杂、不确定系统的故障诊断实时推理问题,提出了基于图模型-多连片贝叶斯网络架构下多智能体协同推理的故障诊断方法。该方法将一个复杂贝叶斯网分割成若干有重叠的贝叶斯子网,使监控网络的单个智能体被抽象为一个拥有局部知识的贝叶斯网,利用成熟的贝叶斯网推理算法可完成智能体的自主推理。随后,通过重叠的子网接口进行多智能体间消息的传播,实现了多智能体协同故障诊断推理。实验结果表明了基于图模型多智能体的协同故障诊断方法的正确性和有效性。     

一种基于细节层分离的单曝光HDR图像生成算法

针对利用单幅低动态范围（Low dynamic range,LDR）图像生成高动态范围（High dynamic range,HDR）图像细节信息不足的问题,本文提出了一种基于细节层分离的单曝光HDR图像生成算法.该算法基于人类视觉系统模型,首先分别提取出LDR图像的亮度分量和色度分量,对伽马校正后的亮度分量进行双边滤波,提取出亮度分量的基本层,再对基本层和亮度分量进行遍历运算,得到亮度分量的细节层;然后,构造反色调映射函数,分别对细节层和伽马校正后的亮度图像进行扩展,得到各自的反色调映图像;之后,将反色调映射后亮度分量与压缩后的细节层进行融合,得到新的亮度分量.最后,融合色度分量与新的亮度分量,并对融合后图像进行去噪,得到最终的HDR图像.实验表明该算法能挖掘出部分隐藏的图像细节信息,处理效果较好,运行效率高,具有较好的鲁棒性.     

一种基于离散混沌系统的密钥流设计算法

本文设计了一种基于离散混沌系统的密钥流发生器算法．通过把简单混沌系统 与线性系统、分段线性状态反馈函数所形成的混沌系统在阈值化后进行异或运算，使得输出 的密钥流为不可预测性的伪随机序列．分析和仿真结果表明，本算法能有效地抵抗对系统的 预测攻击及统计分析，能够达到密码学上对密钥流的要求．该算法可作为流密码体制中的密 钥流发生器．     

最佳匹配问题的DNA表面计算模型

基于最佳匹配问题的问题解空间,采用荧光标记的策略,给出了一种新的最佳匹配问题的DNA表面计算模型,该模型首先将问题解空间的DNA分子固定在固体载体上,然后通过进行相应的生化反应来求得最佳匹配问题的所有解.与已有的最大匹配问题的DNA表面计算模型相比,新模型在检测边的过程中不需要使用观察法,且边的排列顺序不影响解空间的生成过程.因此,新模型具有更好的性能.     

Euler方程非结构网格分布式并行计算

在二维非结构网格情形下,针对PC集群并行系统提出一种新的并行算法,在前景网格与背景网格之间建立起逻辑映射关系来交换边界计算数据并提高并行效率,该算法在应用中能有效地保持并行系统的负载平衡和边界计算数据的正确交换,多个数值算例的结果表明了该算法的有效性。     

基于改进免疫遗传算法的电网故障诊断研究

针对电网故障的特点,应用一种改进的免疫遗传算法对电网故障进行研究。该算法能够较好地解决传统遗传算法的不足。通过引入新的交叉和变异率,更多考虑了种群的全局特征,采用动态自适应方式提取疫苗,避免了传统遗传算法收敛速度较慢的缺点。改进的算法本着优胜劣汰的思想,删除适值较低的抗体群,取而代之的是随机生成的部分新抗体,保持种群的多样性。建立一个新的目标函数,通过对一个电网的分析,验证了方法的有效性。     

基于场景分析的系统形式化模型生成方法

采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法。该方法首先采用OCL前/后置条件分析法对UML时序场景作一致性分析,然后将UML时序图中对象交互的行为序列转换成FSP进程代数模型,进而得到系统的形式化模型。该方法为系统的形式化建模提供了新思路,从安全质量方面改善了安全苛求软件的设计与开发,丰厚了基于模型的软件形式化开发方法。     

新的等价类生成算法—生成支法*

目前,基于排序的等价类生成算法存在以下不足:排序后仍需高达 O（|B| |U|）的时间复杂度重复进行 运算才求得等价类,为此,设计了一种新算法。新算法采用孩子兄弟表示法,将生成等价类的过程定义为一棵二 叉树,主要采取了边生成节点边访问,一旦求得某个等价类便释放相应分支节点空间的方法。其时间复杂度为 O（|C| |U|）,空间复杂度为O（|U|）,为求等价类提供了一个新的解决办法。     

直线生成的像素行算法

直线是图形最基本的元素,其快速生成算法的研究具有重要的理论价值和实际意义。本文在Bresenham算法基础上,充分利用了直线中相邻像素之间的相关性,每次生成一个像素行,大幅度提高算法效率。该算法的直线精确度与Bresenham算法相同,但速度快且易于硬件实现。     

混合策略改进的鲸鱼优化算法

针对标准鲸鱼优化算法易出现搜索速度慢、寻优精度低及早熟收敛等问题,提出一种混合策略改进的鲸鱼优化算法。首先采用混沌映射生成初始种群增加种群多样性,为算法全局搜索奠定基础;然后引入非线性策略改进收敛因子和惯性权重,平衡算法的全局探索与局部开发能力并加快收敛速度;最后根据群体适应度方差设定阈值进行变异操作,避免算法出现早熟收敛的现象。通过对12个典型基准函数进行三方面的性能测试,实验结果表明,改进算法在搜索速度、收敛精度等方面有显著提高,且摆脱陷入局部最优解的能力强。     

卫星自主运行任务调度问题的优化算法

针对卫星自主运行任务调度问题的特点,设计了一种基于遗传的新的调度算法。以卫星对地拍照任务作为仿真实例,对算法的编码方式和解码规则、初始群体的产生方法、适值函数、遗传算子进行了详细的描述。计算结果表明,同精确算法相比,该调度算法能很好地解决卫星自主运行任务调度问题。