面向对象类测试方法研究

面向对象的软件开发给测试带来了新的挑战。类级测试是面向对象测试过程中的一个重要阶段。本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架。公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具。     

高水位地区路堤分级施工方法研究

高水位地区路堤在填筑施工时,容易产生超孔隙水压力,影响路堤的安全.基于有限元方法对同一路堤,在相同施工期下对采用三种分级填筑方法进行研究,结果表明:两级填筑产生的竖向变形最小,但两级填筑和四级填筑产生的超孔隙水压力较大,且安全系数较低.综合分析比较,建议采用三级填筑方法.     

结构可靠度研究与分析

文中从结构可靠性基本理论、结构体系可靠度、结构可靠度的模拟方法等几个方面,对结构可靠性进行分析与总结,并对其进一步的发展提出了建议。     

计算后张法预应力钢绞线造价之我见

针对公路桥梁工程的后张法预应力钢绞线造价的问题,进行了分析、总结,澄清了一些容易混淆的概念,详细说明了计算预应力钢绞线造价的思路和步骤。     

企业债券信用评级指标体系及神经网络的方法

本文根据最新企业财务管理通则，构造企业债券信用评级指标体系，并采用神经网络方法，对江苏省４家企业债券进行评级，结果表明该方法具有较好的操作性和可行性。     

固化土基层结构及经济分析

对ISS固化土、中路固化土的基层结构进行了分析,一方面,根据试验路现场压缩模量试验结果,提出了两种固化土基层的设计参数,为今后固化土的设计提供依据。另一方面,对ISS固化土、中路固化土基层进行了经济分析和比较。     

盐冻条件下含气量对路用混凝土性能影响的试验分析

采用快冻法研究了盐冻条件下不同含气量水平的路用混凝土的抗盐冻能力、抗Cl-渗透、抗压强度和耐磨性等长期路用性能。结果表明:含气量的增大对提高混凝土抗盐冻能力具有非常明显的作用;含气量为6%以下时,对提高混凝土抗渗性能有益;单纯的含气量增加对混凝土抗压强度和耐磨性能并没有贡献,相反会降低这两项路用性能;当含气量为6.31%时,强度衰减的程度较低;综合分析含气量对各性能的影响,认为含气量为6.0%~6.3%是一个相对于各项路用性能都较为有利的合理范围,推荐为构造物混凝土适宜含气量范围。     

基于成像技术的集料棱角性与纹理研究

细集料形态特征对沥青混合料性能有着重要的影响,因此有必要对其特征参数进行详细的研究,笔者利用数字图像技术,介绍了几种常用的集料形状分析方法;通过对23种细集料类型的形状特征进行分析,表明数字图像技术可以快速、准确地对集料的特征参数进行评价,并且有利于分析集料对沥青路面使用性能的影响。     

提速状态下预应力混凝土并置梁及横隔板断裂加固探讨的方法

预应力混凝土梁横向刚度不满足提速的要求。通过对比试验检验两片梁的整体性加固效果 ,确定桥梁在加固后是否满足提速要求。     

本田VTEC系统结构原理

简要介绍了本田雅阁轿车VTEC系统的结构和工作过程。