大坡度掘进、小半径接收盾构施工技术分析

以北京地铁西郊线颐和园西门站—巴沟站区间盾构施工为例,分析了大坡度掘进、小半径接受施工风险,并针对施工风险提出了具体的风险控制措施,可供类似工程施工时参考借鉴。     

计算机辅助红外解谱的研究

本文主要讨论利用计算机方法进行红外谱图的初步解析的原理,介绍了两种解谱方法:一是对红外谱进行数据库检索,另一种是模拟红外光谱专家的解谱思路,以流程图问答的方式,最终给出初步的解析结果。本文着重介绍后者的实现方法。     

红外指纹区特点及解析

本文简要介绍了红外指纹区谱峰特点以及应用范围。并描述了在官能团不定后利用指纹区数据判断化合物精细结构的基本原则、实际中出现的问题及解决方法。     

FatSeal:一种基于格的高效签名算法

当前基于格设计的能够抵抗量子计算机攻击的签名方案是基于数论难题的传统签名方案的热门候选替代。通过Fiat-Shamir变换以及拒绝采样技术构造格签名是一种重要方法,共有5个格签名方案提交到美国国家标准与技术局的后量子算法项目中,基于Fiat-Shamir变换进行设计的有两个方案。其中Dilithium是基于模错误学习(MLWE)问题构造的Fiat Shamir签名,它的一个特性是在签名算法中使用了高效简洁的均匀采样。Dilithium签名方案构造在一般格上,为了获得更紧凑的公钥尺寸,Dilithium对公钥进行了压缩。另一方面,NTRU格上的密码方案比一般格上的密码方案在效率和参数尺寸上有更大的优势,该文给出了Dilithium签名在NTRU格上的一个高效变种方案,在继承Dilithium简洁设计的基础上,综合了NTRU和拒绝采样的技术优势而无需额外的压缩处理,进一步提升了基于格的Fiat-Shamir签名的效率。     

Agr17函数加密(FE)方案的P/poly无效性

函数加密(functional encryption, FE)是密码研究领域的前沿课题,而Agr17函数加密(FE)方案是主流FE方案之一.该方案以BGG+14属性加密(ABE)为一个底层结构,并将其改造为一个“部分隐藏属性的谓词加密”(PHPE),再与一个全同态加密(FHE)组合而成.然而Agr17函数加密(FE)方案留下了一个问题,即方案中的换模运算如何实现.本文论述Agr17函数加密(FE)方案的P/poly无效性, Agr17函数加密(FE)方案在解密阶段的换模之后无法继续运行.指出Agr17函数加密(FE)方案的换模运算必须是双重换模,即对全同态密文的换模和对全同态密文所寄生的属性密文的换模.指出对全同态密文所寄生的属性密文的换模破坏了属性密文的结构,使得其后的属性解密无法运行.因为属性解密运算并不是普通的LWE解密,而是附带条件的LWE解密,换模则破坏了解密条件.给出了一种“自然的”修改方案,将小模内积换为算术内积,由属性密文的模内积来实现算术内积.修改方案可以正确解密,但并不安全,说明这种无效性并不容易通过修改方案而消失.