Conceptual damage-sensitive features for structural health monitoring: Laboratory and field demonstrations

The use of damage-sensitive features to evaluate structural condition or health is a very critical aspect of structural health monitoring. The purpose of this paper is to investigate the potential of two different damage-sensitive features for detecting damage. Different damage scenarios are simulated on a large-scale laboratory structure and a three-span highway bridge for demonstration. The features presented in this paper are the modal flexibility-based deflection and curvature both of which are obtained directly from dynamic properties. In the literature, flexibility associated with mode shapes and mode shapes curvatures have been mostly explored. In this study, multi-input–multi-output dynamic data are used to obtain modal flexibility, which is a close approximation to the actual flexibility. A main novelty is that the curvature is calculated from the deflected shapes using the modal flexibility as opposed to using modal vectors. In this paper, the theory of the methodology is explained and then experimental studies and results are presented. For the experimental studies, the laboratory specimen and the three-span bridge were gradually damaged. It is shown that both deflection and curvature are conceptual and physically meaningful features for damage detection and localization. The issues and the requirements for these features to perform successfully are also presented.     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

可节约生产成本的湿处理工艺技术

从传统意义上来讲，针织物及对张力敏感的梭织物的湿处理生产线（包括漂白、染色、柒色后水洗）通常是利用染缸来完成的，而这正是高水耗、高蒸汽消耗和高能源消耗的症结所在，同时带来一些质量问题（如折痕、起毛球和刮印等）。随着现代连续式平幅湿处理线技术的发展，整体生产成本可以下降到最多这50％。介绍了德国欧宝泰克生产的敏感织物连续式平幅湿处理线设备。     

超声变幅杆解析法设计的可靠性研究

本文提出了用有限元法验证变幅杆解析法设计的可靠性，对三种类型的变幅杆先作解析法设计；然后利用有限元分析软件ANSYS进行模态分析，确定了变幅杆的固有频率，计算了固有频率与工作频率之间的相对误差，以此来评价解析法设计的可靠性；并分析了影响解析法设计可靠性的两个基本因素。     

部件试验模态综合的简便方法

本文将一种基于完备模态基的模态综合技术应用于子结构的试验模态综合,获得成功。这种半试验半理论的模态综合方法是一种较为简便的、要求试验工作量较小的试验模态综合法,因为它只要求测量子结构的振动模态和频率即可。数值仿真结果表明,这种简便的试验模态综合法是行之有效的。     

XML schema, tree logic and sheaves automata

XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis.     

Prediction of the effects on dynamic response due to distributed structural modification with additional degrees of freedom

The aim of this study is to investigate means of efficiently assessing the effects of distributed structural modification on the dynamic properties of a complex structure. The dynamic properties of the modified structure can be determined by experimental testing or numerical simulation, both of which are complex, expensive and time-consuming. Assuming that the original dynamic characteristics are already established and that the modification is a relatively simple attachment, the modified dynamic properties may be determined numerically without solving the equations of motion of the full-modified structure. The frequency response functions (FRFs) of the modified structure can be computed by coupling the original FRFs and a delta dynamic stiffness matrix for the modification introduced. The validity of this approach is investigated by applying it to a cantilever beam to which a smaller beam is attached as modification. The original FRFs were obtained experimentally as well as numerically. The delta dynamic stiffness matrix was determined numerically by modeling the attachment and part of the original structure including the attachment points. The FRFs of the modified beam were then computed. Good agreement is obtained by comparing the results to the FRFs of the modified beam determined experimentally as well as by numerical modeling of the complete modified structure.