Fatigue failure mechanisms in polymers

Fatigue testing of polymers has revealed significant differences between the fatigue response of polymers and metals. Generally, fatigue failure in metals is a process of crack initiation, propagation, and failure. Also, fatigue damage in metals is cumulative and cycle dependent, but remains essentially independent of test frequency. Unlike that of metals, the fatigue behavior of polymers is influenced by viscoelastic effects. At high frequencies, softening and melting occur, and fatigue failure depends largely on the test frequency. At lower frequencies, fatigue failure becomes less sensitive to test frequency and results from crack initiation and propagation. These polymer characteristics arise from the production of hysteresis energy during fatigue. A portion of this energy is released as heat, some of which is dissipated, but most is absorbed in the sample, raising its temperature. This temperature rise leads to degradation of the material and a short fatigue life. Experiments were conducted to measure hysteresis energy and temperature rise for a talc-filled polypropylene. A mathematical model was developed to calculate the energy and temperature distribution during fatigue. Correlation of the temperature rise predicted by the model with that observed experimentally provided values for the various energy terms that quantitatively defined the thermomechanical fatigue response of this polymer.     

东风水库下游临岸潜流带水流场响应规律研究

水库下游临岸潜流带水流场响应规律可用于预测不同水库运行情景下临岸潜流带的水头与流量变化情况。本文以复州河东风水库为例,基于测量数据得到其下游某断面临岸潜流带的水头及流量响应过程,提出响应强度指标的概念,得到简单直观的响应规律经验公式,从而为该水库下游临岸系统的生态建设提供依据,并为水库运行方案的生态影响评价提供参考。     

3D Shape Segmentation and Labeling via Extreme Learning Machine

We propose a fast method for 3D shape segmentation and labeling via Extreme Learning Machine (ELM). Given a set of example shapes with labeled segmentation, we train an ELM classifier and use it to produce initial segmentation for test shapes. Based on the initial segmentation, we compute the final smooth segmentation through a graph‐cut optimization constrained by the super‐face boundaries obtained by over‐segmentation and the active contours computed from ELM segmentation. Experimental results show that our method achieves comparable results against the state‐of‐the‐arts, but reduces the training time by approximately two orders of magnitude, both for face‐level and super‐face‐level, making it scale well for large datasets. Based on such notable improvement, we demonstrate the application of our method for fast online sequential learning for 3D shape segmentation at face level, as well as realtime sequential learning at super‐face level.     

Robust event discovery from photo collections using Signature Image Bases (SIBs)

Analyzing personal photo albums for understanding the related events is an emerging trend. A reliable event recognition tool could suggest appropriate annotation of pictures, provide the context for single image classification and tagging, achieve automatic selection and summarization, ease organization and sharing of media among users. In this paper, a novel method for fast and reliable event-type classification of personal photo albums is presented. Differently from previous approaches, the proposed method does not process photos individually but as a whole, exploiting three main features, namely Saliency, Gist, and Time, to extract an event signature, which is characteristic for a specific event type. A highly challenging database containing more than 40.000 photos belonging to 19 diverse event-types was crawled from photo-sharing websites for the purpose of modeling and performance evaluation. Experimental results showed that the proposed approach meets superior classification accuracy with limited computational complexity.     

Stochastic stability of semi‐Markovian jump systems with mode‐dependent delays

Semi‐Markovian jump systems, due to the relaxed conditions on the stochastic process, and its transition rates are time varying, can be used to describe a larger class of dynamical systems than conventional full Markovian jump systems. In this paper, the problem of stochastic stability for a class of semi‐Markovian systems with mode‐dependent time‐variant delays is investigated. By Lyapunov function approach, together with a piecewise analysis method, a sufficient condition is proposed to guarantee the stochastic stability of the underlying systems. As more time‐delay information is used, our results are much less conservative than some existing ones in literature. Finally, two examples are given to show the effectiveness and advantages of the proposed techniques. Copyright © 2013 John Wiley & Sons, Ltd.     

大型尿素造粒塔新型的腐蚀防护

详细阐述了尿素造粒塔的腐蚀机理，就其中的内外侧的防腐蚀形态进行了总结，并就此针对性的进行了防腐蚀材料的推荐及设计，尤其是玻璃鳞片胶泥。     

Micro cam system driven by electrostatic comb-drive actuators based on SOI-MEMS technology

Microsystem Technologies - This paper reports a design and fabrication process of a micro cam system (MCS) with a flat-faced translating follower. The cam rim with cover diameter of 2.4 mm...     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。