一种带偏置的基于相关性分析的Cache一致性协议验证方法

Cache一致性协议作为CC-NUMA系统的硬件基础,在CC-NUMA系统的设计过程中占有举足轻重的地位。对于复杂的CC-NUMA系统,由于其Cache一致性协议十分复杂,通常难以进行形式化验证,而常规的伪随机模拟又存在验证效率低下的问题。本文提出了一种对复杂CC-NUMA系统中Cache一致性协议进行模拟验证的方法。该方法通过对验证覆盖目标进行相关性分析,使用偏置技术对传统伪随机模拟验证方法进行了改进。实际验证结果表明,改进后的方法使得模拟验证覆盖率的增长速率有了明显提高。     

微波消解-火焰原子吸收法测定制革污泥中总铬

采用硝酸-盐酸-氢氟酸三元混合酸体系对制革污泥进行微波消解前处理,将各种形态的铬转化为水溶态铬,然后通过火焰原子吸收分光光度法测定污泥样品中总铬的含量。结果表明:样品加标回收率为86%～102%,相对标准偏差为14.3%,准确度和精密度较为理想。本方法适用于制革污泥以及其它含铬污泥的分析测定,为污泥处理和资源化利用提供依据。     

5.3m大采高掩护式液压支架

1 地质条件 枣庄煤矿矿区煤层厚度一般均在2～5.36 m之间,裂隙比较发育.煤的硬度系数f一般为1.5～2.2,煤层倾角通常≤15°.     

范畴化和非范畴化对ESL词汇教学的启示

认知语言学认为,语言中的词义具有认知和心理基础.文章基于认知语言学理论,分别阐述了词义的范畴化和非范畴化对ESL词汇教学的启示作用,论证了范畴化与非范畴化的互补性和合作性对学生联想认知的提高,.从而有效地辅助ESL词汇教学.研究表明,灵活地理解词义的范畴化和非范畴化对ESL词汇教学有较大的促进作用.     

依托教学实验中心,推进计算机实践教学建设

随着实验环境和设备条件的改善,实验中心支撑实践教学能力大幅提升。本文从创新实验平台建设、课程实验建设、创新实践活动支撑、实验中心管理等多个方面总结依托教学实验中心,计算机实践教学建设所取得的成效。     

基于GlusterFS的分布式数据完整性验证系统

云存储为用户提供了弹性而可靠的数据存储方案,使得用户可以在任何时刻通过网络访问云服务器存取数据,大大降低了用户自己维护数据的成本,但也引发了一系列安全问题。对于云存储而言,采取审计措施用于检查数据的完整性至关重要,但已有的大多数云数据完整性审计机制只是通过模拟实验证明了方案具有高效性,并未结合具体云存储场景进行分析实验。针对上述问题,文章结合GlusterFS分布式文件系统与BLS短签名机制设计了一种分布式并行数据审计方案。利用GlusterFS的多个存储节点并行计算数据块所对应的标签,通过验证数据块对应标签的完整性来验证数据块的完整性,实现数据的单块审计、多块审计、多用户审计和异步审计,且不会泄露用户的隐私信息。此外,还进行了安全性分析。实验结果表明,文章方案可实现多块数据的高效并行审计,且并发量随节点的增加而线性增长。     

一种SDN网络路径异常监控方法

在SDN网络中,及时掌握网络中数据传输路径的运行状态对于控制器进行网络安全监控和流量的负载均衡至关重要。利用SDN网络架构的特点,提出了一种主动测量与被动测量相结合的路径异常监控方法,以对网络路径的运行状态进行异常监控。从路径的延迟和可用带宽两个方面分析网络路径的运行情况,并对出现异常的路径进行检测和报警,保障网络的正常运行。实验结果表明,在不同的网络条件下,所提方法都能有效测量网络路径的延迟和可用带宽,并且能够及时发现网络中出现的路径异常情况。     

基于软件定义网络的流量工程

作为一种新型网络架构,软件定义网络(software defined network,简称SDN)将网络的数据层和控制层分离,通过集中化控制和提供开放控制接口,简化网络管理,支持网络服务的动态应用程序控制.流量工程通过对网络流量的分析、预测和管理,实现网络性能的优化.在SDN中开展流量工程,可以为网络测量和管理提供实时集中的网络视图,灵活、抽象的控制方式以及高效、可扩展的维护策略,具有突出的研究意义.对基于SDN的流量工程相关工作进行综述.分别从测量的方法、应用和部署角度出发,对SDN中流量测量的基本框架、基于测量的正确态检测以及测量资源的管理进行概述.分析传统网络流量调度方案的问题,介绍SDN中数据流量和控制流量调度的主要方法.从数据层和控制层两个方面概述SDN中故障恢复方法.最后,总结并展望未来工作.     

复合介词within的多义网络构建

一词多义是一种普遍存在的重要语言现象,语言学者从各个角度对其进行研究.认知语言学认为,多义的介词具有多义的语义网络,多义的语义网络建立在多维的认知模式上.认知模式的建立是认知介词的首选途径.简单介词语义网络繁复,复合介词尤甚.文章以认知语言学的基本理论为依据,旨在深入探讨介词,并以复合方式构词而成的介词within为例...