摘要：针对车联网(VANETs)环境下车辆用户数字身份管理问题,该文提出基于区块链的去中心化可撤销隐私保护自主管理身份(SSI)方案。经可信机构(TA)授权后,路侧单元(RSU)组成委员会负责车辆用户身份注册、数字身份凭证颁发及维护。基于门限BLS签名和实用拜占庭容错(PBFT)共识机制实现数字身份凭证创建,解决凭证颁发机构去中心化问题;集成秘密共享和零知识证明技术,解决数字身份凭证颁发和验证过程中隐私保护问题;基于密码学累加器技术,解决分布式存储环境数字身份凭证撤销问题。最后,对该方案安全属性进行了详细分析,证明方案能够满足所提出的安全目标,同时基于本地以太坊私有链平台使用智能合约对所提方案进行了实现及性能分析,实验结果表明了设计的可靠性、可行性和有效性。

摘要：针对目前软基堤防稳定计算中淤泥软土抗剪强度指标取值问题,根据《堤防工程设计规范》(GB50286-2013),并依托某软基堤防工程,从地基土抗剪强度指标(即快剪指标、十字板原位剪切强度)、整体抗滑稳定计算方法(即瑞典圆弧法和简化毕肖普法)等方面,分析各因素对软基堤防整体抗滑稳定安全系数的影响情况,认为采用地质工程师建议的抗剪强度指标计算的稳定安全系数值最小,而采用十字板剪切强度值计算的稳定安全系数值稍大;并对稳定安全系不满足规范要求断面采用减少疏浚量方案进行加固处理,可为类似软基堤防工程设计提供参考。

摘要：海洋微藻是一种光合自养型生物,随着水体富营养化日益严重,藻类大量繁殖逐渐形成水华和赤潮,如何快速准确识别有益藻和有害藻是当务之急。但是许多藻类形态彼此相近,难以分辨。为了解决这个问题,文中首先将输入的图像进行标准化处理,计算图像第一主成分载荷特征;其次设计一个基于逻辑回归的二分类模型,分两类标签进行训练;最后构造代价函数以及sigmoid函数,根据梯度下降法得出的预测结果与实际情况对比,计算最终准确率为92.86%。与广泛使用的藻类二分类算法SVM分类器比较结果显示,在相似藻的分类精度上提高了1.86%。

摘要：分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性,引入线程位置和线程位置相邻概念扩展安全系统逻辑LS2,提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系,用广播规则模型化多跳无线网络广播通信特征。最后,用LS2-RP协议编程语言描述了DCASR协议,用LS2-RP的谓词公式和模态公式描述DCASR协议的安全属性,用LS2-RP逻辑证明系统分析了DCASR协议的安全性,证明DCASR协议能够满足安全目标。

摘要：为实现工程弃土的资源化利用和降低工程投资,以苍南县安澜工程(南片海塘)护塘河开挖产生的淤泥质土为研究对象,将附近绿能小镇三澳核电站工程弃土作为粒径改良用土,并采用水泥作为固化剂,通过不固结不排水(UU)三轴剪切试验研究水泥与粗颗粒工程弃土复合改良淤泥土的物理力学性能,并得到既符合工程设计要求又具较好经济性的改良土配合比。试验结果表明:影响改良土物理力学性能因素主要为粗颗粒弃土占比、水泥掺量、养护龄期,其中水泥掺量与养护龄期影响最为显著;单掺改良时,粗颗粒掺量对改良土的力学性能影响较小,改良效果不佳。淤泥土、粗颗粒土、水泥掺量分别为40%、60%、15%,养护龄期为56 d时淤泥质土的改良效果最佳,最大偏应力和黏聚力分别为2897.87、567.63 kPa。改良后的土作为海塘闭气土方用土能够满足工程设计要求。研究成果能够为海塘工程设计和施工提供理论依据和指导。

摘要：针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑***2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移动导致的网络进化过程,并在网络迹上定义谓词公式和模态公式的语义,分析网络协议属性.ELS2证明系统中,设计了捕获程序行为直观属性的新公理.最后,在ELS2逻辑中建模并分析了移动IP注册协议正确性属性.

摘要：扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和多跳无线广播通信特征,引入了线程位置和线程位置相邻概念,定义了广播规约规则.PCLRP模型中提出了运行迹概念,在运行迹上定义了谓词公式和模态公式的语义.分析协议安全属性时,PCL-RP模型证明系统中的公理和规则保证无需明确推理攻击者的行为,这种方法能够简化分析过程,提高安全分析的可信度.另外,提出了路由协议安全目标,设计了基于动态源路由协议DSR的安全路由协议LSDSR.最后,在PCL-RP模型中描述并分析了LSDSR的安全性,证明LSDSR能够满足安全目标.

摘要：本研究以海藻酸钠和果胶为壁材,通过五因素四水平的正交设计,以产率为指标,得到微囊化益生菌的最佳制备工艺。再以肉鸡为饲养对象,研究微囊化益生菌对肉鸡生长性能及肠道菌群的影响。结果表明:在海藻酸钠浓度为12 g/L、Span80浓度为1 g/L、碳酸钙与海藻酸钠质量比为1∶1、海藻酸钠和果胶质量比为2∶1、水油两相体积比为1∶1时,制备得到的微胶囊益生菌形态均一,平均粒径为900μm。肉鸡评价试验结果显示,与基础日粮组(CON)相比,微囊化益生菌组(CAPP)平均日增重(ADG)显著升高(P<0.05),料重比(F∶G)显著下降(P<0.05);CAPP组十二指肠、空肠和回肠绒毛高度显著高于其他各组(P<0.05);抗生素组(ANT)的香农指数(Shannon)均低于各组;CAPP组的操作分类单位(OTU)平均值最高,且显著高于其他各组(P<0.05);微囊化粪肠球菌可以提高盲肠微生物的丰度及多样性,CAPP组的乳杆菌(Lactobacillus)显著高于ANT组。综合得出,微囊化益生菌可以提高肉鸡生长性能和改善肠道健康,具有一定的实际应用价值。

摘要：分析无线传感器网络教学中采用集成开发环境对硬件平台的依赖性问题,提出基于cooja仿真实验平台和传感器网络标准协议6LoWPAN协议,设计无线传感器网络应用系统方法及分析网络协议的方法。

摘要：Peyton四步教学法是国外应用较多的一种程序化的技能培训方法,在医学实践课程的技能教授方面体现出较好的应用价值。本研究以《航空航天生物动力学》实践课教学体系中“加速度对动物循环机能的影响”这节课为代表,进行了改良式Peyton四步教学法的应用初探。结合课程自身特点设计开发的适用于小组教学的改良式Peyton四步教学法,以经典四步法基本理论框架为基础,引入“同伴学习”、“多角色分工学习”等策略,将教学流程发展为内容更丰富、形式更灵活的六个阶段,不仅较好地激发了学生的学习兴趣,还提高了课堂实践的参与度。学生通过反复观察、详细复述、逐步演练、及时反馈等改良式Peyton四步法必不可少教学环节的充分锻炼,对实践操作各步骤的理解记忆进一步加强,掌握实践技能的效率显著提高。初步研究结果显示,改良式Peyton四步教学法对提高《航空航天生物动力学》实践课教学质量确有帮助,具备向全课程实践课推广应用的价值和意义。