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

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

K-匿名隐私保护模型下的Top-k查询

数据查询问题是K-匿名隐私保护模型下数据可用性问题之一。提出一种K-匿名数据的空间数据组织方法及其索引方法;定义了两种新的查询UK-Rank和NT-Rank,UK-Rank主要应用于一些需要排序的查询,NT-Rank应用于点查询或者范围查询;采用了Monte-Carlo积分近似计算的抽样方法来提高查询效率。对提出的相关算法进行了实验,结果表明,将K-匿名数据组织成空间数据的方法是可行的,并且应用抽样方法后,查询效率大大提高。     

大数据上函数查询解答的复杂度分析

函数查询是大数据应用中重要的操作,查询解答问题一直是数据库理论中的核心问题。为了分析大数据上函数查询解答问题的复杂度,首先,使用映射归约方法将函数查询语言归约到已知的可判定语言,证明了函数查询解答问题的可计算性;其次,使用一阶语言描述函数查询,并分析了一阶语言的复杂度;在此基础上,使用NC-factor归约方法将函数查询类归约到已知的\mathrm{\Pi }{\mathrm{{\rm T}}}_Q-complete类中。证明函数查询解答问题经过PTIME（多项式时间）预处理后,可以在NC（并行多项式-对数）时间内求解。通过以上证明可以推出,函数查询解答问题在大数据上是可处理的。     

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

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

基于位置敏感哈希分割的空间K-匿名共匿算法

空间K-匿名技术主要用于隐私保护,防止个人信息泄露。目前的主要方法都基于用户-匿名器-基于位置的服务(location based services,LBS)模型。提出了一种基于位置敏感哈希分割的空间K-匿名共匿算法。这种算法在保距性和共匿性方面都可以满足要求,而且算法具有适度的计算复杂度。最后,针对有效性(最小化匿名空间区域)和效率(构建代价)做了实验,证明所提出的算法具有良好的性能。     

SPR生物传感系统及其对DNA的检测分析

智能化的SPR生物传感系统采用独特的角向会聚光路代替传统的角度机械扫描方式,采用CCD作为光电检测器件,避免了机械扫描可能带来的误差,可一次完成样品响应曲线的采集分析,提高了检测精度和速度.此外,利用MATLAB软件对信号进行了FIR滤波分析处理,提高了信噪比.利用所研制的系统,分别对DNA分子的体响应以及DNA分子杂交过程进行了检测分析,并且得到了较为满意的结果.     

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

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

基于H∞回路成形的鲁棒PID参数整定

积分过程在工业过程控制中经常遇到,采用常规的PID参数整定方法很难得到理想的控制效果。本文采用基于H∞回路成形的鲁棒PID参数整定方法,实现对积分过程的有效控制。通过Simulink软件的仿真结果表明该方法的有效性。