小型无人机发动机温度监控系统设计

为了实时监控小型油动无人机的发动机工作温度,设计开发了基于K型热电偶的4路温度监控系统;该系统采用模拟开关CD4052作通道切换,选通的热电偶信号经放大调理,由STM32F103控制器片上A/D采集,经DS18B20数字温度传感器作冷端补偿,最终以Modbus RTU协议将温度值发送到485总线上;经调试校准,该温度监控系统在蚊子直升机MZ202型发动机正常工作温度范围内与原机温度仪表相差±3℃,数据刷新率大于2 Hz,且工作稳定抗干扰能力较强,为发动机调校提供了可靠的依据,有效地保障了发动机安全稳定运行;该温度监控系统也可用于Rotax582,Rotax912/914等小型活塞航空发动机缸头及排气温度的采集与监控。     

虚拟现实技术在涂鸦中应用的评估

随着虚拟现实技术的逐步发展与趋于成熟,其在以涂鸦绘画为载体的艺术创作领域的应用也越来越普遍,因此对VR技术在涂鸦中应用的可行性及影响因素和效果进行分析势在必行。本文通过研究虚拟现实技术与涂鸦结合的特点,分析了其具有的优势及存在的问题,为虚拟涂鸦进一步研究推广提供了一定的借鉴与参考。     

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

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

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

在前向安全有序聚合(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的加速。     

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

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