摘要：【背景】弧菌在全球范围内严重威胁人类健康,副溶血性弧菌(Vibrio parahaemolyticus)、霍乱弧菌(Vibrio cholerae)、拟态弧菌(Vibrio mimicus)和创伤弧菌(Vibrio vulnificus)与食用生的或未煮熟的海鲜所引起的胃肠道感染和败血症有关,因而备受关注。【目的】建立一种实时荧光定量PCR方法,用于检测副溶血性弧菌、霍乱弧菌、拟态弧菌和创伤弧菌,以提高检测效率和准确性。【方法】基于副溶血性弧菌和拟态弧菌的toxR基因、霍乱弧菌的ompW基因、创伤弧菌的vvhA基因设计特异性引物和探针,通过优化反应体系和条件建立四重实时荧光定量PCR体系。【结果】该实时荧光定量PCR方法检测限均为10 copies/µL,扩增效率均在100%左右;在特异性试验中,分别运用多重实时荧光定量PCR和常规PCR对目的菌基因组、非目的菌基因组和空白对照进行扩增,结果均只有目的弧菌扩增明显,表明本方法有良好的特异性;在抗干扰实验中,高浓度弧菌不干扰低浓度弧菌检测;每个浓度梯度进行3次重复实验,每组变异系数均小于1.5%,表明本方法重复性好。【结论】建立的多重实时荧光定量PCR方法可快速、特异地实现对副溶血性弧菌、霍乱弧菌、拟态弧菌和创伤弧菌的检测。

摘要：超阈值多方隐私集合求交协议(OT-MP-PSI)是PSI协议的变体,允许m个参与方共同计算至少t(t≤m)个参与方中拥有相同元素的超阈值交集,且保证仅拥有超阈值元素的参与方才能知晓该元素是否属于超阈值交集,对于其他信息一无所知.OT-MP-PSI推广了PSI的实际应用场景.现有方案均基于昂贵的公钥密码来构建,其较大的计算量导致运行时间缓慢.首先设计一个基于对称密码的不经意可编程伪随机秘密共享(OPPR-SS)密码组件,并基于OPPR-SS组件设计双云辅助的OT-MP-PSI协议,将秘密分发和重构的任务分别交给不可信云服务器来辅助完成,实现弱计算能力的参与方也能完成OT-MP-PSI协议.在半诚实模型下证明协议安全性.相比现有的OT-MP-PSI协议,所提协议在秘密分发和重构阶段均具有最优运行时间和通信负载,参与方、共享方和重构方的通信复杂度不再与阈值t有关,实现参与方常数轮的通信,通信复杂度仅为O(n),秘密分发方和重构方的计算复杂度仅与对称密码次数有关.

摘要：隐私集合交集(private set intersection, PSI)允许持有私有集合的参与方安全地获得集合的交集,而不会泄露除交集之外任何元素的信息.现有的两方/多方PSI协议大多基于不经意传输(oblivious transfer, OT)协议,具有很高计算效率的同时,也带来了巨大通信开销.在很多场景中,扩展网络带宽是非常昂贵甚至不可行的,而目前不依赖于OT设计且计算高效的多方PSI协议仍然较少.基于一轮密钥协商构造了三方参与的PSI计算协议,分别在半诚实模型和恶意安全性模型下,证明了协议的安全性且允许任意两方的合谋攻击.通过实验仿真,在大集合场景,相比现有基于OT的多方PSI协议,所构造的协议具有最优的通信轮数且通信量降低了89%~98%;在小集合场景(500个元素或更少),相比适用弱通信网络的同类PSI协议,具有最优运行时间和通信负载,比依赖于同态加密的PSI协议快10~25倍.

摘要：隐私集合交集(private set intersection,PSI)是隐私计算中的热点,其允许参与两方在不泄露任何额外信息的要求下计算交集.现有的隐私集合交集计算方案对参与双方的计算能力要求高,且计算能力差的参与方无法在保证集合数据隐私的前提下将计算安全外包给云服务器.设计了一种新的不经意两方分布式伪随机函数,允许半可信的云服务器参与相等性测试,又不泄露参与方任何集合信息.基于该不经意伪随机函数构建了半可信云服务器辅助的隐私集合交集计算协议,将主要计算量外包给云服务器.在半诚实模型下证明了协议的安全性.同时,该协议可保密地计算隐私集合交集的基数.通过与现有协议分析与实验性能比较,该协议效率高,计算复杂度与通信复杂度均与集合大小呈线性关系,适用于客户端设备受限的应用场景.

摘要：随着物联网和大数据技术的发展,在计算机和手机上出现了大量分布式应用程序.然而现有的分布式数据处理方式已不能很好地满足用户对隐私保护的需求.隐私集合交集(private set intersection,PSI)协议作为一项典型的面向隐私保护的分布式集合计算技术,允许各参与方输入其私有集合,共同计算集合的交集,且不泄露除交集以外的任何信息.PSI协议作为安全多方计算的一种重要应用,已被广泛应用于隐私计算领域,具有重要的理论和实践意义.首先介绍PSI协议的基本密码技术、敌手模型、安全证明、编程框架等基础知识;其次系统总结了构造传统PSI协议的设计框架:基于公钥加密体制的框架、基于混淆电路的框架、基于不经意传输的框架;随后介绍PSI协议核心的隐私集合元素比较技术工具:不经意伪随机函数、不经意多项式评估、布隆过滤器等;进一步地详细阐述了适应新型应用场景的PSI方案:基于云辅助的PSI、非平衡型PSI、基于阈值的PSI和多方PSI;最后总结并展望面向隐私保护的集合交集计算中亟待解决问题和发展方向.

