运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

中国动漫产业存在的问题及分析

21世纪注定是动漫产业横空出世的一个时代。动画经历了漫长的历史,从远古人用静态画记录人体和动物的连续动作,到18世纪末发明了魔术幻灯,直至1913年纽约第一家动画公司的诞生,动画企业吹响了前进的号角。由于动画的高科技、高品位、高投入、高风险、高淘汰和成功作品的高回报的产品特点,现代动画企业生存发展必须具备强劲的竞争力。通过回顾中国动漫发展的历史,分析其发展现状以及存在的问题,寻找到中国动漫产业和动漫企业发展壮大的规律和竞争优势。     

肉猪养殖和屠宰环节沙门菌污染状况监测分析

目的 了解开封市肉猪养殖屠宰加工过程中沙门菌的污染状况.方法 采集不同来源的养殖场猪混合粪便、成年猪肛拭子、胴体涂抹物、肠系膜淋巴结样本,共187份,按照GB 4789.4-2010进行沙门菌的分离和鉴定.结果 猪混合粪便沙门菌检出率为4.5％,肛拭子沙门菌的检出率为16.4％,胴体涂抹物沙门菌检出率为34.5％,肠系膜淋巴结沙门菌检出率为27.3％.不同季节的检出率差异有统计学意义(P＜0.05).阳性分离株分布于沙门菌的5个群,共14个血清型,以阿贡纳沙门菌和德尔卑沙门菌为主.结论 屠宰环节是沙门菌交叉污染的关键点,应采取综合措施,有效控制猪肉沙门菌污染.     

基于ZigBee技术的粮食温度监测系统的优化设计研究

随着当前科技的提升,在粮食仓储中可以应用现代化技术手段,检测控制粮食温度,设计粮食温度检测系统,在ZigBee技术基础上,应用无线传感器网络监测粮食仓储区域内的温度,以实现对粮食温度的多跳上传与实时显示。设计基于ZigBee技术的粮食温度监测系统,不仅可以优化粮食温度控制工作水平,也可以优化粮食温度检测系统性能。不仅提高系统对温度检测的实时性、有效性,还可以降低监测复杂度,有效解决布线复杂、扩展性差的弊端,值得在实际中应用。     

提高凯氏定氮法蛋白质测定速度的研究

研究了用硒粉作催化剂在蛋白质消化中的可行性及最佳用量，实验结果表明，该方法快速、准确，可用于蛋白质含量的测定。     

白瓶啤酒生产的问题与解决措施

白瓶啤酒现在成为啤酒家族的新宠,但随之也出现了一些问题,本文着重解释了解决这些问题的各种工艺措施。     

冰温贮藏中南美白对虾特定腐败菌的分离鉴定及其腐败能力分析

为了分离鉴定南美白对虾在冰温贮藏条件下的腐败菌,并分析其腐败能力的大小。通过冻结实验,确定南美白对虾的冰点,在0℃与冰点之间贮藏南美白对虾,从中分离腐败菌,进行形态学观察和分子生物学鉴定,将分离得到的腐败菌接种至灭菌虾汁中,通过产硫化氢,降解蛋白质,产挥发性盐基氮(TVB-N)的测定衡量腐败能力的大小。结果表明:从南美白对虾中分离得到12株腐败菌,分别是Shewanella hafniensis,Acinetobacter johnsonii,Planoccoccus citreus,Bacillus cereus,Acinetobacter beijerinckii,Enterobacter hormaechei,Arthrobacter bergeri,Bacillus licheniformis,未鉴定出的菌株X1和X10。在冰温贮藏条件下,导致南美白对虾腐败的优势腐败菌依次是Shewanella hafniensis、X1、Acinetobacter johnsonii和Acinetobacter beijerinckii。     

工程项目知识管理中的制度化建设

从对工程项目的动态优化管理和制度化建设的角度出发,说明实施知识管理是工程项目建设持续高效发展的必然要求,并对制度建设进行深入研究.     

膨胀石墨在聚乙烯中阻燃协效作用的研究

以膨胀石墨(EG)与聚磷酸铵(APP)复配组成膨胀型阻燃剂，应用于高密度聚乙烯(PE-HD)中。热分析表明APP／FG的添加使得PE-HD材料的热稳定性增强，降解过程变缓，剩炭率增加。氧指数(LOI)结果表明APP／EG具有良好的阻燃协同作用。扫描电镜(SEM)显示APP／EG的加入可使得PE-HD样品生成连续致密的炭层。同时力学性能研究表明APP／EG对材料的力学性能的影响比其它膨胀型阻燃剂要小。     

Formation of formic acid from glycerine using a hydrothermal reaction

BACKGROUND: Glycerine, a main by‐product of the biodiesel manufacturing process, has potential to be an important biorefinery feedstock with the rapid increase in biodiesel production all over the world. Hydrothermal experiments with glycerine were carried out at 250 °C using H₂O₂ as an oxidant. RESULTS: Glycerine was converted into formic acid with a yield of 31.0% based on the starting mass of carbon in glycerine. A possible oxidation pathway for the formation of formic acid from glycerine is proposed. In the proposed pathway, glycerine may first be oxidised and then decomposed into formic acid and oxalic acid. Oxalic acid was indirectly attributed to the increase of formic acid production from glycerine, but it instead acts as a retardant to prevent further oxidation of formic acid. However, when an alkali was added to the experimental conditions, the yield of formic acid was not greatly improved, reaching only 34.7%. CONCLUSION: The present work should help to facilitate further studies to develop a new green process for the production of formic acid from renewable biomass. © 2012 Society of Chemical Industry