XML多值依赖的推理规则集问题

XML多值依赖的推理规则集问题是解决XML数据依赖的蕴涵问题的基础,是XML规范化理论的关键问题之一。该文对XML树、树元组等进行了重新定义,与Vincent等人不同,提出了基于DTD的XML多值依赖的概念,通过对XML的关系化表示给出了其形式化定义,定义了XML多值依赖集的闭包、XML多值依赖路径依赖基以及XML多值依赖路径集的闭包等概念,给出了一个有效且完备的推理规则集,并对其有效性及完备性进行了证明。     

基于Web的对话应用设计系统

信息技术领域的客服系统存在人力资源的运用效率低等问题,这给企业带来了大量的维护成本,对企业创新带来了一定的阻碍.因此本文提出一种新型的基于Web的对话应用设计系统,不仅提供了基于分支、循环、顺序等设计对话的基础流程控制单元,还包含大量垂直领域内的话题通用组件以辅助在短时间内设计出快速响应、容错率高的场景对话机器人,并提...     

不确定时间序列的降维及相似性匹配

不确定时间序列的每个时间点上对应一个可能取值的集合,无法给出其确定值,这种不确定性给时间序列降维处理和相似性匹配带来巨大挑战,现有的时间序列降维方法和相似性匹配算法已经无法适用。针对此问题,提出了描述统计模型,将不确定时间序列归约为3条确定时间序列,通过离散傅里叶变换（discrete Fou-rier transform,DFT）、离散余弦变换（discrete cosine transform,DCT）、离散小波变换（discrete wavelet trans-form,DWT）对模型下不确定时间序列降维;根据模型特点,提出了以观察值区间和区间集中趋势为核心的相似性匹配算法。经过实验验证,描述统计模型下DCT和DWT有良好的降维效果,提出的相似匹配算法与现有算法相比提高了匹配准确率。     

一种验证SPR传感器金膜表面固定蛋白质分子有效性的简易途径

利用表面等离子共振传感器进行免疫检测的实验中,需要在化学性质稳定的金膜表面固定蛋白质分子探针。如何验证一种方法是否能够成功固定蛋白质分子具有非常重要的现实意义。提出的验证方法采用酶反应作为标志,如果某种方法确实能有效固定蛋白质分子,那么它也能固定酶。将固定好酶的金膜浸入相应的底物溶液中发生变色反应,测量底物溶液的吸收光谱,即可根据结果判断是否有效固定了酶,同时达到判断这种方法是否可固定蛋白质的目的。具有快速、方便、低成本等优点。采用经过验证的方法固定抗IgG后通入IgG,实验响应良好。     

k-匿名方法中准标识符的求解算法

k-匿名是保证视图安全的一种主要手段,如何找出正确的准标识符对k-匿名方法的有效性具有重要意义.针对这一问题,分析了不存在函数依赖和存在函数依赖两种情况下准标识符的组成特征,即当不存在函数依赖时,准标识符由视图间的公共属性组成,当存在函数依赖时,准标识符由视图间的公共属性和秘密信息包含的函数依赖关系的前件属性组成,在此基础上,给出了准标识符的通用求解算法,并用实验证明了算法的有效性和正确性.     

提升矿用液压支架维修的有效措施

矿用液压支架是煤矿生产领域的重要设施。由于其作业现场环境复杂、设备的负荷较重,容易出现故障。因此,围绕矿用液压支架的维修措施展开探讨,具体体现在液压系统、立柱、千斤顶等方面,提出各自的维修措施,以期给同仁提供参考。     

洪水预报模型的预评估机模型研究

洪水过程是一个高度复杂的过程，目前还没有一种水文模型是最优的，本文首次提出了洪水预报模型预评估机的概念，对给定的洪水预报模型的预报效果进行预评估，以作为是否采信该模型预报结果和选择洪水预报模型的依据之一。本文建立了基于相似系数和神经网络的预评估机模型，并通过对实例的分析，对它们实际应用的可行性进行了探讨，其中基于相似系数的预评估机模型尚有待改进；基于神经网络的预评估机模型有良好的应用前景。     

基于神经网络的高效强力砂带磨削温度的研究

磨削温度高是产生磨削烧伤的主要原因,建立一个合理准确的磨削温度在线预测系统,对满足核电高压容器的高效深磨质量要求至关重要,为此建立了基于神经网络的高效深切磨削温度预测模型,并与热电偶法测得的温度进行了试验比较,发现此预测模型能达到较高的预测精度,表明了此方法有较大的实用性。     

河南省土门萤石矿地质特征及控矿因素

河南省土门萤石矿赋存于上元古界栾川群煤窑沟组地层中,地层岩性、构造及岩浆岩对萤石成矿有较强的控制作用。白云质大理岩因其化学成分富镁钙、缺硅,有利于萤石成矿。叠加发育于岩性接触面之上的断裂构造是成矿的有利条件,既是含矿热液运移的通道,同时为成矿物质富集成矿提供了有利空间。矿区内正长(斑)岩脉可能是成矿母岩。研究认为土门萤石矿床为(低温)热液充填脉状矿床。矿区内存在多次成矿,总体而言,萤石成矿在先,之后又有多次的成矿热液活动叠加,并形成了Mo、Pb、Zn等金属矿化。研究成果可为今后找矿勘查工作提供参考。     

基于粘结单元的三维随机细观混凝土离散断裂模拟

开发MATLAB和ABAQUS Python脚本程序,建立含随机三维多面体骨料的混凝土细观有限元模型。通过自编高效C++程序插设三维零厚度的粘结界面单元,以模拟复杂三维离散多裂缝的起裂与扩展。对典型混凝土试件单轴拉伸断裂的模拟,分析粘性界面单元的主要材料参数(抗拉强度与断裂能)对应力-位移曲线、断裂过程、裂缝面特征的影响。结果表明:宏观应力-位移曲线主要受砂浆、界面粘性裂缝单元的抗拉强度、断裂能绝对数值的影响;裂缝面的位置与形态决定于砂浆、界面粘结裂缝单元的抗拉强度相对比值以及断裂能相对比值;混凝土的力学响应反映其裂缝发展特征,二者既决定于断裂材料参数,也受到骨料大小、形状等细观结构因素的影响;建立的有限元模型能有效描述混凝土复杂三维断裂过程。