维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

遗传算法的改进及其在排课问题中的应用

分析基本遗传算法中传统选择、交叉策略的不足,结合多种选择方法及模拟退火机制,提出改进的选择策略;在交叉阶段,利用蚁群算法的正反馈机制改进了交叉策略;采用最大允许停滞代数的方法来结束算法的运行。由在排课问题中的对比实验可以看出,本文提出的改进算法改善了遗传算法局部搜索能力弱的缺点,提高了算法运行效率。     

基于模糊识别的三维模型检索

提出了基于2D图像模糊识别的3D模型检索的方法。该方法根据人识别习惯模式，从6个方向采集3D模型的2D图像。考虑到人眼对色差的敏感的特点，采用适当的均匀色空间，建立各2D图像的纹理特征。然后对这些纹理特征采用模糊C-均值算法建立模糊集，这些模糊集用于模拟人对图像模糊认识，模糊集对图像变形具有鲁棒性，故提高了提取特征的稳定性和灵活性，同时改善了检索效果与人识别效果的一致性。     

高校学生管理信息系统的设计与实现

本文介绍一个用C语言开发的学生管理信息系统。该系统具有功能齐全、数据安全可靠、操作方便、人机界面友好等特点。文中讨论了实现该系统所用的主要数据结构、系统结构、系统的实现等。     

分布式混合实时事务处理

为了提高分布式实时数据库系统事务处理的成功率和可靠性，将分布式实时事务进一步细化，对传统的事务接纳控制协议进一步改进，从而提出了一种含有真实时和非实时两部分的分布式混合实时事务接纳控制机制。定义了分布式混合实时事务模型及系统设计方案。分布式混合实时事务的接纳控制综合考虑分布混合事务的执行需求和价值，有效控制负载，减少被系统接纳执行后而又不能满足截止期的事务，提高分布式实时数据库系统事务处理的成功率和可靠性。通过重点分析混合实时事务的接纳控制模型，对混合实时事务的接纳控制与传统的接纳控制作了分析比较，说明了比传统的接纳控制协议更优。     

基于模式矩阵的P_Matrix算法

Apriori算法是关联规则挖掘中最经典的算法,该算法需多次扫描数据库并产生海量的候选项目集.利用模式矩阵对Apriori算法进行改进,提出一种P_Matrix算法,它使扫描数据库的次数降为一次,同时不产生候选项目集而直接产生频繁项目集,从而使算法的时间复杂度和空间复杂度大大降低.     

基于关系数据库的关联规则挖掘算法DB-growth

从大数据中挖掘隐藏的、多维的有价值的关联规则具有广泛的应用价值。关联规则挖掘经典算法Apriori存在重复扫描数据库并产生大量候选项集的瓶颈问题,FP-growth算法虽不产生候选集,但FP-tree不支持大数据的存储与遍历,不能有效支持大数据挖掘;另外,Apriori以及FP-growth算法实施增量挖掘都需要重构关联规则,不适用于增长型事务数据挖掘。针对这些问题,设计基于关系数据库表SourceIndex的DB-growth算法,采用模式组合生成模式串的方式,更新数据库构建频繁集,有效地提高了关联规则的挖掘效率,同时对增量挖掘及深度挖掘也能得到较好的支持。更多还原     

一种改进的求解多目标优化问题的蚁群算法

针对传统蚁群算法在求解多目标优化问题过程中的一些缺陷提出了一种改进的多目标优化蚁群算法。该方法在一定程度上避免了传统算法中解群体单一、收敛速度慢等缺点,并以实例加以证明。     

基于路径定位的XML数据库存储策略

提出基于路径定位的XML数据库存储策略，是一种从底层设计XML文档存储结构的存储方法，可以做到结构化地存储XML文档的全部信息。该策略有针对性地面向XPath查询语言，有效地提高了数据查询效率。重点介绍了该策略的实现思路和实现方法，并简要分析了使用该策略所带来的优势。     

GIS与MIS结合的研究

对GIS对MIS进行了分析，提出将两者结合起业进行研究。论述了这种研究的可行性及必要性，讨论了结合后需解决的几个关键性问题，并给出了具体技巧。