基于任务驱动和深度学习的信息安全课堂教学实践研究

针对信息安全密码学课程教学中学生热情不高、缺乏学习主观性和创造性的状况,提出基于任务驱动和深度学习理念的教学模式,并以"秘密共享及构造方法"一节为例,阐述如何创设真实的情境,设计具有针对性、梯度性的学习任务,不断优化学习活动,充分激发学生的学习兴趣,增强课堂参与意识,深层次理解和内化学习内容,最终培养学生的信息安全实践能力和创新应用能力。     

前向安全的格上基于身份签密方案

针对目前基于格的签密方案尚不能满足前向安全性,提出一个具有前向安全的基于身份的签密方案。首先,该方案利用格基授权算法对用户和发送者的公私钥对进行更新;其次,结合基于格上错误学习问题的原像采样算法进行用户签名,并利用包含签名信息的哈希值对消息进行加密。在随机预言机模型下,证明该方案是适应性选择身份和选择密文攻击安全（IND-sID-CCA2）和强不可伪造选择消息攻击安全（sUF-CMA）的,同时证明了该方案具有前向安全性。相对于基于配对的签密方案,所提方案在计算速度和密文扩展率的优势都较为明显。     

条件型非对称跨加密系统的代理重加密方案

为了减轻云应用中移动设备解密的负担,利用基于身份的广播加密（IBBE）、基于身份的加密（IBE）、基于身份的条件型广播代理重加密方案,提出了多条件型非对称跨加密系统的代理重加密方案。该方案允许发送方将信息加密成IBBE密文,一次性发送给多个接收方,其中任一接收方又可以授权给代理者一个多条件型的重加密密钥,代理者利用该多条件型重加密密钥,能将符合多个条件的原始密文重加密成一个新的接收方可以解密的IBE密文。该方案实现了从IBBE加密系统到IBE加密系统的非对称代理重加密,而且代理者可以根据条件将最初的原始密文进行重加密,避免了不需要进行重加密的原始密文被代理者重加密,提高了代理者重加密的效率,同时节约了接收方获悉正确明文的时间。     

原煤仓卸料时动态力场的离散元数值模拟分析

为寻求原煤仓壁面宏观变形、裂缝现象的内在机理,采用离散单元法模拟了电厂原煤仓的卸料流态及卸料过程中仓体壁面的动态受力情况及物料内部的压力分布网络.模拟结果表明:简体中同一水平层处的颗粒流速基本相同,而锥体中颗粒的原有层面呈不均匀下降,在流动过程中,每下降一个微小高度,颗粒位置都要进行重新排列,中心处颗粒流速较大,靠近壁面处颗粒流速较小.整体流动状态时原煤仓筒体法向受力远大于切向受力,压力拱的形成使得简体和锥体壁面所受压力增加.因此,削弱峰值压力及破坏拱结构是减少原煤仓变形和裂缝的两个重要因素.     

基于理想格的鲁棒门限代理重加密方案

代理重加密能够实现解密权限的转换,而鲁棒门限代理重加密（Threshold Proxy Re-Encryption,TPRE）不仅支持安全灵活的转化控制,而且支持转化密文的合法性验证.本文利用理想格上工具构造了一种TPRE方案,采用Shamir秘密共享实现门限控制,采用格上同态签名技术实现鲁棒性,可完全抗量子攻击.新方案与标准格上方案相比,密文尺寸小、密钥份额短、计算速度快;基于PRE和TPRE安全模型的差异,证明对TPRE的攻击多项式时间内可转化为对基础PRE方案的攻击,安全性可规约为R-LWE（Learning With Errors over Ring）困难假设;新方案适用于在去中心化环境中实现密文访问控制,可用于基于区块链网络的文件共享和多域网络快速互联等场景.     

密码应用与实践课程建设探讨

融合密码学发展的成熟技术,结合实践应用场景,建立了包含基础实验平台、实训平台和创新应用平台的三层次密码实践环境,提出任务部署、理论讲授、实践操作、分组讨论和撰写报告五阶段教学法,重点培养密码实践技能、密码应用方案制定和密码问题解决的能力。     

用B样条曲线拟合通风机性能曲线

开发了一种用B样条曲线实现通风机性能试验计算机辅助数据处理系统。程序基于Windows环境，采用Visual Basic6.0开发，能够自动保存、处理实验采集的数据文件，形成直观的性能曲线供用户输出。同时具有良好的人机对话界面，满足不同风机性能的测试需求。     

薄壁机匣结构复杂冲击载荷与等效试验方法研究

航空发动机机匣属于典型薄壁框架结构,针对断轴后其承受的由涡轮转子的轴向冲击与周向扭转冲击构成的复杂冲击载荷,建立了包含涡轮转子与排气机匣等关键部件的数值仿真模型,以仿真结果中排气机匣的复杂冲击载荷与能量耗散为切入点,获得了复杂冲击过程中二者的动态响应;指出在涡轮转子的高速旋转与轴向移动复合运动因素中,初始转速对冲击载荷与能量耗散无明显影响;进一步转换涡轮转子与排气机匣的相对运动关系,分析结果表明,转换后的冲击载荷和能量耗散结果与转换前保持高度相似。在后续的等效试验方法中,这些研究结论可成为简化试验台结构设计的参考。     

引进的离心式压缩机运行分析

介绍了CENTAC—CMX280型离心式空压机在运行几年中出现的问题。提出了改进措施，并通过科学合理的维护模式来稳定风机的运行，提高了风机的技术和经济性能。     

基于Windows的通风机性能试验数据处理系统

根据GB/T1236-2000标准的要求,开发研制了一种基于Windows窗口的通风机性能试验计算机辅助数据处理系统,详细介绍了处理系统软件采用的设计思想,界面与程序编写过程.实例应用证明,所开发的这一风机性能辅助数据处理系统,与传统的测试方法比较,具有方便、迅捷和计算准确的特点.