一种新的密码本原:棘轮密钥交换的定义、模型及构造

在传统密码学应用中,人们总假定终端是安全的,并且敌手只存在于通信信道上。然而,主流的恶意软件和系统漏洞给终端安全带来了严重和直接的威胁和挑战,例如容易遭受存储内容被病毒破坏、随机数发生器被腐化等各种攻击。更糟糕的是,协议会话通常有较长的生存期,因此需要在较长的时间内存储与会话相关的秘密信息。在这种情况下,有必要设计高强度的安全协议,以对抗可以暴露存储内容和中间计算结果(包括随机数)的敌手。棘轮密钥交换是解决这一问题的一个基本工具。文中综述了密码本原——棘轮密钥交换,包括单向、半双向和双向等棘轮密钥交换的定义、模型及构造,并展望了棘轮密钥交换的未来发展趋势。     

普通食用油检验关键点分析

以实际案例和文献资料收集为基础,主要围绕食用油检测从采样到结果判定一系列过程中可能涉及的操作风险点进行分析,并对部分典型检验指标(苯并(a)芘、塑化剂、抗氧化剂、残留溶剂、过氧化值、酸价、辣椒素、黄曲霉毒素B1)进行分析,介绍了分析过程中实验室环境、接触器具、试剂、样本本底、特殊基质干扰、指标稳定性等对实验结果有关键影响的因素,并针对具体问题提出解决措施,旨在为食用油检验风险防控提供技术支撑。     

HACCP在浓香菜籽油生产中的应用

为了保障浓香菜籽油的产品质量安全,采用HACCP体系对浓香菜籽油生产全过程进行生物、物理、化学的危害分析,确定关键控制点,制定预防措施,并对生产环节进行有效监控,制定纠偏措施,做好记录管理,为浓香菜籽油的安全生产提供借鉴。     

Complexity and performance of an Augmented Lagrangian algorithm

Algencan is a well established safeguarded Augmented Lagrangian algorithm introduced in [R. Andreani, E. G. Birgin, J. M. Martínez, and M. L. Schuverdt, On Augmented Lagrangian methods with general lower-level constraints, SIAM J. Optim. 18 (2008), pp. 1286–1309]. Complexity results that report its worst-case behaviour in terms of iterations and evaluations of functions and derivatives that are necessary to obtain suitable stopping criteria are presented in this work. In addition, its computational performance considering all problems from the CUTEst collection is presented, which shows that it is a useful tool for solving large-scale constrained optimization problems.     

采动覆岩卸荷膨胀累积效应

地下煤层开采引起的岩层运动是一系列安全和环境问题的根源,研究采动岩层运动规律是安全、高效、绿色开采的重要基础。通过对岩层运动过程的研究,揭示了采动覆岩卸荷膨胀累积效应及其对岩层运动规律的影响机制。研究表明:采动覆岩经历了卸荷膨胀与再压实的动态过程。受关键层结构控制,上覆岩层由下向上成组破断运动,关键层破断前,阻断了上覆载荷向下方岩层的传递,导致其因卸荷而产生膨胀,包括碎胀与弹性膨胀。随着关键层破断高度增加,覆岩卸荷高度同步增大,因卸荷而膨胀的岩层总厚度不断增大;同时卸荷煤岩也受到已破断关键层载荷的压实作用,从而造成覆岩卸荷膨胀总量的不断变化。将这种覆岩卸荷膨胀总量随覆岩卸荷高度动态变化的现象定义为采动覆岩卸荷膨胀累积效应,进而建立了理论模型,并通过淮北海孜煤矿巨厚火成岩下采煤覆岩裂隙实测进行了验证。结果表明,采动覆岩卸荷膨胀累积效应对采动岩层运动规律产生了重要影响,如影响覆岩关键层下离层量,影响覆岩关键层贯通破断的高度,影响不同开采条件的地表下沉系数等。采动覆岩卸荷膨胀累积效应改变了对离层存在形式的传统认识,该效应的存在导致关键层下最大离层量一般小于采高的10%,覆岩可注浆充填空间并非传统认识上的“离层区”,而主要是注浆充填压力“压实”作用下将覆岩卸荷累积膨胀所转化出的那部分空间,该发现指导了覆岩隔离注浆充填绿色开采技术的创新研发及其在建筑物压煤开采中的成功实践。     

覆岩结构类型与开采覆岩损害特征分析

煤层开采打破了上覆岩层原有的平衡,必然引起岩层的移动、破断,导致应力场和裂隙场的改变,工作面出现矿压显现。上覆岩层的岩性和组合结构对工作面开采覆岩损害特征分布影响显著,一般岩性越坚硬,上覆岩层应力集中程度越高,采动裂隙越发育,矿压显现也越明显;坚硬岩层尤其是关键层对覆岩的破断运动起控制作用,覆岩破断发展到一定层位后软弱岩层往往是抑制覆岩破断进一步向上发展的关键。当工作面上覆岩层同时存在远近场关键层时,近场关键层的周期性破断引起裂隙带范围内岩层的运动和工作面周期来压;而远场关键层的周期性破断导致地表裂缝或台阶下沉,工作面压力急剧上升,有时甚至导致煤矿动压灾害,尤其是远近场关键层同步破断时动力现象更明显。通过地面钻孔使远场关键层提前破断是防止此类动力灾害的关键。     

Title加TextRank抽取关键句的情感分类研究

考虑到不同句子对判断文档情感倾向的重要程度不同，因而区分文档的关键句和细节句将有助于提高情感分类的性能。同时，考虑到Title和上下文信息，提出了一种基于Title和加权TextRank抽取关键句的情感分析方法SKTT，实现了高效的情感分析。根据文档Title的情感权重计算Title贡献度，考虑到标点和语义规则对情感倾向的影响；根据加权TextRank算法思想，在文档正文中构建了一个情感句有向图来提取关键句；计算所有关键句的情感倾向进行情感分类。在4个领域上进行实验，实验结果表明，该SKTT方法性能明显优于Baseline，具有高效性。     

一种标准模型下无证书签名方案的安全性分析与改进

无证书签名具有基于身份密码体制和传统公钥密码体制的优点，可解决复杂的公钥证书管理和密钥托管问题.Wu和Jing提出了一种强不可伪造的无证书签名方案，其安全性不依赖于理想的随机预言机.针对该方案的安全性，提出了两类伪造攻击.分析结果表明，该方案无法实现强不可伪造性，并在"malicious-but-passive"的密钥生成中心攻击下也是不安全的.为了提升该方案的安全性，设计了一个改进的无证书签名方案.在标准模型中证明了改进的方案对于适应性选择消息攻击是强不可伪造的，还能抵抗恶意的密钥生成中心攻击.此外，改进的方案具有较低的计算开销和较短的私钥长度，可应用于区块链、车联网、无线体域网等领域.     

Challenges and new methods for designing reliability experiments

Abstract

Engineers use reliability experiments to determine the factors that drive product reliability, build robust products, and predict reliability under use conditions. This article uses recent testing of a howitzer to illustrate the challenges in designing reliability experiments for complex, repairable systems. We review research in complex system reliability models, failure-time experiments, and experimental design principles. We highlight the need for reliability experiments that account for various intended uses and environments. We leverage lessons learned from current research and propose methods for designing an experiment for a complex, repairable system.