SPMutation:存储过程变异工具的设计与实现

针对存储过程混合了SQL语句以及流程控制等语句的特点,设计了一个变异工具SPMutation.定义了一个覆盖存储过程语法规则的变异算子集合,该算子集包含22个算子,能够对存储过程进行元素级、表达式级和语句级三种不同层次的变异操作.SPMutation通过配置变异算子集文件可以实现对存储过程新的语法规则的错误模拟,具有良好的可扩展性.实验表明:SPMutation能有效地生成变异体集合,生成的等价变异体数量少于总变异体数15%;通过变异测试过程完善测试用例集,可以使测试用例集的变异分数高于0.9,并趋近于1;对存储过程的变异测试可以在有限的时间内完成.     

铝酸盐水泥对硅酸盐水泥性能及浆体结构的影响

研究了铝酸盐水泥(质量分数0.25以内)与硅酸盐水泥混合体系的凝结时间、力学性能和干燥收缩率,并采用量热仪、X射线衍射仪、环境扫描电镜探讨了这些物理力学性能产生差异的原因.研究表明,随着铝酸盐水泥掺量的增加,混合体系的凝结时间不断缩短,力学强度先略升(6%左右时达到最高)后大幅降低,干燥收缩不断增加.少量铝酸盐水泥的掺入,对硅酸盐水泥的水化影响不大,仅造成水化早期浆体钙矾石的生成量微增;但掺量超过一定值时,将显著延缓硅酸盐水泥的水化,浆体中钙矾石不断转化为单硫型水化硫铝酸钙,非稳态水化铝酸钙也逐步发生晶型转变,从而导致微结构明显劣化.     

城市隧道近接建筑施工的相互影响规律研究

为研究城市隧道近接建筑施工的相互影响规律,采用ABAQUS软件的动态模拟分析方法,自行编程建立能够改变隧道与建筑相对位置的参数化模型,分析相对位置(l,θ)的变化对新建隧道和近接建筑物的变形影响规律。研究表明:离建筑物底部较近的隧道受建筑物地基附加应力影响较大,在影响隧道变形的因素中起主导作用,随着距离增大,地基附加应力的影响逐渐减小,隧道的变形逐渐趋于一致;当θ一定时,建筑物A点水平和竖向位移随着距离(l)的增大逐渐减小,当θ较小时,位移变化率较小,而当θ较大时,位移变化率则较大;编制基于Matlab—ABAQUS的隧道变形有限元模拟定位程序,采用二次函数对既有建筑对邻近隧道稳定性影响的临界线进行拟合,得到对应的拟合函数。     

语义场和语言建构

本文在概述现代语义学的语义场概念的基础上,进一步分析了上下义关系中的上义词和下义词之间的相互影响及其互换时对语言建构的作用。分析结果表明,意义更宽泛的上义词和意义更精准的下义词分别对应不同的语言建构需要,合理使用语义场理论,能使我们的语言输出更传神,更贴切。     

基于KPCA冗余检测的故障识别算法

工业过程中，采用传统贡献图方法识别故障时，由于没有考虑传感器发生故障而导致测量数据异常的情况，可能得到错误的辨识结果，对此提出一种故障识别的新思路。访方法通过设置多个传感器监测某一变量的变化情况，建立起测量值与待测变量之间的冗余关系，提出将检测这种关系是否保持作为翔定故障戍因的依据，并利用KPCA方法将原始测量数据映射...     

“柴达木循环经济地理信息系统”在柴达木地区规划发展中的辅助作用

作者通过在＂柴达木循环经济地理信息系统＂建设中的具体应用,感受到了本系统在对青海省柴达木地区的规划与发展中能起到一定的辅助作用,为领导及规划部门提供了一个数据展示与分析功能相结合的一个服务平台,本文重点论述本系统的一些重点和亮点模块,从而为其他的地理信息系统的建设提供一定的参考。     

高阶信念理论如何解决关于意识的难问题

如何解释现象意识是意识的难问题。高阶信念理论试图为现象意识提供还原性的说明,其中最有代表性的是罗森赛尔的实在主义高阶信念理论和卡拉特斯的倾向主义理论。本文批判性地分析了这两种理论对现象意识的说明,指出其困难,最后提供了原创性的改进版本。     

Apriori关联规则算法的C语言实现

在分析Apriori算法的基础上,介绍了该算法的C语言实现,包括频繁集的发现和关联规则的生成,为进一步研究关联规则提供了基础。     

论基层公共图书馆电子阅览室培训工作——以广州市越秀区图书馆为例

无论在任何国家、任何社会体制之下,公共图书馆都担负着为科学研究服务和为大众服务两大任务。从广州市越秀区图书信息化培训工作的经验、效果、不足及对未来的展望入手,阐述了基层图书馆如何发挥自身优势,加强对广大读者和基层文化工作人员的培训功能。