首页期刊导航|计算机技术与发展
期刊信息/Journal information
计算机技术与发展
陕西省计算机学会
计算机技术与发展

陕西省计算机学会

王守智

月刊

1673-629X

ctad@vip.163.com

029-85522163

710054

西安市雁塔路南段99号

计算机技术与发展/Journal Computer Technology and DevelopmentCSTPCD
查看更多>>《计算机技术与发展》期刊,原名《微机发展》,中国计算机学会会刊,中国科技核心期刊、中国科技论文统计源期刊。中国学术期刊综合评价数据库统计源期刊,中国核心期刊数据库收录期刊,中国期刊全文数据库收录期刊,万方数据资源系统数字化期刊群上网期刊,中国学术期刊(光盘版)全文收录期刊。中国计算机学会和陕西省计算机学会共同主办。刊名为著名科学家胡启恒院士亲笔所提,中国计算机学会名誉理事长张效祥院士写了创刊词。1991年创刊,国内统一刊号CN61-1450/TP,国际刊号:ISSN 1673-629X。该刊为综合性学术技术刊物、月刊。该刊在国内外有广泛的覆盖面,国内读者分布在全国30个省市,国际读者分布在北美、西欧、韩国、日本以及我国港、澳、台等38个国家和地区。几年来高水平的论文刊登数量明显增加,各类自然科学基金论文刊登数量已超过80%,各项指标在我国自然科学自动化、计算机类(TP)多种期刊中排名前列,已成为全国最具影响力的自然科学杂志之一。 该刊在我国计算机界有广泛的作者群体,主要稿件来源单位有:北京大学、清华大学、南京大学、复旦大学、同济大学、浙江大学、中国科学技术大学、国防科技大学、上海交通大学、西安交通大学、北京航空航天大学、南京航空航天大学、华中科技大学、哈尔滨工业大学、西北工业大学、吉林大学、武汉大学、中山大学、四川大学、山东大学、厦门大学、天津大学、重庆大学、中南大学、东北大学、上海大学、福州大学、安徽大学、西北大学等全国数百所重点大学以及中国科学院、中国航空、航天、电子、中国水电、中国建筑、中国测绘科学研究院等重点研究院所等。 刊载内容涉及国内外计算机科学的发展方向、技术和创新的最新成就、软件工程的最新成果、应用开发的成功经验等,在学术界有较好的影响。为我国计算机的创新、设计、开发、应用创造了一个宽舒和谐的学术交流的氛围,提供了一个良好的学术、技术展示的平台,成为我国计算机和嵌入式系统领域最具有代表性的前沿性的刊物之一。该刊的编委是来自北京大学、清华大学、南京大学、复旦大学等九所知名大学和七所重要研究所,以及美国、加拿大的外籍专家共22位著名教授或研究员组成。以沈绪榜院士为首的编委会顾问组把握着期刊的大方向.
正式出版
收录年代

    故障树自动建树及分析软件的实现

    陶军聂飞邹俊逸
    70-75页
    查看更多>>摘要:故障树分析(Fault Tree Analysis)在系统可靠性评估中起着至关重要的作用。然而,作为故障树分析的核心故障树(FT)的构建,传统构建故障树的方法存在耗时长且容易出错等缺点。为了解决这些问题并应对复杂系统自动建造故障树的困难,该文提出一种基于元部件模型及系统结构模型的规范化描述方法,并以此为基础,通过建立元部件模型库、复杂标识符库,设计出故障树自动建树及分析软件,实现系统结构模型搭建、自动建树、复杂结构识别处理及可靠性分析过程的全自动化。详细阐述了故障树自动建树软件自动建树及分析的基本步骤,并通过一个简化的汽车ABS系统应用实例验证了该软件的有效性和可行性。实例应用结果表明,该故障树自动建树及分析软件不仅能够实现自动构建和分析故障树,提高工作效率,而且能够识别处理具有复杂结构的故障树,对复杂系统的自动建树及可靠性分析的推广具有重要意义。

    复杂系统故障树自动建树分析软件可靠性规范化描述

    EASE-Grid投影风云卫星产品地理信息写入方法

    韩书新安英玉高昂于敏...
    76-82页
    查看更多>>摘要:风云卫星遥感数据服务网的卫星遥感产品数据集中,风云三系列气象卫星遥感产品数据集中很多采用的是等面积可伸缩地球网格(EASE-Grid)投影方式进行处理,实际应用中对使用者具有较高的数据处理能力要求,不利于遥感产品数据集的省级应用。基于数据集使用中的这些问题,该文以FY3D雪水当量数据集产品为例,采用程序化方法对EASE-Grid投影产品数据集的地理信息进行写入,通过构建地理坐标系参考对象和地理信息目录,将数据矩阵中写入地理信息并以GeoTiff格式文件输出。结果表明,经过该方法处理过的产品数据可与矢量文件实现准确的经纬度信息的匹配,降低了数据分析处理的难度。该方法具有较好的适用性,对于EASE-Grid的三种不同的投影方式均适用,可在一定程度上提高卫星遥感产品数据集的省级科研与应用水平。

    卫星遥感等面积可伸缩地球网格数据投影数据集地理信息

    移动边缘计算中基于贡献度激励的端池化解决方案

    阳柳章立群林晓勇
    83-88页
    查看更多>>摘要:经典的移动边缘计算是将计算任务从云计算迁移到移动边缘,终端用户的计算任务请求可智能选择在云端和边缘处理,这都取决于强大的基站通信能力。在基站覆盖力不足,外节点无法接入基站,乃至基站通信缺失的场景下,计算任务无法通过云计算与边缘计算进行处理。因此,提出一种基于贡献度激励的端池化解决方案。该方案由终端提供自身可用计算力,通过端池化帮助基站完成任务计算,针对终端的管理,提出基于算力池最大化的动态分簇算法,该算法利用不同终端作为簇首的差异性聚簇,得到综合算力池最大时的分簇方案;针对基站覆盖力不足的情况,外围节点根据其历史贡献度指标,通过移动自组织网络与内部节点连接,该激励策略能提升内部节点的连接意愿,以此提高外节点的接入率,扩宽基站覆盖范围,解决基站弱覆盖的问题。仿真结果表明,对比其他方案,CETP方案能在云计算与边缘计算无法实施的情况下,利用端池化过程得到最大算力池,能以最短的时延完成计算任务。

    移动边缘计算计算力池端池化分簇激励

    基于改进蛇优化算法的WSN覆盖研究

    李振冯锋
    89-95页
    查看更多>>摘要:为了有效提高无线传感器网络(WSN)部署时的覆盖效果,增加节点间的连通性,提出一种基于改进蛇优化算法的节点多目标部署优化策略。在种群初始化阶段,针对蛇优化算法的随机种群初始化分布不均匀的问题,引入Halton序列初始化策略对种群个体进行初始化,并使种群各个节点具有一定区间范围内的随机性特征,既保证了初始化种群个体内均匀分布,又使得个体间具有多样性;在开发阶段,提出了一种新的觅食策略取代原本觅食阶段的方法,能够促使个体快速跳出局部最优;在开发阶段的交配模式中,提出了一种异性吸引策略取代交配策略,使算法具备更强的全局探索与开发能力。然后,将所提算法与基本的蛇优化算法、单阶段改进的蛇优化算法以及其他改进优化算法进行对比。仿真结果表明,不同阶段的改进策略对改进算法产生了不同程度的影响。此外,改进后的算法在无线传感器网络覆盖优化性能方面也优于其他改进的优化部署算法。

    无线传感器网络节点覆盖蛇优化Halton序列异性相吸

    基于零信任机制的工业互联网边界防护方案研究

    王奕钧
    96-101页
    查看更多>>摘要:随着互联网和信息技术的快速发展,传统的工业制造与新兴信息技术、互联网技术开始互相融合,"工业互联网"逐渐崭露头角,并广泛应用于能源、电力、交通、军工、航空航天、医疗等关系到国家安全、国计民生的重要行业。工业互联网涉及到众多国家关键基础设施,因此工业互联网的安全将影响到社会安全、公众安全甚至国家安全。该文对工业互联网中存在的网络安全风险进行分析,并提出一种基于"零信任"机制的边界防护方案,在兼容数量庞大、种类繁多的工业设备、操作系统以及生产应用的同时,为整个生产内网提供整体安全防护能力。基于零信任机制的工业互联网边界防护方案区别于传统防护思路,以白名单机制代替黑名单机制,以应用隐身代替技术对抗,以动态验证代替静态检测。最后,给出了基于零信任机制实现的工业互联网边界防护应用案例,并结合系统功能分析了该方案的技术优势。

    工业互联网零信任边界防护关键信息基础设施白名单机制

    基于可追踪环签名的联盟链身份隐私保护方法

    任正伟余易晋
    102-109页
    查看更多>>摘要:作为目前被广泛使用的一种区块链,联盟链相较于公有链虽然具有更好的隐私性,但也仍然面临着因去匿名化方法而导致用户身份隐私泄露的问题。为了保护联盟链中用户的身份隐私,并且增加系统的容错性,提出了将可追踪环签名和实用拜占庭容错结合的联盟链身份隐私保护方法。该方法的核心思想是通过可追踪环签名来使联盟链中用户的身份具有条件匿名性,条件匿名性指的是用户在一定条件下是匿名的,即用户在正常交易时是匿名的,而当用户之间产生交易纠纷时,也可以对交易相关用户的身份进行去匿名化。此外,将可追踪环签名与实用拜占庭容错相结合,去匿名化的任务由联盟链中的节点通过实用拜占庭容错完成,减少了联盟链中心机构的权利和责任,即使用户对中心机构具有匿名性,也保证系统在中心机构出错时能够正常运行。通过实验分析和对比,该方案能够在合理的计算开销内保护用户身份隐私,并且保证较高的安全性和容错性。

    区块链联盟链身份隐私可追踪环签名实用拜占庭容错

    基于SM9的JWT强身份认证方案

    罗娇燕左黎明陈艺琳郝恬...
    110-117页
    查看更多>>摘要:随着网络信息技术的快速发展,身份认证的应用范围也在不断扩大。其中,JWT(JSON Web Token)作为基于Token的身份认证技术,被广泛应用于Web应用程序和API领域,以实现简单、可靠的身份验证和安全通信。然而,开发人员对于JWT标准和技术细节理解不够深入,导致该技术在实践中经常出现各种安全漏洞。文中分析了近年来出现的有关JWT技术的安全问题,包括"none"算法绕过、敏感信息泄露、算法混淆攻击和密钥穷举攻击等,并针对这些问题提出了一种基于国密SM9 的JWT强身份认证方案。该方案使用SM9 公钥密码算法对JWT进行签名和验证,结合基于时间戳和随机数的验证机制,以提高算法的安全性和可靠性。最后对该方案进行安全性分析,结果表明该方案实现方法相对简单,能够有效地防御各种常见的JWT安全漏洞,同时具有良好的安全性和易用性,为JWT技术的安全应用提供了一种高效可靠的解决方法。

    身份认证JWTSM9数字签名授权

    基于改进AE-CM模型的未知应用层协议识别

    马甜甜洪征陈乾
    118-124页
    查看更多>>摘要:现有的未知协议识别方法存在提取的特征不够充分、聚类分配不准确等问题,影响了协议识别结果的准确性。AE-CM(deep autoencoder with embedding clustering module)解决了当前深度聚类模型异步优化的问题,提高了聚类分配的精度。该文提出的DAEC-NM协议识别模型以AE-CM为基础,通过加入高维卷积、时序卷积网络以及调整多层感知机结构的方法,改进了AE-CM的特征提取部分。为了更全面地获取协议信息,DAEC-NM通过邻居分支采集邻居样本,并分析邻居样本间的局部关联特征,从而增强原样本特征中重要特征对聚类分配的指导能力。最后,采用了注意力机制来分析特征的重要性,以此为聚类模块设置有效的初始权重,解决了聚类模块在模型更新过程中权重特征更新较慢的问题。实验结果表明,DAEC-NM能够有效提高未知协议识别的准确性。

    网络流量未知协议识别深度自编码器高斯混合聚类嵌入层邻居特征加权

    基于改进麻雀搜索算法的冷链物流路径优化

    马青宇邵松帅刘博旭孙哲...
    125-132页
    查看更多>>摘要:针对城市间冷链物流对成本与时效的高要求,提出了一种改进的离散麻雀搜索算法。通过对麻雀维度序列的映射,实现了算法的离散化;引入基于维度的邻域模型以加强麻雀种群内的信息交流,降低陷入局部最优解的可能;引入动态因子以改进发现者位置更新公式,平衡算法的开发与勘探。采用23 个标准测试函数进行测试,实验所得平均值与方差表明,改进算法的搜索性能与稳定性得到了极大的改善。采用6 个标准VRPTW数据集测试改进算法求解复杂路径优化问题的能力,对比实验表明,改进算法能够以更快的速度求得更优的可行解,验证了改进算法的有效性与稳定性。最后使用小规模数据集可视化展示了改进算法在路径规划问题的提升。

    冷链物流麻雀搜索算法离散化邻域学习动态因子

    基于PRAU-Net的新冠肺炎CT图像分割研究

    曾庆鹏崔鹏
    133-139页
    查看更多>>摘要:针对新冠肺炎CT影像病灶区域小、形状结构差异大和噪声等问题,提出一种基于编解码结构的PRAU-Net医学图像分割方法。首先,在编码阶段使用一种残差Inception注意力卷积模块(Residual Inception Attention,RIA)提取特征,RIA采用残差结构将更深的并行卷积块和通道注意力机制相结合捕获更丰富的特征;其次,将不同尺度的特征通过跳跃连接进行融合,使解码器中特征有更加丰富的全局信息;最后,在解码器中使用全局注意力模块使网络关注相关特征,有效减少了CT影像中噪声的影响。为了验证该方法的有效性,分别在三个数据集(Segmentation dataset nr。2,CC-CCII 和COVID19_1110)上进行验证,实验结果表明,该方法比经典方法分割结果更加准确,相较于U-Net等经典分割方法,Dice系数提升了 1。12%~14。84%,敏感度提升了 0。7%~24。63%。为了进一步提高分割性能,使用生成对抗网络对Segmentation dataset nr。2 数据集进行了扩充,并利用PRAU-Net分割方法和多种经典分割网络进行了验证,结果表明,扩充小样本数据集可以有效地提高分割性能,PRAU-Net方法的Dice系数从0。836 4 上升到了0。858 3。

    新冠肺炎医学图像分割U-Net残差结构注意力机制