基于CLIPS的卫星任务规划专家系统设计

本文提出了基于CLIPS的卫星任务规划专家系统的设计方法,详细分析了系统的结构和功能,重点讨论了中文产生式系统的BNF范式、基于上下文的推理机制和集合运算符。中文产生式系统的BNF范式基于CLIPS标准BNF范式定义,并依据BNF范式进行规则表示和规则自定义获取;推理机采用上下文限制的规则控制策略,依据不同的上下文加载相关的事实和规则,提高推理机的运行效率;利用规则中的对象逻辑子式进行了集合运算符的设计,并对极值运算符、属性差值运算符和均值运算符等三类集合运算符进行了探讨。该系统解决了卫星任务规划中知识表示和知识获取问题,提高了卫星任务规划推理效率,为卫星任务规划人员提供有效的辅助决策功能。     

主动数据库规则集的Petri网建模

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.     

一种基于支持向量机的模糊施肥预测方法研究

提出了一种利用支持向量机(SVM)学习算法提取模糊规则进而实现施肥预测的方法.对于农业施肥中常用的正交实验法,由于其数据均衡分散使得曲线拟合的回归预测方法效果不佳.提出了一种利用SVM学习样本数据,再利用隶属度来提取模糊规则,通过阈值和可信度来控制规则的激活和准确性的预测方法,这一方法不仅避免了回归预测所产生的误差,并且模糊规则更具有实际意义,从而大大提高了知识获取的能力.     

基于概率分布代表点的模型集合设计方法

对于估计、滤波和控制等问题, 多模型方法提供了一种非常优越的解决方案. 设计优良的模型集合是应用多模型方法的首要问题. 本文提出了一种基于概率分布代表点的模型集合设计方法. 在已知系统模式的概率分布条件下, 由数论方法获得代表其概率分布的F–偏差或伪F–偏差代表点和均方差代表点, 利用这些代表点构成覆盖系统模式空间的模型集合. 文中给出了一维和二维模型集合的具体设计. 仿真结果说明了所设计的模型集合的性能.     

基于Nearest Pair 的XML 关键词检索算法

随着大量数据以XML格式保存,针对XML文档的关键词检索技术已经成为信息检索和数据库等相关领域的研究热点.以树的杜威编码为基础,分析并证明了XML 关键词检索中核心概念SLCA(smallest lowest commonancestor)的两个重要性质,并在其基础上提出了Nearest Pair 算法.该算法采用二分迭代查找技术寻找最邻近点,将求解中间结果的次数降低了一个量级.实验结果表明,该算法的性能在绝大多数情况下优于现有主流算法.     

布鲁姆过滤器查询算法

从理论和应用两方面系统地综述了布鲁姆过滤器查询算法迄今为止的主要研究成果,分析了目前布鲁姆过滤器查询算法的研究现状,最后展望了布鲁姆过滤器查询算法未来可能的研究方向.     

非线性切换系统的集合稳定性分析

将输出对状态稳定和状态模可观测等概念进行推广.提出了输出对V(x)稳定、小时间y(z)可观测、大时间V(x)可观测的定义.利用上述定义,给出了非线性切换系统的V(x)零值集稳定的充分条件.分别利用统一Lyapunov函数和多Lyapunov函数证明了所提出的结论,并详细讨论了输出对V(x)稳定与输出对状态稳定及其他相关定义之间的关系.数值例子验证了所提出结论的正确性.     

基于多面体不变集的离线鲁棒预测控制器综合

提出一种基于多面体不变集的离线鲁棒预测控制器综合算法.该算法离线确定一组反馈控制律及其对应的不变集,在线控制时根据当前状态所处的位置选择相应的控制律,不仅扩大了初始可行域,还能在一定程度上改善控制性能.仿真结果表明了采用多面体不变集的优越性.

     

打造更完美的歌美X690HD

当初歌美X690HD凭借直接播放720P的RMVB格式视频,以及10Mbps码率流畅播放的本领成功地冲击了主流MP4市场,X690HD+在X690HD的基础上支持OTG功能,华芯飞CC1600的本领还是不小的,怎么进一步挖掘它的潜力呢?     

粗糙集理论的研究与应用

对粗糙集的基本理论进行了讲解,同时给出了基于加权平均和频度的双向选择约简算法。