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

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

朱三元

月刊

1000-386X

cas@sict.stc.sh.cn

021-62520070-505/112，62524515

200040

上海市愚园路546号

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

    多态性λ-演算的直观建模

    阿力木江·亚森阿布都克力木·阿布力孜沙尔旦尔·帕尔哈提哈里旦木·阿布都克里木...
    1-8页
    查看更多>>摘要：命名绑定是在形式系统中的核心概念之一。至于简单性和直观性，现有的命名绑定技术有其优缺点。通过建模语言HyperLMNtal将一种基于超图重写的命名绑定技术应用于具有子类型和结构类型的多态性λ-演算(或System F<:)的类型检查和按值调用的建模，并使用PoplMark挑战的基准测试进行测试。实验结果表明该技术适合于复杂形式系统的快速建模，因为它使程序员无需理论的重新形式化即可将理论转化为实践。

    多态性λ-演算命名绑定图形重写建模

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

    基于ELKB+Kafka的CFETR PCS日志管理系统的设计与实现

    武坤玉袁旗平张睿瑞
    9-14,115页
    查看更多>>摘要：等离子体控制系统(PCS，Plasma Control System)是托卡马克装置运行的关键系统，控制等离子体放电全过程并提供装置安全的第一级保护。基于开源的实时日志管理平台ELKB，并引入消息中间件Kafka，为中国聚变工程实验堆(CFETR，China Fusion Engineering Test Reactor)的PCS设计了日志管理系统，解决了现有的PCS日志系统对于日志信息的查看很不方便，并且信息冗杂，也无数据归档的问题，实现对PCS日志的关键出错信息的查看、相关错误发生时间的查询、自定义检索过滤条件、按照日期查看操作记录，以及持久化存储等功能。目前该系统已实现在东方超环(EAST，Experimental Advanced Superconducting Tokamak)上的部署并成功应用。

    PCS日志ELKBKafkaCFETREAST

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

    GPU异构集群的协同计算引擎设计研究

    李清清于欣宁王海峰
    15-22,28页
    查看更多>>摘要：GPU与多核CPU的协同可提高大数据计算效率，然而用户需要同时考虑应用领域内的并行算法逻辑和协同计算过程，为GPU异构协同计算增加了编程难度。所以，在分析GPU异构集群节点之间和节点内协同计算的基础上抽取流程逻辑，提出一个粗细粒度相结合的协同计算引擎，自动生成协同执行计划，用户只需关注应用领域算法的设计和实现。实验表明，该方法与人工编程方案对比发现性能损失控制在 4。2%以内。因此该协同计算引擎能够用于GPU通用计算开发应用中，可有效改善普通用户的开发效率。

    GPU协同计算有限自动机计算引擎模板技术

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

    一种新的面向移动云下载的预压缩文件同步机制

    喻宇胥钟予张兴李永刚...
    23-28页
    查看更多>>摘要：远程文件的快速同步是移动云下载、Web镜像、远程系统备份等网络场景的基础技术，当前，在Linux操作系统下广泛使用Andrew Tridgell提出的rsync算法。提出一种新的面向移动云下载的预压缩文件同步机制，通过在终端引入缓存及信息重用，能显著减少终端计算量并降低网络带宽需要。结果表明，在rsync基础上实现的改进算法，通过信息的重用和缓存，可以简化计算并显著减少传输的数据量，尤其适合于能耗敏感的移动云下载等远程文件同步场合。

    移动云下载文件快速同步信息重用能耗敏感

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

    靶向预警信息发布系统设计与应用研究——以广州市为例

    黎洁仪梁家鸿石伟伟黄华栋...
    29-33页
    查看更多>>摘要：针对目前靶向技术应用仍无法满足把预警信息优先发送给灾害落区实时人群的问题，采用基于地理信息系统和运营商大数据分析技术，研究运用靶向技术和手机短信发布优势进行精准区域预警发布的推送策略，设计广州靶向预警信息发布系统。实例表明:与群发和分区等发布设计相比，该系统可根据突发事件的实时动态做到定向、快速、全覆盖式服务，让预警信息精准直达一线受影响人群。

    大数据靶向技术预警发布区域搜索

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

    区域机场群航班运营模式多角度可视分析

    贺怀清史崇莹刘浩翰惠康华...
    34-42,137页
    查看更多>>摘要：针对区域机场群内客运流量不均衡和协同性差的问题，提出多角度获取机场群航班运营模式的可视分析方法。设计网格化两层空间树图避免同一视图呈现大规模通航数据时细节信息的丢失，设计机场运营日模式聚类分析方法避免数据时序特征分析的不完整，设计机场容量曲线视图有效估计机场容量。结合层次聚类法和多视图协同分析，设计VA-AirportsOM系统，实现航班运营模式从概览到细节的探索式分析。案例分析和用户测评表明上述可视分析方法能有效帮助分析人员快速获取机场群存在的问题及各机场出现异常情况的时间节点，从而对机场协同做出指导性建议。

    区域机场群航班运营模式多维时空数据多角度可视分析

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

    轻量级网络识别红外图像中电气设备及其热故障

    张惊雷李婉欣赵俊亚温显斌...
    43-48,76页
    查看更多>>摘要：提出一种适合边缘计算设备的轻量级卷积神经网络(LightweightES)用于识别热像中的电气设备及其异常发热故障。为达到减少模型参数的同时提升检测精度的目标，对经典SSD进行改造，利用MobileNetV3 轻量级网络作为特征提取骨干网络，快速高效地提取图像特征;引入高效通道注意模块ECA，提高网络的检测精度;采用软池化(SoftPool)方法以减少池化信息损失，提高网络的分类精度。建立并标注含10 516 幅电气设备红外图像的数据集，含电流互感器、避雷器、绝缘子、隔离开关、断路器、套管等 6 种户外变电站设备。实验结果表明:LightweightES算法mAP达93。8%，较SSD提高了7。5 百分点，参数量仅为SSD的1/5，检测帧率达55 FPS，能够实时准确地识别电气设备及其局部温度异常故障，适用于算力有限的智能现场监测终端。

    电气设备红外图像目标检测轻量级网络通道注意池化

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

    基于时延估计与时序加权的水泥窑温度预测

    许潇雷绍俊印四华王中琰...
    49-55页
    查看更多>>摘要：针对水泥窑温度预测模型未考虑输出值对过程参数的时延影响问题，提出一种模糊曲线动态时延估计和时序加权的方法。根据模糊曲线确定各参数的总体时延，再利用自适应滑动窗计算动态时延;引入高斯函数进行时序加权，获得最具因果关系的输入-输出样本;使用分层极限学习机训练和建立水泥窑窑头温度预测模型。实验结果表明，考虑动态时延信息以及时序加权有助于提高水泥窑温度预测模型的预测精度。

    水泥窑温度预测模糊曲线分析动态时延估计时序加权

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

    基于无差拍重复控制的级联H桥APF的研究

    王云亮李子晨吴艳娟
    56-62,145页
    查看更多>>摘要：针对传统无差拍控制稳态精度低、动态特性较好，而传统重复控制稳态精度高、动态特性不佳的问题，将二者融合，提出一种复合控制策略，实现优势互补。并将其应用在级联H桥七电平的拓扑结构中，大幅提高APF的耐压等级。在MATLAB中搭建仿真，将无差拍控制、重复控制与复合控制进行对比，仿真结果表明，该复合控制策略兼具良好的动态特性与稳态特性，能够有效补偿谐波，改善电网质量。

    有源电力滤波器无差拍控制重复控制级联H桥

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

    交流包络调制无线电能传输系统恒压输出研究

    张莲杨洪杰张路经廷伟...
    63-68页
    查看更多>>摘要：针对交流包络调制无线电能传输系统恒压输出的问题，通过对串联/串联型交流包络调制无线电能传输系统模型的分析，得到使系统输出电压保持恒定的约束关系;选择在一次侧加入改进型AC-AC Boost变换器以实现系统的恒压输出，分析并设计变换器的控制逻辑;通过搭建仿真模型，仿真验证所设计系统的可行性。仿真表明，所设计的交流包络调制无线电能传输系统不仅可满足恒压输出要求，还拥有低谐波、高功率因数的优点。

    无线电能传输交流包络调制串联/串联恒压

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