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的加速。     

有压输沙管道脉动压强特性试验研究

壁面脉动压强是工程上重要的研究对象,脉动强度直接影响泄洪排沙洞、输水隧洞(管道)等建筑物的稳定性和运行安全。为研究不同含沙浓度对壁面脉动压强特性的影响,以黄河细沙(d50=107μm)为研究对象,在直径80 mm的水平管道中进行模型试验,测量出每种工况下的流量、含沙浓度和脉动压强。采用统计方法对测量数据进行多方面分析,并结合快速傅里叶变换(FFT)方法研究了脉动压强的功率谱密度。试验结果表明,时均压强的沿程幅值和瞬时峰值压强均随含沙浓度增加而增大,相对脉动强度随着含沙浓度增大总趋势是减小的;脉动压强概率密度为脉动压强均值接近于零的正太分布,随着含沙浓度增加分布形态从瘦高型发展成矮胖型,压强振幅变大;脉动压强功率谱密度中低频分量随着含沙浓度变大有明显的增加。     

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

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

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

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

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

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

论长江开发与保护策略

长江治理开发与生态环境保护不协调,重开发轻保护,是长江面临生态环境问题的主要症结所在。在总结70年来长江治理开发取得的重大成就基础上,分析了新时代长江面临的主要水安全问题,明确了长江治理开发与保护协调的总体思路,提出了今后一段时间长江治理开发与保护的主要策略:进一步加强防洪安全体系建设,提高防洪保安能力;实施生态要素调控与空间管控,修复受损生态系统;严控入河污染负荷,改善水体环境质量;科学调控长江与洞庭湖、鄱阳湖关系。     

渗漏对武汉地区长江一级阶地地连墙结构基坑影响的离心模型试验研究

武汉地区长江一级阶地是典型的二元结构地层,承压水与长江和汉江贯通,地下水位的变化极易对该区域的基坑工程造成危害,尤其是当基坑地连墙存在渗漏点时。假设承压水位上升导致渗漏点出现渗水或流砂,渗漏点逐渐增大甚至会威胁地连墙稳定,或导致墙外地表下沉。以武汉地区某临江基坑为原型,采用离心模型试验,针对地下水位升高引起地连墙薄弱点出现渗透的问题,研究基坑的变形和稳定性。试验结果表明,当基坑地连墙上部预设薄弱点且承压水位超过地连墙薄弱点时出现渗漏破坏,造成的地连墙外侧地基沉降明显增大,且影响范围大,这与基坑开挖引起的变形规律显著不同。研究成果为武汉地区长江一级阶地受承压水位影响的基坑工程设计和施工提供参考。     

弧形短导航墙对船闸下游引航道内水流结构的影响

通过物理模型试验,结合理论分析,研究了在不同下游水深条件下,直导航墙长度L变化对船闸下游引航道保护长度的影响,并在此基础上研究了增设弧形短导航墙对水流结构的调整与影响。物理模型试验研究表明:直导航墙长度的增加有利于改善船闸引航道口门区的通航条件,但在达到一定长度之后,再增加直导航墙长度对引航道口门区水流结构的改善效果减弱;弧形短导航墙对改善下游引航道保护区域内水流结构有很好的效果,选用较小纵向参数a和较大横向参数b效果更好,但张角不宜过大。