摘要：函数式面向对象程序设计语言ＦＯＰＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言，本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。

摘要：通过加入层次化结构信息,解决了视频分割中由于帧与帧之间的关联不正确而产生的分割结果"闪屏"现象.首先对视频每帧进行层次化分割,并选取关键帧进行标注;然后建立帧间关联,在此过程中提出层次化的匹配算法,通过有效地利用层次化结构信息来改善分割效果.实验结果表明,该算法效率高、视频分割结果准确.

摘要：伪随机函数是密码学领域最基本的原语之一,其自提出以来便备受关注.近几十年间发展起来的格理论在密码领域取得了很多重要的应用成果,特别是格上很多困难问题被普遍认为具备抵抗量子攻击的特性,在后量子密码方案设计中处于核心地位.对于格上伪随机函数的研究正式起始于Banerjee、Peikert和Rosen在2012年欧密会上发表的工作.此后,密码学家们围绕如何基于格困难问题设计伪随机函数方案开展了大量研究,特别是在提升伪随机函数方案的安全性、效率和并行性,以及扩展伪随机函数的功能方面取得了诸多成果.本文对格上伪随机函数的研究现状进行综述:总结了伪随机函数的通用构造方法以及格上伪随机函数依赖的底层困难问题;整理了现有基于格困难问题设计的伪随机函数方案,重点关注这些方案在提升安全性、效率或并行性方面采用的技术以及取得的成果;整理了格上具备扩展功能的伪随机函数的研究进展,包括具有密钥同态性质的伪随机函数、约束伪随机函数、水印伪随机函数以及可验证伪随机函数.

摘要：介绍Daihyun等设计的仲裁器物理不可克隆函数(PUF)方案,指出其不足之处。在此基础上提出一种改进方案,设计并分析基于D触发器的仲裁器PUF,在FPGA平台上实现并测试该方案的性能。实验结果表明,改进方案在输出的0,1平衡性方面优于Daihyun的PUF方案。

摘要：近年来,人工智能(AI)在前沿科技领域取得了诸如AlphaFold2、核聚变智能控制、新冠药物设计等诸多令人瞩目成果,表明AI for Science正在成为一种新的研究范式。实现智能时代的基础科学源头创新及其下游重大技术创新,需破解2个方面的核心问题:(1)如何利用新一代AI(特别是生成式AI及大模型)的通用性和创造性推动新范式的形成;(2)如何利用AI实现对传统科学设施的赋能与改造。文章提出一种智能化科学设施的建设构想,兼顾“高度智能化的科学新设施”和“AI赋能已有科学大设施”2个层面的需求,构筑AI for Science的科学设施体系,形成科学领域大模型、生成式模拟与反演、自主智能无人实验及大规模可信科研协作等创新功能,加速重大科学发现、变革性物质合成,以及重大工程技术应用。

摘要：设定处理器片上安全,围绕抗物理攻击存储安全关键技术进行研究,给出了物理攻击的定义及抗物理攻击技术的潜在应用场景;通过对安全系统模型进行比较、分析,总结了安全体系结构设计的研究现状;结合密码保护技术,回顾了单处理器结构和多处理器结构中的数据保护方法:数据机密性、数据完整性、防重放攻击技术,分析了多处理器结构中共享秘密技术及cache间安全通信技术。

摘要：计算机控制系统中历史数据的存储和查询是一个重要的功能。文章提出使用不固 定的周期对原始信号进行采样存储，为其设计了以B树为基础的存储结构，并对其查询性能 作了分析。

摘要：设计了一种新型的脑电图干电极,主要用于采集脑电信号以进行基于脑电图的警觉度分析,替代传统的湿电极.采用柔性衬底微电子机械系统(MEMS)加工技术,在柔性衬底上制备出具有化学稳定性与生物相容性的微针状干电极阵列.通过铜牺牲层实现干电极微针的悬臂梁结构,利用聚二甲基硅氧烷(PDMS)剥离层实现器件从玻璃基底的完全释放,并经平面电极的多层组装实现了立体电极阵列.实验中干电极以聚酰亚胺作为柔性衬底,其针端及导线部分材料为镍,针端部分表面镀金.采用Neuroscan的脑电信号采集放大器对干电极性能进行了测试,测得阻抗约为10kΩ,其时域和频域信号与传统湿电极基本一致.所制备的干电极成品率高、尺寸小、屏蔽佳、装配简单、可靠性好、机械强度大,符合快速、无痛的脑电信号采集要求.

摘要：单向函数的存在性是密码学的最基本假设,也是绝大多数对称密码学算法的充分必要条件.作为一个计算复杂性问题,单向函数可以用来构造伪随机产生器进而构成流密码算法,或是在伪随机产生器的基础上进一步构造伪随机函数和伪随机置换从而用作分组加密算法.规则单向函数是一类具有特殊结构的单向函数,该函数的每个像都有相同个数的原像.基于单向函数的密码学组件(如伪随机产生器)构造研究主要有两种思路:一是从任意单向函数出发来设计组件,其优点是具有通用性,不需要使用单向函数的特有结构;另一种是从具有特定结构的单向函数(比如单向置换、规则单向函数等)出发来设计组件,其优点是构造出来的密码学组件效率较高(比如种子长度更短、单向函数调用次数更少等).学界一直感兴趣于怎样在两者之间取得折中:即寻找既能够适用于范围更广的单向函数、又具有高效性的构造方法.本文提出了弱规则单向函数的概念,规则单向函数仅是弱规则单向函数的一种特殊情况.如果一个函数不是弱规则函数的话,那么这种反例的构造需要人工刻意设计.本文进一步通过具体构造说明,基于规则单向函数的密码学组件构造(伪随机产生器)可以推广至基于弱规则单向函数的情况.与HILL型产生器相比,基于弱规则单向函数的伪随机产生器构造兼具种子长度更短和保持安全性的优点.基于弱规则单向函数的通用单向哈希函数构造则推广了学界基于未知规则单向函数构造的研究工作,具有密钥长度为O(nlogn)、输出长度为Θ(n)的特点.

摘要：理论上量子算法可高效破解基于整数分解类和离散对数类等经典数论假设的密码体制;近年来量子计算机的研制进展迅速,使经典公钥密码面临现实威胁.因此,设计后量子密码系统是当前密码学研究以及标准制定中的重要课题.其中以后量子密钥交换协议的需求最为迫切,因此成为近年来的热点研究方向.本文主要关注基于格上的计算困难问题,LWE,环LWE和模LWE设计的后量子密钥交换协议,尤其是最基础的无认证密钥交换协议,包括BCNS15,NewHope/NewHope-Simple,Prodo,***等.本文将介绍这些协议中的关键技术,参数选取,以及通信量,计算效率和安全性等指标.