计算机工程杂志 北大期刊 统计源期刊

异构云环境中的实时密码服务调度策略

作者：李建鹏; 史国振; 李莉; 孙德洋; 郑戈威 刊期：2019年第10期

针对异构云环境中运算节点性能各异、密码服务处理命令和密码算法组合多样且随机高并发的问题,综合考虑用户请求任务与云中运算节点的多项属性,从任务和节点角度优化整体调度系统的服务质量及任务调度成功率,设计一种同时支持多种密码处理命令和算法的二级调度策略。通过任务与运算节点之间功能属性的映射,保障密码服务请求功能的正确实现。在此...

基于最优子网的虚拟网络映射算法

作者：朱国晖; 康潇轩; 雷兰洁 刊期：2019年第10期

针对在虚拟网络映射过程中物理资源碎片化导致嵌入请求被拒绝,从而降低物理资源利用率的问题,提出一种基于最优子网的虚拟网络映射算法,通过优化的重边匹配算法,合并符合约束条件的虚拟节点,同时粗化网络拓扑,运用广度优先搜索算法创建候选物理子网集合,将粗化后的虚拟网络请求映射至最优子网。仿真结果表明,该算法能够减小链路映射跳数,提升虚...

混合云环境下基于异构系统的跨域身份认证方案

作者：江泽涛; 时晨 刊期：2019年第10期

在混合云环境下,为满足身份认证方案在不同密码系统之间的跨域认证需求,提出一种基于公共密钥基础设施(PKI)和无证书密码体制(CLC)的跨域身份认证方案。引入基于PKI的多中心认证管理机制,对不同密码系统安全域的用户匿名身份进行管控和追踪。在用户和云服务提供商的双向认证过程中,完成会话密钥的协商和不同密码系统匿名身份的转换。分析结果表...

一种近似最小有效瓶颈优先的Coflow调度机制

作者：李文信; 周晓波; 徐仁海; 齐恒; 李克秋 刊期：2019年第10期

针对先验知识未知场景下的Coflow调度问题,提出一种近似最小有效瓶颈优先的Coflow调度方法。通过结合Coflow当前大小和宽度决定Coflow的调度顺序,并区分出流大小以及短与长等特征的Coflow,从而加大调度优化的空间。实验结果表明,与先验知识未知场景下的Aalo方法相比,该方法可使Coflow的平均完成时间降低33.2%,相较于先验知识已知场景下的SEBF方...

云制造环境下基于改进NSBBO的任务调度算法

作者：郑楚红; 彭勇; 徐一鸣; 廖毅 刊期：2019年第10期

针对云制造环境下的多目标任务调度问题,改进非支配排序生物地理优化算法,提出一种反映用户偏好的任务调度算法(UPTSA)。通过基于权重均匀分配策略定义的用户偏好度来评估制造任务调度方案的质量,使UPTSA算法能寻找反映用户偏好的最优解,并设计梯形迁移率计算模型扩大其搜索邻域,避免陷入局部最优解。实例分析结果表明,UPTSA算法能有效求解云制...

云数据中心基于任务映射的虚拟机选择策略

作者：刘开南 刊期：2019年第10期

改变云数据中心虚拟机选择与放置的相互关系可提高云数据中心的整体性能。为此,提出基于任务映射的虚拟机选择策略。重点考虑任务粒度、虚拟机尺寸、物理主机计算能力等指标,将虚拟机选择与放置2个过程相互结合,分别设计Simple、Multiple(k)、Maxsize(u)和Relation算法,以此构建任务映射虚拟机选择的数学模型。基于Cloudsim模拟器的实验结果表明...

面向深度学习推理的矩阵乘法加速器设计

作者：冉德成; 吴东; 钱磊 刊期：2019年第10期

为满足深度学习推理中对不同规模矩阵乘法的计算需求,提出一种基于Zynq SoC平台的整数矩阵乘法加速器。采用基于总线广播的并行结构,充分利用片上数据的重用性并最小化中间累加结果的移动范围,以降低外部DRAM的访问需求。通过动态调整矩阵分块的大小,使加速器在计算形状不规则的矩阵乘时保持较高效率。实验结果表明,在DeepBench测试基准下,该加...

