基于Schema路径约束的Twig模式最小化方法

近年来,Twig查询是XML查询的核心操作。查询请求中的查询模式通常包含一些冗余的子查询,因此,Twig模式最小化成为了研究的热点。针对特定的Schema信息可能带来Twig模式优化的特征,在现有Twig模式最小化的基础上,提出了一种基于路径约束的Twig模式优化方法,归纳出一套的优化规则,不但可以优化Twig模式中冗余的叶节点,也可以优化冗余的中间节点。

遗传算法的收敛性研究

本文讨论了遗传算法的收敛性问题，提出了一个收敛的充分条件，证明了对任何问题，只要其问题空间编码和遗传操作的组合满足这个条件，就可以用遗传算法求解，由此得到了ＧＡ－难题的新定义，解释了现有模式理论所不能解释的最小欺骗问题，并讨论了它的可操作性．

基于组合故障频繁树的最小失效诱因模式定位方法

针对定位实际软件中最小失效诱因模式可能受到屏蔽效应影响的问题,提出了一种基于组合故障频繁树的最小失效诱因模式定位方法及其迭代框架.该方法首先依据组合测试用例集及测试结果构建组合故障频繁树,然后从组合故障频繁树中抽取频繁参数值组合作为可疑失效诱因模式,并根据其可疑得分进行排序.基于给出的失效诱因模式迭代定位框架,反复迭代直到满足某一个停止准则为止.利用仿真实验对存在和不存在掩蔽效应影响的2种情形进行有效性验证.实验结果表明,在这2种情形下所提方法均能定位最小失效诱因模式,有效减少附加测试用例的数目.

规模养殖企业环境行为反馈机理分析

当前随着我国养殖企业的迅速发展和养殖企业规模化不断提高。规模养殖产生的污染量迅速增加且相对集中,导致环境污染问题日益突出。对规模养殖企业环境污染问题进行研究,首先运用流率基本入树建模法,建立规模养殖企业环境行为系统的动力学模型,然后运用极小反馈基模生成法逐阶求出极小反馈基模,最后在极小反馈基模的基础上,构建具有实际意义的增长上限反馈基模,并提出具有现实意义的增强企业环境行为的建议。