基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

基于居民感知的乡村景观价值空间特征分析

【目的】从居民态度与价值认知分析乡村景观问题,为乡村景观适宜性评价和管理决策提供参考。【方法】以杭州市百丈镇为例,采用半封闭结构问卷、半结构访谈与参与式制图相结合的方法对468位居民进行乡村景观价值感知调查,采用SPSS相关性分析探索人口学特征变量和乡村景观价值的相关性,以及PPGIS识别8种乡村景观价值空间格局,并构建敏感度和相容度模型进一步揭示景观空间特征。【结果】(1)居民年龄、收入、受教育程度、职业、居住时间这5项人口学特征变量与部分乡村景观价值具有相关性;居民性别与乡村景观价值不具备相关性;(2)8种乡村景观价值在空间上呈斑状分布,主要围绕居住村落、文化价值高的景点以及活动集中区域向外扩散;(3)敏感度高值区为村庄聚落和生产区域,与景观资源分布、生产生活需求和环境心理因素相联系;(4)相容度分析识别出4种景观态度类型区域,受乡村景观价值空间分布和居民态度的影响。【结论】居民感知的景观价值在空间布局上与居民日常生活、生产活动密不可分,具有一定的规律性;区域内,正负向景观价值混合更替,也表明了多种价值空间复合对利用意愿竞争的指示作用具有复杂性;PPGIS可提供一种有效的途径,从居...     

化学合成粉体基地质聚合物的制备与表征

采用溶胶凝胶法,制备了纯净且具有碱激活性的Al2O3-2SiO2粉体,研究了制备过程中养护时间对合成粉体基地质聚合物强度的影响,通过XRD、FTIR和SEM分析手段对地质聚合物的结构进行了表征。结果表明,地质聚合物样品的微观形貌与强度变化相一致,随着养护时间的改变,Si-O-Al链接增加。     

Hamilton体系下矩形薄板受抛物线压力载荷的屈曲分析

针对四边简支矩形薄板在两对边相向的非线性分布压力下的面内应力分布以及屈曲问题,应用弹性力学的Hamilton体系和Galerkin法进行了研究.基于弹性力学的平面矩形域Hamilton体系,根据辛本征向量展开解法,得到了对应于零本征值和非零本征值的含待定常数的实数型面内应力分布通解.依据必须满足的应力边界条件,导出了矩形薄板在抛物线分布载荷下的面内应力分布.考虑到应力分布表达式的复杂性,用完全的解析方法得到屈曲载荷是不可能的.因此,运用基于虚功原理的Galerkin法,根据四边简支矩形薄板弯曲的位移边界条件,给出了不同长宽比矩形薄板受抛物线分布载荷的屈曲临界载荷.通过与已有文献中DQ法给出的数值计算结果比较,表明了本文求解方法的有效性和正确性.基于所给出的结果,可望为解决矩形薄板在非线性分布载荷下的面内应力分布以及屈曲问题提供一种新的研究方法.     

喷射增效自复叠制冷循环工质选择

为选择适合喷射增效自复叠制冷循环的工质,选取R32/R1234ze、R23/R134a、R170/R290和R23/R227ea四组混合工质,计算分析在给定工况下不同工质对喷射增效自复叠制冷循环性能的影响,并与传统自复叠制冷循环进行对比.结果 表明,在喷射增效自复叠制冷循环中,R170/R290制冷量最大,R23/R2...     

浮选机关键零件的参数化设计

将相似理论引入到浮选机的主要结构设计过程，对关键零件叶轮和U 型槽进行相似分析，得出了2个结论，即叶轮的直径和浮选机槽罐的体积之间呈幂函数关系；U形槽的横截面积与叶轮的直径和浮选机槽罐的体积之间的比率呈幂函数关系，并根据函数关系计算出它们的相似准则。结合得到的相似准则，利用SolidWorks API技术和计算机COM 技术，实现了对浮选机关键零件参数化设计及系统系列化设计。结果表明，该系统有效地避免了重复性设计，缩短了设计周期，提高了设计效率。     

基于多目标决策的空调冷热源方案优化

以长沙某一食堂建筑为例,对空调系统的冷热源系统的6种可能方案形式进行了全面的技术经济分析和比较,以初投资、运行费用、维护管理、可靠性、适用性、安全性等为评价指标,建立了评估决策模型,进行了多目标决策,进行优序,提出了适宜的系统方案.研究表明:多目标决策技术容易理解,计算简单,使用灵活,为空调冷热源方案选择提供了一种有效的定量分析方法,可辅助工程师对备选方案进行综合分析、评比并作出决策,增强了决策的客观性、科学性.     

传动轴套管叉矩形花键孔综合塞规的设计

企业在成批生产中,生产现场对矩形花键孔的检验常采用综合检验,即用综合塞规检验实际尺寸和形位误差的综合影响。这就要求计量器具的尺寸和公差带设计要合理。本文就汽车传动轴套管叉矩形花键孔综合塞规的改进设计进行了论述,重点阐明计量器具公差带设计的重要性。