车载自组网中可证明安全的无证书批认证方案

车载自组网(VANET)可以有效提高交通安全,但在其大量部署前必须解决安全和隐私问题。为此,提出一个VANET中有效的无证书批认证方案来解决传统基于身份的认证方案中存在的密钥托管问题。系统主密钥不预先装载到车辆的防窜改设备中,减少方案的安全性对防窜改设备的依赖;不采用计算量大的双线性对来减少计算开销;利用批认证算法提高认证效率。安全性分析表明,提出的方案在随机预言模型中是可证明安全的;与以往的方案相比,该方案在计算成本和通信成本方面具有较低的开销,适用于实际的VANET环境。     

微污染源水净化处理工艺的研究

采用混凝沉淀－生物曝气－超滤－消毒组织工艺对含校高浓度氨氮和ＣＯＤＭｎ的污染染水源水进行净化处理的工艺研究。结果表明,在试验条件下,水源水氨氮〈１０ｍｇ／Ｌ时,组合工艺出水的氨氮〈１．０ｍｇ／Ｌ,亚硝酸盐氮〈１．０ｍｇ／Ｌ,硝酸盐氮〈５．０ｍｇ／Ｌ;当水源水ＣＯＤＭｎ浓度的为１１．０－１５．０ｍｇ／Ｌ左右时,出水ＣＯＤＭｎ〈６．０ｍｇ／Ｌ。当向生物曝气池内投加１０ｍｇ／Ｌ粉末活性炭形成炭污泥时,出     

ISO9000与生产许可证

生产许可证制度是我国实施质量管理的一项有效措施。ＩＳＯ 90 0 0是国际标准化组织发布质量管理和质量保证领域的一族标准。在要求建立管理体系上两者有着必然的联系 ,但也存在着质的区别 ,是基本国情、产业政策和民族利益等特殊性使然 ,这就是通过ＩＳＯ 90 0 0质量体系认证的企业未必能取得生产许可证 ,取得生产许可证的企业也未必能通过ＩＳＯ 90 0 0质量认证的原因。那么 ,生产许可证制度与ＩＳＯ 90 0 0有哪些不同点 ?两者是否可以相容 ?一、性质与范围ＩＳＯ 90 0 0属于推荐性标准。组织可根据需要自愿选择采用。我国于 1984年开始实…     

市场经济条件下教育设施规划的失灵、重整与预警—— 谈汕头市龙湖区中小学校布局规划的实践

以汕头市中小学校布局规划为例,从计划经济模式教育设施规划的失灵现象入手,分析其经济、政策、社会、行政原因,探讨市场经济条件下重整教育设施规划的内容和方法．以及建立城市规划预警机制的必要性和可行性。     

改进铸造工艺防止母线裂纹

前言 Preface 水平连铸,又称卧式连铸。其特点在于铸坯与结晶器之间沿水平方向作相对运动,它与立式铸造相比,其最大优点是在铸造产品可能装卸的范围内可将铸件铸得很长,而不需要象立式铸造机那样需要高大的厂房和深井。其设备较简单、投资少、上马快。立式铸造产品长度一般最长为6米,因而生产长度为10～15米的长锭,几乎都用水平方法制造。     

膜截留分子量对污水分置式好氧膜生物反应器处理性能的影响

不同截留分子量超滤膜的好氧膜生物反应器研究结果表明,膜的截留分子量越大,膜表面越易出现浓差极化现象,清洗周期缩短;截留分子量对越滤膜水通量的影响随运行时间增加而逐渐减少;截留分子量对好氧膜生物反应器有机物去除性能影响较小;膜截留分子量不同,生物反应器内的MLSS浓度也会明显不同,该现象的确切原因则有待于实验研究来进一步确定。     

变风量空调系统在国内的应用思考

通过介绍变风量系统的特点和该系统在国内外的发展状况,分析变风量系统在国内的推广应用中存在的问题,并指出其发展方向。加快设备国产化是关键,做好气流组织、系统设计和系统调试。总结变风量系统的发展趋势和技术关键,在推广的过程当中,一定要立足长远发展,对VAV系统要有一个深入、细致、全面的研究,引入模糊控制和神经网络技术优化控制算法。     

边缘计算模式下全同态加密智能合约设计

区块链产生的成千上万的交易信息数据不断被收集到区块链中,会给区块链网络的计算资源和存储空间造成极大负担。为了解决区块链网络计算资源不足和存储空间有限的问题,我们将边缘计算模式应用于联盟链Hyperledger Fabric系统中,在区块链中设计了基于边缘计算模式的智能合约,以提高区块链的存储空间和运行效率。在此基础上,针对区块链存在的数据和用户身份隐私的风险,提出了基于边缘计算模式的全同态加密智能合约。在执行智能合约过程中,调用了微软的全同态加密SEAL库,边缘节点的身份信息和区块链的交易数据受到全同态加密算法BFV的保护,在保持交易数据可计算性的同时,实现了交易信息和边缘节点身份的隐私保护。最后,经过测试和分析,边缘计算模式下的原型系统在14个边缘节点同时访问时的单节点平均访问时间仅为139.68ms,相比于非边缘计算模式下的原型系统具有更好的性能;相比目前响应较快的加密联盟链系统FabZK,本系统平均用时减少35.84%,相比效率提升55.86%。设计的边缘计算模式下的全同态加密智能合约可以有效提高Hyperledger Fabric系统中网络的运行效率,同时减少了对存储空间的要求...     

汽车结构用热轧钢SAPH370的组织与性能

介绍了武钢研发的汽车结构用热轧钢SAPH370的化学成分、性能指标,并对其实物质量进行检验分析。结果表明,SAPH370钢金相组织为铁素体和珠光体,钢质纯净、晶粒细小、具有优良的冷成形性和良好的综合力学性能,加上优异的表面质量,已成功应用于汽车车架等高成型性零件。     

道面除冰液对飞机除冰液影响的研究

介绍了飞机除冰液和道面除冰液的基本知识、法规和标准。通过外观、pH、冰点、黏度等理化指标,研究了道面除冰液对飞机除冰液的影响。研究表明,道面除冰液可使飞机除冰液的黏度降低。