XML键及推理规则

键是关系数据库和XML文档中重要的语义表达，是XML模式设计的基础。文章在XML树的定义和路径语言的概念的基础上，提出XML键的定义，给出XML键的一组完备推理规则集，最后提出了求解键集合最小覆盖的一般指导原则。     

树的匹配覆盖

设图G没有孤立点.图G的匹配覆盖数,记为mc(G),是指满足如下条件的最小正整数k:G有k个匹配M1,M2,…,Mk覆盖图G的所有顶点.证明了如果图G是一个树,则mc(G)∈{Δ0(G),Δ0(G) 1},其中Δ0(G)是指使得图G的某个顶点有l个一度邻点的l的最大值.而且,任给一个树G,给出了一个可以确定图G的匹配覆盖数的线性算法.     

一种键盘RC数字滤波的算法

介绍一种单片机键盘键值的RC数字滤波处理算法,以一个4×4矩阵键盘为例,在PIC单片机上实现键盘扫描、键值滤波以及键前沿检出的软件处理功能.     

采用Sn中介层的覆Al薄膜硅片键合技术研究

研究采用Sn作为中间层键合覆盖Al薄膜的硅片。相对于Al-Al直接热压键合,该系统能提供低温、低压、快速的圆片级键合方案。采用直径为100 mm硅片,溅射一层500 nm厚度的Al层后,在N2气氛下进行450°C,30分钟退火,采用Ar等离子体清洗后,溅射一层500 nm厚度的Sn层。将硅片金属面紧贴在一起放入键合机中键合,在真空中进行。键合时间为3分钟条件下,得到平均剪切强度为9.9 MPa,随着键合时间增加,剪切强度显著降低。     

煤巷综掘工作面临时支护装置的研制与应用

基于煤巷综掘临时支护技术的现状,研制了一种新型煤巷综掘临时支护装置,该装置利用永久支护顶板锚杆为悬吊载体,安装在煤巷掘进面空顶区域,提高掘进迎头空顶区顶板支护强度。通过前探梁、吊梁环和护顶金属网等主要构件,实现掘进面临时支护的防滑限位、角度可调、前探支护与护顶挂网同步等功能。现场应用结果表明,该装置井下装拆灵活方便,节省了临时支护时间,提高了支护效率,为综掘巷道迎头空顶区域支护安全和快速掘进提供了设备保障。     

矿井主通风机一键切倒及反风技术的研究与应用

在矿井生产中,矿井主通风机负责矿井的通风任务,其安全运行状况是防治瓦斯的关建。矿井主通风机在倒换、反风过程中不可避免地会有短暂的停机时间,为1~5分钟(煤矿规程要求10分钟以内启动)。在故障情况下倒台时间更长,有可能造成井下瓦斯超限,出现事故。本文详细介绍了矿井主通风机自动控制系统在郑煤集团新郑煤电公司的实现与应用。     

基于不同速度等级的铁路接触网链形悬挂仿真研究

【目的】研究不同速度等级下铁路接触网链形悬挂类型和参数对弓网运行状态的影响。【方法】采用有限元仿真法来建立不同速度等级下铁路接触网链形悬挂弓网动态仿真模型。选取不同速度等级与不同接触悬挂类型的弹性链悬挂和简单链形悬挂接触网系统，建立基于有限元的弓网动态仿真模型，对弓网动态性能进行比较分析。【结果】仿真性能研究结果表明：简单链形悬挂适用于速度为200 km/h的电气化铁路。当速度为300 km/h时，弹性链形悬挂接触力的变化更加平顺，且波动幅度更小，综合性能要优于简单链形悬挂。【结论】不同速度等级下，接触网链形悬挂类型和参数对弓网运行状态有较大影响。     

芳香碳氢键的活化官能化研究进展

目前已发现多种过渡金属络合物可以实现芳香C—H键的活化.例如Pd,Ru,Rh,Cu,Ni,Fe等的络合物都能够实现导向或非导向的各种芳香C—H键活化官能化.对近年来过渡金属催化的芳香C—H键活化构建C—C键反应进展进行了综述.