供热管道探伤工艺编制系统

介绍了供热管道微机辅助射线探伤工艺编制系统的原理，方法，功能，特点，使用说明和程序框图，指出该系统符合ＧＢ３３２３－８７标准，一般探伤人员均可在生产实际中应用。     

一种可视队列随机网络仿真语言-VIML

可视编程语言是近几年讨论的热门话题，它正在渗透各科学技术领域。本文介绍一种可视队列随机网络仿真语言，讨论了这种语言的结构及实施的技术问题     

过程模型中控制流反模式的定义和检测方法

提出一种过程模型中控制流反模式的定义和检测方法,抽取不同过程模型中的控制流结构并将其规约为语言无关的过程结构树,基于不同控制流反模式的CAPDL定义,在过程结构树上查找与之对应的控制流反模式。该方法既支持不同的过程建模语言,也允许用户自定义控制流反模式。基于215个实际BPMN过程模型的反模式检测试验表明,该方法可以有效地检测用户自定义的控制流反模式,与已有方法相比,该方法极大地提高了反模式检测的检测效率。     

公路桥梁桩基的施工与检测

综述了人工挖孔灌注桩以及钻孔灌注桩的施工注意事项，介绍了静荷载试验法、高低应变动测法，声波法等多种桩基检测方法。     

无线传感器网络选择转发攻击检测方法研究

由于WSNs的本身所具有的一些特性使得它比较其他网络而言更加容易受到攻击。本文在分析各种路由攻击对网络危害性的基础上，进一步分析各种攻击的特征，并针对选择转发攻击提出了一种可行的检测方案。     

关于回弹法检测混凝土强度的几点看法

用回弹法检测混凝土的抗压强度由于具有仪器简单、操作方便、直接、灵活、快速、准确、可靠以及不会对结构或构件造成损伤等优点,所以长期以来,在建筑工程结构质量检测中得到广泛的应用,且其检测数据可作为工程竣工验收或处理混凝土质量的一个依据。本文就对回弹法检测混凝土强度谈了几点看法。     

基于有限状态机的数字同步重频分选器

针对FPGA/CPLD芯片设计中常常会遇到脉宽识别的问题，根据实际工程设计了一种同步重频分选器，它在某些通讯系统中有极其重要的应用。主要介绍如何通过同步有限状态机来设计该数字重频分选器，结合CPLD芯片的设计，给出了它的具体设计思想，以及VHDL语言描述的有限状态机的源代码、逻辑综合、时序仿真结果。     

列车运行监控记录装置故障诊断系统的研究

概括分析了基于故障树分析的列车运行监控记录装置故障诊断系统的特点及存在的问题，并在此基础上，提出了采用双向联想记忆神经网络的故障诊断系统方案。简要介绍了双向联想记忆神经网络故障诊断系统的系统结构、软件系统功能及诊断流程，并以主机无显示故障为例，详细描述了故障诊断模型、M矩阵的建立、推理过程、解释机制的构建原理。最后还概括分析了该系统的优越性，并点出了系统在技术实现中存在的主要问题。     

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.