安全访问控制的XML关键字检索

XML(extensive makeup language)的关键字检索简单易用,用户不必了解数据库的模式,受到人们的广泛关注。当前的相关研究主要集中于关键字检索的算法以及返回结果的组织和排序,却忽视了其中的安全性问题。结合XML关键字搜索和XML安全控制,研究了基于安全访问控制的XML关键字检索技术。在XML关键字的最小最低公共祖先(smallest lowest common ancestors,SLCA)和基于视图的安全访问控制规则的基础上,确定基于安全访问控制规则的XML关键字检索结果;建立基于安全视图的关键字索引,以及在此基础上的关键字检索算法。实验表明,为了满足安全访问控制规则,该算法虽然需要额外的时间开销但总体上是高效的。     

加快推进经济增长方式转变的途径及措施

当前,为了促进我国经济持续协调发展,提高经济增长质量和效益,提高我国在国际上的竞争力和战略地位,减轻资源环境压力,实现全面建设小康社会的宏伟目标,必须加快推进经济增长方式的转变.针对我国经济增长过程中存在的“高投入,高消耗,高排放,不协调,难循环,低效率”的问题,迫切需要通过促进科技进步,转变政府职能来为实现经济增长方式的转变打牢基础;通过体制创新为实现经济增长方式的转变做好制度保证;通过大力开发人力资源,提高劳动者素质,扩大对外开放,加强对外交流,从而切实有效地加快经济增长方式的转变.     

求解连续空间优化问题的扩展粒子蚁群算法

扩展蚁群算法是蚁群算法创始人Dorigo提出的一种用于求解连续空间优化问题的最新蚁群算法,但该算法的收敛速度参数和局部搜索参数取值缺乏理论指导,因此其性能受算法参数影响较大.本文提出一种求解连续空间优化的扩展粒子蚁群算法,将粒子群算法嵌入到扩展蚁群算法中用于在线优化扩展蚁群算法参数,减少了参数人为调整的盲目性.从而改善扩展蚁群算法的寻径行为.通过将本文提出的算法与遗传算法、克隆选择算法、蚁群算法、扩展蚁群算法对5种典型测试函数优化的结果对比表明,本文算法在搜索速度和全局搜索能力方面均优于其它算法.     

使用DTD优化XML数据流上的XPath查询

如何在XML数据流上高效地执行XPath查询,是XML数据流管理的关键问题。DTD结构信息对提高XML查询效率有很大帮助,已有的大部分算法没有利用这一资源。提出了一种使用DTD进行XML数据流查询处理的方法,具有以下特征:利用树自动机表示XPath;通过XPath树自动机与DTD树匹配,预先标识不匹配查询结构的DTD节点;给出一种利用DTD的XML流索引方法DBXSI;执行查询时,根据流索引信息直接跳过某些与查询不匹配的节点及子树。实验结果表明:该方法可有效支持Xpath查询,效率优于传统算法。     

理性密钥共享的扩展博弈模型

理性密钥共享体制通过引入惩罚策略使得参与者不会偏离协议,常采用的惩罚是一旦发现有人偏离就立即终止协议.这种惩罚策略有时导致惩罚人自身利益严格受损,从而降低了对被惩罚人的威慑.为了克服这一弱点,本文以扩展博弈为模型分析了理性密钥共享体制.首先给出(2,2)门限的理性密钥共享体制,证明了所给的协议是该博弈的一个序贯均衡,即经过任何历史之后坚持原协议仍然是每一个参与者的最优选择.特别地,在发现有人偏离后,协议所给出的惩罚策略既可以有效惩罚偏离者又能够完全维护惩罚人的利益.这是本文对前人设计的理性密钥共享体制的一个重要改进.然后针对将协议扩展到(t,n)门限情形,实现密钥分发人离线,达到计算的均衡等相关问题给出了一般的解决方案.     

黄骅坳陷新生代断裂构造系统研究

黄骅坳陷断裂构造极为发育，其新生代构造系统主要为伸展构造系统，以铲形正断层或坡坪式正断层为主干伸展断层，以不同尺度的北东一北东东向正断层和具调节性质的北西一北西西向断层为特征。经过对黄骅坳陷新生代构造应力场的分析，黄骅坳陷盖层中极难出现明确的走滑断裂，其雁列状排列的断层应为倾斜滑动断层；黄骅坳陷中不同凹陷或断块之间不同的伸展程度往往为横向地垒状凸起、鼻状凸起或鼻状背斜所调节，在横向凸起和凹陷之间伴生北西向正断层，它们与挤压变形体系中具有走滑性质的横向变换断层又有本质上的不同。     

抛煤机锅炉增拱前后炉内传热对比研究

分别对增设前拱的某35t／h和增设双拱的某10t／h抛煤机锅炉的炉内燃烧与传热特性进行了分析研究。分析发现增拱后有助于强化炉内燃烧,并减少锅炉的化学和机械未完全燃烧热损失,提高了抛煤机锅炉的炉膛出口烟温和热效率。     

合作伙伴的可拓综合评价方法

为了客观、综合地评价合作伙伴,首先建立了一般合作伙伴综合评价参考体系,然后给出了形式化的合作伙伴综合评价物元模型。在此基础上提出了一种定性与定量相结合的合作伙伴可拓综合评价方法。该方法利用可拓理论对经典集合理论和模糊集合理论的语义进行扩展,通过关联度、合格度和优度计算,客观地给出了合作伙伴综合评价结果,并通过DRAGON项目的应用场景得到验证。最后,给出了该方法与层次分析法和模糊综合评价法的对比,说明了该方法能够有效保证综合评价的质量和效率。     

第三方物流企业关键客户的多级可拓综合评价

为了有效地评价第三方物流企业的关键客户,在具体分析第三方物流企业的基础上建立了关键客户多级综合评价参考体系,给出了形式化的关键客户多级综合评价物元模型。提出了一种定性与定量结合的关键客户多级可拓综合评价方法,通过关联函数、合格度和优度计算,客观地给出了综合评价结果。对实际数据进行处理的结果表明,该方法能够有效地保证关键客户综合评价的质量和效率。     

How Iterative are Iterative Algebras?

Iterative algebras are defined by the property that every guarded system of recursive equations has a unique solution. We prove that they have a much stronger property: every system of recursive equations has a unique strict solution. And we characterize those systems that have a unique solution in every iterative algebra.