城市内涝三维可视化应急管理信息系统

作者：姜仁贵; 杨思雨; 解建仓; 严栋飞; 王小杰 刊期：2019年第10期

为提升城市防洪减灾能力,通过融合北斗卫星监控、大数据分析、云服务和综合集成等技术,设计城市内涝三维可视化应急管理信息系统。构建包含感知层、数据层、服务层、应用层和客户层的系统体系架构,采用北斗技术实现多源信息的全天候、多维度动态监测与传输,同时基于Hadoop平台对海量数据资源进行分析和存储,构建城市三维可视化集成环境,利用综合...

基于蜕变测试的面向用户搜索引擎性能分析

作者：杨正龙; 高建华 刊期：2019年第10期

面对海量的互联网信息,用户在进行搜索时缺乏客观公认的Oracle验证搜索引擎所返回结果是否正确。为此,将蜕变测试应用于搜索引擎的性能测试。针对搜索引擎Baidu、Bing和360,结合搜索操作符定义相应的蜕变关系,对其检索能力和排序稳定性进行测试,并通过异常率和平均Jaccard系数量化测试结果。分析结果表明,在搜索引擎Baidu、Bing和360中,Bing的异...

基于区域划分的非全互连3D NoC多播路由算法

作者：孙美东; 刘勤让; 刘崇阳 刊期：2019年第10期

针对非全互连三维片上网络中多播路由算法传输路径长且易发生网络拥塞的问题,提出一种基于区域划分的多播路由算法。根据目的节点的分布将数据包传输方式分为层间传输和层内传输。在层间传输时,数据包选择硅通孔(TSV)表中最近的TSV作为传输通道。在层内传输时,根据源节点位置坐标划分网络区域,将源节点所在行作为公共路径,在该路径上传输携带目...

汇编级顺序语句块的自动形式化规约及其验证

作者：祁龙云; 吕小亮; 路红; 黄皓 刊期：2019年第10期

软件的形式化验证是保障软件可证明性、可靠性和安全性的重要手段,但传统形式化验证脚本的生成过程复杂且需要形式化验证专家的大量手工验证。为提高证明效率,构建一种自动证明模型,并在此基础上提出语义自动规约算法以及对所规约的语义自动生成证明脚本的算法。利用C++和Python并通过交互式定理证明器Isabelle 2017在基准数据中随机选择10个程...

基于STP方法的SCADE模型形式化验证框架

作者：林荣峰; 施健; 朱晏庆; 沈怡颹; 周宇 刊期：2019年第10期

高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSMV模型,并将线性时态逻辑和计算树逻辑引入SCADE模型的需求规范中。分析结果表明,借助NuSMV模型检查器及其验证...

一种基于网络切片的带宽资源编排算法

作者：龙恳; 钱美伶; 余翔; 陈侃 刊期：2019年第10期

为在无线虚拟化环境下进行高效的带宽资源分配,研究基于增强型移动宽带(eMBB)与高可靠低时延通信(uRLLC)的带宽资源编排问题。对于小型网络,将带宽资源编排问题简化为带宽资源分配问题并给出全局最优解。针对大型网络,结合松弛理论将带宽资源编排问题转化为带宽资源编排的松弛问题,并提出一种基于贪婪理论的启发式算法HPGH。仿真结果表明,通过解...

基于多属性关联决策的WSN故障检测方法

作者：兰涯雯; 李强; 邓淑桃; 黄诗雅 刊期：2019年第10期

针对无线传感器网络中节点单一属性表征能力差且阈值范围难以确定的问题,提出一种基于多属性关联决策的分布式故障检测方法。以非均匀分簇网络结构为基础,融合距离因子与节点间相关分析结果估计簇头置信区间。在可靠簇头条件下,通过显著性检验方法对簇内成员节点状态进行反馈式决策,并基于相对熵理论定义多属性关联度,用于分析异常数据来源。实...

移动社交网络的多重分形影响因素分析

作者：郑巍; 张紫枫; 潘浩 刊期：2019年第10期