基于图嵌入的自适应多视降维方法

随着监控摄像头的普及和数据采集技术的快速发展,多视数据呈现出规模大、维度高和多源异构的特点,使得数据存储空间大、传输慢、算法复杂度高,造成“有数据、难利用”的困境。到目前为止,国内外在多视降维方面的研究还比较少。针对这一问题,本文提出一种基于图嵌入的自适应多视降维方法。该方法在考虑视角内降维后数据重构原始高维数据的基础上,提出自适应学习相似矩阵来探索不同视角之间降维后数据的关联关系,学习各视数据的正交投影矩阵实现多视降维任务。本文在多个数据集上对降维后的多视数据进行了聚类/识别实验验证,实验结果表明基于图嵌入的自适应多视降维方法优于其他降维方法。     

标准模型下前向安全的格基有序聚合签名

在前向安全有序聚合(FssAgg)签名系统中,签名人以分层的"洋葱式"的方式,将不同时段不同密钥下的签名逐步有序地聚合成一个签名.其中,最内层的签名是第一个签名.另外,与普通的有序聚合签名相比,前向安全有序聚合签名是对同一个签名人不同签名的聚合,而非对不同签名人签名的聚合,因而签名验证者使用一个公钥即可完成对所有聚合过程的验证.前向安全的有序聚合签名兼具前向安全签名和聚合签名的优点,自2007年提出以来,已被广泛应用于日志系统、区块链等众多应用场景中.目前现存的几个前向安全的有序聚合签名都是基于传统数论问题的,而这一问题在后量子时代将会变得不再困难.因而,寻找量子计算环境下前向安全的有序聚合签名已迫在眉睫.基于格上的小整数解问题,构造了标准模型下前向安全的格基有序聚合签名方案.为达到高效率目的,方案借助于固定维数格基委派技术实现密钥更新,达到前向安全性;随后通过消息添加技术和原像采样算法分别将待签消息和格上困难问题嵌入到签名中,使得签名在标准模型下是不可伪造的.     

基于OGC标准的水利一张图关键技术解析

为解决水利空间数据共享困难的问题,江苏省基于开放地理信息标准,采用去中心化技术路线,构建水利一张图。利用OGC(开放地理空间信息联盟)提供空间数据交换和服务互操作协议,具体接口可以在业务领域定制化实现,提出以OWS(OGC网络服务)融合异构空间数据,实现地图局部更新和统一风格展示;通过URI定位属性并与Solr搜索引擎结合,扩展WFS实现基于语义的空间信息查询;基于服务链和工作流整合水利空间功能;结合LDAP协议实现CSW服务,构建跨部门、级别、业务的细粒度空间信息目录;通过服务负载均衡,实现云端GIS等方案。从技术上实现水利一张图平台框架,可满足水利空间信息公共服务的功能、性能需求,并为基于水利一张图整合全省水利信息资源,提供理论参考和技术借鉴。     

Incremental join view maintenance on distributed log-structured storage

Modern database systems desperate for the ability to support highly scalable transactions and efficient queries simultaneously for real-time applications. One solution is to utilize query optimization techniques on the on-line transaction processing (OLTP) systems. The materialized view is considered as a panacea to decrease query latency. However, it also involves the significant cost of maintenance which trades away transaction performance. In this paper, we examine the design space and conclude several design features for the implementation of a view on a distributed log-structured merge-tree (LSMtree), which is a well-known structure for improving data write performance. As a result, we develop two incremental view maintenance (IVM) approaches on LSM-tree. One avoids join computation in view maintenance transactions. Another with two optimizations is proposed to decouple the view maintenance with the transaction process. Under the asynchronous update, we also provide consistency queries for views. Experiments on TPC-H benchmark show our methods achieve better performance than straightforward methods on different workloads.     

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

2021年42卷第3期

计算机视觉一直是人工智能研究的热点方向,经过近 60 年的发展,已经在算法、技术和应用等 方面取得了巨大的进步。近十年来,以大数据、大算力为基础的深度学习进一步推动计算机视觉走向大模型时 代,但其算法适应能力仍然和人类存在较大差距。本文从视觉任务评估评测(评测数据集、评测指标、评估方 式)出发,对计算机视觉的发展进行了总结,对现存的依赖大数据学习的计算机视觉发展问题进行了梳理和分 析,从人机对抗智能评测提出了计算机视觉下一步发展方向：视觉图灵。最后对视觉图灵发展方向进行了思考 和讨论,探讨了未来研究可能的方向。     

基于FPGA的Leighton-Micali签名方案密钥生成的高速可配置实现

