摘要：由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．

摘要：阐述工业机器人课程的教学现状,探讨基于“1+X”证书制度的工业机器人教学策略,包括合理设计教学内容、构建良好实践环境、积累证书考核经验、重构专业课程结构。

摘要：通过对原有文件数字签名系统和数据库系统在网络应用中要求的分析，提出了数据库系统中的数字签名体系结构和其接口ＳＩＧ－ＳＱＬ语言。该体系可对数据库内的数据提供一个与文件数字签名协议相当的数字签名功能，还可对数据集生成检验签名和多用户的并发操作中签名有效性提供保证。这一体系可灵活地用各种不同的密码算法与文件签名系统结合应用。同时，在ＳＹＢＡＳＥ数据库系统中，通过触发器、存储过程和远程过程调用，实现了数据库数字签名体系的原型系统，说明这一系统是有效的可实现的。最后，给出了ＳＩＧ－ＳＱＬ语言网关的模块设计方案并作了分析。

摘要：电视收视率是观众对一个电视台节目和宣传效果的反馈信息，分析收视率，及时发现观众的收视动向，对提高节目收视率有积极的作用。本文介绍一个收视率分析系统的设计和实现，该系统是利用融入数据库技术的Ｉｎｔｒａｎｅｔ模型构建的。

摘要：管棚法在暗挖地下工程中已有较多的应用,通过对管棚力学特征进行理论分析,以期对其设计与施工有所帮助.以北京地铁4^#线西单站工程为例,建立管棚受力的双参数弹性地基梁模型,推导出管棚的挠度及转角、弯矩微分方程,并进行求解,根据管棚两端支撑条件,分析了其变形和内力特征.分析表明,管棚的最大挠度和最大剪力出现在掌子面附近已开挖未支护的部分,掌子面前方1.5～2.0倍开挖高度范围内的围岩有变形和松动.

摘要：通过对传统GM(1,1)缺陷分析和改进的基于权的PGM(1,1)建模机理描述,顾及PGM(1,1)中背景值构造时取相同的参数不能充分降低模型的预测误差,对不同的时刻引入不同的参数来改进GM(1,1)背景值序列的计算公式,将这种背景值构造方法和灰元N引入GM(1,1)建立了新的白化方程。在建立的新的白化方程基础上,用龙格-库塔法以修正的初始值计算累加值的模拟序列。针对引入的参数较多问题,采用粒子群算法寻找满足相对误差均值最优的参数,从而建立了基于粒子群优化算法和加权灰色组合的PSO-GM模型。工程实例应用表明,新模型的拟合精度高,预测效果好,相对其他两种原有模型预测精度有明显提高。

摘要：针对GM(1,1)模型初始条件的选择最优化问题,提出一种新的最优初始条件求解算法,即把对最优初始条件选择问题转化为求最优的C值,通过两个算例分析表明,文中的算法与文献[4]的FGM(1,1)模型相比,在达到同等精度的条件下,运行效率更高,算法更简单直观,更有利于程序实现,验证了文中提出的算法的有效性和可行性。

摘要：阐述既有桥梁检定规范关于墩顶振幅限值条文制订的依据、适用范围和存在的问题 ,提出根据既有桥梁检定规范确定轻型墩墩顶位移限值的等刚度法 。

摘要：油液在线监测技术相比传统的离线检测具有实时性、同步性、连续性等优点,超声波具有良好的实时性、较高的空间分辨力、较强的油液穿透性,因此发展超声磨粒在线监测技术具有重要意义。本文基于超声散射原理,设计了一套油液磨粒在线监测系统,由工控机、超声波检测卡、超声波传感器、在线油温传感器、齿轮泵等部分组成,采用Delphi进行程序开发。并进行实装试验,结果表明,系统能够实时在线监测润滑油中的磨粒数量和大小。

摘要：针对灰色GM(1,1)模型参数估计采用的最小二乘法的抗差能力不强,以及原始数据含少量粗差时影响到累加生成的数据进而可能导致参数估计偏差很大,提出对原始数据直接应用具有较强稳健性的最小一乘来估计参数,对非线性的还原函数进行线性化再利用最小一乘来估计参数。实验结果表明对于严格满足纯指数序列的数据,文章提出的算法要优于传统模型和文献提出的FGM(1,1)模型,几乎达到无偏的效果,并且在含少量粗差时不受粗差干扰。