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

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

朱三元

月刊

1000-386X

cas@sict.stc.sh.cn

021-62520070-505/112，62524515

200040

上海市愚园路546号

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

    非线性方程组求解器全局优化求解能力对比研究

    程培澄程培聪王萌邵宇辰...
    1-10,24页
    查看更多>>摘要：首次总结提出一套共14道低维但高难度非线性方程组案例题集,从效果与效率两方面对比测试了国内外目前认可度很高的5款优秀全局优化求解器Baron、Antigone、Couenne、Lingo和1 stOpt,给出这5款求解器在非线性方程组全局优化求解能力方面的综合表现及排名,探讨了非线性方程组求解过程中"除法陷阱"和"冗余项影响"问题及解决方法,确定性优化算法的优缺点以及全局最优化求解器研发者的"卡耐基梅隆"及"跨行业"现象.

    全局最优化非线性方程组优化求解器

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

    基于B/S架构的实时系统建模验证工具

    石安张卓若代立云
    11-17,34页
    查看更多>>摘要：实时系统的建模与验证是实时系统开发过程中不可或缺的环节.由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性,在考虑UPPAAL缺点的同时结合实际应用需要,设计并实现基于B/S架构的实时系统的建模和验证工具.该工具通过浏览器即可访问,提供良好建模操作体验的同时支持多用户进行项目团队管理.使用该工具编辑运行具体实例,验证了实例系统的可达性、安全性等性质,获得了预期的正确结果,完成了该工具的功能测试.

    实时系统时间自动机形式化验证

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

    Android系统微信数据多重融合恢复方法

    朱兵蒋烈辉葛方丽薛兵...
    18-24页
    查看更多>>摘要：传统的微信数据恢复方法严重依赖于微信应用数据库的主库文件,且恢复效果会因不同手机型号和微信版本产生巨大差别.针对以上问题,提出一种Android系统微信数据的多重融合恢复方法,该方法在深入分析SQLite数据库存储结构的基础上,从微信索引库及其回滚日志文件中提取数据源,并将其与主库数据源进行融合,分别设计索引库恢复算法、索引库回滚日志恢复算法和融合对比去重算法,实现了微信被删除数据的高效恢复.通过实验,微信数据恢复率达到了59.5％,验证了多重融合方法的可行性,通过与传统微信数据恢复方法的对比,恢复率提高了40百分点,明显提高了数据恢复的完整性.

    数据恢复SQLite索引库回滚日志多重融合

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

    大型软件中的QF快速集成机制及自动选择算法

    向尕张仰森
    25-29,93页
    查看更多>>摘要：快速集成QF(Quick Fix),稳定地提高软件质量,是大型软件产品交付前一个重要且较难处理的问题.基于软件持续集成的研究,提出基于QF模式的快速集成机制,并提出QF自动选择算法.此机制及算法能兼顾提高产品质量与保证交付时间,具有以下优点:产品的软件包不需要重新编译;已经测试过的用例不需要重新测试;对于最终用户来说,所有软件问题补丁自动选择、自动安装、自动检测安装日志;支持产品的不同硬件配置;具有可扩展的体系结构设计,每次集成新的QF,代码修改量极小.实验及实践证明,此机制及方法适用于大型软件的集成与验证,在保证产品按期交付的同时,能有效提高产品质量,并大大缩短用户安装和检测日志的时间.

    持续集成快速集成QF集成自动选择算法集成测试

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

    一种软件可视化快速开发平台的设计与实现

    单文金张政卞德志胡昌平...
    30-34页
    查看更多>>摘要：软件可视化快速开发平台是一种基于页面可视化配置引擎式快速构建软件的平台,该平台在船舶行业领域内具有创先性.通过平台可以降低开发人员的技术能力要求,极大缩减代码甚至可以实现无代码开发完整软件.基于开发平台开发的上线软件包括中船军工建设项目管控系统、中船固定资产投资管理系统、中船产品质量信息系统、某大型船厂智能管家系统等,支撑软件的开发上线结果表明,软件可视化快速开发平台可以极大提升软件开发效率,降低软件开发成本,并且软件具有良好的稳定性和扩展性.

    可视化开发开发平台对象模型页面设计器引擎

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

    高可用厂级监控信息系统设计和应用

    张雄肖平郭赉佳于魁...
    35-41,70页
    查看更多>>摘要：对厂级监控信息系统(SIS)的网络架构进行分析,指出其中存在的问题,提出并联交叉冗余的SIS架构,对其设计思路、配置方法和技术特点进行说明.用概率分析法对并联交叉冗余SIS和常规SIS的可靠性进行计算,得出以下结论:随着SIS使用年限的增加,单个设备的故障率越高,并联交叉冗余架构对于提高SIS可靠性的作用越明显.交叉冗余架构只需要软件设置和网线切换,无额外硬件投入,因此该方法的技术经济性高,适合在工程中推广.

    高可用厂级监控信息系统交叉冗余自动切换正向隔离

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

    基于Elman神经网络的COVID-19传播特性预测

    刘拥民罗皓懿胡珊
    42-48,140页
    查看更多>>摘要：基于整个新型冠状病毒肺炎(COVID-19)疫情发展过程中所呈现的特点,在有限的数据情况下,使用过去事件中新增感染人数、媒体宣传力度、政府隔离强度以及公共场所消毒程度等因素作为动态信息来训练El-man神经网络,用以学习COVID-19疫情发展情况,使得Elman神经网络掌握疫情的传播规律.通过模拟仿真,发现经过有效训练后的Elman神经网络具备对COVID-19传播发展的各个关键时间节点进行精准预测的能力,实验数据表明:预测的疫情发展时间关键节点与实际疫情发展情况基本吻合.

    Elman神经网络预测控制措施COVID-19

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

    阵列处理器上一种基于DFGSP的分像素插值算法实现

    胡传瞻蒋林朱筠谢晓燕...
    49-53,103页
    查看更多>>摘要：提出一种基于深度优先贪婪搜索(Depth First Greedy Search Partitioning,DFGSP)的分像素插值任务划分映射方法,采用任务并行的方式,按深度优先搜索节点的方式减少子任务之间的通信量.对分像素插值算法的数据流图划分后设计合理并行方案,以极大限度利用处理元为原则进行贪婪搜索,并在项目组前期研究的阵列处理器(DPR-CODEC)上加速实现.实验表明,该方法执行时间远低于两步搜索方案,与未优化的原始HEVC插值滤波器相比,硬件资源占用减少72％.

    任务划分阵列处理器深度优先贪婪搜索分像素插值

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

    高分六号卫星的交叉辐射定标研究

    纪睿谢勇余涛陈雪薇...
    54-58,146页
    查看更多>>摘要：为了能够检测高分六号卫星的辐射性能并准确地计算出高分六号卫星的辐射定标系数,利用高分六号卫星的成像特性,主要针对辐射定标区域和卫星自身成像特性对交叉辐射定标方法进行了优化,从而计算得到了高分六号卫星的增益和偏移.结果表明多场地交叉辐射定标法各场地的不确定度分别为1.94％、1.91％、1.92％、2.77％都在4％以内,远低于单场地交叉辐射定标法得到的不确定度,提高了定标的精度.

    高分六号卫星几何校正交叉定标法不确定度多场地

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

    基于局部邻域标准化和核主元分析的故障检测

    曾静李磊李元
    59-63,86页
    查看更多>>摘要：针对工业过程的多模态和非线性特性,提出一种基于局部邻域标准化(Local Nelghbor Standardization,LNS)和核主元分析(Kernel Principa Component Analysis,KPCA)相结合的故障检测方法(LNS-KPCA).通过计算训练数据集中样本之间的距离来确定每一个样本的最近K近邻集合,然后利用该K个近邻集的均值和标准差对当前样本进行标准化处理,以消除过程数据的多分布特征,使得标准化后的数据服从或近似服从同一正态分布,结合核主元分析能够处理非线性过程的特征,在标准化后的数据集中应用KPCA确定T2和SPE控制限进行故障检测.在非线性数值例子和青霉素发酵过程中进行了仿真研究,并与主元分析(Principal Component Analysis,PCA)、KPCA和K近邻故障检测(FD-KNN)等方法进行对比分析验证了该方法的有效性.

    局部邻域标准化核主成分分析青霉素发酵过程故障检测多模态

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