论文部分内容阅读
给出了采用规则化描述方法设计的离散事件控制系统中，将规则转换为较为简单的规范化形式—Horn子句形式的方法，提出了将采用逻辑规则描述语言编写的规则组中的else语句转换为Horn子句形式的方法，使得规则的形式单一化、规范化，从而减少对规则进行处理的复杂性。
规则化描述方法中的规则化简方法
【摘 要】
：
给出了采用规则化描述方法设计的离散事件控制系统中，将规则转换为较为简单的规范化形式—Horn子句形式的方法，提出了将采用逻辑规则描述语言编写的规则组中的else语句转换为Horn子句形式的方法，使得规则的形式单一化、规范化，从而减少对规则进行处理的复杂性。
【机 构】
：
合肥工业大学计算机与信息学院,合肥 230009 安全关键工业测控技术教育部工程研究中心,合肥 230009
【出 处】
：
全国第20届计算机技术与应用(CACIS)学术会议
【发表日期】
：
2009年3期
其他文献
通过深入研究密码算法中查询表的存储、移位运算实现的一般规律，针对BlueCore04 TM-Extenal芯片内存管理特点，设计了符合芯片特点的查询表和移位的处理方案，解决了由蓝牙芯片存储管理与PC机不同导致的算法无法加解密的问题。实验结果表明，该方案对密码算法在蓝牙单芯片上的实现具有普遍的指导意义。
体裁剪技术善于揭示数据的内部细节特征。和传递函数配合使用,它能改进直接体绘制方法的效果。基于裁剪纹理的体裁剪技术是最常用的方法之一,但该方法存在裁剪纹理数据过大的问题,本文针对这个问题提出多分辨率裁剪纹理。本文首先介绍了多分辨率裁剪纹理的概念和基于多分辨率纹理的体裁剪技术,然后给出了实验结果并进行分析。
该文探讨了三维地形模拟的基本原理和实现方法,重点分析了高程数据的读取和插值计算,地形网格的构建以及地形网格顶点法线的计算等内容。采用面向对象方法将三维地形模拟的具体实现封装进一个类中,最后使用Direct3D三维图形开发接口开发了一个演示程序。
嵌入式数据库系统是数据库学科一个重要的研究和发展方向。本文针对嵌入式数据库EDB系统的存储子系统在设计和实现过程中遇到的关键技术进行讨论,重点研究了嵌入式数据库管理系统中数据存储和管理机制。首先,给出了EDB的逻辑存储结构。然后,提出了基于内存的存储机制。在此基础上,设计了主存控制结构和索引结构。该机制减少了频繁的I/O操作,提高了数据库的应用效率和稳定性。所提出的基于内存的存储机制具有一定的实践
本文将小波变换应用于心电信号(ECG)QRS波检测,选取双正交样条小波函数对心电信号按Mallat算法进行快速变换；从等效滤波器的角度分析了信号奇异点(R波峰值点)与其小波变换模极大值对的零交叉点的关系；在检测中还运用了一系列策略以增强算法的抗干扰能力。经MIT/BIH标准心律失常数据库验证,这种方法具有很好的效果。
在井下建立轨道运输监控终端时,设计一个基于冗余容错的系统具有十分重要的意义。本文研究和设计了一种基于8位Freescale单片机、系统供电和隔离供电相结合、现场总线技术和串行通信技术一体化的轨道运输监控终端。该终端实现了对轨道道岔的状态采集和转动控制、故障检测和报警,并将信息上报地面监控中心。现场实验表明,在矿井中该监控终端本质安全,实时性好,工作稳定,可靠性高。
针对目前兆瓦级变速恒频风电机组的工作原理及技术要求,提出了基于INTERBUS的整机控制系统设计。该控制系统监测点分散、执行设备数量较多,且智能化与非智能化设备并存,对控制及网络通讯要求较高。介绍了风电控制系统的控制功能及INTRTBUS器件选型,对PLC编程特点及软件环境作了详细阐述。
本文研究了多信号源、多传感器测试系统的基本理论,分析了基于多传感器数据融合卷积分离系统的框架结构。采用限值交叉残余误差检验控制准则的信号分离方法,并针对机械振动信号的特点生成仿真信号,将该方法应用于机械振动信号瞬态成分的提取中,仿真试验结果表明了该算法的有效性。
P2P系统是当前流行使用的网络模型，Gnutella和Freenet分别是P2P非结构化模型、文件存储协议的典范。本文对它们从文件存储方法，查询文件方式、用户匿名程度等三个方面进行深入对比研究。使用适合分布式网络仿真的新型仿真工具OMNeT++为仿真平台，建立仿真模型，分别从查询响应时间、查询成功率、查询返回数三个方面对Cnutella和Freenet进行仿真实验，实验结果表明，OMNeT++网络
在散货船代货运系统使用的过程中，动态业务数据的处理及实时分析有助于决策者制定有效的策略。航线是船代公司考虑成本时着重考虑的因素，航线的繁忙程度对船代公司的资源分配和经营策略的制定十分重要。K-means算法是解决聚类问题的一种经典算法，本文在对K-means算法进行研究的基础上，结合已有的K—means改进算法，提出一种混合的K-means改进算法，并将其应用于在散货船代货运系统中的航线繁忙度分析