基于Petri网的分布式系统冲突消解

针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试孤,从而形成一个能够描述更复杂分布式系统的Petri网模型.利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义.结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性.     

基于主成分分析和层次分析法的科技创新量化考核算法

企业科技成果作为国家科技创新的重要组成部分,是科技创新的重要体现。如何科学评价新时期企业科技成果创新是一个普遍存在的问题,针对传统层次分析法(Analytical Hierarchy Process, AHP)在确定权重系数方面存在的不足,以国有企业科技创新评价为落脚点,提出一种基于主成分分析法(Principal Component Analysis, PCA)和AHP的科技创新量化考核方法,建立了国有企业科技创新量化考核指标要素信息库,构建新型科研平台科技创新能力考核指标体系。综合考虑了主客观因素,利用PCA得到指标层中各指标的重要度,通过AHP得到判断矩阵,提高判断矩阵的准确性和合理性。实验结果表明,采用基于PCA和AHP的科技创新量化考核算法得到的国有企业科技创新量化考核评估结果更加客观合理,并通过人机交互系统展示考核的分析结果。     

顾及节点聚集能力的引力场动态路由方法

研究高效的动态路由选择方法对提高网络吞吐量及缓解交通拥塞程度至关重要。为此,从引力理论角度,本文深入分析了网络交通传输过程中节点对交通流的聚集作用,考虑节点自身及其邻居节点的畅通程度及传输路径长度,建立节点对交通流的引力模型,进而提出一种顾及节点聚集能力的引力场动态路由方法。为检验方法有效性,对不同路由策略进行对比仿真实验。结果表明,与最短路由算法相比,本文路由算法较大地提高了网络的吞吐量,算法具有较好地稳定性和可靠性。     

基于网络时延的SDN逻辑一致性策略研究

对SDN网络更新过程中的暂时中间态进行了研究, 阐述了因网络时延导致的控制逻辑不一致问题, 并提出了一种解决方案. 该方案通过在控制平面上调整安装控制规则的时序, 使网络达到控制逻辑一致的目的, 进一步建立了一种基于节点平均网络时延的目标优化模型, 通过对模型求解得到SDN网络逻辑一致的时延最小路由路径. 最后通过仿真实验验证了该方案的可行性和有效性.     

基于SCADE的形式化验证技术的改进研究

为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法.该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确认时人为的主观性.通过实例阐述了应用该方法进行形式化验证的一般步骤,表明了该方法是有效可行的.     

云、边缘和雾计算安全性研究综述

随着云计算技术在学术界与工业界的快速发展和广泛应用，云计算领域中的信息安全和隐私问题成为当前研究的热点。从云计算到边缘计算再到雾计算，不同的计算范式形成各自独特的计算生态系统，这些系统具有不同体系结构、信息存储和处理能力。由于不同的计算生态系统具有一定的异质性，使得多样性计算在信息安全和隐私保护方面仍面临着诸多挑战性的问题。介绍了云、边缘和雾计算3种范式的背景知识以及它们之间的相似性与差异性，3种范式各自在信息安全和隐私保护方面的相关技术及其特征；综述了3种范式在信息安全以及隐私威胁方面所面临的挑战，总结了不同的安全部署与隐私机制以解决此类挑战。确定了信息安全与隐私机制的部署缺陷是由多样性计算的异质性所导致，融合不同的信息安全部署技术可以进一步加强信息的安全性与隐私性。