作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

“AI抗疫”——新冠肺炎疫情防控阻击战中的AI力量  CNKI文献

在疫情防控常态化形势下,为更好地总结抗疫战疫经验,完善人工智能在防疫阵线上的深度应用,本刊精心策划组织了本期专题。专题汇集了5篇文章,既有学术界的创新方法研究,也有产业界的创新技术应用,涉及疫情传播预测、疫...

贲可荣 白翔 《软件导刊》 2020年10期 期刊

关键词: 疫情防控

下载(201)| 被引(0)

软件质量保证技术研究综述  CNKI文献

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形...

贲可荣 《海军工程大学学报》 2002年04期 期刊

关键词: 软件质量 / 能力成熟度模型(CMM) / 软件标准 / 软件测试

下载(469)| 被引(17)

能力成熟度模型及其评估算法  CNKI文献

W.S.Humphrey等人提出了软件过程、软件能力成熟度模型(CMM)。CMM及其相关的过程产品正在深刻地影响着软件界。本文对CMM进行了概述,提出了CMM过程评估模型并给出了符号表达,用伪码程序描述了判断过程能力等级的算法。

贲可荣 俞立军 《舰船电子工程》 2001年05期 期刊

关键词: 能力成熟度模型(CMM) / 评估算法 / 过程能力等级

下载(209)| 被引(16)

通过应用案例提高离散数学教学效果探究  CNKI文献

数学作为现代理性文化的核心,提供了一种思维方式。离散数学研究离散的数量关系和离散的数学结构模型,为计算机专业课程学习提供了基本的数学方法和手段。重点介绍了《离散数学解题指导(第2版)》所新增的应用案例,通过...

贲可荣 谢茜 《软件导刊(教育技术)》 2016年12期 期刊

关键词: 离散数学 / 案例教学 / 能力培养

下载(122)| 被引(2)

信息技术推动海军新军事变革  CNKI文献

新军事变革发生的根本动因是信息技术的迅猛发展。文中系统介绍了军事信息技术内容及分类,展望了军事信息技术的发展趋势,从五个方面论述了信息技术如何推动海军新军事变革。

贲可荣 何智勇 《海军工程大学学报(综合版)》 2013年02期 期刊

关键词: 信息技术 / 军事信息技术 / 新军事变革

下载(245)| 被引(2)

自动定理证明:十年回顾  CNKI文献

本文主要介绍近十年来定理证明器的发展情况,同时讨论了与自动定理证明相关的一些问题。

贲可荣 陈火旺 《计算机科学》 1993年04期 期刊

关键词: 子句集 / 定理证明 / 推理程序 / 推理规则

下载(310)| 被引(14)

计算机求解魔方算法  CNKI文献

本文借助高庆狮教授提出的宏变换思想,给出一个求解魔方的算法,根据此算法,计算机可以自动求解魔方。

贲可荣 陈火旺 《计算技术与自动化》 1992年03期 期刊

关键词: 魔方 / 算法 / 宏变换

下载(797)| 被引(6)

“软件工程”双语教学和案例教学的体会  CNKI文献

"软件工程"是计算机科学与技术专业本科必修课程,对培养军队信息化建设的人才有重要作用。本文介绍我们在"软件工程"课程教学中的做法及体会,包括采用英文原版教材、实行双语教学、通过课程大作业...

贲可荣 何智勇 《计算机教育》 2009年13期 期刊

关键词: 软件工程 / 双语教学 / 案例教学

下载(111)| 被引(5)

图灵奖得主主要成就综述  CNKI文献

一、图灵生平和图灵奖溯源 Alan Mathison Turing(1912—1954)生于英国伦敦,父母分别为Julius Mathison Turing和Ethel Sara Turing(ne’e Stoney)。母亲的家族有很高的科学荣誉,有三人是皇家学会会员。早期,图灵在科...

贲可荣 熊伟 《计算机科学》 2000年09期 期刊

关键词: Turing / Turing / Award

下载(285)| 被引(3)

命题时态逻辑定理证明新方法  CNKI文献

本文通过对近10年命题时态逻辑定理证明方法的研究,提出了一种新的证明方法,前人的工作基于对公式的现时部分和后时部分的分解,本文的工作是基于语义反驳树构造。这种新方法为计算机自动证明命题时态逻辑定理,提...

贲可荣 陈火旺 《软件学报》 1994年07期 期刊

关键词: 时态逻辑 / 定理证明 / 自动推理

下载(127)| 被引(5)

美国2001'计算教程综述  CNKI文献

