基于SPEAR Ⅱ的Kerberos协议安全性分析

Kerberos认证是云计算安全采用的信息安全技术之一,对Kerberos协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具SPEAR Ⅱ对Kerberos协议的安全性进行了分析。首先设计了窃听、重放和篡改攻击场景并分析了以上场景中通信主体的特点,在此基础上提出推理假设,然后通过SPEAR Ⅱ中基于Prolog的分析引擎从协议假设条件推导到协议目标。结果表明,Kerberos协议可以抵抗窃听和重放攻击,保护合法用户密钥的安全,但在篡改攻击下,若信任主体被攻陷,则攻击者可以通过伪造密钥骗取合法用户的信任,并与合法用户建立通信。     

基于多知识源融合的级联式常识问答方法

常识问答是一项重要的自然语言处理任务,旨在让模型结合常识对给定的问题进行解答。然而,现有模型容易受到知识源中噪声知识的干扰,且对多知识源的融合与利用不够充分,所以问答效率低。为此,文章从筛选知识和利用多知识源的角度出发,提出了由多知识源信息获取和多通道融合推理级联而成的常识问答方法。该方法首先从多个外部知识源检索或匹配知识,再根据贪心筛选策略对噪声知识进行过滤,最后利用多个编码通道对知识和问题进行编码,融合各知识源不同类型的信息并推断出答案。算法在数据集Commonsense QA上的结果表明,本文方法在测试集上取得了78.3%的准确率(Accuracy),与不引入外部知识和引入多种外部知识的两个基线方法相比,分别提升了4.8%和3.0%。表明文章提出的知识筛选策略能有效地过滤噪声,且多通道信息融合推理框架能充分融合多知识源的信息进行常识推理。     

水泥—乳化沥青混合料配合比设计

推荐了适于水泥—乳化沥青混合科这种新型半柔性路面材料特点的实验方法,并介绍了其配合比设计方法.     

HACCP在米糠挤压稳定化中的应用

应用HACCP(危害分析关键控制点)原理,通过对生产工艺流程的分析,从中确定可能存在的危害,并制定了相应的控制措施。为了确定挤压膨化关键控制点的控制措施,并达到延长米糠保质期的目的,在四因素五水平实验的基础之上,经正交旋转组合实验设计,根据对挤压后的脂肪氧化物酶残余酶活含量、过氧化物酶残余酶活含量的分析,确定了挤压的较佳稳定化条件为:机筒温度137℃,物料含水量23%,螺杆转速130r/min,模口直径8mm。通过HACCP体系的建立,确定了米糠挤压过程中的关键控制点,确定其3个关键控制点为原料验收、挤压膨化和成品包装。针对3个关键点建立了HACCP计划表,并建立了关键限值、监控措施、纠偏措施,同时建立了验证程序、记录保存制度,从而确保米糠加工过程中的稳定性和安全性。     

浅谈在科学教育中培养小学生的探究能力

当前,我国传统科学教育对培养儿童的探究能力不够重视,在小学科学课堂上,学生接受更多的是练习性和验证性探究,而不是探索性和创造性探究,儿童先天的科学素养经常被忽视,从而使科学教育达不到应有的实效.在课堂外,各类科技馆开展的科学教育活动弥补了课堂教学的这一不足,这些活动通过科学探究让学生掌握科学的基础知识和原理,树立良好的思维品质,从而全面提升小学生的科学素养水平.该文结合课内外教学实例,提出了在科学教育活动中培养儿童探究能力的主要途径,如创设情境、小组合作学习、实验教学等,以全面提升小学生的科学素养.     

8.0kbit／sACELP声码器的GSM平台仿真

研究恶劣传输环境下８．０ｋｂｉｔ／代数码激励线性预测声码器的译码算法的改进及其在ＧＳＭ典型信道的传输性能。方法在集成软件仿真平台中引入稳信道编码模块,以消除衰落噪声和高斯噪声的影响,并完成ＡＣＥＬＰ声码器到ＧＳＭ全速率语音业务信道（ＴＣＨ／ＦＳ）的速率适配任务;在ＡＣＥＬＰ译码器中引入错误帧隐藏单元（ＥＣＵ）,以提高恶劣信道环境下的合成语音质量。结果与结论错误隐藏单元与相应的高效稳健的信道编码相结     

内置转子太阳能集热管流动与传热特性的数值模拟研究

通过数值模拟方法模拟了非均匀加热工况下内置两叶片转子和低流阻转子的太阳能集热管的流动与强化传热特性,得到了集热管内的温度分布、湍动能分布、努塞尔数以及阻力系数等参数,并通过综合性能评价因子(PEC)对内置转子集热管的综合强化传热性能进行了衡量。结果表明：内置转子后,管内流体的温度分布更加均匀,并且升温速率明显提升,若控制出口温度一致,则内置两叶片转子集热管的长度相较于光管可减少46.15%;内置两叶片转子和低流阻转子集热管内的努赛尔数和阻力系数相较于光管均有明显提升,其中内置两叶片转子集热管提升幅度较大,努赛尔数和阻力系数相较于光管分别提升94%～190%和308%～449%;通过PEC对两种集热管的综合强化传热性能进行衡量,两种集热管的PEC值均大于1,内置两叶片转子集热管具有最大值1.82。     

新型研发机构促进成果转化的实践探索——以浙江省实验室为例

新型研发机构的优势在于创新体制机制,整合多种创新资源,加快成果转移转化。浙江率先布局省实验室,培育战略科技力量,促进创新链产业链深度融合,引领产业实现高质量发展。本文聚焦浙江省实验室成果转化实践,分析加快成果转化的实现机制,提出构建创新生态体系、健全收益合理分配、发展实验室经济等政策启示。     

环糊精键合凝胶介质分离纯化黄酮类化合物

本文探讨了利用环糊精键合凝胶介质分离纯化葛根素、表没食子儿茶素以及槲皮素、山奈酚和异鼠李素.采用7%醋酸作为流动相,寡聚β环糊精键合Sepharose HP介质,可以从葛根黄酮中分离葛根素,制备得到葛根素的纯度大于97%,整个制备工艺收率为32.4%.该介质同样还能够在甲醇-乙酸乙酯-水-醋酸(30:30:30:10)的条件下分离茶多酚中的表没食子儿茶素.采用β环糊精键合Supersoe12pg介质,甲醇-0.1mol/L醋酸钠(80:20)流动相可以从银杏黄酮水解液中分离3种主要苷元:槲皮素、山奈酚和异鼠李素,且它们的纯度均大于90%.表明该介质具有一定的通用性.以葛根素为例探讨了环糊精键合凝胶介质分离黄酮类化合物的机理,表明氢键作用和疏水作用共同支配着分离过程.     

原子力显微镜技术及其在细胞生物学中的应用

从原子力显微镜的发展、特点、操作模式以及联用技术等方面对原子力显微镜技术作了简要的介绍, 从细胞固定方法、细胞成像、力检测以及细胞操纵等方面综述了原子力显微镜技术在细胞生物学方面的应用, 并对原子力显微镜技术的发展进行了展望.