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

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

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

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

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

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

Stochastic polynomial optimization

ABSTRACT

This paper studies stochastic optimization problems with polynomials. We propose an optimization model with sample averages and perturbations. The Lasserre-type Moment-SOS relaxations are used to solve the sample average optimization. Properties of the optimization and its relaxations are studied. Numerical experiments are presented.     

皮带输送机运行过程中常见问题及处理对策

皮带输送机是煤矿井下重要的煤炭运输设备,其稳定运行关系着煤矿生产的高产高效。由于煤矿井下生产环境恶劣,皮带输送机很容易发生各种问题。因此,对皮带输送机运行过程中出现的问题进行准确分析并进行处理显得十分重要。对皮带输送机运行过程中出现的一些常见问题进行了分析,并给出了一些相应的处理对策,有助于实现煤矿生产的高产高效。     

强化吸收过程的吸收稳定节能流程关键参数辨识与分析

针对一种吸收塔带有侧线抽出的节能流程，通过比较各参数在一定范围内的变化对系统总费用的影响程度，辨识了影响吸收稳定系统效益的关键参数，还考察了烯烃以及能源市场价格变化对参数辨识的影响。结果表明，凝缩油罐温度和补充吸收剂流量是两个关键操作参数，解吸塔压力、吸收塔侧线抽出量和抽出位置、稳定塔进料温度对系统总费用有着较大的影响，稳定塔进料位置、解吸塔热进料比例则对系统总费用的影响较弱。     

基于灰色关联度的微孔端面机械密封开启力共性影响参数分析

目前微孔端面机械密封采用的几何参数繁多,缺乏明确物理意义。为找出跨孔型的共性几何参数,基于Fluent多相流空化模型,针对矩形孔、菱形孔、椭圆孔端面机械密封,建立密封间隙流体的三维数值计算模型,计算得到144条开启力数据;在分析开启力和几何尺寸之间的关系、额外开启力产生机制的基础上,提出等效长度和等效宽度2个具有物理意义的几何参数;采用灰色关联度分析法,分析和验证等效长度、等效宽度、方向角、面积比对开启力的影响,发现4个因素对3种微孔密封的间隙流体开启力都有影响,但等效长度与等效宽度的影响较方向角、面积比大。     

Stochastic collocation-based nonlinear analysis of concrete bridges with uncertain parameters

This paper focuses on the stochastic response of concrete bridges considering uncertainty in bearing and abutment stiffness. A multi-span simply supported bridge with concrete girders is selected. A 3D-dimensional model is prepared, and nonlinear response history analyses are performed. For the numerical dynamic simulation, the non-sampling stochastic method based on generalized polynomial chaos (gPC) expansion is utilised. The uncertain parameters include the vertical and shear stiffness of bearings and the lateral stiffness of abutments are presented by the truncated gPC expansions. Furthermore, the system response such as base shear, acceleration, velocity and displacement in different columns is presented by gPC expansion with unknown deterministic coefficients. The stochastic Galerkin projection is employed to calculate a set of deterministic equations. A non-intrusive solution, as a set of collocation points, determines the unknown gPC coefficients of the system response and the results are compared with Monte Carlo simulations. The key advantage of spectral discretization is the combination of the mentioned method with the spatial discretization, e.g. finite element model. This study also emphasises the accuracy in results and time efficiency of the proposed non-sampling method for uncertainty quantification of stochastic systems comparing to sampling procedure (e.g. Monte Carlo simulation).     

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

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

属性偏移辅助实现炮检距域共成像点道集计算

波动方程偏移的成像精度高于Kirchhoff类偏移，且对速度误差更敏感，故舍弃Kirchhoff深度偏移，针对波动方程炮检距域共成像点道集直接进行速度迭代，更具现实意义。为此提出一种基于属性偏移的计算策略，可实现高效的波动方程类偏移的炮检距域共成像点道集计算。通过对地表炮检距调制后的数据再偏移，将该偏移结果与原始数据偏移结果的比值作为各成像点的地表炮检距值；依此将偏移结果重排入所属炮检距段；逐炮依次计算并叠加，最终获得地表炮检距道集。上述两次偏移可纳入成像循环中同时计算，因此只增加了一次检波点波场的传播，计算量仅增加约30%。通过2D、3D模型及实际数据对比，验证了该计算方法的有效性。