基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

物联网区块链中基于演化博弈的分片算法

分片技术被广泛认为是一种克服当前物联网区块链系统可扩展性限制的有效解决方案。然而,由于恶意节点随机分布以及区块链网络复杂的参数配置,如何保证分片的有效性仍具有挑战。首先,对分片区块链的性能进行建模,分析其安全性和可扩展性。其次,为减少恶意节点的聚集以及提高网络的性能,提出了一种基于演化博弈的分片选择算法来优化节点的分片决策。仿真结果表明,提出的分片算法可以使恶意节点尽可能地均匀分布于各个分片中,同时提高分片区块链的性能,进而更好地支持区块链在物联网中的应用。     

国数字地面电视标准中LDPC码的半并行译码结构设计*

中国数字地面电视广播标准采用准循环低密度校验码（QC-LDPC）作为其信道编码的内码。根据该类LDPC码的准循环特性,提出了一种基于后验概率的简化最小和算法及其对应的半并行译码结构。其可实现在同一接收机中尽量复用硬件资源并减少消耗情况下LDPC码的多码率译码。最后,使用可编程门阵列实现了此结构并验证了其性能,实验表明,该方法比传统的最小和算法性能略有降低,但可节约大量存储器资源。     

钢筋混凝土框架短柱抗剪承载力分析

总结了国内外几个主要的钢筋混凝土框架短柱抗剪承载力计算公式,结合太平洋地震研究中心(PEER)的短柱抗剪拟静力试验数据库,对各公式进行了对比分析,得出各公式计算的短柱抗剪承载力与试验结果基本成线性关系的结论.     

垃圾焚烧电厂垃圾渗滤液处理工程设计对策

介绍了垃圾焚烧电厂垃圾渗滤液污染物浓度高、毒性强、水质水量变化幅度大等特点及设计重点、难点,提出了采用具有较强抗冲击能力、高负荷处理能力、高氨氮处理能力的垃圾渗滤液处理系统设计思路和理念,给出了预处理、生物处理和深度处理工艺组合的垃圾渗滤液处理工艺设计模型.     

钢筋混凝土墩柱抗震变形能力研究进展及评述

为研究影响钢筋混凝土墩柱抗震变形能力的因素,分析了配箍特征值、轴压比、纵筋配筋、剪跨比、混凝土保护层厚度等5个因素对钢筋混凝土墩柱地震变形能力的影响,总结了以墩柱极限位移角作为变形能力衡量指标时,不同因素对墩柱变形能力的影响。相关结论可为未来的研究提供参考。     

基于排队论的异构数据中心性能及能源管理策略

该文研究了怎样在一个数据中心内的几种具有不同处理能力的服务器之间,在消耗最小能量的同时根据等待时间保证性能要求。重点探讨了在给定基于等待时间的性能要求的前提下,使用动态开启/关闭一部分服务器的管理策略,实现最小化数据中心能耗的问题;使用排队论建立了数学模型来确定应开启的服务器的数目。实验结果表明,相比于不考虑服务器分组的调度策略,该方法可以减少能耗,其策略也为研究异构数据中心的能耗与性能的权衡提供了途径。     

虚拟仿真在A320飞机维修实训教学中的应用研究

虚拟仿真在学校实训教学的应用越来越广泛。特别是在空中客车A320飞机的维修中,采用仿真设备进行训练,可以解决现有教学实训内容危害大、破环强、成本高以及部分实验不可及等现实问题。     

面向时延敏感业务的服务功能链部署

服务卸载和雾/边缘计算为解决云网络的延迟提供了新的范例。然而,目前关于服务卸载的研究大多考虑将正在运行的计算服务从手机或云网络卸载到雾/边缘计算网络。但是,在卸载的过程中,它会消耗额外的资源并影响用户的体验。因此,该文在部署服务功能链(SFC)时,考虑通过有效的在线博弈决策,将每条服务功能链的部分虚拟网络功能(VNF)卸载并部署到雾/边缘网络中,从而满足用户的时延要求。该文提出了一种基于服务卸载和在线博弈的最小化时延的服务功能链部署算法(DSFCD-SOOG),将有效的在线博弈和服务卸载决策相结合,在云雾计算网络中部署服务功能链,以减少服务功能链的端到端时延。最后,该文验证了DSFCD-SOOG算法在服务功能链部署中的资源效率、时间效率和阻塞率方面的优越性。