信息科学

  • 基于明考斯基最优距离的不完美排错SRGM决策机制

    张策;王金勇;徐早辉;江文倩;白睿;李文毓;王建远;

    针对软件可靠性增长模型(software reliability growth model, SRGM)决策机制欠缺的问题,提出了基于明考斯基最优距离的不完美排错SRGM决策方法。首先,对真实软件测试过程与可靠性模型进行分析,建立分类视角下的SRGM归类集合;其次,从矩阵分析的角度形式化描述SRGM的评价与选择问题,建立基于明考斯基距离的双最优化排序方法;最后,对模型的性能进行综合评价,给出SRGM间的性能偏序关系。在4个实际计算机应用系统测试过程中记录并公开发表的失效数据集上进行实验,验证和阐释模型性能之间的排序机制效用,并进行参数敏感性分析,为模型决策提供定量化的参考。

    2024年01期 v.56 1-8页 [查看摘要][在线阅读][下载 573K]
    [引用频次:0 ] |[网刊下载次数:22 ] |[下载次数:73 ] |[阅读次数:56 ]
  • 基于改进混合密度网络的毁伤效应预测方法

    佘维;张人中;田钊;刘炜;孔德锋;

    提出一种基于改进混合密度神经网络的毁伤效应预测方法,解决了现有智能毁伤效应预测方法中仅能输出点预测结果,但难以量化毁伤效应预测结果的不确定性问题。采用鲁棒性更好的t分布作为混合分量,利用混合密度网络生成概率密度函数,以反映毁伤效应预测中的不确定性,并根据给定置信水平获得区间预测结果。仿真实验表明,获得的概率密度函数可以较为准确地拟合蒙特卡洛仿真模拟结果,与现有的毁伤效应预测方法相比,可以更好地指导作战筹划。

    2024年01期 v.56 9-15页 [查看摘要][在线阅读][下载 370K]
    [引用频次:0 ] |[网刊下载次数:13 ] |[下载次数:172 ] |[阅读次数:24 ]
  • 骨架引导的多模态视频异常行为检测方法

    付荣华;刘成明;刘合星;高宇飞;石磊;

    视频异常行为检测是智能视频监控分析的一项重要且具有挑战性的任务,旨在自动发现异常事件。针对只采用单骨架模态导致部分相似运动模式的行为难以区分和缺乏时间全局信息的问题,提出骨架引导的多模态异常行为检测方法。为了充分利用RGB视频模态和骨架模态的优势进行相似行为下的异常行为检测,将从骨架模态中提取的动作行为特征作为引导,使用新的空间嵌入来加强RGB视频和骨架姿态之间的对应关系。同时使用时间自注意力提取相同节点的帧间关系,以捕获时间的全局信息,有效提取具有区分性的异常行为特征。在两个大型公开标准数据集上的实验结果表明所提方法能够有效加强骨架引导的多模态特征在空间和模态上的对应关系,并捕获时空图卷积缺乏的时间全局信息,使运动模式相似的异常行为实现更准确检测。

    2024年01期 v.56 16-24页 [查看摘要][在线阅读][下载 686K]
    [引用频次:2 ] |[网刊下载次数:13 ] |[下载次数:228 ] |[阅读次数:30 ]
  • 一种可实现多运动模态的串并联机构的运动学分析

    曾庆山;马飞凡;

    串联机构灵活,工作空间大,并联机构稳定,承载能力强。串联和并联机构结合起来的混联机构兼具两者的优点,整体机构的灵活性高且工作空间大,可以实现多种运动模态,但运动学分析较复杂。提出了一种基于3-RPS的新型串并混联机构,其可以实现多种运动模态。首先,阐述了机构的结构特性,建立了机构的坐标系;其次,根据机构特点,对其进行了正、逆运动学的分析,建立机构的正解和逆解模型;最后,通过数值算例进行验证,将理论计算结果与Adams仿真结果进行对比分析,结果表明,所构建运动学模型正确,且机构具有蜿蜒、伸缩等多模态运动功能。

    2024年01期 v.56 25-31页 [查看摘要][在线阅读][下载 441K]
    [引用频次:0 ] |[网刊下载次数:13 ] |[下载次数:203 ] |[阅读次数:14 ]
  • 多尺度融合卷积的轻量化Transformer无人机地物识别模型

    肖斌;罗浩;张恒宾;刘宏伟;张兴鹏;

    Transformer模型性能优越,但其巨大的参数量不适合资源受限的无人机遥感任务。为此,提出一种用于无人机遥感图像的多尺度融合卷积的轻量化Transformer模型,通过设计三种优化策略来提高精度以及减少参数量。首先,设计了一种轻量级多尺度融合卷积方法,补充Transformer丢失的块内空间信息,从而有效提取多尺度上的粗、细粒度特征表示。其次,设计了多尺度缩减键值序列的方式,优化Transformer中的自注意力计算。最后,设计了轻量级的MLP解码器,进一步减少模型参数量。在Vaihingen和Potsdam数据集上与一些主流模型进行了对比实验,结果表明,所提模型的F1值和交并比均有所提升。同时,在Potsdam数据集上准确度提升0.29%,参数量比双分支网络STransFuse减少18%。

    2024年01期 v.56 32-39页 [查看摘要][在线阅读][下载 518K]
    [引用频次:1 ] |[网刊下载次数:13 ] |[下载次数:490 ] |[阅读次数:16 ]
  • 基于多特征融合和改进SIFT的目标跟踪算法

    李文举;王子杰;崔柳;

    在进行跟踪任务时,当运动目标发生形变或旋转以及受到光照变化或背景干扰时,会发生偏移现象或丢失跟踪目标,从而导致跟踪精度降低。据此,提出基于多特征融合和改进SIFT的目标跟踪算法。在图像的高熵部分进行特征点的提取,并使用哈希算法将错误匹配的特征点剔除。同时对感知哈希和差异哈希进行改进,将改进后的图像哈希特征、颜色特征和SIFT特征进行融合并应用于跟踪算法。将算法在OTB-100数据集上进行实验,成功率达到了94.3%。

    2024年01期 v.56 40-46页 [查看摘要][在线阅读][下载 430K]
    [引用频次:4 ] |[网刊下载次数:18 ] |[下载次数:368 ] |[阅读次数:17 ]
  • 异构计算系统中能量感知利润最大化在线算法

    张庆辉;李伟东;张学杰;

    异构计算系统中的任务调度仅以能耗优化为目标,往往会忽略最大完工时间带来的负面影响。此外,庞大的机器与任务数量为调度决策带来了极大的时间成本。以异构计算系统管理者单位时间收益最大化为目标,建立了考虑任务包的能量感知利润最大化问题模型,并为之设计了一种高效的在线算法。每到达一个用户,该在线算法能够通过系统当前状态构造多个线性方程组,并求得利润最大的解,即当前用户提交任务的分配策略。同时计算了该算法的运行时间复杂度为O(nm~4)。通过与另外两种常用算法进行对比,提出的在线算法能够在多项式时间内,得到目标值拟最优的调度方案。

    2024年01期 v.56 47-52页 [查看摘要][在线阅读][下载 390K]
    [引用频次:1 ] |[网刊下载次数:16 ] |[下载次数:94 ] |[阅读次数:16 ]
  • 结合邻居影响和资源分配的链路预测算法

    刘英杰;刘士虎;高海燕;徐伟华;

    传统的资源分配算法在进行链路预测时只考虑了共同邻居对资源分配的影响,却忽略了两个节点之间的二级节点对资源分配的影响。为了探究共同邻居和二级节点对预测两个节点之间连边存在可能性的影响,提出了一种结合邻居影响和资源分配的链路预测算法。实验结果表明,在多数网络中若两个节点接收更多由共同邻居分配给它们的资源,则可以提升预测它们之间连边存在可能性的准确率。在四个生态网络和一些平均聚类系数较低的网络中,若两个节点接收更多通过二级节点分配给它们的资源,则可以提升预测它们之间连边存在可能性的准确率。

    2024年01期 v.56 53-59页 [查看摘要][在线阅读][下载 313K]
    [引用频次:2 ] |[网刊下载次数:12 ] |[下载次数:195 ] |[阅读次数:19 ]
  • 基于集覆盖理论的覆盖信息系统属性约简方法

    徐晔;许晴媛;李进金;

    针对覆盖信息系统属性约简问题,提出基于集覆盖理论的覆盖信息系统属性约简方法。首先,构造覆盖信息系统的相关矩阵,通过相关矩阵诱导出覆盖信息系统的集覆盖模型,并探讨了覆盖信息系统与其诱导的集覆盖模型之间的联系,发现集覆盖模型的一个极小覆盖恰是原覆盖信息系统的一个属性约简集,从而可以将求解覆盖信息系统的属性约简问题转化为求解对应集覆盖模型的极小集覆盖问题。其次,利用集覆盖启发式算法(set covering heuristic algorithm, SCHA)在解决集覆盖问题上具有更高的精度和更好的性能,给出了基于SCHA的覆盖信息系统属性约简的求解步骤及算法。最后,通过实例验证了所提方法的可行性和有效性。

    2024年01期 v.56 60-67页 [查看摘要][在线阅读][下载 220K]
    [引用频次:0 ] |[网刊下载次数:15 ] |[下载次数:80 ] |[阅读次数:16 ]
  • 基于依赖空间的对象导出三支概念格的属性约简

    丁娜;马建敏;贺青青;

    在给定形式背景下,基于依赖空间提出了对象导出三支概念格属性约简的新定义,在此基础上讨论了属性约简方法。首先,借助三支算子定义了对象幂集上的一致关系,引入依赖空间。通过依赖空间生成闭包算子的闭元素,研究了闭元素和对象导出三支概念的外延之间的关系。其次,提出基于依赖空间的对象导出三支概念格属性约简的定义,该定义下的约简集是保持由原属性集确定的一致关系不变的最小属性子集。最后,给出协调集的判定定理,利用可辨识属性矩阵及辨识函数给出对象导出三支概念格的属性约简方法。

    2024年01期 v.56 68-74页 [查看摘要][在线阅读][下载 220K]
    [引用频次:1 ] |[网刊下载次数:12 ] |[下载次数:135 ] |[阅读次数:17 ]
  • 一般决策形式背景的属性约简

    谢业海;高秀巍;

    决策形式背景是形式背景的重要扩展。属性约简是决策形式背景领域研究的热点问题。由现实数据所构建的决策形式背景通常是不一致的,文中面向实际应用,研究一般决策形式背景的广义属性约简方法。定义了一般决策形式背景的广义属性约简,并基于辨识函数给出了计算所有约简的算法。该算法具有良好的通用性,可应用于一致和不一致的决策形式背景。

    2024年01期 v.56 75-80页 [查看摘要][在线阅读][下载 281K]
    [引用频次:0 ] |[网刊下载次数:11 ] |[下载次数:152 ] |[阅读次数:15 ]
  • 基于模糊三支区间集半概念知识提取方法研究

    毛华;牛振华;马经泽;张植明;杨兰珍;

    为了解决只需要考虑属性区间集到对象区间集的问题,将经典半概念理论引入三支区间集中,对于一个模糊形式背景,定义了面向属性的模糊区间集半算子,用此算子得到模糊AE-区间集半概念;讨论了该类半概念的偏序关系和格结构,进而得到求同一形式背景下模糊AE-区间集半概念全体的算法。对偶地,得到模糊OE-区间集半概念定义和其格结构,以及寻找模糊OE-区间集半概念全体的算法。所得结果有助于拓展概念格和区间集理论的应用范围,也为知识提取提供了一种有益的方法。

    2024年01期 v.56 81-87页 [查看摘要][在线阅读][下载 220K]
    [引用频次:2 ] |[网刊下载次数:14 ] |[下载次数:113 ] |[阅读次数:19 ]

