基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

三向等压荷载历史后混凝土超声波探伤方法研究

采用两组混凝土立方体试件,对其施加三向等压荷载历史作用,分别测量载前和载后的抗压强度、劈拉强度和超声波速.首先研究了经历过三向等压荷载历史后超声波速的劣化以及混凝土强度与声速的关系.然后,用抗压强度和抗拉强度的劣化来定义混凝土的损伤,研究了损伤与超声波速降低的关系.根据试验数据拟合得到损伤的演化方程,从中可以看出损伤与超声波速的降低之间具有较好的线性相关性,且有明显的超声波速降低临界值.研究表明,根据超声探伤方法测得的声速,结合混凝土经历的荷载历史和配比等因素,可以为工程提供较为可靠的损伤估计值,对实际工程的指导意义重大.     

桥梁移动荷载的识别与参数分析

采用样条函数逼近法对简支梁桥与多跨连续梁桥上移动荷载进行识别和参数分析．由欧拉梁理论与模 态叠加法,建立了移动荷载作用下的梁桥运动方程;利用样条最小二乘法逼近应变响应;由Tikhonov正则化方 法与奇异值分解得到了荷载识别的正则解．数值分析中,对简支梁和三跨连续梁上的移动时变力和车桥接触 力进行了识别,并对影响因素进行了参数分析．研究结果表明,采用样条函数逼近法能有效地识别简支梁与 连续梁桥上的移动荷载,具有很强的实用性和抗噪性能,且对简支梁桥移动荷载的识别精度和抗噪性能均高 于连续梁桥;采用Tikhonov正则化方法能够得到荷载识别的稳定解,并可提高识别精度和降低噪声敏感性．     

关于基础隔震结构中隔震影响系数的研究

推导了隔震影响系数的表达式,同时对3个不同的算例进行计算分析,对竖向荷载作用下基础隔震 结构内力计算中的隔震影响系数表达式进行了验证．结果表明:对于对称结构和等跨结构形式,隔震影响 系数具有较好的适用性．该隔震影响系数与《建筑抗震设计规范》中的水平向减震系数结合起来,使水平地震 作用和竖向荷载作用下的隔震结构的设计思路得以统一,从而将隔震结构的设计转化为非隔震结构的设计．     

一种按序多重数字签名方案的安全性分析及改进

针对最近提出的一种基于RSA的按序多重数字签名方案,提出了两种伪造攻击,使得签名者(U1,U2,U3,…,Un)中任一个签名者Ui都可以伪造前面个i-1签名者的多重数字签名,或签名者Ui,Uj(i相似文献   

斜梁在热作用下的动力特性

根据弹性稳定理论及Galerkin原理研究了斜梁在热状态下的动力特性问题，并讨论分析了温度、长细比、梁截面形式、倾斜角、荷栽、阻尼力对斜梁动力稳定性的影响，研究表明，在热效应下杆件的倾角、长细比、梁截面形式、振动荷载对斜梁的动力特性影响较大，而杆件的阻尼力则影响较小，可忽略不计．并提出在实际工程中如何减小振动的相关措施，可供工程结构动力分析与设计参考．     

钢筋混凝土空心剪力墙弯剪受力性能试验研究

通过对3个钢筋混凝土空心剪力墙弯剪试件在低周反复水平荷载作用下的试验研究，探讨了两种不同配筋试件的破坏机理、变形特征、截面钢筋的应变情况及其极限承栽能力。试验结果分析表明，墙端无暗柱的剪力墙发生承载力很低的脆性破坏。在空心剪力墙端部设置暗柱可以明显提高墙的承载力和延性。，文中给出带暗柱空心剪力墙截面承载力的计算方法，计算结果与试验结果符合较好。     

“隼鸟”亲吻“丝川”——在飞向小行星的路程上验证各项技术

2003年5月发射的工程实验探测器“隼乌”号从发射开始经过2年零6个月的航行，现正在进行几项“世界上首次”的技术验证，这些都是对今后探测行星极为重要的技术。本文将介绍“隼乌”号究竟是使用什么技术到达小行星的，以及预计今后还将完成哪些科学考察任务。[编者按]     

锥形凹模缩口力的理论计算与试验验证

缩口力是导致薄壁筒形件缩口失稳的重要因素。为了提高缩口力的计算精度，M.B.斯德洛日夫和E.π.翁克索夫综合考虑板厚变化、加工硬化及磨擦等因素的影响，分别提出了圆筒形件缩口力的计算方法；通过实例对该两种方法的计算结果进行了分析，并与实验数据做了比较。结果表明，两种方法的计算结果十分接近，而且与实验数据相吻合。     

聚氨酯泡沫复合夹层板抗爆特性分析

聚氨酯泡沫复合夹层板是一种可广泛应用于防护工程中的新结构形式 ,据此对聚氨酯泡沫材料夹层板进行了爆炸荷载下有限元分析 ,并与粘钢混凝土板及混凝土板两种板结构进行了比较 ,验证了聚氨酯泡沫夹层板良好的抗爆吸能性能