电晕放电的杀菌机理研究

为研究空气电晕放电等离子体的灭菌机理,采用针-环结构负电晕放电产生大气压低温等离子体,确定了等离子体中各种可能的活性成分,并研究了这些活性成分（紫外线、带电粒子、中性活性物质）的杀菌效率.结果表明,单独的紫外线和臭氧都具有较好的杀菌效果,但二者的联合杀菌作用并不是简单的协同作用;负电晕放电中的中性活性物质起主要杀菌作用;带电粒子起到辅助杀菌的作用,但电晕风中单独的带电粒子几乎没有杀菌作用.提高中性活性成分是提高电晕放电灭菌效果的关键之一.      

WebView组件漏洞自动化检测与验证方法

Android系统WebView组件应用广泛,相关漏洞危害大、影响广,但现有依赖静态匹配敏感函数的检测方法存在漏洞误报率高等问题.为此,本文提出了基于静态分析与动态验证技术融合的WebView组件漏洞自动化检测与验证方法,通过对漏洞可疑点进行可达性分析,避免对不可达路径的无效动态遍历,提高了分析效率;将数据依赖分析与模拟真实攻击行为的动态验证相结合,及时判断漏洞触发的真实性,降低了误报率.已实现原型工具XWebViewDigger并测试了80个Android应用,检出并验证18个应用存在漏洞,与现有方法相比,误报率有效降低.      

从北欧瑞典设计看设计中的幸福元素

文章通过对瑞典的设计.来体验瑞典设计中的幸福元素,我们在斯堪的纳维亚设计的大环境下梳理欧洲瑞典设计,可以说这种感受幸福的产生同样是源于人本的思想,北欧瑞典的设计观念将对我们解决设计中的纰漏具有一定的启示性.     

基于治理的“负责任创新”柔性模式研究

“负责任创新”是多主体参与科技创新评估预见、反思整合、协商对话与监督反馈的开放迭代过程,依据社会需求对科技创新活动进行规范性引导,以实现科技创新与经济、社会和环境的良性互动。构建“负责任创新”柔性模式,是在科技创新与治理领域形成以弘扬“可持续发展”理念和“责任文化”的价值取向;倡导多主体在平等对话与交流互动中实现责任共建与协商共治;创新整合并灵活运用治理工具以提升治理效能;建立以责任为导向的多主体政策学习机制,助力我国科技治理能力现代化建设。     

基于路径分析和迭代蜕变测试的Bug检测

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。     

一种基于同多钼酸盐支撑化合物{[Zn（phen）2]2(γ-Mo8O26)}的合成及其结构表征

本文采用非水热法合成了一个基于同多钼酸盐支撑的化合物{[Zn(phen)2]2(γ-Mo8O26)}(phen=1,10-phenanthroline),并采用红外光谱、热重分析以及单晶X射线衍射等方法对此化合物进行了表征。结果表明,目标化合物{[Zn(phen)2]2(γ-Mo8O26)}中包含一个[γ-Mo8O26]4-阴离子基团与两个[Zn(phen)2]2+配位单元;该化合物通过C-H...O氢键把phen和[γ-Mo8O26]4-阴离子紧紧连接起来,形成了一个三维的超分子结构。     

医用不锈钢表面TiN薄膜的组织结构和力学性能研究

为改善医用不锈钢的耐磨性,采用反应磁控溅射在304不锈钢表面沉积了TiN薄膜,研究了Ti过渡层沉积时间对TiN薄膜微观结构和力学性能的影响。通过Ｘ射线衍射仪、扫描电子显微镜、纳米压痕仪、FST1000型薄膜应力测试仪、HSR-2M摩擦磨损试验机和WS-2005型涂层附着力自动划痕仪对样品进行微观组织表征和力学性能测试。结果表明,当Ti过渡层沉积时间为20 min,Ti过渡层厚度为340 nm时,TiN薄膜结晶性最强,硬度和弹性模量达到最大值,分别为21.6 GPa和327.5 GPa,平均摩擦因数达到最小值0.45,临界载荷达到最大值24.7 N,TiN薄膜的力学性能、摩擦性能以及与基体的结合力达到最优。进一步延长Ti过渡层的沉积时间,TiN薄膜的柱状晶组织粗化、力学性能、摩擦性能以及与基体的结合力均降低。     

利用天然油体纯化原核表达蛋白的方法研究

以脂肪酶为例,探索一种利用天然油体纯化原核表达蛋白的新方法.将已经构建的脂肪酶和油体蛋白基因的融合表达载体(pET32a-Jco2-Xa-LipA),在大肠杆菌BL21(DE3)中表达.提取植物天然油体在超声条件下与原核表达蛋白重构,由于油体蛋白的强疏水性和脂肪酶亲水性特性可以使得油体标记的脂肪酶固定在油体的表面.通过Factor Xa消化油体蛋白和脂肪酶之间的链接Linker后,通过离心分离,可快速实现脂肪酶的纯化.     

标准模型下可证安全的动态短群签名方案

目前的群签名方案在性能及安全性方面均不同程度存在问题,因此基于BSZ群签名模型提出了一种在标准模型下可证安全性的动态短群签名方案.利用子群判定假设、l-SDH假设以及Groth-Sahai证明系统构建了该方案,并在标准模型下给出了验证的安全性证明,证明提出的群签名方案具有匿名性、可追踪性和不可诬陷性.最后,分别在安全性及性能两个方面与其他群签名方案进行了比较,结果表明提出的群签名方案要优于其他方案.     

元胞机制下机坪机会网络缓存控制策略

针对机坪感知机会网络中节点缓存空间的限制导致的数据拥塞问题,提出元胞演化规则下机坪机会网络缓存控制策略(ACER).建立基于节点拥塞度的路由通信模型,对节点拥塞度进行判断,在拥塞度较低节点中进行基于概率的数据路由通信,对于拥塞度较高的节点使用元胞自动机的消息丢弃策略,有效地缓解了因数据拥塞产生的网络投递率低等问题,使节...