基于UML的数据采集测试用例生成研究

将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成．首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少．     

基于格兰杰因果检验的电子商务与商业地产价格的实证分析

运用格兰杰因果检验方法,探讨了电子商务的发展是否影响了商铺、商业地产的租售需求这一问题.通过对写字楼、商铺价格数据和电子商务规模数据进行检验,分析探讨了电子商务的发展与商业地产价格的关系.综合格兰杰因果检验及相关系数的计算结果,可以认为电子商务发展规模的扩大,降低了商铺、商业地产租售价格的上升趋势.基于这一结论,我们认为未来随着电子商务规模的不断扩大,商业地产价格上升的压力趋向于减小.     

砂土中静压管桩在不同沉桩速度下的模型试验研究

在室内对静压管桩贯入过程中施加不同的沉桩速度,探究在不同沉桩速度完成后,测得的各个桩深处的土压力大小,以及桩端阻力与压桩力之间的关系。得出静压管桩沉桩速度大小对桩贯入一段时间后测得的土压力影响不大,而对于贯入过程中的桩周土压力是有影响的。桩端阻力在一定深度范围内呈线性增加的,沉桩速度不同造成相同深度处压桩力大小的不同,桩端残余压力也是计算桩承载力的一部分,不可忽略。     

微生物固化含黏粒花岗岩残积土的强度机理研究

微生物诱导碳酸钙沉淀(microbially induced calcium carbonate precipitation, MICP)可以改善花岗岩残积土的工程力学特性,但其固化效果受黏粒含量的影响较大。在花岗岩残积土中掺加不同黏粒进行MICP固化试验,对固化后的土样测定其碳酸钙含量,并进行无侧限抗压强度试验,研究不同黏粒含量对固化效果的影响。在此基础上,开展了固化后试样的核磁共振(nuclear magnetic resonance, NMR)试验,从细观角度研究黏粒含量对花岗岩残积土的固化机理。结果表明：微生物固化土样的强度主要包括土体骨架强度和碳酸钙胶结强度两部分,前者受土体自身孔隙率影响,后者则通过碳酸钙晶体的沉积量影响固化土样的强度;随着黏粒含量的提高,试验土样内孔隙率缩小,碳酸钙的沉积量也随之减小,固化后的强度提高不明显;掺加适量的红黏土(最优黏粒含量为60%),在不改变土样其他性能条件下可以获得较高的固化强度。     

哲学已死?——霍金的哲学思想

霍金在《大设计》中声称"哲学已死"。他的"哲学已死"究竟是指什么?本文考察霍金的哲学思想,指出霍金以自然定律统治自然的"科学决定论"为基本原则,试图在科学的框架内对本体论、因果律以及宇宙本质等问题做出"科学"的解答。霍金的"解题"并不成功,哲学当然也没死亡。霍金结合最新的物理科学进展为哲学的基础性问题提供一种可能的答案,却是有意义富有启发性的尝试。