一种基于CAFL模型的抗弹性泄露密钥交换协议研究

抗弹性泄露密钥交换协议的最初目标就是将存储秘密泄露的危害降到最小,为此Alawatugoda等人提出了基于CAFL安全模型的π协议。该协议在被动攻击下即使一方长期密钥泄露仍是安全的,但在主动攻击下如果一方临时密钥泄露则是不安全的。Toorani等人在2015年给出了对该协议的临时密钥泄露攻击方法。文章针对该安全隐患,在CAFL模型下基于DDH假设和CDH假设对π协议进行了改进,实现了协议参与双方的显式认证。在安全性方面,对其在标准模型下以牺牲较小计算代价获得强安全性进行了证明。此外,文章对π-1协议和π-2协议的计算代价和安全性进行了分析和讨论。

基于GA与VB求解设施布置问题的研究

设施布置设计一直是制造工业中最关键和最困难的设计任务之一,计算机辅助设施布置为设施布置设计提供了强有力的支持和帮助,其软件所用的算法也成为研究的重点。GA作为一种人工智能技术,以其算法的优越性,为设施布置软件提供了功能强大的新算法。利用VB编制软件,实现了设施布置的计算机化。

国内计算机辅助外语教学研究文献计量分析——以《外语电化教学》(2009-2013)载文为例

运用文献计量学的方法,对《外语电化教学》近几年(2009-2013)刊发的所有与计算机辅助外语教学相关的学术论文为研究对象,定量地从载文、作者以及引文等几个方面统计分析了该刊的文献计量学特征,归纳出该刊的特点和发展规律,为其今后的发展提供参考数据,同时也为我国计算机辅助外语教学研究者提供有用的信息参考。

聚合酶链反应在口岸鼠疫监测中的特异性和敏感性试验

目的利用UDG防止聚合酶链反应(PCR)的产物污染,以2个不同基因为靶序列,设计了3对引物进行PCR扩增。方法用不同的模板考察方法的特异性和灵敏性。结果该方法可以特异性的检出鼠疫菌,对于DNA模板,检测灵敏度可以达到7CFU。结论PCR技术是一种快速、敏感、特异性很高的方法。

词义的动态性与对外汉语词汇教学

动态性是词义的基本属性之一,它主要体现在共时和历时两个维度上。研究词义的动态性并在对外汉语词汇教学中加以应用,结合语境和认知因素进行教学,将有助于提高教学效果。

鼠疫耶尔森菌carf1基因的克隆表达及其产物免疫学评价

目的表达具有免疫学活性重组F1抗原（rF1），并以其构建检测鼠疫抗体胶体金试纸条。方法将去掉信号肽编码序列的caf1基因片段与载体质粒pET32a（＋）通过BamHl和NotⅠ双酶切位点进行连接，将重组质粒[caf1-pET32a（＋）]转化入BL21（DE3）中进行诱导表达，表达产物经亲和层析纯化，以纯化rF1及天然F1抗原制备双检测鼠疫抗体胶体金标试纸条，并对浙江省528份人血清标本进行检测。结果含caf1-pET32a（＋）的BL21（DE3），经诱导产生相对分子质量（Mτ）约为35．5×10^3的rF1融合蛋白；rF1融合蛋白检测鼠疫抗体的敏感性等同甚至超越天然F1抗原；在528份人血清标本的检测中，rF1与天然F1的符合率为97．9％（κ=0．466），有较好一致性。结论制备的rF1，具有良好免疫学活性，该rF1可替代天然F1抗原，用于鼠疫免疫学检测。