基于仿真的功能级边界扫描测试码自动生成

分析了用边界扫描测试结构实现芯片功能级测试的方法,提出了一种基于逻辑电路的仿真波形生成电路功能级边界扫描测试代码的方法．利用该方法生成的边界扫描测试矢量可以完备地描述逻辑芯片的功能,从而对数字逻辑电路实现完备、高效和廉价的功能测试．     

共轭鼓形齿联轴器多齿接触数值分析与实验

首先应用三维弹性边界元方法对一鼓形齿联轴器的多齿接触问题进行了数值计算分析,然后在专用试验台架上作了相关实测研究．通过理论与实验研究,得到并验证了该鼓形齿联轴器在传递额定载荷的条件下,一啮合区内其实际接触齿对数的数值;并为该领域的深入研究奠定了一定基础．     

基于静载试验的Ⅰ型钢-混组合梁桥的荷载横向分布研究

为探讨装配式Ⅰ型钢-混组合梁桥的荷载横向分布规律,以跨径为30 m的钢-混组合简支梁桥为研究对象,通过MIDAS Civil有限元软件建立梁格模型反算其横向分布系数,同时采用偏心压力法、修正的偏心压力法、刚接板梁法、"G-M法"等计算其横向分布系数,与静载试验结果进行对比,研究其荷载横向分布规律.试验结果表明:对于跨径...     

基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

基于.NET网上考试系统的设计与实现

详细论述采用.NET技术,在B/S模式下实现在线考试系统的研制过程以及关键技术。系统采用XML作为WebService数据交换的格式,其逻辑都是在应用服务器上实现,采用WebService方式远程调用,成功地解决了旧有的考试系统扩充性不强、开发部署困难、使用不便等缺点。研究了将网络技术应用于考试中的实际问题,探索了利用网络进行远程考试的一些方法。该系统通过压力测试证明具有高度的可靠性,不仅可胜任高压力下的应用,而且可在适当的时候轻易地扩展到分布式应用。     

基于全温范围的多通道光纤陀螺自动检测系统研究

介绍了一种基于全温范围的多通道光纤陀螺自动检测系统的方案,给出了系统的硬件环境设计思想, 进行了多路陀螺测试数据采集模块、环境实验机控制模块、自动转台控制模块、测试报告打印模块的设计和 实现。本系统可实现全温范围内多路陀螺同时测试,提高了光纤陀螺的测试效率,可为光纤陀螺工程化服 务。     

平行钢绞线斜拉索索股接触效应与力学行为研究

为了探明平行钢绞线斜拉索内部的接触来源及其对斜拉索整体力学行为的影响,根据平行钢绞线斜拉索的构造特点与力学关系,分析索体内部3类接触效应的产生机理;通过理论分析得到索箍刚性耦合下的拉索振动方程,并对相关参数进行敏感性分析;对外套管和索箍多重耦合作用下的斜拉索自振特性进行有限元仿真分析,并基于相关研究结果进行试验验证.研...     

华庆白257区压裂施工参数优化

合理的压裂施工参数是压裂设计的重点和难点,也是决定压裂成败的关键因素。在分析华庆白257井区储层压裂地质特征的基础上,提出了利用已压裂井的测试压裂和净压力拟合结果,形成压裂井模板,在此基础上进行前置液量,施工排量,加砂量以及砂液比等施工参数的优化。确定工区合理施工排量在1.8~2.0m3/min左右,前置液百分比15%~30%左右,加砂量为30m3左右,平均砂液比为30%左右,并将优化结果应用于同井区的其它井,取得了良好的效果。     

2-巯基苯并噻唑衍生物自组装分子膜对45#钢的缓蚀性能

合成了2-辛巯基苯并噻唑化合物,运用IR、MS和元素分析等方法对其结构进行了表征。通过自组装技术在钢片表面制备有机分子膜;采用静态失重法和电化学测试技术研究了自组装膜在1mol/LHCl中对钢片的缓蚀性能。结果表明,2-巯基苯并噻唑衍生物缓蚀剂自组装膜对钢片有良好的缓蚀能力。     

基于新颖MSM测试框架的IP核测试法

对SOCIP的测试方法进行了研究,提出了一种MSM（master slave monitor）4试框架．该框架结合场景式测试法和类汇编VERILOG语言,能对SOCIP核进行有效的测试,尤其是对多IP核整合阶段的系统总体测试．通过实验验证,该测试方法能够在保证一定代码覆盖率的前提下,对IP核进行有效的测试,并提高了测试后IP核的可移植性．