首页期刊导航|计算机科学
期刊信息/Journal information
计算机科学
计算机科学

朱完元

月刊

1002-137X

jsjkx12@163.com

023-63500828

401121

重庆市渝北区洪湖西路18号

计算机科学/Journal Computer ScienceCSCD北大核心CSTPCD
查看更多>>本刊的读者对象是：大专院校师生，从事计算机科学与技术领域的科研、生产人员。办刊宗旨是：坚持“双百”方针，活跃计算机科学与技术领域的学术气氛，重点报导国内外计算机科学与技术的发展动态，为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。
正式出版
收录年代

    基于改进Marching Tetrahedra算法的锥体气象数据三维重建

    马俊成蒋慕蓉房素芹
    644-647,654页
    查看更多>>摘要：在气象领域中,多普勒雷达探测的气象数据采用空间极坐标的方式进行存储,探测到的气象目标具有分布不均匀、区域分散、形状不规则等特征.为了满足气象目标三维重建的需求,针对雷达数据特征对Marching Tetrahedra三维重建算法进行一定的改进.首先采用Barnes插值方法和傅里叶谱分析原理的插值方法分别在雷达锥体数据的垂直方向及径向之间进行回波强度值的加密,对加密后的回波极坐标数据构成的新的六面体进行基本四面体单元的剖分,并利用线性插值得到各顶点的具体位置,绘制时结合多层次面绘制技术渲染三维图,该算法避免了对高仰角以及距离远而没有回波数据区域的重建.实验表明,改进算法能更好更快地实现三维重建,并且能观测分析云层的内部细节信息,为气象的准确预报提供了一定的参考依据.

    气象雷达多层次三维重建雷达数据插值MarchingTetrahedra算法

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于结构和行为语义的子流程发现方法

    孙善武王楠
    659-665,687页
    查看更多>>摘要：越来越多的企业以流程模型的形式进行业务管理,并且要求从不同的细节层描述相同的流程.业务流程模型抽象技术对于给定的细节流程模型,生成该模型的抽象表示,从而达到特定的抽象目标.构造流程的"概要视图"以加速对复杂流程的理解是流程抽象的一个需求最显著的用例,其中一个关键问题是将初始模型中的细节行为集合转换成抽象模型中的粗粒度的行为(子流程).很多学者对流程抽象方法进行了研究,其中以基于结构的抽象方法居多.结构抽象方法中,初始模型中待抽象的行为集合仅仅根据控制流关系得到,没有考虑到行为的域语义,生成了大量的业务逻辑性不完整的待抽象的流程片段作为候选子流程.在流程的控制流结构基础上,引入行为语义信息,自底向上对流程结构树中每层的标准部件进行语义扩展,将标准部件与其相邻的兄弟节点之间的语义进行相似性评估,发现与标准部件语义描述最相似的行为集合,并有选择地聚合得到最接近包含完整业务含义的流程片段作为候选子流程.文章利用真实的流程案例对基于结构的抽象方法(将流程结构树中每个标准部件作为候选子流程)和提出的子流程发现方法做实验对比分析,提出的方法大大减少了不相关候选子流程的数量,生成的待抽象流程片段更加接近人工设计的子流程.

    子流程发现模型抽象行为相似性流程结构树流程行为语义

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    一阶逻辑中公理化真度研究

    郝娇惠小静马硕金明慧...
    669-671,712页
    查看更多>>摘要：一阶逻辑是公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点.文中从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度.首先给出并、交运算可满足性的定义,其次说明了两个特殊公式与逻辑有效公式以及定理的关系,最后得出与公式等价的前束范式.上述结果将为谓词逻辑程度化研究做准备.

    一阶逻辑逻辑有效公式可满足性定理前束范式

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    国密算法在资源公钥基础设施(RPKI)中的应用

    冷峰张明凯延志伟张翠玲...
    678-681页
    查看更多>>摘要：近年来域间路由劫持事件频发,路由系统的安全性受到广泛重视.RPKI系统作为一种路由安全验证系统,通过和现有的路由广播策略的有效结合,可大幅降低路由劫持的风险.RPKI系统当前在设计和开发上针对密码算法的选择做了特殊的约定,其中签名算法仅限于使用RSA非对称加密算法,哈希算法仅限于使用SHA-256算法.随着密码算法的不断升级更新,以及新密码算法的推出,预期RPKI系统在未来版本中会逐步纳入更多新的算法来满足安全、性能以及用户定制化部署的需求.文中将国密算法与RPKI结合,通过建立一套完善的密码算法测试环境,对国密算法应用性能与标准RFC定义的算法进行多维度的横向比较,探讨国密算法在RPKI中应用的可行性、大规模部署环境下的优化改进方式以及对现有RPKI系统中密码体系的未来发展的展望.

    RPKI非对称加密哈希算法路由安全性能测试

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于思维图的复杂算法设计和维护方法

    朱平
    682-687页
    查看更多>>摘要：针对复杂算法设计和维护中面临的输入种类数量大、知识密集、范围未知、算法逻辑复杂且规模比较大等实际问题,传统需求规格说明侧重于用户需求的认定,不便于修改和确定复杂算法内部逻辑流程;流程图则偏向程序设计底层,虽然方便自动程序设计的实现,但缺少高层逻辑语义,没有修改更新备份机制,逻辑修改复杂性仍然很大,设计和维护成本很高,仍然不方便描述刻画不确定程序逻辑,并且使用十分不便.文中提出了基于思维图的算法内部逻辑轻量型描述实用化方法,适应复杂算法内部逻辑流程不确定和长周期研发的特点.首先形式化定义了思维图逻辑模型及其构成部件;然后以具体实例讨论了思维图面向对象的实现,以及对于客观世界继承和多态情景的程序模拟;以文本数据元变量语义识别为例子,具体描述了使用思维图对复杂算法进行设计和维护的阶段和过程;最后,总结全文并提出下一步思维图工具化的研究任务.

    复杂算法软件工程思维图数据元语义识别

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    一种多趋势指标结合与择时引入峰值的投资组合优化系统

    陈靖邦潘俊哲沈皓朗谷培...
    693-698页
    查看更多>>摘要：趋势表达指标是投资组合优化领域上的一个重要话题.但是大部分基于趋势表达的投资组合优化系统仅仅考虑到了一种指标,而仅考虑到一种指标的系统在不同的数据集上的效果往往差别会比较大,因此文中使用了多趋势指标结合的系统.文中提出的投资组合优化系统使用了一系列径向基函数分别对应3种趋势表达指标(分别是简单移动平均线、指数移动均线、低延迟趋势线),并通过收盘价与短期均线价格之间的关系,对以上3种趋势进行择时,在股票出现上涨趋势的情况下加入最高价格指标(第4个指标).在这个算法中,一系列的径向基函数会根据近期的投资情况选择最好的趋势表达指标(自适应选择),并根据以最大化下一期财富为目标的凸优化问题的解集进行投资.最后,对本系统和5种常见的投资组合优化系统在两个数据集中进行了横向对比,并取其中较为先进的两种系统在4个数据集上进行了更详细的比较,发现本系统均优于其他系统.

    投资组合优化系统指数移动均线低延迟趋势线径向基函数最高价格指标

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于采样集成算法的入侵检测系统设计

    郇文明林海涛
    705-712页
    查看更多>>摘要：入侵检测系统作为防火墙之后的第二道防线已经在网络安全领域得到了广泛应用,基于机器学习的入侵检测系统因其优越的检测性能吸引了越来越多的关注.为了提高入侵检测系统在多类非平衡数据中的检测性能,文中提出基于采样集成算法(OSEC)的入侵检测系统.OSEC首先根据"一对多"原则将多类别检测问题转化为多个二分类问题,然后在每个二分类问题中根据AUC值选择最优的采样集成算法以缓解数据的非平衡问题,最后根据文中设计的类别判决模块判断待测样本的具体类别.在NSL-KDD数据集上进行仿真验证,发现本系统相较于传统方法在R2L,U2R上的F1得分分别提高了0.595和0.185;对比最新的入侵检测系统,所提方法在整体检测准确率上提高了1.4％.

    入侵检测多类非平衡重采样集成学习AUCNSL-KDD

      原文链接:
    • NETL
    • NSTL
    • 万方数据