OTR方案的量子周期攻击与量子截断攻击

OTR方案是2014年欧密会上提出的著名AE体制密码.由于具有快速和紧凑操作等特点,OTR具有很好的应用场景. Kaplan等人在2016年美密会提出一种基于旋转值的构建Simon函数方法,实施对CBC-MAC、PMAC、GMAC、GCM和OCB等密码方案的量子周期攻击.本文修改了该方法中随机数的假设条件,提出一种基于不同函数的Simon构造方法,构建了OTR方案上的Simon周期函数.此外,根据量子截断技术提出了一种针对OTR方案关联信息的伪造攻击.     

基于本体的Petri网模型转换方法

在现有的UML到Petri网模型转化规则的基础上,引入本体将其作为各种模型到Petri网模型之间转化的桥梁,研究各种模型到Petri网的通用转化方法.为每个模型包括Petri网模型建立本体,再根据基于分类树的本体映射建立模型转化步骤.通过计算不同模型中概念的相似度建立不同模型中概念的对应关系,完成模型转化.     

氨基化棉短绒纤维素的制备和性能

以棉短绒,甲基丙烯酸缩水甘油酯(glycidyl methacrylate, GMA)为原料,采用自由基共聚合成纤维素聚合物(cellulose-g-GMA),再利用乙二胺(EDA)进行化学修饰,制备了氨基棉短绒纤维素复合材料(cellulose-g-GMA-EDA)。通过红外光谱(FT-IR)、扫描电镜(SEM)、热重分析(TG)、X射线衍射分析(XRD)和元素分析等手段对其结构表征,并进一步研究了产物对二甲酚橙染料的去除率和吸附量。实验结果表明:棉纤维素分子中引入了氨基,成功合成了氨基棉短绒纤维素,接枝聚合物Cellulose-g-GMA的环氧值最高达2.79 mmol/g,在m(cellulose-g-GMA)∶m(EDA)=2∶5,反应温度为100℃,反应时间为11 h的条件下,得接枝率为55%的氨基纤维素吸附材料,对二甲酚橙染料去除率达89.7%,吸附动力学符合准二级动力学模型,吸附等温线符合Freundlich模型,最大吸附量为7.2 mg/g。     

用天然石膏制备硫酸钙晶须的研究

以天然石膏为原料,采用水热法制备硫酸钙晶须。以电镜作为分析硫酸钙晶须直径的手段,得出硫酸钙晶须的最优化工艺条件为:反应温度为130℃、料浆初始pH为10.0、料浆质量分数为5%、原料粒度小于122μm、反应时间为1.5 h。在此条件下,制备出了平均直径为1.32μm、长径比为76~90的硫酸钙晶须产品。中试试验结果显示,以天然石膏为原料制备硫酸钙晶须的长径比和直径与以纯石膏为原料制备的硫酸钙晶须相当。得出的结论对硫酸钙晶须的工业化生产具有重要的指导意义。     

三维打印快速原型机技术分析

快速成型技术是综合计算机、激光、新材料、CAD/CAM集成等技术而形成的一种全新的制造技术,是高科技的产物,技术含量较高。本文介绍了三维打印机的工作原理及各部分的组成,并对机械系统、数控系统、分层软件和成型材料等4个方面进行了技术分析。该成型机成型速度快;采用标准打印头;支持多种材料;支撑材料粉末可以重新利用,材料浪费极少;操作简单。     

水力喷砂射孔压裂技术在试油工艺中的实践

近年来,随着我国经济水平的不断提高,我国试油工艺技术也得到了迅猛提升。其中,水力喷砂射孔技术作为采油方式中最重要的一种,可以解决低渗致密油藏、薄油层和有污染的井的射孔作业的问题,可以完成套管完井、筛管完井及裸眼井的射孔压裂作业及低渗油藏及水平井的压裂的改造。同时,水力喷砂射孔压裂技术也是可实现压裂,射孔及排液联作的新型工艺技术。其根据油田储层特点,通过应用能加快试油进度,减少油气层的污染,有利于认识油气层,为该项工艺技术的进一步推广应用储备了实践经验。目前,虽然该项技术尚处于起步阶段,但是其潜力是不可忽视的,因此,本文着重探讨在试油工艺中水力喷砂射孔压裂技术的实践相关问题。     

浅析金属矿山选冶车间电气管理

根据多年选冶厂的管理经验,指出选冶厂电气误操作的常见原因,对常见电气设备问题进行分析,并提出管理对策,对电气设备的管理制度进行完善。     

自动生成术语的软构件刻面分类法

提出基于关系的软构件分类方法,据软构件刻面分类法的特点改进了自组织特征映射神经网络聚类算法,以克服原有的聚类结果与输入样本次序有关和网络结构需要预先确定的缺点。将改进后的聚类算法与刻面分类法相结合,在同一刻面下利用改进的SOM聚类算法对构件的描述信息进行分类,以聚类的中心作为刻面的术语,从而实现术语空间的自动建立和优化。在软构件的描述信息中加入构件之间相互关系的描述,以便聚类算法在处理聚类边界时将连接关系较紧密的构件归为一类。     

基于PLC的粽子蒸煮自动控制系统

结合粽子蒸煮自动控制系统的设计与开发,介绍了在传统食品加工领域引入现代控制系统的设计思想和实现方法。给出了基于PLC对粽子蒸煮过程温度、压力和时间等参数进行自动控制的系统硬件组成,并就温度这一大惯量的PLC控制实现提出了模糊控制和PLC实现方法。从技术上保证粽子蒸煮过程的稳定性、提高食品的加工品质、节约生产成本。     

LTS仿真模型组合验证方法

为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。