第13届组合模式匹配国际会议

2004年7月5—7日在土耳其伊斯坦布尔召开的第13届组合模式匹配国际会议（简称CPM’04）是关于生物信息字符串算法方面的会议。会议云集了百余名不同领域的科学家，包括数学家、计算机科学家和生物信息学家。中国有两名代表出席了会议。     

几类函数的线性相关性

对于定义在区间I内的n个函数，当其满足某种条件时，研究了其线性相关性。     

组合系统状态变量图的消环折算与规范化

通过消环折算将组合系统状态变量图等效换为开环，从而可直接由图读出规范化状态变量图的系数矩阵表达式，避免了烦琐的数学运算，减少了出错几率，而且系统越复杂，优越性越明显，简化了系统的分析计算。     

YDXL-Ⅲ87A压电晶体三向小力值传感器的研究

从机理，晶体切割，力电转换，结构优化，晶组构成，组序排列，装架技术，预 载原理，标定与使用等一系列理论与实际问题上，全面阐述了三向小力值传感器的原 理与研制的关键，给出了计算公式，并对实际使用过程中出现的一些问题给出解决办 法。     

浅论下沉式卫生间防渗漏构造改进措施

本文就下沉式卫生间构造特点，对渗漏发生机理进行分析，指出在防治渗漏时，特别要防止卫生间下沉池内积水，并针对积水对渗漏的影响，提出在下沉池内增设排水盲管导流积水的构造改进创新措施，大幅减少了渗漏现象的发生，文章详细介绍了具体做法，通过大量实践，有效解决了这类卫生间的渗漏问题，很有实用价值。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

低位放顶煤支架开采厚煤层技术应用

通过对ZFQ2500-16/24型低位放顶煤支架使用情况的分析，指出了该支架的优越性，同时提出要在实际使用中不断完善和改进，充分发挥综采的最大效率。     

快速暂态过电压的形成机制与抑制方法

为了研究封闭式组合电器(GIS)中隔离开关操作引起的快速暂态过电压的产生机制，采用了探求“激发模式”的思想方法．“激发模式”的分析方法可以抓住产生快速暂态过电压的主要因素，且所生物理图像清晰，非常有益于直接指导GIS的结构设计．通过分析，发现了高压套管电容效应和导体波阻抗跃变2种“激发模式”，由此提出了一种新的快速暂态过电压抑制方法．该方法是在GIS终端加上波阻抗较小的一段导体，以抑制快速暂态过电压．分析表明，这种方法对于抑制GIS端口处的快速暂态过电压是很有效的。     

排水性沥青混合料配合比设计方法浅述

本文主要阐述了排水性沥青混合料配合比及沥青用量设计试验方法。