1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
    第十六届全国软件与应用学术会议 栏目所有文章列表
    (按年度、期号倒序)
        一年内发表的文章 |  两年内 |  三年内 |  全部
    Please wait a minute...
    选择: 显示/隐藏图片
    1. 一种面向多租户的Linux容器集群组网方法
    朱瑜坚, 马俊明, 安博, 曹东刚
    计算机科学    2018, 45 (9): 46-51.   DOI: 10.11896/j.issn.1002-137X.2018.09.006
    摘要284)      PDF(pc) (2649KB)(963)    收藏
    目前,越来越多的云平台开始采用容器组成的集群为云服务提供运行环境,而如何在多租户环境下为用户的容器集群提供高效且可用的网络成为了一个重要的技术问题。对此,以Linux容器为例,提出了一种面向多租户的Linux容器集群组网方法。这种方法参考了Kubernetes的组网方法,并在其基础上简化了网络结构,并引入了网络隔离,使得构建的网络能够满足多用户场景下的需求。文中描述了此种组网方法在小规模和大规模应用场景下的设计和它在虚拟云操作系统Docklet中的实现,实现的代码是开源的,并且进行了实验与评估。实验证明,这一组网方法所构成的虚拟网络与原生网络的性能相当接近,其TCP出口下行带宽与原生网络相差0.4%以内,而TCP内部通信带宽只损失了约3.39%,且对批处理型应用和长服务型应用都有良好的支撑。
    参考文献 | 相关文章 | 多维度评价
    2. 面向机载软件适航审查的软件计划阶段的证据模型
    袁巍, 吴际, 刘超, 杨海燕
    计算机科学    2018, 45 (9): 52-59.   DOI: 10.11896/j.issn.1002-137X.2018.09.007
    摘要377)      PDF(pc) (4547KB)(2486)    收藏
    适航认证对机载软件至关重要,178C标准是重要的适航认证安全标准。Order8110.49指南提出了介入审查的适航认证方法,但是目前还未有对介入审查中软件计划阶段的178C目标符合性证据的研究。文中基于软件计划阶段需要审查的目标和DO-178C标准中针对目标的特征描述,提出了3种模型(标准证据模型、项目制品模型、项目相关证据模型),并通过项目相关证据模型向项目证据数据模型的转换生成证据信息检查单,确定了证据信息的来源。建立证据模型的审查方法为软件计划阶段的审查提供了证据收集的指导,减少了证据收集过程对审定方审定人员的依赖,提高了审查效率。最后,通过一个机载飞行显示器软件的案例说明了提出的证据模型具有可用性与有效性。
    参考文献 | 相关文章 | 多维度评价
    3. 一个基于Web的轻量级大数据处理与可视化工具
    李炎, 马俊明, 安博, 曹东刚
    计算机科学    2018, 45 (9): 60-64.   DOI: 10.11896/j.issn.1002-137X.2018.09.008
    摘要423)      PDF(pc) (3529KB)(1185)    收藏
    科研人员在日常研究中经常使用Excel,Spss等工具对数据进行分析加工来获得相关领域知识。然而随着大数据时代的到来,常用的数据处理软件因单机性能的限制已经不能满足科研人员对大数据分析处理的需求。大数据的处理和可视化离不开分布式计算环境。因此,为了完成对大数据的快速处理和可视化,科研人员不仅需要购置、维护分布式集群环境,还需要具备分布式环境下的编程能力和相应的前端数据可视化技术。这对很多非计算机科班的数据分析工作者而言是非常困难且不必要的。针对上述问题,提出了一种基于Web的轻量级大数据处理和可视化工具。通过该工具,数据分析工作者只需通过简单的点击和拖动,便可以在浏览器中轻松地打开大型数据文件(GB级别)、快速地对文件进行定位(跳转到文件某一行)、方便地调用分布式计算框架来对文件内容进行排序或求极大值、便捷地对数据进行可视化等。实证研究证明,该解决方案是有效的。
    参考文献 | 相关文章 | 多维度评价
    4. 融合SMOTE与Filter-Wrapper的朴素贝叶斯决策树算法及其应用
    许召召, 李京华, 陈同林, 李昕洁
    计算机科学    2018, 45 (9): 65-69.   DOI: 10.11896/j.issn.1002-137X.2018.09.009
    摘要413)      PDF(pc) (2734KB)(851)    收藏
    如何对以“工业4.0”为背景的物联网智慧医疗系统所产生的医疗数据进行高效且准确的挖掘仍然是一个十分严峻的问题。而医疗数据往往是高维的、不平衡的和有噪声的,因此提出一种新的数据处理方法——将SMOTE方法与Filter-Wrapper特征选择算法融合,并将其应用于支持临床医疗决策。特别地,所提方法不仅克服了朴素贝叶斯在属性实际应用中因属性独立假设而造成的预测不佳的情况,而且避免了C4.5决策树在构建模型时的过拟合问题。将所提算法应用于ECG临床医疗决策中,取得了很好的效果。
    参考文献 | 相关文章 | 多维度评价
    5. 多核平台上针对seL4的分区机制研究
    丁贵强, 王雷, 王鹿鸣, 康乔
    计算机科学    2018, 45 (9): 70-74.   DOI: 10.11896/j.issn.1002-137X.2018.09.010
    摘要461)      PDF(pc) (1511KB)(1010)    收藏
    在航空电子等嵌入式领域中,多核时代已经来临,如何充分利用多核成为了现在系统领域的研究热点。同时由于系统集成度越来越高,一个硬件平台可能需要同时运行不同安全级别的任务,这就需要操作系统为应用提供隔离与保护。为了解决这两个问题,文中在目前只支持单核的seL4的基础上分别加入多核和分区隔离的支持,之后又提出多核和分区机制相结合的方案,实现了带分区机制的多核seL4。最终将其运行在qemu模拟器上,分区机制的实现符合ARINC653标准的语义。
    参考文献 | 相关文章 | 多维度评价
    6. 硬件系统自动化测试的多视角建模及案例研究
    孟翰, 吴际, 胡京徽, 刘超, 杨海燕, 孙新颖
    计算机科学    2018, 45 (9): 75-80.   DOI: 10.11896/j.issn.1002-137X.2018.09.011
    摘要295)      PDF(pc) (2107KB)(742)    收藏
    针对硬件设备的自动测试设备(ATE)的开发通常是一个冗长、耗时的任务,开发者需要向来自不同领域的专业人员了解被测设备的外部端口、信号、测试流程和信号检查等多种类型的信息,逐步确定开发需求。在该过程中,ATE的开发人员面临的最大困难是缺乏一种规范的模型,以描述由不同合作方提供的测试信息,导致产出的测试文档篇幅长、不易理解,容易出现错误等问题。文中提出面向ATE领域的多视角建模方法来规范化地描述ATE中的测试信息并检查信息的一致性,最后以真实工业案例说明其有效性。
    参考文献 | 相关文章 | 多维度评价
    7. 数据需求驱动的Storm应用辅助开发框架
    周雯, 史雪菲, 吴毅坚, 赵文耘
    计算机科学    2018, 45 (9): 81-88.   DOI: 10.11896/j.issn.1002-137X.2018.09.012
    摘要258)      PDF(pc) (2366KB)(607)    收藏
    Storm支持流式数据的高性能实时计算,是一种广泛使用的流式计算框架。在Storm应用的开发中,开发人员需要针对不同的流式数据需求定制开发相应的计算模块,从而导致大量的重复工作,且难以适应数据需求的变动。如何根据流式数据格式和计算方式等数据需求,快速开发Storm应用并配置相应的环境,是提升大部分流式计算应用开发效率的重要问题。提出了流式数据需求描述方法,设计并实现了一种基于Storm的、由数据需求驱动的流式数据实时处理应用辅助开发框架,其根据业务人员描述的领域数据需求自动生成符合数据处理需求的Storm实时数据处理应用。实验表明,该框架能帮助不具备Storm开发能力甚至非软件开发人员快速配置常见的基于Storm的流式计算应用,对于常见的流式数据的实时处理需求具有一定的适应性。
    参考文献 | 相关文章 | 多维度评价
    8. 需求变更技术债务研究
    张云洁, 张璇, 丁浩, 王旭
    计算机科学    2018, 45 (9): 89-93.   DOI: 10.11896/j.issn.1002-137X.2018.09.013
    摘要277)      PDF(pc) (2700KB)(720)    收藏
    在软件生命周期中,需求不断发生变更,而需求决策往往取决于开发人员的偏好和权衡,缺乏一种系统的、明确的管理方法。针对软件生命周期中由不断出现的需求变更引起的技术债务,提出一种需求变更技术债务定义。通过对需求变更技术债务的定义、检测、量化和排序,为需求变更的实现顺序以及实现方式提供技术支持。最后通过实验验证了需求变更技术债务的概念和技术的可行性。
    参考文献 | 相关文章 | 多维度评价
    9. 面向机载设备自动化测试的信号模型
    胡京徽, 吴际, 孟翰, 刘超, 杨海燕
    计算机科学    2018, 45 (9): 94-98.   DOI: 10.11896/j.issn.1002-137X.2018.09.014
    摘要231)      PDF(pc) (1820KB)(573)    收藏
    在机载设备测试中,各种测试信号的准确定义和检测是保证飞行安全的关键因素。文中提出一种面向自动测试机载设备测试需求描述的信号模型,通过对机载设备测试需求中所涉及到的信号进行分类,以及将测试设备和被测设备之间传送的信号视作带有一组参数的动作,建立适用于自动测试机载设备需求描述的信号模型,旨在解决目前工业界中机载设备自动化测试需求中的信号规范描述问题。最后通过典型案例说明了该信号模型的特点和可行性。
    参考文献 | 相关文章 | 多维度评价
    10. 规则驱动的Android应用DFS测试技术
    叶佳, 葛红军, 曹春, 朱晋, 张营
    计算机科学    2018, 45 (9): 99-103.   DOI: 10.11896/j.issn.1002-137X.2018.09.015
    摘要250)      PDF(pc) (2476KB)(890)    收藏
    摘 要 GUI自动化测试是Android应用研究领域的重要组成部分,针对Android应用的GUI测试技术得到了广泛的研究。其中,基于DFS算法的GUI遍历测试技术得到了广泛的应用。然而,现有的DFS测试技术却仍然具有效率低下、覆盖率较低的问题。文中提出了结合外部预定义规则来驱动DFS自动化遍历的改进方法,以提高DFS自动化遍历的效率和覆盖率;基于规则驱动的改进方法实现了RDTA测试工具,进行了与Monkey以及无规则驱动下的DFS的对比实验,验证了该方法的有效性。
    参考文献 | 相关文章 | 多维度评价
    11. 基于Spark SQL的分布式全文检索框架的设计与实现
    崔光范, 许利杰, 刘杰, 叶丹, 钟华
    计算机科学    2018, 45 (9): 104-112.   DOI: 10.11896/j.issn.1002-137X.2018.09.016
    摘要299)      PDF(pc) (4086KB)(723)    收藏
    随着信息化的深入,大数据在各个领域产生了巨大的价值,海量数据的存储和快速分析成为新的挑战。传统的关系型数据库由于性能、扩展性的不足以及价格昂贵等方面的缺点,难以满足大数据的存储和分析需求。Spark SQL是基于大数据处理框架Spark的数据分析工具,目前已支持TPC-DS基准,成为大数据背景下传统数据仓库的替代解决方案。全文检索作为一种文本搜索的有效方式,能够与一般的查询操作结合使用,提供更加丰富的查询和分析操作。目前,Spark SQL仅支持简单的查询操作,不支持全文检索。为了满足传统业务迁移和现有业务的使用需求,提出了分布式全文检索框架,涵盖了SQL文法、SQL翻译转换框架、全文检索并行化、检索优化4个模块,并在Spark SQL上进行了实现。实验结果表明相比于传统的数据库,在两种检索优化策略下,该框架的索引构建时间、查询时间分别减少到传统数据库的0.6%/0.5%和1%/10%,索引存储量减少为传统数据库的55.0%。
    参考文献 | 相关文章 | 多维度评价
    12. 大数据驱动的开发者社区中知识交流网络的分析
    达一菲, 刘旭东, 孙海龙
    计算机科学    2018, 45 (9): 113-118.   DOI: 10.11896/j.issn.1002-137X.2018.09.017
    摘要302)      PDF(pc) (1695KB)(682)    收藏
    开发者社区一般包括博客、问答和论坛等多个版块,这些版块共同构成了用户贡献和交流软件开发知识的平台。文中以CSDN为研究对象,通过分析CSDN平台上积累的大数据构建了开发者知识交流网络,并基于复杂网络理论对其进行了分析,发现多版块的知识交流网络具有小世界、无标度等复杂网络特性。基于知识交流网络进一步分析了知识贡献者的分布情况,发现多版块用户中有较多的知识贡献者,其在知识交流网中起着比较重要的作用。
    参考文献 | 相关文章 | 多维度评价
    13. 面向问题的软件开发协同建模工具的研究与实现
    张晓, 李智, 赵子岩, 付昌兰, 李伟东, 禹月昆, 王超
    计算机科学    2018, 45 (9): 119-122.   DOI: 10.11896/j.issn.1002-137X.2018.09.018
    摘要296)      PDF(pc) (3259KB)(720)    收藏
    建模软件是辅助需求工程师分析的工具,在需求设计阶段必不可少。目前,很少有需求建模工具可以跨平台运行,支持在线多用户协同以及验证需求模型正确性和完整性等功能。鉴于问题框架方法在需求工程领域获得了较大关注,文中开发了一款用户体验较好、兼容多平台的计算机辅助问题框架建模软件。本研究解决了自动化校验问题图的正确性和完整性以及复杂问题图拆分等难题,实现了用户登录、云端数据库存储设计和多人协同建模和验证,从而构建了一个在线需求建模、共享和验证的平台。
    参考文献 | 相关文章 | 多维度评价
    首页 | 前页| 后页 | 尾页 第1页 共1页 共13条记录