摘要：采用快速扩增cDNA末端(RACE)克隆技术,通过设计甲壳素脱乙酰酶简并引物,从总状毛霉(Mucor racemosus)菌丝体中克隆了CDA2的基因(EF468349)及其全长cDNA(DQ678929)序列。与已获得的总状毛霉菌cda1基因相比,cda2基因中不含内含子。总状毛霉cda2全长cDNA为1 378 bp,包含23 bp 5’端非翻译区、1 254 bp开放阅读框和101 bp 3’端非翻译区,编码一条由418个氨基酸残基组成的多肽链,其N端包含一段21个氨基酸残基组成的信号肽,在150～272氨基酸残基区存在一个多糖脱乙酰酶保守结构域。通过构建pET28a-cda2表达载体和进行原核表达研究,结果显示:原核表达产生的重组蛋白CDA2的分子量约为46ku,表达形式以包涵体为主,纯化获得的重组蛋白CDA2具有甲壳素脱乙酰酶催化活性。本研究为进一步研究总状毛霉CDA2的结构和功能奠定了基础。

摘要：将简单网络管理协议(SNMP)的思想、NetF low技术、PHP多线程技术融入到网络性能监测系统中,通过对性能数据的采集、存储及分析,设计并开发了一套智能化网管系统。系统采用PHP语言开发,分为数据采集、性能数据库、数据分析及处理、数据显示、阈值设定与警告及用户管理6大模块,不同的模块实现不同的功能。数据采集程序采用了多线程机制对性能数据进行采集,多线程采集各种性能数据,允许一个程序同时有效地执行多个任务,既增强了程序的功能,又提高了程序的性能。数据分析模块主要负责采集端口组、TCP/IP组、UDP组的数据,并结合相关公式就可以计算出我们所需要的实时和历史数据性能指标值。信息显示模块按条件查询方式将端口组、IP组、TCP组、UDP组的性能指标显示出来。实际应用证明,该系统能够监控网络的实时变化,并将异常及时地通过邮件、短信等方式反馈给网络管理员,达到了预期目的。

摘要：为研究船体横倾角对顺倒车工况下船用减速器润滑流场特性及搅油功率损失变化规律的影响,采用移动粒子半隐法(Moving Particle Semi-implicit Method,MPS)对8种工况下的船用减速器内部润滑流场进行数值仿真分析。仿真结果表明:同一转速、初始润滑油量和横倾角下,船用减速器在顺车工况下的润滑性能优于倒车工况下的润滑性能;顺车工况高速飞溅油液主要处于输出齿轮与传动齿轮啮合区,倒车工况高速飞溅油液主要处于溅起液面与输出齿轮周面相交位置。通过分析不同工况下初始液面上粒子数目的变化情况,发现横倾角为30°时箱内溅起润滑油粒子数最多,润滑效果最好;齿轮搅油功率损失随横倾角增大而增大,且在同一横倾角下船用减速器顺倒车工况的搅油功率损失波动幅度均趋于收敛,其均值大致相同。

摘要：智能合约是区块链技术应用的一个重要场景,智能合约技术实现了区块链的可编程化,提高了其扩展性,有广阔的应用前景。然而,一系列关于智能合约的安全事件造成了大量经济损失,削弱了人们的信心,安全性问题已经成为制约智能合约进一步发展的关键问题。如果合约设计和代码实现的过程中存在缺陷,可能会造成严重后果。而智能合约发布后无法修改,因此,在智能合约发布前对其正确性做出验证尤为重要。近年来,国内外学者在智能合约的验证领域取得了大量成果,但对这些研究成果的系统分析和总结相对较少。对以太坊的交易过程、gas机制、存储结构、编写语言做了简要介绍,在此基础上调查归纳了智能合约中常见的8种漏洞类型,解释了漏洞产生的原因,回顾了一些真实发生的安全事件并给出了漏洞示例代码;根据不同的技术手段,如符号执行、模型检测、定理证明等,对智能合约的形式化验证工作做分类介绍,分析了各种方法的优劣,并选取了3个开源的自动化验证工具Mythril、Slither和Oyente,从运行效率、检测漏洞类型以及准确率等方面作出实验评估和对比;研究了目前已有的相关综述文章,总结了这些研究的区别与优势;概述了智能合约的漏洞检测技术中仍存在的关键问题,对智能合约验证工作的现状进行了分析和展望,提出了未来能够进一步研究的方向。

摘要：为研究不同喷口结构时速冻机内流动和换热特性、优化速冻机的气流组织和提高换热效率，以冲击式速冻机为研究对象，设计了5种不同形式的条缝喷口，分别对这5种喷口喷射气流流动和换热特性进行数值模拟，对比分析喷射区域的气流组织，研究了被冲击的板带表面的温度场分布和Ⅳu变化。研究表明：孔板式喷口的流量较小，为167．9m3／h，换热的均匀性较差；组谷式渐缩喷口的气流组织最佳，喷口出口的流量最大，为226．2m3／h，同时板带表面的平均Nu也最高，达到29．6。