由于量子计算机的飞速发展,现代密码学面临着巨大的挑战。为了实现抗量子计算机攻击的加密,人们提出了许多新的加密方案,并对后量子密码学(Post-Quantum Cryptography,PQC)开展了标准化进程。Leighton-Micali签名(Leighton-Micali signature,LMS)是一种基于哈希的后量子签名方案,其私钥和公钥尺寸都较小,且安全性已被充分研究。LMS被互联网工程小组(Internet Engineering Task Force,IETF)选为PQC签名协议的标准方案,同时被美国国家标准技术局(National Institute of Standardsand Technology,NIST)选为一种PQC过渡方案。然而,密钥生成过程中的效率低下,成为了LMS实际应用中的瓶颈。在本文中,我们首次对LMS进行基于FPGA的硬件实现与加速。首先,在不损失安全性的基础上,我们将LMS中的主要哈希函数由SHA2替换为SHA3函数。其次,我们设计了一个软硬件协同系统,将核心的哈希运算用硬件进行实现,该系统在消耗较少资源的前提下,可完成LMS协议的所有过程:密钥生成、签名与验证。该系统为物联网(Internet of things,IoT)场景下资源受限的LMS应用提供了参考。接着,我们提出了一个高速的密钥生成架构来加速LMS。该架构中具有可配置性,支持LMS的所有参数集,内部的哈希模块根据使用场景进行设计与部署,且并行度经过精心设计,以使得架构同时达到低延迟和高硬件利用率。此外,设计中的控制逻辑被设计为在适应不同参数集的情况下保持一定程度的恒定功率,以抵御功率分析攻击。该架构使用Verilog实现,并在Xilinx Zynq UltraScale+MPSoC ZCU104 FPGA平台上实验。实验结果表明,与在Intel (R) Core (TM) i7-6850K 3.60GHz CPU上启用多线程的目前较优软件实现相比,本文中的设计在不同参数配置下可实现55x~2091x的加速;与最新的各平台LMS工作相比,本文中设计可实现超过17x的加速;与相近方案的FPGA工作相比,本文中设计可实现约70x的加速。     

考虑偏压作用的基坑抗隆起稳定性上限分析

为了研究偏压荷载对抗隆起稳定性的影响,提出了一种考虑偏压作用的基坑抗隆起稳定性计算方法,将墙后土体沉降变形近似简化为余弦曲线,从而在研究偏压作用对基坑抗隆起稳定性影响时可计入偏压荷载范围和坑边距等因素,同时在极限上限分析法的公式推导中考虑了土体各向异性对基坑抗隆起稳定性的影响。将该方法与HASHASH和WHITTLE提出的波士顿蓝黏土深基坑开挖有限元模型进行对比,通过数值算例研究了挡墙入土深度、基坑深度、土体各向异性、最下一道支撑到坑底距离及偏压荷载等因素对抗隆起安全系数的影响。研究表明:基坑抗隆起稳定性系数随着土体各向异性比的增加而增加,随着最下一道支撑到坑底距离增加而增大,发现偏压作用距离坑边在2倍基坑深度之内对抗隆起安全系数影响较大。最后结合案例分析验证了该方法的有效性。     

乌东德水电站表孔体型优化研究

乌东德水电站坝址处河谷狭窄,覆盖层深厚,施工详图设计阶段拱坝厚高比增加,表、中孔相对位置发生变化,存在表孔自由溢流水体击打中孔弧门、表中孔水舌碰撞后形成的横向溅水冲击透水边坡及水垫塘底板冲刷较深等问题。通过1〖DK(〗∶〖DK)〗50水工整体模型试验及方案比选,对表孔出口位置、型式进行了优化研究,使表孔水舌横向扩散,纵向分层明晰,表中孔碰撞消能后水垫塘底板冲刷轻微,边坡横向溅水强度基本与自然降水相当。研究成果可为工程设计及安全运行提供技术支撑。     

面向多区域防洪的长江上游水库群协同调度模型

长江上游水库群是长江流域防洪工程体系的重要组成部分,承担着水库所在河流、川渝河段以及长江中下游的防洪任务。长江流域面积广大,水系众多,洪水地区组成与遭遇十分复杂,防洪需求众多,防洪对象分散,且要兼顾发电、航运、供水、生态、库区安全等多种因素,水库群防洪调度面临大规模、多区域、多层次等协同调度技术难题。以长江上游25座控制性水库为研究对象,基于防洪格局和防洪任务将水库群防洪调度划分为核心、骨干和群组水库,阐明了水库群多区域协调防洪的调度节点和角色定位,提出了兼顾"时-空-量-序-效"多维属性的模型功能结构,构建了长江上游水库群多区域协同防洪调度模型,并在长江流域防洪调度形成示范应用,以挖掘长江上游水库群防洪调度潜力,进而提升长江流域防洪调度管理水平。