改进Fast-HotStuff区块链共识算法

Fast-Hot Stuff区块链共识算法采用两轮投票的共识过程,当主节点在第一轮投票后发生错误时,吞吐量将大幅降低,为解决该问题,提出一种改进的Fast-Hot Stuff算法。该算法引入一个新的区块扩展方式,在某一区块的共识过程中,当主节点在第一轮投票发生错误而导致视图更换时,副本节点将其投票消息传递至新的视图,新视图中的主节点收到足够多的投票消息,根据该区块进行扩展生成新区块并发起共识,以使更多区块上链并提高吞吐量。实验结果表明,当主节点在第一轮投票后发生错误时,Hot Stuff与Fast-Hot Stuff算法在节点数量为19时吞吐量降至3 500TPS以下,节点数量为61时降至1 500TPS以下,而改进算法的吞吐量在节点数量为19时高于6 500TPS,在节点数量为61时高于2 500TPS。     

基于B方法的TCP协议形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法可产生简明、精确、无歧义且可证明的规格说明.适合对协议进行形式化描述和一致性测试.本文详细地介绍了使用B方法对TCP协议进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性.     

基于CFF码和I码的抗合谋数字指纹编码

随着抗合谋参数值增大,CFF码的编码效率呈下降趋势。为解决该难题,提出一种新的抗合谋数字指纹编码方案,并设计相应的编码生成算法和检测算法。生成算法以小参数构建的CFF码为内码、I码为外码生成级联编码,编码效率等同于嵌入CFF码的编码效率,降低了编码难度。检测算法在确定编码所在的CFF子块位置后,对指纹特征码字位置进行跟踪从而发现叛逆者。在基于非对称数字指纹的音频盗版追踪系统上进行测试,结果表明,该方案保持了CFF码抗多种类型合谋攻击的特性,叛逆者追踪成功率超过80%,且未发生误判现象,能为依法制裁叛逆者提供法律证据。     

基于USB海量存储器的车载DVD系统实现

实现了一种基于USB海量存储器的车载DVD系统.系统使用SPHE8202T DVD处理器为核心构建系统硬件平台,通过编写枚举程序实现自动识别并配置USB海量存储器;系统按照BULK-ONLY传输协议在USB海量存储器与USB主机间进行数据交换,实现了在车载DVD系统中使用USB海量存储器播放音视频多媒体文件的功能.     

基于双重零水印的数据库版权保护

数据库零水印具有二义性,可能引起数据库的版权纠纷。为此,提出一种数据库版权图像零水印算法。以零宽度不可见字符作为水印符号,将版权图像嵌入宿主数据库,构造一重数据库零水印,同时使用字符型数据Unicode编码提取二重数据库零水印。实验结果表明,该算法可以提高数据库版权保护能力。     

基于FARIMA的ARP欺骗入侵检测

针对ARP网络流量具有自相似性,ARP欺骗会导致ARP网络流量局部突发的特征,在进行理论分析的基础上,提出一种ARP欺骗入侵检测方法。采用适合描述自相似性的FARIMA准确预测ARP网络流量,在线实时计算每个周期实测值和预测值的差值,比较差值变化率快速准确实现ARP欺骗入侵检测。运行结果证明FARIMA具有先进性,该方法可有效提高ARP欺骗实时入侵检测的检测率,实现追踪ARP欺骗攻击源主机。     

基于B方法的电梯控制系统形式化研究

B方法是一种新的形式化方法,使用B方法开发软件可有效提高软件的可靠性、可复用性和开发效率.文中使用B方法对电梯控制系统建立了抽象机模型并对其进行活性证明,自动生成相应软件,提高了电梯控制系统的可靠性和稳定性.     

一种图像增强及改进海洋生物图像检测算法

为提高海洋生物图像的检测精度，采用优化的MSRCR对海洋生物图像进行增强，并基于ASFF和Focal Loss提出一种改进的YOLOv4算法（IYOLOv4）。针对光线在海水中传播，红光的强衰减性，导致海洋生物图像对比度低、出现色偏的问题，使用双边滤波代替传统的MSRCR中的高斯滤波，不仅能保留更多图像边界的特征，而且通过增益图像中的红色，解决了图像色偏问题，同时也提高了图像局域对比度。算法使用ASFF结构充分利用图像高层特征的语义信息与底层的细粒度特征，通过学习权重参数的方式来进行特征的充分融合，增强融合效果；将YOLOv4的分类损失中采用的BCE Loss替换为Focal Loss，来解决数据集中类别不均衡的问题，提高检测精度。实验结果表明，该算法与YOLOv4算法相比，海参、扇贝、海星、海胆四种类别的AP分别提高了10.35、9.13、2.22、0.14个百分点，mAP提高了5.45个百分点。