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

    基于不动点逻辑的混成系统性能评价语言

    李晴曹子宁黄涛
    69-73,122页
    查看更多>>摘要:混成系统是一类连续与离散行为紧密结合的复杂动态系统,目前广泛地应用在医疗和国防等安全关键领域.安全关键系统要求自身具有较高的安全性与可靠性,以减少系统故障引起的生命和财产方面的灾难性后果.而形式化方法是保障系统可靠性的一种常用方法,其中模型检测应用最为广泛.由于模型检测只能给出系统是否满足某个性质的真或假逻辑值,通过将其与性能评价相结合,以描述系统与实值计算相关的一些性质.现有的性能评价语言CTML可以描述系统与概率和平均期望相关的性质,μ演算则可以通过最小和最大不动点运算符描述迁移系统的某些性质.在基于μ 演算的模型检测和CTML的基础上,提出一种面向混成系统的基于不动点的新的性能评价语言MLBoF以及MLBoF公式的性能评价算法.针对CTML的子逻辑,给出与其语义等价的MLBoF公式表示以及二者等价的证明过程.通过飞机起飞系统实例说明,提出的性能评价语言MLBoF不仅将基于μ演算的模型检测结果从{0,1}扩展到实数区间,具有验证系统概率等实值性质的能力;而且通过扩展经典的计算不动点的改进算法,保证了MLBoF的性能评价算法的效率.

    混成系统不动点CTMLμ演算性能评价

    面向多维统一标识体系的标识解析映射机制

    缪静莹郜帅侯心迪刘宁春...
    74-80,141页
    查看更多>>摘要:传统互联网标识命名及其解析映射机制存在缺陷,难以满足当今互联网应用智能化、多元化、一体化的趋势.该文提出了一种面向多维统一标识体系的标识解析映射机制,为设备、内容、服务、特定组等多种网络主体提供了基于多维属性的通信服务.该机制围绕多维统一标识体系框架与运行机理,采用包含服务层和网络层的双层解析映射框架,设计了多维统一标识映射报文和标识解析映射双层工作流程,完成了多维统一标识映射注册、查询的请求和响应,从而实现了资源搜索、服务定位、网络感知的功能.搭建了基于可编程数据平面的多维统一标识解析映射原型系统,并对标识解析映射机制的功能和性能进行实验评估.结果表明,在高并发高移动场景下该机制能够支持面向多维统一标识体系的高效解析映射.

    标识解析映射多维统一标识多维属性双层解析映射可编程数据平面

    基于节点度异质性惩罚的链路预测方法

    陈广福江玲韩辉珍
    81-87,158页
    查看更多>>摘要:针对大部分现存的链路预测方法仅关注规则网络以及偏好连接现象而导致在稀疏网络获得低质量性能,提出一种节点度异质性惩罚的链路预测框架(NDHP),该框架最优预测准确度与网络拓扑特征有密切关联.首先,计算整个网络节点度获得所有节点对的度异质性相似度;其次,采用惩罚节点度较大机制去惩罚度异质性权重较大的节点抑制节点间差异;最后,通过可调参数将平均节点聚类系数和平均最短路径分别和基于度异质性惩罚框架相关联,获取网络结构信息来弥补网络稀疏信息不足,并提出基于节点度异质性惩罚的平均聚类系数指标(NDHP_AC)和基于节点度异质性惩罚的平均距离指标(NDHP_AD).此外,在8个真实无向无权网络上与最近代表性的方法相比较,所提两个指标在预测缺失链接和鲁棒性两方面性能优于基准指标.尤其在高度稀疏网络中,所提指标的AUC和AUPR分别最大提高了15.3%和8.6%.

    复杂网络链路预测度异质性平均节点聚类系数平均最短路径

    多因素漏洞评价方法研究

    杨一未
    88-94页
    查看更多>>摘要:漏洞引起的网络安全问题日益突出,信息系统运营者和安全技术人员正面临着前所未有的压力,仅凭CNNVD等漏洞库给出的漏洞技术等级或评分,无法完全体现漏洞在实际场景中信息资产上的危害程度.该文提出了一种综合计算机系统分级评价、网络防护与联通性、资产使用率、利益相关者风险承受度、漏洞技术评价指标等多种因素的漏洞风险量化评价方法,并给出了详细计算过程.该方法中计算机系统分级评价指标可使用信息安全等级保护指标综合反映系统的重要程度.网络防护与联通性指标进行等级细分后,可定量反映系统受保护程度.资产使用率可通过资产管理系统或在线监测等技术手段获取,反映出系统的影响范围.利益相关者风险承受度指标通过主观打分反映系统风险承受能力.漏洞技术评价指标则通过漏洞客观特性反映危害程度.经模拟数据统计分析显示,该方法能够较全面地分析实际环境中漏洞潜在威胁程度,科学合理地给出不同信息资产上漏洞的消控优先级排序,可供信息系统运营者和安全技术人员用于漏洞危害程度的量化评估.

    漏洞消控通用漏洞评分体系安全风险

    基于国密SM9算法的门限环签名方案

    邓浩明彭长根丁红发叶延婷...
    95-102页
    查看更多>>摘要:环签名具有隐匿签名成员真实身份的优势,但现有环签名方案仍存在没有很好同时解决效率与安全性等问题.针对此问题,提出一种基于国密SM9算法的门限环签名方案(GMTRS).首先,利用强抗碰撞性的SM3密码杂凑算法生成长度为256 bit的常数项值,利用安全冗余度更高的SM4分组密码算法对签名进行加解密处理,并在密文中嵌入具备时效性的时间戳,来提高签名算法的安全性;其次,在基于身份的环签名基础上利用门限参数提取算法引入门限值t,使签名过程的效率得到提高,并将无需维护公钥证书和加解密速度快的SM9算法与门限环签名相结合,既保留了门限环签名的特性,又提高了签名算法的效率;最后,在随机预言模型下证明了GMTRS方案具有适应性选择消息攻击下的不可伪造性.与现有方案相比,该方案具备不可伪造性、匿名性、抗重放攻击性、前向后向安全性等优势.效率分析表明,GMTRS方案在签名生成和验证阶段的效率分别提升约52.38%和32.16%.并且门限值t的变化,对方案总体计算开销影响较小.

    国密算法门限环签名身份标识密码算法不可伪造性可证明安全

    改进RetinaNet特征融合方式的无人机检测方法

    马田源孙涵
    103-109页
    查看更多>>摘要:常见的目标检测方法如R-CNN系列方法、YOLO系列方法和RetinaNet等,虽然在通用数据集上有着不俗表现,但是在无人机小目标检测任务中的表现却不尽如人意.分析原因是这些方法采用的传统特征金字塔融合网络FPN存在着上采样失真、语义信息衰减以及深层语义差异的问题,导致目标检测网络未能获取足够有辨识度的特征,致使其在无人机小目标检测任务中表现不佳.对此,该文提出了一种基于RetinaNet网络的多尺度特征融合方法.该方法采用像素洗牌上采样模块构建了像素洗牌融合网络,并且引入了深层语义增强模块,可在多尺度特征融合阶段提升无人机小目标在网络浅层的特征表示效果,进而提升深度神经网络对无人机小目标的检测性能.最后在自建蜂群无人机数据集上的实验结果显示,引入新的特征融合方法之后,网络对无人机的检测精度达到91.2%,提升了1.7%.

    小目标检测无人机检测RetinaNet特征融合深度学习

    基于知识提取的测试文档自动生成

    孙晓韩李宁于杨杨子仪...
    110-116页
    查看更多>>摘要:测试文档是产品的重要组成部分,与测试数据紧密相关,且有严格的编制要求.针对以往测试文档编写中存在的重复繁琐、灵活性不高、效率低下等问题,运用数据到文本的生成理论,该文提出了一种基于知识提取的测试文档生成方法.该方法首先对原始的测试记录数据进行分析和理解,重点进行电子表格的表头识别和单元格关联关系识别,抽取出表格数据的逻辑关系;再根据规范化的测试本体,转换成规范的知识表达,形成测试知识的结构化表示并记录于测试知识库中;最后通过局部文档模板的填充,逐步形成整体的测试文档.该方法解决了灵活多变的测试记录导致的软件重复开发的一系列问题,有利于测试结果的有效利用.此外,自底向上的文档构造方式有助于按需展现内容,提高测试文档的可读性.

    文档生成知识提取表格识别计算机辅助写作软件测试

    面向未登录词及多义词的共现性词嵌入改进

    李保珍顾秀莲
    117-122页
    查看更多>>摘要:基于语料库构建词语语义性向量的词嵌入模型,可以定量刻画词语的上下文语义.然而,传统的词嵌入模型在揭示一词多义词汇的语义时,存在着语义空间向量维度不确定或缺乏直观可解释性等局限,此外,对于词汇表外未登录新词语的语义性嵌入识别,尚缺乏有效的途径.针对一词多义问题和未登录词问题,可将词嵌入的优势和词共现的优势相融合,以弥补传统词嵌入模型的语义空间维度不确定、语义维度不可解释及未登录词忽略等方面的不足.主要创新工作包括:基于训练后的词嵌入矩阵与单词归一化的共现矩阵,构建全局性语料词向量;为未登录词创建语料词向量,并与全局性语料词向量进行权重融合,以提高词嵌入的精确率.通过公开数据集的两项实验结果表明,基于词共现的一词多义及未登录词嵌入模型,可有效提升词嵌入的精确度,并可缩短词嵌入的进程时间.

    词嵌入未登录词多义词共现矩阵词向量

    基于改进RFM模型的电商用户价值分类的研究

    师奥翔张洁
    123-128页
    查看更多>>摘要:互联网行业数据量的不断积累膨胀,使得企业内保存了大量的原始数据和各种业务数据.如何有效地对这些数据加以利用,并构建出精准的用户画像系统是每个电商企业发展战略中的重要一环,能够帮助企业更准确地洞察用户的需求,而RFM模型对用户价值的精确分类又是构建用户画像系统的关键.该文提出了一种基于改进的RFM模型的电商用户价值分类方法.该方法通过增加对用户分析的指标,先利用层次分析法对指标进行两两打分、构成判断矩阵、确定各个指标的权重值,然后以肘部法则和轮廓系数为标准,选择出聚类效果最佳的K值,用K-Means‖聚类算法对用户价值进行分类.最后,通过对某电商用户行为数据集进行实验并与其他RFM模型进行对比实验,结果分析表明,该RFME模型与传统的RFM模型和一些改进的RFM模型相比轮廓系数更高,价值分类体系更加客观,具有更精确、更快速的用户分类效果.

    用户画像RFM模型用户分类层次分析法K-Means‖聚类算法

    基于模糊粗糙集的公共文化服务效能评估方法

    郭帅高全力邵连合
    129-135页
    查看更多>>摘要:公共文化服务效能评估是衡量公共文化机构所提供服务的成效与供给能力的重要依据.实际评估中由于场馆基础建设不统一、评估方法多以主观性评估为主,难以对文化机构服务效能进行客观准确的评估.为解决上述问题,该文提出一种融合模糊粗糙集与多输入神经网络的公共文化服务评估模型.结合陕西地区公共文化机构发展水平,基于国家公共图书馆定级标准构建了效能评估指标体系.通过模糊粗糙集模型对指标集进行约简,在保证信息完备的情况下消减冗余和稀疏指标项.通过CRITIC法计算场馆评估指标的客观权重,将其与专家主观经验赋权同时输入网络模型,最终生成融合主客观数据的公共文化机构评估模型.实验结果表明,模型能较好克服数据集稀疏和指标集冗余的问题,且评估准确性较其他方法有所提升.

    公共文化服务效能评估模糊粗糙集CRITIC法多输入神经网络