基于双价值函数禁忌搜索的测试用例生成技术

基于禁忌搜索算法的软件测试用例自动生成是目前一项先进的软件测试技术.传统的基于元启发式算法的自动测试技术只有一个价值函数,本文针对禁忌搜索算法提出强化和多样化两个价值函数.测试用例生成器通过调用强化价值函数来强化搜索过程,如果强化失败则调用多样化函数来使搜索多样化.最后通过与随机测试的对比实验,验证了基于双价值函数的禁忌搜索算法在软件测试中的高效性.     

一种安全的采购项目备案协议

本文提出了一种面向网上政府采购的安全采购项目备案的协议.该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性.并通过一种形式分析模型BAN逻辑证明了该协议的安全性.实验证明该方法可以解决网上政府采购中采购项目备案服务对安全性的需求.     

按应变能处理应力约束的连续体结构拓扑优化

 对每个单元都引入应变比能系数,通过追求对局部应力约束的高精度逼近,使独立·连续·映射（Independent Continuous and Mapping,ICM）方法中全局化应变比能约束的表达更为可靠,同时采取放松初始应变比能系数的手段加速优化迭代。利用结构最大Mises应力对许用应力比值的幂函数对全局化处理后的应变比能约束限进行修正,或者控制结构的最大应力,或者加速优化迭代。为了使拓扑构型向合理方向演变,每次迭代都对拓扑变量履行从连续到离散的反演,反演阈值自动计算。各算例均以较少的结构重分析次数,优化得到了类似理论最优解Michell桁架的拓扑图形,表明本文处理应力约束下结构拓扑优化问题的方法是合理和高效的。     

基于半监督学习的人体异常行为识别

需要进行人体异常行为识别的视频一般都是未标记的序列图像,传统的有监督的识别方法往往不能较好地反映其行为的特征,识别率不高.提出了一种基于半监督学习的人体异常行为识别方法,首先使用基于DTW距离的self-training进行标记数据扩充,然后用此扩充的序列图像样本集合训练对应的HMM,最终进行异常行为识别.实验结果证明该方法有效且识别率较高.     

从文学批评角度看泰纳《艺术哲学》中的文学思想

在《艺术哲学》一书中,泰纳提出了“种族、环境、时代“三要素这一现已广为人知的艺术理论。但除此之外,这本书中针对文学问题的看法还有许多,这些方面同样值得讨论。如他关于文学艺术要表现事物的主要特征的论述,对文学问题所作的历史性思考,对文学价值判断的界定,以及他所宣称的艺术领域里的科学研究方法,这些都是应该重新审视的地方。     

秦岭泥盆系"礁硅岩套"的类型与成矿特征

秦岭泥盆系成矿带是我国重要的有色金属基地。礁硅岩套则是区内重要的含矿岩石组合。笔者在陈先沛 (1 986)礁硅岩套原始定义基础上 ,通过对礁灰岩、硅岩和中 -基岩性脉岩特征分析 ,提出依礁灰岩与硅岩的特征及空间关系划分礁硅岩套亚类 ,并认为区内中 -基性脉岩不能标志成矿期沉积盆地处于高地热环境 ,因而不是礁硅岩套的必然组成部分。文中将礁硅岩套划分为礁侧型和礁内型两个亚类 ,与其中赋存之矿床成因有一一对应关系。即礁侧型礁硅岩套赋存热水沉积 -轻微改造型多金属层控矿床 ;礁内型礁硅岩套赋存沉积再造型层控矿床。     

苏云金杆菌在温室蔬菜害虫防治中的应用

介绍了苏云金芽孢杆菌(Bacillus thuringiensis Berliner)的杀虫机理、分离纯化方法及其在温室蔬菜害虫生物防治中的应用．近年来，温室蔬菜生产中害虫的发生和危害日益严重，化学农药的大量使用，使害虫天敌被大量杀伤，害虫抗药性增强，环境污染加剧，尤其是蔬菜上残留的化学农药直接威胁着人类的健康．苏云金杆菌作为一种高效微生物杀虫剂，在温室蔬菜害虫的生物防治中占有重要的地位．     

南方红豆杉群落种间关系的数量分析

应用方差比率(VR)、2×2列联表的χ2检验、Pearson相关系数和Spearman秩相关系数检验研究了山西南方红豆杉群落种间关系.结果表明:(1)南方红豆杉群落物种间总体上相关联(P<0.05).(2)2×2列联表的χ2检验共87 个种对为正关联,18个种对为负关联(P<0.05或P<0.01);Pearson相关系数有59个种对为正关联,29个种对为负关联;Spearman 秩相关系数有95个种对为正关联,62个种对为负关联.(3)用2×2列联表的χ2检验不能反映两个种对的数量关系,应用 Pearson相关系数和Spearman 秩相关系数刻化种对间的数量变化关系,与Pearson相关系数检验相比,Spearman秩相关系数检验具有较高的灵敏度.(4)种对的正关联和正相关,主要是由于它们具有相近的生物学特性,对生境的需求相似;而种对间的负关联和负相关,主要是由于它们具有不同的生物学特性,对生境具有不同的生态适应性或相互竞争所致.