1.Computing’91教程回顾 1991年,美国计算学科主要的专业学会ACM和IEEE-CS联合颁布了Computing’91教程。该教程力图覆盖计算学科的计算机科学、计算机工程、计算机科学与工程的各类本科生专业。Computing’91教程的...

贲可荣 肖斌 《计算机科学》 2001年11期 期刊

关键词: Computer / education / Computing / curricula

下载(85)| 被引(6)

命题时态逻辑矢列式演算系统  CNKI文献

研究Manna和Pnueli在并发程序验证方面提出的一种时态逻辑,其时间结构与自然数结构同构,时态算子选择为□,◇,○,U。本文作者认真分析了国际上时态逻辑定理证明主要方法,针对存在的不足之处,建立了命题时态逻辑矢列式...

贲可荣 陈火旺... 《中国科学(A辑 数学 物理学 天文学 技术科学)》 1994年10期 期刊

关键词: 时态逻辑 / 定理证明

下载(114)| 被引(5)

计算机科学中的待解问题综述  CNKI文献

本文从计算理论、人工智能基础和计算机系统等三方面阐述了计算机科学领域中的待解问题,其中任何一个问题的解决都会极大地推动计算机科学的发展。

贲可荣 孙宁 《计算机工程与科学》 2005年10期 期刊

关键词: 计算 / 计算机科学 / 人工智能 / 计算机系统

下载(261)| 被引(1)

人工智能技术在决策支持系统中的应用  CNKI文献

首先分析了决策支持系统(DSS)和专家系统(ES)的局限及两者的区别,然后提出了专家支持系统(ESS)的概念,并详细阐述了ESS的系统结构。

贲可荣 李一梅... 《海军工程学院学报》 1997年03期 期刊

关键词: 人工智能 / 专家系统 / 决策支持系统

下载(215)| 被引(1)

基于属性重要度的案例特征权重确定方法  CNKI文献

针对已有案例特征权重确定方法所需存储空间大且未解决新增案例情况下的权重更新问题,提出一种基于属性重要度的改进方法,通过引入分体差别矩阵,发现新的属性核、约简与原有结果之间的关系,设计属性核、约简的增量式更...

柳玉 贲可荣 《计算机集成制造系统》 2012年06期 期刊

关键词: 案例推理 / 权重 / 粗糙集 / 属性约简

下载(750)| 被引(23)

高级程序设计语言综述  CNKI文献

为读者选择语言提供了总体思路,给出了高级语言的发展的趋势。

贲可荣 《海军工程学院学报》 1996年02期 期刊

关键词: 程序设计语言 / 面向对象程序设计 / 逻辑程序设计

下载(133)| 被引(1)

海洋装备智能化与智能化装备思考  CNKI文献

海洋装备游弋于海洋空间,承担着交通、开发和安全等重要职能,且与人工智能技术相结合,能够实现效能的倍增.通过对海洋装备的感知设备、控制系统、决策策略、运维技术和制造环境开展智能化改造,实现现有海洋装备的智能...

贲可荣 王斌 《江苏科技大学学报(自然科学版)》 2021年02期 期刊

关键词: 人工智能 / 海洋装备 / 装备智能化 / 智能化装备

下载(210)| 被引(0)

国际高成熟度研讨会综述  CNKI文献

1999年底,在美国SEI召开了高成熟度研讨会。本文概述了与会26个组织的状况.介绍了部分组织的投资回报数据、特有实践活动以及达到高等级遇到的问题。

贲可荣 俞立军 《舰船电子工程》 2002年04期 期刊

关键词: CMM / 计算机软件 / 投资回报

下载(36)| 被引(3)

战略防御系统软件的可靠性分析  CNKI文献

战略防御是试图消除来自核弹道导弹的威胁.根据目前的软件技术和战略防御系统的特点,我们认为,其软件不可能达到预期目标.

贲可荣 邹云松... 《海军工程学院学报》 1998年02期 期刊

关键词: 软件工程 / 软件可靠性 / 战略防御

下载(34)| 被引(4)

基于序列模式匹配的API误用缺陷检测  CNKI文献

提出一种基于序列模式匹配的应用编程接口(API)误用缺陷检测方法。首先根据已经发现的API误用缺陷实例,结合补丁文件中缺陷修复前后的代码信息,刻画API误用模式,然后在目标被测软件中利用改进的AC(ahocorasick)算法搜...

曾杰 贲可荣... 《华中科技大学学报(自然科学版)》 2021年02期 期刊

关键词: API误用 / 缺陷检测 / 模式匹配 / 序列模式

下载(189)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状