摘要：本文介绍了应用数据库技术（面向数据库结构）开发数据库管理系统的一种方法。使用这种方法开发数据库管理系统、再生新的应用管理系统时，操作人员不必为实现其基本功能而编写程序，即可实现多管理系统的共存。

摘要：本文介绍了Ｐｒｏ树的生成规则，并以一个递归程序为例，对追踪过程和由Ｐｒｏ树图解的运行机制进行了详细比较，说明Ｐｒｏ树可作为一种直现、形象、易于理解的辅助工具，用于Ｐｒｏｌｏｇ程序的设计和调试。

摘要：强化学习一词来自于行为心理学，这门学科把行为学习看成反复试验的过程，从而把环境状态映射成相应的动作．在设计智能机器人过程中，如何来实现行为主义的思想、在与环境的交互中学习行为动作？ 文中把机器人在未知环境中为躲避障碍所采取的动作看作一种行为，采用强化学习方法来实现智能机器人避碰行为学习．Ｑ－学习算法是类似于动态规划的一种强化学习方法，文中在介绍了Ｑ－学习的基本算法之后，提出了具有竞争思想和自组织机制的Ｑ－学习神经网络学习算法；然后研究了该算法在智能机器人局部路径规划中的应用。

摘要：基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。

摘要：本文介绍了植物分类专家系统（ＰｌａｎｔＴａｘｏｎｏｍｙＥｘｐｅｒｔＳｙｓｔｅｍ简称ＰＴＥＳ）的设计与实现。该系统采用神经网络知识表示方法表示知识，是一个基于神经网络（ＮｅｕｒａｌＮｅｔｗｏｆｋｓ──ＮＮ）的植物分类专家系统。

摘要：本文阐述了用模糊数学理论解决水下机器人局部规划问题的方法.首先针对机器人的运动特性,讨论了机器人的平移和转动规则;然后对声纳信息进行了模糊处理,在总结人的驾驶经验基础上,构成了机器人局部规划控制表;最后在微机上进行了避碰模拟,给出了仿真结果.

摘要：现有的基于密度的数据流聚类算法难于发现密度不同的簇,难于区分由若干数据对象桥接的簇和离群点.本文提出了一种基于共享最近邻密度的演化数据流聚类算法.在此算法中,基于共享最近邻图定义了共享最近邻密度,结合数据对象被类似的最近邻对象包围的程度和被其周围对象需要的程度这两个环境因素,使聚类结果不受密度变化的影响.定义了数据对象的平均距离和簇密度,以识别离群点和簇间的桥接.设计了滑动窗口模型下数据流更新算法,维护共享最近邻图中簇的更新.理论分析和实验结果验证了算法的聚类效果和聚类质量.

摘要：针对硬件式冗余容错系统的可靠性测评问题，提出了分布式仿真的思想；基于该思想进行可靠性的评估和预测，提供了并行工作的优越性和灵活性；并重点介绍了分布式仿真系统设计中至关重要的时钟同步通信协议的设计与实现过程，包括分布式仿真的可靠性模型、时钟包的格式以及时钟同步算法等。

摘要：强化学习一词来自于行为心理学 ,这门学科把行为学习看成反复试验的过程 ,从而把环境状态映射成相应的动作 .在设计智能机器人过程中 ,如何来实现行为主义的思想、在与环境的交互中学习行为动作 ?文中把机器人在未知环境中为躲避障碍所采取的动作看作一种行为 ,采用强化学习方法来实现智能机器人避碰行为学习 .为了提高机器人学习速度 ,在机器人局部路径规划中的状态空间量化就显得十分重要 .本文采用自组织映射网络的方法来进行空间的量化 .由于自组织映射网络本身所具有的自组织特性 ,使得它在进行空间量化时就能够较好地解决适应性灵活性问题 ,本文在对状态空间进行自组织量化的基础方法上 ,采用强化学习 .解决了机器人避碰行为的学习问题 。

摘要：提出了一种面向TB级别日志文件挖掘需求的日志挖掘技术。采用MapReduce编程模型设计并实现了一种基于子种群联姻策略的GA,并部署到Yarn架构上,使Yarn架构与GA有效结合。在算法Partition阶段,采用Round-Robin策略代替原有的哈希方法,使各个子种群基因更加趋向均匀分布,增加了子种群收敛效率和结果准确性,同时均衡各个节点运行负载,提高了系统性能。经测试,应用该技术的挖掘结果平均准确度达到93%以上,效率提升接近33%。