首页期刊导航|计算机应用与软件
期刊信息/Journal information
计算机应用与软件
上海市计算技术研究所 上海计算机软件技术开发中心
计算机应用与软件

上海市计算技术研究所 上海计算机软件技术开发中心

朱三元

月刊

1000-386X

cas@sict.stc.sh.cn

021-62520070-505/112，62524515

200040

上海市愚园路546号

计算机应用与软件/Journal Computer Applications and SoftwareCSCD北大核心CSTPCD
查看更多>>本刊面向从事计算机应用软件技术开发的科研人员、高等院校师生、科技管理专业人员等。主要报道计算机在各个领域中的应用技术成果。内容翔实，富有创新性、科学性、实用性，是一本颇具参考价值的刊物。
正式出版
收录年代

    分布式带电粒子催化人工降雨雪远程综合控制系统

    杨洲吴其其张明郑玮...
    1-4,67页
    查看更多>>摘要：为了解决传统人工降雨技术存在的限制和不足,各国都在积极开展新型人工降雨技术的研究,带电粒子催化人工降雨技术就是新型人工降雨技术的一种,该方法通过架设在野外的带电粒子发生器基站产出带电粒子催化降雨.进行带电粒子催化人工降雨雪实验需要远程控制基站中的各个实验设备,并对实验区域内的气象数据进行实时监测,因此需要实现一个综合控制系统.根据实验的具体需求实现了该系统,系统与不同类型设备连接的软件接口基于大型实验系统控制框架CFET开发,可以便捷地添加设备和管理设备.该系统被设计为通过网络连接的分布式系统,能满足多个实验点集中控制的需求.

    人工降雨雪控制系统数据采集

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

    基于Monad的可认证数据结构

    贺新征光焱祝跃飞
    5-13,59页
    查看更多>>摘要：采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义.由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性.优点是新语言特性的设计者无须深入了解修改编译器语法树,也无须修改源语言的语法,即可完成程序语言编译器之间语义的移植.

    可认证数据结构范畴理论类型理论函数式编程程序语言设计

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

    面向大规模多版本软件系统的代码克隆检测加速技术

    方维康吴毅坚赵文耘
    14-20页
    查看更多>>摘要：在软件系统中,相同或相似的代码片段称为代码克隆.目前研究人员已经提出了一些克隆检测方法.这些方法通常仅针对软件系统单个版本进行克隆检测,而在部分场景下,如构建克隆演化谱系时,需要对系统每个版本进行克隆检测,则尤为耗时.为此,提出一种针对多版本软件系统的克隆检测加速技术,可以快速得到每个版本的克隆情况.该技术通过版本间方法映射技术为不同版本代码内容高度相似的同一方法构建方法版本组,选取每个方法版本组中最早的版本作为样本方法,样本方法的集合构成历史映像,对历史映像进行克隆检测,同时建立样本方法和方法版本组间的方法索引.根据历史映像克隆检测结果及方法索引恢复原始的全量克隆关系.采用该克隆检测加速技术在251个开源项目的3234个版本共计3亿行代码上进行克隆检测实验,与未加速相比,效率提升了近4倍.

    代码克隆克隆检测历史映像方法版本组

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

    基于LLVM的C/C++隐式类型转换安全性检测

    万明刘嘉华鄂龙慧朱江...
    21-26,45页
    查看更多>>摘要：带有系统底层特性的高级语言(C、C++等)通常采用的是弱类型系统,允许不同类型变量之间的混合运算.因此,在涉及到赋值等操作时,如果源变量和目的变量类型不一致,则需要进行类型转换,而转换过程稍有疏忽就会引入安全性问题.现有的检测技术大多在程序运行时进行类型转换问题的检测,产生较大额外开销的同时,也会影响程序的执行速度.基于LLVM编译器提出一种针对C/C++隐式类型转换的安全性检测方法.该方法作用于LLVM中间代码,筛选出含有变量声明和引用的语句;对于声明变量的语句,提取其类型信息并按相应的数据结构存储;对于引用变量的语句,匹配定义的类型转换的不安全操作集和转换模式,以检测其中的类型转换操作是否安全.实验结果表明,该方法能够在编译阶段有效地检测出存在安全隐患的类型转换操作.

    类型转换静态检测安全性LLVM

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

    基于微服务理念的三调数据共享管理平台研究与实现

    陈青赵俊三王涛江新飞...
    27-31页
    查看更多>>摘要：针对第三次全国国土调查(以下简称三调)及其成果数据管理与共享的要求,研究基于微服务理念的数据共享管理平台的实现方法与技术.以Spring Cloud为框架,根据实用性、规范化、高性能、可扩展性、安全性、时效性等原则,采用GeoServer、OpenLayers、ArcEngine、SSO单点登录、PostgreSQL+PostGIS等计算机技术,利用异步多任务分析调度机制为三调数据库的管理应用、统计分析、更新维护、接收上报和数据备份等日常工作提供系统支持,从而实现三调数据在州市级层面上的集成管理、综合应用及可公开成果互联共享.经过实际调试,系统运行良好,共享实时性高,很好地满足了三调成果共享应用的需求,并具有良好的扩展性.

    数据共享微服务理念数据管理第三次全国国土调查

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

    基于深度学习的普通金属矿石快速分拣系统的研究

    许志勇马小林陈壮周炜程...
    32-38页
    查看更多>>摘要：刚开采的金属矿石存在大量泥块混合物,需要进行重复的洗矿操作,耗费大量水资源和机器资源,对于粘结性强的泥块还需要后期人工分拣.传统方法一般是通过改造洗矿工艺来减少含泥量,但是改造成本高,不能有效应对较大的泥块,为此提出一个基于深度学习的矿石粗分拣的系统.通过普通RGB摄像头实时采集矿泥混合物图像,并无线传输到服务器端;引入SSD512目标检测框架作为系统核心算法,对矿石和泥块进行识别,并返回目标分类置信度和位置信息的回归;由识别结果控制分拣装置分拣出泥块.实验验证结果发现识别的平均精确率达到91％,识别的速度达到了0.05 s每幅图片.

    矿石分拣系统深度学习目标检测无线传输

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

    基于DEPSO算法的多无人机绕检机队规模优化方法

    高庆吉谈政管若乔
    39-45页
    查看更多>>摘要：为提高民航客机航前航后绕检效率、减少人工成本,研究无人机绕检时多机协作的机队规模优化算法.从多机协作的航迹规划出发,构建客机外观绕检模型,并采用栅格法对绕检作业空间进行离散化;建立航迹规划的约束条件,设计航迹规划代价函数;采用基于差分进化粒子群算法(DEPSO)对机队规模优化,引入差分进化更新粒子群,通过自适应方法调整粒子的惯性权重.仿真结果表明,所研究的方法可获得代价函数指标下的最佳机队规模.

    绕检无人机代价函数差分进化粒子群算法

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

    基于双层动态网络的语言竞争微观仿真模型

    王志萍毕贵红张寿明曾振华...
    46-59页
    查看更多>>摘要：城镇化背景下,社会网络弱连接关系增强,对弱势语言保护提出了挑战.引入虚拟镜像概念构建了新的社会网络.以二进制字串代表agent的内部词汇结构,给出改进的agent语言水平传播和垂直传播公式;增加了教师节点与学习者节点构成的星型教学网络,构建了语言水平、垂直传播网络和语言教学网络组成的二层语言竞争动态社会网络微观仿真模型.针对我国目前弱势语言存在三类语言保持类型进行了动力学特性仿真分析和政策调控计算实验.认为语言态度提升和双语教学实施有利于弱势语言的恢复和保持,为现代社会网络条件下的弱势语言保护探索了新的机制.

    社会圈子语言竞争语言态度双语教学计算实验

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

    基于结合情景上下文的FHMM负荷分解方法

    魏海浩刘爱莲李英娜
    60-67页
    查看更多>>摘要：负荷监测是实现智能用电的关键技术,为了实现非侵入式负荷检测,提出一种结合情景上下文的因子隐马尔可夫(FHMM)负荷分解方法.运用FHMM模型对负荷进行建模.根据电器工作状态的功率服从高斯分布,运用高斯混合模型进行电器状态聚类.结合情景上下文信息,对负载设备的状态转移概率进行优化消除冗余状态转移概率,对状态空间以及状态转移路径进行约束降低维特比算法的复杂度.基于REDD数据集验证了该方法的有效性和准确性.

    非侵入式负荷监测因子隐马尔可夫模型电器状态聚类情景上下文

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

    基于孤立森林算法的挤压机流数据异常检测

    许志城印四华朱成就
    68-74,87页
    查看更多>>摘要：挤压机流数据异常检测是一个典型的多维时间序列流数据异常检测问题.在工业环境中,挤压机流数据不仅存在概念漂移问题,还存在噪声问题.为了检测出挤压机在运行中可能存在的设备状态异常,提出一种基于孤立森林算法的挤压机流数据异常检测方法.针对数据集中存在噪声无法正确反映设备状态的问题,算法抽取数据的序列特征用来表示设备在某一时间段的状态,避免了噪声数据对异常检测效果的影响.同时,在半空间孤立森林(HS-Trees)算法的基础上做进一步改进,解决原算法中存在的结果反馈延迟问题,使其能更好地适应流数据应用场景.实验显示,该算法不仅可以实时地检测出挤压机在运行中存在的状态异常,还具有较高的准确性.

    异常检测孤立森林挤压机流数据多维时间序列

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