摘要：对撞球机器人的母球控制问题展开研究,设计了一种基于神经网络(NN)的控制器,使机器人能够控制母球在击打目标球后按照预定的模式运动至目标点——即完成走位。针对该问题非线性且非光滑的特点,对坐标系进行阐述并给出机器人击球的模型;在光滑的假设下使用理论分析的方法建立母球的运动学模型与边库反弹的理想镜像模型;进而使用神经网络方法对理想模型进行修正,并对不同的轨迹模式进行分析与分类。测试结果表明:经过训练的机器人能够掌握各种模式的走位,统计结果与模型分析结果相吻合;相比于单一使用神经网络方法,本文使用理论分析与神经网络相结合的方法能够有效地提升网络的品质,降低训练的误差。

摘要：随着分子生物学的研究进入以蛋白质组学为标志的后基因组时代,蛋白质相互作用成为蛋白质组学研究的一个重要主题.因为计算方法代价低和周期短的特点,它被广泛地用来分析相互作用数据从而指导生物学家的实验设计.从蛋白质相互作用网络的构建到分析两个方面综述了蛋白质相互作用研究中的各种计算方法:介绍了通过机器学习方法预测、文本挖掘和评估相互作用的各种技术;特别详细地阐述了相互作用网络的重要参数和典型生物模型,并对运用图论方法分析和计算的各种算法进行了深入的剖析;最后,对蛋白质相互作用的计算研究进行了总结和展望.

摘要：云计算的一个关键需求是其基础设施中大规模虚拟机的放置问题.虚拟机和物理结点之间的映射决定了如何将云计算中虚拟化资源分配给多个Web应用,对云计算系统的性能、能耗和QoS保证有重要影响.文中提出了云计算中虚拟机放置的自适应管理框架,提出了带应用服务级目标约束的虚拟机放置多目标优化遗传算法,用于制定框架中的虚拟机放置策略.算法基于长期负载性能模型,采用组方式和三空间分割方法分别对染色体进行编码和译码,根据不同染色体长度的变化设计交叉和变异遗传算子.算法对解空间内的多个区域同时搜索,具有群体和自我进化的优势,优化一次就能获得对不同目标的权值运算多次才能得到的最优解.实验结果表明,与传统的启发式和单目标优化算法相比,提出的框架及算法使得多个应用的服务级目标的违背率最低,且能有效减少虚拟机迁移次数和物理结点的使用数量.

摘要：大型ORACLE数据库应用系统的运行效率对用户来说是至关重要的,在应用系统的设计阶段、开发阶段、运行阶段都应该有相应的优化策略来保证。这三个阶段中的程序设计结构、数据库库结构、SQL语句以及ORACLE数据库系统参数设置等方面的优化策略在文中得到了论述。

摘要：针对复杂多任务的飞机电源预测与健康管理的需求,以状态维护开放系统体系结构OSA-CBM模型为标准架构,提出一种基于多Agent的飞机电源故障预测与健康管理系统体系结构模型。结合原型系统开发实例,详细阐述了各Agent的功能及相互关系。采用AUML技术构建基于多Agent的AEPHM系统模型,通过AUML协议图描述了Agent之间的主要交互活动。实践表明,该体系结构为航空机载设备预测与健康管理系统建设提供了一种新的设计开发模式。

摘要：编码理论中的Berlekamp-Massey-Sakata(BMS)算法具有良好的解码效率与纠错能力,目前的研究通常集中于分次项序下的情形。通过分析字典序与分次项序的本质特征,利用与BMS算法密切相关的Grbner基的消去性质,设计出字典序下BMS算法的终止条件,并给出了基于该条件的易于实现的具体算法描述。实验结果表明,该终止条件切实有效,与算法中的原始理论终止条件完全吻合。

摘要：研究如何将任意有限域上的多项式集分解为有限多个简单列.为了解决这一问题,首先研究简单列和根理想之间的关系,然后基于已有的正则分解算法和有限域上理想的根的两种计算方法设计一个有限域上多项式集的简单分解算法.计算试验表明,文章给出的算法是有效的.

摘要：针对目前大部分几何作图软件只能处理等式约束的不足,设计并实现一种基于可处理不等式约束的动态几何自动作图软件GeoDraw。该软件应用符号和数值混合计算,将构造式和生成式作图方法相结合,可以有效地生成含有不等式约束的动态几何图形,能通过鼠标点击和拖拽图形中的自由元素改变更新图形,并且在图形变化中动态地保持几何约束关系,主要应用于几何教学与研究。整个作图过程包括Maple中的三角分解,QEPCAD中的实量词消去以及Java中的语义解析、数值计算和图形生成等,且是完全自动的。

摘要：本文根据通信网络的特点分析了其传送网资源管理系统设计的原则,在此原则基础上建立系统模型,最后给出了一个系统总体设计的基本框架。

摘要：根据拓展仿真的原理和方法，以建立符合网络特性的流量预测模型为目标，笔者提出一种基于定量统计建模方法的网络仿真平台．结合网络仿真器NS构建基于DWT和FARIMA的流量预测模型，并应用该模型的预测结果辅助主动队列管理的显式拥塞标记，采取拥塞预警的方式达到对网络协议进行优化的目的．文中给出所设计的分层组播协议FLM实现算法，并开展了关于流量行为和协议策略的仿真测试．