基于t-norm算子的模糊逻辑和模糊推理

提出基于范算子的模糊逻辑和推理, 介绍范算子 的使用方法和特点, 给出合取通过t-norm进行计算、 蕴涵通过残数进行计算的方法, 并对等值、 等价和模糊集合的语义进行讨论. 同时利用等价关系理论对模糊环境进行说明, 并给出了几个具体例子.     

约束满足问题求解及ILOG SOLVER系统简介

首先综述求解约束满足问题的基本算法和搜索策略, 然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成, 并给出用该系统求解的两个地图着色示例.     

新的粒子群优化算法

粒子群优化(PSO:Partic le Swarm Optim ization)算法是一种有效的全局优化技术。对于PSO算法,很容易陷入局部极值。针对上述缺点,提出了两点改进:对基本PSO算法的速度更新公式中的全局极值给出新的定义,以使粒子群体保持多样性;适当地缩放适应值,与随机规则共同决定某个粒子作为速度公式中的全局极值。改进的两点用于PSO算法后期,形成新的PSO算法(NPSO:New PSO)。NPSO能有效地改善算法,具有摆脱局部极值的能力。在给定的条件下,选用3个函数进行了测试。实验结果显示,在获得平均适应值方面,该算法比PSO算法提高1.62%~16.5%,明显优于基本的PSO算法。     

产品构模器的设计与实现

通过对大批量定制中产品配置问题的分析, 给出了广义产品结构和广义产品结构约束两个概念, 建立了广义产品结构模型, 在此模型的基础上, 利用Java, XML, SQL Server等主流的网络和数据库技术, 设计并实施了一个产品构模器, 实现了多种类型产品的通用配置知识表示.     

面向网络的实时飞行模拟系统模型

为提高培养飞行员的效率和质量,节约费用,从整体上设计并实现了一种实时的、面向网络的飞行系统仿真模型。为了使其具有通用性及实时性,采用数据驱动方式,并通过使用稳定系数方式单独设计了一种适用的空气动力的数学模型。通过简单的配置用XML(extensib le M arkup Language)格式描述的配置文件,可以同时模拟各种类型的飞机飞行驾驶,为飞行员的飞行模拟训练提供了仿真平台,模型的建立方法可以为同类设计和研究提供借鉴。实践证明,本模型在通用性、实时性以及仿真度等方面基本符合要求,应用此模型实现了某种国产初级教练机的仪表飞行系统,并被应用于飞行员的仪表飞行训练中。测试结果表明,如果不加控制信号,飞机能保持平飞状态达30 s以上。     

基于核的有向强连通图计算机随机生成算法

针对图论算法研究和算法测试对随机生成有向强连通图的需求,在深入研究有向强连通图和极小有向强连通图的结构组成的基础上,提出了有向强连通图核的概念。参考有向连通图的随机生成算法,给出了一种有向强连通图的随机生成算法,并对该算法进行了测试。对具有上千个节点及上万条弧的强连通图的随机生成,采用该算法时间都在1 s以内,生成的结果能很好地应用于图论研究,以作为图论算法的随机测试用例。     

约束可满足问题求解策略的改进和实验结果

通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．     

模糊集合的语义

对于一个概念来说 ,存在很多不同的解释 ,因此 ,解释说明一个概念的语义是非常重要的。从两个方面讨论了模糊集合的语义 ,通过随机集合理论和等高线函数对模糊概念进行了说明 ,利用等价关系理论对模糊环境进行说明 ,同时结合一些具体实例加以详细讨论     

模糊粗糙集合

介绍了模糊集合及粗糙集合的概念和特征。说明了模糊集合和粗糙集合之间的联系 ,讨论了模糊粗糙集合概念 ,同时 ,对模糊粗糙集合的补、交、并及等价进行了研究。为模糊集合和粗糙集合的结合建立了基础     

求极小碰集的遗传算法

采用改进的遗传算法求解极小碰集问题。在标准遗传算法的基础上,引入了精英策略以提高算法的搜索效率;在进化过程中加入了极小化操作,使得得到的结果都是极小碰集。同时通过实例,验证了极小化操作的有效性。最后,将此算法与其他求极小碰集的算法进行了比较。