一种基于MapReduce的OpenFlow网络属性并行验证算法

针对OpenFlow网络中流表配置错误引起的转发回路、路由黑洞和访问控制规则失效等问题,提出一种并行的基于MapReduce的OpenFlow网络属性验证算法。通过在map阶段划分规则等价类,在reduce阶段为规则等价类构建基于交换机端口谓词的网络转发图并分析可达性,实现对网络属性的并行验证。同时,通过采用原子谓词将传统可达性分析中的规则匹配域多维集合运算转换为整数集合运算,以进一步提高可达性分析效率;此外,基于原子谓词的谓词表达方式可消除交换机端口谓词集合中的冗余项,降低存储开销。最后,通过理论分析和仿真实验验证了算法的正确性及在时间和存储开销方面的优越性。

基于并行验证的IBFT共识算法电商物流信息管理系统中的应用研究

为了提升共识过程中节点验证效率,提出一种基于并行验证的改进IBFT共识算法。一方面在传统拜占庭共识中引入并行验证策略,通过任务分解和同步线程,实现节点的高效并行验证;另一方面与IBFT共识算法结合,通过投票机制、恢复机制、并行验证和共识参数调整等机制保障共识过程中交易验证的高效率、安全性和高容错率,进而提升系统性能。结果表明,在固定发送事务大小为2 kB的情况下,随着交易发送率提高,所提改进IBFT共识算法的事务吞吐和事务延迟性上都始终保持较好的性能,尤其在当交易发送率超过1 600 Tx/s后,算法的事务吞吐量反超Raft共识算法,在三种算法中表现最佳,更适合处理规模较大的事务。在固定交易发送率为1 600 Tx/s的情况下,所提改进IBFT共识算法无论是在处理较大事务还是较小事务时,都具有较好的事务吞吐与延时性能,相较于未改进IBFT共识算法与Raft共识算法整体更优越,证明所提并行验证改进方法的有效性。

基于依赖分析的并行化验证策略

提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性。此外,还给出提取控制结构依赖图算法和验证过程调度算法,并用实验证明其正确性和高效性。

PVM并行程序验证系统的原理与实现

本文主要介绍PVM并行程序验证系统的基本原理和实现技术．首先，我们扼要分析PVM程序的构成与特点；然后阐述验证系统的理论模型和验证算法；最后，讨论开发过程中的若干关键技术．本系统的研制可为并行程序的自动转换和分析验证提供一个可视化的运行环境．

数字孪生的技术特点及在飞行试验中的应用展望

针对数字孪生在飞行试验中的应用问题,对数字孪生的内涵和特点进行研究分析,利用试飞对象行为和性能的映射,完成飞行试验需求开发与总体规划、试飞任务设计、一体化测试改装、试飞组织实施、快速维修保障、试飞工程师培训6个试飞数字孪生典型应用场景设计,实现了试飞过程中数字模型和物理实体间的同步更新、并行验证和螺旋演进,构建了"预测-飞行-比较"智能试飞模式,是飞行试验数字孪生的工程应用突破。

计算机应用考试系统的模拟退火算法研究

针对传统计算机应用考试系统在大规模应用时存在的任务并发拥堵问题,提出一种基于并行组合模拟退火算法的分布式计算机应用考试系统,以便提高分发效率和访问容量。该系统采用B/S结构,解决了传统C/S结构适用性较差的问题。设计中将考试的分发服务进行拆分,并使用模拟退火算法对分配方案进行优化,优化过程考虑到了服务器数量、考生数量和位置信息等约束条件。此外,结合遗传算法和模拟退火算法进行组合改进,提高了并行性和收敛速度。算法仿真测试结果表明,提出的改进算法具有更好的快速收敛性能。实际应用结果验证了提出的设计在大规模考试应用中的可行性和运行效率。