首页期刊导航|计算机技术与发展
期刊信息/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位著名教授或研究员组成。以沈绪榜院士为首的编委会顾问组把握着期刊的大方向.
正式出版
收录年代

    基于条件扩散隐式模型单幅图像去雨

    徐杰孙偲远
    79-84页
    查看更多>>摘要：雨水天气会对图像造成干扰并增加图像处理的难度.为消除雨水对图像造成的影响,提出一种基于条件扩散隐式模型的图像去雨方法.该方法采用基于SR3 的全卷积网络架构,使用U-Net结构的变体,并用BigGAN的残差块替换了传统的残差块,去掉自注意力机制、位置编码和群组归一化,实现了条件扩散模型支持任意大小图像的输入,且不受图像分辨率的影响.同时,引入确定性加速采样,用子序列时间步来加速生成过程,提高图像恢复速率.通过对图像进行重叠分块处理,将子块分次调入内存处理,减少资源消耗,提高算法的适用性,使用平滑噪声估计引导去噪过程,使生成图像获得更高的保真度.在合成数据集和真实数据集上进行测试,定性和定量结果表明,该方法在峰值信噪比和结构相似性方面均有提升,图像细节信息保留更加完全且去雨后的视觉效果更佳.

    图像去雨扩散概率模型卷积网络图像分块编码-解码

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    基于预处理-枚举的子图匹配算法

    巴伦敦梁平顾进广
    85-91页
    查看更多>>摘要：子图匹配是从与查询图格式相同的数据图中找到所有嵌入.目前常用的算法主要通过基于查询图在数据图上生成树结构索引来工作,对树中的顶点根到叶的路径进行排序,并按照匹配顺序枚举嵌入.但是这种处理方式由于没有考虑路径中邻接点之间的影响,其基于路径的排序和基于树结构的枚举在本质上限制了算法的性能.为了解决这个问题,提出了一种基于预处理-枚举的子图匹配算法.先通过查询顶点的前向邻居生成候选集,再通过后向邻居对候选集进行精化得到更小的候选集.同时,根据查询顶点的候选数量和度生成匹配顺序,进一步消除了基于路径的排序带来的限制.针对真实数据集的模拟实验结果表明,所提出的算法与现有的算法相比具有更好的候选集过滤效果和更快的匹配速度.

    图数据库子图匹配预处理-枚举匹配顺序候选集

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    基于特征融合和注意力机制的物体6D姿态估计算法

    高维东林琳刘贤梅赵娅...
    92-100页
    查看更多>>摘要：针对物体6D姿态估计易受目标物体的弱纹理和小体积特性、复杂背景、遮挡的影响,提出一种结合特征融合和注意力机制的物体6D姿态估计算法.首先,在RGB图像特征提取网络的首个卷积块中加入卷积注意力模块,提升弱纹理小物体的区域显著度;其次,在基于编解码结构的RGB图像特征提取网络中引入基于卷积注意力模块的跳跃连接,有效地将编码阶段的颜色、纹理等细节外观特征融合到解码阶段的姿态语义特征中,弥补姿态语义特征缺乏细节外观特征的问题;然后,使用通道注意力模块改进池化金字塔模块,增强目标物体可见区域与遮挡区域的联系,提升遮挡鲁棒性;最后,使用卷积注意力模块重构解码阶段输出的姿态语义特征,增强相似表面特征的区分度,从而降低外观相似物体对物体6D姿态估计的干扰.实验结果表明,该算法在Occlusion LINEMOD数据集和LINEMOD数据集上ADD(-S)指标分别达到73.4%和99.8%,与FFB6D相比,分别提升7.8 百分点和0.1 百分点,验证了该算法的可行性.

    物体6D姿态估计深度学习特征融合注意力机制跳跃连接

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    基于棋盘标定板的优化相机参数标定方法

    林绿开钮倩倩李毅
    101-105页
    查看更多>>摘要：相机标定是计算机视觉与重建定位的重要基础,是构建二维图像与三维空间联系的重要桥梁.该文根据传统线性相机成像的规律,在理想的针孔相机成像模型的基础上,同时针对张正友标定法中相机参数求解过程较为复杂与繁琐的问题,采用一种简易的标定方法来求解单目相机的相机参数.该方法在平面张正友标定方法的基础上,通过预先估计部分相机参数的初值进而求解理想针孔相机成像模型后,再进一步优化预估参数的方式,根据棋盘标定板的特征点的空间坐标与图像坐标的对应方程,利用奇异值分解和Levenberg-Marquardt优化的方法进行参数求解,从而避免求解繁杂的约束矩阵后再分别对相机参数进行求解的过程,达到直接求解相机参数的目的,优化求解过程,最终实现单目相机的相机标定.实验结果表明,使用该方法标定的单目相机在物距一米以下时的标定误差能够满足绝大部分视觉与定位的应用需求,且该方法具有较好的稳定性和可行性.

    单目相机标定算法奇异值分解Levenberg-Marquardt优化张正友标定法

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    基于CMDB的资产识别与管理系统设计与实现

    蔚周鹏陈俊丽张汉举
    106-112页
    查看更多>>摘要：随着信息技术的迅速发展,针对企事业单位在资产识别与管理相关业务的开展过程中资产属性标准不健全、资产演变分析灵活性不足、安全分析不够完善等问题,设计基于配置管理数据库的资产识别与管理系统,推进企事业单位的资产信息化管理.该系统通过对资产信息的加工利用,覆盖到资产标准、资产质量、资产集成、资产安全等相关领域,充分标注资产各方面特征信息,完善了资产的演变分析.系统设计了一种安全分析计算的方法,收集资产的自有特征、脆弱特征、威胁特征完成资产的安全分析计算,通过信息安全技术方面的测试结果,明确目标资产自身的安全状态,及时对存在安全风险的资产采取合理的安全措施,对目标资产发生安全事件的可能性和抵御安全风险的能力做出评估.该系统应用突破了传统台账式资产管理,实现资产价值、脆弱和威胁的分析计算,对组织资产的信息安全建设有着积极推动作用.

    资产识别与管理配置管理数据库演变分析安全分析计算信息安全

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    UML到Event-B的系统化转换方法

    耿雪邹盛荣刘晓莹姚聚义...
    113-120页
    查看更多>>摘要：在面向对象的软件开发中,UML已经成为事实上的建模标准.然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证.Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难以理解和应用.因此,如何结合UML图和Event-B方法的优点是研究的重点,以往的方法都是基于UML零散图到Event-B的转换,缺乏系统的转换方法.系统性的转换方法可以实现UML中的元素与Event-B中的元素相对应统一.一般的软件系统是中型系统,中型系统采用用例图、类图、状态图和顺序图这四种图就可以很好地表达清楚,有了上述的四种图,软件生命周期的需求获取、分析、设计、详细设计就可以完全表达清楚.文章中分别给出了这四种图到Event-B的转换方法,并将该系统的转换方法应用到对安全性和可靠性要求较高的电梯控制系统中.基于该实例的研究,验证了UML到Event-B系统性转换方法的可行性和有效性.UML到Event-B的系统转换方法不仅有利于UML的精确化和软件从业人员的使用,而且增强了形式化方法的可理解性,有利于形式化方法的推广和应用.

    统一建模语言形式化方法Event-B抽象转换模型

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    虚拟环境下的低延迟协同渲染方法研究

    王雅妮高全力王西汉毕明洋...
    121-127页
    查看更多>>摘要：虚拟现实技术以其独特的沉浸感、交互性,在游戏、直播等各领域的应用愈加广泛.渲染技术是虚拟现实的核心环节之一,而只在本地客户端渲染是目前主要渲染方案,由于实时渲染需要大量的计算资源,导致虚拟现实应用存在响应延迟高、画面刷新率低、图像质量差以及虚拟场景复杂等问题.针对上述问题,该文提出了虚拟环境下低延迟协同渲染方法.首先,将复杂的虚拟环境进行前景交互和背景环境拆分;其次,将渲染工作量较大的背景环境卸载至服务端进行处理;最后,通过运动轨迹预测将渲染的复杂背景以全景图的方式进行分割编码传输至客户端与前景渲染的内容进行合并呈现.经过实验验证,这种协同渲染的方法能够进一步降低传输过程中的CPU/GPU利用率以及网络延迟,提高帧刷新率,进而实现高清低延迟交互.

    虚拟现实人机交互协同渲染全景图传输高清低延迟

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    联盟链环境下物联网轻量级网关研究

    冯春波阿不都热衣木江·阿白葛翔王轶...
    128-135页
    查看更多>>摘要：区块链的分布式和去中心化特性能够有效应对传统物联网架构所面临的设备安全和数据安全挑战.网关作为区块链与物联网融合的关键节点,在融合应用中面临算力、存储资源受限的实际困难,亟需可用的轻量级设计与实现方案.针对这一问题,设计并实现了一种基于联盟链的轻量级区块链-物联网网关原型.首先,基于长安链 SPV(Simplified Payment Verification)框架,在网关中实现了关键数据的上链存证与交易数据的过滤精简;其次,从感知设备的行为模式、感知数据两方面进行模式提取与异常识别,保证设备的接入安全和运行安全;最后,针对网关轻节点所存储的区块链默克尔树,提出了一种剪枝算法,加速本组织相关交易数据的验证过程.实验结果表明,设计的轻量级网关具备设备身份可信认证和运行时异常行为检测的可行性,与其它方法相比,默克尔树剪枝优化算法能够大幅度降低交易验证时延.

    区块链物联网网关轻量级节点数据上链身份认证

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    一种基于区块链的物联网访问控制方案

    杨久华沈苏彬
    136-142页
    查看更多>>摘要：区块链技术应用于物联网资源管理领域得到了广泛的关注,致力于解决物联网环境下集中式资源存储和管理存在的单点故障、隐私和信任等问题.通过研究区块链技术底层原理,结合现有的研究工作成果和其他数据安全技术,提出一种基于区块链和基于属性访问控制的物联网访问控制方案.为了权衡资源安全和访问控制过程透明化,提出双链的去中心化访问控制模型,将资源元数据信息和访问控制信息分开存储和管理,有利于高效地查询所需信息.为了提高访问控制评估和权限验证速度,划分属性并提出静态属性令牌和引入多项式函数的访问树策略表达方式.最后,利用智能合约实现访问控制逻辑,仿真实验表明方案能够有效地保护资源的隐私和安全,是一种动态的、可信的访问控制方案.

    物联网区块链资源存储访问控制模型智能合约

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据

    基于Serverless的反溯源技术应用研究

    韩杰冯美琪李建欣
    143-148页
    查看更多>>摘要：随着网络逐渐成为意识形态较量的主战场,攻防双方的技术手段在不断博弈中日渐精进,现有的反溯源手段无法避免防守方多维多技术的溯源手段,更易被防守方溯源反制.该文提出了一种基于Serverless的反溯源技术应用思路,利用Serverless的事件驱动和自动伸缩特性,使得用户在请求目标时,自动调用不同可用区域的IP地址,以此达到隐藏自身真实IP的目的.同时,由于Serverless实现应用开发与服务器分离,攻击者可直接进行攻击代码编写,也更加利于隐藏身份.通过利用Serverless中的云函数和CobaltStrike软件进行试验验证其可行性,发现其能很好地隐藏攻击源,防守方无法溯源到真实的攻击源.同时从防守方角度,详细分析流量特征,基于特征值和访问统计特征两个维度,构建攻击检测模型.通过模拟实际攻击行为和正常业务行为,验证了检测模型能够很好地发现攻击行为,并能区分攻击行为和正常业务行为,在一定程度上可以减少误报,降低对正常业务的影响,提高安全事件的处置效率,为防守方的入侵检测提供了检测思路.

    网络攻防攻击溯源反溯源Serverless攻击检测

      原文链接:
    • 国家科技期刊平台
    • NETL
    • NSTL
    • 维普
    • 万方数据