模态声发射——声发射信号处理的得力工具

模态声发射是声发射信号处理技术的得力工具。介绍它在声发射源定位、复合材料损伤源识别、疲劳裂纹萌生和扩展的声发射监测以及日历损伤声发射评价等工程实践中的应用。     

大剂量Si-Mn复合孕育剂在铸铁中的应用

从例证和机理两方面来说明通过大剂量Si Mn复合孕育在铸铁中的应用 ,使Mn的作用得到充分发挥 ;Mn13是提高铸铁组织中珠光体量和性能的理想元素 ;通过调节大剂量Si Mn复合孕育剂中Mn的比例来稳定和提高基体组织中的珠光体量 ,达到稳定和提高铸铁性能的目的 ,它的可操作性比通过控制化学成分来稳定和提高铸铁的性能更好更容易 ,冲天炉熔炼效果更明显。     

高温压力管道红外热成像检测技术

建立了大型管道试验装置，并对带有不同几何尺寸内部开孔缺陷的四种不锈钢和20钢管进行了红外热成像检测试验。结果表明，红外热成像技术十分适用于检测高温压力管道内部腐蚀缺陷，检测灵敏度能够满足压力管道安全运行的要求。     

声发射源特征识别的最新方法

介绍多传感器数据融合、时频能量模式分析及分析理论识别声发射源特征的方法，说明基于波形分析的现代信号处理技术是揭示声发射源及信号传播规律的重要手段。     

影响装配可靠性关键故障源提取方法*

针对产品在装配过程中可靠性低,产品故障频发及故障源多样性的问题,引入信息熵理论,首次提出“可靠度熵”的概念,对影响装配过程可靠性的故障源进行定量分析。建立可靠度熵的综合评判矩阵,结合专家打分法对可靠度熵综合权重进行评价和排序,同时结合客观性强的粗糙集对故障源进行属性约简,提取出影响装配过程可靠性的关键故障源。采取预防及改进措施减少故障源的发生,从而保证装配过程可靠性。以数控磨床的砂轮架为例,验证了上述方法的可行性和正确性。     

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

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

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

基于分层概率图的动态网络在线异常检测方法

针对当前动态网络异常检测方法只能检测点异常、边异常和子图异常等局部异常事件的缺点,提出了基于分层概率图的在线异常检测方法。首先以窗口为单位将动态网络表征为树状图,然后运用概率分布的方法量化动态网络中连接关系的不确定性,最后结合统计假设检验的方法确定网络窗口是否发生异常。将该方法运用于AS级Internet的动态网络,实验结果表明,分层概率图模型不仅能够准确表征动态网络拓扑结构的演变,而且可以有效检测动态网络中的异常事件。     

差动吸收式SO2光纤传感器的研究

本文基于气体的窄带光吸收特性 ,研究了 SO2 气体浓度与载波光强的关系 ,在此基础上 ,设计了一种检测该气体浓度的差动光纤传感器及其系统 ,对改善仪器精度等特性指标的主要因素进行分析。实验结果表明该仪器具有较高的灵敏度和精度。     

基于Java的网格监控系统的设计与实现*

对于网格来说,提供一种可扩展的机制去监控网格中的资源信息是至关重要的。在网格监控体系结构（GMA）的基础上提出了一种基于Java语言的网格监控系统（JGMS）,并阐述了该系统体系结构的设计及其关键技术的实现。JGMS具有可穿越防火墙、跨平台、容易部署等特点