可证明安全的后量子两方口令认证密钥协商协议

口令认证密钥协商可以在客户机和服务器之间建立安全的远程通信,且可以将一个低熵口令放大为一个高熵的会话密钥。然而,随着量子计算技术的快速发展,基于大数分解和离散对数等经典数学难题的PAKA协议面临着严峻的安全挑战。因此,为了构建一个高效安全的后量子PAKA协议,依据改进的Bellare-Pointcheval-Rogaway(BPR)模型,提出了一个基于格的匿名两方PAKA协议,并且使用给出严格的形式化安全证明。性能分析结果表明,该方案与相关的PAKA协议相比,在安全性和执行效率等方面有一定优势,更适用于资源受限的物联网(Internet of Things, IoT)智能移动设备。     

基于移动Agent的分布式个性化推荐系统

目前推荐系统在处理信息过载问题方面已经得到了广泛的应用,同时也提出了许多推荐方法,但是并没有一种统一的、最好的方法能适应于所有的环境.为此,本文引入了移动agent思想,提出了一个基于移动Agent的分布式个性化推荐系统架构--MABDPRS.该系统允许多种推荐方法同时为用户生成推荐,并能协同它们共同工作,从而能够弥补单一推荐方法的不足,满足多种推荐需求.     

频域分析法在可控硅整流电源中的应用

可控硅整流电源是一种电子控制式弧焊电源。它的性能取决于主电路和触发控制电路，主电路主要是电抗器及其参数的影响，而触发控制电路则取决于同步移相信号的形式及反馈电路。本文利用频域分析法分析了反馈控制电路的型式与电源性能的关系，并利用计算机仿真技术对其进行研究。     

市政工程高边坡防护施工工艺

文章以紫荆山南路地道工程为例,阐述了当前路基高边坡防护施工工艺的基本原则及路基高边坡稳定性的影响因素,并对高边坡防护施工工艺及注意事项进行了分析研究,保证了工程整体质量.     

基于改进BP神经网络的公共市政工程质量评估模型

基于改进BP神经网络提出一种公共市政工程质量评估模型,并对构建过程展开研究,顺利完成了模型研究操作.实验结果表明,其评估参数准确度高,评估准确率相较于传统模型研究的评估准确率高15％.     

PLC在电站输煤程控系统中的故障诊断

输煤系统是电站的一个重要组成部分.根据电站的实际情况,在输煤系统自动化控制中采用了PLC实现对生产设备的自动检测与控制.     

方庄物业公司首次荣获市物业行业UKAS认可标志的质量管理体系认证证书

2003年11月24日,北京城市开发集团方庄物业公司首次荣获带有英国皇家认可委员会(UKAS)认可标志的质量管理体系认证证书。这标志着该公司通过ISO9001:2000标准质量管理体系持续有效地运行,是物业管理水平在质和量上又上了一个新的台阶。方庄物业公司是全国物业管理一级资质企业,     

圆筒煤仓仓下部分瓦斯分布规律研究

为掌握长平煤矿选煤厂圆筒煤仓仓下部分瓦斯分布规律,了解其主要影响因素,依据质量、动量、组分守恒定律建立数学模型,采用Fluent软件对其进行模拟分析。研究表明:由于内砼檐结构的影响,煤仓仓下通风不畅,当环境风力等级较低或冬季通风窗关闭后,仓下部分处于微风状态,瓦斯浓度普遍超过安全浓度范围,严重影响选煤厂的安全生产。该研究有利于深入认识圆筒煤仓仓下瓦斯积聚原因和分布规律,为选煤厂及时制订安全防范措施提供理论依据。     

应用损失控制理论,做好人工挖孔桩安全监理工作

人工挖孔桩，因施工工艺危险，已被广东省建设主管部门列为限制使用、逐步淘汰的基桩形式。所以，在尚且使用的工程中，做好施工阶段的安全监理工作就显得尤为重要。     

三自由度模拟运动平台洗出算法研究

为解决经典洗出算法无法在三自由度模拟运动平台上得到很好应用的问题,提出了一种适用于两转一移并联运动平台的新洗出算法。首先建立3-PRS并联机构的运动学模型,其次通过引入牵连运动线速度与欧拉角角速度转换矩阵设计一种新的洗出算法,最后在MATLAB/Simulink中建立人体前庭系统模型和新洗出算法的仿真模型,并进行仿真分析。结果表明,本文提出的三自由度平台洗出算法行之有效,并具有与经典六自由度平台洗出算法相近的动感模拟逼真度。