NetBill协议的形式化描述及分析

通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求.     

红外线加热炉温度PID控制及优化

为了将红外线加热应用于连续退火实验,要求对红外线加热的温度进行有规律的控制·主要介绍所采用的PLC控制理论算法,包括系统辨识、比例积分微分参数整定及优化设计·通过PLC对红外线快速加热炉温度的控制,实现了对试样的快速加热和冷却及温度升降的循环控制,而且升降时间和速度可精确调整,经实际应用取得了良好的效果·     

基于TV与gamma范数的非凸秩近似在矩阵补全中的应用

现实生活中,由于运动模糊、光学模糊等因素的影响,获取的图像往往是模糊、不完整的,即图像内容质量下降、细节特征被掩盖,从而影响图像的视觉效果及应用.矩阵补全(Matrix Completion, MC)的目的是将获得的模糊、不完整图像以最大的保真度恢复出完整清晰的图像.该文采用gamma范数代替传统的核范数作为秩函数的非凸近似,与核范数比较,gamma范数大大减弱了大奇异值的贡献,使得较小奇异值的贡献接近零;同时引入全变差(Total Variation, TV)正则项保留图像本身真实的边缘信息和细节信息,从而避免恢复出的图像过度光滑;接着,应用增广拉格朗日乘子法求解模型;最后,通过数值实验验证文章提出的算法较现有求解矩阵补全的算法更高效.     

中低纬度下惯导极区性能模拟测试方法

针对惯性导航系统极区性能试验难以实地开展的问题, 研究了一种模拟测试的方法, 并基于横向坐标系编排给出了以组合导航系统作为测量基准的惯导模拟测试方案。首先分析了模拟测试技术研究的必要性, 然后根据轨迹形变最小原则详细推导了基于横向坐标系编排的极区模拟测试转换公式, 之后针对测试中采用不同基准的情况, 提出了相应的惯性测量单元(inertial measurement unit, IMU)转换算法, 并提出以惯性导航系统/全球导航卫星系统(inertial navigation system/global navigation satellite system, INS/GNSS)为参照基准的一种具体测试方案, 最终完成了仿真实验, 验证了模拟测试理论的正确性。结果表明, 在基准误差不计的情形下，试验导航参数误差与惯导实地横向编排解算误差相当。初步验证了所提方法替代极区实地试验进行精度性能评估的可行性, 为后续极区模拟测试评估研究奠了定理论基础。     

“中国梦”视域下高校社会主义核心价值观教育探析

当代大学生的价值观既是大学生全面发展的需要,也是我国社会长治久安的政治选择。“中国梦”的提出是对高校核心价值观教育的丰富与创新,用“中国梦”来引领大学生的价值观教育,既能准确把握“中国梦”的科学内涵,也能提升高校价值观教育的针对性和实效性,引导当代大学生正确地理解“中国梦”,理性地建构“中国梦”,不懈地追逐“中国梦”。     

白腐菌产漆酶的发酵条件研究

漆酶(E.C.1.10.3.2)是一类含铜的氧化还原酶,其可以催化对苯二酚(也叫氢醌)氧化生成对苯醌,也常被称为对苯二酚氧化酶。漆酶一般存在于真菌和植物中,由于具有较高的稳定性和较好的底物专一性,在印染和环境有机毒性化合物的降解、专用生物传感器的构建、以及造纸领域有机废弃物的生物加工利用等方面具有实际工业应用。考察了白腐菌的培养和产漆酶条件,对白腐菌产漆酶的培养条件和培养基进行了优选。结果显示,以小麦皮为碳源,硫酸铵和尿素为氮源,白腐菌生长产酶的适宜培养温度为28℃,pH值为3.5~6.0,培养基的C/N比以20合适。当培养基中添加一定的木质素沉淀物和葡萄糖时对白腐菌液体发酵产漆酶具有明显的促进作用,菌体发酵液中加入10 g/L的葡萄糖、6 g/L木质素时发酵产漆酶的活力达到最大值。     

考虑翻箱作业时出口箱堆场作业调度优化

基于出口箱的堆场操作实务,考虑堆场起重机取箱作业的现实约束,以作业过程中翻箱次数最少为目标,对堆场作业调度问题进行建模,提出了两阶段混合动态规划算法,将启发式规则嵌入动态规划算法中,以避免出现状态数"组合爆炸"增长的情况.通过仿真算例,并与实际调度规则及现有研究方法所得调度方案进行对比,验证了模型以及优化算法的有效性与实用性.结果表明,所提出的模型和算法可以在较短的求解时间内获得多组装船方案,且其翻箱次数显著降低.     

EEMD结合能量特征和小波降噪的轴承故障诊断

为解决在强背景噪声条件下滚动轴承故障诊断问题,开展基于能量特征和小波降噪的总体经验模态分解(EEMD)研究。首先以仿真信号为研究对象,对其进行总体经验模态分解,得到9个固有模态函数(IMF)和1个余项( Res),然后考虑各模态函数的能量特征,将分解后的9个IMF分量与原始信号的能量比作为判断标准,剔除附加5个低频分量,最终得到4个有效的IMF分量和1个余项,与仿真信号相符。在仿真信号分析的基础上,对含噪声信号的滚动轴承故障信号进行故障诊断试验研究,采集信号经小波降噪后,利用总体平均经验模态分解并结合能量特征,得到3个IMF分量和1个余项,然后对3个IMF分量进行包络谱分析,提取故障特征频率157.5 Hz,与滚动轴承故障内圈特征频率157.9 Hz相比,误差为0.25%,说明该方法能很好地提取含有噪声信号的轴承故障信息。该研究为强背景噪声下滚动轴承故障信息的提取提供了一种有效的方法。     

氯化氢催化氧化反应器材质研究

选取哈氏C-2000、哈氏C-4、Inconel600、Incoloy825、316 L、Ni-6及纯Ta等7种有代表性的金属材料,开展了耐腐蚀性评价实验。根据实验前后挂片失重率与厚度变化情况及挂片在催化氧化反应体系中的腐蚀速率,确定了不同金属材料在氯化氢催化氧化反应体系中的耐腐蚀性。实验表明,Ta耐腐蚀性能最好,耐腐蚀率为0.309 3 g/(dm2·月)、0.053 0 mm/年;其次为Inconel 600,耐腐蚀率为0.566 8 g/(dm2·月)、0.230 2 mm/年。     

矩形盾构管片拼装机同步控制系统的设计

针对矩形盾构管片拼装机拼装拱顶块和拱底块时需要同步控制两台机械手的问题,设计了基于CAN(Controller Area Network)总线的同步控制系统并采用同步PID(Proportion Integral Derivative)算法实现对同步误差的控制.对同步控制系统的工作原理以及系统的网络架构做了分析.建立了矩形盾构管片拼装机两台机械手沿径向的立柱同步升降和沿轴向的同步拼装头移动同步控制系统的仿真模型,并对这两个动作的同步PID控制性能进行仿真分析.通过矩形盾构管片同步立柱升降和同步拼装头移动的实验对同步控制性能进行验证,结果表明,同步PID算法可减小同步误差并将立柱升降同步误差控制在±3 mm之间,拼装头移动同步误差控制在不超过±1 mm,显示了同步PID控制在矩形盾构管片拼装过程中的有效性与可实现性.