拜占庭系统技术研究综述

随着分布式系统规模的增大,设计复杂度也不断提升,系统可靠性所面临的问题也越来越严峻。由于拜占庭协议能够容忍包括人为失误、软件bug和安全漏洞等各种形式的错误,其系统技术和实现方法越来越受到研究者们的重视。介绍和总结了目前拜占庭系统技术的研究成果,分析了目前拜占庭系统的研究现状,并探讨了拜占庭系统的发展趋势。通过分析得出：1)拜占庭系统性能上仍然与已经实用的非拜占庭系统相距较大,占用资源数量仍然较多,需要进一步研究其性能和资源优化技术;2)通过检测错误或者定期修复来降低系统中的错误,是延长系统可持续运行时间的方法,需要研究新的、高效的全面检测拜占庭服务器、合理定期修复等保障系统可持续运行的方法;3)实际应用背景和需求及其特定错误类型的处理方法对拜占庭协议和功能等提出了不一样的要求,需要研究拜占庭系统在实际中的应用和可用性。     

Ta-W合金高应变速率下亚结构转变研究进展

综述了Ta-W合金在冲击载荷作用下的动态力学响应、常用研究方法及亚结构转变.其中Ta-W合金在高应变速率下常见的亚结构转变包括:冲击诱导相变、绝热剪切带中发生的动态回复及动态再结晶,以及高应变速率下的形变孪生.Ta-W合金在高应变速率下发生冲击诱导相变是合金内部位错组态与位错密度共同作用的结果,且通过实验数据与数学模拟...     

适合海上气井的新型水基固砂液体系研究

在分析海上L气田出砂原因的基础上,室内构建了一套适合海上气井的新型HWR水基固砂液体系,并对其性能进行了评价.室内实验表明,新型HWR水基固砂液体系具有注入黏度低、安全施工时间长、固结性能好等特点;固结体在目标气田地层水中浸泡30 d后,仍能保持较好的稳定性.现场应用表明,A16h井采用新型HWR水基固砂液体系进行化学...     

涉水工程对青阳(二)水文站设站功能定位的影响分析

青通河流域中下游相继建成一批拦、蓄、引水工程,涉河工程建设在提高了流域水资源开发利用程度的同时,也改变了青通河小流域原有的水文特性,对流量测验、资料整编和流域产汇流规律分析带来诸多困难,给流域防洪和水文监测带来一定压力.     

应用反向学习策略的群搜索优化算法

群搜索优化算法(Group Search Optimizer,GSO)是一类基于发现者-加入者(Producer-Scrounger,PS)模型的新型群体随机搜索算法。尽管该算法在解决众多问题中表现优越,但其依然面临着早熟和易陷入局部最优的问题,为此,提出了一种基于一般反向学习策略的群搜索优化算法(GOGSO)。该算法利用反向学习策略来产生反向种群,然后对当前种群和反向种群进行精英选择。通过对比实验表明,该方法效果良好。     

基于安全审计日志的网络文件系统数据完整性保护方法

网络文件系统在方便数据共享的同时也带来了新的安全隐患,审计日志跟踪并记录文件服务器上数据的变化,对于分析评价系统的安全性有重要价值.现有的系统因为不能防止内部攻击以保证审计日志的安全性,无法很好地满足用户需求,如攻击者可以直接通过驱动程序修改磁盘上的审计日志来删除敏感数据.提出了一种基于安全审计日志的对网络文件服务器上的数据进行完整性保护的方法.服务器中的每个文件和目录都对应一个认证符以保证其完整性,通过将文件服务器上的活动记录下来并生成日志,事后根据认证符和分析日志信息来对数据进行审计.另外,通过引入一个可信组件来生成认证符和审计日志并保证它们的安全性.根据该方法在NFS服务器上实现了原型系统Nfsd-log并对其进行了性能测试.SSH-build的测试结果表明,Nfsd-log的总时间开销比未受审计日志保护的原始NFS服务器的时间开销仅增加9.2%.     

机器人足球仿真教练模型研究

RoboCup仿真比赛已经在国际上开展几年了,近来在国内也得到了迅速的发展,它通过提供了一个标准问题来促进人工智能和智能机器人的研究。文中以RoboCup仿真比赛为背景,首先讨论了教练模型,包括教练的角色意义和相应的权限,而后针对教练设计中涵盖的几个问题,如对手建模、规划识别、离线训练,分别给出了较好的解决方案。最后从在线教练工作过程的角度总结了有关教练技术的具体应用,并对教练的设计前景提出了一些看法。对于建立和设计仿真教练,进行多智能体系统的合作协调研究具有重要意义。     

一致持久的带外虚拟化系统

存储虚拟化能够全面提升存储区域网络的服务质量,而带外虚拟化与带内虚拟化相比具有性能高和扩展性好等优点．提出了运用按序操作、REDO日志以及日志完整性鉴别,共同保证带外虚拟化跨越系统崩溃或断电事故后仍旧可用;设计了一种基于关系模型的磁盘上虚拟化元数据组织方式,它具有可读性好和容易修改的优点;给出了通过分析磁盘分区表兼容典型遗留存储系统的有效方法,它具有庞大遗留系统零切割时间的特点．基于上述关键技术实现的原型系统,在典型实验中表现了很好的性能．     

一种新的基于SAN的SNAPSHOT设计与实现

快照技术是实现在线热备份的重要技术手段，也是进行数据迁移和远程镜像的重要的技术组成．提出并实现了一种与操作系统平台无关的快照系统，通过在设定快照情况下以100-2000MB数据量进行COW操作和无快照情况下的写命令的完成时间，以及同LVM快照系统进行了快照创建时间延迟的比较，表明本文实现的快照系统在缩短快照创建延迟、处理写命令上具有更好的性能．     

基于A*算法的无人机攻击轨迹解算

借鉴飞行器航迹规划方法,提出用A*算法来解算无人机攻击轨迹.首先对原始地图进行预处理,基于威胁信息等效为山峰的思想,生成了三维等效数字融合地图;然后,利用介绍的A*算法,对路径寻优进行建模仿真,实时规划出无人机攻击目标的轨迹;最后,通过分析算法的时间复杂度,结合攻击轨迹仿真结果,得到了可以在元人机攻击目标时快速生成攻击...