基于树语言逼近的安全协议形式化分析

利用形式化方法或工具自动化分析实用安全协议十分必要,定理证明技术因其可解决无限状态系统的验证备受关注,但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和重写逼近理论为基础,以项重写形式化定义协议模型,以树自动机模拟协议攻击者知识集,给出攻击者知识集可达项逼近求解的算法,并根据上述模型讨论秘密性和认证性的验证方法,最后以Needham-Schroeder公钥认证协议为例验证模型的有效性,并指出下一步研究方向。     

Bi2Te3热电薄膜的电化学原子层外延制备

采用电化学原子层外延法(ECALE)在Au电极上成功地制备了Bi2Te3化合物热电薄膜.通过循环伏安扫描研究Te和Bi在Au衬底上的电化学特性,使用自动沉积系统交替欠电位沉积Te、Bi原子层200个循环获得沉积物.XRD、EDX和FESEM测试结果表明循环沉积200层后得到的沉积物Bi和Te的化学计量比为2:3,且是Bi2Te3薄膜化合物,而非单质Bi和Te的简单混合;薄膜均匀、致密、平整且可重复性好,以(015)为最优取向外延生长的.     

电化学原子层外延沉积碲化铋纳米薄膜研究

本文首次研究了电化学原子层外延(ECALE)法室温沉积碲化铋纳米薄膜的过程.ECALE是原子层外延的电化学模拟.它通过欠电位技术实现电化学沉积过程中的原子级的精确控制,每次只沉积一个原子层厚度,通过沉积循环的控制可以实现对沉积薄膜材料种类和厚度的控制.采用三电极和循环伏安法,分别研究确定了Pt电极上欠电位沉积金属Bi薄膜、Te在Pt电极上欠电位沉积条件以及Bi在Te表面和Te在Bi表面的交替沉积行为及其沉积参数,通过不同电位交替沉积得到Bi2Te3纳米薄膜.对薄膜的氧化剥落及其电量分析结果进一步证明了该薄膜的沉积过程是一种二维层状生长过程.     

黄河海勃湾水利枢纽对西鄂尔多斯国家级自然保护区胡杨岛的影响分析

海勃湾水利枢纽的建设、运行将对西鄂尔多斯胡杨岛旅游区产生不可逆的影响。经调查分析,胡杨岛胡杨种群分布面积为2.31 hm~2,总株数约为1 800株;胡杨种群表现出增长型特征;胡杨林总生物量为95.43 t。海勃湾水利工程运行后胡杨岛的淹没历时延长,淹没水深、淹没面积显著增加,岛北部低矮位置甚至全年淹没。胡杨部分种子可能落入水中被水流携带,丧失了种子繁殖的条件。根蘖产生的不定芽在4—6月生长期也会浸在水下,不能完成无性繁殖。胡杨幼苗树不高于2.5 m,淹没后无法生存。水库淹没将岛上以陆生生态为主的生态系统演变成以水生生态为主的生态系统,原有的旅游功能将发生变化或丧失,须采取生态补偿措施,减免工程造成的生态影响。     

穿行

梧州是有名的山城水都,山青水秀,连接这个城市有很多的桥,"鸳江秀水世无双",无双的江水有了桥梁的映衬,才显得越发的清秀。这天突然想出去散散心,于是骑车去河堤,倚着河堤,望着浩淼的西江水,落日的余辉轻洒在水面上,波光鳞鳞,煞是好看,都说流水无情,夕阳下的西江却也别有一番情趣。远远望去,一桥横架,那是叉河桥,过去便是长洲岛,忽然有个主意,何不试试骑车从叉河桥过去,到长洲岛,穿过西江大桥,再从河对岸骑车过云龙桥,经桂江一桥回来,这样就可以穿行梧州城四座大桥,饱览两岸风光,于是便有了这次穿行。     

花青素酰基化作用研究进展

花青素是一类非常重要的天然食用色素,酰基化花青素因其具有较高的稳定性而成为各国食品科学家的研究热点,本文介绍了酰基化花青素的植物来源、稳定机制以及花青素发展趋势。     

咬牙过关，五粮液完成惊险一跳 价格调整，“酒大王”渐显王者风范

2003年9月，五粮液在中国酒界率先挑起了涨价大旗，一瓶酒几十成百元地涨，说实话，当时看好五粮液涨价的人并不多，关注五粮液的人没有不为它的涨价行动捏一把汗的，而五粮液的竞争对手则在一旁冷眼旁观．等着看五粮液的笑话．媒体间对这次涨价行动更是充满了质疑．几乎没有人认为五粮液的涨价行动能够成功．更多的人认为五粮液会因此“败笔”而大伤市场的元气。     

顶转子装置控制系统设计及改造

介绍大型水利工程主机组一种装置——顶转子装置的结构和工作原理,并针对管理单位在日常运行维护中发现的液压站控制系统存在的技术上的漏洞和该漏洞带来的运行安全隐患给予分析说明。通过该类型大型机组的顶转子系统装置提出了科学有效的解决对策,探索新的液压站控制系统的设计思路,以期达到水利工程设备安全运行的目的。图3幅。     

假病毒标准物质在传染性病毒核酸检测质量控制中的应用

全球传染性病毒的大爆发促进了病毒核酸检测方法的发展和应用.核酸检测结果的量值溯源和质量控制离不开标准物质.理想的标准物质应当可以与临床样本并行使用,实现从核酸提取到最终核酸定性/定量的每个步骤的标准化和质量控制.目前,用作核酸检测质量控制的标准物质多为质粒或体外转录RNA,但其不能控制核酸提取的质量,可能导致假阴性结果.假病毒和真实病毒的物理结构相似,同时具有生物安全性,可以作为一种更加理想的标准物质,参与从核酸提取到扩增整个过程的质量控制.