基础科学与工程技术

  • 一类微分系统变号解的存在性和多解性

    张慧星;高妍;姚香娟;

    下降流不变集方法是研究椭圆问题变号解存在性的一种很有效的理论工具。运用下降流不变集方法和抽象临界点理论,研究一类基尔霍夫-薛定谔-泊松系统,证明得到基尔霍夫-薛定谔-泊松系统变号解的存在性以及多解性。

    2024年01期 v.56 88-94页 [查看摘要][在线阅读][下载 227K]
    [引用频次:1 ] |[网刊下载次数:14 ] |[下载次数:65 ] |[阅读次数:20 ]

  • 《郑州大学学报(理学版)》征稿简则

    <正>《郑州大学学报(理学版)》(原刊名《郑州大学学报(自然科学版)》)是郑州大学主办的自然科学综合性学术刊物(双月刊,国内外公开发行),中文核心期刊,主要刊登信息与计算机科学、数学、物理学、化学、生物工程科学、材料科学、电气工程科学等自然科学的基础研究及应用研究方面的学术论文。1要求及注意事项1.1来稿应具有创新性、科学性、准确性和可读性。稿件必须包括(按顺序):题名、作者姓名、

    2024年01期 v.56 95页 [查看摘要][在线阅读][下载 25K]
    [引用频次:0 ] |[网刊下载次数:12 ] |[下载次数:7 ] |[阅读次数:21 ]
  • 下载本期数据