车载激光雷达探测低层大气中NO_2

在北京城区和城郊利用第二代车载测污激光雷达(AML-2)进行了外场测量实验,利用差分吸收技术从垂直、水平方向分别给出了低层大气中污染物NO2的典型测量数据。结果表明:城区的NO2浓度明显高于城郊地区的水平,并且也证实了利用该系统可以有效地监测低层大气的污染情况,为空气中有害气体的光学遥测提供了有效的测量手段。     

一类Bayes公式的推导及在小子样评估中的应用

工程中昂贵复杂系统的整机试验通常是小子样的,因此需要结合大量的先验信息进行系统评估,但这可能造成小子样的整机试验数据的信息被淹没。与通常考虑加权的融合方法不同,基于精度评估的正态逆伽玛分布推导了一类Bayes公式,将所有先验信息等价为单个整机试验数据,设计了相应的分布参数,结合等价先验样本量得到推导的后验结果,并给出案例分析了这类Bayes公式的应用范围和合理性。     

大数据治理的理论与技术专题前言

<正>数字经济时代,数据已成为新型生产要素,大数据技术更是数据要素市场发展的核心科技引擎.然而,近年来大数据使用中普遍存在着“重采集轻管理、重规模轻质量、重利用轻安全”的现象.科学而有效地进行大数据治理将有助于提升数据质量、降低管理成本、增强决策能力.本专题旨在探究大数据治理所面临的核心技术挑战,面向数据的全生命周期,不仅研究劣质数据的清洗与修复等数据治理技术,也讨论隐私安全与开放共享等内容,还研究利用区块链、联邦学习、知识图谱、数据定价等新技术形成大数据治理的新理论与新方法同时关注大数据治理在各应用领域的最新成果.     

缓存敏感的封闭冰山立方体计算

数据立方体计算通常会产生大量的输出结果,冰山立方体和封闭立方体是解决这个问题的比较流行的两种策略,二者可以结合使用.鉴于封闭冰山立方体(closed iceberg cube)的重要性和实用性,如何高效地计算封闭冰山立方体是一个值得研究的问题.提出一种缓存敏感(cache-conscious)的计算封闭冰山立方体的方法,在自底向上对数据进行聚集的同时,寻找覆盖聚集单元的封闭单元,将其输出,使用两种策略进行剪枝,去掉不必要的递归,同时使用Apriori剪枝技术,支持冰山立方体(iceberg cube)的计算.为了减少与内存相关的延迟,快速得到聚集结果,对多个维进行预排序,并将软件预取技术引入到数据扫描中.在模拟数据和真实数据上进行了详细而全面的实验研究,结果表明,封闭冰山立方体的计算方法是快速、有效的.     

DAS模式下基于密文分组索引的完整性验证

目前关于DAS模式下的全概率完整性验证方法主要是建立在明文数据上,并没有建立在密文数据上的完整性验证方法。提出一种建立在密文数据上的适用于动态数据库的完整性验证方法。分组索引是在DAS模式下的一种高效的密文索引,在密文数据分组索引的基础上,提出利用无碰撞增量式哈希生成完整性验证信息的方法。这是一种验证速度快(可并行计算)、维护代价小(对于增删改操作可增量式维护)的全概率验证方法,适用于动态数据库中完整性的验证。     

基于属性相关性的SPARQL查询优化方法

目前主流的RDF存储系统都是基于关系数据库的,其查询引擎都是将SPARQL转换为SQL,然后由数据库的查询引擎来执行查询.但是,目前的数据库查询优化器对于连接查询的选择度估计都是基于属性独立假设的,这往往导致估计错误而选择了效率低的执行计划,所以属性相关性信息对于SPARQL查询优化器能否找到效率高的执行计划是非常重要的.针对SPARQL转换为SQL后,因连接操作没有优化导致查询效率不高的问题,提出了利用本体信息自动计算属性相关性的方法,从而调整连接操作的选择度估计值,调整连接顺序,提高SPARQL查询中基本图模式的连接查询效率.     

从“智能信息检索”看微软前瞻性课程

项目背景：为帮助高校讲述最新业界技术等,依靠高校现有师资力量难以在短期内开设的课程,微软亚洲研究院的员工组成教学团队,直接参与授课。微软员工义务授课的课程,由双方联合制定教学计划,微软公司员工负责完成课件制作和讲授,而学校相关教师作为教学协调人,全程跟踪课程,参与课程设计和实验指导。     

关系数据库缓冲区置换策略的性能评测(英文)

缓冲区是计算机领域一个非常重要的研究主题。现在存在很多缓冲区置换策略,广泛地用于操作系统、文件系统、数据库以及存储系统中。提出了一种性能评测方法来评测关系数据库的缓冲区置换策略。这种方法采用直接测试方式,使用五个性能指标,包括新提出的指标以及由于模拟方法的局限性在以前的研究中很少使用的性能指标,同时利用显著性测试并提出一种联合使用多个显著性测试的方法进行置换策略之间的比较,设计和使用多种工作负载在单用户和多用户情况下有效地评测各种策略。使用这种评测方法,在一个真实的关系数据库环境中,对十三种典型的缓冲区置换策略的性能进行了详细、全面的实验研究,从中可以获得一些有用的结论。     

DBMS中基于策略图的审计模型

随着数据库的不断发展和基于数据库的应用系统的日益复杂化,需要审计的客体类型、客体数量、动作越来越多.通过观察发现:针对某个具体客体的审计配置越来越多;不同客体之间的许多审计配置是共同的;这些共同的审计配置需求一旦改变,所牵涉到的所有客体审计配置都要改变.同时,现有的审计配置没有区分审计什么和如何审计这两个不同的问题,带来了审计分工的不明确.为了解决上述问题,提出基于策略图的审计配置模型,将审计配置工作分为两步:首先,根据安全需求制定若干不同的审计策略,审计策略之间可以继承,从而形成一个策略有向无环图;然后,根据需要为不同的客体选择相应的策略.将审计策略的制定和实施分开,既明确了审计员之间的分工,又简化了审计配置工作,降低了审计维护成本.     

语义Web环境中本体库管理系统体系结构研究

近年来,语义Web的提出给传统的本体研究带来了许多新的挑战,其中本体的管理成为一个迫切的普遍的需求.分析了语义Web环境中本体的特点和本体管理的功能需求;提出了通用本体库管理系统体系结构的设计原则;并基于该原则设计了一个新型的多层双库(ML&DR)的体系结构;介绍了其中主要的功能模块;最后,给出了一个遵循该体系结构设计和实现的原型系统--CODERS.